出た。今年の課題は、車と燃料を設計/販売して金儲けというもの。といってもリアルな設計ではなく、車は特定の形の連立不等式で、燃料はその解で、それぞれ表現される。車と燃料をセットで提出するのが基本で、さらに他人の設計した車に適合する燃料を作るこ…

続き。前回は途心10マーガレットのミニマックス解を一つ見つけたが、ほかにどんな解があるかは不明だった。 今回、ミニマックス解をすべて見つけることができた。 以下ネタバレ。

マーガレットについて。途心3のマーガレットが三すくみであることは知られているが、途心10だと155すくみの構造を持つことが分かった。ゲーム理論の言葉でいうと、途心10マーガレットを零和ゲームと見たときのミニマックス解(と信じるもの)を一つ見つけた。…

モナドなしで一意名生成 - www.kotha.netの裏のアイディアを検証するための例題として、λ式をη簡約するプログラムを書いてみる。構文をパース→処理→PrettyPrint、という流れを最低限要求する問題としてη簡約が手頃だと思った。構文木を表現するデータとして…

Haskellで形式言語を扱う場合、四則演算を許す数式程度なら代数的データ型が非常に良く抽象構文を表現できるが、名前の束縛が必要になるととたんに面倒なことになる。名前の衝突が厄介なので、各変数に一意の記号を付けたいのだが、たとえばData.UniqueはIO…

test