活動情報

終了したイベント

セミナー

  • 2023.02.06 Mon. 10:00-12:00
    第35回セミナー・勉強会
    話者:柳浦 睦憲(名古屋大学,招待講演) 題目:組合せ最適化問題に対する実践的解法 概要:
    • 2023.01.16 Mon. 10:00-12:00
      第34回セミナー・勉強会
      話者:堀山 貴史(北海道大学,招待講演) 題目:あみだくじと菱形タイリングの列挙 概要:
      • 2022.12.05 Mon. 10:00-12:00
        第33回セミナー・勉強会
        話者:首藤 裕一(法政大学,招待講演) 題目:分散計算理論の世界 概要:
        • 2022.11.28 Mon. 10:00-12:00
          第32回セミナー・勉強会
          話者:飯岡 大輔(中部大学,B01班) 題目:再生可能エネルギーを主体とする電力システムの構築 概要:
          • 2022.11.14 Mon. 10:00-12:00
            第31回セミナー・勉強会
            話者:荻原 光徳(マイアミ大学,招待講演) 題目:離散時間論理型有限力学系の不確定性モデル 概要:
            • 2022.10.31 Mon. 10:00-12:00
              第30回セミナー・勉強会
              話者:木村 慧(九州大学,招待講演) 題目:遷移可能性制約をもつ彩色遷移問題 概要:
              • 2022.10.17 Mon. 10:00-12:00
                第29回セミナー・勉強会
                話者:垣村 尚徳(慶應義塾大学,C01班) 題目:制約付きのオンライン二部マッチング 概要:
                • 2022.07.25 Mon. 15:00-17:00
                  第28回セミナー・勉強会
                  話者:川原 純(京都大学,B01班) 題目:Reconfillion: 組合せ遷移ソルバー 概要:
                  • 2022.07.11 Mon. 15:00-17:00
                    第27回セミナー・勉強会
                    話者:奥村 圭祐(東京工業大学,招待講演) 題目:エージェント群のナビゲーション 概要:
                    • 2022.06.13 Mon. 15:00-17:00
                      第26回セミナー・勉強会
                      話者:青木 敏(神戸大学,招待講演) 題目:マルコフ連鎖モンテカルロ法のための計算代数 概要:
                      • 2022.05.30 Mon. 15:00-17:00
                        第25回セミナー・勉強会
                        話者:中畑 裕(奈良先端科学技術大学院大学,B01班) 題目:決定グラフを用いた暗黙的部分グラフ列挙 概要:
                        • 2022.05.16 Mon. 15:00-17:00
                          第24回セミナー・勉強会
                          話者:山内 由紀子(九州大学,A01班) 題目:分散計算と遷移問題 概要:
                          • 2022.04.25 Mon. 15:00-17:00
                            第23回セミナー・勉強会
                            話者:神山 直之(九州大学,C01班) 題目:パレート安定マッチング 概要:
                            • 2022.04.11 Mon. 15:00-17:00
                              第22回セミナー・勉強会
                              話者:鈴木 顕(東北大学,B01班) 題目:遷移最適化を用いた配電網の切替手順の算出 概要:
                              • 2022.01.20 Thu. 10:00-12:00
                                第21回セミナー・勉強会
                                話者:小林 靖明(京都大学,A01班) 題目:組合せ最適化問題に対する多様な最適解の計算について 概要:
                                • 2022.01.06 Thu. 10:00-12:00
                                  第20回セミナー・勉強会
                                  話者:大坂 直人(株式会社サイバーエージェント,招待講演) 題目:標的集合の遷移可能性について 概要:
                                  • 2021.12.16 Thu. 10:00-12:00
                                    第19回セミナー・勉強会
                                    話者:山中 克久(岩手大学,招待講演) 題目:あみだくじの列挙と遷移 概要:
                                    • 2021.11.25 Thu. 10:00-12:00
                                      第18回セミナー・勉強会
                                      話者:上原 隆平(北陸先端科学技術大学院大学,招待講演) 題目:組合せ遷移問題の視点から見たパズルの歴史 概要:
                                      • 2021.11.11 Thu. 10:00-12:00
                                        第17回セミナー・勉強会
                                        話者:小林 佑輔(京都大学,C01班) 題目:連結度制約付きグラフ向き付けの遷移 概要:
                                        • 2021.10.21 Thu. 10:00-12:00
                                          第16回セミナー・勉強会
                                          話者:中畑 裕(奈良先端科学技術大学院大学) 題目:有向グラフ上のトークンスライディング問題 概要:
                                          • 2021.10.07 Thu. 10:00-12:00
                                            第15回セミナー・勉強会
                                            話者:江藤 宏(東北大学,A01班) 題目:最大誘導部分グラフ探索問題の計算困難性について 概要:
                                            • 2021.07.26 Mon. 10:00-12:00
                                              第14回セミナー・勉強会
                                              話者:野崎 雄太(広島大学,C01班) 題目:トポロジーの視点 概要:
                                              • 2021.07.05 Mon. 10:00-12:00
                                                第13回セミナー・勉強会
                                                話者:宋 剛秀(神戸大学,B01班) 題目:SATソルバーの最新動向と利用技術 概要:
                                                • 2021.06.21 Mon. 10:00-12:00
                                                  第12回セミナー・勉強会
                                                  話者:玉置 卓(兵庫県立大学,招待講演) 題目:SATの解空間連結性判定問題の計算複雑性について 概要:
                                                  • 2021.06.07 Mon. 10:00-12:00
                                                    第11回セミナー・勉強会
                                                    話者:岩政 勇仁(京都大学,C01班) 題目:制約充足問題に対する代数的アプローチ 概要:
                                                    • 2021.05.24 Mon. 10:00-12:00
                                                      第10回セミナー・勉強会
                                                      話者:照山 順一(兵庫県立大学,B01班) 題目:比較回数を抑えた整列アルゴリズム 概要:
                                                      • 2021.05.10 Mon. 10:00-12:00
                                                        第09回セミナー・勉強会
                                                        話者:和佐 州洋(豊橋技術科学大学,A01班) 題目:解グラフに着目した列挙アルゴリズムの構成 概要:
                                                        • 2021.04.26 Mon. 10:00-12:00
                                                          第08回セミナー・勉強会
                                                          話者:前澤 俊一(電気通信大学,C01班) 題目:辺着色グラフにおける特定の性質を満たす部分グラフ 概要:
                                                          • 2021.02.19 Fri. 15:00-17:00
                                                            第07回セミナー・勉強会
                                                            話者:川原 純(京都大学,B01班) 題目:ZDDを用いた部分グラフ列挙 概要:
                                                            • 2021.02.12 Fri. 15:00-17:00
                                                              第06回セミナー・勉強会
                                                              話者:小関 健太(横浜国立大学,C01班) 題目:3-正則グラフにおける3-辺彩色のケンペ鎖による遷移 概要:
                                                              • 2021.01.22 Fri. 15:00-17:00
                                                                第05回セミナー・勉強会
                                                                話者:戸田 貴久(電気通信大学,B01班) 題目:有界モデル検査,SATプランニング,ネットワークアップデート 概要:
                                                                • 2020.12.25 Fri. 15:00-17:00
                                                                  第04回セミナー・勉強会
                                                                  話者:岡本 吉央(電気通信大学,C01班) 題目:組合せ遷移と離散構造 概要:
                                                                  • 2020.12.18 Fri. 14:00-16:00
                                                                    第03回セミナー・勉強会
                                                                    話者:大舘 陽太(名古屋大学,A01班) 題目:独立集合の遷移について 概要:
                                                                    • 2020.12.11 Fri. 15:00-17:00
                                                                      第02回セミナー・勉強会
                                                                      話者:伊藤 健洋(東北大学,A01班) 題目:組合せ遷移のアルゴリズム -アルゴリズム手法- 概要:
                                                                      • 2020.11.20 Fri. 15:00-17:00
                                                                        第01回セミナー・勉強会
                                                                        話者:伊藤 健洋(東北大学,A01班) 題目:組合せ遷移のアルゴリズム -計算困難性の証明- 概要: