このコーナーって, なんか技術的っぽいことが ごくたまに書いてあったりしますが, 実は, それは「ぽい」だけで, 基本的なコンセプトは 「生の感情」である. 技術なんか, じつはどうでもいいのだ. じつはどうでもよくないけど. 何いってんだ? まあいいや.
そうなんだよ. 俺は「ま」のつく会社が嫌いさ.
ここはラクガキなんで, 態度も論述も首尾一貫している必要は全然無いし, 誰もそんなことを要求しないし期待もしていないだろうが, たまには理屈もこねてみよう.
別に, なんで嫌いか, なんて説明する必要無いわけさ. たまに俺のすることにいちいち理由を聞く人がいるが, いちいち理由なんか無いよ.
何にでも理由があると仮定するじゃないですか.
つまり, 全ての a に関して 理由 b が存在するわけです.
で, 理由は非対称的だとするじゃないですか.
つまり a の理由が b ならば, b は a の理由じゃないわけです.
a とか b って一体何じゃ?という突っ込みは却下します(笑).
さらに, a が b の理由で b が c の理由ならば, a は c の理由ですな.
こういうのを transitive と言いますね.
勉強になるコーナーですな(←ケッ).
ここで選択公理と同値な Zorn の補題を仮定します(笑).
何故なら, 世の中あらゆる集合だからです(爆笑).
Zorn の補題については, 興味のある人は web で検索してください.
中略(爆死).
すると, 極大元が存在します. これを g としましょう.
g は, それに先立つ理由が存在しない, 理由ですね.
を. それって神じゃん.(神の存在証明 : おわり)
神はいろいろ差障りもあろうから, まあいいや.
要するに, わしが言いたいのは, 理由の無いものもあるんだよ,
ってことさ.
つまり, ある a が存在し, (以下略
だったらさっさとそう言えって?
まあ, たまには論理的なフリくらいしてもいいじゃないすか.
理由なくイキナリ主張だけ存在しても, それゆえに非論理的である, ということにはならない, ということを俺は言いたいのだ. 理由無き主張は非論理的だ, という主張は非論理的である.
ところで, 論理的ってなんだ?
まあいい. 好き嫌いに理由なんか要らないのだよ.
好き嫌いは別にして, 「ま」の会社の製品についてどう思うか, だが, 実は最近, ほとんど使ってないので解らんのじゃ. 記憶の糸をたぐってみると, ネットワーク関連プログラム, 特に メーラ とかで 他社のプログラムと互換性に乏しいのがかなり困ったね. それから, OS で言えば, メモリ管理なんかも全然ヘナチョコなのも困る. いつも, メモリがどれくらい残っているのかを考えながら アプリケーションを使わないといけないのだ. そんなことは OS の仕事なのにな. あと, あのファイルシステムな. ありゃなんとかならんのか. などと思わぬでもないが, 最近半年ほど ヰンドウヅ いじってないので, もう, 別にどーでも良い感じ. わっはっは.
うひひ. emacs から gmc の窓を開けるのって, かなり便利ですよ?
む. 今回, 全然つまんないな. 全然面白くないですね! 慣れない理屈コネるなよ. って感じ? 自己批判せよ! みたいな?