ここ最近Turing完全性などに（細かい部分も含めて）興味を持っていたのは，実は，そー氏*1のマリオメーカー*2研究がきっかけでした。今日公開された動画にちょっとだけ協力していたので宣伝します。マリオメーカーはチューリング完全だった【万能計算機】 私…