Changes between Version 1 and Version 2 of WikiStart

Timestamp:

02/15/09 22:40:45 (15 years ago)

Author:

yonelab

Comment:

--

WikiStart

@@ -1 @@
-{{{
-#!html
-<div style="text-align: right"><a href="/wiki/WikiStart.en">英語</a></div>
-}}}
+Welcome to the Yonezawa Group's WWW server, at [http://www.is.s.u-tokyo.ac.jp the Department of Information Science], [http://www.s.u-tokyo.ac.jp Faculty of Science], [http://www.u-tokyo.ac.jp the University of Tokyo].
 
-[http://www.u-tokyo.ac.jp 東京大学][http://www.s.u-tokyo.ac.jp 理学部][http://www.is.s.u-tokyo.ac.jp 情報科学科]米澤研究室の WWW サーバへようこそ。
+= Introduction =
+ * [/~yonezawa/is.kojinshoukai.htm Professor Akinori Yonezawa]
+ * [wiki:LabIntro Introduction of Yonezawa Group]
+ * [wiki:LabMembers Members]
+ * [wiki:LabMap Route to Yonezawa Group]
 
-= 研究室紹介 =
- * [/~yonezawa/is.kojinshoukai.htm 米澤 明憲 教授]
- * [wiki:LabIntro.ja 研究室の概要]
- * [wiki:LabMembers.ja 構成員]
- * [wiki:LabMap.ja 研究室までの案内図]
+(under construction)
 
-(工事中)
+== Projects ==
 
-== プロジェクト ==
- *  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/ 田浦研究室]との共同研究)
- * 昔のプロジェクト
+(under construction)
 
-(工事中)
-
-== 成果 ==
- * [wiki:Publications.en 発表論文(英語)]
- * [wiki:Publications.ja 発表論文(日本語)]
- * [wiki:ThesesForDegrees.ja 学位論文]
- * [wiki:Awards.ja 受賞]
- * [wiki:NewsMagazine.ja 新聞・雑誌記事]
+== Achievements ==
+ * [wiki:Publications.en Publications in English]
+ * [wiki:Publications.ja Publications in Japanese]
+ * [wiki:ThesesForDegrees Theses for Degrees]
+ * [wiki:Awards.ja Awards (in Japanese)]
+ * [wiki:NewsMagazine.ja News Stories and Magazine Articles (in Japanese)]
 
 ----
 
-== 研究室メンバー向け情報 ==
- * ミーティング
-   * [wiki:GeneralMeeting.en 全体ミーティング]
-   * [wiki:private/SystemSoftwareSeminar.ja System Software Seminar]
-   * [wiki:private/CoqSeminar.ja Coq 輪講]
-   * [wiki:private/ModelCheckingSeminar2008.ja Model Checking Seminar]
- * [wiki:private/Documents.ja 資料]
- * [wiki:private/AdminIndex.ja 計算機環境情報]
- * [http://www.is.s.u-tokyo.ac.jp/~cybozu/office.cgi 学科部屋予約システム]
- * [wiki:private/MiscInfo.ja いろいろ]
+== Information for Group Members ==
+ * Meetings
+   * [wiki:GeneralMeeting.en General meeting]
+   * [wiki:private/ModelCheckingSeminar2008.ja Model Checking Seminar (in Japanese)]
+   * [wiki:private/SystemSoftwareSeminar.ja System Software Seminar (in Japanese)]
+   * [wiki:private/CoqSeminar.ja Coq Seminar (in Japanese)]
+ * [wiki:private/Documents.ja Documents]
+ * [wiki:private/AdminIndex.ja Our Computing Environment]
+ * [http://www.is.s.u-tokyo.ac.jp/~cybozu/office.cgi Room Reservation System (Dept. of IS)]
+ * [wiki:private/MiscInfo.ja Miscellaneous Information]