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

日時 :: 2009/04/18 12:00 to 18:00

定員 :: 30 人

会場 :: サイボウズ・ラボ（東京都港区赤坂2-17-22）

URL :: http://labs.cybozu.co.jp/access.html

管理者 :: kinaba

ハッシュタグ :: -

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

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

予定地 : http://www.ustream.tv/channel/typelevel

演目:

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

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

(休憩)
15:45頃～ typeLevel!(D).programming (kinaba)
16:30頃～依存型プログラミング (ikegami)
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に@で) までよろしくお願いします。

このコメントは全員が閲覧、すべてのログインユーザが投稿することができます
comment RSS：

faith_and_brave - (2009-03-16 23:34:41 +0900): テンプレートメタプログラミングの基礎スライド書いた～

kinaba - (2009-03-16 23:45:14 +0900): 発表したいテーマや、この人にこの話が聴きたいみたいなのがあれば
適当にここ↓か参加コメント→に書いておいて下さいませ

system360 - (2009-03-18 22:02:10 +0900): kinabaさま、はじめまして。日曜以外なら会場ご提供できるかもしれません。知ってる人の参加者が多いみたいなので。必要あれば連絡をください。twitter system360　ぷらっとホーム　秋葉原ダイビルです。日程と時間とかお教えいただければ対応します。

kinaba - (2009-03-18 22:17:33 +0900): system360さま、はじめまして＆ありがとうございます！
会場については、現在、別口で交渉させていただいてるところがあるのですが、
もしそちらが駄目でしたら改めてお願いさせて下さい。重ね重ね、ありがとうございます。

kinaba - (2009-03-19 15:27:21 +0900): サイボウズラボさんに場所をお借りすることができました。多謝。

＞system360さんオファーありがとうございました。また何かの機会がありましたらお願いします。

system360 - (2009-03-20 11:54:34 +0900): Kinabaさん、了解です。また何かありましたらどうぞ。

ikegami__ - (2009-03-25 11:17:00 +0900): 依存型プログラミングについて話します(Agda 2.2.0 (Martin-L\"{o}f 依存型) プログラミング、Haskell による lightweight 依存型)。
ところで、「型」の定義における各方面の深い溝を埋めるための初歩的な講義もあるとよいのではないかと思うのですが、いかがでしょうか。(強い型付けと弱い型付け、関数型と手続き型などでは、「型」の定義が違います)
『言語の垣根を越えた技術交流』の垣根に、型の定義の違いが根ざしていると考えます。

kinaba - (2009-04-06 10:43:47 +0900): http://atnd.org/events/512

懇親会のページを別途作りました。参加されるご予定の方は、お手数ですがそちらにも登録お願いします。

herumi - (2009-04-09 09:59:07 +0900): 定員が30人までOKとなりました．

kinaba - (2009-04-09 12:12:21 +0900): ありがとうございます！

wraith13 - (2009-04-13 12:51:17 +0900): 12:00 は開始時間ですよね？
開場時間はいつぐらいでしょうか？

# 遅刻の常習犯が訊くことじゃないような気はしますが。(汗

kinaba - (2009-04-13 16:24:28 +0900): 開場について追記しました。reminderありがとうございます。(^^;

ところで、発表順序をおおまかに決めておこうかと思うのですが、
「内容の依存関係等々で誰々の発表よりは後ろがいい」など希望のある方は↓にコメントお願いします。
特に異論無ければ今上に書いてある通りの順番で行こうかと…

kinaba - (2009-04-15 12:50:05 +0900): ちょい変更しました。15分前開場・ビルは開いているとのことなので15Fまで各自で来て下さい、ということでお願いします。

camlspotter - (2009-04-19 00:29:04 +0900): 楽しい会でした。企画してくださった kinaba さん、そして会場を提供していただいたサイボウズラボさん、どうもありがとうございました。

ikegami__ - (2009-04-19 08:19:02 +0900): とても楽しかったです。ありがとうございました。これを通じて、型について気になる人がどんどん増えてくれるといいなあ。あと、Haskeller はもっと C++ とか D も知るべきだと思った。閉じてるの、よくない。

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

このイベントにハッシュタグは設定されていません

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

イベント開催支援ツール：ATND（アテンド）

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

Types as Programming Languages