米澤研究室 (跡地) ([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 米澤 明憲 名誉教授]
   * [/plain/yer 米澤教授の最終講義]
{{{
#!comment
   * [http://www.i.u-tokyo.ac.jp/news/ist/091103_1.shtml 平成二十一年秋の紫綬褒章受章について] (大学院情報理工学系研究科)
}}}
 * [wiki:LabIntro.ja 研究室の概要]
 * [wiki:LabMembers.ja 構成員]
 * [wiki:LabMap.ja 研究室までの案内図]

== 過去のプロジェクト ==
 * [http://web.archive.org/web/20130823023214/http://www.crest-os.jst.go.jp/ ディペンダブルシステムソフトウェア構築技術 (Web archive)]
 * [http://web.archive.org/web/20080518051320/http://kumikomisec.jp/ 組込みシステム向け情報セキュリティ技術 (Web archive)]
 *  e-Society (安全なシステム記述言語および高信頼OS)
   * 高安全なC言語，およびC++言語コンパイラの開発 ([/~furuse/vitc/ VITC])
   * OS用型付きアセンブリ言語の設計・実装 ([/~tosh/talk/ TALK], [/~tosh/tos/ TOS], [/~tosh/kml/ Kernel Mode Linux])
   * プロトコル実装の形式的検証 ([/~affeldt/applpi/ Applpi])
   * [/~affeldt/seplog/ Towards Formal Verification of Memory Properties using Separation Logic]
   * [/~uhiro/ Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference]
 * セキュア コンパイラ プロジェクト
   * [/~tossy-2/l3cover/ L^3 Cover]: a framework to build program verifiers for low-level languages
 * Typed Computing プロジェクト
   * Aspectual Caml: an aspect-oriented functional language ([http://www.graco.c.u-tokyo.ac.jp/ppp 増原研究室]との共同研究)
   * XML処理言語のための型システム ([http://www.kb.ecei.tohoku.ac.jp/ 小林研究室]との共同研究)
   * [/~furuse/gcaml G'Caml] (INRIA)
 * 並列・分散計算グループ
   * [http://www.logos.ic.i.u-tokyo.ac.jp/phoenix/members.shtml Phoenix Grid Computing Project] ([http://www.logos.t.u-tokyo.ac.jp/ 田浦研究室]との共同研究)
 * [http://web.yl.is.s.u-tokyo.ac.jp/yl/projects-j.html 更に昔のプロジェクト]

== 成果 ==
 * [wiki:PublicationsEn 発表論文(英語)]
 * [wiki:PublicationsJa.ja 発表論文(日本語)]
 * [wiki:ThesesForDegrees.ja 学位論文]
 * [wiki:Awards.ja 受賞]
 * [wiki:NewsMagazine.ja 新聞・雑誌記事]

----

== 研究室メンバー向け情報 ==
 * ミーティング
   * [wiki:GeneralMeeting 全体ミーティング]
   * [wiki:private/SystemSoftwareSeminar.ja System Software Seminar]
   * [wiki:private/CoqSeminar.ja Coq 輪講]
   * [wiki:private/ModelCheckingSeminar2008.ja Model Checking Seminar]
   * [wiki:private/ATTAPLSeminar2009.ja ATTAPL Seminar]
 * [wiki:private/Documents.ja 資料]
 * [wiki:private/AdminIndex.ja 計算機環境情報]
 * [http://aero.is.s.u-tokyo.ac.jp/ASP/Tosyo/book.aspx 研究室図書検索システム]
 * [http://www.is.s.u-tokyo.ac.jp/cgi-bin/cbag/ag.cgi 学科部屋予約システム]
 * [wiki:private/MiscInfo.ja いろいろ]

----

[http://web.yl.is.s.u-tokyo.ac.jp 米澤研究室の以前の WWW サーバ]