ATND アテンド β PRODUCED BY RECRUIT

ログイン or 無料登録

第6回 スタートHaskell

スタートHaskell :: [初心者] → IO [経験者] -- 遅延評価とプログラムの論証について

Default latent
日時 :
2012/01/28 (土) 13:00 ~ 18:00
定員 :
70人
会場 :
IIJ 大会議室 (17階)(東京都千代田区神田神保町1-105 神保町三井ビルディング)
URL :
http://http://www.iij.ad.jp/
主催者 :
ハッシュタグ :
#start_haskell

更新(1/9)

新刊「簡約!? λカ娘(二期)」 の頒布があります。


遅延評価とプログラムの論証について

Haskell入門者のための勉強会 スタートHaskell第6回 (最終回)のATNDです。

スタートHaskellは、入門者から初心者の方を対象に、実際にコーディングをしながらHaskellを学ぶ勉強会です。月1回ペースで全6回を予定しています。

今回は プログラミングHaskell12章 から 13章 までの範囲の演習問題をみんなで解いていきます。

12章:遅延評価
13章:プログラムの論証

また 新刊「簡約!? λカ娘(二期)」 の頒布があります。

タイムテーブル

12:50 までにIIJ 1Fロビー チェンバロ前に集合
時間 内容 発表者
13:00 – 13:05 会場案内
13:05 – 13:25 発表:第12章:遅延評価 imsutenさん
13:25 – 14:55 発表:第12章の練習問題 下記参照
14:55 – 15:15 休憩(スタートHaskellアンケートあり)
15:15 – 15:35 発表:第13章:プログラムの論証 imsutenさん
15:35 – 17:05 発表:第13章の練習問題 下記参照
17:05 – 17:35 LT枠(3分x10人くらい、飛び入り歓迎)
17:35 – 18:00 そのほかのHaskell勉強会の紹介

アンケート

スタートHaskell #6 アンケート

練習問題の担当

練習問題の発表者を募集中です。
グーグルグループ か、ATNDのコメントでご連絡ください。

12章

番号 担当
問題1 choplin(仮)
問題2 choplin(仮)
問題3 choplin(仮)
問題4 shokos
問題5 dekosuke
問題6 beketa

13章

番号 担当
問題1 m.yamamoto
問題2 nagaet
問題3 nagaet
問題4 nagaet(仮)
問題5 nagaet(仮)
問題6
問題7 masterq
問題8 sat0_da
問題9 seizans
問題10 beketa

事前準備

Haskell Platformインストールのガイドライン、 Linux版 , Mac版 , Windows版 を参考にしてください。
スタートHaskellのグーグルグループ にも連絡を流すことがあります。

持ち物

会場には無線LANと電源を用意してあります。

集合場所

IIJ
12:50 までにIIJ 1Fロビー チェンバロ前に集合お願いします。

会議室は禁煙です。近くに喫煙所があります。
飲食は常識の範囲でお願いします。飲み物の自動販売機があります。
ネットワークは無線LANがあります。
休日は直接会場にお越しいただけませんので、この集合場所でお待ちください。
遅れた方は #start_haskell宛にツイートか、中の人に助けを求めてください。。

費用

無料

懇親会

勉強会終了後、別のお店で行う予定。参加者は当日募集します。

スタートHaskellについて

Twitter @start_haskell
ハッシュタグ #start_haskell
メーリングリスト start-haskell@googlegroups.com
ライブ中継 Justin.tv , USTREAM
  • このコメントは全員が閲覧、すべてのログインユーザーが投稿することができます
Dien island
Dien island - (2014/03/11 (火) 11:30)
ブログ圏の中でも新鮮で、素晴らしい情報だと思います。短いですが、正確な情報をシェアして頂いてありがとうございます!必見の記事ですね! link wheel

コメントを投稿するには、ログインしてください。

掲載されるイベント情報は、利用者の皆様によりご提供いただくものであり、株式会社リクルートホールディングスは本情報の正確性や内容について、一切保証するものではございません。詳しくは利用規約をご参照ください。