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

関数型プログラミング言語Haskellat TECH

関数型プログラミング言語Haskell - 暇つぶし2ch293:デフォルトの名無しさん
02/07/16 10:17
linear logic (線形論理) ね。
論理にヨワい自分は岩波の 2 冊本
「コンピュータサイエンス入門」
で、やっとこ様相論理に辿り付いたトコなんで
有意義な助言はできんが...

とりあえずロジックに関してどれくらいわかってます ?
>>291

次ページ