第31回列挙アルゴリズムセミナー

タイトルは列挙アルゴリズムですが、これにこだわらず、 広くアルゴリズムや計算理論について討論します。 みなさまの参加を、お待ちしています。

2020年1月30日(木)31日(金)2月1日(土)

群馬大学伊香保研修所 群馬県渋川市伊香保町伊香保14-1 TEL 0279-72-4605 ***予定*** 1月30日(木) 12:00-13:30 受付+温泉タイム 13:30-17:00 研究会 19:00- ?:00 夕食 + 討論会 1月31日(金) 09:00-12:00 研究会 (昼食) 13:00-17:00 研究会 19:00- ?:00 夕食 + 討論会 2月01日(土) 09:00-10:00 研究会 10:00 解散
はじめての方むけの利用案内 =========================================================== 列挙アルゴリズムセミナー 2020/1/30(木)--2/01(土) 群馬大学伊香保研修所 世話人: 宇野毅明, 中野眞一, 上原隆平, 岡本吉央 発表: 当日発表したい人から順に発表します。 =========================================================== 発表 (情報の訂正、補完、およせください) 1月30日(木) 13:35~14:05 31-1 グラフの最小重みマッチングによる対戦取組の逐次作成および数理的考察 戸島貫太 (信州大) 14:05~15:00 31-2 Enumerating 2-edge-connected induced subgraphs 佐野祐輔 (岩手大) 15:15~16:00 31-3 整数アイテムサイズに対する除去可能オンラインナップサックアルゴリズム 判治奏帆 (信州大) 16:00~17:10 31-4 threshold graphの最大マッチングの特徴付け 所澤亮太 (信州大) 17:13~17:45 31-5 Mizarによるビンパッキングアルゴリズムの性能証明の形式化 足立良太 (信州大) 1月31日(金) 9:00~11:00 31-6 矩形双対グラフを列挙するアルゴリズム 佐々木良介 (岩手大) 13:00~13:35 31-7 2日目までに生まれたすべてのゲームの構成 安福智明 (筑波大) 13:35~14:00 31-8 全象(universal)ゲーム発見のための、帰着手法利用提案 末續鴻輝 (NII) 15:00~15:30 31-9 アンチスライドパズルの解析 木村健斗 (群馬大) 15:30~16:00 31-10 異なる距離構造を持つ確率速度の高速な比較 佐藤竜馬 (京大) 17:00~17:20 31-11 グラフ上のTron 小林靖明 (京大) 17:20~18:00 31-12 形質からアプローチするアルゴリズムモデリング 宇野毅明 (NII) 2月1日(土) 9:00~9:25 31-13 まるけしに関する未解決問題 木谷裕紀 (名大)

交通案内(伊香保まで行こう!)

(更新情報等、気づいた人、連絡下さい!! nakano@cs.gunma-u.ac.jp) (注意 関越交通の伊香保温泉バス停とJRの伊香保温泉バス停は別の場所にあります。) (この間、徒歩10分ほどかかります。) (上越新幹線)JR高崎駅-->(JR上越線25分)-->JR渋川駅-->(関越交通バス25分)-->伊香保温泉(関越交通) (伊香保バスターミナルの次の、伊香保温泉(関越交通)で下車、その後、研修所までは徒歩5分ほど) もしくは 新宿-->伊香保温泉のJRバス(上州ゆめぐり号)時刻表 (伊香保温泉の次の伊香保石段街バス停にて下車、研修所までは徒歩15分ほど登り) (新宿 10:00 ==> 伊香保石段街12:37 おすすめ)2300円 新宿-->伊香保温泉の上州ゆめぐり号(中ほどに切符購入方法あり) 羽田(日に8本)-->高崎駅東口日本中央バス。 大阪・京都・金沢・名古屋-->高崎駅・前橋駅(朝5-6時着)の日本中央バス(夜行高速バス) JR渋川駅-伊香保温泉間のバスの時刻表 pdf 伊香保温泉-JR渋川駅のバスの時刻表 JR渋川駅-伊香保バスターミナル間のバス運賃は570円 伊香保までの交通アクセスのページ

