HORS と HFL のモデル検査の対称性の話が一番面白かった.朝イチの目覚めの一発として適してる.
閑話休題.
朝食前に折角なので海岸沿いを散歩.風がとても強く,さすがは日本海な雰囲気で.




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

閑話休題.
夜の部の燃料.
