マクロツイーター

はてダから移行した記事の表示が崩れてますが、そのうちに直せればいいのに(えっ)

ようやく「最後の問題」が解けた(Googleのアレ)

Googleチューリングでフィボナッチなアレのことだけど。

エンディングの機械が何を表しているかが理解できて、これでようやく安心して就寝できると思ったら、オープニングのバイナリカウンタな機械の実装をまだ考えていないことに気か付いた。

……というわけで、コレ。*1

なんでここまで時間がかかったかというと、それはもちろんコレを作ってたからで。*2

アレは抽象機械なのであるが、og.lua では次のように記述する。

v_ -> v_ @2 '0 .  v0 .
'1 ^1 <- .  ^1 @5 <- @3

こう書けば、アレも立派な(ただ今流行の?)残念言語だなあ。

*1:永遠に数え上げるので、この機械は停止しない。

*2:肝心の問題は思っていたより早く解けた。むしろ画像を作るのにその 10 倍の時間を要した ;-)