お知らせ 【グループ管理者の皆さま】成長し続けるエンジニアを支援する「Forkwell」と「connpass」が連携し、connpass上でイベントを開催するグループを2020年3月末まで支援いたします。詳しくはこちら by Forkwell

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

7月

14

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

「6.3 foldr 関数」の「融合変換」から

Hashtag :#tfh_hs
Registration info

参加枠1

Free

FCFS
6/10

Description

勉強会の概要

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

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

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

題材のURL

想定する参加者

  • 『関数プログラミング入門 ―Haskellで学ぶ原理と技法―』で挫折した方
  • 「畳み込み関数の性質,畳み込み関数と証明の関係」に興味がある方(証明方法と証明に関する記述方法は,書籍の方法に依拠します)
注意: 管理者のレベルの問題
  • Haskellの歴史は長いですが,管理者のHaskell歴は短いです。Haskell初心者であり,学習している過程です。すごいHaskellerによる勉強会を期待する方,または首都圏の方は,ヘイヘイHasekll騎士団さんの勉強会に参加することが賢明かと思います。

  • Haskellに関する理論的な内容や,証明および再帰理論(計算可能性理論)に関する内容の記述が多くなってきました。管理者がすべてを理解した上で勉強会を開催しているわけではありません 。勉強会を通じて,学んでいこうという所存です。

第9回の内容

扱う内容

  • 「6.3 foldr関数」の「融合変換」から

タイムスケジュール

時刻 内容
22:00 ~ 23:20 読書・ 練習問題・質疑
23:20 ~ 23:30 次回の相談

注意事項

  • 管理者の対応能力の限界という問題のために,恐縮ですが質疑応答に参加したい方は,Slackのグループ に参加登録してください。
  • 勉強会に関する質問がある方は,connpass または Twitter または Slack でご連絡ください。
  • 資料は,基本的にアップロードしません。
  • 質疑応答は,原則 Slack 内で行ないます。参加人数の関係から,Skype での音声による質問または Slack での文字による質問のいずれでも OK です。
  • Skype の URL は,前回と同じもの を使用します。
    • 前回参加していなかった方がいた場合は,connpass の参加者への一括メール機能または個別に Twitter により,お伝えします。
    • 参考: 参加者へ一括メッセージを送る

Media View all Media

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

Feed

lawtwai

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

07/02/2017 13:38

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

Group

Haskell with Skype

Number of events 88

Members 60

Ended

2017/07/14(Fri)

22:00
23:30

Registration Period
2017/07/02(Sun) 13:00 〜
2017/07/13(Thu) 22:00

Location

Skype

Skype

Organizer

Attendees(6)

usami-k

usami-k

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

KanSAKAMOTO

KanSAKAMOTO

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

fishii

fishii

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

Chuui

Chuui

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

YoshinobuMizumachi

YoshinobuMizumachi

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

lawtwai

lawtwai

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

Attendees (6)