|
．神保町の某店で、金曜発売のマーガレットコミックスのうち 「 ．「 |
|
．全然難しくないのだが、やる気がなかなか起こらなかったので放置していた NetBSD の libintl の gettext-0.12 以降への対応作業。 こういうのは勢いさえあればすぐ終わるのであって、 今日は勢いがあったからすぐ終わった。 ．ところで NetBSD の libintl を切り出して配布したらうれしい人とかいるかなぁ。 組み込みの人はうれしいかもしれんなぁ。 組み込みで gettext が必要かどうかは知らんけど。 いるようならそういうのを作ってもいいかもなぁ。 まあでもそういう人は、 「NetBSD に BSD ライセンスな libintl がある」 というのを知ってれば自分でなんとかするよなぁ。 ．などと、なぁなぁ思考に陥りつつ、もう寝るのであった。 |
|
．「 |
|
．しかしながら、本当に地動説が正しいのかどうかという話は --- まあここでの論点はそういうレベルの話ではないんだけども --- 大いに哲学的な話なんじゃないかという気もする。 地動説を裏づける観測的事実が出てきた時代にソクラテスが生きていたら、 「そもそも地球が太陽のまわりを回っているというのはどういう意味だね?」 としつこく突っ込まれそうではある。 ．というのは、単に三次元空間における幾何学的な位置関係を考える上では、 別に地球が止まってると見なしても一向にさしつかえがないからなんですな。 ただ、まず第一に、観測的事実に基づいて運動を記述するという観点で言えば、 「太陽のまわりを地球を含めた惑星が回っている」 という天動説の解釈のほうが素直であるということと、 第二に重力の関係まで見れば、太陽系という大きな重力圏の中で 地球を含めた惑星が太陽にぶらさがっていると見なすのが素直である、 というだけの話なんだわな。もう一つ哲学的な意味での隠れた効果としては、 「地球が中心」というある種の絶対的価値観から人々の思考を開放したという 効果こそが重要だったんじゃないか、という気はする。 ．しかし、せっかく一つの絶対的価値観から自由になったというのに、 世の中の大人共はこんどは地動説という絶対的価値観に 縛られちゃってるんじゃないかという気もしなくはない。 ．似たようなものにウラシマ効果というのがありまして、 よく例に出てくるような「二つの宇宙船の話」 では当然のことながら「動いてるほうと止まってるほうをどう区別するのか」 という疑問が思い浮かぶのだけれども、 そのへんに転がってる相対論の入門書ではアマクダリ的に 「二つの宇宙船の違いは加速したかどうかです」 なんて書いてあって、もうちょっと親切な本になるとローレンツ変換を 図示してあったりなんかして 「特殊相対論の範囲でもウラシマ効果はなんとか説明できます」 なんて書いてあるけども、私は思うにどうみてもそれはウソで、 アレはやっぱり重力場があるから説明できる、というか、 たとえ一般相対論を持ち出したとしてもアレはいまひとついんちき臭くて、 少なくともよく例に出てくるような「二つの宇宙船しかない宇宙」では、 単なる位置関係だけを見てるだけではやっぱりどっちがどっちだかわからん。 むしろ「恣意的に決めた方の宇宙船の座標系では空間が歪むから、 その結果として加速していると見なされる」のであって 「加速したから空間が歪む」のではないような気さえする。 |
|
．まあ山師が参入することの是非は置いといて (というか建前はともかく腹の中は既存球団のオーナーのほうがよっぽど アレだという事実が今回の騒動によって完全に露呈したわけだし)、 私が個人的に気になってるのは、 大阪近鉄のファン(あるいは合併の仕方によってはオリックスのファンも含む)は、 いつの間にか論点がすり変わってしまってることに腹を立ててないのかなぁ、 ということだな。怒りの矛先が古田に向くとか、 そういう形で遺恨を残さなきゃいいけど。 ．なんかどうも私が釈然としないのは、おそらく 「ナヴェツネ=ファンの敵 vs 古田+ホリえもん=ファンの味方」 みたいな、そういうよくわかんない二元論的構図にマスコミとかが 熱狂しちゃった部分なのかもなぁ (「ナヴェツネはもういないよ」とかそういうツッコミは却下)。 いつものことなんだけど。 結果論かもしれないが、 結局は近鉄ないし近鉄ファンは双方のダシにされただけなんだがのう。 |
|
．ドトールでマターリ。 ．「 |
|
．観測可能性 。 「位置関係だけではわからん」というのはそういうことですな。 ．ところで、最初の話からは論点がズレるんですが、太陽と地球しかない世界では、 どっちがどっちのまわりを回っているのかって観測できないんですかねぇ。 ．いや、純粋に物理の門外漢なので、わからんだけなんですけども。 等速運動であれば、動いているほうの時間が遅れてゆくわけですが、 円運動には加速度の影響もあるし太陽と地球では重力の影響もある。 それらの作用によって観測不可能ってことなのかもしれん。 もちろんニュートン力学だとどちらの立場でも観測不可能なんですが (そのくせ絶対座標系なので理論的には区別されるんだけど)、 まさかここだけニュートン力学というわけでもないだろうし。 ．まあそもそも、 二つの自由な質点が常に等距離にあるという状態で「片方だけが止まっている」 という状況を想定すること自体が無意味なんだけど。 わざわざ「違う」と言うのは、要するにそういうことですかね。 ．まあ、天動説/地動説という大いにニュートン力学的な世界観の話に、 相対論の話を「似てる話」として持ち出した私が悪いんでしょうな。 ということでよろしい? |
|
．起きるころには内容をすっぱりと忘れてしまうので、 寝る前はあんまり活字を読まないようにしてるのだが、 珍しく活字の本で 「 |
|
．積んでた CD 聴き。いつものように敬称略。 ． ． ． |
|
．「 |
|
．高山本線乗りてぇなということで、 日帰りないしはそれに準ずる夜行利用でいろいろ考えてみた。 ．やる気なし。はくたかを北越に変えてもいいかもねん。 新横浜 - 新幹線 → 名古屋 → ワイドビューひだ → 富山 - はくたか → 越後湯沢 - 新幹線 → 東京 ．はくたかに関しては同上。 新宿 - あずさ 3 → 塩尻 - ワイドビューしなの 8 → 名古屋 - ワイドビューひだ 9 → 富山 - はくたか 17 → 越後湯沢 - とき 334 →東京 ．大糸線+高山本線。 新宿 - あずさ 3 → 南小谷 - 427D → 糸魚川 - 556M → 富山 - ワイドビューひだ 16 → 名古屋 - のぞみ 26 → 新横浜 ．高山本線+飯田線。 上野 - 能登/北陸 → 富山 - 840D → 猪谷 - 1824D → 高山 - ワイドビューひだ 4 → 名古屋 - 2322F or 2220F or 新幹線(乗継割引) → 豊橋 - ワイドビュー伊那路 3 → 天竜峡 or 飯田 - 247M → 辰野 - 1265M → 岡谷 - S あずさ 34 → 新宿 ．高山本線+関西本線。 上野 - 能登/北陸 → 富山 - 840D → 猪谷 - 1824D → 高山 - ワイドビューひだ 4 → 岐阜 - 2205F → 大垣 - 219F → 米原 - 771T → 大阪 - 1523 → 天王寺 - 1820K → 奈良 - かすが → 名古屋 - のぞみ 150 → 新横浜 ．高山本線+大糸線+篠ノ井線+信越本線。 新横浜 - のぞみ 3 → 名古屋 - ワイドビューひだ 1 → 富山 - 541M or 543M → 糸魚川 - 430D → 南小谷 - 1344M → 信濃大町 - 1542M → 松本 - 1229M → 長野 - 妙高 7 → 直江津 - 1359M → 長岡 - ムーンライトえちご → 新宿 ．ちなみに 10/15 までのダイヤで検討。たとえば最後のルートだと、 長野までは新旧どっちのダイヤでもこれが最速なのだけれども (列車番号は多少付け変わる)、新ダイヤの妙高 9 号が現行の 7 号よりも 20 分ほど早く長野を出てしまうので乗り継げず。 次の列車に乗り継いでも信越本線の新井で終了。使えねぇ。 したがって、長野から新幹線で東京に戻るしかない。 ．と、計画だけは考えてみたが、 さすがに日帰りで乗り潰すのはもったいない距離なのでやらないと思う。 最後のルートだと運賃計算キロで 1,286.1km だってさ。 ．泊まること前提ならば、むしろ周遊きっぷを使って観光をしたほうが良いかもな。 加賀・能登ゾーンで能登観光してもいいし、飛騨・奥飛騨ゾーンも面白そうだ。 ．ヤヴェエ、鉄道の日記念きっぷ使って 横浜 - ムーンライトながら → 岐阜 - 1711C → 高山 - 1825D → 猪谷 - 857D → 富山 - 541M or 543M → 糸魚川 - 430D → 南小谷 - 1344M → 信濃大町 - 1542M → 松本 - 1229M → 長野 - 妙高 7 → 直江津 - 1359M → 長岡 - ムーンライトえちご → 新宿 - 521H → 八王子 - 429M → 松本 - 333M → 海ノ口 - 342M → 松本 - 444M → 大月 - 2040M → 立川 - 2150F → 武蔵溝ノ口ってマジっすか。0 泊 3 日。1,836.6km。 普通列車しか使わないと一日 600km くらいが限度みたい。 というか、 よくよく考えてみるとこのプランは接続が良すぎて栄養補給ができない。 富山か糸魚川で 1h 程度取れるけど、 その後は海ノ口までの丸一日、 10 分程度の接続で列車に乗りっぱなし。 ．富山から直江津まで北陸本線で抜けちまえばどうってこともないのだが、 一日で「高山本線全線走破 + 大糸線全線走破 + ムーンライトえちごで帰京」 が実行できる最後のチャンスだからこそ、 わざわざ 0 泊 3 日をやる意味があるともいえる。 まあ最終日の聖地巡礼は余計だが。 ムーンライトえちごは新津で日付が変わるので、 新津(or長岡)-新宿を片道切符にすれば貧乏性を発揮しなくても良いのだが、 新津-新宿がだいたい 5,500 円なのに対して記念切符一日分は 3,000 円くらいなので以下略。 ．って、券面上は 2 日分しか使ってないから、一日あたり 900km か。 乗り継ぎの間合いも入れてトータル 46 時間ほどなので、表定 19.6km/h 。 ．ムーンライトながらではなくて昼行で岐阜に行って一泊するパターンだと、 一番詰めれば 521M で東京を出ると昼過ぎに名古屋に着くので 関西本線-草津線-東海道と乗り継ぐと岐阜に 18 時半くらいに着く。 まあさすがにこれはいかがなものかと。 東京から岐阜までまっすぐ行けば 396.3km なのに対してこのルートだと 577.7km。181.4km も余計。 ．寄り道せずに東京から岐阜へと行くことを考えると、 宿に普通にチェックインするには 浜松 16:46 発→岐阜 18:33 着の 2125F/5125F くらいまでが適当か。 これに接続できるのは熱海 14:14 発→浜松 16:44 着 451M 、 東京 12:33 発→熱海 14:06 着の快速アクティー 3759M ということになる。 これならかなりゆっくりできる。 浜松でうなぎを食ってから 2125F/5125F に乗り継ぐのならば、 東京 10:43 発→三島 12:50 着 335M と三島 12:57 発→浜松 15:16 着 769M あたりがよい。 ．769M は沼津 13:09 発なので、 国府津 11:30 発→沼津 12:56 着御殿場線 2551M からも乗り継げる。 これに乗るには東京 9:53 発→国府津 11:18 着 767M でよい。 御殿場線経由にするならだいたい +1h を見れば良い。 ．769M は富士 13:28 発なので、甲府 9:52 発→富士 13:18 着身延線 3724G からも乗り継げる。これに乗るには高尾 8:01 発→甲府 9:47 着 527M 。 立川 7 時半くらいの普通列車で間に合う。でも悪いことは言わないので止めとけ。 ．浜松仕立てで豊橋から新快速/特別快速に化ける列車は 1 時間に一本あるし、 豊橋仕立ての新快速/特別快速に乗り継げる普通列車も含めれば 浜松からの下りは 30 分間隔で走ってるので、思ったより本数は多いな。 2125F/5125F を絡めたルートはいずれも一時間ずつ早い列車へとずらせば 一時間早く着く 2121F/5121F を使うようにもできる。 これだけ選択肢が広いと乗り継ぎはかなり楽な部類といえよう。 |
|
．某所で某氏が「窓開いてて部屋が水びたしになった」という話をしてたので、 ふと「オンボロアパートの窓が枠ごと外れ落ちて部屋の中が水びたしになって、 隣人に助けてもらう漫画ってなんだったかな」という疑問が。 ．で、結局「 |
|
．最近の gcc は賢い。次のコード を gcc-3.3.3 で -O 付きでコンパイルすると foo: pushl %ebp movl %esp, %ebp subl $20, %esp movl 8(%ebp), %eax pushl (%eax) call bar addl $16, %esp leave retというコードを吐く。値渡しなのに構造体を複製しない。 ．しかし、次のようなコード だと、 foo: pushl %ebp movl %esp, %ebp subl $20, %esp movl 8(%ebp), %eax movl 4(%eax), %edx movl (%eax), %eax movl %eax, -8(%ebp) movl %edx, -4(%ebp) leal -8(%ebp), %eax pushl %eax call bar addl $16, %esp leave retとなって律義に複製してる。 要は右辺値として使われる限りは複製しないってことやね。 たとえ const が指定されていて変更されないことがわかっていても、 & のオペランドは左辺値として扱われるからコピーされる。 ．今までは値渡しだったが、値返しも結構賢くて、次のコード をコンパイルすると foo: pushl %ebp movl %esp, %ebp movl 8(%ebp), %eax movl $0, (%eax) movl $0, 4(%eax) leave retとなる。 ．ちなみに VC++ (使ったのは Microsoft(R) 32-bit C/C++ Optimizing Compiler Version 13.00.9466 for 80x86) で /O2 つけるとそれぞれ というコードを吐く。今回の着目点における傾向は gcc と変わらない。 |
|
．何が分からんのかといいますと 、 根本的にはどこをどう突っ込みたかったのかがよくわかんないってことですかね。 「ウラシマ効果の話は観測可能性によって裏づけられるから単なる空想ではない」 という部分は分かりますし、 そこの言葉足らずを突っ込みたかっただけなら分かるんですが、 太陽と地球だけしかない世界で天動地動ということを考えても 無意味であるという部分の意図が私には今ひとつ自明ではない。 ．で、いつのまにか論点が観測可能性になってるような気がするので、 この観点において何が「かなり違う」のかということを考えてみたのですが、 私には結局よくわからんと。 ニュートン力学の範囲では確かに観測できませんけど。 字間に込められた意図を読むことのできる聡明さが私に足りなくて申し訳ない。 ．まあ、いずれにしろ論点から外れてるのでどうでもいいんですけど。 やっぱり「似てる話」の例が良くなかったんでしょう。 |
