981コメント365KB

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

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

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

2014/09/16(火) 22:54:33.82ID:mBp/kqIp

>>176
数学的に、つまりバードの「関数プログラミング入門」の中に出てくるみたいな
人間にとって readable な証明を望むのか、それとも Coq などのツールを使った
、可読性は低くても疑義のない証明を望むのか

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