最終講義 「情報学の内と外 ― 世界と言語の関係 ―」

最終講義スライド

• スライド pdf file
• 音声 wma file
• スライド (最終講義後の追記) pdf file

退官記念ワークショップ

以下の二つのスライドを使って講演しました

• スライド pdf file スライド pdf file
• 音声 wma file

プログラム

セッション1 (10:00-11:00)

• 萩谷昌己 (東京大学)、 「RNAiの抽象化」
• 森下真一 (東京大学)、 「DNA高次構造の推定とパーソナルゲノム周辺の未解決問題」

セッション2 (11:15-12:15)

• 龍田真 (国立情報学研究所)、 「TLCA未解決問題20番: 遺伝的置換子の型」
• 亀山幸義 (筑波大学)、 「リフレクションからステージ化計算へ」

セッション3 (13:45-15:15)

• 高田広章 (名古屋大学)、「ソフトウェアの安全性について〜組込みシステムと機能安全〜」
• 竹内泉 (産業技術総合研究所)、 「数学と変数」
• 櫻田英樹 (NTTコミュニケーション科学基礎研究所)、「数理的技法による情報セキュリティ」

特別セッション (15:30-16:30)

• 佐藤雅彦、「計算と論理の迷い道」

クロージング (16:30-17:00)