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