『Haskellによる関数プログラミングの思考法』オンライン勉強会#16
イベント内容
今回特有の事項
- 10/23 (月) に Discord で画面共有を試してみたところ, 画面共有を行なう過程が Skype とが異なっていました (Discord の使い方を把握していないため, より適切な他の方法があるかもしれません):
手順: 内容 | Skype | Discord |
---|---|---|
1: グループの作成 | 会話グループの作成 | サーバーの作成 |
2: 参加者がグループに参加 | 会話グループに参加 | サーバーに参加 |
3: フレンズ申請 | 参加者にフレンズ登録を申請 | |
4: 参加者がフレンズ許可 | フレンズ登録を許可 | |
5: DM の作成 | グループ DM の作成 | |
6: DM に参加者を追加 | グループ DM に追加 | |
7: 通話を開始 | 通話を開始 | ビデオコールを開始 |
8: 画面共有を開始 | 画面共有を開始 | 不要 |
- Skype から Discord に完全移行すると決定したわけではありません。しかし, 試用するにあたり参加者の負担をできるだけ減らしたいと思っております。そこで, 今回に限り, Skype の画面共有を使って Discord の使い方を説明する時間を 10 分ほど設ける予定です。
勉強会の概要
『Haskellによる関数プログラミングの思考法』を,Skype や Slack などを利用して読んでいきます(上記画像は,洋書版)。
-
参加者で協力して学んでいくスタイルの勉強会にする予定です。
-
「何故○○ということを考える必要があるのか」「何故○○という結果になるのか」ということに関心をできるだけ寄せつつ,進めたいと思っています(そのため,進行はとても遅いです)。
-
下記のアドレスに参加登録していた累計人数が 20 人を超えた場合は,勉強会当日の 21:50 頃に下記の URL に新しい URL を掲載する ようにします。20 人未満の場合は,以下の URL のまま会話を始めます。
- Skype の 暫定アドレス: https://join.skype.com/pCAtat30Go3w
題材のURL
想定する参加者
-
『関数プログラミング入門 ―Haskellで学ぶ原理と技法―』の内容を理解できなかった方(管理者が該当します)
-
時間計算量について,少し学んでみようと思う方または喋りたいと思う方
注意: 管理者のレベルの問題
-
Haskellの歴史は長いですが,管理者のHaskell歴は短いです。 Haskell初心者であり,学習している過程です。すごいHaskellerによる勉強会を期待する方または首都圏の方は,ヘイヘイHasekll騎士団 さんの勉強会や Haskell-jp さんの勉強会に参加することが賢明かと思います。
-
書籍を読み進めるにつれて,Haskellに関連する情報工学の内容(アルゴリズムや計算量,計算可能性問題など)や数学的内容(CPOや圏論を背景とする内容)が見受けられるようになってきました。上記の内容に関して,管理者は十分に理解した上で勉強会を開催しているわけではありません 。勉強会を通じて,学んでいこうという所存です。また, 勉強会中に話した内容に誤りがあった場合,後日訂正することがあります。
-
管理者の知識不足が明白になっており,限界を痛感しています。そのため,質問の回答を別の参加者の方にお願いすることがあります 。
第16回の内容
扱う内容
-
7章 効率
-
7.7 ソート(途中から)
-
「蓄積引数とタプリング法の類似点と相違点」(前回やるのを忘れていました)
-
-
9章 無限リスト
- 9.1 復習
参考文献
「9章 無限リスト」 に関しては, 以下の書籍を参考文献として使用します。わかりやすく説明する必要がある箇所や補足説明する箇所があれば, 管理者が理解できる範囲で適宜説明するつもりです (ただし, あまり期待しないでください)。
なお, 参加する方が下記の書籍の購入や該当箇所の予習する必要はありません 。
-
『プログラム意味論』(横内寛文, 1994, 共立出版)
- 「第3章 領域理論の基礎」
タイムスケジュール
時刻 | 内容 |
---|---|
22:00 ~ 23:10 | 読書・ 質疑 |
23:10 ~ 23:20 | Discord の簡単な使い方 (予定) |
23:20 ~ 23:30 | 次回の案内 |
注意事項
-
11 月を目処に, Discord を試験的に利用しようと思います。
-
参加者の半数に通信障害が生じ 10 分間その状況が継続しているなど, 勉強会を継続することが困難または好ましくないと判断できる事由が生じた場合,その日の勉強会を終了 することがあります。
注意事項
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。