- 04/28 [Schedule/ProofCafe_20]()
- 時間: 14:30 - 17:30
- 場所: [名古屋大学 理学部1号館(多元数理科学棟)](http://www.math.nagoya-u.ac.jp/ja/direction/campus.html) 307
- 参加登録: [PARTAKE: 第20回 ProofCafe ](http://bit.ly/GZg2it)
- [ソフトウェアの基礎](http://proofcafe.org/sf/)の[ポリモルフィズム(多相性)](http://proofcafe.org/sf/Poly_J.html)の「rememberタクティック」から
- 参加者: 7人

#remember
- remember T. destruct t. はcase_eq T. と似ている。
- destruct (式). の式の部分が変数一つならばrememberやcase_eqは必要ない。
- そもそもboolを使わずsumboolを使っていればよい。

#apply with
- apply ... with ... は使う補題(定理)の引数が多いときなど有用。
- ↑引数名がないときはどうする？
- eapplyを使うという方法もある。