- 05/25 [Schedule/ProofCafe_30]()
- 時間: 14:30 - 17:30
- 場所: [名古屋大学 多元数理科学棟](http://www.nagoya-u.ac.jp/2012website/global-info/map/higashiyama/math.html) 309
- 参加登録:[第30回 #ProofCafe - Partake](http://partake.in/events/4c09b20f-d694-4a8e-bde8-1650755344b4)
- [ソフトウェアの基礎](http://proofcafe.org/sf/) 今回は[SfLib_J](http://proofcafe.org/sf/Impl_J.html)の「関係としての評価」から
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: [http://proofcafe.org/sf/sfja.tar.gz]()
- ハッシュタグ: [#proofcafe](http://twitter.com/#!/search/realtime/%23proofcafe)

- 06/22 OSC名古屋における番外編で使用した
単純型付きλ計算の評価と型推論のPrologコードは以下です。
いただいた質問から判明したbugを修正しています。
 - https://github.com/suharahiromichi/prolog/blob/master/type_stlc.swi
 - https://github.com/suharahiromichi/prolog/tree/master/tapl/