第206回AL研究発表会
第206回アルゴリズム研究発表会
本研究発表会は大濱信泉記念館（沖縄県）およびオンラインのハイブリッドで開催します．発表は現地で行っていただきます．
研究発表会への参加申込については現在準備中のため後日掲載いたします．
懇親会への参加を希望される方は、以下「参加申込のご案内」をご参照のうえ、12月25日（木）までにお申し込みください．
研究発表会への参加申込については現在準備中のため後日掲載いたします．
懇親会への参加を希望される方は、以下「参加申込のご案内」をご参照のうえ、12月25日（木）までにお申し込みください．
参加申込のご案内（現在、懇親会のみ受付中）
日 程 ： 2026年1月13日（火），14日（水）
会 場 ： 大濱信泉記念館 (沖縄県石垣市登野城2-70) ※ハイブリッド開催 (発表者は現地参加のみ)
https://ohamanobumoto.net/access/
併 催 ： 人工知能学会 人工知能基本問題研究会 (FPAI)
研究発表会：参加申込詳細は決まり次第掲載いたします。
懇親会について：
1月13日の夜に合同の懇親会を実施する予定です。
申し込み締切は12月25日となっております。
懇親会申し込みフォームのURLは、以下よりご確認ください。
http://www.ipsj-sigal.or.jp/
参加申込に関する照会先：
〒101-0052 東京都千代田区神田小川町3丁目2-1 CIRCLES神田小川町6F
一般社団法人 情報処理学会 調査研究 研究部門 E-mail：sig"at"ipsj.or.jp
当日運営やプログラムに関する照会先: "at"は@に変換してください。
アルゴリズム研究会幹事団 sig-al-kanji"at"sigal.sakura.ne.jp
※その他 研究会Webページ もご確認ください。
会 場 ： 大濱信泉記念館 (沖縄県石垣市登野城2-70) ※ハイブリッド開催 (発表者は現地参加のみ)
https://ohamanobumoto.net/access/
併 催 ： 人工知能学会 人工知能基本問題研究会 (FPAI)
研究発表会：参加申込詳細は決まり次第掲載いたします。
懇親会について：
1月13日の夜に合同の懇親会を実施する予定です。
申し込み締切は12月25日となっております。
懇親会申し込みフォームのURLは、以下よりご確認ください。
http://www.ipsj-sigal.or.jp/
参加申込に関する照会先：
〒101-0052 東京都千代田区神田小川町3丁目2-1 CIRCLES神田小川町6F
一般社団法人 情報処理学会 調査研究 研究部門 E-mail：sig"at"ipsj.or.jp
当日運営やプログラムに関する照会先: "at"は@に変換してください。
アルゴリズム研究会幹事団 sig-al-kanji"at"sigal.sakura.ne.jp
※その他 研究会Webページ もご確認ください。
プログラム
会場 大濱信泉記念館 多目的ホール (沖縄県石垣市登野城2-70 https://ohamanobumoto.net/)
※ハイブリッド開催 (発表者は原則現地参加のみ)
1月13日(火) (09：25 - 17：35)
□ オープニング (09：25 - 09：30)
■ 一般セッション1 (09：30 - 10：30)
(1) 09:30 - 09:45
[AL1] 準リアルタイム接尾木構築に関する応用について
○クップル ドミニク (山梨大学), Kucherov Gregory (ギュスターヴ・エッフェル大学)
(2) 09:45 - 10:00
[AL2] 混合グラフ上の厳密閉路被覆問題のASP完全性
○薄田 広祐, 照山 順一 (兵庫県立大学)
(3) 10:00 - 10:15
[AL3] 両重み付き木に対して最長路の長さを最短化するアルゴリズム
○朝廣 雄一 (九州産業大学), Jansson Jesper (京都大学), Melkman Avraham (Ben-Gurion University of Negev), 宮野 英次 (九州工業大学), 小野 廣隆 (名古屋大学), Xue Quan (University of Hong Kong), 矢野 祥睦 (東京大学), Zakov Shay (Ruppin Academic Center)
(4) 10:15 - 10:30
[AL4] Ladder Lotteries with a Single Bar Representing a Reverse Permutation: Enumeration by Reverse Search
○Mineyoshi Shoon, Seto Kazuhisa, Horiyama Takashi (Hokkaido University)
−−− 休憩 ( 15分 ) −−−
■ 一般セッション2 (10：45 - 11：45)
(5) 10:45 - 11:00
[FPAI1] 時空間的な経路の広がりを考慮した多様経路探索手法の検討
○大滝 啓介 (豊田中央研究所), 前田 智祐 (豊田中央研究所), 吉村 貴克 (豊田中央研究所)
(6) 11:00 - 11:15
[FPAI2] Debugging Support for the SQL-Based Combinatorial Optimization Solver CombSQL+
○Rina Su (名古屋大学), Masahiko Sakai (名古屋大学)
(7) 11:15 - 11:30
[FPAI3] Building a Machine-Readable Traffic Rule System
○May Myo Zin (ROIS-DS), Wachara Fungwacharakorn (ROIS-DS), Ken Satoh (ROIS-DS), Katsumi Nitta (ROIS-DS)
(8) 11:30 - 11:45
[FPAI4] ルールセットモデルの多目的最適化問題に対する近似保証付きアルゴリズム
○佐々木 耀一 (日本電気株式会社), 岡嶋 穣 (日本電気株式会社)
−−− 昼休み ( 85分 ) −−−
□ 「情報処理学会コンピュータサイエンス領域功績賞」の表彰式 （13:10 - 13:15）
■ 招待講演1 (13：15 - 14：15)
(9) 13：15 - 14：15
[AL招待講演] 私の好きな5つのアルゴリズム
加藤 直樹 (兵庫県立大学)
−−− 休憩 ( 15分 ) −−−
■ 一般セッション3 (14：30 - 15：15)
(10) 14:30 - 14:45
[AL5] 正則Lineグラフ上のハミルトン閉路問題
○梅林 果琳, 長尾 篤樹 (お茶の水女子大学)
(11) 14:45 - 15:00
[AL6] 極大閉部分文字列のオンライン計算アルゴリズム
○柴田 紘希, 梅崎 陽生, 中島 祐人, 稲永 俊介 (九州大学)
(12) 15:00 - 15:15
[AL7] 静的な共有辞書を用いたPPM法の性能評価
○安井 秀太, 喜田 拓也 (北海学園大学)
−−− 休憩 ( 20分 ) −−−
■ 一般セッション4 (15：35 - 16：20)
(13) 15:35 - 15:50
[FPAI5] VQEを用いた量子カーネルによるPES予測
○三浦 琳華 (神戸市立高専), 石畠 正和 (NTT)
(14) 15:50 - 16:05
[FPAI6] 画像空間の線形多層ニューラルネットワークによる次元削減について
○清水 恭介 (日本大学), 小林 晴 (日本大学), 西山 雄梨 (日本大学), 青柳 美輝 (日本大学)
(15) 16:05 - 16:20
[FPAI7] LLMの記憶崩壊を克服する高次元の連続性システム
○大平 浩二 (独立研究者)
−−− 休憩 ( 15分 ) −−−
■ 一般セッション5 (16：35 - 17：35)
(16) 16:35 - 16:50
[AL8] Spanning Trees with a Small Vertex Cover: the Complexity on Specific Graph Classes
○Kokai Toranosuke, Suzuki Akira, Suzuki Takahiro, Tamura Yuma, Zhou Xiao (Tohoku University)
(17) 16:50 - 17:05
[AL9] FedProxを応用した安定なFederated Unlearningを実現する蓄積型勾配上昇法
○金田 康平, 竹本 修, 野崎 佑典, 吉川 雅弥 (名城大学)
(18) 17:05 - 17:20
[AL10] 分割連合学習におけるデータセット型累積勾配中間表現汚染手法に対する定量的評価
○石田 知勢, 熊谷 瞭, 竹本 修, 野崎 佑典, 吉川 雅弥 (名城大学)
(19) 17:20 - 17:35
[AL11] R遷移制約下でのn/k-彩色遷移問題の計算困難性と物理的ゼロ知識証明
○小河 子竜, 辻 岳亨, 上嶋 章宏 (大阪電気通信大学)
1月14日(水) (09：00 - 16：20)
■ 一般セッション6 (09：00 - 10：00)
(20) 09:00 - 09:15
[FPAI8] XCC を表現する ZMDD 上での探索
○松本 吏司 (高知工科大), 原田 崇司 (高知工科大)
(21) 09:15 - 09:30
[FPAI9] パス幅定数グラフに対する影響拡散の線形時間厳密計算
○中村 健吾 (NTT)
(22) 09:30 - 09:45
[FPAI10] 二次疑ブール関数の最小解列挙における二分決定グラフの変数順
○松尾 鞠花 (京都大学), 川原 純 (京都大学), 湊 真一 (京都大学)
(23) 09:45 - 10:00
[FPAI11] 最小数独サイズの形式検証に向けた取り組み
○松尾 涼誠（電気通信大学), 戸田 貴久（電気通信大学)
−−− 休憩 ( 15分 ) −−−
■ 一般セッション7 (10：15 - 11：15)
(24) 10:15 - 10:30
[AL12] An Extended RAM Model for Algebraic Numbers
○Kamata Tonan (Japan Advanced Institute of Science and Technology)
(25) 10:30 - 10:45
[AL13] タングラム・清少納言知恵の板で構成可能なポリアボロの全列挙
○リ コウ, 山崎 一明, 鎌田 斗南, 上原 隆平 (北陸先端科学技術大学院大学)
(26) 10:45 - 11:00
[AL14] ペアボットモデルの違いと直線フロッキング問題の可解性の関係について
○篠永 智宏, 金 鎔煥, 片山 喜章 (名古屋工業大学)
(27) 11:00 - 11:15
[AL15] 有向頂点素パス問題に対する木幅をパラメータとするアルゴリズムと下界
○邊 東延, 松林 昭 (金沢大学)
−−− 休憩 ( 20分 ) −−−
■ 招待講演2 (11：35 - 12：35)
(28) 11:35 - 12:35
[FPAI招待講演] タイトル未定
新井 淳也（NTT）
−−− 昼休み ( 85分 ) −−−
■ 一般セッション8 (14：00 - 15：00)
(29) 14:00 - 14:15
[AL16] NP問題に対するヒントに基づくCDCLアルゴリズムの高速化
○戸田 貴久 (電気通信大学)
(30) 14:15 - 14:30
[AL17] 準完全情報ニム
安福 智明 (岐阜大学), 洞 龍弥 (東京大学), 稲津 大貴 (広島大学), ○木谷 裕紀 (大阪公立大学), 末續 鴻輝 (早稲田大学/大阪公立大学/東洋大学), 吉渡 叶 (京都大学)
(31) 14:30 - 14:45
[AL18] 手番に偏りをもつ組合せゲームの計算困難性
安福 智明 (岐阜大学), 稲津 大貴 (広島大学), 木谷 裕紀 (大阪公立大学), 末續 鴻輝 (早稲田大学/大阪公立大学/東洋大学), ○吉渡 叶 (京都大学)
(32) 14:45 - 15:00
[AL19] A Fast Bidirectional-Search Algorithm for the Kth Shortest Path Problem on DAGs
○Ryuaki Yuya (東京科学大学)
−−− 休憩 ( 15分 ) −−−
■ 一般セッション9 (15：15～16：15)
(33) 15:15 - 15:30
[FPAI12] Deconstructing the Black Box: A Mechanistic Simulation of Learning Automata via Static Transformers
○Ye Yuan (京都大学), Akihiro Yamamoto (京都大学)
(34) 15:30 - 15:45
[FPAI13] 特徴量の離散化が不要な準最適決定木に向けて
○鈴木 浩史（富士通）
(35) 15:45 - 16:00
[FPAI14] 機械学習のブラックボックス公平性テストにおける代理モデルの近似性能の改善
○石井 沙季 (電気通信大学), Zhao Zhenjiang (電気通信大学), 戸田 貴久 (電気通信大学)
(36) 16:00 - 16:15
[FPAI15]
機械学習の堅牢性のための汎用的なテストツールの開発に向けて
○大橋 賢人 (電気通信大学), Zhao Zhenjiang (電気通信大学), 戸田 貴久 (電気通信大学)
□ クロージング (16：15～16：20)
一般講演：発表 12 分 ＋ 質疑応答 3 分
※ハイブリッド開催 (発表者は原則現地参加のみ)
1月13日(火) (09：25 - 17：35)
□ オープニング (09：25 - 09：30)
■ 一般セッション1 (09：30 - 10：30)
(1) 09:30 - 09:45
[AL1] 準リアルタイム接尾木構築に関する応用について
○クップル ドミニク (山梨大学), Kucherov Gregory (ギュスターヴ・エッフェル大学)
(2) 09:45 - 10:00
[AL2] 混合グラフ上の厳密閉路被覆問題のASP完全性
○薄田 広祐, 照山 順一 (兵庫県立大学)
(3) 10:00 - 10:15
[AL3] 両重み付き木に対して最長路の長さを最短化するアルゴリズム
○朝廣 雄一 (九州産業大学), Jansson Jesper (京都大学), Melkman Avraham (Ben-Gurion University of Negev), 宮野 英次 (九州工業大学), 小野 廣隆 (名古屋大学), Xue Quan (University of Hong Kong), 矢野 祥睦 (東京大学), Zakov Shay (Ruppin Academic Center)
(4) 10:15 - 10:30
[AL4] Ladder Lotteries with a Single Bar Representing a Reverse Permutation: Enumeration by Reverse Search
○Mineyoshi Shoon, Seto Kazuhisa, Horiyama Takashi (Hokkaido University)
−−− 休憩 ( 15分 ) −−−
■ 一般セッション2 (10：45 - 11：45)
(5) 10:45 - 11:00
[FPAI1] 時空間的な経路の広がりを考慮した多様経路探索手法の検討
○大滝 啓介 (豊田中央研究所), 前田 智祐 (豊田中央研究所), 吉村 貴克 (豊田中央研究所)
(6) 11:00 - 11:15
[FPAI2] Debugging Support for the SQL-Based Combinatorial Optimization Solver CombSQL+
○Rina Su (名古屋大学), Masahiko Sakai (名古屋大学)
(7) 11:15 - 11:30
[FPAI3] Building a Machine-Readable Traffic Rule System
○May Myo Zin (ROIS-DS), Wachara Fungwacharakorn (ROIS-DS), Ken Satoh (ROIS-DS), Katsumi Nitta (ROIS-DS)
(8) 11:30 - 11:45
[FPAI4] ルールセットモデルの多目的最適化問題に対する近似保証付きアルゴリズム
○佐々木 耀一 (日本電気株式会社), 岡嶋 穣 (日本電気株式会社)
−−− 昼休み ( 85分 ) −−−
□ 「情報処理学会コンピュータサイエンス領域功績賞」の表彰式 （13:10 - 13:15）
■ 招待講演1 (13：15 - 14：15)
(9) 13：15 - 14：15
[AL招待講演] 私の好きな5つのアルゴリズム
加藤 直樹 (兵庫県立大学)
−−− 休憩 ( 15分 ) −−−
■ 一般セッション3 (14：30 - 15：15)
(10) 14:30 - 14:45
[AL5] 正則Lineグラフ上のハミルトン閉路問題
○梅林 果琳, 長尾 篤樹 (お茶の水女子大学)
(11) 14:45 - 15:00
[AL6] 極大閉部分文字列のオンライン計算アルゴリズム
○柴田 紘希, 梅崎 陽生, 中島 祐人, 稲永 俊介 (九州大学)
(12) 15:00 - 15:15
[AL7] 静的な共有辞書を用いたPPM法の性能評価
○安井 秀太, 喜田 拓也 (北海学園大学)
−−− 休憩 ( 20分 ) −−−
■ 一般セッション4 (15：35 - 16：20)
(13) 15:35 - 15:50
[FPAI5] VQEを用いた量子カーネルによるPES予測
○三浦 琳華 (神戸市立高専), 石畠 正和 (NTT)
(14) 15:50 - 16:05
[FPAI6] 画像空間の線形多層ニューラルネットワークによる次元削減について
○清水 恭介 (日本大学), 小林 晴 (日本大学), 西山 雄梨 (日本大学), 青柳 美輝 (日本大学)
(15) 16:05 - 16:20
[FPAI7] LLMの記憶崩壊を克服する高次元の連続性システム
○大平 浩二 (独立研究者)
−−− 休憩 ( 15分 ) −−−
■ 一般セッション5 (16：35 - 17：35)
(16) 16:35 - 16:50
[AL8] Spanning Trees with a Small Vertex Cover: the Complexity on Specific Graph Classes
○Kokai Toranosuke, Suzuki Akira, Suzuki Takahiro, Tamura Yuma, Zhou Xiao (Tohoku University)
(17) 16:50 - 17:05
[AL9] FedProxを応用した安定なFederated Unlearningを実現する蓄積型勾配上昇法
○金田 康平, 竹本 修, 野崎 佑典, 吉川 雅弥 (名城大学)
(18) 17:05 - 17:20
[AL10] 分割連合学習におけるデータセット型累積勾配中間表現汚染手法に対する定量的評価
○石田 知勢, 熊谷 瞭, 竹本 修, 野崎 佑典, 吉川 雅弥 (名城大学)
(19) 17:20 - 17:35
[AL11] R遷移制約下でのn/k-彩色遷移問題の計算困難性と物理的ゼロ知識証明
○小河 子竜, 辻 岳亨, 上嶋 章宏 (大阪電気通信大学)
1月14日(水) (09：00 - 16：20)
■ 一般セッション6 (09：00 - 10：00)
(20) 09:00 - 09:15
[FPAI8] XCC を表現する ZMDD 上での探索
○松本 吏司 (高知工科大), 原田 崇司 (高知工科大)
(21) 09:15 - 09:30
[FPAI9] パス幅定数グラフに対する影響拡散の線形時間厳密計算
○中村 健吾 (NTT)
(22) 09:30 - 09:45
[FPAI10] 二次疑ブール関数の最小解列挙における二分決定グラフの変数順
○松尾 鞠花 (京都大学), 川原 純 (京都大学), 湊 真一 (京都大学)
(23) 09:45 - 10:00
[FPAI11] 最小数独サイズの形式検証に向けた取り組み
○松尾 涼誠（電気通信大学), 戸田 貴久（電気通信大学)
−−− 休憩 ( 15分 ) −−−
■ 一般セッション7 (10：15 - 11：15)
(24) 10:15 - 10:30
[AL12] An Extended RAM Model for Algebraic Numbers
○Kamata Tonan (Japan Advanced Institute of Science and Technology)
(25) 10:30 - 10:45
[AL13] タングラム・清少納言知恵の板で構成可能なポリアボロの全列挙
○リ コウ, 山崎 一明, 鎌田 斗南, 上原 隆平 (北陸先端科学技術大学院大学)
(26) 10:45 - 11:00
[AL14] ペアボットモデルの違いと直線フロッキング問題の可解性の関係について
○篠永 智宏, 金 鎔煥, 片山 喜章 (名古屋工業大学)
(27) 11:00 - 11:15
[AL15] 有向頂点素パス問題に対する木幅をパラメータとするアルゴリズムと下界
○邊 東延, 松林 昭 (金沢大学)
−−− 休憩 ( 20分 ) −−−
■ 招待講演2 (11：35 - 12：35)
(28) 11:35 - 12:35
[FPAI招待講演] タイトル未定
新井 淳也（NTT）
−−− 昼休み ( 85分 ) −−−
■ 一般セッション8 (14：00 - 15：00)
(29) 14:00 - 14:15
[AL16] NP問題に対するヒントに基づくCDCLアルゴリズムの高速化
○戸田 貴久 (電気通信大学)
(30) 14:15 - 14:30
[AL17] 準完全情報ニム
安福 智明 (岐阜大学), 洞 龍弥 (東京大学), 稲津 大貴 (広島大学), ○木谷 裕紀 (大阪公立大学), 末續 鴻輝 (早稲田大学/大阪公立大学/東洋大学), 吉渡 叶 (京都大学)
(31) 14:30 - 14:45
[AL18] 手番に偏りをもつ組合せゲームの計算困難性
安福 智明 (岐阜大学), 稲津 大貴 (広島大学), 木谷 裕紀 (大阪公立大学), 末續 鴻輝 (早稲田大学/大阪公立大学/東洋大学), ○吉渡 叶 (京都大学)
(32) 14:45 - 15:00
[AL19] A Fast Bidirectional-Search Algorithm for the Kth Shortest Path Problem on DAGs
○Ryuaki Yuya (東京科学大学)
−−− 休憩 ( 15分 ) −−−
■ 一般セッション9 (15：15～16：15)
(33) 15:15 - 15:30
[FPAI12] Deconstructing the Black Box: A Mechanistic Simulation of Learning Automata via Static Transformers
○Ye Yuan (京都大学), Akihiro Yamamoto (京都大学)
(34) 15:30 - 15:45
[FPAI13] 特徴量の離散化が不要な準最適決定木に向けて
○鈴木 浩史（富士通）
(35) 15:45 - 16:00
[FPAI14] 機械学習のブラックボックス公平性テストにおける代理モデルの近似性能の改善
○石井 沙季 (電気通信大学), Zhao Zhenjiang (電気通信大学), 戸田 貴久 (電気通信大学)
(36) 16:00 - 16:15
[FPAI15]
機械学習の堅牢性のための汎用的なテストツールの開発に向けて
○大橋 賢人 (電気通信大学), Zhao Zhenjiang (電気通信大学), 戸田 貴久 (電気通信大学)
□ クロージング (16：15～16：20)
一般講演：発表 12 分 ＋ 質疑応答 3 分
発表募集のご案内（終了しました）
原稿締切厳守 ！
- 原稿締切日の24時を過ぎるとシステムに投稿が出来なくなり、発表も取り消しとなりますのでご注意ください。
- 原稿締切までは何度でもご自身でアップロード可能です（締切後は、原稿の差替え（再アップロード）、発表の取り消しもできませんのでご注意ください）。
- フォントが正しく埋め込まれていないといったトラブルもありますので、早めに一度アップロードされることをお勧めします。
日 程 ： 2026年1月13日（火），14日（水）
会 場 ： 大濱信泉記念館 (沖縄県石垣市登野城2-70) ※ハイブリッド開催 (発表者は現地参加のみ)
併 催 ： 人工知能学会 人工知能基本問題研究会 (FPAI)
発表申込締切： 2025年11月17日（月）23時59分 締切
原稿提出締切： 2025年12月15日（月）23時59分 締切厳守
23時59分を過ぎるとシステムに投稿できなくなります．締切に遅れると発表キャンセルとなりますのでご注意ください．
また，フォントの埋め込みがされていないとアラートが出ますので，お早目にご投稿いただきますようお願い致します．
発表申込方法 ：
以下のURLの「発表申込」メニューよりお申込ください．
https://ipsj1.i-product.biz/ipsjsig/AL/
※申込みフォームの「研究会への連絡事項欄」に以下についてご入力ください．
（1）生年月:____年__月
（2）ショートトークを希望:する／しない
（3）発表時間に特別のご希望があれば明記下さい．
* 発表者生年月は受賞候補者選考等に必要な場合がありますのでご協力願います．
その他
- 個人情報について：
発表申込・参加申込にてご提供頂いた個人情報は、情報処理学会プライバシーポリシーに則って適切に管理します。同意いただいたうえでお申し込みください。なお、研究会幹事より直接ご連絡させていただく場合もございますのでご了承願います。
参考） 情報処理学会プライバシーポリシー - 研究会主催のイベントが開催されない場合の対応について：
https://www.ipsj.or.jp/kenkyukai/sig-event-cancel.html