PDFリーダーのソース配布 (Windowsへの移植)とAgdaの教科書のご紹介
まえがき Windows10 Windows10(pro/home)でも動作することを確認しました(Ubuntuでのインストール手順はこち...
PDFリーダーのソース配布 (Haskell gi-gtkによる実装)
まえがき 普段遣いできるレベルにはなりましたのでPDFリーダー（二号機）のソースを公開します(試行錯誤の痕跡が残ったソースになっています。...
２号機の作成について
ご無沙汰しております。ここ数週間は例のPDFリーダーの２号機を作成していました。普段遣いできるレベルにはなってきているので近いうちにソースを...
Haskell勉強会準備室6 （ファイル出力）
前回はラムダ式とwhere節について学びました。 これらは高階関数を活かすためのギミックでした。 今回はファイル入出力と、ガード、高階関数f...
【次回予告】Haskellと自然言語処理の勉強会 -ご案内
コロナウイルス感染拡大が収束したら、下の内容で勉強会を再度開く予定です。 その際はよろしくお願いします（以下、中止前に掲載した内容です）。 ...
【中止・延期】Haskellと自然言語処理の勉強会(March 2020)
直近のコロナウイルスの感染拡大を鑑み、３月８日のイベントは中止しました。 事態が収束するまで延期させてください。 私自身、とても楽しみにして...
Haskell勉強会準備室5 （ラムダ式とレキシカルスコープ）
今回は高階関数をサポートするギミックであるラムダ式とwhere節を学んでいきます。 高階関数はλ式、where節とセットになることで真価を発...
Haskell勉強会準備室4 （はじめての高階関数）
今回は、結構盛り沢山です。 高階関数（takeWhile, dropWhile, map, zip）、λ式（ラムダ式、lambda Expr...
Haskell勉強会準備室３ （Data.Listの関数の紹介とタプル）
前回はIOについてのざっくりした説明をしました。 ここからはmapという高階関数、タプル、関数定義、λ式（ラムダ式、lambda Expre...
Haskell勉強会準備室2（純粋な型、不純な型(IO)）
前回はmecab関連の手製の関数の説明の際に、 型についての基本的な勉強をして終わりました。 今回は上記関数の型に戻ります。 純粋な型、...