教育 | ページ 2 | 関数型玩具製作所(旧サイト)

Haskellと自然言語処理の勉強会 -目的、方針編

勉強会は以下の目的、方針で進めます。 Haskell勉強会の目的「自然言語処理（文章の分析、および自由な加工）」と、「目に見...

勉強会を開催するつもりです。以前アナウンスした「自分でつくるPDFリーダー」の内容になります。勉強会の成果物をココに載せていき、最後は同人...

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

1 まえがき他記事のなかでもプログラミング教育について触れてきましたが、ここで一度まとめておこうと思いました（注釈で述べているパ...

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

自分でつくるPDFリーダーという題目で展開していく予定（※1）でしたが、現状ではAgdaやHoTT（Homotopy Type Theor...

まず、Haskellの開発環境を構築する必要があります。すでにHaskellの環境を構築されている方、Linuxとか分かっている人...

PDFリーダーに関して、周りの人から動画ではイマイチだけど触ってみるとかなりポテンシャルを感じる、という意見をもらっています。そこ...

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

先日、友人にこのPDFリーダーが有効な領域についての感想をもらったのですが、「予めどういう単語が重要かが分かっているケース」、 ...