1001コメント283KB

関数型プログラミング言語Haskell Part20

■ このスレッドは過去ログ倉庫に格納されています

0034デフォルトの名無しさん

2012/10/18(木) 22:30:06.88

とにかく解いたと仮定する
矛盾するまで仮定するのをやめない

■ このスレッドは過去ログ倉庫に格納されています