はじめてのにき

_ turing complete

そういえば会社で M:tG がチューリング完全だと教えてもらったので読もうと思ってたのを思い出した

http://www.toothycat.net/~hologram/Turing/HowItWorks.html

完全に理解したわけじゃないけど、カードの効果書き換える系のやつを使いまくる感じになるわけか。あとテープが短くて実際にコード書くのはしんどいのかな。

ひとつ残念なのは全自動じゃなくて、 you may て入ってる効果を使ってるから、それをコントロールしてる人がチューリングマシンを止めることができることか。

そのへんの制約がなかったら、完全に合法な手段でチューリングマシンをゲーム中に構成して、例えば colatz 予想の判例が見つかったら相手が死ぬようにして 10^100 くらいまで見つからなかったら自分が死ぬ、とかすると、はてこのゲームは私の勝ちでいいのかしら…という感じになって面白いんだけど。

そして後世になって colatz 予想の判例が見つかって、逆転負けを喫する

(08:23)

_ collatz

l は 2つでした。 Haskel

(08:32)

_ ぷよ初手まわり

素直に GTR やめろって話かもしれない

• ABAC

http://www.inosendo.com/puyo/rensim/??600000445000

と置くけど、次 BC の時にちょっとイヤな気分になる。気分で変えてるけど、次に4色目が見えてりゃ

http://www.inosendo.com/puyo/rensim/??600500445600

で見えてないなら

http://www.inosendo.com/puyo/rensim/??665000445000

で LLR というのが良い気がする。いやくま積みやれって話だろうが。

• ABAB

今は新 GTR に向かってると思う。けど、ひとつ目を左2列目に立てた後に、 AA もしくは BB が次でなければ、 GTR に行く感じでなんも問題ない気がする。

A 下だとして、 AA は

http://www.inosendo.com/puyo/rensim/??40000055000444000

BB は

http://www.inosendo.com/puyo/rensim/??55000044550

と置くことにしよう。 AA の方は今まで全然やってないやり方だな。

• AABB

これは新 GTR に向かう方で置いてると思う。この後 AA BB は上と同じ。

BC は BC か CC が見えてる時だけフキゲンGTRで。 CD もフキゲンでもいい気はしないでもないけど、 AC は右に使いたいからもう新 GTR でいいやって気がするね、そんなことしてるから全消し取れないんだろうが

(09:15)