これが現代の科学力……！　「スーパーマリオメーカーはチューリング完全」はなぜたった1年半で証明されたのか (1/2) - ねとらぼ

2019/07/12 610 users ギミック スーパーマリオメーカー マリオメーカー学会 とらぼ

「マリオメーカー学会」というものをご存じでしょうか。自作ステージを作って遊べるゲーム「スーパーマリオメーカー」に斜め上過ぎる楽しみ方を見いだした“研究者”の集まりで、これまでには「クリアに20万年ほどかかるステージ」「ギミックを巧みに活用した計算機」などが開発されています。 話がぶっ飛んでいて何が何だ... 続きを読む

本の虫: うっかりチューリング完全になっちゃったもの

2013/10/20 302 users 当初 2013-10-2 本来

2013-10-20 うっかりチューリング完全になっちゃったもの Accidentally Turing-Complete ― Andreas Zwinkau 本来なら、チューリング完全となるべきではなかったものがある。これは、そのようなうっかりチューリング完全になってしまったものを紹介する。 C++テンプレート 当初はチューリング完全を目指していなかったが、C++テンプレートはチューリング完全に... 続きを読む