No Such Blog or Diary

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

閑話休題．

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

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

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

閑話休題．

夜の部の燃料．

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

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

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

閑話休題．

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

たらたらと移動．そういや三江線が……　とかいう話もあったっけと思い出す．元気があれば今月中に車で様子見に行ってみようか．

α7R III から10万くらい安く，ソニーストアでも 229,880 円＋税とか．現行のS系に比べても最大 ISO 感度が 1段低いだけだし，常識的な機能が全部入りでお手頃価格なのでそろそろ新しい本体として買ってもいいかもしれない．α7R III から落ちるスペックは画素数1.7倍とローパスレスとピクセルシフトマルチとファインダ画素数1.5倍という辺りか．

とりあえず，実機を触ってファインダーに違和感がなければというところかね．発売したら実機を見に行こう（どこへ？）．

午後なら行けただろうけど今ほぼ貫徹明け状態なので明日の10時半に余裕で阿蘇に着いているとか事故りそうで無理．午後だと雨降っちゃいそうだから午前にしたんだろうけど……　残念．

今日の教訓：仕事はサボったもん勝ち．

気分悪いので4000円の夕飯を捨ててカップラーメン．残念．