| 1 | {{{ |
| 2 | #!html |
| 3 | <div align="right"><a href="/wiki/WikiStart.en">英語</a></div> |
| 4 | }}} |
| 5 | |
| 6 | [http://www.u-tokyo.ac.jp 東京大学][http://www.s.u-tokyo.ac.jp 理学部][http://www.is.s.u-tokyo.ac.jp 情報科学科]米澤研究室の WWW サーバへようこそ。 |
| 7 | |
| 8 | = 研究室紹介 = |
| 9 | * [/~yonezawa/is.kojinshoukai.htm 米澤 明憲 教授] |
| 10 | * [wiki:LabIntro.ja 研究室の概要] |
| 11 | * [wiki:LabMembers.ja 構成員] |
| 12 | * [wiki:LabMap.ja 研究室までの案内図] |
| 13 | |
| 14 | (工事中) |
| 15 | |
| 16 | == プロジェクト == |
| 17 | (工事中) |
| 18 | |
| 19 | == 成果 == |
| 20 | * [wiki:Publications.en 発表論文(英語)] |
| 21 | * [wiki:Publications.ja 発表論文(日本語)] |
| 22 | * [wiki:ThesesForDegrees.en 学位論文] |
| 23 | * [wiki:Awards.ja 受賞] |
| 24 | * [wiki:NewsMagazine.ja 新聞・雑誌記事] |
| 25 | |
| 26 | ---- |
| 27 | |
| 28 | == 研究室メンバー向け情報 == |
| 29 | * ミーティング |
| 30 | * [wiki:GeneralMeeting.en 全体ミーティング] |
| 31 | * [wiki:private/ModelCheckingSeminar.ja Model Checking 輪講] |
| 32 | * [wiki:private/Documents.ja 資料] |
| 33 | * [wiki:private/AdminIndex.ja 計算機環境管理情報] |