Haskell勉強会準備室0（環境構築周りの変更）
環境構築（再） 昨日の勉強会では残念ながら時間切れで、自分の想定した環境を構築できませんでした。 途中でバグが出ているのが解消で...
Haskellと自然言語処理の勉強会 -目的、方針編
勉強会は以下の目的、方針で進めます。 Haskell勉強会の目的 「自然言語処理（文章の分析、および自由な加工）」と、「目に見...
Haskellと自然言語処理の勉強会 -ご案内
勉強会を開催するつもりです。以前アナウンスした「自分でつくるPDFリーダー」の内容になります。勉強会の成果物をココに載せていき、最後は同人...
技術書同人誌博覧会（続）
LTがグダグダで運営様には申し訳なかったですorz。発表者のせいでこうなってしまった資料が可哀相なのでココ(みらいの速読・熟読技術 -自然...
技術書同人誌博覧会
2019年12月14日に第二回技術書同人誌博覧会(が東京で開催されます。幸運にもその公式パンフレット（）に寄稿する機会を与えてもらえました...
電子文書の速読技術２(速読の通用しない手ごわい文書たち)
各文書について説明資料をスライドと無音の動画で残していましたが、改めて音声付きの動画を作成しました 読み方のコツというかノウハウのよう...
電子文書の速読技術と自然言語のハイライトの可能性
説明資料をPPTで作成しました。これまでの記事のまとめ的なものです。 説明をしていて最も手応...
Agda5(かけ算証明編)
今回はかけ算の定義と、かけ算関連の証明です。最初に目的としていた、 (3 + 4) ✕ 5 = (3 ✕ 5) + (4 ✕ 5) ...
学校でのプログラミング教育について
1 まえがき 他記事のなかでもプログラミング教育について触れてきましたが、ここで一度まとめておこうと思いました（注釈で述べているパ...
Haskellの教科書とか、つまりどころ等
1 前置き 以下、Haskellの勉強を進めたい人に参考になるかも知れない情報です。ただし、個々人でバックボーンとか嗜好がありますの...