米崎研 web page -米崎研究室in東京工業大学 当サイトは東京工業大学の米崎研究室の研究内容紹介を目的として作られております。 研究内容の他にも、研究成果や今後の方針に関しても掲載をしていく予定です。 また、当サイトはXoops-Cubeにて構築されております。 対応環境、サイト内に関する問い合わせは、ohtaki(後ろに@fmx.cs.titech.ac.jp)まで。 language：Japanese last update：2006/05/30 本研究室では、システム開発をサポートするための形式手法を、 ２つの方向で研究しています。 安全なシステム開発のためのサポートシステム 情報のモデル化の研究 連絡先・場所 〒152-8552 東京都目黒区大岡山2-12-1-W8-67 東京工業大学大学院情報理工学研究科計算工学専攻 西8号館E棟803号室(米崎、内線3043)、801号室、804号室(学生室) メ
