昨日のゼミで紹介してもらったけど、bisimulationで逆にわからなくなってしまったので自習。 http://en.wikipedia.org/wiki/Pi-calculus まず、構文 小文字: チャネル、変数(プロセスもあり) 大文字: メタ変数(プロセス式だが、実際の式表現中には出ない) 0: nilプロセス(以降、何も影響しない) P | Q: プロセスを並行動作させるプロセス c(x).P: チャネルcに受信待ち、メッセージはxとしてbind、その後P実行するプロセス c.P: チャネルcにxを送信、その後Pを実行するプロセス (new x)P: チャネルxを作成し、bindしたプロセス !P: Pを無限に複製し並行実行させるプロセス たとえば、キューに、無限にイベントを発行したり、受け付けたりとか 例題: (new x)(x.0 | x(y).y.x(y).0) | z(

日本語でArrowの説明があまり見付からなかったので、Haskell/Understanding arrows - Wikibooks, open books for an open worldを読んで理解したつもりのメモ。オリジナルの図を見ながらだと分かりやすいかも。誤り・間違いなど、乞うご指摘。 b->cな関数をArrowなるからくり箱に入れると、 (Arrow a) => a b c こんな型になる。型パラメタが、引数のbと返値のcのふたつ。 Monadは、値をからくり箱に入れたもの。からくり箱は基本的に(ヘンな)値。 Arrowは、関数をからくり箱に入れたもの。からくり箱は基本的に(ヘンな)関数。 arr :: (b -> c) -> a b c Monadでは、値をからくり箱に入れる関数returnがある。 Arrowでは、関数をからくり箱に入れる関数arrがある。 (>>>)

テーマは befunge + π計算。 ちなみにπ計算の知識は sumii 様のπ-calculus 超入門を読んだだけしかない。 以下、befunge はみな知っているものとしています。 基本部分 実行モデルは基本的には befunge で、2 次元上のコードをカーソルが走って fetch しながら実行が進む。初期状態では左上の原点から右方向に向かって走るプロセスが 1 本だけ。各プロセスは数値またはチャンネルからなるスタック (っぽいもの) を持っている。 '|' は fork 。進行方向に対して左右に分かれて走り出す。 v > AAA > | > BBB上のコードでは、 AAA と BBB を並列実行する。fork したらスタックは全部コピーされる (fork した後でスタックをいじっても、相方のスタックは変化しない) 。 '&' はチャンネルを生成してスタックに乗せる。'!' は送