GitHub Actions はチューリング完全

2024/08/16 101 users チューリング TypeScript Python 計算 能力

チューリング完全とは、ざっくり説明すると、一部を除くほとんど全ての計算が可能な能力を意味します。言い換えると、ほとんど全ての計算問題を解く能力を意味します。（あとでもう少し詳しく説明します。）プログラミング言語は一般にチューリング完全であり、例えば TypeScript や Python はチューリング完全です。プ... 続きを読む

これが現代の科学力……！　「スーパーマリオメーカーはチューリング完全」はなぜたった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++テンプレートはチューリング完全に... 続きを読む