カリー／ハワード対応は、まさにアナロジーの勝利。マーク・ホプキンスの観測もアナロジーだし、バエズ／ステイのロゼッタストーンにしろアナロジーだ。表のまとめ： 2015年10月、11月、12月ほんの少し - 檜山正幸のキマイラ飼育記 メモ編 の表の多くはアナ…

主に2015年10月と11月、12月少し（昨日・今日とか）でブログに出現した表を集めてみる。全部一度に眺めると、なにか思いつくかもしれない、と期待して。まとめる作業がイイカゲンだから、順不同で網羅的かどうかも分からない。 豊饒プロ関手は豊饒な世界を提…

ローヴェルの一般化距離空間では、一般化距離（≒コスト）を測るのに非負実数（∞含める）を使っている。豊饒圏の枠組みで考えれば、別な圏（ベナボウコスモス）でいいはずだ。ベクトル空間Vを次のようにしてモノイド圏Cだと考える。 |C| = V 対象＝ベクトルに…

http://www.gnu.org/software/global/download.html glo651wb.zip (Version 6.5.1) インストール先 C:\Installed\GnuGlobal\ パス追加： C:\Installed\GnuGlobal\bin コマンド： gtags, htags, global 使い方 $ cd src-of-FOO $ gtags -vw [Thu Dec 03 20:04…