Changes between Version 20 and Version 21 of WikiStart.ja
- Timestamp:
- 06/01/10 23:20:59 (15 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart.ja
v20 v21 3 3 = 研究室紹介 = 4 4 * [/~yonezawa/is.kojinshoukai.htm 米澤 明憲 教授] 5 {{{ 6 #!comment 5 7 * [http://www.i.u-tokyo.ac.jp/news/ist/091103_1.shtml 平成二十一年秋の紫綬褒章受章について] (大学院情報理工学系研究科) 8 }}} 6 9 * [wiki:LabIntro.ja 研究室の概要] 7 10 * [wiki:LabMembers.ja 構成員] 8 11 * [wiki:LabMap.ja 研究室までの案内図] 9 12 10 (工事中) 11 12 == プロジェクト == 13 == 現在のプロジェクト == 14 * [http://www.crest-os.jst.go.jp/ ディペンダブルシステムソフトウェア構築技術] 15 === 過去のプロジェクト === 16 * [http://web.archive.org/*/kumikomisec.jp/ 組込みシステム向け情報セキュリティ技術研究 (Web archive)] 13 17 * e-Society (安全なシステム記述言語および高信頼OS) 14 18 * 高安全なC言語,およびC++言語コンパイラの開発 ([/~furuse/vitc/ VITC]) … … 25 29 * 並列・分散計算グループ 26 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/ 田浦研究室]との共同研究) 27 * 昔のプロジェクト 28 29 (工事中) 31 * 更に昔のプロジェクト 30 32 31 33 == 成果 ==