{{{ #!html

}}} [http://www.u-tokyo.ac.jp 東京大学][http://www.s.u-tokyo.ac.jp 理学部][http://www.is.s.u-tokyo.ac.jp 情報科学科]米澤研究室の WWW サーバへようこそ。 = 研究室紹介 = * [/~yonezawa/is.kojinshoukai.htm 米澤明憲教授] * [wiki:LabIntro.ja 研究室の概要] * [wiki:LabMembers.ja 構成員] * [wiki:LabMap.ja 研究室までの案内図] (工事中) == プロジェクト == (工事中) == 成果 == * [wiki:Publications.en 発表論文(英語)] * [wiki:Publications.ja 発表論文(日本語)] * [wiki:ThesesForDegrees.en 学位論文] * [wiki:Awards.ja 受賞] * [wiki:NewsMagazine.ja 新聞・雑誌記事] ---- == 研究室メンバー向け情報 == * ミーティング * [wiki:GeneralMeeting.en 全体ミーティング] * [wiki:private/ModelCheckingSeminar.ja Model Checking 輪講] * [wiki:private/Documents.ja 資料] * [wiki:private/AdminIndex.ja 計算機環境管理情報]