- 03/24 [Schedule/ProofCafe_19]()
- 時間: 14:30 - 17:30
- 場所: 名古屋大学 理学部1号館 307
- 参加登録: [http://partake.in/events/98aa901c-948c-4e51-998c-e7ffc9b5d9f0](http://bit.ly/wSmbqp)
- [ソフトウェアの基礎](http://proofcafe.org/sf/)の[ポリモルフィズム(多相性)](http://proofcafe.org/sf/Poly_J.html)の
「多相的なペア」から「」まで
- 参加者: 8人