お知らせ 9月24日(木)10:00から2時間ほど、サーバーのメンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

このエントリーをはてなブックマークに追加

Dec

1

『Haskellによる関数プログラミングの思考法』オンライン勉強会#17

P.204 無限リストの無限リストから

Hashtag :#tfh_hs
Registration info

参加枠1

Free

FCFS
4/10

Description

今回特有の事項

はじめて 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 の正規アカウントを登録した上で試すことを推奨いたします

  • アプリ

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

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

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

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

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

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

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

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

画面共有について

画面共有に関するの画像付き記事: 「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 に関する注意事項

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

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

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

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

勉強会の概要

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

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

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

題材のURL

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

想定する参加者

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

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

注意: 管理者のレベルの問題
  • すごいHaskellerによる勉強会を期待する方または首都圏の方は,ヘイヘイHasekll騎士団 さんの勉強会や Haskell-jp さんの勉強会に参加することが賢明かと思います。

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

第17回の内容

扱う内容

  • 9章 無限リスト

    • 9.1 復習

    • 9.2 循環リスト

参考文献

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

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

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

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

タイムスケジュール

時刻 内容
22:00 ~ 22:10 Discord を使えるかの実験時間
22:10 ~ 23:20 読書・ 質疑
23:20 ~ 23:30 次回の案内

注意事項

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

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

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

lawtwai

lawtwai wrote a comment.

2017/11/23 09:21

前回 (20171117), 私事により中止したイベントの日程変更の回です。

lawtwai

lawtwai published 『Haskellによる関数プログラミングの思考法』オンライン勉強会#17.

11/23/2017 09:15

『Haskellによる関数プログラミングの思考法』オンライン勉強会#17 を公開しました!

Group

Ended

2017/12/01(Fri)

22:00
23:30

Registration Period
2017/11/23(Thu) 09:00 〜
2017/12/01(Fri) 21:30

Location

Discord or Skype

Discord or Skype

Organizer

Attendees(4)

lawtwai

lawtwai

『Haskellによる関数プログラミングの思考法』オンライン勉強会#17 に参加を申し込みました!

KanSAKAMOTO

KanSAKAMOTO

『Haskellによる関数プログラミングの思考法』オンライン勉強会#17 に参加を申し込みました!

fishii

fishii

『Haskellによる関数プログラミングの思考法』オンライン勉強会#17 に参加を申し込みました!

YoshinobuMizumachi

YoshinobuMizumachi

『Haskellによる関数プログラミングの思考法』オンライン勉強会#17 に参加を申し込みました!

Attendees (4)

Canceled (1)