「プログラミング教育」一覧

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

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

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

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