京都大学 大学院情報学研究科 通信情報システムコース
コンピュータアルゴリズム分野（湊研究室）
京都大学 工学部 情報学科 計算機科学コース コンピュータアルゴリズム分野
お知らせ
2024/04/16
構成員を更新しました．
2024/04/01
構成員，過去の博論・修論・卒論一覧を更新しました．
2024/03/25
送別会を行いました．
2024/03/21
人工知能基本問題研究会で，M2 の小西さんと B4 の宮本さんが研究発表しました．
小西 岳志, 川原 純, 湊 真一,
“ZDDを用いた独立集合遷移問題の解空間グラフの直径をなす独立集合対の計算,”
第128回人工知能基本問題研究会, 21 Mar. 2024.
宮本 照之, 川原 純, 湊 真一,
“ZDDの区間メモ化探索法を改良した頂点被覆問題のコスト制約解列挙アルゴリズム,”
第128回人工知能基本問題研究会, 21 Mar. 2024.
2024/03/17
情報処理学会 第86回全国大会で，M2 の吉さんが研究発表しました．
吉 浩, 川原 純, 湊 真一,
“0-1整数線形計画問題の実行可能解を列挙するZDDの生成法とその評価,”
情報処理学会 第86回全国大会, 17 Mar. 2024.
2024/03/14
電子情報通信学会 コンピュテーション研究会で，B4 の上田さんが研究発表しました．
岩政 勇仁, 川原 純, 上田 結大,
“タイを含む無羨望マッチングの遷移,”
電子情報通信学会 コンピュテーション研究会, vol. 123, no. 444, pp. 23–30, 14 Mar. 2024.
2024/03/08
日本オペレーションズ・リサーチ学会 2024年春期研究発表会で，B4 の古渡さんが研究発表しました．
古渡 健太, 川原 純, 湊 真一,
“コンテナ積載計画問題へのゼロサプレス型二分決定グラフの応用,”
日本オペレーションズ・リサーチ学会 2024年春期研究発表会, 8 Mar. 2024.
2024/03/06
日本応用数理学会第20回研究部会連合発表会で，B4 の森平さんが研究発表しました．
岩政 勇仁, 森平 隼矢,
“グラフ最小カットに基づく多様度最大の安定マッチング集合を求めるアルゴリズム,”
日本応用数理学会 第20回研究部会連合発表会, 6 Mar. 2024.
2024/03/05
電子情報通信学会2023年（令和5年）総合大会 COMP-AFSA学生シンポジウムで，M2 の江本さんが研究発表しました．
江本 洸海, 岩政 勇仁, 湊真一,
“マトロイドを表すBDD/ZDDについて,”
電子情報通信学会2023年（令和5年）総合大会 COMP-AFSA学生シンポジウム, 5 Mar. 2024.
2024/02/25
国際会議 ICAART 2024 で，M2 の大場さんが研究発表しました．
Shou Ooba, Jun Kawahara, Shin-ichi Minato,
“Designing algorithms for the shortest path reconfiguration problem using decision diagram operations,”
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, vol. 3, pp. 641–648, 25 Feb. 2024
2024/02/14
卒論・修論・博論お疲れ会を行いました．