━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 25th TRS Meeting 参加案内 (11/26 版) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
●研究発表の案内 ＊日時 11/26(金) 14:00-16:00 (研究会)，18:00- (懇親会) 11/27(土) 10:00-16:20 (研究会) ※研究会の前後１時間程度は，会場を討論や発表準備に使えます． ＊場所 三重大学工学部 情報工学科棟1F 多目的会議室 http://www.mie-u.ac.jp/access/index.html （大学へ） http://www.mie-u.ac.jp/annai/haiti.html （工学部へ） http://www.eng.mie-u.ac.jp/english/map1_e.html （情報工学科棟へ） ＊参加者 青戸 (東北)，岩見＊ (島根)，大山口 (三重)，落合 (東北)，菊池 (東北)， 酒井 (名古屋)，坂本 (東北)，高井＊ (AIST)，千葉 (東北)，坪谷 (三重)， 外山 (東北)，西田 (名古屋)，三橋 (三重)，山田T (三重)，山田Y (三重) ＊印は２日目のみの参加者 ＊11/26(金) プログラム 13:00 会場準備，自由討論 14:00 開会 一般セッション１ ・山田 [40分] Termination by Subterm Criterion in Simply Typed Term Rewriting ・菊池 [20分] An Elementary Proof of Strong Normalization for Typed Lambda Calculus 15:00 <休憩> 15:10 一般セッション２ ・西田 [30分] Partial Inversion of Constructor Term Rewriting Systems ・青戸 [40分] On Two Matching Algorithms of Lambda Terms for Program Transformation 16:20 自由討論 移動（大学→いせわんホテル→みやび） 18:00 懇親会 ※座長は，直前のセッションの発表者のどなたかが担当してください． ＊11/27(土) プログラム 9:00 自由討論 10:00 学生セッション１ ・落合 [15分] On Monotonic AC-Compatible Semantic Path Ordering ・坪谷 [15分] Theorem Proving for Left-Linear Non-Terminating TRSs ・坂本 [15分] Fusion Transformation based on Rewriting Induction 10:45 <休憩> 11:00 学生セッション２ ・三橋 [15分] Confluence for Flat TRSs ・千葉 [15分] TRS Transformation by Template 11:30 <昼食> 13:00 一般セッション３ ・外山 [25分] On Rewriting Induction -- Correct and Incorrect Applications -- ・酒井 [25分] Fuzzy Rewriting -- Soft Program Semantics for Children -- (by Yasunori Harada and Richard Potter) 13:50 <昼食> 14:00 一般セッション４ ・岩見 [30分] An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited ・高井 [30分] Reasoning about Term Rewriting in Kleene Categories with Converse 15:00 <休憩> 15:10 一般セッション５ ・大山口 [30分] On the Decision Problems for Semi-Constructor and Monadic TRS's 15:40 閉会 自由討論 17:00 会場片付け ※座長は，１つ前のセッションの発表者にお願いします． ●宿泊の案内 ＊宿泊先 三重県教育文化会館 本館4F いせわんホテル 津市桜橋２丁目142番地，津駅東口から徒歩５分 TEL: 059-228-1122 http://www.mie-kyobun.or.jp/Main/Com/Map.htm （地図） http://www.mie-kyobun.or.jp/Sisetsu/Hotel/Hotel.htm （ホテル） http://www.mie-kyobun.or.jp/ （会館） ＊予約状況 青戸 24,25,26 菊池 24,25,26 外山 25,26 酒井 26 西田 26 落合 26 坂本 26 千葉 26 高井 26 岩見 26,27 ※三重大学山田でシングルルームを予約してあります． ＊料金 料金はホテルにて個別に清算してください． 5,000円+税（シングル）または 5,500円+税（シングル特）です． 部屋数に限りがありますので，どちらにするかを選択できないことを ご了承ください． ＊朝食 教育文化会館 本館1F のレストラン「サングリア」に 人数分を予約してありますので，ご利用ください． 時間は 8:00-9:00 です． ●懇親会の案内 ＊日時 11/26(金) 18:00- ＊場所 津みやび（しゃぶしゃぶと日本料理） 津駅東口 アスト津 2F TEL: 059-213-5355 http://www.ust.city.tsu.mie.jp/ （アスト） ＊集合 津駅東口 アスト津前 17:50 ＊会費 4000円＋飲み物代 ※学生さんの負担を減らすため，金額を調整するかもしれません． （学生：4000円×5，一般：5000円×7） ＊参加者 青戸 (東北)，大山口 (三重)，落合 (東北)，菊池 (東北)，酒井 (名古屋)， 坂本 (東北)，千葉 (東北)，外山 (東北)，西田 (名古屋)，三橋 (三重)， 山田T (三重)，山田Y (三重) ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 25th TRS Meeting Toshiyuki Yamada