SEND + MORE = MONEY という覆面算だ。 egison-scheme で解いてみた。 アルゴリズムとしては難しくない。 '(0 2 3 4 5 6 7 8 9) の順列を作り、その中から条件を満たす解を取り出す。 何故このお題を、本Egison でやらなかったかというと、 本Egison では遅…

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