| | 1 | {{{ |
| | 2 | #!html |
| | 3 | <div style="text-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 | * e-Society (安全なシステム記述言語および高信頼OS) |
| | 18 | * 高安全なC言語，およびC++言語コンパイラの開発 ([/~furuse/vitc/ VITC]) |
| | 19 | * OS用型付きアセンブリ言語の設計・実装 ([/~tosh/talk/ TALK], [/~tosh/tos/ TOS], [/~tosh/kml/ Kernel Mode Linux]) |
| | 20 | * プロトコル実装の形式的検証 ([/~affeldt/applpi/ Applpi]) |
| | 21 | * [/~affeldt/seplog/ Towards Formal Verification of Memory Properties using Separation Logic] |
| | 22 | * [/~uhiro/ Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference] |
| | 23 | * セキュア コンパイラ プロジェクト |
| | 24 | * [/~tossy-2/l3cover/ L^3 Cover]: a framework to build program verifiers for low-level languages |
| | 25 | * Typed Computing プロジェクト |
| | 26 | * Aspectual Caml: an aspect-oriented functional language ([http://www.graco.c.u-tokyo.ac.jp/ppp 増原研究室]との共同研究) |
| | 27 | * XML処理言語のための型システム ([http://www.kb.ecei.tohoku.ac.jp/ 小林研究室]との共同研究) |
| | 28 | * [/~furuse/gcaml G'Caml] (INRIA) |
| | 29 | * 並列・分散計算グループ |
| | 30 | * [http://www.logos.ic.i.u-tokyo.ac.jp/phoenix/members.shtml Phoenix Grid Computing Project] ([http://www.logos.t.u-tokyo.ac.jp/ 田浦研究室]との共同研究) |
| | 31 | * 昔のプロジェクト |
| | 32 | |
| | 33 | (工事中) |
| | 34 | |
| | 35 | == 成果 == |
| | 36 | * [wiki:Publications.en 発表論文(英語)] |
| | 37 | * [wiki:Publications.ja 発表論文(日本語)] |
| | 38 | * [wiki:ThesesForDegrees.ja 学位論文] |
| | 39 | * [wiki:Awards.ja 受賞] |
| | 40 | * [wiki:NewsMagazine.ja 新聞・雑誌記事] |
| | 41 | |
| | 42 | ---- |
| | 43 | |
| | 44 | == 研究室メンバー向け情報 == |
| | 45 | * ミーティング |
| | 46 | * [wiki:GeneralMeeting.en 全体ミーティング] |
| | 47 | * [wiki:private/SystemSoftwareSeminar.ja System Software Seminar] |
| | 48 | * [wiki:private/CoqSeminar.ja Coq 輪講] |
| | 49 | * [wiki:private/ModelCheckingSeminar2008.ja Model Checking Seminar] |
| | 50 | * [wiki:private/Documents.ja 資料] |
| | 51 | * [wiki:private/AdminIndex.ja 計算機環境情報] |
| | 52 | * [http://www.is.s.u-tokyo.ac.jp/~cybozu/office.cgi 学科部屋予約システム] |
| | 53 | * [wiki:private/MiscInfo.ja いろいろ] |
