本編に専門家を信用できない社会は辛すぎる - 檜山正幸のキマイラ飼育記 (はてなBlog)なんてのを書いたけど、http://www.glocom.ac.jp/project/chijo/2004_04/2004_04_02.pdfを読んだ目的は： ラグランジュ力学と言いますと、ラグランジュ関数があると、アク…

確かカーツ（Kurz）が、状態空間の変換を様相オペレータとして解釈していた。ブール・クリーネ圏でも様相オペレータを入れたいのだが、Kleene Algebra with Domain (KAD)を使えばよさそうだ。f:A→B がブール／クリーネ圏の射とする。つまり、fはA,B両側半加…