Move to front変換（先頭移動法)の話とHaskellでの実装

Move to front変換とは? 関数プログラミング珠玉のアルゴリズムデザイン作者: Richard bird,山下伸夫出版社/メーカー: オーム社発売日: 2014/11/12メディア: 単行本（ソフトカバー）この商品を含むブログ (1件) を見るのBurrows Wheeler Transformに関する…

2014-12-22

無限リスト入門

これはAizu Advent Calendar 2014 22日目の記事です。前 @ishi_kuro 次 @youxkei 告知ではCoqの記事を書くとかのたまってましたが、僕には無理でした。ごめんなさい。だれか僕に依存型教えてください。ということで(?)、代わりにHaskellの無限リストのこと…

2014-12-21

Haskellの自然数が自然数じゃないという話(?)

12/26 追記断定で書くほど、よくわかってる話でもないので、タイトルに疑問符追加 Haskellで、自然数の集合に対応する型は、以下のように定義できるように思えます (ここでの自然数は、0を含んでいるとします)。自然数(?)Natの定義 data Nat = O | S Nat …

2014-11-11

ブログ始めるぞ

テストとーこー。