13年前の2017年11月に「ほぼ絶滅 アンミラ」という記事を書きました。 [アンナミラーズで]残っているのは高輪店だけ。懐旧の情だけで品川まで出かける気にはナカナカなれないのですが、高輪店もなくなると、僕はちょっと寂しい気分になりそうです。生き残れ…

「AI支援形式証明への道」は、記述が断片的で分かりにくかったと思うので補足をします。そして、Comet を使って色々試している現状を報告します。内容： Comet について 僕の想定 Comet との経緯 今はこんな感じ オマケ： 絵図証明 Comet についてPerplexity…