「依存型」一覧

今回はかけ算の定義と、かけ算関連の証明です。最初に目的としていた、 (3 + 4) ✕ 5 = (3 ✕ 5) + (4 ✕ 5) ...

今回はたし算に関する証明をいくつか行っていきます。以下のファイルを用意しました(。(1)から開始してください。証明を行うためのいくつかのお...

今回は、Agdaというプログラミング言語で、 自然数と足し算を作っていきます。（※１） ゲーム世界の神様になるような箱庭的要素があり...

Windows10環境での、Agdaのインストール手順を動画にしました。Agda本体とそれ用のエディタ(Spacemacs)をインストールし...

AgdaというHaskellとは違うプログラミング言語を触り始めました。実は以前から少し触っていたのですが、PDFリーダーの試作を始めてか...