すべての夢のたび。

1日1記事ぐらいな感じでいきたい雑記ブログ

海鮮握りおかわり

 ドコモショップやauショップにおいて、現在、ソフトバンクからMNPを利用してドコモやauに移行できないと案内されている。ソフトバンク側のシステムに障害が発生している模様。


先日、自分がYahoo!BBに申し込んだとき何が起きたかを書きましたが、またやってる。無線だろうがなんだろうが握るぜ!ってことですか。(飲酒運転とかもそうだけど、こういうのって)1回目は目こぼし、2回目は銃殺でいいんじゃないかしらねー、と思う。

昨日もヨドバシの携帯売り場をちらっと見てきたけれど、たしかに、明らかにソフトバンクが盛況。0円0円の文字が目立つ。しかしブループラン(ドコモ並料金)の案内も提示してある。0円に惹かれて来た人は「同じ会社が“0円プラン”と“0円じゃないプラン”をどうして一緒に提示しているのか」を不思議に感じないんでしょうか。0円のほうがいいに決まってるぜーとか思ってるのかな。


追記:
KDDI au: お知らせ
重要なお知らせ : ソフトバンクモバイルとのMNP新規受付停止について

ついにauとドコモが対ソフトバンクのMNPを停止。なぜか文面が一緒です。

追記2:

1時間くらい持たせろと。

それぞれが勝手に話を進めるの図

「ああっ、こんな日記を巡回先に入れていただいている(らしい)有名ニュースサイトの管理人様がコメント欄に長文コメントを!」とか書こうと思ったんですがこれはひどいので止めました(いやもう書いてる)。

さて、コメ欄からおもっきしまるごと引用してしまいますが。議論っていうか雑談と思っていただいたほうがいいと思います(議論に値するような題材ではないし、反応したい部分にしか反応しないし、自分はおそらく相当のことがおきないと考え方は変わらないと思うので)。

輪王ひろみ 『神の定義によります。全知全能の神は、論理的に存在しません。有限の有能な神なら、存在しえますが、世界がエレガントから離れます。無能な神は、神とは言えないでしょう。』

michiaki 『>全知全能の神は、論理的に存在しません。
しかし論理が世界を覆い尽くしてるわけでもないですからね。覆えないスキマがある。って話にしちゃうとそもそも神がいるいないを問う意味もなくなっちゃうか。あの設問で聞かれてたのは、キリスト教的な神のことだとは思います。

全知全能はない、というのは、いわゆる「矛盾」の話ですか? でも「矛盾したもの」は論理的には有り得なくとも、人間の脳はそれを取り扱えます。コンピュータみたいに論理を直接実行するものではなくて、人の脳は言わば論理のエミュレータですから。だから「この文はウソだ」みたいなものを突っ込んでもハングアップもしないし無限ループにも陥らないわけで。』

輪王ひろみ 『> 覆えないスキマがある。
パッチワークな世界ですね。仕組みが違う世界が連結しているなら統一理論がある筈です。連結できないなら干渉できませんから存在しないと一緒です。

「全知」が困難であるのは、干渉することなく観測することはできないからです。
全てが記されているというアカシックレコードが存在するのであれば、そのアカシックレコード自身のことはアカシックレコードに記されているのでしょうか? 容量を無限にすればそれ自身含められるかもしれません。しかし容量が無限になった場合、そのレコードをキチンと検索することはできるでしょうか? 整数の無限であれば、単に前から後に検索し途中で止める方法がありますが、有理数であればどうでしょう? 回答を言えば、整数の分数で表せる有理数は整数で覆い尽くすことができます。しかし無理数はどうでしょう? 残念ながら無理数は整数で覆い尽くすことは出来ません、無限の次元が上なのです。
まあ、世界の情報量と無理数は直接関係することではありませんが、無限にも次元があるという1例です。この無限の次元も2つだけではなく更に上があります、しかも無限に。

人間はメタ的に考えられるからと言ってゲーデルの不完全性定理を超えられる訳ではありません。単に途中で思考停止しているだけです。同時に人工知能がメタ的に考えられない訳でもありません。
私は、人間の知能と人工知能の間に断絶は無いと思っています。
無限ループに陥らないだけなら、時間で区切るなど方法は幾らでもあります。

神がこの世界に干渉するのであれば、世界と連結し1つの系になり、神は世界の一部となり全知全能ではなくなります。全く干渉しないのであれば全知のままで居られるかもしれませんが、全く干渉しないのであれば我々にとっては存在しないのと同値です。』


ぼくが「しかし論理が世界を覆い尽くしてるわけでもないですからね。覆えないスキマがある」って書いたのは、ウィトゲンシュタイン的(権威の引用で賢く見せる手法)なあれです。前期の「論理哲学論考」の立場(「言語は世界を写し出す像である」)は後期には捨て去られたわけですよね。「世界には言語で表現できないものもある」という程度の意味です(論理は言語の一部として考えてます)。極端な話、「モナ・リザ」を言語で100%表現できるなら、絵そのものはいらないわけです。言葉で全部を伝えられちゃうんですからね。今は表現が下手だけどいつかはその境地に、って話でもない。

さて、以下はアカシックレコードの話などをいたします。このあたりで賢明な人は読むのを中断されることだろうと思います(でもいちばん賢明な人はそもそも最初から読んでない気がする)。

