トップページ⇒tech

1001コメント325KB

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

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

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

2010/06/11(金) 19:50:14

>>467
それは命題論理に対応するっていう話で、代数系じゃないでしょ

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