No Such Blog or Diary

去年は東北を回ったので，今年はまだ行ってない能登半島を回ってみることにした．ここさえ回れば GPS 軌跡で描いた日本地図がほぼそれっぽい形になるので．

ということで，とりあえず珠洲岬へ．日本三大パワースポットのひとつなのだとか．でも時間も遅かったので展望台にも登らず青の洞窟もスルーして去る．

そして今日は輪島で一泊．昨日調べたらホテルルートイン輪島にちょうど空きがあったので予約してた．喫煙部屋しか空いてなかったので心配してたのだけど，特に部屋自体はタバコの臭いもなく平和な感じで良かった．なお，廊下はダメ．

閑話休題．

気づいたらオドメーターが 2の冪を並べた 124816km を超えていた……　123456km に引き続きまた見逃した．残念過ぎる．

どうも今週は富士山の天気が悪いようで．無理やり登っても危ないので来週の天気に期待して今週は登るのを諦める．

もうちょい西の方なら天気がよいっぽいからそっちに先に行く予定を立てる．

例により富士山に登るぞ的な意味で静岡へ移動．面倒なので夜の空いてる高速で．

だがしかし，四日市を超える部分の新名神をさっさと作って欲しい．あそこだけ細過ぎて危ないし詰まるし．2018年度開通予定ということはあと1年半か．

閑話休題．

高速料金の上限とか復活しないかなぁ．上限5000円でもいいんだけど．もしくはトータルの距離が一定以上になるなら途中で降りても全体を一度に通った料金でいいとかいうルールにして欲しい．

tactic の使い方のサンプルでも用意しようかと Coq で自然数についての性質の証明とかアッカーマン関数の性質の証明をガーッとやってみたら，意外と時間を喰って気づいたら日が昇ってた．

閑話休題．

クロネコヤマトのポイントキャンペーンが終わってしまうのか．オリジナルグッズが貰えるのは嬉しかったのけど，最近の荷物過多を考えるとこんなもの続けられないのかもしれない．

まあ，めぼしいグッズは交換し終えているのであとはウェットティッシュにでも交換しようかね．

いつもなら5kmくらいを歩いて家に帰るところだけど，日曜の靴擦れのダメージが抜けてないので微妙．

ということで大学にでも戻るかと思ったらこの時間では公共交通機関がない．しょうがないので3kmほど結局歩いた．これなら家に帰っても良かったかもしれない．

気づいたら過ぎてた．あー……

次は2の冪を並べた 124816km かなぁ．その次は暫く何もなさそう．