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

自分でつくるPDFリーダー2(Haskellの環境構築)

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

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

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

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

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

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

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

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