ATND アテンド β PRODUCED BY RECRUIT

ログイン or 無料登録

有界の会#1

みんな仲良く bounded

日時 :
2010/10/09 (土) 11:00 ~ 19:00
定員 :
20人
会場 :
グリー株式会社(東京都港区六本木6-10-1 六本木ヒルズ森タワー 12F )
主催者 :

概要

謎の関数型言語イベントです。参加者に対して特定のお題を強制しようという考えは無いので、各自課題などを持ち寄ってください。

参考までに、前回の主な話題などを挙げておきます。

  • Haskell
  • OCaml
  • Agda2
  • Coq
  • C++
  • HP 50g

あと、ラムダプラスを何部か持って行く予定です。

会場について

会場はグリー株式会社に提供して頂ける事になりました。ありがとうございます。

電源、プロジェクター、無線LANなどが使えるそうです。

会場に入る方法

入館するにはグリー関係者の方が一緒にいなければならないそうです。そういうわけですので、可能な限り開始時間前くらいに一階のロビーにいるようにしてください。

遅刻した場合は、Twitter で @takano32 にリプライを投げると解決するそうです。可能な限り開始時間前くらいに一階のロビーにいるようにしてください。(大事な事なので二回書きました。)

  • このコメントは全員が閲覧、すべてのログインユーザが投稿することができます
DekuDekuplex
DekuDekuplex - (2010/09/13 (月) 22:47)
具体的な地図を頂けますか。
DekuDekuplex
DekuDekuplex - (2010/09/13 (月) 22:54)
因に、この会合では何をする予定ですか。小生はHaskell言語に興味がありますが、(おもちゃのプログラムを除いて)実際にHaskell言語を使って何かを書いた事があるわけではありません。Haskell言語を大学院の科目で聴講生として勉強出来るところを探しています。
pi8027
pi8027 - (2010/09/13 (月) 22:54)
>DekuDekuplex さん
諸事情により場所がまだ確定していません。
pi8027
pi8027 - (2010/09/13 (月) 23:01)
この会は、関数型言語やそれ以外の話題に関する知識とやりたい事を持ち寄って、各々作業をしたり分からない事を聞き合ったりするための会です。
原則として特定のテーマなどを強制するような会ではないので、各々がやりたい事をすればいいと思います。
DekuDekuplex
DekuDekuplex - (2010/09/13 (月) 23:04)
pi8027 (Kazuhiko Sakaguchi) - (2010/09/13 23:01) :
> 諸事情により場所がまだ確定していません。

分かりました。

Haskell言語とOCaml言語の違いに興味がありますが、それも話題として登場する予定ですか。
DekuDekuplex
DekuDekuplex - (2010/09/13 (月) 23:06)
pi8027 (Kazuhiko Sakaguchi) - (2010/09/13 23:01) :
> この会は、関数型言語やそれ以外の話題に関する知識とやりたい事を持ち寄って、各々作業をしたり分からない事を聞き合ったりするための会です。
> 原則として特定のテーマなどを強制するような会ではないので、各々がやりたい事をすればいいと思います。

分かりました。では、期待しています!参加費用などは掛かりますか。
pi8027
pi8027 - (2010/09/13 (月) 23:10)
>参加費用などは掛かりますか。

会場次第になると思います。会議室などを借りてそれなりにお金がかかる場合、人数で割ったくらいのお金を負担してもらう事になります。(可能な限り、安い場所を探すつもりです)
pi8027
pi8027 - (2010/09/14 (火) 21:48)
そういえばラムダプラス欲しいかもしれない人がいる気がするので、ラムダプラスを適当な数持って行きます。足りなかったらごめんなさい。
あと何度でも言いますが、会場に関して何か良い案があったら連絡ください。多分錦糸町くらいまでの距離なら誤差です。
faith_and_brave
faith_and_brave - (2010/09/16 (木) 15:04)
今週辺りからグリーのセミナールームが使えるらしいですね。
@sotarokさんとかに相談すれば借りれるかもしれません。
新しいとこは行ったことないので、何人入るかはわからないですが。

あとラムダプラスほしいです。
pi8027
pi8027 - (2010/09/27 (月) 11:37)
夕食とか懇親会とかどうしようみたいな話があると思うのですが、どうしましょう。
そもそも有界の会自体が懇親会みたいな物だという気はしますが、人数がそれなりに多いので事前に考える必要がある気がしました。
lyrical_logical
lyrical_logical - (2010/10/06 (水) 19:50)
そろそろ、どこ入り口でどこ集合だとか、会場にはどういう物があってどういう物がないだとか、そういうのを知りたい気持ちがみんな強まっているんじゃないでしょうか
pi8027
pi8027 - (2010/10/08 (金) 19:50)
ギリギリになってしまいましたが、集合場所について追記しました。
しかしどう考えても11時というのはリナカフェに集まる前提の時間でしたし、失敗した感がありますね...残念です。

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

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