Altech https://blog.hatena.ne.jp/Altech/ Altechの日記（仮） https://altech-2.hatenadiary.org/ プログラミング CTMCP 第一部：一般的計算モデル の最終章、関係計算モデルです。論理型プログラミングを扱います。ちなみに第二部は特殊化された（Specialized）計算モデルで、GUIプログラミング、分散プログラミング、及び制約プログラミングを扱います。GUIプログラミングはあまり得るものがなさそうなので飛ばす予定。 要点 第一部：一般的計算モデルの最終章。この章では、これまで扱ってきた宣言的モデルの関数（一章〜四章など）という見方を一般化して関係に基づいた計算モデルを考える...（つづき） 感想 この章はすごいと思いました。ここまで来てようやく、どうしてデータフロー変数（まだ束縛されていない変数）などといったもの… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Faltech-2.hatenadiary.org%2Fentry%2F20121021%2F1350832754" title="CTMCP 9章：関係プログラミング - Altechの日記（仮）" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-10-21 00:19:14 rich https://altech-2.hatenadiary.org/entry/20121021/1350832754 1.0 100%