ゴ(略)

e

anarchy golf - e in C の flagitious さんのバイナリ無しで 84 byte って何なんだろう。真面目に計算してるのだろうか。

Double Parity Vertical Redundancy Check

anarchy golf - Double Parity Vertical Redundancy Check。埋め込みしてない方は各行の 1 の数が 7 個以上になると破綻する事に、submit した後で気づいた。

Lazy K

anarchy golf - v in Lazy K の irori さんのコードが、lazy-k.zip に入っている prelude-numbers.scm の 118 を使ったのでは到底たどりつけそうもないほど短いので、チャーチ数を短くする方向で考えてみたものの、なかなか縮まない。

SSS(S(KS)K) # (lambda(n)(* n (1+ n)))

を使うと、6,12,20,30,42,72,90,110 とその近辺の数が短くなる（56 は縮まなかった）。新しい 6 を使うと 42 はさらに縮む。しかし肝心の 118 を縮めるには未だ至ってない。

anarchy golf - Simultaneous Equations FIXXED

どう見ても不定解です。ほ、