日時:4/16 13:00 - 19:00 会場:新宿三井ビル34F 範囲:2章あたりから http://atnd.org/events/14721章末演習で解答がないものについて、一通り解答をまとめた資料を作りたいと思っている。

定理証明系イベント 9/25で名古屋勢と調整して、だめなら9/17の関数型イベントへの相乗りを考えよう 関数の引数部分適用 OCamlで引数を部分適用すると、後ろの多相型が変わってしまう Haskellでは変わらない 副作用があるかどうかで違う 9.1 保守的になりす…

TAPL読書会参加者のおかげで、P126のExercise1の言わんとしていることがようやく分かった。 tmiyaさんのおっしゃる通り、これに先立つBrouwer Theoremでは、円Cを円盤Dの円周に対応付けることが明記されている(P123)。P125の図において、円盤内でf(x)からxへ…