はじめてのにき

戦略はイノベーティブな感じがほとんど見つけられなくて、なんかやはりがっつり教師強い学習なのかな、という感じ。あと、負けた試合はいわゆるチーズと呼ばれるような、序盤のバクチ速攻で不意打ち、そのままずるずる不利に、というのが多かった。速攻を一応返しはするものの、その後のケーススタディが足りていないのか、アホみたいに時間をかけて内政を回復させていたりしてひどい。具体的には相手がとっくに帰っているのに2ndを全然取らない試合が2回。

戦術レベルの細かいところではかなり面白いことを色々見たように思う。ただ、それ意味あったんだろうか、というようなこととか、むしろマイナスじゃないか？みたいなことも多少あったけど。

あと最後のやつはたぶん結構致命的で、見ててむしろ人間側の戦略で、「えっこんなのあるの？今はこれ普通？？」みたいなことが結構あった。

(10:44)

_ あと

https://www.youtube.com/watch?v=3HqwCrDBdTE

この人は「アルファスターに野良で当たっちゃったぽい！」と視聴者からのタレコミで気付いたユーチューバーで、普段からそうらしいけど、ノリノリで楽しかった。 alphastar 視点のリプレイの不自然さとかにも色々言及していてたのしい

(10:46)

[ツッコミを入れる]

2019-08-02

_ ELVM

すさまじく面白い PR がたて続けに来た

1. https://github.com/shinh/elvm/pull/64

チューリングマシンバックエンドで生成されたコードを実際に動かしている tools/tm.c を 8cc+elvm でコンパイルできる C で書きなおし

これ、つまり、 tm.c をチューリングマシンターゲットでコンパイルすると、チューリングマシンを受理するチューリングマシン、つまり万能チューリングマシンが得られる

ついでに、「チューリング完全である C をバックエンド XX にコンパイルできるということはバックエンド XX はチューリング完全なのである」と、ちょっとまどろっこしい説明だったところが、「バックエンド XX で書かれたチューリングマシンができたのでQED」みたいな直接的な説明が可能になったという意味でもあると思う……

2. https://github.com/shinh/elvm/pull/65

Malbolge (1998) はメモリ空間が有限でチューリング完全でないので、メモリ空間が意味不明な法則で拡張されていくようになった Malbolge Unshackled (2007) というのが提案されていて、 Malbolge は直接書くの大変なので変換器を作ってなんとかするのが基本で、フロントエンド言語 HeLL というのがあるらしい (2016?)。

https://lutter.cc/malbolge/assembler.html

で、その HeLL の作者が HeLL backend を足してくれたというのがその PR 。長年の夢だった Malbolge バックエンドができたことにより(まあ遅すぎて動かないらしいが)、あと欲しいのはライフゲームとマリオメーカーバックエンドくらいという気持ちになってきた

ところでこの人 Malbolge Quine ( https://lutter.cc/malbolge/quine.html ) 書いた人でもあるぽいので、マジリスペクトですね

(01:00)

[ツッコミを入れる]