お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

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

6月

16

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

「5.4 単一マス目拡張」~「6.2 リスト上の帰納法」

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

参加枠1

無料

先着順
4/15

申込者
fishii
YoshinobuMizumachi
Chuui
lawtwai
申込者一覧を見る
開催日時
2017/06/16(金) 22:00 ~ 23:30
募集期間

2017/06/04(日) 17:00 〜
2017/06/15(木) 22:00まで

会場

Skype

会場のサイトを見る

イベントの説明

勉強会の概要

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

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

題材のURL

想定する参加者

  • 『関数プログラミング入門 ―Haskellで学ぶ原理と技法―』で挫折した方
  • 論証を使って,プログラムを書くことに興味がある方
注意: 管理者のレベルの問題

Haskellの歴史は長いですが,管理者のHaskell歴は短いです。Haskell初心者であり,学習している過程です。すごいHaskellerによる勉強会を期待する方,または首都圏の方は,ヘイヘイHasekll騎士団さんの勉強会に参加することが賢明かと思います。

第7回の内容

扱う内容

「5.4 単一マス目拡張」から「6.2 リスト上の帰納法」の進められるところまで

ただし,「5.5 練習問題」は,時間中に取り扱いません。

今回の進め方

書籍の内容についてわからないことがあるかどうかを確認しながら,読み進めるスタイルにします。

関数の変換の過程を,できれば idroo を用いて証明するようにします。

タイムスケジュール

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

注意事項

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

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

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

フィード

lawtwai

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

2017/06/04 17:09

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

グループ

Haskell with Skype

イベント数 162回

メンバー数 59人

終了

2017/06/16(金)

22:00
23:30

募集期間
2017/06/04(日) 17:00 〜
2017/06/15(木) 22:00

会場

Skype

Skype

管理者

参加者(4人)

fishii

fishii

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

YoshinobuMizumachi

YoshinobuMizumachi

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

Chuui

Chuui

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

lawtwai

lawtwai

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

参加者一覧(4人)

キャンセルした人(1人)