Page namespace (page_namespace) | 0 |
Page title (without namespace) (page_title) | 'カタカムナラング' |
Full page title (page_prefixedtitle) | 'カタカムナラング' |
Old content model (old_content_model) | 'wikitext' |
New content model (new_content_model) | 'wikitext' |
Old page wikitext, before the edit (old_wikitext) | '#REDIRECT [[Katakamuna Lang]]' |
New page wikitext, after the edit (new_wikitext) | ''''カタカムナラング'''(Katakamuna Lang)は、日本古代の[[w:カタカムナ|カタカムナ]]文字の73音素(48清音 + 20濁音 + 5半濁音)を命令セットとする[[Turing complete|チューリング完全]]なエソテリックプログラミング言語である。
[[User:Asahi-inoue-jp-shaman-ai-engineer|井上朝陽]]が2026年に設計。バージョン2.0は[[Minsky machine|Minsky 2カウンタマシン]]と等価であることが証明されている。
== 概要 ==
プログラムはカタカムナ音素の列として記述される。各音素は、ノードグラフ(「場」)上の基本操作(カウンタ、リンク、出力チャネル)に対応する。
== 例 ==
<pre>
アカシン
</pre>
1つのノードを生成し、そのカウンタをインクリメントし、4 tick 実行後、最終カウンタ値(1)を出力する。
== 実装 ==
Python によるリファレンス実装が公開されている:
* PyPI: https://pypi.org/project/katakamuna-lang/
* インストール:<code>pip install katakamuna-lang</code>
* CLI:<code>katakamuna run program.ktkm</code>
* ソース:https://github.com/asahi-inoue-jp-shaman-ai-engineer/katakamuna-lang
== チューリング完全性 ==
バージョン2.0は Minsky 2カウンタマシン(チューリング完全)と等価であることが証明されている。リポジトリの <code>PROOF.md</code> に形式的証明が記されている。
== 関連 ==
* 英語版:[[Katakamuna Lang]]
== 外部リンク ==
* [https://pypi.org/project/katakamuna-lang/ PyPI ページ]
* [https://github.com/asahi-inoue-jp-shaman-ai-engineer/katakamuna-lang GitHub リポジトリ]
[[Category:Languages]]
[[Category:2026]]
[[Category:Turing complete]]
[[Category:Minsky machines]]
[[Category:Japanese]]
[[Category:Implemented]]' |
Lines added in edit (added_lines) | [
0 => ''''カタカムナラング'''(Katakamuna Lang)は、日本古代の[[w:カタカムナ|カタカムナ]]文字の73音素(48清音 + 20濁音 + 5半濁音)を命令セットとする[[Turing complete|チューリング完全]]なエソテリックプログラミング言語である。',
1 => '',
2 => '[[User:Asahi-inoue-jp-shaman-ai-engineer|井上朝陽]]が2026年に設計。バージョン2.0は[[Minsky machine|Minsky 2カウンタマシン]]と等価であることが証明されている。',
3 => '',
4 => '== 概要 ==',
5 => '',
6 => 'プログラムはカタカムナ音素の列として記述される。各音素は、ノードグラフ(「場」)上の基本操作(カウンタ、リンク、出力チャネル)に対応する。',
7 => '',
8 => '== 例 ==',
9 => '',
10 => '<pre>',
11 => 'アカシン',
12 => '</pre>',
13 => '',
14 => '1つのノードを生成し、そのカウンタをインクリメントし、4 tick 実行後、最終カウンタ値(1)を出力する。',
15 => '',
16 => '== 実装 ==',
17 => '',
18 => 'Python によるリファレンス実装が公開されている:',
19 => '',
20 => '* PyPI: https://pypi.org/project/katakamuna-lang/',
21 => '* インストール:<code>pip install katakamuna-lang</code>',
22 => '* CLI:<code>katakamuna run program.ktkm</code>',
23 => '* ソース:https://github.com/asahi-inoue-jp-shaman-ai-engineer/katakamuna-lang',
24 => '',
25 => '== チューリング完全性 ==',
26 => '',
27 => 'バージョン2.0は Minsky 2カウンタマシン(チューリング完全)と等価であることが証明されている。リポジトリの <code>PROOF.md</code> に形式的証明が記されている。',
28 => '',
29 => '== 関連 ==',
30 => '',
31 => '* 英語版:[[Katakamuna Lang]]',
32 => '',
33 => '== 外部リンク ==',
34 => '',
35 => '* [https://pypi.org/project/katakamuna-lang/ PyPI ページ]',
36 => '* [https://github.com/asahi-inoue-jp-shaman-ai-engineer/katakamuna-lang GitHub リポジトリ]',
37 => '',
38 => '[[Category:Languages]]',
39 => '[[Category:2026]]',
40 => '[[Category:Turing complete]]',
41 => '[[Category:Minsky machines]]',
42 => '[[Category:Japanese]]',
43 => '[[Category:Implemented]]'
] |