2012-10-21から1日間の記事一覧
しばらく積み残していた八章以降を消化してしまおうと思います。状態共有並行性です。関係ないですが書き物は軽量マークアップ言語がいいだろうということでemacsのorg-modeを使っていたのですが、コードの断片を埋め込めるのと記号の選び方が良くてプレーン…
第十一章:分散プログラミングです。Oz はネットワーク透過なプログラミングを可能にするとかなんとかで、そういうの得意っぽいです。ちょっとすごいです。 要点 この章では、オープンな分散システムを扱う。以下のように、これはクラスタコンピューティング…
第一部:一般的計算モデル の最終章、関係計算モデルです。論理型プログラミングを扱います。ちなみに第二部は特殊化された(Specialized)計算モデルで、GUIプログラミング、分散プログラミング、及び制約プログラミングを扱います。GUIプログラミングはあ…