アナロジーを追え！ 同義語を探せ

カリー／ハワード対応は、まさにアナロジーの勝利。マーク・ホプキンスの観測もアナロジーだし、バエズ／ステイのロゼッタストーンにしろアナロジーだ。

表のまとめ： 2015年10月、11月、12月ほんの少し - 檜山正幸のキマイラ飼育記 メモ編 の表の多くはアナロジーの対応表だ。これらの対応表をさらに発展させたい。

アナロジーの探索はまた、同義語／類義語を見つけることでもある。例えば、加群、代数、表現が同義語であることを認識する。モノイド、代数、加群も同義語として使われることがあるのを知る。そんなことだ。もちろん、多義語のせいで混乱するいることもある。代数はモノイドの意味でも使うし、モノイド上の加群の意味でも使うし、指標に関するマグマの意味でも使う、多義的だ。

同義性／類義性／多義性などを整理していけば、アナロジーも発見できるだろう。

それと、表のまとめ： 2015年10月、11月、12月ほんの少し - 檜山正幸のキマイラ飼育記 メモ編 のようなまとめをたまに作るのはイイと思う。