2018-01-26から1日間の記事一覧
Ifの持ち上げを何回か書いてると面倒になってきます これがパターンであるのなら定理として証明してしまえばいいのでは、 と思ったのですがそもそもパターンがJ-Bobで表現できるのかなあ 書けるとしたらこんな感じなんでしょうか (J-Bob/prove (defun.remb) …
Ifの持ち上げを何回か書いてると面倒になってきます これがパターンであるのなら定理として証明してしまえばいいのでは、 と思ったのですがそもそもパターンがJ-Bobで表現できるのかなあ 書けるとしたらこんな感じなんでしょうか (J-Bob/prove (defun.remb) …