英語

​東京大学​理学部​情報科学科米澤研究室の WWW サーバへようこそ。

研究室紹介

• 米澤 明憲 教授
• 研究室の概要
• 構成員
• 研究室までの案内図

(工事中)

プロジェクト

(工事中)

成果

• 発表論文(英語)?
• 発表論文(日本語)?
• 学位論文?
• 受賞
• 新聞・雑誌記事

---

研究室メンバー向け情報

• ミーティング
  • 全体ミーティング?
  • Model Checking 輪講
  • System Software Seminar
  • Coq 輪講
• 資料
• 計算機環境管理情報