名前：	メール：
メッセージ：	>>5 > フェルマーの最終定理だな。何で今更？ｗ > > 谷山－志村定理の証明と、ヘッケ環の使用に依って解決されている。 > >>1よ、こんな定理より此の問題を解いてみてよｗ > 「ブール式F(x1,x2,…xn)をTrueとする様な > ブール変数x1,x2,…xn∈{True,False}の割り当ては存在するか？ > 但しFはブール変数、￢、∧、∨、（、）、からなる。」
ＵＲＬ：
	sagestay`等幅`	パスワード：