ラムダプラス+

正誤表 (第一版) ラムダプラス+にいくつか誤りが発見されております。ご迷惑をおかけして申し訳ありません。次のとおり修正します。 今回のラムダプラス+ではわざと「単相型」の説明をしませんでした。紙面の都合および、今回の範囲ではそれほど重要ではない、と思ったからなのですが、やはり説明すべきでした。単相型を省いてしまったために誤った型付けがなされる場合があります。例えば、let f g = let h = g in ... のようなコードを型推論するとき、let h = g in で g は型変数を持っているのですが、現在の定義だと h が多相型になってしまいます。本当は h に forall を付けてはいけません。より詳しい定義は、TaPL を参照していただければと思います。

最中限 Touch

竹内郁雄教授によって考案されたカードゲーム「最中限」が iPhone や iPod touch で遊べる様になりました。 最中限は3人で遊ぶカードゲームで、ただカードを出し合い得点を得ていくだけの簡単なカードゲームです。一つ違うところは、得点はカードの強さが2位の人が得られるところ。また、最終的な勝者も合計点が2位の人です。 ほかの2人との得点を調整しながら、最終的に2位を目指してください。 スクリーンショット ダウンロード このリンクをクリックすると、iTunes 内で最中限 Touch のページが開きます。 ソースはアイコン等を除いて github で公開してます。 バグ報告など バグ報告などは mayah AT mayah.jp までお願いします。