2011-05-01から1ヶ月間の記事一覧

Matz日記が止まっている件

私は日記と言うか、日々考えていることを言いたい放題することを再開しました。まつもとさんの日記は2010年11月14日で止まりました。半年以上活動していないのです。ちょっと心配。なのでRuby関連のメーリングリストを調べました。ruby-devで5/11にメールが…

6÷2(1+3)の答えは?

掛け算が省略されてるから算数じゃない。おそらく数学。 なら(6/2)*(1+3)だし(1+3)*(6/2)でもある。 3*4=12, 4*(6/2)=12 やっぱり12でしょうwwwなんで(6/2)という括弧がつくかというと括弧が使われた時点で、それまでの式に自動的に括弧を付けたのと同じ…

StringIO

これって他の言語にはすでにあったものを、私が知らずに車輪の再発明してpure Rubyで書いて、あとでRubyで私の実装とは関係なく拡張ライブラリとして実装したんだねぇ。 IOがEncodingを持つ現在、Encodingを持つStringIOがどうなるのか、興味はあるけど調べ…

ERBのtrim_mode

ERBのって俺が言い出したんだった。知らなかったというか、忘れてたwhttp://blade.nagaokaut.ac.jp/cgi-bin/vframe.rb/ruby/ruby-list/37875?37875-38369このスレッドが発端です。になったのは[ruby-list:37966]からです。記号として'-'じゃなくても良かっ…

ERbとErubisどっちもどっち、そしてRailsの選択の間違い

とりあえずRails2まではERbだったわけです。Rails3作るときにERbよりもErubisってのが速いし大体同じ(基本はeRuby文法)という情報が入った。んじゃ速いほうがいいだろ、ということでErubisに乗り換えた。 この時点でERbとErubisの非互換部分についてあまり考…

プログラミング言語のトレンドで見る現実世界とのギャップの概念

構造化プログラミングは、爆発的に広まりました。オブジェクト指向も現実世界とのマッピングしたときのギャップが少なくなるので広く受け入れられていると思います。しかし、関数型プログラミングはまだまだぜんぜん受け入れられてはいません。プログラミン…

計算式は歌

計算式は計算順序という時間軸をもち、値というオタマジャクシと演算により奏でられる歌だと思います。歌詞は式の本来の意味です。 非常に泥臭いですが、歌の意味を正しく知るには数式のような計算順序を変えたり演算を書き換えたりといった式変形は野蛮な行…

数学的な美しさと論理的な美しさ

数学的な美しさはわたしにはわかりません。綺麗ごとじゃ飯は食えないのです。 論理的なルールの美しさはわたしには役に立つことであり、それがあればメシ何杯でもいけるような感じです。

過去が書き換わらない理由、神による介入がない理由

すべての過去を記録していくと情報量として膨大になるため、短い時間の範囲だけ保持されていて、どんどん破棄されるのだと思います。 過去の書き換えや神による介入を行うと、世界を再度計算しなおさなければなりません。観測して介入するには、保持する時間…

世界は不確定に選択されない。分岐した世界も発生しない。

ミクロの計測で、どうしても不確定となることを、マクロに反映されるのでは?という風に考えたのがシュレディンガーの猫での思考実験でしょう。 ここで、猫が大きいからナンセンスだと言われることが多いのですが、具体的な大きさはどれくらいで不確定になっ…

計測がミクロの窓では不確定にしか見えない

やるのであれば完全なマクロ=(全世界)で、世界と同じ空間解像度、時間軸の解像度、エネルギー計測精度でないと意味はありません。 どの条件も満たすことができないので永遠に不確定としてしか扱うことはできないでしょう。

ラプラスの魔の時間の流れ

ラプラスの魔の計算量とかが大変なのはわかりますが、現実とラプラスの魔の時間の流れる速度はちがってもいいのです。ラプラスの魔の計算が終わってから、現実の時間が流れます。現実の1秒の計算にラプラスの魔が1時間前後かかったとしても現実の時間の流れ…

月はそこにありますか?

不確定性原理は、月を見ていないときは月が無く、見ているときにだけ月が存在するかのように疑うこと。月を見ているのに不確定なのだとしたら、それはまばたきをしているか、涙で視界が歪んでいるのです。 世界の外から観測しているラプラスの魔(おそらく神)…

シュレディンガーの人

自分で入るのが嫌だったから猫にしたんだよね。でも猫からすれば半分殺されたりするんだから動物虐待といわれるかも。動物愛護団体からは苦情がきますよ。 これは自分で入るしかないよね。で、自分が半分死んで半分生きた状態になるのを自分で観測する。これ…

シュレディンガーの猫の心境

50%で死ぬとか言われても言葉が通じないので怖くありません。箱に入れられますが、それも嫌なことではありません。エサと水とトイレがあれば快適です。 なんか箱入れられたけど、別に気持ちいいし、眠くなってきた。として眠ってしまうんじゃないかなぁ?充分…