交通案内(伊香保についてから研修所までは。。)


大きな地図で見る (渋川から関越交通バスできた方) ロープウェイの"ほととぎす駅"のすぐ西に、関越交通の伊香保温泉バス停があります。 関越交通の伊香保温泉バス停に向って右手に登り坂があります。 この坂を5分ほど登ると左側に群馬大学伊香保研修所が見えます。 (新宿から高速バスできた方) 新宿からのバスがとまるJRの石段街バス停から研修所までは(登り)徒歩10分ほどです。 ファイト! 関越交通の伊香保温泉バス停から研修所まで写真案内 **************** 必見! 伊香保地図(下の方中央に研修所の表示があります!) (ロープウェイの"ほととぎす駅"のすぐ西に関越交通の伊香保温泉バス停があります) (関越交通の伊香保温泉バス停の西側徒歩5分に研修所があります。) (JRの伊香保温泉バス停はやや北東のメインの道ぞいです。関越交通の伊香保温泉バス停までは徒歩10分ほどです。) JRの高速バスの伊香保温泉バス停の案内のページ JRの高速バスの伊香保石段街バス停の案内のページ JR伊香保温泉バス停の下方向600mあたり、もしくは、JR伊香保石段街バス停の右下方向300mあたり
のロープウェイの"ほととぎす駅"の西側の関越交通の伊香保温泉バス停のさらに西に研修所はあります。
バス停から結構坂を登ります!
地図を拡大すると、ほととぎす駅の左下の建物に群馬大学伊香保研修所と書いてあります。
伊香保温泉のページ

宿泊案内

てぬぐいと歯ブラシの用意があります。4-5人の相部屋です。 バスタオルは持参願います。最大25名まで宿泊できます。 ~~~~~~~~~~~~ 宿泊希望者は*****2019年12月26(木)正午まで*****に、 下の参加申込書にて、 中野 nakano@cs.gunma-u.ac.jp と 宇野uno@nii.ac.jpの 両方に申し込んで下さい。 万一キャンセルする際は1週間前の 1/23(木)正午までに中野nakano@cs.gunma-u.ac.jpまで連絡願います。 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ これ以降は全額徴収となります。
緊急連絡先 中野のPHS 070-6624-5001

参加申込書

-------列挙アルゴリズムセミナー(2020/1/30-2/01)(伊香保研修所)申し込み----- 2019年12月26日(木)正午までに 中野 nakano@cs.gunma-u.ac.jp と 宇野uno@nii.ac.jpの 両方に申し込み下さい。(ただし最大25名で締め切ります) 氏名: 所属: Email: 講演予定タイトル:(あれば) 参加費:(合計14000円==>2泊+5食) 下記のうち不要の行を消して下さい。 1月30日(木)宿泊+夕食 6200円 1月31日(金)朝食 500円 1月31日(金)昼食 600円 1月31日(金)宿泊+夕食 6200円 2月01日(土)朝食 500円 http://www.cs.gunma-u.ac.jp/~nakano/Ikaho2001/ -----------------------------------------------------------------------ここまで

会計

**収入** 14000円x 18名 = 252,000円 13400円x 3名 = 40,200円 12600円x 1名 = 12,600円 6700円x 2名 = 13,400円 合計 24名 318,200円 **寄贈** お菓子、飲み物歓迎です!!! ここで讃えます! 高級日本酒 上原文枝 さま 高級えびせん 上原文枝 さま 高級栗 上原文枝 さま **支出** 01/07 施設使用料 400x41 = 16,400円 立替 中野 01/15 施設使用料 400x 6 = 2,400円 立替 中野 1/30 買い出し 11,368 円 藤原先生 買い出し 29,318 円 買い出し 18,256 円 1/31 1/30分セミナーハウスへ 112,130円 うち飲み物 3330円 1/31 弁当 730x19 13,870円 2/01 1/31分セミナーハウスへ 112,250円 うち飲み物 1850円 (224,380) 合計 315,992 円 2208円黒字

歴史

