トップページ⇒tech

981コメント365KB

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

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

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

2014/12/15(月) 22:50:45.21ID:/4FvCJJ7

>>684
計算可能性を圏論で表現すると、定理をHaskellでデモできる

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