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