ESPer2006の懇親会の3次会で語った内容
GRINEditが目指しているものは、 グラフの可視化ソフトだ、 と説明するのが世間的には理解しやすいのだろう。 インタラクティブで、フォーマットが腐っていなくて、 拡張性の高いものを作ろうとしている、と説明するのが受け入れられやすい説明だろう。 しかし、それは第一コーナーであって、ゴールじゃない。 世の中の自然言語はきっと全て一次元的だが、 それはその自然言語が発生する過程で一般的だった声＆耳という通信デバイスが 一次元的な記号列の通信に適していたからに過ぎない。 まずは音声に記号列を乗せて通信する方法が発明され、 それからそれを永続化する手法として文字が発明された。 紙の発明によって記号列の保管コストが下がった。 活版印刷が発明され、記号列の生成コストが下がった。 コピー機が発明され、記号列の複製コストが下がった。 電信の発明により、記号列を配信するコストが下がった。 そしてご存じの通り、コンピューターが現れ、 インターネットが現れ、すさまじいコストの低下をもたらした。 そしてその時代に、人間が自分の脳内で作り出された情報を他者に通信する手段は 旧態依然の一次元の記号列を使っている。 これはIDEが使える時代なのにハンドアセンブルでプログラムを書いているようなものなのではないか。 ハードディスクが使える時代なのにパンチカードを使うようなものではないか？ 僕はそこをなんとかしたいんだ！
というようなことを話したような気がする。
質疑応答。「Q:君がやろうとしていることは人間を進化させることか？」 A:携帯電話の普及により、多くの人が遠隔地の人間とコミュニケーションする能力を獲得した。 これを進化と呼ぶのなら、僕がやろうとしていることももちろん進化だろう。
他にもチューリングテストやバベルの塔、 記号と確率とどちらが根源的か、なんて感じで色々盛り上がったのだけど、 どういう流れでどういう話だったか説明できるほどには覚えていない。
でもまあ、僕は「記号こそ本質で確率はまやかし」という意見には同意できないと思った。 人間が生得的に持っている素朴物理学が、実際の物理学とは一致しないのと同様に、 人間が生得的に持っている観測デバイスにも性能の限界があり、 外界を正確には観測できていない。 人間は、実際には分布の標準偏差が小さいだけなのに 勝手にデルタ関数だと思いこんだり (ディラックのデルタ関数 - Wikipedia)、 メンバシップ関数の値がほとんどの場合において1か0であるというだけの理由で それをクリスプな集合だと思いこんだりする。(ファジィ - Wikipedia)
あるコンピュータのCPUがポンコツで、実数値をたかだか十数桁の精度でしか扱えない、「考える際には丸めないといけない」ものだったからといって、実数という概念より浮動小数点数という概念の方が本質的かというとそうではない。 実数の方が、浮動小数点数よりも、よりシンプルでパワフルな概念だ。 ハードウェアがポンコツなせいで実装が浮動小数点数でなければいけないとしても、理想的なモデルは実数であるべきだ。 実数の概念なしで物理学を構築したら、バッドノウハウだらけのゴミの山が築かれ、いずれ行き詰まる。クォータニオンなしで3Dのプログラムを書いたら、いずれ行き詰まる。 狭き門より入れ。
同じことで、人間が一旦記号列に落とさないと他人とコミュニケーションしながら考えたり、 考えたことをシリアライズしておいて後で再開したりすることができない、というのは 人間というハードウェアがポンコツなだけだ。 それのポンコツハードウェアにとらわれていてはいけない。 実際、芸術家や囲碁棋士は記号列を使わない思考方法が可能であることをよく示していると思うし、 自分自身も記号列ではない思考を行っていると思う。
