14/03/16 01:13:25.32
URLﾘﾝｸ(pc.watch.impress.co.jp)
頭ロボ君大学入試でTarski-Saidenbergの定理使うとかまじヤバいｗｗｗ
l'Hopitalならまだしも、「Tarskiの量化子除去を行うことにより～～」とか
入試答案に書かれたら東大や京大の教授でも顔を顰めるだろうなｗ
14/03/16 01:13:25.32
URLﾘﾝｸ(pc.watch.impress.co.jp)
頭ロボ君大学入試でTarski-Saidenbergの定理使うとかまじヤバいｗｗｗ
l'Hopitalならまだしも、「Tarskiの量化子除去を行うことにより～～」とか
入試答案に書かれたら東大や京大の教授でも顔を顰めるだろうなｗ