今回特有の事項

はじめて Discord による勉強会を行ないます（試用）。

• サーバーのURL: https://discord.gg/GH5KZ7R (参加可能人数: 暫定的に残り 6 人まで)

• 当勉強会では，以下の目的のために画面共有を行なっています:

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

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

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

勉強会開始までの流れ

画面共有を用いますので，勉強会開催中は上記サーバー内ではなく，以下に記載した手順に則り DM 内で通話を行ないます。

1. 管理者が，DM を作成する

2. 管理者が，上記 DM に参加者を登録する

3. 管理者が，音声通話開始ボタンを押す

4. 管理者が，管理者の画面を表示するために画面共有ボタンを押す

申し訳ないですが，下記の三点の事情により，上記サーバーに当日の 21:50 までに一度アクセスするようにご協力お願いいたしします

• 勉強会中に使用する DM に参加者の方を招待するには，フレンズ申請・承諾というステップを要するため

• DM に招待する参加者の方を特定するため

• 勉強会開始前に予めできることを可能な限り行なっておいて，Discord の試用時間を十分に確保したいため

Discord を使用する環境

Discord を使用する環境に関しては，以下の点を考慮くださいますようにお願いします

• アカウント

  • Discord の正規アカウントを登録しておくと，DM への招待がスムーズになるかと思います

  • 仮アカウントでも DM に招待できるかを試されたい方は，当日トラブルに遭遇する可能性があるため，Discord の正規アカウントを登録した上で試すことを推奨いたします

• アプリ

  • Discord のサイト からダウンロードできる Windows または macOS のネイティブアプリを使用することを推奨します

  • Discord は WebRTC を有効活用しているため，Chrome や Firefox などの Web ブラウザで使用することもできます。しかし，今回はできるだけ Web ブラウザで使用しないようにしてください

    • 参考: 「Discord の採用している技術」 (V, 20171008, Medium) https://medium.com/@voluntas/discord-%E3%81%AE%E6%8E%A1%E7%94%A8%E3%81%97%E3%81%A6%E3%81%84%E3%82%8B%E6%8A%80%E8%A1%93-8f26173e283c

はじめの 10 分間 (22:00 ~ 22:10)

はじめの 10 分間は， 以下のことを確かめるための時間になるかと思われます

• 参加者が適切に DM に参加できているか

  • サーバーと DM の違いで混乱が生じないか

  • DM へのユーザー追加の際に問題が生じないか

• Discord で問題なく画面共有ができるか

• Discord で問題なく音声共有ができるか

はじめの 10 分が経過後，実際に勉強会を行なうにあたり Discord では問題があった場合は， 今まで通り Skype で行なうようにします

• Skype: https://join.skype.com/pCAtat30Go3w

画面共有について

画面共有に関するの画像付き記事: 「Discord のビデオ通話と画面共有機能の利用方法」(20171008) https://loumo.jp/wp/archive/20171008120030/

• 注意1: Firefox (ver 56.0.2, mac ) で表示しようとしたところ，「loumo.jp は不正なセキュリティ証明書を使用して」いるため，上記サイトを表示できませんでした。Safari (ver 11.0.1, mac ) で試したところ，表示できました。

• 注意2: Ad Blocker, JavaScript 制御するアドオンを導入している場合，記事の本文 (画像付き) が見えないことがありました。

以上の二点の注意事項から，サイトにアクセスすることを躊躇われる場合は，次の別サイトの記事をご覧ください:

• 「Discordの全ユーザーがビデオ通話と画面共有機能を利用可能に」(20171007) https://maruhoi.com/news/discord-screensharing-and-video-call-available-for-user/

Discord に関する注意事項

• プライバシーの観点から，ご自身のプライベートなことがさらされないように，以下のような自己防衛を行なうことを推奨いたします

  • パソコンのデスクトップ画面を整理する

  • カメラ付きパソコンの場合，カメラでご自身が写らないようにする

• 試用のため，まだ使い方がいまいちわかっていないのが実情です。案内不足やトラブルが発生する可能性があります。ご了解願います。

勉強会の概要

『Haskellによる関数プログラミングの思考法』を，Discord または Skype を利用して読んでいきます（上記画像は，洋書版）。

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

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

題材のURL

• 出版社: アスキードワンゴさん

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

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

想定する参加者

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

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

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

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

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

第17回の内容

扱う内容

• 9章 無限リスト

  • 9.1 復習

  • 9.2 循環リスト

参考文献

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

なお, 参加する方が下記の書籍の購入や該当箇所の予習する必要はありません 。

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

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

タイムスケジュール

注意事項

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

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