お知らせ ビープラウド、「90日で稼げるプログラマーに」オンライン学習サービス「PyQ(パイキュー)」を販売開始

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

7月

14

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

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

ハッシュタグ :#tfh_hs
募集内容

参加枠1

無料

先着順
6/10

イベントの説明

勉強会の概要

『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 により,お伝えします。
    • 参考: 参加者へ一括メッセージを送る

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

lawtwai

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

2017/07/02 13:38

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

終了

2017/07/14(金)

22:00
23:30

募集期間
2017/07/02(日) 13:00 〜
2017/07/13(木) 22:00

会場

Skype & Slack

Skype & Slack

管理者

参加者(6人)

usamik26

usamik26

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

KanSAKAMOTO

KanSAKAMOTO

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

fishii

fishii

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

Chuui

Chuui

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

YoshinobuMizumachi

YoshinobuMizumachi

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

lawtwai

lawtwai

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

参加者一覧(6人)