グレブナー基底で嘘を見抜くグレブナー基底大好きbot @groebner_basis 【グレブナー基底で嘘を見抜く①】 このアンケートの問題を今から、グレブナー基底を用いて機械的に解いてみたいと思うぶなっ！ みんなも一度この問題について考えてみてぶなっ！ グレブナー基底大好きbot @groebner_basis 【グレブナー基底で嘘を見抜く②】 一応、アンケートの問題を文字に起こすと、 問題「次のうち嘘をついているのは誰か？」 A「Bは正しい」 B「CかDは正しい」 C「Dは嘘を付いている」 D「嘘をついているのは１人だけだ」 便宜上、回答１～４をA～Dに置き換えたぶなっ！ グレブナー基底大好きbot @groebner_basis 【見抜く③】 まずは、この問題を「多項式」で置き換えたいと思うぶなっ！ A、B、C、Dの主張にそれぞれ x ,y, z, w という変数を割り当て、主張が正しいときには0, 正しくな
