論理じゃなくてパターン認識でどうにかしてるのかね。o1 proも結局そうなのかも

そう、なぜAIのくせに形式仕様言語でちゃんと書けないんだよって感じ。

やはり古い言語の方がいいな。VDM++の方がオブジェクト思考っぽくて好きだし

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

本当に最高 nostr:note1wz0xvs7xsq0h3jjx9kwf2rtwqllsmakkrgqs7sgcnd9w7yl0dvuqv03tsx

ルリドラゴンとずと真夜？の動画最高すぎ

スケコマシの才能？

いや、可愛すぎやろ

https://youtu.be/80islLpIrLs?si=7E2KxFjCeJ9iH80d

松屋行ってウォーキングなう

そういえば、Juliaって今も流行ってるのかしら

まあ言語仕様をDeepResearchさせてから一緒に渡せばいけるかもしれんが

TLA+もo1 proで不可能！

ビールの方が苦いっぽい

首折られた人は成仏してクレメンス

過酷な美容院やな

ま、俺にとってはビール

これ発泡酒か！

あー、甘すぎない苦さがうめー

ビール！🍺

シュレディンガーの確定申告