990コメント380KB

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

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

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

2012/01/05(木) 00:31:08.78

もしかして数学の定義を使って証明したことがないじゃなかろうか？

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