数学

scalaz.Treeとカタラン数。そして代数的データ型とzipperと微分

1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58786, 208012, 742900・・・ という数列を知ってますか?カタラン数と言うらしいです。

scalaz.Leibnizの名前の由来

scalazに限らずHaskellもしくはCoqなどの定理証明系の言語の文脈でもLeibniz Equalityという言葉出てくると思いますが、その話

Scalaにおける、 Ring (環)や Field (体) などの数学系の typeclass

「環や体や群とはどういう概念か?」 という説明は面倒なので、ググるか、wikipediaでも読んでください。 日本語版wikipediaの環 日本語版wikipediaの体 現状、自分が把握してるのは、以下の2種類のライブラリ。(他にも存在したら、追記するかもしれないので…