第174回 素人くさいSICP読書会（at 三田某所）

• 会場提供ありがとうございました
• 参加者3人。予想通り
• 大きな仕事が終わったので、ビールとつまみを持ち込んで一人打ち上げモード

• Java VM上で動くArmed Bear Common Lispの話
• PLT Schemeでは、並列処理のためにset-car!とset-cdr!が廃止されてるという話（代わりはset-mcar!とset-mcdr!だっけ？）
• Schemeで並列処理は無理があるから、Haskellの方がよくね？とか言ったら、お前が言うなとか白石さんに毒されすぎとかさんざんdisられた
• で、結論としてはClojure最強、ということらしい

• 定理証明によく使われているのはIsabelleで、Coqを使うのはフランス人だけ、Agdaを使うのは変態、とかいう暴言を聞いたような気がするがよく覚えてない

• 問題は全然進まず