2.2 Some simple examples 例から。以下、プロセスの例。プロセス≒式のようなかんじ。式を合成できるように、プロセスとプロセスを合成してプロセスができる。 プロセスＰとプロセスＱを縦棒|で区切って合成すると、ＰとＱを並列に実行するという意味になる。…

"Calculi for Interaction" Robin Milner , April 1995 http://citeseer.ist.psu.edu/milner96calculi.html今日寒すぎ。 家に着いたとき、鼻が赤くなってた。

１０ページほど読んだので、メモ。 束縛変数、自由変数などはラムダ計算とほぼおなじようだ。 リダクションもほぼおなじだが、チャンネルが絡んでくるのでちょっとちがってくる。 (lambda x:x * 2)3 -> 3 * 2 ラムダ計算だと、関数の右にくる値でリダクショ…

おもろげ。 業務アプリでどんなワークフローというか状態遷移のような処理が必要とされているかに興味があって詳説 ビジネスプロセスモデリング ―SOAベストプラクティス (THEORY/IN/PRACTICE)作者: Michael Havey,長瀬嘉秀(監訳),永田渉(監訳),株式会社テク…

http://lambda-the-ultimate.org/node/2265 で紹介されていた Synthetic Computability http://math.andrej.com/wp-content/uploads/2007/05/syncomp-mfps23.pdf 面白そう。とりあえずメモ。 あと、Concepts, Techniques, and Models of Computer Programming…

3D computer games and functional programing http://www.cse.unsw.edu.au/~pls/thesis/munc-thesis.pdfHOpenGLとYampaを使ってFPSを作るという内容。