- 2012-10-15 (Mon) 23:55
- 一般
assert → apply とかいうコンボを使いまくっていたら，specialize 使えよアホというコメントを貰った．確かにアホだ．
閑話休題．
Leibniz equality ではなく equivalence relation を使って物事を定式化しようとすると証明が色々ととても面倒．rewrite とかが動かないのが非常にストレスなわけで…… Equivalence relation 用の rewrite とかあったりするのか？ なければ自前で用意すりゃいいんだろうけどああ面倒．
- Newer: ことはじめ