ハスケル

再々再度のハスケル

Haskell。もう一度 データ型とか、そもそもの話はこの時期の記事群に、自分が知りたいことが書いてある。すべてはデータ型を定義して、そこから始まる、みたいな。 何か、仕事をしたくなったら、stackを使って、それ専用の環境を作り、パッケージなどもそれ…

遺伝的記法とグッドスタインの定理

昨日のMIKU n進法というのがある。とその係数との和で自然数を表す方法 n進法表記だと、とすることで、k+1個の0,1,...,(n-1)の数値の並びで大きな自然数が表せるのだが、k+1個の並びというのを考えるときにk>nとなって、気持ち悪い、とも感じられる この気持…