コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

Entries from 2016-03-17 to 1 day

Egisonの練習その2

パターンマッチを使う関数を3つほど。データコンストラクタを外す関数。 (define $mcer (algebraic-data-matcher {<a integer> <b integer>})) (define $cut (lambda $xs (match xs mcer {[<a $x> x] [<b $x> x]}))) > (cut <A 6>) 6 > (cut <B 7>) 7 > (cut <C 7>) Error: failed pattern match > 1個以上の連</c></b></a></b></a></b></a>…

Egisonの練習その3

EgisonでFizz Buzzを書いてみた。むー (define $fizzbuzz' (lambda $x (match x (mod 15) {[,0 "FizzBuzz"] [(| ,3 ,6 ,9 ,12) "Fizz"] [(| ,5 ,10) "Buzz"] [_ x]}))) (define $fizzbuzz (map (fizzbuzz' $) (take 100 nats))) > fizzbuzz {1 2 "Fizz" 4 "B…