[B! csp] nfunatoのブックマーク

Communicating Sequential Processes, by C. A. R. Hoare (PDF Version)

Communicating Sequential Processes Communicating Sequential Processes (CSP) is a language for the description of patterns of interaction. It is supported by an elegant, mathematical theory, a set of tools, and an extensive literature. Tony Hoare's book Communicating Sequential Processes is an excellent introduction to the language. It was first published in 1985 by Prentice Hall International. To

nfunato 2018/09/19

csp

リンク

Undo/Redo の話 - Think Stitch - PRINCIPIA

なんらかのデータを編集するためのユーザインターフェイスを持つアプリケーションプログラムで Undo/Redo を実現する１つの方法について書きたいと思います。方法自体は一般的なものですが、ある条件を要求するので、残念ながらいつでも適用できるというわけにはいかないと思います。いつでも適用できるようになるといいな、とは思っていますけど。その条件とは何かというと、ユーザの操作に対応する遷移を、純粋に関数型で書くということです。遷移を関数型で書く利点 SyncStitch のモデルは CSP に基づいた状態遷移モデルですから、全体としては関数型プログラムではありません（微妙なところですけど）。しかし遷移において、状態変数やプロセスパラメータの値を計算する部分は純粋な関数型として記述します。変数に格納されているデータ構造を副作用によって改変することはありません（できません）。 SyncS

nfunato 2015/09/30

fm
csp

リンク

Google Photos

Press question mark to see available shortcut keysSign inSelectPartial upload360 videoRAWVideo BoostSaveTurn on motionEditZoomInfoRemove from albumGoogle apps

nfunato 2015/09/30

fm
csp

リンク

並行プログラミングのための Scheme 拡張と並行ウィンドウシステム - Think Stitch - PRINCIPIA

Lisp Meet Up presented by Shibuya.lisp #32 で発表した資料とビデオです．並行プログラミングのための Scheme 拡張と並行ウィンドウシステム (PDF) 発表のビデオまた，並行プログラミングの部分については，こちらにより詳しい解説があります．マクロとクロージャで作る並行プログラミング言語並行プログラミング言語 2：チャネル通信とプロセスパラメータ並行プログラミング言語 3：ガード並行プログラミング言語 4：改名並行プログラミング言語 5：隠蔽並行プログラミング言語 6：隠蔽 2 並行プログラミング言語 7：逐次合成

nfunato 2015/09/30