タイポには消し線で修正が入っています。
subj: 「モニャモニャモナド」セミナー 第1回 お申し込みありがとうございます。 2009年4月23日(木)「モニャモニャモナド」セミナー 第1回 にお申し込みいた だいた皆様、檜山です。手作業の手間を省くためにBCCを使った同報をしており ます。ご容赦ください。 お申し込みいただき、ありがとうございます。当日お会いできることを楽しみ にしております。 このメールは確認のためです。必要な情報は、順次メールでご連絡いたします。 また、送信済みのメールは http://www.chimaira.org/docs/sent-mails-20090423.html にも追加していきます。 申し込み状況や連絡事項は、 http://d.hatena.ne.jp/m-hiyama/20090414/1239686984 をご参照ください。 -- 檜山正幸
subj: モニャドセミナー:会場までのご案内 2009年4月23日(木)「技術者/プログラマのためのモナドと圏」セミナー第1回 にお申し込みいただいた皆様、檜山です。手作業の手間を省くためにBCCを使っ た同報をしております。ご容赦ください。 開催日は今週の木曜日です。このメールでは、会場までの道順をご案内します。 前シリーズ(ラムダ計算)にご参加の方は既にご存知でしょうが、次のURLから、 写真による案内をご覧いただけます。 - http://www.chimaira.org/docs/seminar-map-guide.html よろしくお願いいたします。 -- 檜山 正幸
subj: モニャドセミナー:懇親会の参加確認 2009年4月23日(木)「技術者/プログラマのためのモナドと圏」セミナー第1回 にお申し込みいただいた皆様、檜山です。 前シリーズと同様に、セミナー終了後に簡単な懇親会をもちたいと思います。 参加ご希望の方はこのメールにご返答をお願いします。 gammeさんが、会場周辺の居酒屋に関して調査をしてくれました。このなかから 選ぶつもりですが、他に良いお店をご存知でしたらお教えください。 > ■貸し会議室へ向かう途中、ラーメン屋の前から信号を渡った、 > コーヒー屋の入っているビルにある飲み屋さん > > 八吉(やきち)池袋店 > 03-3986-8885 > お魚のお料理が主体の飲み屋さん。 > ちょっと高め、かな。 > 飲み放題有り。 > > 一粋池袋店 > 03-3981-0077 > リーズナブルです。 > 皿盛りのお料理のコースがあります。 > 飲み放題有り。 > > かまどか池袋南口店 > 03-5949-5780 > リーズナブルです。 > しゃぶしゃぶもあるし、皿盛りのお料理のコースもあります。 > 飲み放題有り。 > 10%の宴会割引券有り。 > > ■ラーメン屋のビル > > 一刻 > 03-3982-6799 > コースあったかな? > 料理がおいしいです。和洋折衷。 > 私は飲めないけど、お酒もたくさんありました。 > ちょっと狭め、です。 > > ■西武イルムス館の向かいあたりのビル > > 点(ともる)池袋店 > 03-5960-2977 > ちょっと高めかなー。 > 皿盛りのお料理のコースもあります。ちょっと洋食。 > 飲み放題有り。 > あと、ちょっと暗い感じかも、です。 > > 北海道 > 池袋南口テアトル店 > 03-5911-3430 > 03-5911-3420 > チェーン店で安いけど、おいしいです。お魚中心。 > コースと、飲み放題、あります。 > > モーパラ池袋牧場 > 03-5958-4141 > しゃぶしゃぶ食べ放題!のお店です。 > 食べ放題飲み放題で3500円、というコースがあります。 > > ■もうちょい駅よりのビル > > 東方見聞録池袋ヒューマックス店 > 03-5911-1460 > チェーン店です。鶏肉中心です。 > 飲み放題のコースで4200円、とか。 > でも、量とおいしいお料理なので、こういう値段になってしまうかな。 > > 月の雫池袋ヒューマックス店 > 03-5911-0850 > チェーン店です。お豆腐、しゃぶしゃぶ。 > 飲み放題のコースで4300円、とかですが、 > 4月は、飲み放題付きで3000円の鳥カルビ鍋のコースがあるみたいです。 > > 土風炉(とふうろ)池袋南口店 > 03-3980-4455 > チェーン店です。蕎麦とか焼き鳥とかもつ鍋とか。 > コースいろいろあります。 > > …こんな感じでした! よろしくお願いいたします。 -- 檜山 正幸
subj: モニャドセミナー:会場費用と懇親会の予算 2009年4月23日(木)「技術者/プログラマのためのモナドと圏論」第1回にお申 し込みいただいた皆様、費用に関するご連絡です。 池袋マイスペースの料金は、人数が確定しないと算出できないという困った方 式なのですが、前回は1,000円程度だったので、今回も同じくらいだと思います。 セミナー会場料金は、その場で集金してまとめて支払いますが、必要ならマイ スペースから個別に(一人分の)領収証を出してもらえます。マイスペースの レジに依頼してください。 懇親会の予算に関しては、3,000円から4,000円を目安にします。前回は3,500円 の飲み放題コースでした。 懇親会参加者一覧(ハンドルのみ)は明日の夕刻くらいに http://d.hatena.ne.jp/m-hiyama/20090414/1239686984 に載せる予定です。 よろしくお願いいたします。 -- 檜山 正幸
subj; モニャドセミナー:やっぱりお絵描き帳を準備してください! 2009年4月23日(木)「技術者/プログラマのためのモナドと圏論」第1回にお申 し込みいただいた皆様、直前になって申し訳ないですが、準備するモノに関す るご連絡です。 前シリーズと同様、絵を描くためのスケッチブック、ノート、用紙など + 2色 以上の筆記具を必須とします。準備をお願いします。 内容とも絡むので、以下に事情を書いておきます。 --- 今回は、割と普通な教科書風な圏論入門から入ろうかなー、と予定していまし た。それで、スライドの案を考えていたのですが、ここんところの気温の変化 で、どうも風邪気味、体調不良です。(よほどのことがない限り明日はやりま すけどね。) 普通なコースを組み立てようとすると、準備の手間もかかるし、当日朦朧とし ていたりすると、どうも間違いをしでかしそうです。で、プロパーなコースは 止めました。お絵描き(絵算;(pictorial/graphical/diagrammatic calculation)バリバリでいきます。 普段から僕は、通常の記法を使ってないし等式的計算もしないので、慣れない ことに手を出さず、ほとんどぜんぶ絵で説明します。演習もお絵描きになりま す。絵を描くのなら、当日のアドリブでも、意識朦朧でもなんとかなるでしょ。 ピクトリアルなスタイルのほうが僕(檜山)らしいとも言えるし、絵算の教科 書や資料は少ないので、かえっていいかな、と開き直っています。 http://d.hatena.ne.jp/m-hiyama/searchdiary?word=pictorial という次第で、お絵描きの道具を持参してください。よろしくお願いします。 -- 檜山 正幸
subj; モニャドセミナー:会場/時間割り/懇親会など 明日2009年4月23日(木)「技術者/プログラマのためのモナドと圏論」第1回に お申し込みいただいた皆様、檜山です。 明日の会場/時間割り/懇親会などについてお知らせします。最後に、関連情 報のサマリーが付いています。 ●飲食 外部からセミナー会場への飲食物の持ち込みは禁止されています。マイスペー ス内にドリンクバーがあります。マイスペースで提供されるドリンクについて は、講義室のテーブルに置いて飲んでもかまいません。 午後6時から9時のあいだは夕食の時間帯ですので、食べ物を摂れないと辛いと 思います。隣のビルにカフェ・ド・クリエがあるので、休憩時間を長めに(で きれば30分程度)取り、必要ならここで軽く食べていただけるようにします。 ●インターネット接続 「livedoor Wirelessが使える」そうです。ただし、過信しないほうがいいと思 います。 - http://www.ginza-renoir.co.jp/infolan.htm ●電源 コンセントは充分にあるようですが、電源コード/タップはありません。1,2本 は僕のほうで持っていきますが、タップを持ってこれる方いましたら、ご協力 をお願いします。 ●喫煙所 フロア(2F)内に喫煙所があります。 ●領収証 会場料金の支払いはまとめてしますが、必要なら個別に(一人分の)領収証を 出してくれるそうです。 ●冷暖房 セミナー会場は、冷暖房に若干の難があります。温度変化に対処できる服装が いいと思います。 ●時間割り 檜山はセットアップと確認のために、午後5:30から会場「マイ・スペース&ビ ジネスブース 池袋西武横店」に行っています。したがって開場時間は午後 5:30(17:30)となります。 ウィークデイの夜なので、お仕事の関係などで遅刻・欠席も生じるでしょうが、 午後6:00(18:00)キッカリに始めます。 軽食を摂るには建物の外に出るしかないので、中間で20分から30分程の休憩を 入れます。時間の余裕がある方は、先に何か食べておくとよいでしょう。 質疑応答を含め、午後9時(21:00)には終了します。なんらかの事情で早めに 帰りたい方は、それ以前でも退席してくださってけっこうです。 ●会場費用 会場費用は1人あたり千円程度です。休憩の後くらいのタイミングで集金します。 領収証が必要な方は、(檜山ではなく)「マイ・スペース&ビジネスブース」 にお申し出ください。 ●懇親会 セミナー会場の近くの「かまどか池袋南口店」 (http://r.gnavi.co.jp/a250718/)で行います。費用は飲み放題コース3,500 円です。帰り道が遠い方もいらっしゃるでしょうから、あまり遅くならずお開 きにしましょう。 === 情報のサマリー === ■注意 - 温度変化に対処できる服装 - スケッチブック/ノートなど+2色以上の筆記用具 - 時間の余裕があれば先に軽食 ■セミナー会場 マイ・スペース&ビジネスブース 池袋西武横店8号室 URL:http://www.ginza-renoir.co.jp/myspace/msbb002.htm 電話:03-5960-0056 ■懇親会会場 かまどか池袋南口店 URL:http://r.gnavi.co.jp/a250718/ 電話:03-5949-5780 ■セミナー会場までの道順 JR池袋駅改札から7,8分程度で「マイ・スペース&ビジネスブース池袋西武横店」 です。(写真は http://www.chimaira.org/docs/seminar-map-guide.html) * まず東口に出ます。東口が西武線側(そして西口が東武線側)なのでご注意 ください。 * 東口から地上に出て右を見ると西武系の建物がズーッと並んでいます。これ ら西武ホニャララに沿って道路の右側を目白方向にまっすぐ歩いていくこと になります。 * とりあえず、西武池袋線の看板と売店がありますね。JR山手線ホームから ここまで2,3分でしょう。ここから目的地までは、迷わずに行けば5,6分で す。 * 右側に西武デパートがあります。 * 無印良品もあります。 * イルムス館があります。 * 大きな交差点に出て、道の反対側(左手)を見るとジュンク堂書店が見え ます。 * 交差点のところには無敵家というラーメン屋さん。 * 交差点を渡れば、マイスペース&ビジネスブースの看板が見えます。 * ぬかりやビルのエレベータで二階に上がってください。 -- 檜山 正幸
subj; モニャドセミナー:お疲れさまでした明日2009年4月23日(木)「技術者/プログラマのためのモナドと圏論」第1回に ご参加いただいた皆様、檜山です。本日はありがとうございました。懇親会で まったりとしていたら、随分と遅い時間になってしまいました。 毎度のことながら、わかりにくい所や誤解や招きやすい表現も多かったと思い ます。不行き届きな点はご指摘ください。反省と改善のための材料とします。 あまり参考にはならないでしょうが、スライドは次のURLからダウンロード可能 です。 - http://www.chimaira.org/archive/slide090423.pptx - http://www.chimaira.org/archive/slide090423-6s.pdf -- hiyama
subj: モニャドセミナー:終わっても終わらない 2009年4月23日(木)「技術者/プログラマのためのモナドと圏論」第1回に ご参加いただいた(あるいは参加予定だった)皆様、檜山です。 参加者(一部不参加者)の方々のレポートや感想が公開されています。 - http://return0.dyndns.org/log/2009/04/24 - http://d.hatena.ne.jp/bonotake/20090424/1240526962 - http://d.hatena.ne.jp/hiroki_f/20090424/1240574648 - http://d.hatena.ne.jp/kya-zinc/20090424/1240598992 - http://monado.dtiblog.com/blog-entry-69.html - http://www2.ttcn.ne.jp/~miyohp/files/ken.pdf ありがとうございます。 このテのセミナーでは、演習の時間が十分には取れないので、納得感がないま まに終わってしまうこともあるでしょう。しかし、当日午後九時でセミナーが お開きになって、それでオシマイというわけではありません。その後のディス カッションやフォローもセミナーの一部なのだ、と解釈してください。僕の至 らない説明を始点として、皆さま方各人が理解や解釈を深めてくれることを期 待しています。派生して、有志による勉強会も企画されているようです。そん な諸々の活動のキッカケとなれるなら、幸いです。 さて、圏はそれなりに抽象度が高い概念ですが、思弁的に考え込まないで、目 で見て手でさわって慣れてしまうのが一番なんじゃないかと思います。具体的 なイメージを体内に作る、ってことですね。 そのため(目、手、体を使うため)に、Firefoxブラウザ上で使えるオモチャを 作りました。 - 完全実装付きでもう一度お送りします、しりとりの圏 http://d.hatena.ne.jp/m-hiyama/20090424/1240552575 - 有限集合と写像の圏もJavaScriptで書いてみた、遊んでみてね http://d.hatena.ne.jp/m-hiyama/20090425/1240640213 対象、射、結合(合成)、恒等などが具体例ではどうなっているのか、ある程 度は感覚が掴めるんじゃないかと思います。お試しください。 -- 檜山 正幸