![[dir]Free/ OpenSource Software](https://logo-imagecluster.img.mixi.jp/photo/comm/52/51/105251_162s.jpg){kind=logo}
|
|
|
|
コメント(74)
リストの要素を変更する場合には反射的にsetfを使ってしまうのですが、出来ればEmacsのプリミティブを使うべきではないかということで、自戒の念を込めてつぶやきました。気にしていないと言いつつ、setfを使うためだけにclをロードするの？みたいな疑問は常に頭から離れないようです。ただ、バージョンが上がっていく毎にclのマクロがどんどんビルトイン化？されていくようです。最新版ではdolistやdotimesがelispマニュアルに載るようになりました。
マルチスレッドにおける名前空間の議論で「ClojureはLispではない」というrmsの発言にはちょっと驚きました。何が言いたいかというと、何でもかんでもEmacs Lispに取り込もうとしているのではなく、王道から外れないようにしているのではないかと。でも、そういうことを言えるのが彼だけだとしたら、ちょっとヤバいのではないかというのも同時に感じました。
マルチスレッドにおける名前空間の議論で「ClojureはLispではない」というrmsの発言にはちょっと驚きました。何が言いたいかというと、何でもかんでもEmacs Lispに取り込もうとしているのではなく、王道から外れないようにしているのではないかと。でも、そういうことを言えるのが彼だけだとしたら、ちょっとヤバいのではないかというのも同時に感じました。
いい感じで、一応の御挨拶だけでもと。お邪魔させて頂きますが、ちょっと長話で、すみません。
はじめまして。
わたしは、コンピュータ歴はそこそこですが、ちゃんとしたのは、アップル�競廛薀垢痢屮戞璽轡奪�」だけで、「桃太郎のフローチャート」ならば、書いた経験があります。
いわゆる「コンピュータ・オタク」ですが、プログラミングはまずしません。
こういう文章を書く方が好きです。
「アイデア鑑賞家」です。
たとえば、「FORTHの魅力について」ならば、言いたいこともなくはないです。
ただ、「あまりにもあけっぴろげ」で、まずいソースだと、ひどいことには、なりやすいことも知っています。
あっちこっちに、データ参照が手間取って、肝腎の作業が、なかなか捗らないので、困るのもたしかです。
ただ、Cで「ポインタ」がわからなかったらFORTHの構造を知るといいです。
すぐにわかるでしょう。
FORTHのいいところは、なんでもかんでもあけっぴろげなところです。
これは、実にすごいと思います。
FORTHで、FORTHを記述できます。
たぶん、「メタ・プログラミング」と、FORTHは、深い関係があります。
ところで、わたしの時代の問題は、「構造化プログラミング云々」でした。
ツウでしか知らないことですが、この「構造化プログラミング」を図にする「PAD」というのがあり、メジャーにならなかったのが不思議です。
これを、ずーっと引き伸ばすと、多分「オブジェクト指向」や「デザイン・パターン」になるかと思います。
アラン・ケイさんのすごいところです。
アラン・ケイさんのコミュにも書いてもいいですが、この人の偉いところは、表向き、「現実の比喩をプログラミングに採用した。」ことのようです。
しかし、全く逆の発想ありです。
「プログラミングの発想で、現実を見る」これは、すごいアイデアです。
繰り返しですが、これはすごいアイデアで、現実世界の問題を、コンピュータでデバッグできるということです。
ただ、「アルゴリズム」とか「データ構造」などの、完全には判らない部分もあります。
こういう「現実をコンピュータ上で構成して、デバッグする」ことができたら、大変にいいことと言えるでしょう。
こういうポジションも、またありです。
これが、コンピュータの「底力」で、「ノイマン型」の構造ならば、全部に応用できるはずです。
ここが、「限界」でもあるでしょう。
巷の「人口知能」よりも、重要な話題だと思います。
人工知能は、要するに「アルゴリズム問題」ですが、この「現実コンピュータ説」は、衝撃度でも、また、適用範囲でも、ずっと強い「知的革命」であるはずです。
これに共感する方が、おられたら、是非お話がしたいと願って、やって来ました。
わたしは、「アマゾン」という「システム」の「バグ取り」を、本能的に試みている自分に驚愕しました。
ここまで、「コンピュータ・オタク」の知性には、「アルゴリズムとデータ構造」が入り込んでいるものです。
困った男ですが、宜しくお願いします。
わたしは、もちろんLISPもリスペクトしていますが、二進木の構造に特化しすぎているような印象もあり、あの「カッコの山」をうまくハックする皆さんは、実に偉いと思います。
とりあえず、御挨拶だけで、失礼致します。
鳴笛
はじめまして。
わたしは、コンピュータ歴はそこそこですが、ちゃんとしたのは、アップル�競廛薀垢痢屮戞璽轡奪�」だけで、「桃太郎のフローチャート」ならば、書いた経験があります。
いわゆる「コンピュータ・オタク」ですが、プログラミングはまずしません。
こういう文章を書く方が好きです。
「アイデア鑑賞家」です。
たとえば、「FORTHの魅力について」ならば、言いたいこともなくはないです。
ただ、「あまりにもあけっぴろげ」で、まずいソースだと、ひどいことには、なりやすいことも知っています。
あっちこっちに、データ参照が手間取って、肝腎の作業が、なかなか捗らないので、困るのもたしかです。
ただ、Cで「ポインタ」がわからなかったらFORTHの構造を知るといいです。
すぐにわかるでしょう。
FORTHのいいところは、なんでもかんでもあけっぴろげなところです。
これは、実にすごいと思います。
FORTHで、FORTHを記述できます。
たぶん、「メタ・プログラミング」と、FORTHは、深い関係があります。
ところで、わたしの時代の問題は、「構造化プログラミング云々」でした。
ツウでしか知らないことですが、この「構造化プログラミング」を図にする「PAD」というのがあり、メジャーにならなかったのが不思議です。
これを、ずーっと引き伸ばすと、多分「オブジェクト指向」や「デザイン・パターン」になるかと思います。
アラン・ケイさんのすごいところです。
アラン・ケイさんのコミュにも書いてもいいですが、この人の偉いところは、表向き、「現実の比喩をプログラミングに採用した。」ことのようです。
しかし、全く逆の発想ありです。
「プログラミングの発想で、現実を見る」これは、すごいアイデアです。
繰り返しですが、これはすごいアイデアで、現実世界の問題を、コンピュータでデバッグできるということです。
ただ、「アルゴリズム」とか「データ構造」などの、完全には判らない部分もあります。
こういう「現実をコンピュータ上で構成して、デバッグする」ことができたら、大変にいいことと言えるでしょう。
こういうポジションも、またありです。
これが、コンピュータの「底力」で、「ノイマン型」の構造ならば、全部に応用できるはずです。
ここが、「限界」でもあるでしょう。
巷の「人口知能」よりも、重要な話題だと思います。
人工知能は、要するに「アルゴリズム問題」ですが、この「現実コンピュータ説」は、衝撃度でも、また、適用範囲でも、ずっと強い「知的革命」であるはずです。
これに共感する方が、おられたら、是非お話がしたいと願って、やって来ました。
わたしは、「アマゾン」という「システム」の「バグ取り」を、本能的に試みている自分に驚愕しました。
ここまで、「コンピュータ・オタク」の知性には、「アルゴリズムとデータ構造」が入り込んでいるものです。
困った男ですが、宜しくお願いします。
わたしは、もちろんLISPもリスペクトしていますが、二進木の構造に特化しすぎているような印象もあり、あの「カッコの山」をうまくハックする皆さんは、実に偉いと思います。
とりあえず、御挨拶だけで、失礼致します。
鳴笛
>>[53] はじめまして。よろしくお願いいたします。
Forthという言語は、20代の後半にソフトウェア開発社員への職転研修でインストラクターをしてくれた人が好きな言語だという話を聞いた程度で、名前だけは知っているという感じです。逆ポーランド記法は、プログラミング言語C（K&R）のelisp版を書いた際に出てきたので少しプログラムを書きましたが、普段はあまり馴染みがありません。emacsのGNU計算機がまさにそれだと思います。
構造化分析は一応ちゃんと修得したと思います。トムデマルコやエドワードヨードンの本も読みました。実業務ではデリックハートレーのリアルタイム構造化分析もやりました。書いたチャートはデータフローや制御スペック（イベント状態マトリクスとか）。今でも込み入った要求仕様を考えるときにそういった図を書くことがあります。
オブジェクト指向に関しては、職転後の最初の業務でC言語によるオブジェクト指向という、ほとんど学会ネタのようなプロジェクトで少し触れたくらいで、その後はプログラムを書く仕事から離れるまで関わっていません。
プログラムをイメージするために実世界に例えることは多かったと思います。マルチタスクシステムではタスクを人に例えることが多かったような。現実世界をコンピュータ上に構築するというのは、たとえば核実験をコンピュータ上でシミュレートする、といったことですかね。いまだに地下核実験なんてやっている某国のような国はもうほとんどありません。ただ、現実をコンピュータ上で表現できるといっても、それが人手による者であれば思い込みが混入するという欠点もあるでしょう。南極が温暖化すると氷が増えるという現実を知らないで、氷が解けると思い込んだままシミュレートしても正しい結果は得られません。他にも恣意的に誤った現実が多く浸透してしまっています。これらの誤謬は、現実の認識が時間軸上の目に見える物事の移り変わりではなく、エネルギーの動きなのだという根本原理を忘れてしまっていることにより起きています。
ノイマン型が逐次実行の方式であるならば、現実を構築するのには非効率かもしれませんね。今流行のVRとは次元の違う話です。
人工知能に関しては、最近になって冗談半分のツイートをいくつかしました。個人的には人間の操作に応じて動くシステムでも瑕疵を潰しきれないのに人工知能の品質をどう担保するのか、ハッキングを防御する仕組みはあるのか、そもそも人工知能の値段はいくらくらいなのか、人工知能が人間に代わって労働した場合の報酬は人間と同等になるのか...など、疑問や不安はいくらでもあります。しかし、ツイッター上で見かける発言の多くは、それとは別のいささかお花畑的なものが多いように感じます。
最後に、二分木は再帰で考えた方がシンプルだと思います。括弧の中にどんどん潜っていくイメージです。私はそういうロジックが好きではないので、二分木構造のデータはイメージしません。別に普通のリストで十分です（笑）
ではでは。
Forthという言語は、20代の後半にソフトウェア開発社員への職転研修でインストラクターをしてくれた人が好きな言語だという話を聞いた程度で、名前だけは知っているという感じです。逆ポーランド記法は、プログラミング言語C（K&R）のelisp版を書いた際に出てきたので少しプログラムを書きましたが、普段はあまり馴染みがありません。emacsのGNU計算機がまさにそれだと思います。
構造化分析は一応ちゃんと修得したと思います。トムデマルコやエドワードヨードンの本も読みました。実業務ではデリックハートレーのリアルタイム構造化分析もやりました。書いたチャートはデータフローや制御スペック（イベント状態マトリクスとか）。今でも込み入った要求仕様を考えるときにそういった図を書くことがあります。
オブジェクト指向に関しては、職転後の最初の業務でC言語によるオブジェクト指向という、ほとんど学会ネタのようなプロジェクトで少し触れたくらいで、その後はプログラムを書く仕事から離れるまで関わっていません。
プログラムをイメージするために実世界に例えることは多かったと思います。マルチタスクシステムではタスクを人に例えることが多かったような。現実世界をコンピュータ上に構築するというのは、たとえば核実験をコンピュータ上でシミュレートする、といったことですかね。いまだに地下核実験なんてやっている某国のような国はもうほとんどありません。ただ、現実をコンピュータ上で表現できるといっても、それが人手による者であれば思い込みが混入するという欠点もあるでしょう。南極が温暖化すると氷が増えるという現実を知らないで、氷が解けると思い込んだままシミュレートしても正しい結果は得られません。他にも恣意的に誤った現実が多く浸透してしまっています。これらの誤謬は、現実の認識が時間軸上の目に見える物事の移り変わりではなく、エネルギーの動きなのだという根本原理を忘れてしまっていることにより起きています。
ノイマン型が逐次実行の方式であるならば、現実を構築するのには非効率かもしれませんね。今流行のVRとは次元の違う話です。
人工知能に関しては、最近になって冗談半分のツイートをいくつかしました。個人的には人間の操作に応じて動くシステムでも瑕疵を潰しきれないのに人工知能の品質をどう担保するのか、ハッキングを防御する仕組みはあるのか、そもそも人工知能の値段はいくらくらいなのか、人工知能が人間に代わって労働した場合の報酬は人間と同等になるのか...など、疑問や不安はいくらでもあります。しかし、ツイッター上で見かける発言の多くは、それとは別のいささかお花畑的なものが多いように感じます。
最後に、二分木は再帰で考えた方がシンプルだと思います。括弧の中にどんどん潜っていくイメージです。私はそういうロジックが好きではないので、二分木構造のデータはイメージしません。別に普通のリストで十分です（笑）
ではでは。
>>[54]
まっとうなコメントをいただけたのは、ノブりんさんが、始めてです。様々なご指摘には、なるほど思うところもあり、またわたしの考えの至らないところもあるようです。
たしかに、「現実のコンピュータへの投影」では、ある程度「恣意性」の問題があること。
これは、実によく判る、重要なご指摘です。
これは、よくよく考えたいテーマですが、あまりに複雑な実装をするつもりではありません。
必要に応じた、実用本位での実装ならば、この「恣意性」は、「ある程度」クリアしうるのではないかと楽観的に考えています。
コンピュータの「ノイマン型」という宿命、これはどうしようもありません。
諦めるしかないです。
コンピュータで、なにをするにしても、この「フォン・ノイマンのボトルネック」には、泣かされます。
たとえば、この問題は「人口知能」でもという、ご指摘の通りです。
ですから、人工知能や、「人工現実」のハードルは、かなり高いというご指摘も、また賛成です。
また、わたしには、まだあんまり理解できない、難しいうんちくにも感謝します。
再帰というのは、一種のループ構造の、スマートな表記法だろうと、漠然と考えます。
このあたりは怪しく、ちゃんと勉強はするつもりです。
やぱり、天下のLISPだけのことのある、さまざまなお話には、実に実に感謝しますし、やっぱりわたしも若干、LISPを勉強するのもいいかもとも思いました。
また、「clisp」という、common lisp 系のプログラムが、パソコンにいれてあり、今日からでも勉強は、可能です。
ただ、「現実をコンピュータに反映」させるケースでは、おそらく、「オブジェクト指向」の方がうまく表現できるのではないかと、思います。
この辺は、おおよその勘です。
LISPの方が、役に立つ場合、わたしはLISPを使うつもりですし、「何が何でもオブジェクト指向」という義理も人情も、特にありません。
たとえば、ゲーム「シムシティ」は、そういう「実装」の一例です。
かなりアバウトな「実装例」ですが、ある程度の「意味」はあります。
またたとえば、音楽であれば、楽譜を使い（音楽の実装も「現実の実装」の一例です。）
いわゆる音楽畑での「DAW」も、そういう側面があります。
数学的な意味のある現象では、MATHEMATICAでもいいかもしれません。
この辺になると、「データ構造にふるまいを与える」つまり、プログラミングの問題になってきます。
わたしの「一番弱い」部分ではあります。
多分、「アルゴリズム」が、うまく考えられないのだと思い、人に頼むか、自分でクリアする筋合いの問題ではあります。
それはともかく、忙しいお時間をわざわざわたしのために割いていただき、本当にありがとうございました。
なにかご縁があったら、その際には、また宜しくお願い致します。
鳴笛
まっとうなコメントをいただけたのは、ノブりんさんが、始めてです。様々なご指摘には、なるほど思うところもあり、またわたしの考えの至らないところもあるようです。
たしかに、「現実のコンピュータへの投影」では、ある程度「恣意性」の問題があること。
これは、実によく判る、重要なご指摘です。
これは、よくよく考えたいテーマですが、あまりに複雑な実装をするつもりではありません。
必要に応じた、実用本位での実装ならば、この「恣意性」は、「ある程度」クリアしうるのではないかと楽観的に考えています。
コンピュータの「ノイマン型」という宿命、これはどうしようもありません。
諦めるしかないです。
コンピュータで、なにをするにしても、この「フォン・ノイマンのボトルネック」には、泣かされます。
たとえば、この問題は「人口知能」でもという、ご指摘の通りです。
ですから、人工知能や、「人工現実」のハードルは、かなり高いというご指摘も、また賛成です。
また、わたしには、まだあんまり理解できない、難しいうんちくにも感謝します。
再帰というのは、一種のループ構造の、スマートな表記法だろうと、漠然と考えます。
このあたりは怪しく、ちゃんと勉強はするつもりです。
やぱり、天下のLISPだけのことのある、さまざまなお話には、実に実に感謝しますし、やっぱりわたしも若干、LISPを勉強するのもいいかもとも思いました。
また、「clisp」という、common lisp 系のプログラムが、パソコンにいれてあり、今日からでも勉強は、可能です。
ただ、「現実をコンピュータに反映」させるケースでは、おそらく、「オブジェクト指向」の方がうまく表現できるのではないかと、思います。
この辺は、おおよその勘です。
LISPの方が、役に立つ場合、わたしはLISPを使うつもりですし、「何が何でもオブジェクト指向」という義理も人情も、特にありません。
たとえば、ゲーム「シムシティ」は、そういう「実装」の一例です。
かなりアバウトな「実装例」ですが、ある程度の「意味」はあります。
またたとえば、音楽であれば、楽譜を使い（音楽の実装も「現実の実装」の一例です。）
いわゆる音楽畑での「DAW」も、そういう側面があります。
数学的な意味のある現象では、MATHEMATICAでもいいかもしれません。
この辺になると、「データ構造にふるまいを与える」つまり、プログラミングの問題になってきます。
わたしの「一番弱い」部分ではあります。
多分、「アルゴリズム」が、うまく考えられないのだと思い、人に頼むか、自分でクリアする筋合いの問題ではあります。
それはともかく、忙しいお時間をわざわざわたしのために割いていただき、本当にありがとうございました。
なにかご縁があったら、その際には、また宜しくお願い致します。
鳴笛
>>[54]
重複はありますが、再論します。
まっとうなコメントをいただけたのは、さんが、始めてです。様々なご指摘には、なるほど思うところもあり、またわたしの考えの至らないところもあるようです。
たしかに、「現実のコンピュータへの投影」では、ある程度「恣意性」の問題があること。
これは、実によく判る、重要なご指摘です。
これは、よくよく考えたいテーマですが、あまりに複雑な実装をするつもりではありません。
必要に応じた、実用本位での実装ならば、この「恣意性」は、「ある程度」クリアしうるのではないかと楽観的に考えています。
たとえば、ゲーム「シムシティ」は、そういう「実装」の一例です。
また、いわゆる「ロール・プレイング・ゲーム」なども、完全に適切とは言えないながら、「現実の実装例」ではあります。
たとえば、サラリーマンの一日や、高校生の一日を、適切な「ロール・プレイング・ゲーム」にできたら、買う人はまず少ないとは思いますが、何かの役には立つでしょう。
これらは、かなりアバウトな「実装例」ですが、ある程度の「意味」はあります。
またたとえば、音楽であれば、楽譜を使い（音楽の実装も「現実の実装」の一例です。）
いわゆる音楽畑での「DAW」も、そういう側面があります。
数学的な意味のある現象では、MATHEMATICAでもいいかもしれません。
この辺になると、「データ構造にふるまいを与える」つまり、プログラミングの問題になってきます。
わたしの「一番弱い」部分ではあります。
多分、「アルゴリズム」が、うまく考えられないのだと思い、人に頼むか、自分でクリアする筋合いの問題ではあります。
ところで、コンピュータの「ノイマン型」という宿命、これはどうしようもありません。
諦めるしかないです。
コンピュータで、なにをするにしても、この「フォン・ノイマンのボトルネック」には、泣かされます。
たとえば、この問題は「人工知能」でもという、ご指摘の通りです。
ですから、人工知能や、「人工現実」のハードルは、かなり高いというご指摘も、また賛成です。
また、わたしには、まだあんまり理解できない、難しいうんちくにも感謝します。
再帰というのは、一種のループ構造の、スマートな表記法だろうと、漠然と考えます。
このあたりは怪しく、ちゃんと勉強はするつもりです。
やぱり、天下のLISPだけのことのある、さまざまなお話には、実に実に感謝しますし、やっぱりわたしも若干、LISPを勉強するのもいいかもとも思いました。
また、「clisp」という、common lisp 系のプログラムが、パソコンにいれてあり、今日からでも勉強は、可能です。
ただ、「現実をコンピュータに反映」させるケースでは、おそらく、「オブジェクト指向」の方がうまく表現できるのではないかと、思います。
この辺は、おおよその勘です。
LISPの方が、役に立つ場合、わたしはLISPを使うつもりですし、「何が何でもオブジェクト指向」という義理も、特にありません。
忙しいお時間をわざわざわたしのために割いていただき、本当にありがとうございました。
なにかご縁があったら、その際には、また宜しくお願い致します。
＊＊＊
「比喩は比喩にすぎず、同一性ではない。類似と同一を一括りにはできない。これが、わたしなりの自分への「突っ込み」ではある。 」
これが、適当なお答えになるかと思います。
いかがでしょうか？
これは、「科学」においては「鉄則」だとは、思います。
つまり、「科学の「仮説性」という側面」です。
このあたりは、どう考えられますか？
鳴笛
重複はありますが、再論します。
まっとうなコメントをいただけたのは、さんが、始めてです。様々なご指摘には、なるほど思うところもあり、またわたしの考えの至らないところもあるようです。
たしかに、「現実のコンピュータへの投影」では、ある程度「恣意性」の問題があること。
これは、実によく判る、重要なご指摘です。
これは、よくよく考えたいテーマですが、あまりに複雑な実装をするつもりではありません。
必要に応じた、実用本位での実装ならば、この「恣意性」は、「ある程度」クリアしうるのではないかと楽観的に考えています。
たとえば、ゲーム「シムシティ」は、そういう「実装」の一例です。
また、いわゆる「ロール・プレイング・ゲーム」なども、完全に適切とは言えないながら、「現実の実装例」ではあります。
たとえば、サラリーマンの一日や、高校生の一日を、適切な「ロール・プレイング・ゲーム」にできたら、買う人はまず少ないとは思いますが、何かの役には立つでしょう。
これらは、かなりアバウトな「実装例」ですが、ある程度の「意味」はあります。
またたとえば、音楽であれば、楽譜を使い（音楽の実装も「現実の実装」の一例です。）
いわゆる音楽畑での「DAW」も、そういう側面があります。
数学的な意味のある現象では、MATHEMATICAでもいいかもしれません。
この辺になると、「データ構造にふるまいを与える」つまり、プログラミングの問題になってきます。
わたしの「一番弱い」部分ではあります。
多分、「アルゴリズム」が、うまく考えられないのだと思い、人に頼むか、自分でクリアする筋合いの問題ではあります。
ところで、コンピュータの「ノイマン型」という宿命、これはどうしようもありません。
諦めるしかないです。
コンピュータで、なにをするにしても、この「フォン・ノイマンのボトルネック」には、泣かされます。
たとえば、この問題は「人工知能」でもという、ご指摘の通りです。
ですから、人工知能や、「人工現実」のハードルは、かなり高いというご指摘も、また賛成です。
また、わたしには、まだあんまり理解できない、難しいうんちくにも感謝します。
再帰というのは、一種のループ構造の、スマートな表記法だろうと、漠然と考えます。
このあたりは怪しく、ちゃんと勉強はするつもりです。
やぱり、天下のLISPだけのことのある、さまざまなお話には、実に実に感謝しますし、やっぱりわたしも若干、LISPを勉強するのもいいかもとも思いました。
また、「clisp」という、common lisp 系のプログラムが、パソコンにいれてあり、今日からでも勉強は、可能です。
ただ、「現実をコンピュータに反映」させるケースでは、おそらく、「オブジェクト指向」の方がうまく表現できるのではないかと、思います。
この辺は、おおよその勘です。
LISPの方が、役に立つ場合、わたしはLISPを使うつもりですし、「何が何でもオブジェクト指向」という義理も、特にありません。
忙しいお時間をわざわざわたしのために割いていただき、本当にありがとうございました。
なにかご縁があったら、その際には、また宜しくお願い致します。
＊＊＊
「比喩は比喩にすぎず、同一性ではない。類似と同一を一括りにはできない。これが、わたしなりの自分への「突っ込み」ではある。 」
これが、適当なお答えになるかと思います。
いかがでしょうか？
これは、「科学」においては「鉄則」だとは、思います。
つまり、「科学の「仮説性」という側面」です。
このあたりは、どう考えられますか？
鳴笛
>>[55]
いろいろと分からないことがあるのでコメントします。
＞たしかに、「現実のコンピュータへの投影」では、ある程度「恣意性」の問題があること。これは、実によく判る、重要なご指摘です。これは、よくよく考えたいテーマですが、あまりに複雑な実装をするつもりではありません。必要に応じた、実用本位での実装ならば、この「恣意性」は、「ある程度」クリアしうるのではないかと楽観的に考えています。
「あまりに複雑な実装をするつもりではありません」と書かれていますが何を実装するのですか？「現実のコンピュータへの投影」ですか？それがあとで出てくるシムシティにつながるのかな。仮にそうだとすれば、恣意性というより自分個人のイメージ通りということになるんでしょうね。その過程で自分の思い込みと現実との間に生じるギャップの多さに悩むんでしょうけど。リアリティを求めれば求めるほど、目に見えるものだけが現実ではないということを思い知らされるのではないでしょうか。
＞コンピュータの「ノイマン型」という宿命、これはどうしようもありません。諦めるしかないです。コンピュータで、なにをするにしても、この「フォン・ノイマンのボトルネック」には、泣かされます。
ノイマン型のボトルネックって何でしょう？別にあきらめる必要はなくて、必要なら非ノイマンのコンピュータを作れば良いのではないですか？
＞たとえば、この問題は「人口知能」でもという、ご指摘の通りです。ですから、人工知能や、「人工現実」のハードルは、かなり高いというご指摘も、また賛成です。
人工知能はまだ定義すら曖昧なものです。だからみんな好き勝手な想像をしているのです。たとえばSiriのことを人工知能と呼んで、ふ〜んと思う人が居れば、通話記録から作り出した単なる人工無能と考える人も居るでしょう。また、ターミネーターシリーズを全部見た人と、そうでない人の間には大きな認識の差があると思います。
＞再帰というのは、一種のループ構造の、スマートな表記法だろうと、漠然と考えます。このあたりは怪しく、ちゃんと勉強はするつもりです。
このトピの42番と51番の記事を見比べてみてください。同じ処理の再帰とループの例があります。この例では再帰の方が飛びぬけてスマートであるとは思いません。
＞やぱり、天下のLISPだけのことのある、さまざまなお話には、実に実に感謝しますし、やっぱりわたしも若干、LISPを勉強するのもいいかもとも思いました。また、「clisp」という、common lisp 系のプログラムが、パソコンにいれてあり、今日からでも勉強は、可能です。ただ、「現実をコンピュータに反映」させるケースでは、おそらく、「オブジェクト指向」の方がうまく表現できるのではないかと、思います。この辺は、おおよその勘です。LISPの方が、役に立つ場合、わたしはLISPを使うつもりですし、「何が何でもオブジェクト指向」という義理も人情も、特にありません。
clispというのはANSI Common Lispのプログラム名ですね。CLOSというオブジェクト指向の機能もあるようなので利用してみてはどうですか？
＞たとえば、ゲーム「シムシティ」は、そういう「実装」の一例です。かなりアバウトな「実装例」ですが、ある程度の「意味」はあります。
破綻するとゴジラが出てくるゲームでしたっけ？やったことありませんが。
＞またたとえば、音楽であれば、楽譜を使い（音楽の実装も「現実の実装」の一例です。）いわゆる音楽畑での「DAW」も、そういう側面があります。数学的な意味のある現象では、MATHEMATICAでもいいかもしれません。この辺になると、「データ構造にふるまいを与える」つまり、プログラミングの問題になってきます。わたしの「一番弱い」部分ではあります。多分、「アルゴリズム」が、うまく考えられないのだと思い、人に頼むか、自分でクリアする筋合いの問題ではあります。
プログラミングに弱いと書かれているように見えますが、何をプログラムするのかが明確であれば簡単です。たいていの人はプログラミング自体がむずかしいと考えているようですが、そうではありません。プログラムをどう書けば良いかを考える（設計する）方がむずかしいでしょうね。
＞「比喩は比喩にすぎず、同一性ではない。類似と同一を一括りにはできない。これが、わたしなりの自分への「突っ込み」ではある。 」これが、適当なお答えになるかと思います。いかがでしょうか？これは、「科学」においては「鉄則」だとは、思います。つまり、「科学の「仮説性」という側面」です。このあたりは、どう考えられますか？
何のことかさっぱり分かりません。何に対するお答えですか？
いろいろと分からないことがあるのでコメントします。
＞たしかに、「現実のコンピュータへの投影」では、ある程度「恣意性」の問題があること。これは、実によく判る、重要なご指摘です。これは、よくよく考えたいテーマですが、あまりに複雑な実装をするつもりではありません。必要に応じた、実用本位での実装ならば、この「恣意性」は、「ある程度」クリアしうるのではないかと楽観的に考えています。
「あまりに複雑な実装をするつもりではありません」と書かれていますが何を実装するのですか？「現実のコンピュータへの投影」ですか？それがあとで出てくるシムシティにつながるのかな。仮にそうだとすれば、恣意性というより自分個人のイメージ通りということになるんでしょうね。その過程で自分の思い込みと現実との間に生じるギャップの多さに悩むんでしょうけど。リアリティを求めれば求めるほど、目に見えるものだけが現実ではないということを思い知らされるのではないでしょうか。
＞コンピュータの「ノイマン型」という宿命、これはどうしようもありません。諦めるしかないです。コンピュータで、なにをするにしても、この「フォン・ノイマンのボトルネック」には、泣かされます。
ノイマン型のボトルネックって何でしょう？別にあきらめる必要はなくて、必要なら非ノイマンのコンピュータを作れば良いのではないですか？
＞たとえば、この問題は「人口知能」でもという、ご指摘の通りです。ですから、人工知能や、「人工現実」のハードルは、かなり高いというご指摘も、また賛成です。
人工知能はまだ定義すら曖昧なものです。だからみんな好き勝手な想像をしているのです。たとえばSiriのことを人工知能と呼んで、ふ〜んと思う人が居れば、通話記録から作り出した単なる人工無能と考える人も居るでしょう。また、ターミネーターシリーズを全部見た人と、そうでない人の間には大きな認識の差があると思います。
＞再帰というのは、一種のループ構造の、スマートな表記法だろうと、漠然と考えます。このあたりは怪しく、ちゃんと勉強はするつもりです。
このトピの42番と51番の記事を見比べてみてください。同じ処理の再帰とループの例があります。この例では再帰の方が飛びぬけてスマートであるとは思いません。
＞やぱり、天下のLISPだけのことのある、さまざまなお話には、実に実に感謝しますし、やっぱりわたしも若干、LISPを勉強するのもいいかもとも思いました。また、「clisp」という、common lisp 系のプログラムが、パソコンにいれてあり、今日からでも勉強は、可能です。ただ、「現実をコンピュータに反映」させるケースでは、おそらく、「オブジェクト指向」の方がうまく表現できるのではないかと、思います。この辺は、おおよその勘です。LISPの方が、役に立つ場合、わたしはLISPを使うつもりですし、「何が何でもオブジェクト指向」という義理も人情も、特にありません。
clispというのはANSI Common Lispのプログラム名ですね。CLOSというオブジェクト指向の機能もあるようなので利用してみてはどうですか？
＞たとえば、ゲーム「シムシティ」は、そういう「実装」の一例です。かなりアバウトな「実装例」ですが、ある程度の「意味」はあります。
破綻するとゴジラが出てくるゲームでしたっけ？やったことありませんが。
＞またたとえば、音楽であれば、楽譜を使い（音楽の実装も「現実の実装」の一例です。）いわゆる音楽畑での「DAW」も、そういう側面があります。数学的な意味のある現象では、MATHEMATICAでもいいかもしれません。この辺になると、「データ構造にふるまいを与える」つまり、プログラミングの問題になってきます。わたしの「一番弱い」部分ではあります。多分、「アルゴリズム」が、うまく考えられないのだと思い、人に頼むか、自分でクリアする筋合いの問題ではあります。
プログラミングに弱いと書かれているように見えますが、何をプログラムするのかが明確であれば簡単です。たいていの人はプログラミング自体がむずかしいと考えているようですが、そうではありません。プログラムをどう書けば良いかを考える（設計する）方がむずかしいでしょうね。
＞「比喩は比喩にすぎず、同一性ではない。類似と同一を一括りにはできない。これが、わたしなりの自分への「突っ込み」ではある。 」これが、適当なお答えになるかと思います。いかがでしょうか？これは、「科学」においては「鉄則」だとは、思います。つまり、「科学の「仮説性」という側面」です。このあたりは、どう考えられますか？
何のことかさっぱり分かりません。何に対するお答えですか？
>>[59]
＞おおよそのところ、剛体物理の知識からは、ほぼ適切に「玉突き」のシミュレーションは、不可能ではないはずだと思いますし、実際そういう「ゲーム」は、商用化されています。これと、わたしのアイデアは、かなりかぶります。では、わたしのしていることは、完璧に「シュミレーション・ゲーム」収まるかどうかは、まだ慎重に吟味する必要があると考えています。もう少し、応用範囲を広げられる可能性はあると感じますが、正直まだよく判らないところです。
シュミレーション・ゲームを作りたいのですか。このコミュの趣旨とかなりずれているようですが、その話をこの場でする意義から語っていただいた方が良いのかもしれませんね。
＞おおよそのところ、剛体物理の知識からは、ほぼ適切に「玉突き」のシミュレーションは、不可能ではないはずだと思いますし、実際そういう「ゲーム」は、商用化されています。これと、わたしのアイデアは、かなりかぶります。では、わたしのしていることは、完璧に「シュミレーション・ゲーム」収まるかどうかは、まだ慎重に吟味する必要があると考えています。もう少し、応用範囲を広げられる可能性はあると感じますが、正直まだよく判らないところです。
シュミレーション・ゲームを作りたいのですか。このコミュの趣旨とかなりずれているようですが、その話をこの場でする意義から語っていただいた方が良いのかもしれませんね。
2016年12月9日に開発中のEmacs（バージョン26）のスレッド機能に関するテストの呼びかけがemacs-develメーリングリストにありました。その後すぐにmasterにマージされ、頻繁にgit pullしてbuildしている自分のところにもそのソースが転がり込んできました。私は別にEmacsの開発者ではないので、フーンと思い、あれこれお試しコードを書き始めました。
バージョン25までのEmacsにはスレッド機能がありません。人によってはそれがEmacs Lispの欠点であると、ホームページやブログに書いている人もいます。ただ私には、25回もメジャーバージョンアップしても実装されなかったスレッド機能がなぜ今実装されるのか、という疑問がありましたし、スレッド機能がないことで不便を感じることもありませんでした。
添付はまだスレッドがうまく動かなかった頃に書いたお試しコードです。こんな単純なものでも最初はマトモに動きませんでした。
バージョン25までのEmacsにはスレッド機能がありません。人によってはそれがEmacs Lispの欠点であると、ホームページやブログに書いている人もいます。ただ私には、25回もメジャーバージョンアップしても実装されなかったスレッド機能がなぜ今実装されるのか、という疑問がありましたし、スレッド機能がないことで不便を感じることもありませんでした。
添付はまだスレッドがうまく動かなかった頃に書いたお試しコードです。こんな単純なものでも最初はマトモに動きませんでした。
Lispの初歩の例題によく用いられるのは階乗（fact）やフィボナッチ（fibonacci）ですが、ネット上で語られているフィボナッチには2通りの仕様があるようです（笑）
2つの違いはF(0)を0とするか1とするかなんですが、フィボナッチの性質上F(3)以降の値に影響するので、どっちが正解なのかはっきりして欲しいものです。それはともかく、添付はF(0)=0として、F(40)を求めようとすると1分以上もかかるのはどうなんだろうという問題提起です。
これも私が嫌いな再帰の問題です。たしかに再帰を使えば仕様通りの綺麗な式になりますが、処理が遅過ぎるのです。で、再帰を使わない我流で書いたのと比べてみました。処理スピードは笑っちゃうくらいの差がつきます。
2つの違いはF(0)を0とするか1とするかなんですが、フィボナッチの性質上F(3)以降の値に影響するので、どっちが正解なのかはっきりして欲しいものです。それはともかく、添付はF(0)=0として、F(40)を求めようとすると1分以上もかかるのはどうなんだろうという問題提起です。
これも私が嫌いな再帰の問題です。たしかに再帰を使えば仕様通りの綺麗な式になりますが、処理が遅過ぎるのです。で、再帰を使わない我流で書いたのと比べてみました。処理スピードは笑っちゃうくらいの差がつきます。
- mixiユーザー
- ログインしてコメントしよう！
|
|
|
|
Lispで書くテキスト処理 更新情報
-
最新のイベント
-
まだ何もありません
-
Lispで書くテキスト処理のメンバーはこんなコミュニティにも参加しています
人気コミュニティランキング
- 1位
- 北海道日本ハムファイターズ
- 28129人
- 2位
- 大人のmixi【おとミク】
- 6386人
- 3位
- お洒落な女の子が好き
- 89980人