kisoron-ml，logic-mlの皆様，
夏休み期間に「ラムダと論理の研究会」が計画されています．詳しい情報は
http://www.i.hosei.ac.jp/~kurata/2011LLS/
にありますので気軽に参加を検討いただけますと幸いです．過去のセミナーと 同様に「ラムダ計算と論理およびその周辺分野」に関して，成果発表の場とい うよりは成果をあげる場となっていまして，講演件数を抑え，残りの時間は個 人やグループで柔軟に計画してもらうようになっています．（こうした形式の セミナーは主に海外で行われているらしく，それを取り入れた古森先生の研究 室の下で継続的に実施されています．）特に今年の夏は節電の影響で大学では 仕事がはかどりそうにないという方も多いと思われます．草津のセミナーで仕 事を進め節電にも貢献する計画などされては如何でしょうか？
---- Toshihiko Kurata, Hosei University e-mail kurata@hosei.ac.jp
---------------------------------------------------------------------- 日時： 2011年8月28日(金)午後5時から9月1日(火)正午まで 場所： 国立大学草津セミナーハウス 参加申込： 倉田（法政大学）が窓口となっています．講演や参加を希望され ます方は8月15日までに以下の項目を kurata@hosei.ac.jp までメイル下さい． 会議室確保の都合がありまして，参加のみ希望されます方も予め御連絡頂けま すと幸いです．
-------------------------- 参加申込 -------------------------- 氏名： 所属： 連絡先 (e-mail): 参加期間： 講演希望：有・無 題目： 希望時間： その他： --------------------------------------------------------------
また，セミナーに参加される方の中でセミナーハウスでの宿泊を希望される方 は7月7日までに宿泊申込を倉田（上記e-mailアドレス）までメイル下さい．宿 泊定員の関係でこちらの締切は早くなっています．他の情報は後から送って頂 いて構いませんので，よろしくお願いいたします．
------------------- セミナーハウス宿泊申込 ------------------- セミナーハウスの宿泊の申込をします。 部屋タイプの希望（教員は選択可，学生は学生部屋となります）： 教員用, 学生用, どちらでもよい 宿泊・食事の希望（希望しない部分を消去して下さい）： ２８日 夕食 宿泊 ２９日 朝食 夕食 宿泊 ３０日 朝食 夕食 宿泊 ３１日 朝食 夕食 宿泊 １日 朝食 --------------------------------------------------------------