No Such Blog or Diary

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

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

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

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

閑話休題．

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

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

閑話休題．

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

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

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

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

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

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

普段の運動不足のせいか昨日のダメージが抜けて無くて階段で6階まで上がるのがキツイ．というか，かかとの靴擦れが痛くて歩くのが億劫．

バンドエイドの靴ずれブロックとか用意しておこうかと思ったのだけど近場のドラッグストアを幾つか回ってみても売ってない．Amazon に頼らざるを得ないか．