ATND アテンド β PRODUCED BY RECRUIT

ログイン or 無料登録

型レベルプログラミングの会

Types as Programming Languages

日時 :
2009/04/18 (土) 12:00 ~ 18:00
定員 :
30人
会場 :
サイボウズ・ラボ(東京都港区赤坂2-17-22)
URL :
http://labs.cybozu.co.jp/access.html
主催者 :

C++のテンプレートメタプログラミングやHaskellの型クラスメタプログラミングに代表される、「型の上で計算する」手法について語り合いましょうという趣旨の集まりです。型レベルプログラマーの間で言語の垣根を越えた技術交流ができればいいなーと思っています。それぞれの言語での型レベルプログラミングの基本について簡単に誰かが解説したあと、好き勝手にテクニックやライブラリ紹介などしゃべりたい人がしゃべります。

当日は ustream で中継する予定です。

演目:

  1. 12:15頃~ : Scala で型レベルプログラミング (kmizushima)
  2. 13:00頃~ : C++, 可変引数テンプレートでの型リスト (faith_and_brave)

    (休憩)
  3. 14:00頃~ Haskell FunDeps による型レベルプログラミング (keigoi)
  4. 14:45頃~ Haskell, Type Function 派 (shelarcy)

    (休憩)
  5. 15:45頃~ typeLevel!(D).programming (kinaba)
  6. 16:30頃~ 依存型プログラミング (ikegami)
  7. 17:15頃~ G’Caml で (ytqwerty)

発表時間や休憩の入れ方はおおよその目安です。適当に前後にずれることがあります。

現地情報:

  • 日&時:4/18(土) 12:00 ~ 18:00
  • 懇親会:同 18:45~20:45 (場所: http://r.gnavi.co.jp/a321500/ http://atnd.org/events/512)
  • 場所:サイボウズ・ラボ (http://labs.cybozu.co.jp/access.html)
     ・土曜はビル空いてるとのことでした(^^; 15Fサイボウズラボ前まで各自でいらしてください
     ・ラボは 11:45 頃から空いています
     ・お昼ご飯は各自(持参||済ませてきて)ください
     ・当日、遅れる/遅れそう/欠席などの連絡は kinaba (inabanana8236.at.docomo.dot.ne.dot.jp || 090ごーはちにーにーよんぜろきゅーよん || twitter.com/kinabaに@で) までよろしくお願いします。
  • このコメントは全員が閲覧、すべてのログインユーザが投稿することができます
faith_and_brave
faith_and_brave - (2009/03/16 (月) 23:34)
テンプレートメタプログラミングの基礎スライド書いた~
kinaba
kinaba - (2009/03/16 (月) 23:45)
発表したいテーマや、この人にこの話が聴きたいみたいなのがあれば
適当にここ↓か参加コメント→に書いておいて下さいませ
system360
system360 - (2009/03/18 (水) 22:02)
kinabaさま、はじめまして。日曜以外なら会場ご提供できるかもしれません。知ってる人の参加者が多いみたいなので。必要あれば連絡をください。twitter system360 ぷらっとホーム 秋葉原ダイビルです。日程と時間とかお教えいただければ対応します。
kinaba
kinaba - (2009/03/18 (水) 22:17)
system360さま、はじめまして&ありがとうございます!
会場については、現在、別口で交渉させていただいてるところがあるのですが、
もしそちらが駄目でしたら改めてお願いさせて下さい。重ね重ね、ありがとうございます。
kinaba
kinaba - (2009/03/19 (木) 15:27)
サイボウズラボさんに場所をお借りすることができました。多謝。

>system360さん オファーありがとうございました。また何かの機会がありましたらお願いします。
system360
system360 - (2009/03/20 (金) 11:54)
Kinabaさん、了解です。また何かありましたらどうぞ。
ikegami__
ikegami__ - (2009/03/25 (水) 11:17)
依存型プログラミングについて話します(Agda 2.2.0 (Martin-L\"{o}f 依存型) プログラミング、Haskell による lightweight 依存型)。
ところで、「型」の定義における各方面の深い溝を埋めるための初歩的な講義もあるとよいのではないかと思うのですが、いかがでしょうか。(強い型付けと弱い型付け、関数型と手続き型などでは、「型」の定義が違います)
『言語の垣根を越えた技術交流』の垣根に、型の定義の違いが根ざしていると考えます。
kinaba
kinaba - (2009/04/06 (月) 10:43)
http://atnd.org/events/512

懇親会のページを別途作りました。参加されるご予定の方は、お手数ですがそちらにも登録お願いします。
herumi
herumi - (2009/04/09 (木) 09:59)
定員が30人までOKとなりました.
kinaba
kinaba - (2009/04/09 (木) 12:12)
ありがとうございます!
wraith13
wraith13 - (2009/04/13 (月) 12:51)
12:00 は開始時間ですよね?
開場時間はいつぐらいでしょうか?

# 遅刻の常習犯が訊くことじゃないような気はしますが。(汗
kinaba
kinaba - (2009/04/13 (月) 16:24)
開場について追記しました。reminderありがとうございます。(^^;

ところで、発表順序をおおまかに決めておこうかと思うのですが、
「内容の依存関係等々で誰々の発表よりは後ろがいい」など希望のある方は↓にコメントお願いします。
特に異論無ければ今上に書いてある通りの順番で行こうかと…
kinaba
kinaba - (2009/04/15 (水) 12:50)
ちょい変更しました。15分前開場・ビルは開いているとのことなので15Fまで各自で来て下さい、ということでお願いします。
camlspotter
camlspotter - (2009/04/19 (日) 00:29)
楽しい会でした。企画してくださった kinaba さん、そして会場を提供していただいたサイボウズラボさん、どうもありがとうございました。
ikegami__
ikegami__ - (2009/04/19 (日) 08:19)
とても楽しかったです。ありがとうございました。これを通じて、型について気になる人がどんどん増えてくれるといいなあ。あと、Haskeller はもっと C++ とか D も知るべきだと思った。閉じてるの、よくない。

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

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