檜山正幸のキマイラ飼育記 (はてなBlog)2025-12-03 AI支援形式証明への道 報告-2 off-the-shelf 雑記／備忘 昨日の記事「AI支援形式証明への道 報告-1」で、AI支援〈AI-assisted〉の形式記述・形式証明について述べました。強調したい点は、紹介したやり方が off-the-shelf ベースであることです。"off-the-shelf" は、既製品、一般市販品といった意味です。特注品で… 2025-12-02 おかえりアンミラ 日常 13年前の2017年11月に「ほぼ絶滅 アンミラ」という記事を書きました。 [アンナミラーズで]残っているのは高輪店だけ。懐旧の情だけで品川まで出かける気にはナカナカなれないのですが、高輪店もなくなると、僕はちょっと寂しい気分になりそうです。生き残れ… 2025-12-02 AI支援形式証明への道 報告-1 雑記／備忘 ハブ記事 「AI支援形式証明への道」は、記述
