No Such Blog or Diary

そろそろスタッドレスの役目も終わりだろうということで，夏タイヤセットへの換装を実行．タイヤセットを引っ張り出してきて，空気を入れて，1本ずつジャッキで上げては付け替えて，というところまでで 50分．ここからスタッドレスの溝にはまった小石を黙々と取り除いてタイヤセット丸ごと洗って拭き取って乾燥のために積み上げてで，更に1時間．スタッドレスはこの後半の作業がめんどい．駆動輪のは力がかかって吐き出されるのか石が少ないので，四駆にすると小石取りが楽になるのかも知れない．

通勤に使っている裏道の信号のない交差点に新しい信号が取り付け中だった．この信号が稼働してしまうと通勤経路上の信号の数が二桁になってしまうのでとても残念な気分．

でもまあ，あの交差点は最近よく派手に事故ってたし，工業団地からバイパスに抜けるために通らないといけない交差点だったりするので仕方ない気もする．事故ってたのは小型車だったけど（しかも自爆の印象が強い），工業団地から大型車が出てくるにも信号あったほうが楽そうな気がする．

閑話休題．

最短の通勤路の信号の数は 24個．これに比べると裏道＋バイパスの方が2.5割ほど距離が伸びるのだけど，信号が 9個で流れも良いので早く着く．もう少し細い裏道を使いつつ信号のない交差点での右折を許可すればあと2個信号を減らせるけれど，混んでるときの信号なし右折とか面倒なのでやってない．

そういや九州縦断の非国道走行を実行し忘れてるな……　そのうちまた思い出したら実行．

交付内定後の各種様式の提出が e-Rad 経由ならオンラインだけで済んで紙の書類を出さなくても良くなる予定らしい．これが予定通りに行ってくれれば紙に印刷して判子押して事務まで出しに行くバカらしい手間がなくなるのでありがたい．連絡に「予定です」って書いてあるのが心配ではあるけれど．

他にも連携研究者という扱いがなくなるらしい．そもそもどういう扱いのものだったのかちゃんと把握できていないのだけど．

あともうひとつくらいあった気がするけれど忘れた．

久々に夜のセッションに末期まで参加．それでも5時前に去ったけど．

閑話休題．

「一単位足りないけどどうにかならんか」ってのが連発されるのはどうにかならんのか．

HORS と HFL のモデル検査の対称性の話が一番面白かった．朝イチの目覚めの一発として適してる．

閑話休題．

朝食前に折角なので海岸沿いを散歩．風がとても強く，さすがは日本海な雰囲気で．

Google Maps で見た時に海岸が鋸の歯のようになっていたのが印象的だったのだけど，実は自然にできた地形ではなくて離岸堤が置かれてる場所が出っ張ってるだけということに散歩をして気づいた．離岸堤の隙間は海岸が波で侵食されてる．

そして砂に埋まる看板．砂の移動が激しいのだろうか．

閑話休題．

夜の部の燃料．

今日の感想：深層学習でオラクルを作れ！

今日の感想２：高階言語の反復補題は面白いけど使い方が難しそう．

今日の感想３：Nonstandard FL はだいぶ nonstandard なんじゃなかろうか．動かんのだよね？　（近似的に数値積分とかで動かしたり出来ると面白そう）

閑話休題．

今年はついに受付がセルフサービスに．そのうちオンライン参加もできるようになるのだろうか．