トップ «前の日記(2019-07-31) 最新 次の日記(2019-08-08)» 編集

はじめてのにき

ここの位置付け

2004|11|
2005|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|
2019|01|02|03|04|05|06|07|08|09|10|11|12|
2020|01|02|03|04|05|06|07|08|09|10|11|12|
2021|01|02|03|04|05|06|07|08|09|10|11|12|
2022|01|02|03|04|05|06|07|08|09|10|11|12|
2023|01|02|03|04|05|06|07|08|09|10|11|12|
2024|01|02|03|

ToDo:


2019-08-02

_ ELVM

すさまじく面白い PR がたて続けに来た

1. https://github.com/shinh/elvm/pull/64

チューリングマシンバックエンドで生成されたコードを実際に動かしている tools/tm.c を 8cc+elvm でコンパイルできる C で書きなおし

これ、つまり、 tm.c をチューリングマシンターゲットでコンパイルすると、チューリングマシンを受理するチューリングマシン、つまり万能チューリングマシンが得られる

ついでに、「チューリング完全である C をバックエンド XX にコンパイルできるということはバックエンド XX はチューリング完全なのである」と、ちょっとまどろっこしい説明だったところが、「バックエンド XX で書かれたチューリングマシンができたのでQED」みたいな直接的な説明が可能になったという意味でもあると思う……

2. https://github.com/shinh/elvm/pull/65

Malbolge (1998) はメモリ空間が有限でチューリング完全でないので、メモリ空間が意味不明な法則で拡張されていくようになった Malbolge Unshackled (2007) というのが提案されていて、 Malbolge は直接書くの大変なので変換器を作ってなんとかするのが基本で、フロントエンド言語 HeLL というのがあるらしい (2016?)。

https://lutter.cc/malbolge/assembler.html

で、その HeLL の作者が HeLL backend を足してくれたというのがその PR 。長年の夢だった Malbolge バックエンドができたことにより(まあ遅すぎて動かないらしいが)、あと欲しいのはライフゲームとマリオメーカーバックエンドくらいという気持ちになってきた

ところでこの人 Malbolge Quine ( https://lutter.cc/malbolge/quine.html ) 書いた人でもあるぽいので、マジリスペクトですね

(01:00)

お名前:
E-mail:
コメント:
人生、宇宙、すべての答え
本日のリンク元

2019年
8月
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31

search / home / index

全てリンクフリーです。 コード片は自由に使用していただいて構いません。 その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。 なにかあれば下記メールアドレスへ。

shinichiro.hamaji _at_ gmail.com / shinichiro.h