リンク集

良く使うサイト
銀行
東京三菱ダイレクト 東京三菱銀行
UFJインターネット支店 UFJ銀行
将棋
東大将棋開発チーム 株式会社ラット
毎日コミュニケーションズ・MYCOM GAME WEB
棚瀬 寧
後藤 礼史
岸本 章宏
ダウンロードサイト
窓の杜
Vector , MyVector
ニュースリソース
朝日新聞
ZDNet Japan
Yahoo ( 日本 )
秋葉原マップ
価格コム
その他
駅前探検倶楽部
DoMap
研究の世界
Security
Extended(?)-JVM
JANOS
Kaffe
Code Certification
TAL (Typed Assembly Language) Morrisett et al.
PCC (Proof-Carrying Code) G.C.Necula & P. Lee
Efficeint (Native) Code Certification D. Kozen
Java Security , Java Homepage Sun Microsystems Inc.
Groups / Projects
SIP (Secure Internet Programming) E. Felton et al. @ Princeton University
Ariel Project / Binary Editing PDC Lab. , Univ, of California, Davis
SKL(Safe Language Kernel) / J-Kernel Computer Science , Cornell Univ.
Implimentation
StackGuard
Flow Analysis
Alex Aiken Berkeley
Mobile Languages / Calculus
Calculus
Ambient Calculus L. Cardelli & A.D. Gordon
SLam Calculus Nevin Heintze & Jon G. Riecke
Spi Calculus M. Abadi & A.D. Gordon
Mads Dam
Projects
CORBA
Meetings
全体ミーティング予定表 米澤研究室
AMOPDS
Survey BBS
プレゼンテーションアドバイス 大山さん
サーベイQ&A 住井くん
Some advice on giving a talk Oliver Danvy
Others
SPARC Sun Microsystems ( 日本 )
DEC Research and Advanced Development
趣味の世界
将棋
仕事
東大将棋開発チーム 株式会社ラット
毎日コミュニケーションズ・MYCOM GAME WEB
遊び
IS将棋 棚瀬 寧後藤 礼史岸本 章宏
CSA
日本将棋連盟
Java将棋
ソフトウェア
窓の杜
Vector
SKKIME
Meadow and Mule Information
The Cygwin Project
CD→WAV→MP3
SCMPX公式ファンクラブ
Netscape Netcenter ( USA , 日本 ) Browser
Microsoft ( USA , 日本 ) Visual Studio Service Pack
Star Suite
The X Strike Force c.f. XFree86
GNome c.f. Window Managers
MagicPoint
Mew
Daredevil SKK
Wanderlust
XPaint
日本 Samba ユーザ会
Linux 関連
ディストリビューション
Debian GNU/Linux
プログラミング
GTK+(The GIMP Toolkit)
Javaプログラミング情報
その他
Japan Linux Association
Walking Linux
The Linux Game Tome
Download.Com
Windows 関連
ソフトウェア
Programming
その他コンピュータ関連
FM-TOWNS
今井康友さん
ハードウェア
IBM ( USA , 日本 ) PC, Harddisk, etc.
富士通 FM-World PC, etc.
Soyo ( 台湾 , 日本 ) M/B
ASUSTeK M/B
GigaByte M/B
Canopus Video Card
Matrox Video Card
Trident Microsystems Video Card
adaptec(日本) SCSI Card
tekram SCSI Card
labway ( YMF724Driver ) Sound Card
Inprise(旧Borland) ( USA , 日本 ) Compiler
Unix
IIJ の pub
SunSITE ( Japan , USA )
スポーツ
スポーツ愛好会バドミントンパート
便利な世界
インターネット銀行
東京三菱ダイレクト 東京三菱銀行
三井住友銀行・One'sダイレクト 三井住友銀行
UFJダイレクト・インターネットバンキング UFJ銀行
第一勧業銀行
郵便局ゆうちょかんぽ
新聞社
朝日新聞
毎日新聞
日本経済新聞
サーチエンジン
Yahoo ( 日本 )
Google
Goo
情報サイト
秋葉原マップ
ZDNet Japan
日経Linux
雨量・雷情報(東京電力)
モーハワイ
読み物
中村正三郎さんのページ
頑張れ!ゲイツ君
far先生のHTML講座
GAC …ホームページ、スタイルシート、JavaScriptのページの作り方あり
スタイルシート学習辞典
交通
駅前探検倶楽部
駅から時刻表
営団地下鉄
埼玉高速鉄道
京成電鉄
日本道路公団
日本レンタカー
国際興業株式会社(バス)
インターネット本屋
Computer & Engineering Publishing Group Addison Wesley
O'Reilly
様々な世界
我らが 川崎市宮前区
我らが 埼玉県鳩ヶ谷市
東京学芸大学附属高校
未整理な世界
Chaos Project
Washington University: Project Kimera
Bell Laboratory: Inferno(Plan9 Project)
Hostile Java Applets Project
FIPA , Asia Mirror ( 日本語訳 )
Agent TCL
Aglets (IBM)
April (Fujitsu)
Ara (The University of Kaiserslautern)
Flage (情報処理振興事業協会(IPA),新ソフトウェア構造化モデル研究本部)
Concordia (Mitsubishi Electric Information Technology Center America)
Kafka (Fujitsu)
MOA (Open Group)
Monja (Mitsubishi)
Odyssey (General Magic)
Voyager (ObjectSpace)
Foundations for Secure Mobile Code Workshop
UMBC AgentWeb
Intelligent Software AGENTES
知的エージェント技術の動向調査
Mobile Code Bibliography
Trading Card Games
JavaScript Related Browser Vulnerability
Mobile Agent 同士の比較

戻る
後藤 礼史<gotoh@is.s.u-tokyo.ac.jp>
東京大学大学院 理学系研究科情報科学専攻 米澤研究室