[Back to Teaching]
- 情報論理 (理学部情報科学科，3年Sセメスター)
- 計算機言語論 (理学部情報科学科，4年Sセメスター，小林直樹教授と共同で担当)
- 創造情報学連携講義 (屋並仁史先生，大学院情報理工学系研究科，S2ターム6コマ1単位．蓮尾は local organization を担当)
- 形式言語理論 (理学部情報科学科，2年Aセメスター)
- 総合科目一般 計算と知能の科学
(東京大学教養学部 教養課程)
スライド： [ key | pdf | pdf (4up, no animation, for printout) ]
- 2011年夏学期 情報論理 (東京大学理学部情報科学科3年，担当：萩谷昌己教授) 概要
- 2011年夏学期 情報科学演習III (東京大学理学部情報科学科4年)
- 2011年夏学期 総合科目一般 計算と知能の科学 7/1 分．
(東京大学教養学部 教養課程)
スライド： [ key | pdf | pdf (4up, no animation, for printout) ]