Reactiveなプログラム例として，ゲームが載っている．次の5つの状態がある． Quiet: 「Insert Coin」と出ている画面 Start: Coin1個いれるとこの画面になる．「Ready」ボタンを押すまで待機 Wait : 「Ready」を押すとこの画面になり，ランダムな時間待たされ…

昨日の論文において「関数型言語は不動点計算に向かない，なぜならエンコードしなければならないから」的なことが書かれていたので，不動点アルゴリズムについて調べてみた 不動点アルゴリズムと収束性 これが繰り返しの４２番目のデータとして、表示される…