![[PukiWiki]](http://osask.net/w/image/pukiwiki.png "[PukiWiki]")
- 現在との差分[1] を表示
- ソース[2] を表示
- GUIGUI01/memo29[3] へ行く。
1: 2009-02-03 (火) 13:33:24  [6] |
2: 2009-02-03 (火) 14:05:56 [7] |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| -.g01ではソースファイルはともかくとして、生成されるバイナリファイルが驚異的に小さいわけだけど、これは逆に言うと機能密度が高いとも言える。そうなると、僕が幼いときに思いついた（というかこんなものは誰でも考えるくだらないことだけど）ランダムプログラミングというものがほんの少しだけ「可能」へ近づく。結局.g01程度ではまだまだ到底現実的ではないんだけど。 | -.g01ではソースファイルはともかくとして、生成されるバイナリファイルが驚異的に小さいわけだけど、これは逆に言うと機能密度が高いとも言える。そうなると、僕が幼いときに思いついた（というかこんなものは誰でも考えるくだらないことだけど）ランダムプログラミングというものがほんの少しだけ「可能」へ近づく。結局.g01程度ではまだまだ到底現実的ではないんだけど。 | ||
| -ランダムプログラミングという言葉は今この場で思いついただけなので、本当はもっと違った言い方があるのかもしれない。もし知っていたらこめんと欄で教えてほしい。 | -ランダムプログラミングという言葉は今この場で思いついただけなので、本当はもっと違った言い方があるのかもしれない。もし知っていたらこめんと欄で教えてほしい。 | ||
| + | -ええとたとえばシグネチャを除いて4バイトのプログラムというものを考えよう（＝つまりシグネチャ込みなら合計6バイト）。これは、 | ||
| + | 47 01 ?? ?? ?? ?? | ||
| + | -の形式で必ず表せるはずだ。そして?? ?? ?? ??の部分を乱数で勝手に決めてみて、もしそのプログラムがきちんと動いたら、その6バイトはプログラムとして成立する。まあ実際にはうまく動くのはごくごくわずかで99.99%以上がプログラムとしてはまともに動かないと思う。 | ||
| + | -こうして乱数を大量に発生させるか、もしくは（たぶんこのほうが効率的だけど）????????を00000000～ffffffffまで総当りで全部やれば、6バイトで記述可能なすべてのプログラムを「発見」できるはずだ。これを??の数が1バイトから1KBまでやるとすれば、まあ量子コンピュータを使わない限り宇宙の終焉までにこの作業が終わることは多分ないけど、でも1026バイト以下で記述可能な全ての.g01プログラムを得られることになる。 | ||
| + | -そしてその中から希望の動作をするプログラムのうちで最短のものを探せば、人間は全くプログラミングの知識が無くても、最も最適化されたプログラムを得ることができるというわけである。どんな天才的なプログラマが挑んでも、この結果に勝つことはできない（引き分けにならできるけど）。・・・これはサイズ最適化しかできていないと思うかもしれないがそうではない。目的の動作をするプログラムは、検索するプログラムサイズに幅を持たせれば多分複数見つかるだろうから、その中でもっとも動作が高速なものを見つければ、速度最適化もできるわけだ。 | ||
| + | -Linuxやwin32のように、容易にプログラムが長くなる実行ファイル形式（というかAPIのせい？）だと、この1KB程度では動作可能なプログラムがほとんど見つからないため、2KBや3KBくらいまで探さないと.g01の1KB相当の結果すら得られない。これは検索時間が自乗、三乗倍かかるということであって、ただでさえ途方も無いのに、もっと現実性が失われる。 | ||
| + | -この目的のためには、ランダムもしくは総当りによって何らかの圧縮ファイルを生成し、それを展開してみて、展開に成功したら、それがプログラムとして成立するかをチェックするほうがいいのかもしれない。というのは、圧縮後のほうが小さいから。また圧縮にせよ非圧縮にせよ、あるビット列が続いたらそれはCPUの命令として無効命令だからそれ以降をどんなビット列にしても意味ないとか、もしくは圧縮データ列として展開不能になるなど、そういうことがありうると思うので、総当りの場合には枝狩りが可能だと思う。これで刈り取れる枝はかなりの量に上ると思うけど、それでもやっぱり検索空間はあまりに広すぎて、結局量子コンピュータが無い限り非現実的だろう。 | ||
| + | ---- | ||
| + | -http://k.osask.jp/wiki/?boyaki_a/00135 の(2)に書いた部分の最適化をこのアルゴリズムでやると究極だけど、でもやっぱり計算量が多すぎて現実的ではないだろう。 | ||
| + | ---- | ||
| + | -ちなみに数年先にやりたいと思っている.g02では更に機能密度が上がるので（といってもせいぜい数%くらいの差しかないだろうけど）、さらにランダムプログラミング向きかもしれない。 | ||
| + | ---- | ||
| + | -この記事をOsaskWikiに書くべきか、もし書くとしたらGUIGUI01/memoがいいのか、それともdesignのほうなのか、それともくだらないからosaskdotのほうに書くべきか、実は結構悩んだ（笑）。 | ||
| * こめんと欄 | * こめんと欄 | ||
| #comment | #comment | ||
- GUIGUI01/memo29 のバックアップ一覧[8]
- GUIGUI01/memo29 のバックアップ差分(No. All)
Links list
(This host) = http://osask.net
- (This host)/modules/osaskwiki/index.php?cmd=backup&pgid=271&age=2&action=nowdiff
- (This host)/modules/osaskwiki/index.php?cmd=backup&pgid=271&age=2&action=source
- (This host)/modules/osaskwiki/271.html
- (This host)/modules/osaskwiki/index.php?cmd=backup&pgid=271&action=diff&age=1
- (This host)/modules/osaskwiki/index.php?cmd=backup&pgid=271&action=diff&age=3
- (This host)/modules/osaskwiki/?cmd=backup&pgid=271&action=source&age=1
- (This host)/modules/osaskwiki/?cmd=backup&pgid=271&action=source&age=2
- (This host)/modules/osaskwiki/index.php?cmd=backup&pgid=271
- (This host)/modules/osaskwiki/index.php?cmd=backup&action=diff&pgid=271&age=1
- (This host)/modules/osaskwiki/index.php?cmd=backup&action=diff&pgid=271&age=3
- (This host)/modules/osaskwiki/index.php?cmd=backup&action=diff&pgid=271&age=4
- (This host)/modules/osaskwiki/index.php?cmd=backup&action=diff&pgid=271&age=5
- (This host)/modules/osaskwiki/index.php?cmd=backup&action=diff&pgid=271&age=6
- (This host)/modules/osaskwiki/index.php?cmd=backup&action=diff&pgid=271&age=Cur
- (This host)/userinfo.php?uid=3