トップページ
⇒
tech
976コメント
334KB
関数型プログラミング言語ML
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0128
デフォルトの名無しさん
NG
NG
>>127
ヘンペルのカラスを持ってこられてれも。
単に、量化子を「あらゆる世界において」とする論理学の構造問題だよ。
カラスと蝶々に共通するものを研究する必要があればそうするし、
そうでなければしないだけ。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています