Schedule/ProofCafe_30
- 05/25 Schedule/ProofCafe_30
- 時間: 14:30 - 17:30
- 場所: 名古屋大学 多元数理科学棟 309
- 参加登録:第30回 #ProofCafe - Partake
- ソフトウェアの基礎 今回はSfLib_Jの「関係としての評価」から
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz
ハッシュタグ: #proofcafe
- 06/22 OSC名古屋における番外編で使用した 単純型付きλ計算の評価と型推論のPrologコードは以下です。 いただいた質問から判明したbugを修正しています。
- https://github.com/suharahiromichi/prolog/blob/master/type_stlc.swi
https://github.com/suharahiromichi/prolog/tree/master/tapl/