技術書同人誌博覧会
2019年12月14日に第二回技術書同人誌博覧会(が東京で開催されます。幸運にもその公式パンフレット（）に寄稿する機会を与えてもらえました...
電子文書の速読技術２(速読の通用しない手ごわい文書たち)
各文書について説明資料をスライドと無音の動画で残していましたが、改めて音声付きの動画を作成しました 読み方のコツというかノウハウのよう...
電子文書の速読技術と自然言語のハイライトの可能性
説明資料をPPTで作成しました。これまでの記事のまとめ的なものです。 説明をしていて最も手応...
Agda5(かけ算証明編)
今回はかけ算の定義と、かけ算関連の証明です。最初に目的としていた、 (3 + 4) ✕ 5 = (3 ✕ 5) + (4 ✕ 5) ...
学校でのプログラミング教育について
1 まえがき 他記事のなかでもプログラミング教育について触れてきましたが、ここで一度まとめておこうと思いました（注釈で述べているパ...
Haskellの教科書とか、つまりどころ等
1 前置き 以下、Haskellの勉強を進めたい人に参考になるかも知れない情報です。ただし、個々人でバックボーンとか嗜好がありますの...
Agda4(たし算証明編)
今回はたし算に関する証明をいくつか行っていきます。以下のファイルを用意しました(。(1)から開始してください。証明を行うためのいくつかのお...
自分でつくるPDFリーダー3(一時中断編)
自分でつくるPDFリーダーという題目で展開していく予定（※1）でしたが、現状ではAgdaやHoTT（Homotopy Type Theor...
自分でつくるPDFリーダー2(Haskellの環境構築)
まず、Haskellの開発環境を構築する必要があります。 すでにHaskellの環境を構築されている方、Linuxとか分かっている人...
自分でつくるPDFリーダー1
PDFリーダーに関して、周りの人から動画ではイマイチだけど触ってみるとかなりポテンシャルを感じる、という意見をもらっています。 そこ...