東大 理学部情報科学科／大学院情報理工学系研究科｜情報科学科NAVIgation

こうしてお話を伺ってみて、あいまいで混沌としている現実世界を相手にしていることが意外でした。萩谷先生は抽象的な論理を積み上げる世界、抽象数学の洗練された世界に住んでいるという印象をもっていたんです。それは飽きちゃったんですか？ あ、ぐじゃぐじゃなもののほうが面白くなったのは最近。結局、現実世界はぐじゃぐじゃで動いています。たくさんの要素が影響しあいながら、よくわからないけど全体として何かしら機能している。そのなかから、きれいなもの―数学的な構造を見いだして抽出することに、興味が移ったんです。見つかれば、いろいろいいことあるし。 では、最初はどんなことに興味があったんですか？ ホフスタッターの『ゲーデル・エッシャー・バッハ』を楽しく読んでいた？ 『ゲーデル・エッシャー・バッハ』というより、ゲーデルの不完全性定理は好きでしたね。最初は何かといわれると、やっぱり人工知能かな。コンピュータが、人間

[hamamuratakuo]

系（システム）の表現方法として、情報科学はものすごくリッチ。微分方程式、離散的な手法。圏論も、その表現方法のひとつですね。混沌とした現実世界も、いろいろな表現方法を駆使して計算機に乗るようになります。