SICP 読書会 にいってきた

• チャーチ数ってなんじゃい
  • wikipedia:Λ計算
    • http://www5d.biglobe.ne.jp/~y0ka/2006-07-31-6.html とか，そんなに単純じゃない御様子
• -> チューリングマシンとノイマンコンピュータ
• せっかく加速会をやったので，その範囲まで終わっておきたかった
  • かなり急いでやってしまったのがちょっと反省
• 多項の比較演算子にみんなノリノリに
• 問題文の表現がわかりにくい
  • ex. 区間の二項計算の結果である区間の幅が，因子区間の幅で表現でき(る|ない)ことを示せ
• 次の加速会の催促
  • GW を挟む のと osc 関連ので微妙
    • もう 5/30 とかで予約しちまうか．とか