博士前期課程：研究指導

2023年度

• LIN Jinsong: Multi-Agent Pathfinding through Obstacles by Reinforcement Learning
• 岩崎 巧実：放課後等デイサービスにおけるシステム導入の課題とその実態
• 鹿屋 直大：数独に対する最も簡単な解法を探索する 難易度判定付きソルバー
• 草野 敦也：株価変動が類似する企業グループを用いた株価予測手法の提案
• 松尾 朋卓：ZDDを用いた時間割作成アルゴリズムの開発
• 藤岡 祐太：ハイパーグラフ上の問題に対するZDDの変数順序の決定手法

2022年度

• 塩田 拓海：Overlapping Edge Unfoldings for Convex Regular-faced Polyhedrons
• 武田 浩和：理想グラフの部分クラスに対する非同型グラフ列挙アルゴリズム
• 土井 朋哉：効率的なフロンティア法の変数順序決定のためのパス分解アルゴリズム
• 永留 健人：３次元グリッド上の結び目の列挙

2020年度

• 新谷 樹生：事前処理によるスリザーリンクの解列挙アルゴリズムの高速化
• 高瀬 敏行：木深度問題に対する厳密アルゴリズムの実装

以下は神戸大学

 

2017年度 (主指導：山口一章先生)

• 浦川 翔平：Circular Arc 上の独立集合を求める省領域アルゴリズム
• 杉本 晃弘：木構造を持つグラフに対するボロノイゲーム

2013年度

• 松永 涼：フロンティア法を用いたExact Coverの列挙とその応用

学部学生：卒業研究指導

2023年度

• ⼭⼝ 悠太：真区間グラフにおけるグラフ描画アルゴリズムの開発
• 栗原 佑弥：放課後等デイサービス向け利用予約システムの再設計および実装
• 今村 遥弥：順序付き部分グラフ同型性判定問題と最大共通誘導部分グラフ問題の計算困難性
• 前⽥ 惠太：ZDDを用いた分割統治法によるパス数え上げアルゴリズム
• ⽥⼝ 直哉：次数制約の緩和によるフロンティア法の高速化

2022年度

• 有吉 優聖：タンパク質連接ネットワークの中心性とランダムコイル指標の関係性調査
• 大石 瑛輝：中学校・高等学校用時間割作成アプリケーションの開発
• 後藤 廣樹：時系列データの離散化による類似度計算手法の提案
• 藤村 海都：福祉施設向け送迎スケジュール生成機能付き利用予約システムの開発

2021年度

• ⽥﨑 鈴：⼀⼈で⾏うそこまで絞るには眠れない夜もあっただろに対するアルゴリズム
• ⿅屋 直⼤：フロンティア法によるスラロームとヤジリンに対するソルバー
• 前⽥ 雛：区間グラフの最⼤共通誘導部分グラフを⽤いた動作認識
• 松尾 朋卓：ZDDを⽤いた時間割作成アルゴリズムの実装
• ⼭下 栞奈：ANSURRを⽤いたタンパク質連接ネットワークの中⼼性に対する評価（指導教員：宮野英次先生）
• 草野 敦也：株価騰落の離散化による株価変動が類似する企業グループの抽出
• 芳岡 優⾐：⼆部置換グラフおよび鎖グラフの⾼速な列挙

2020年度

• 石井 柊太：ZDDを用いたノノグラムソルバーの開発
• 塩田 拓海：凸多面体の辺展開図における自己重複確認アルゴリズムの高速化
• 武田 浩和：真区間グラフの高速な列挙
• 土井 朋哉：ZDDを用いたInterval-Edge-Deletionアルゴリズムの実装
• 永留 健人：スリザーリンクのインスタンス生成アルゴリズムの実装

2018年度

• 安達 勇介：LCM を利用した株価騰落による類似株価変動企業の抽出
• 新谷 樹生：NMR の立体構造に対する柔軟性を利用した妥当性検証法の評価
• 高瀬 敏行：優先度付きキューを用いた省領域マルチセットソーティングアルゴリズム

2017年度

• 藤屋 武：TdZdd を用いた避難所割り当てパターンの列挙アルゴリズムの実装
• 瀬内 一成：TdZdd を用いた魔方陣の数え上げアルゴリズムの実装
• 高田 円樹：優先度付きキューによるソートの計算時間・領域トレードオフの実験的評価
• 宮崎 一希：Quoridor の NP 困難性

以下は神戸大学

 

2016年度

• 金澤 佑介：Web ブラウザ上で動作するグラフ上のボロノイゲームの実装
• 池田 総志：フロンティア法によるグリッド迷路の列挙
• 兼本 樹：ペグソリティアと RepTile パズルの解の列挙

2015年度

• 浦川 翔平：ボードゲーム QUARTO の対人戦における戦略の提案
• 角江 大樹：フロンティア法を用いたナンバーリンクソルバーにおける変数順序に関する研究
• 杉本 晃弘：手数が少ない場合におけるグリッド上のボロノイゲームの解析

2013年度

• 中嶋 章裕：多分決定図を用いたあみだくじ数え上げアルゴリズム
• 行本 裕：バンド幅問題に対するO^*(2ⁿ)領域のアルゴリズム

2012年度

• 森戸 一貴：動的計画法を用いた有向二値完全系統樹の高速な列挙
• 後藤 祐貴：グリッド上のボロノイゲームの解析
• 近藤 広樹：Dancing Links を用いた三次元敷き詰め問題の解列挙アルゴリズム