軟弱な正義は人質を助けられない

軟弱な正義なら、人質をとられたら悪に屈します。人質をとりながら空いた手で正義を殺します。抵抗ができません。そのあとで人質は悪の思い通りです。軟弱な正義が何人きても同じ結果です。

多数決による民主主義では最適な判断は得られない

間違った判断も平等に判断への選択肢となり、そしてそれが多数派であれば間違った判断がなされる。 民主主義を心がける理性と知性を持った優しい独裁者の判断のほうがぶれない。最適に近い最良の判断が得られるように思う。

キリストはなぜ聖人になったか

マリアが真実の処女だったかはどうでもいいことです。生物はもともと単為生殖がありえるのですから、本当に処女だったのかもしれません。 処女が子どもを生んだことへのまわりの反応 神を信じているものとしては、親が誰かということを考えます。 母親はマリ…

能力者同士での暗黙のルール

能力者は戦って、勝負をきめたがります。戦う前に相手を負けたことにする能力については「八百長だ」「フェアじゃない」ということになります。 戦う前に相手を負けたことにする能力も無敵ではありません。先に使ったもの勝ちなのです。どっちにしろ一般人か…

めだかもブックメーカーが使える?

球磨川と戦ったときにブックメーカーがめだかに使用されました。 他の敵と戦うときでもブックメーカーが使えてもおかしくはありませんね。 有能な人がブックメーカーを使ったら? 相手も有能になります。えぇぇ?全知全能の神が自分の分身をつくって代わりに…

めだかボックスの安心院なじみは勘違いしている

めだかボックス 10 (ジャンプコミックス)作者: 暁月あきら,西尾維新出版社/メーカー: 集英社発売日: 2011/05/02メディア: コミック購入: 3人 クリック: 247回この商品を含むブログ (32件) を見る1京2858兆0519億6763万3865個のスキルをもっている、だから全…

はてなのアクセスログは結構細かいところまでとっている

アクセスログをみるとどんなプロバイダを使っているのか、解像度はいくつなのか、携帯なのか、PCなのかについてけっこうわかります。 これ、端末固有情報までログとってたら、どの携帯からアクセスしてるのかまで区別ができるということで、本当はけっこう怖…

論理教でも感動はする

感動する条件も、なるべく論理で書きます。とりあえず認識しているパターンだけ。 ハッピーエンドが王道中の王道です。 自分と仲間が絶望的な状況になる 自分はいままでの自分の論理を捨てずにあきらめずに立ち向かう 自分と仲間も絶望的な状況から抜け出せ…

今週のジャンプ新連載「花咲一休」

「なんでも切れる刀」で切れないもの、まだあったように思います。 それは刀自身です。刀自身を切ろうとしていくら振るっても刀は切れません。 切るためには「なんでも切れる刀」同士で切りあわなければなりませんが、それは原始的な矛盾となります。

眠れない=不眠症です

眠れません。 理由は寝るときにも考えることを止められないからです。 考えることが出来なくなるほど疲労したときに、自分の意思とは関係なく眠りに落ちます。 自発的に睡眠できないのですから睡眠障害です。 睡眠導入剤が効いて、考えることを不能にすれば…

頭がおかしくなった?

ゴールデンウイーク前とあとで考え方がかわりました。 現在では他人との意思疎通が困難になりました。 自分は正しい方向に変わったと思っていますが、他人は間違った方向に変わったと思っているでしょう。 精神的には異常になったと判断されるでしょう。 病…

謝罪って読めますか?

謝るという意味で「謝罪」と書いたときにChromeで見ると四角+「罪」に見えることがあります。 Chromeは日本語を扱うにはあまり適切なブラウザではないのかもしれません。四角の部分をコピーペーストしてテキストエディタにもってくるとあやまるという意味の…

食べなきゃ死ぬ、だから働く

人間は食べ物を食べなければ死にます。食べ物じゃないものを食べたとしても、結局は生きられませんし死にます。食べ物はどうすれば食べられるか? その場にある食べ物を食べる。 その場にある食べ物を食べるのは本当は犯罪です。 でも、他の人に自分が食べる…

受理されるかされないか

規則認証申請に添付する書類が足りなければ受理されません。 宗教団体であることを証する書類 これから宗教団体であるとして欲しいのだから証することはできません。受け付ける人が信じるか信じないかによります。 書類として要求するのはおかしいです。 公…

③設立手続が法の規定に従ってなされていること。

設立発起人会の開催 公告(規則認証申請の少なくとも1ヵ月前に行う) 規則認証申請 認証(受理から3ヶ月以内) 登記 登記の届出 この手続きに従います。設立発起人会の開催をします。 私が設立すると主張します。設立できないと主張する人はいませんでした…