記事
- 2019/05/05 - 銭けっと（5/3）にて数学入門書（圏論）を頒布してきました！
- 2019/04/18 - 銭けっと（5/3）にて数学入門書（圏論）を頒布します！
- 2019/04/17 - 技術書典6で数学入門書（圏論）を頒布してきました！
- 2019/03/29 - 正誤表 - 矢澤にこ先輩といっしょに代数！
- 2019/03/16 - 技術書典6にて圏論入門小説を頒布します！（こ11）（サンプルpdfあり）
- 2019/03/16 - 正誤表 - せつラボ 〜圏論の基本〜
- 2019/02/08 - List<Either<E, A>>からEither<List<E>, List<A>>を取らない
- 2019/01/25 - Google Drive REST API Javaで検索条件を指定する
- 2019/01/04 - 2018年振り返り（Haskell Day・.vimconf.swp・技術書典5・...）
- 2018/12/26 - Vim scriptに静的型付けを導入するTime script
- 2018/12/02 - Vim Advent Calendar 2018ボツ記事（vital.vimで関数型プログラミング入門）
- 2018/11/12 - HaskellDay 2018で登壇してきた（代数的構造について）
- 2018/10/10 - 技術書展5で代数的構造の本を頒布してきました🤟🙄🤟
- 2018/09/12 - 技術書典5に参加します！（か74）
- 2018/08/17 - sbt-doctestはテストプロジェクトのdoctestを見ない
- 2018/07/31 - gitの「Could not execute editor」が出たときは$GIT_EDITORを設定する
- 2018/07/25 - Happyの%tokenではより一般的な形式を下にしなきゃだめ
- 2018/06/30 - VimのQuickFixでelm-makeの結果を表示する設定を書いた
- 2018/06/30 - mtlのExceptTを使うべき。EitherTでもtransformersのExceptTでもなく。
- 2018/06/20 - ScopedTypeVariables下の1ランク多相で型が合わないとき
- 2018/05/26 - HaskellerだけどBoothにマッハ新書出してみた（矢澤にこ先輩と一緒にモナドモナド！）
- 2018/05/22 - gradle buildの出力をVimのQuickFixに表示してエラー箇所にジャンプする
- 2018/05/19 - Xorg環境でディスプレイの解像度ではなく表示倍率を変える--scale
- 2018/05/16 - ブログ名を変更しました（あいや☆ぱぶりっしゅぶろぐ！）
- 2018/04/11 - Arch LinuxでEast Asian Ambiguous charが幅1で表示されることについて
- 2018/02/18 - Run a program of Eff in pure contexts
- 2018/02/17 - IdrisでEffectモジュールなどを使おうとしたときに出るCan't find import Effect/Barの対処
- 2018/02/11 - IdrisとHaskellの差異「依存型のパターンマッチが可能」
- 2018/02/09 - IdrisのREPLの設定ファイルは~/.idris/repl/init
- 2018/02/04 - Haskellのdoctest (ghci) の:{..:}中のletでincorrect indentation