Valdis Laanって人は目ぼしい結果を並べるだけで証明を書かない。イライラする。http://www.kirj.ee/public/proceedings_pdf/2011/issue_4/proc-2011-4-221-237.pdf で自分の論文 http://kodu.ut.ee/~vlaan/preprints/generatorssli.pdf を参照しているが、…

プログラムの同値性ではなくて、プログラミング方式と実行方式のあいだのマクロな同値性を考える。例えば、時分割方式とマルチCPU方式。時分割方式のプログラムの圏とマルチCPU方式のプログラムの圏がなんらかの意味で同値となる。「なんらかの意味」は、あ…