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

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

Entries from 2016-04-02 to 1 day

Egisonでどうぶつしょうぎ

駒を動かすということは、駒のマスと空白のマスの置換ということだ。 Egisonのmatch-allのmultisetは、要素の全ての組み合わせ(置換)を考えるから、 これをフィルタリングすれば、駒の動きを表現できるのではないか、と思った。①先手の空白への駒の流入 各…