メンバー

教員

• 蓮尾 一郎 (はすお・いちろう) 講師

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

• 片岡 俊基（かたおか・としき）
• 関根 大剛（せきね・ひろよし）
• 長 健太 （ちょう・けんた）
• 森谷 哲理（もりや・てつり）
• 由水 輝（よしみず・あきら）
• 赤崎 拓未（あかざき・たくみ）
• 木戸 肩吾（きど・けんご）

事務補佐員

• 黒田 美穂 (くろだ・みほ，小林研究室兼任)

ゲスト

• Andrzej Murawski (あんどれい・むらうすき，Univ. Warwick, Jan-Feb 2013)
• Jan Rutten (やん・るってん，CWI Amsterdam & Radboud Univ. Nijmegen, Nov 2012) photo1 photo2
• Ana Sokolova (あな・そころば，Univ. Salzburg, Oct-Nov 2012) photo1 photo2
• Justin Holmgren (じゃすてぃん・ほるむぐれん，マサチューセッツ工科大学．インターン学生，Jun-Aug 2012)
• Tristan Roussel (とりすたん・るせる，パリ第７大学．インターン学生，May-Jun 2012)
• Claudia Faggian (くらうでぃあ・ふぁじゃん, CNRS & Univ. Paris VII, May-Jun 2012) photo
• Bart Jacobs (ばーと・やこぶす，Radboud University Nijmegen, May 2012) photo1 photo2

Members

Faculty

• Ichiro Hasuo, Lecturer

MSc Students

• Kenta Cho
• Toshiki Kataoka
• Tetsuri Moriya
• Hiroyoshi Sekine
• Akira Yoshimizu
• Takumi Akazaki
• Kengo Kido

Administrative Support

• Miho Kuroda
  (also at Naoki Kobayashi's group)

Guests

• Andrzej Murawski (Univ. Warwick, Jan-Feb 2013)
• Jan Rutten (CWI Amsterdam & Radboud Univ. Nijmegen, Nov 2012) photo1 photo2
• Ana Sokolova (Univ. Salzburg, Oct-Nov 2012) photo1 photo2
• Justin Holmgren (Internship student, Massachusetts Inst. Techn., Jun-Aug 2012)
• Tristan Roussel (Internship student, U. Paris VII, May-Jun 2012)
• Claudia Faggian (CNRS & Univ. Paris VII, May-Jun 2012) photo
• Bart Jacobs (Radboud Univ. Nijmegen, May 2012) photo1 photo2

セミナー

セミナーの予定・記録

Seminars

Planned & past

研究室紹介

• 教養課程学生向け，研究室紹介 .txt
• 研究室配属前の学部4年生向け，情報科学演習IIIの説明資料（下を見てね）
• 大学院修士課程受験者向け，研究室紹介 .pdf

情報科学演習III

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

情報科学演習IIIでは教科書・論文の輪講を通じて，このような研究アプローチの面白いところをかいま見てもらいたいと思っています．輪講のテーマは受講者と相談して決めますが，以下のようなものを考えています．

• 余代数による状態遷移システムの圏論的モデル
  Jacobsの教科書(の草稿）をもとにして、オートマトンなどの状態遷移システムを圏論的に抽象化す る研究について学びます。
• 圏論の基礎
  Crole の教科書をもとにして，圏論に入門します．
• 量子計算の数学的意味論
  Nielsen-Chuangの教科書，または Petz の Book Chapter (LNP 808) をもとにして、 アルゴリズム論的な側面よりも、量子状態の数学的定式化 （とくにKrausのquantum operationによる定式化）に力点をおきます。
• 超準解析とハイブリッド・システム
  Goldblatt の教科書をもとに超準解析を学び（論理学をたくさん使います）、ハイブリッド・システム （連続的な物理データとデジタルな離散的データを両方扱うようなシステム）の研究につなげます。
• 関数型言語の操作的意味論
  Pitts (in: Adv. Topics in Bisimulation and Coinduction, Sangiorgi & Rutten eds.) の Book Chapterを もとにして，関数型言語の操作的意味論に関する先進的な手法について学びます．
• 様相論理とプロセスの等価性
  Stirling (in: Adv. Topics in Bisimulation and Coinduction, Sangiorgi & Rutten eds.) の Book Chapterを もとにして，bisimilarity によるプロセス等価性の定義と，様相論理による特徴付けについて学びます．

アクセス

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

• 最寄り駅は：南北線 東大前駅，丸ノ内線 本郷三丁目駅，千代田線 根津駅． （どれも少し遠いです，徒歩10分くらい）
• 遠方からおいでの方は，中央線御茶ノ水駅から都バス「学07 東大構内行き」が便利です．理学部7号館は終点から徒歩30秒．御茶ノ水駅前に手頃なビジネスホテルもあります．たとえばココ．

Access

Room 401 (Hasuo); Room 415 (Students)
Faculty of Science Bldg. No. 7 (理学部7号館), Hongo Campus (本郷キャンパス), University of Tokyo
Access (detailed, recommended)
Access (not too much detailed; for those who are familiar)