2003年5月アルゴリズム研究会)のページ (第一回 2004年3月)のページ (第二回 2004年8月)のページ (第三回 2005年3月)のページ (第四回 2005年9月)のページ 2006年5月アルゴリズム研究会)のページ (第五回 2006年9月)のページ (第六回 2007年3月)のページ (第七回 2007年9月)のページ (第八回 2008年8月)のページ 2008年12月コンピュテーション研究会+アルゴリズム研究会のページ (第九回 2009年3月)のページ (第十回 2009年9月)のページ (第十一回 2010年3月)のページ (第十二回 2010年8月)のページ (第十三回 2011年3月)のページ (第十四回 2011年8月)のページ (第十五回 2012年3月)のページ (JAIST群馬大学共同ワークショップ)のページ (第十六回 2012年9月)のページ (第十七回 2013年4月)のページ (第十八回 2013年9月)のページ (第十九回 2014年3月)のページ (第二十回 2014年9月)のページ (第二十一回 2015年3月)のページ (第二十二回 2015年10月)のページ (第二十三回 2016年5月)のページ (第二十四回 2016年10月)のページ (第二十五回 2017年2月)のページ (第二十六回 2017年7月)のページ (第二十七回 2018年1月)のページ (第二十八回 2018年6月)のページ (第二十九回 2018年12月)のページ (第三十回 2019年04月)のページ コンピュテーション研究会 2019年12月)のページ 今回(2020年1月)で31回目!

参加者名簿

**** (最大25名まで!)**** 01 中野眞一 (群馬大) 10/03 OOOOO 14000円 02 宇野毅明 (NII) 10/03 OOxOO 13400円 03 上原隆平 (JAIST) 10/03 OOxOO 13400円 04 和佐州洋 (NII) 11/20 00OOO 14000円 05 荒木徹也 (群馬大) 11/28 OOOOO 14000円 夜到着 06 佐野祐輔 (岩手大) 12/04 OOOOO 14000円 07 佐々木良介 (岩手大) 12/04 OOOOO 14000円 08 末續鴻輝 (NII) 12/12 OOOOO 14000円 09 安福智明 (筑波大) 12/12 OOOOO 14000円 10 上原文枝 (JAIST) 12/16 OOxOO 13400円 11 佐藤竜馬 (京大) 12/17 OOOOO 12600円 (1日目夕食不要) 12 坂井公 (筑波大) 12/19 OOOOO 14000円 13 木谷裕紀 (名大) 12/20 OOOOO 14000円 14 清見礼 (横浜市大) 12/24 OOOOO 14000円 15 小林靖明 (京大) 12/24 OOOOO 14000円 16 藤田慎也 (横浜市大) 12/25 xxxOO 6700円 1/31 13:00着 17 藤原洋志 (信州大) 12/25 00OOO 14000円 18 判治奏帆 (信州大) 12/25 00OOO 14000円 19 足立良太 (信州大) 12/25 00OOO 14000円 20 戸島貫太 (信州大) 12/25 00OOO 14000円 21 木村健斗 (群馬大) 12/25 00OOO 14000円 22 所澤亮太 (信州大) 01/10 00OOO 14000円 23 後藤雅久 (東大) 01/10 00OOO 14000円 24 リ イン (東大) 01/10 00xxx 6700円 現在24名

メモ

使用申込書 プロジェクタ、ケーブル、電源コード多数、 指示棒、ポインタ、ホワイトボードマーカー、イレーサー 希望者への領収書 ごみぶくろ、 携帯用ホワイトボード チョーク へやわり表 VGA->HDMIケーブル等 長いHDMIケーブル 参加証明 宿泊証明 NII NAIST 愛媛 忘れ物注意 特にズボン 夕食時にワインや日本酒やウィスキーを(忘れずに)用意する 特に榛名の冷蔵庫中の飲み物わすれずにね とり平 0279-24-3854 (10:00-20:00) 竹710円 松820円 麦豚炙り焼き830円x24 https://www.torihei.co.jp/tyumon/ 領収書のファイル... 部屋割用のファイル...