先に関連URLs： HOL : http://hol.sourceforge.net/ Moscow ML : http://www.dina.kvl.dk/~sestoft/mosml.html Prosper : http://www.dcs.gla.ac.uk/prosper/toolkit/ Isabelle : http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ SML of New Jersey : http:…

んっ、「ゲージ理論とトポロジー」なんてトラックバックが来ている。 -- 単なる偶然（シンクロニシティ？）なんだが、TQFT (Topological quantum field theory)の資料を見つけた。→"NOTES ON ATIYAH'S TQFT'S" (PDFファイル)。著者はJ.P. May、"Simplicial o…

仕様記述文のメッセージ受発信をメソッド呼び出しと解釈するなら、on (P) receiving {E} results (Q) に対して、 if (P) { {E} return (Q); } else { return true; }としてテストメソッドが書けます。emits（メッセージ送信）の部分のチェックは、スタブメソ…