今回特有の事項

次回について

• 年内の勉強会は，今回で最後にします。

• 次回の勉強会は，2018-01-12(金) を予定しています。良いお年を。

Discord についての報告

• 現在行なっている勉強会では，管理者の説明能力欠如の問題が起因して，以下の目的のために画面共有が不可欠です:

  • 数式や証明過程を確認するため

  • 図示しながら説明するため

  • コードの実行結果を確認するため

• Discord と Skype の画面共有を比較した場合，共有した画面の表示サイズの点で，若干ながら Skype の方が使いやすい印象がありました。

以上のことから，現在行なっている勉強会では Discord を使用せずに，今まで通り Skype (アドレス: https://join.skype.com/pCAtat30Go3w) を使用することにしました。

画面共有をしない勉強会を行なう機会があれば，改めて Discord の使用を検討しようと思います。

勉強会の概要

『Haskellによる関数プログラミングの思考法』（上記画像は洋書版）を，Skype を使用して管理者が内容の説明を試みつつ読み進めていきます。

• 参加者で協力して学んでいくスタイルの勉強会にする予定です。

• 「何故○○ということを考える必要があるのか」「何故○○という結果になるのか」ということに関心をできるだけ寄せつつ，進めたいと思っています（そのため，進行はとても遅いです）。

題材のURL

• 出版社 (紙書籍): アスキードワンゴさん

• 電子書籍: 達人出版会さん

書籍は必ずご自分で購入してください。

想定する参加者

• 『関数プログラミング入門 ―Haskellで学ぶ原理と技法―』の内容を理解できなかった方（管理者が該当します）

• 無限リストについて，少し学んでみようと思う方または喋りたいと思う方

注意: 管理者のレベルの問題

• すごいHaskellerによる勉強会を期待する方または首都圏の方は，ヘイヘイHasekll騎士団 さんの勉強会や Haskell-jp さんの勉強会に参加することが賢明かと思います。

• 書籍を読み進めるにつれて，Haskellに関連する情報工学の内容（計算可能性問題）や数学的内容（CPO を背景とする内容）が見受けられるようになってきました。上記の内容に関して，管理者は十分に理解した上で勉強会を開催しているわけではありません。

第18回の内容

扱う内容

• 9章 無限リスト

  • 9.3 極限としての無限リスト

  • P.211 "計算可能関数と再帰定義" の手前ぐらいまで

注意

• 「9.3 極限としての無限リスト」の内容は，管理者が『関数プログラミング入門 ―Haskellで学ぶ原理と技法―』を読んでいた際に理解しきれなかった内容です。

• 今回の範囲に関しては，管理者が理解できずに悶々として読み進むことができなくなる恐れがあるため，予習していただけると助かります。

• 間違った説明を行なってしまった際に，その指摘をすることを歓迎します。

参考文献

「9章 無限リスト」 に関しては, 以下の書籍を参考文献として使用する予定です。わかりやすく説明する必要がある箇所や補足説明する箇所があれば, 管理者が理解できる範囲で適宜説明するつもりです (ただし, あまり期待しないでください)。

なお, 参加する方が下記の書籍の購入する必要はありません 。

• 『プログラム意味論』(横内寛文, 1994, 共立出版)

  • 「第3章 領域理論の基礎」

タイムスケジュール

その他

• 参加者の半数に通信障害が生じ 10 分間その状況が継続しているなど， 勉強会を継続することが困難または好ましくないと判断できる事由が生じた場合，その日の勉強会を終了 することがあります。

• 質問の回答を，別の参加者の方にお願いすることがあります。