プログラミング教育 | ページ 2 | 関数型玩具製作所(旧サイト)

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

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

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

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

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

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

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

１．製作物　　文字列を適当に着色できるPDFリーダー。構文解析を利用している。２．製作物のメリット　　読書速度と精...