Agda2（環境構築編）
Windows10環境での、Agdaのインストール手順を動画にしました。Agda本体とそれ用のエディタ(Spacemacs)をインストールし...
「教育」一覧
Agda1（紹介編）
AgdaというHaskellとは違うプログラミング言語を触り始めました。実は以前から少し触っていたのですが、PDFリーダーの試作を始めてか...
法学のレジュメ
今回は大学の法学（具体的には民法）の講義で配布されるレジュメに製作物を適用しました（※１） （資料リンク） 最終形態のみをお見...
英語文書1
今回は英語文書に適用した例を紹介します。 （動画があると解りやすいとのことでしたので、最下部に追加しました。） ...
製作物の紹介＆お願い事項
１．製作物 文字列を適当に着色できるPDFリーダー。構文解析を利用している。 ２．製作物のメリット 読書速度と精...