1001コメント379KB

関数型プログラミング言語Haskell Part27＿©5ch.io

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

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

2015/01/31(土) 12:20:34.48ID:r2W96dEs

仮定を否定するために仮定を借りる背理法を認めるか否か

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