はじめに 定理証明手習いの流れから、このごろ Gauche をやっています。 repl でリロード時にハマったので書きます。 Haskell の GHCi のように単純ではなかったです。 解決方法 使用するファイル全てをモジュール化する add-load-path use reload 使用する…

これは「Egison Advent Calendar 2019 - Qiita」の5日目の記事です。 はじめに 1年くらい前に「Egisonで定理証明なんて無謀っすよ。」 とか書いていたと思うけど、できるかもしれない。 『定理証明手習い』を参考にします。方法は以下です。 命題に対して、…

諸事情により、本シリーズを終了します。

定理証明手習い作者: Daniel P. Friedman,Carl Eastlund,中野圭介出版社/メーカー: ラムダノート発売日: 2017/10/23メディア: 単行本（ソフトカバー）この商品を含むブログ (7件) を見る @suharahiromichi この文書のソースコードは以下にあります。 https:/…

定理証明手習い作者: Daniel P. Friedman,Carl Eastlund,中野圭介出版社/メーカー: ラムダノート発売日: 2017/10/23メディア: 単行本（ソフトカバー）この商品を含むブログ (7件) を見る番外編ということで、定理証明手習いをAgdaでやってみた。 最初は、組…

定理証明手習い作者: Daniel P. Friedman,Carl Eastlund,中野圭介出版社/メーカー: ラムダノート発売日: 2017/10/23メディア: 単行本（ソフトカバー）この商品を含むブログ (7件) を見る @suharahiromichi この文書のソースコードは以下にあります。 https:/…

定理証明手習い作者: Daniel P. Friedman,Carl Eastlund,中野圭介出版社/メーカー: ラムダノート発売日: 2017/10/23メディア: 単行本（ソフトカバー）この商品を含むブログ (7件) を見る @suharahiromichi この文書のソースコードは以下にあります。 https:/…

定理証明手習い作者: Daniel P. Friedman,Carl Eastlund,中野圭介出版社/メーカー: ラムダノート発売日: 2017/10/23メディア: 単行本（ソフトカバー）この商品を含むブログ (7件) を見る @suharahiromichi この文書のソースコードは以下にあります。 https:/…

定理証明手習い作者: Daniel P. Friedman,Carl Eastlund,中野圭介出版社/メーカー: ラムダノート発売日: 2017/10/23メディア: 単行本（ソフトカバー）この商品を含むブログ (7件) を見る @suharahiromichi この文書のソースコードは以下にあります。 https:/…

定理証明手習い作者: Daniel P. Friedman,Carl Eastlund,中野圭介出版社/メーカー: ラムダノート発売日: 2017/10/23メディア: 単行本（ソフトカバー）この商品を含むブログ (7件) を見るこの本を練習しようと思った。 Schemeでやるのはつらいな〜と思ってい…