Nobuyoshi Sato (発信者情報開示本Booth) @[email protected]

そもそも擁壁からの漏水が続くだろうということが擁壁建造工事の段階でわかるはずだから、擁壁側に排水溝を整備する設計変更をすべきだった。

「裁判所は、現場の状況を見て、相当以前からコケの生えた状態だったと判断し、市はコケの存在を知ることができたと指摘。コケを視認できなかったとする市の説明を否定した。」
https://xtech.nikkei.com/atcl/nxt/column/18/00142/01765/
お～、裁判官が現地で調査したのか。珍しいな。

歩道のコケで滑って転んだ判決が判例検索で出てこないかと思ったんだけど、判例的にはちっとも新しくないようで、福岡地判令和5年10月19日で探しても出てこねぇ。

月曜あたりから妙に忙しくて、昨日の午後ぐらいから電池切れしてる。

けがをした側も道路維持管理のプロだったわけか。

あと、除雪機のカバーを外して試運転しつつあちこちのケーブルに水が入らないようにグリスまみれにしてた。

サンバーのエンジンオイルを交換してた。オイルキャッチタンクの中身がひどい。

俺のサーバも/usr/local/lib/python3.9/site-packages/cryptography/hazmat/bindings/_rust.abi3.soが変なバージョンのライブラリを参照していた。
portsからインストールしなおしたら直ったけど。

リンカが共有ライブラリの複数のバージョンを比較して新しい方を選ぶ時の問題か...。

法律を改正する法律ってパッチのデータみたいな書き換え対象指定と書き換え指示の塊だから、メタ言語と言っていいのかってのはちょっとある。でも、あれ自体を文脈依存文法の文法規則の塊だと理解すればまあすっきりする。

法律を改正する法律自体は、被改正法の条文とか書き換えられる部分という文脈に依存した文脈依存文法的な文法規則そのものであってある種のメタ言語、という理解を起きたらしていた。