現実逃避的に http://d.hatena.ne.jp/propella/20070129/p1 の続き。GUI フレームワークを形式的に設計するのに Functional Reactive Programming が有効である事が分かったわけですが、さらに調査を進める前に今の自分の考えをまとめます。 目的 あるモデル…