まず、「世界の全てが記されているアカシックレコード」は可能か?ということを考えてみます。世界の大きさが有限なら、不可能でしょう。アカシックレコードが世界内に存在するのであれば、部分と全体の大きさが等しいということは有り得ない以上、「全て」を記録することはできません。それが世界外に存在するのであれば可能かも知れませんが、今度はそれにアクセスすること自体が不可能でしょう。世界の大きさが無限なら……可能なんですかね。どうなんだろう。部分(アカシックレコード)と全体(世界)は濃度が違うんじゃないかって気がします(これは輪王さんの仰っている通りです)。

もうひとつ、アカシックレコードは有り得ないんじゃないか、という考えを。それは「記録って言われても、それは何語で書かれてるんですか?」って話です。つまり、「アカシックレコードの読み方」自体をアカシックレコードに記録することはできません。エンコードされたデータだけ渡されてもデコードプログラムがないと意味がない。PCに例えて言えば、「メモリの全領域を圧縮してメモリの一部に吐き出す」「メモリ上のデータをメモリの全領域に展開する」プログラムを書けるか?ってことになります(もちろんプログラム自体もメモリ上に存在します)。世界がノイズでない以上は圧縮は可能ということでいいとは思います。しかし、これが可能としても、それでもなお世界(メモリ)の外側にCPUが必要です。データの解釈方法は世界内には書けないわけです(あ、「語り得ないもの」みたいだな)。

可能な方法はあるかもしれません。メモリ全領域を手を加えずにそのまま渡す、つまり「これがアカシックレコードだ」と言って「世界のコピー」をまるごと渡せばいい。これなら情報量は同じだし解釈系も不要。しかしそんならコピーなんて見ないでもオリジナルを見ればいい。つまりこの世界が世界であると同時にアカシックレコードでもあるというわけです。ここに於いて「知るもの」と「知られるもの」はひとつの「知ること」となり……云々(寝言ですので)。

人工知能のことを言えば、自分は将来それができるとしてもいまの技術の延長線上にはないと考えています(人工知能は複雑なプログラムの一種だとします)。理由は、人間は人間が知っていることしかプログラムとしては書けませんが(あたりまえだ)、人間は人間について全てを知っているわけではないからです。つまり人間が人工知能っぽいプログラムを書いても必ずそれは人間の知性よりは小さなものになります。偶然、何かが作れてしまった、というケースなら有り得るかもしれませんが。それか、自己改変型のプログラムが成長するのを待つ、みたいなSFっぽい話になるんですかね。


と、こんなことを考えていました。

あのひとがあれを

イチニクス遊覧日記 : CROSS†CHANNEL


ついにプレイ開始なされた。「ということを誰かにいいたくなったとき、日記って便利」なんていうつぶやきをここで大ごとにしてよいのか。みなさん日記をチェックされるときはこっそりとお願いしますということで。しかし非常に良質なレビュー系ブログとしての一面も持つイチニクス遊覧日記であるからして、かのゲームに対していったいどういう感想を聞かせてもらえるんだろう……ってのは非常に期待してしまう面があるんですが、いまからそんなプレッシャー掛けてどうすんだ!ですね。まずはどうかご堪能いただければ、と思います。

それにしてもこれでみちアキは女性2名にC†Cを手に取ってもらうことに成功したわけで、その功績は田中界においてもっと評価されてもいいのではないかと思った。

ちなみに1人目の、「太一はあたしの神」とまで言っていた友人Yは今どうしているのかというと。まぁもうここを見てはいないだろうから適当にブッこくと、少し前にPCが不調になってしまい音沙汰がなくなっていました。が、なんと、自分でパーツ屋に行っていろいろ聞いてPCを自作、という暴挙に出て復帰してきました。なにそれ、(秋葉的に)萌え。「マスターが動かないとスレーブは動かないの?」とか聞いてくるし(どうもHDDが壊れてたらしい)。今度はAthlonでメモリ1Gだとか言ってるし。現在は以前より大幅にスペックアップしたPCで、「詩音使いになる」べく「ひぐらしデイブレイク」に熱中しているようです。これで腐女子じゃないのがポイントか(なにその差別は/「ホモだけはだめ…」らしい)。

XPがなんとなく大変なことになる

GIGAZINE : XPがなんとなくVista風になる隠しテーマ「Royale Noir」


ここで紹介されている"royale_noir.rar - Hidden XP Theme..."のリンクをクリックしたら、なーんか怪しいウィンドウ(しかも日本語)が開いて怪しいものをインストールされそうになりました。Nortonが動きましたよははははは。面白げなものをすぐ試す癖イクナイ。落とすもの自体は汚染されてないのではないかと思いますが、その下の"RapidShare:You want to download royale_noir.rar"のリンクの方がいいみたいですね。


追記:16時半現在、怪しげウィンドウは表示されなくなりました。

汎用パワードスーツがついに量産化へ

読売新聞の記事によると、筑波大学大学院 山海研究室 / サイバーダイン社の外骨格ロボットスーツHAL-5が実用化、来年にも量産体制に入るとのこと。

サイバーダイン社では当面年間20体程度を生産、2008年には年400から500体(!)に生産ラインを拡大する計画としています。価格は一体約500万円から700万円。ただし月7万円+維持費で個人向けレンタルもおこなう予定。


きっと来年の夏コミはこれのコスプレがアツいね。(お金ある人は本物を着てきてもGood)