【朗報】京大情報学部の宿題「ChatGPTでレポートを書け。人間が作文することは認めない」

[534 それでも動く名無し 2023/04/22(土) 17:38:34.71 ID:hKjc5mwW0]

>>513
ググった感じたぶんMSOって単項二階述語論理(monadic second-order logic)のことやろうから違うんじゃね？