No Such Blog or Diary

assert → apply とかいうコンボを使いまくっていたら，specialize 使えよアホというコメントを貰った．確かにアホだ．

閑話休題．

Leibniz equality ではなく equivalence relation を使って物事を定式化しようとすると証明が色々ととても面倒．rewrite とかが動かないのが非常にストレスなわけで……　Equivalence relation 用の rewrite とかあったりするのか？　なければ自前で用意すりゃいいんだろうけどああ面倒．

土日乗り放題で 3.6ユーロ．通常１回1.4ユーロなので３回乗ったら元が取れる．30回の回数券だと35.2ユーロなので4回乗らないと元が取れんけど．

お出かけ＋買い物＋大学に行くというのを週末にするにはこっちのほうがお得．

閑話休題．

日曜日とそれ以外の日との時刻表の差が激しすぎる……　日曜だと始発が2時間半以上遅くなるとか信じられん．

早朝３時から天気予報とにらめっこをし，雨のベルサイユ宮殿ってのも面白いかねとか結論づけて朝イチの電車でパリへ出発．オステルリッツ駅に６時ちょっと過ぎに到着．そこからRERのC線（VICK）に乗り換えて終着駅まで40分くらい．とりあえず，終着駅の名前が Versailles Rive-Gauche だと思っていたところに券売機の表示が Versailles Château で戸惑った．切符には Versailles RG って書いてあるんだけど．

んで，駅から歩いて５分くらいでルイ１４世がお出迎え．ぶっちゃけ７時過ぎなのでまだ真っ暗．

メインゲートが閉じてて庭園へすら入れないので宮殿の周りを歩きまわる．宮殿南の池から宮殿を望む．７時半を過ぎてそろそろ明るくなってきた．

８時過ぎに戻ってきたらメインゲートが開いていた．とりあえず中へ．

宮殿の建物へ入る第二の門は開かない．

そして飾りが面白い．

チケット売り場もまだ行列なし．

今日は土曜日なので噴水ショーがありますよと．お陰で庭園に入るだけで8.5ユーロとか取られる．

８時半を過ぎた辺りでチケット売り場に列が出来たので並ぶ．晴れてれば日がさしてただろうけど，あいにくと天気予報のとおりにご機嫌ななめな空模様．

色々と中略．９時直前に結構な雨が振ってきたり，チケットを事前に用意していた人たちの列がものすごかったり，チケット購入列の長い列の先には空いている自動券売機が鎮座していたり．色々と絶望した．

んで，目的地である鏡の回廊．まあ，人だらけ．今度来るときにはチケットを事前に用意しておこう（インターネットで購入して印刷しとけばいいんか？）

回廊を過ぎて階段のあたりで面白いものを発見．

階段のランプなのだけど，光が柔らかくなかなか良い感じだった．

そして庭園．広すぎる．広すぎる．全部は回っていられないので下の噴水まで移動．

んで，11時から噴水ショーが始まりましたとさ．

……．昔と同じただ水が出てくるだけの噴水だった．8.5ユーロ返せ，というのが素直な感想．もうちょっとこう電子制御された噴水ショー的なものを期待していたのだけど……　そんなんを期待するほうが悪いといえば悪いのだけど，人魚よりがっかりした．はぁ．

なんで欲しい性質が証明されていないんだ……　Sorting にある Permutation の方はいろいろ揃ってるのに．くそぅ．

終電を逃したので１０キロほど歩く．まあ余裕で歩行圏内なのだけど，街灯がない道を歩いたり川を越えるのに手間取ったりして結局２時間かかった．もうちょっとちゃんとグーグルマップで予習しておくべきだったか．

閑話休題．

gcc のパスがおかしいなぁという問題はパスの最初を // にしてあげたら問題なくなった．きっと何処かで最初の一文字が消える仕様なのだろう（4.7.2 でもそうなったからなんか変なオプションの使い方をしているのかもしれんけど）．

言語処理系の奇妙な動作を結構な確率で掘り当てるという．その言語に慣れている人間であれば何となく回避するような使い方を平気でするのが原因なのだけど．まあ，滅多にないことはとりあえず気にしなくていいや的なのりでないと言語処理系の実装とかやってられないよね．

閑話休題．

gcc をいつものようにヘッダのインストール先を指定して cofigure && make && sudo make install したら，何故かヘッダファイルを探しに行くパスの最初のスラッシュが消えた状態の gcc がインストールされた．automake まわりのバージョンの食い違いとかでなにか変なことが起きたのか？　よくわからないのでもう一度．