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

情報科学における圏論ファン なぜか、情報科学科には一定数の「圏論ファン」がいます。彼らは多くの場合、次のような経緯でファンになります。 プログラミング言語にはこだわりがある。プログラムは、知的で（難しそうで）かつエレガントな言語を選んでカッコよく書きたい。 関数型プログラミング言語（Haskell、OCamlなど）はパッと見わかりにくいが、プログラムが数学的で、短く正確に書けて、なんだかカッコいいのではないか。 関数型プログラミングの先達は、圏論という数学のコトバを使っているらしい。ということは、圏論もカッコよさそう！ 応用先は関数プログラミングに限りません。システム検証、プログラム意味論、量子計算……僕の研究では、圏論を情報科学のいろんな数学的側面に使っています。情報科学科は「プログラミングを訓練する場所」だと思われがちだけれど、そうではなくって、プログラミングの「科学」を学ぶところであ

[hamamuratakuo]

圏論とは一言でいうと「同じ」とは何かを説明する方法。人類が戦争をやめるには、お互いの共通点＝同じ部分を理解して、協力関係を築くしかない。自他の区別が強固で他人を差別する者の特徴＝圏論を理解できない無能