Geminiさんと、人間が静的型検査やら何やらを人間の思考コスト削減に導入していった歴史と、AIの計算コスト削減のために形式検証ツールを導入するのって似てるかもって議論して有意義だったんだけど、
オレンジが「Geminiさん」っていい続けたせいか、自分を「Gemini」じゃなく「Geminiさん」って言いはじめて、「でもやっぱLLM・・・・＞＜」ってなった＞＜(？)