Haskellの実用例 | 関数型玩具製作所(旧サイト)

Haskellと自然言語処理の勉強会 -ご案内

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

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

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

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

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

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

今回は大学の法学（具体的には民法）の講義で配布されるレジュメに製作物を適用しました（※１）（資料リンク）最終形態のみをお見...

今回は英語文書に適用した例を紹介します。（動画があると解りやすいとのことでしたので、最下部に追加しました。）　 ...

2019/4/21 特許

特許文書に本製作物を適用してみます。適用結果の説明の前に、前回の特許庁の検索サイトの結果を見てください。「人工知能」とい...

2019/4/21 契約書

前回は契約書へ適当な着色を施し、読みやすくするというソフトウェアについて紹介しました。今回は、どのような点に工夫があるかについてご説明しま...