蓮尾研究室現在作成中！ In English メンバー 教員 蓮尾 一郎 (はすお・いちろう) 講師 学部学生(理学部情報科学科) 関根 大剛（せきね・ひろよし） 長 健太 （ちょう・けんた） 森谷 哲理（もりや・てつり） 由水 輝（よしみず・あきら） ゲスト 片岡 俊基（かたおか・としき） 東京大学理学部数学科 セミナー セミナーの予定・記録 研究室紹介 教養課程学生向け，研究室紹介 .txt 研究室配属前の学部4年生向け，情報科学演習IIIの説明資料（下を見てね） 大学院修士課程受験者向け，研究室紹介 .pdf 情報科学演習III 2011年度発足の新しい研究室です．計算機科学のいろいろな側面に対して，抽象数学を使った数理モデルを作ることで，現象のよりよい理解と共に応用上の手法を得ることが目的です．たとえば，応用上の例は並行システム論・システム検証・関数型プログラミング言語・量子計算・ハイブ
