No Such Blog or Diary

何となく低めの位置の雲の動きが速い時が多いようなきがするのだけど，山とかがない平坦な土地だからなのか？　季節的なものなのか？　日本だとそんなに頻繁に見ない気がするのだけど．よくわからん．

とりあえず天気の悪い週末が多い気がするぞ．

証明というか項というか，その構成途中に展開できないものを使ってしまうと Eval で評価して動作確認ができなくなる．んで，どの場所が展開不能なのか探り当ててそれを使わない方向で証明を書きなおし……　とかいう作業がちらほら．XX_dec 系のは動くプログラムとして使いたいけど直接プログラム書くのが面倒だから証明しちゃえとかやるとこうなる．

折衷案としては危なそうな部分は手で書いておいて細かい部分を個々に証明して埋めるってのかね．

必要最低ラインまで突貫工事で直し終えたら締切伸びた．まあ，時間に余裕が出来たことは良いことだ．……あと２日早く宣言して欲しかったなぁ．

さて，これで実装を覗く時間が出来たのでチェックを入れよう．

移動中は論文修正と技術的なポイントの改善とかで……　海外パケホが便利だなぁと感じる今日この頃．まぁ，1日3千円ってのはちと高いのだけど．

明日も頑張ってですまーち．

ちょうど同じ辺りで撮影した写真を発見したので比較．水位が低い方は満潮の４時間半前で，高い方は満潮から1時間過ぎた頃だけど，それでもだいぶ違うもんだなぁ．

http://www.ot-montsaintmichel.com/en/horaire-marees/mont-saint-michel.htm によると31日の朝の水位は 12.80m で，2週間前の新月の時には14.00mとあるから，写真からさらに1.2mも水位が上がるってことか．やっぱ新月時にもう一回行かないとダメだな．

モンサンミッシェル朝バージョン．方角的にあんまり朝焼けしてないので残念．モンサンミッシェルを東ないし西に見られる位置で構えられないとダメだなぁ．

水逆流中．

日の出．

モンサンミッシェルの縁まで水が来ているの図．

辛うじて道以外が水に囲まれていることを確認できるの図．

入り口．地面の濡れ具合からして昨日の夜と同じくらいか？　夜だと暗いので朝に観察するのが良い気がする．次回は中のホテルにでも泊まろうかね．

そして８時半過ぎくらいなのでガラガラ．でもこの直後に日本のツアー団体が大挙して来て……　落ち着いて見て回るには早朝の散歩が良い気がする．

んで，お帰りはバスでレンヌに行ってそこからTGVで．帰りのバスは 12.10ユーロを現金で払って乗れた．

閑話休題．

レンヌと Dol de Bretagne 以外にも Pontorson と行き来するバスがあるらしく，こいつは１回２ユーロで乗れるっぽいし本数も多くわずか20分で駅につくらしい．ひょっとすると電車で Pontorson まで頑張るってのも有りかもしれない．電車の本数が有るかどうかわからんけど．とりあえずバックパッカーの人達が利用してた．つか，この駅までは歩けない距離でもないな……