※ 子供の話ばかりじゃアレ(?)だから、「カリー/ハワード(Curry-Howard)対応をうんと一般化するとどうなるか」みたいなネタで。 以前紹介したことがあるバエズ&ステイのロゼッタストーン論文がarXivに入っていました。 題名: Physics, Topology, Logic and Computation: A Rosetta Stone 著者: John C. Baez, Mike Stay URL: http://arxiv.org/abs/0903.0340 ページ数: 73 この論文の最後のほうにある「The Rosetta Stone テーブル」のlarger versionは次のようなものです。 画像だとコピーに不便ですからテキストにしたもの: Category Theory Physics Topology Logic Computation object Hil
![バエズ、アブラムスキー、ジラール等が描くビッグピクチャー:分野を貫く不思議な共通性 - 檜山正幸のキマイラ飼育記 (はてなBlog)](https://cdn-ak-scissors.b.st-hatena.com/image/square/b6cdca620833b532ce7930153d309a8de7c2385e/height=288;version=1;width=512/http%3A%2F%2Fwww.chimaira.org%2Fimg2%2Flarge-rosetta-table.gif)