次の論文をチラ見した。 Title: Synchronous Machines: a Traced Category Authors: Marc Bagnol & Adrien Guatto URL:http://iml.univ-mrs.fr/~bagnol/drafts/synchronous-machines.pdf Marc BagnolとAdrien Guatto（以下、BG）は二人とも博士課程の学生さ…

パリゴ（Parigot）のラムダ・ミュー計算は、なんだか分からなかったが、純関数の計算であるラムダ計算に、コマンドの計算を足したものだと思えばいいかもしれない。コマンドは値を持たず副作用を持つかもしれない。関数の値を捨てればコマンドとなる。コマン…