タイポには消し線で修正が入っています。
subj: 「技術者/プログラマのためのラムダ計算、論理、圏」第3回 お申し込みありがとうございます。 2009年3月19日(木)「技術者/プログラマのためのラムダ計算、論理、圏」第3 回にお申し込みいただいた皆様、檜山です。手作業の手間を省くためにBCCを使っ た同報をしております。ご容赦ください。 お申し込みいただき、ありがとうございます。当日お会いできることを楽しみ にしております。 このメールは確認のためです。必要な情報(道順など)は、順次メールでご連 絡いたします。また、送信済みのメールは http://www.chimaira.org/docs/sent-mails-20090319.html でも確認できます。 このメールで使用したメールアドレスと異なるアドレスへの連絡をご希望の際 はお知らせください。 -- 檜山 正幸
subj: ラムダ計算、論理、圏:予習・復習のためのページ 檜山です。 このメールは、「技術者/プログラマのためのラムダ計算、論理、圏」セミナー 第3回(シリーズの最終回)にお申し込みいただいた方々にBCCを使って同報し ています。 既にお知らせしましたように、次のような内容を予定しています。 http://d.hatena.ne.jp/m-hiyama/20090309/1236559613 第3回は論理(ロジック)の話が中心となります。第1回/第2回の知識が必要と なる部分は、「論理における証明図と、ラムダ式を図示した絵(四角やオダン ゴの絵)とを対応付ける」部分です。どんな絵だったのかを思い起こしていた だくページを当日の写真を基に作成しました。 http://d.hatena.ne.jp/m-hiyama-memo/20090315/1237020466 必要に応じてご参照ください。 -- 檜山 正幸
subj: ラムダ計算、論理、圏:会場までのご案内 2009年3月19日(木)「技術者/プログラマのためのラムダ計算、論理、圏」第3 回にお申し込みいただいた皆様、檜山です。手作業の手間を省くためにBCCを使っ た同報をしております。ご容赦ください。 開催日は今週の木曜日です。このメールでは、会場までの道順をご案内します。 前回(第2回)にご参加の方は既にご存知でしょうが、次のURL(第2回のものを 流用)から、写真による案内をご覧いただけます。 - http://www.chimaira.org/docs/seminar-3-guide.html よろしくお願いいたします。 -- 檜山 正幸
subj: ラムダ計算、論理、圏:懇親会の参加確認 2009年3月19日(木)「技術者/プログラマのためのラムダ計算、論理、圏」第3 回にお申し込みいただいた皆様、檜山です。 第1回/第2回と同様に、セミナー終了後に簡単な懇親会をもちたいと思います。 参加ご希望の方はこのメールにご返答をお願いします。 第2回の会場「鳥良」は、雰囲気はなかなか良かったのですが、席のあいだを自 由に動けないことが難点だったので、gammeさんご推薦の「山ちゃん南池袋3丁 目店」にしようかと思っています。 - http://www.yamachan.co.jp/shop/shop_detail.php?name=minamiikebukuro3 セミナー会場「池袋マイスペース」と同じビルなのが便利そうです。 これで決定ではない(明日予約します)ので、他に良いお店をご存知でしたら お教えください。 よろしくお願いいたします。 -- 檜山 正幸
subj: ラムダ計算、論理、圏:ラムダ計算、論理、圏:セミナー会場費用と懇親会の予算 2009年3月19日(木)「技術者/プログラマのためのラムダ計算、論理、圏」第3 回にお申し込みいただいた皆様、費用に関するご連絡です。 池袋マイスペースの料金は、人数が確定しないと算出できないという困った方 式なのですが、前回は1,000円程度だったので、今回も同じだと思います。 セミナー会場料金の支払いはまとめてしますが、必要ならマイスペースから個 別に(一人分の)領収証を出してくれます。マイスペースのレジに依頼してく ださい。 懇親会の予算に関しては、3,000円から4,000円を目安にします。前回も3,500円 程度を予定していましたが、結果的に2,000円弱でした。ちょっとトラブルがあっ て、ビールをお店側で負担してくれたという事情がありますが、それにしても 注文が少なかったような。 -- 檜山 正幸
subj: ラムダ計算、論理、圏:会場に関する情報 2009年3月19日(木)「技術者/プログラマのためのラムダ計算、論理、圏」第3 回にお申し込みいただいた皆様、檜山です。 懇親会ご参加の連絡に関しては個別にメールしてます。アバウトに10人程度の 予約を入れます。当日の夕方に人数変更しても対応可能だと思うので、当時に また確認いたします。 以下に、会場に関する情報をお伝えします。 ●飲食 外部から飲食物の持ち込みは禁止されています。マイスペース内にドリンクバー があります。マイスペースで提供されるドリンクについては、講義室のテーブ ルに置いて飲んでもかまいません。 午後6時から9時のあいだは夕食の時間帯ですので、食べ物を摂れないと辛いと 思います。隣のビルにカフェ・ド・クリエがあるので、休憩時間を長めに(20 分から30分程度)取り、必要ならここで軽く食べていただけるようにします。 ●インターネット接続 「livedoor Wirelessが使える」そうです。ただし、過信しないほうがいいと思 います。 - http://www.ginza-renoir.co.jp/infolan.htm ●電源 コンセントは充分にあるようですが、電源コード/タップはありません。1,2本 は僕のほうで持っていきますが、タップを持ってこれる方いましたら、ご協力 をお願いします。 ●喫煙所 フロア(2F)内に喫煙所があります。 ●領収証 会場料金の支払いはまとめてしますが、必要なら個別に(一人分の)領収証を 出してくれるそうです。 -- 檜山 正幸
subj; ラムダ計算、論理、圏:時間割り/内容/懇親会など 2009年3月19日(木)「技術者/プログラマのためのラムダ計算、論理、圏」第3 回にお申し込みいただいた皆様、檜山です。 明日の時間割り/内容/懇親会などについてお知らせします。最後に、関連情 報のサマリーが付いています。 ●追加のご注意:冷暖房 セミナー会場は、冷暖房に若干の難があります。温度変化に対処できる服装が いいと思います。 ●時間割り 前回と同様、檜山はセットアップと確認のために、午後5:30から会場「マイ・ スペース&ビジネスブース 池袋西武横店7号室」に行っています。したがって 開場時間は午後5:30(17:30)となります。 期末の時期/ウィークデイなので、お仕事の関係などで遅刻・欠席も生じるで しょうが、午後6:00(18:00)キッカリに始めます。 軽食を摂るには建物の外に出るしかないので、中間で20分から30分程の休憩を 入れます。十分な時間ではありませんが、ワッフルやホットドックなら、なん とか詰め込めるかと。時間の余裕がある方は、先に何か食べておくとよいでしょ う。 質疑応答を含め、午後9時(21:00)には終了します。なんらかの事情で早めに 帰りたい方は、それ以前でも退席してくださってけっこうです。 ●会場費用 会場費用は1人あたり千円程度です。休憩の後くらいのタイミングで集金します。 領収証が必要な方は、(檜山ではなく)「マイ・スペース&ビジネスブース」 にお申し出ください。 ●内容 このメールを書いている時点で、資料を鋭意執筆中(オイッ)。 - http://d.hatena.ne.jp/m-hiyama/20090309/1236559613 このブログ記事に書いた内容とそれほどは変わらないと思います。 直前に予習復習をしたい方は、次をどうぞ。 - http://d.hatena.ne.jp/m-hiyama-memo/20090315/1237020466 毎度のことながら、「スケッチブック/ノートなど + 2色以上の筆記用具」を お忘れなく。 ●懇親会 セミナー会場と同じ(隣?)ビルの山ちゃん南池袋3丁目店 (http://www.yamachan.co.jp/shop/shop_detail.php?name=minamiikebukuro3) で行います。 10から15名で予約を入れます。費用の目安は3千円から4千円です。帰り道が遠 い方もいらっしゃるでしょうから、あまり遅くならずお開きにしましょう。 === 情報のサマリー === ■注意 - 温度変化に対処できる服装 - スケッチブック/ノートなど+2色以上の筆記用具 - 時間の余裕があれば先に軽食 ■セミナー会場 マイ・スペース&ビジネスブース 池袋西武横店7号室 URL:http://www.ginza-renoir.co.jp/myspace/mys002_7.htm 電話:03-5960-0056 ■懇親会会場 山ちゃん南池袋3丁目店 URL:http://www.yamachan.co.jp/shop/shop_detail.php?name=minamiikebukuro3 電話::03-3981-8820 ■セミナー会場までの道順 JR池袋駅改札から7,8分程度で「マイ・スペース&ビジネスブース池袋西武横店」 です。(写真は http://www.chimaira.org/docs/seminar-3-guide.html) * まず東口に出ます。東口が西武線側(そして西口が東武線側)なのでご注意 ください。 * 東口から地上に出て右を見ると西武系の建物がズーッと並んでいます。これ ら西武ホニャララに沿って道路の右側を目白方向にまっすぐ歩いていくこと になります。 * とりあえず、西武池袋線の看板と売店がありますね。JR山手線ホームから ここまで2,3分でしょう。ここから目的地までは、迷わずに行けば5,6分で す。 * 右側に西武デパートがあります。 * 無印良品もあります。 * イルムス館があります。 * 大きな交差点に出て、道の反対側(左手)を見るとジュンク堂書店が見え ます。 * 交差点のところには無敵家というラーメン屋さん。 * 交差点を渡れば、マイスペース&ビジネスブースの看板が見えます。 * ぬかりやビルのエレベータで二階に上がってください。 -- 檜山 正幸
subj: 「ラムダ計算、論理、圏」セミナー第3回 ご参加ありがとうございました。 2009年3月19日(木)「技術者/プログラマのためのラムダ計算、論理、圏」第3 回にご参加いたただいた皆様、檜山です。(欠席の方にも同報されていますが) 本日は年度末のお忙しいなか、ご参加ありがとうございました。 昨日スライドを作っているとき、とある論理学の教科書を開いてみたのですが、 通常のコースでカリー/ハワード対応にたどり着くには、半年から一年くらい の時間をかけるようです。「それを、150分でやるのかよー」と我ながらあきれ 返ったのですが、とき既に遅し、勢いで今日やっちまったわけです。 そんな次第で、分かりにくかったところがあると思います。後日アンケート用 のメールを送りますので、その他の諸々の問題も含め、ご意見をお聞かせくだ さい。 スライドのドラフト版(Wikiフォーマットから変換したまま)が http://www.chimaira.org/archive/slide090319.pptx から取れます。近いタイ ミングで、今日実際に使ったもの(を修正した版)と置き換えます。 では、またお会いしましょう。 -- 檜山 正幸
subj: 「ラムダ計算、論理、圏」セミナー第3回 資料とブログ記事 2009年3月19日(木)「技術者/プログラマのためのラムダ計算、論理、圏」第3 回にご参加いたただいた皆様(欠席者にも同報しています)、檜山です。 資料(スライド)を修正しました。URLは変わっていません。 - http://www.chimaira.org/archive/slide090319.pptx Kuwataさんが骨身を削ってまとめレポートを書いてくれました。たいへんな労 作です。ありがとうございます。 - http://return0.dyndns.org/log/2009/03/20#s_2 Kuwataレポートに注釈する形で、セミナーで言い足りなかったところを補足し ました。 - http://d.hatena.ne.jp/m-hiyama/20090321/1237627082 併せて読むことでよい復習にもなるだろうし、残った疑問点への答が含まれる かもしれません(含まれないかもしれません)。 -- 檜山 正幸