そういえば、形式仕様言語のVDM++で、DeepResearchで調べさせた文法も情報に含めたら、o1 proはかなりマシなものを出してきた。何度か直したら普通に動いたぜ。