Revision b70e4a0da4537298ecb4720000c8ee0c26316531
Schedule
次回ProofCafe
- 05/25 Schedule/ProofCafe_30
- 時間: 14:30 - 17:30
- 場所: 名古屋大学 多元数理科学棟 307
- 参加登録:第30回 #ProofCafe - Partake
- ソフトウェアの基礎 今回はSfLib_Jの「関係としての評価」から
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz
- ハッシュタグ: #proofcafe
2013年の活動
- 04/27 Schedule/ProofCafe_29
- 02/23 Schedule/ProofCafe_28
- 01/26 Schedule/ProofCafe_27
2012年の活動
- 12/22 Schedule/ProofCafe_26
- 11/24 Schedule/ProofCafe_25
- 10/27 Schedule/ProofCafe_24
- 09/22 Schedule/ProofCafe_23
- 09/02 Proof Summit 2012
- 07/28 Schedule/ProofCafe_22
- 06/23 Schedule/ProofCafe_21
- 05/26 ML名古屋
- 04/28 Schedule/ProofCafe_20
- 04/07 Functional花見 Schedule/FunctionalHanami2012
- 03/24 Schedule/ProofCafe_19
- 02/25 Schedule/ProofCafe_18
- 01/28 Schedule/ProofCafe_17
2011年の活動
- 12/17 Schedule/ProofCafe_16
- 11/26 Schedule/ProofCafe_15
- 11/13 ProofCafe特別版 証明ハッカソン
- 10/22 Schedule/ProofCafe_14
- 09/26 Schedule/ProofSummit