Haskell勉強会準備室2(純粋な型、不純な型(IO))
前回はmecab関連の手製の関数の説明の際に、 型についての基本的な勉強をして終わりました。 今回は上記関数の型に戻ります。 純粋な型、...
per altera ad ipsa
前回はmecab関連の手製の関数の説明の際に、 型についての基本的な勉強をして終わりました。 今回は上記関数の型に戻ります。 純粋な型、...
VSCodeで勉強会を進めることになったので、VSCodeにある程度慣れてから第二回を開こうと思っています。 目標としては2月下旬から3月上...
環境構築(再) 昨日の勉強会では残念ながら時間切れで、自分の想定した環境を構築できませんでした。 途中でバグが出ているのが解消で...
勉強会は以下の目的、方針で進めます。 Haskell勉強会の目的 「自然言語処理(文章の分析、および自由な加工)」と、「目に見...
勉強会を開催するつもりです。以前アナウンスした「自分でつくるPDFリーダー」の内容になります。勉強会の成果物をココに載せていき、最後は同人...
今回はかけ算の定義と、かけ算関連の証明です。最初に目的としていた、 (3 + 4) ✕ 5 = (3 ✕ 5) + (4 ✕ 5) ...
1 まえがき 他記事のなかでもプログラミング教育について触れてきましたが、ここで一度まとめておこうと思いました(注釈で述べているパ...
1 前置き 以下、Haskellの勉強を進めたい人に参考になるかも知れない情報です。ただし、個々人でバックボーンとか嗜好がありますの...
今回はたし算に関する証明をいくつか行っていきます。以下のファイルを用意しました(。(1)から開始してください。証明を行うためのいくつかのお...
自分でつくるPDFリーダーという題目で展開していく予定(※1)でしたが、現状ではAgdaやHoTT(Homotopy Type Theor...