グレブナー基底大好きbotさんによるまとめ
「グレブナー基底で嘘を見抜く」
https://togetter.com/li/904433
・「A～Dの4人のうち，嘘をついているのは誰か？」
という #論理パズル。
・論理を連立方程式で表現し，
#グレブナー基底 を使って
機械的に解くことができる。
@gunron-tan.bsky.social
@gunron-tan.bsky.socialグレブナー基底大好きbotさんによるまとめ
「グレブナー基底で嘘を見抜く」
https://togetter.com/li/904433
・「A～Dの4人のうち，嘘をついているのは誰か？」
という #論理パズル。
・論理を連立方程式で表現し，
#グレブナー基底 を使って
機械的に解くことができる。
@daigaku-suugaku.bsky.socialグレブナー基底大好きbotさんによるまとめ
「グレブナー基底で嘘を見抜く」
https://togetter.com/li/904433
・「A～Dの4人のうち，嘘をついているのは誰か？」
という #論理パズル。
・論理を連立方程式で表現し，
#グレブナー基底 を使って
機械的に解くことができる。