蓮尾研究室

Group-MMM
(aka. Hasuo-Lab)

東京大学 大学院情報理工学系研究科コンピュータ科学専攻・理学部情報科学科
蓮尾研究室 ‐ Group MMM (Mathematical and Metamathematical Modeling)


過去の集合写真: 2014.4; 2013.10; 2012.5

研究室紹介 (Prezi で作ってみた)

M1の卜部さんと蓮尾の論文 [Urabe & Hasuo, CONCUR 2014] が best paper award をいただいてしまいました.受賞のようす

東京大学新聞に研究室紹介してもらいました.記事

理論計算機科学「その手の」メーリングリストを研究室で管理しています.
sonoteno mailing list

Group MMM ‐ Mathematical and Metamathematical Modeling
(aka. Hasuo-Lab)
Department of Computer Science
Graduate School of Information Science and Technology
University of Tokyo, Japan


Past: Apr 2014; Oct 2013; May 2012

[Urabe & Hasuo, CONCUR 2014] has received the best paper award! pic

Introduction to the group (a Prezi presentation)

To join us: as a student; as a postdoc

メンバー

教員

学術支援専門職員

博士課程学生(大学院情報理工学系研究科・コンピュータ科学専攻)

修士課程学生(大学院情報理工学系研究科・コンピュータ科学専攻)

学部学生 (理学部情報科学科)

事務補佐員

共同研究者 (よくいらしてくださるみなさま)

以前のメンバー

これまでのゲスト

Members

Faculty

Postdoctoral Research Associate

PhD Students

MSc Students

BSc Students

Administrative Support

Regular Visitors

Former Members

Previous Guests

セミナー

Seminars

研究室紹介

情報科学演習III

2011年度発足の(まだまだ)新しい研究室です.計算機科学のいろいろな側面に対して,抽象数学を使った数理モデルを作ることで,現象のよりよい理解と共に応用上の手法を得ることが目的です.たとえば,応用上の例は並行システム論・システム検証・関数型プログラミング言語・量子計算・ハイブリッドシステムなどで,使う数学は圏論 category theory や数理論理学などです.

情報科学演習IIIでは教科書や論文の輪講を通じて,このような研究アプローチの面白いところをかいま見てもらうと共に,共同研究における議論のスキルを身につけてもらおうと考えています. 輪講のテーマは受講者と相談してきめますが,以下に例を挙げます.

アクセス

東京大学本郷キャンパス 理学部7号館 401号室(蓮尾),415号室(学生室)
地図・案内はこちら

Access

Room 401 (Hasuo); Room 415 (Students)
Faculty of Science Bldg. No. 7 (理学部7号館), Hongo Campus (本郷キャンパス), University of Tokyo
Access (by bus, recommended if you are not used to walking around in Tokyo)
Access from the Narita airport
Access (by train and walk)
Train Route Finder