GitHub Actions はチューリング完全

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

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

Publickey年間人気記事ランキング2021。1位はExcelがチューリング完全に、2位はPower Automate Desktopの無料提供開始、3位はOracle JDKが再び無料に

2021/12/26 12 users Excel Oracle JDK Publickey 2位

Publickey年間人気記事ランキング2021。1位はExcelがチューリング完全に、2位はPower Automate Desktopの無料提供開始、3位はOracle JDKが再び無料に この1年間でPublickeyは384本の記事を公開してきました。今年最後の記事は、この384本の記事を読まれた数が多い順に、年間ランキングトップ10をご紹介していきます。 き... 続きを読む

セミコロンレスJava はチューリング完全か？ - プログラマーの脳みそ

2020/05/27 17 users 脳みそ プログラマー チューリング セミコロン Java

セミコロンレスJava (Semicolonless Java)というのは Java でセミコロンを使わずにコードを書くというチャレンジである。 セミコロンを使わずともJavaはチューリング完全なのであろうか？ 証明方法 チューリング完全であるという証明は、すでにチューリング完全であることが知られている体系を該当環境で実装することで... 続きを読む

TypeScript で型レベル Brainfuck - Object.create(null)

2020/03/10 14 users Brainfuck TypeScript チューリング 言語

TypeScript の型システムはチューリング完全ということが知られていますが, 同じくチューリング完全な言語である Brainfuck のインタプリタを実装することで, その計算能力を確認することができます. この記事のコードは TypeScript 3.8.3 で動作確認しています. ゴール 型レベルで Brainfuck のインタプリタを実装しま... 続きを読む

スーパーマリオメーカーはチューリング完全（日曜数学会発表）

2019/07/12 56 users スーパーマリオメーカー

We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime. 続きを読む

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

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

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

コードのジェネレート (Generating code)

2015/06/21 24 users コンパイラ ジェネレート コマンド 定義 go test

コードのジェネレート Generating code by Rob Pike 普遍的な計算の性質、チューリング完全、とは、コンピュータプログラムがコンピュータプログラムを書けるということです。 これは、実際に評価されるべきほどには評価されていない、強力な考え方です。たとえば、これはコンパイラの定義の 大きな部分を占めています。また go test コマンドの動作にも関わってきます。 go test... 続きを読む

本の虫: x86のmov命令はチューリング完全

2015/06/21 60 users チューリング BGP PDF http x86

2015-06-21 x86のmov命令はチューリング完全 世の中には様々なチューリング完全なシステムがある。 本の虫: うっかりチューリング完全になっちゃったもの x86のMMUはチューリング完全である。 BGP(Border Gateway Protocol)はチューリング完全である。 http://vanbever.eu/pdfs/vanbever_turing_icnp_2013.pdf ... 続きを読む

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

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

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