でも今日、Alloyっていう形式仕様言語を、o1 proがまともに書けなかったのがとても残念だった。お前やっぱりネットにお手本がないと大したことないんやな。。。