kikx https://blog.hatena.ne.jp/kikx/ 菊やんの雑記帳 https://kikx.hatenadiary.org/ Grass チャーチ数を使って計算してみるテスト。810バイト。全然縮んでない。チャーチ数を使うと、掛け算が簡単だ。べき乗はさらに簡単だ。169とか251とか重要な数値が簡単に作れるぞー。頑張れば縮むと思うんだけどなあ。なんつーかかっこいいし require 'compile.rb' compile do let.x2 = abs f, x do f(f(x)) end let.x4 = x2(x2) let.x3 = abs f, x do f(x2(f,x)) end let.x12 = abs f do x3(x4(f)) end # 13 = 3*4+1 let.x13 = abs f, x do… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkikx.hatenadiary.org%2Fentry%2F20080906%2F1220653860" title=" なんでもできるぞー - 菊やんの雑記帳" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-09-06 07:31:00 rich https://kikx.hatenadiary.org/entry/20080906/1220653860 1.0 100%