研究テーマ

2022年度


【修士論文】
清家 広和 2種モバイルロボット群の分離問題
上村 智哉 非同期なファットロボットによるオブジェクト視認アルゴリズムを用いた三角形欠損の充填

【卒業論文】
小佐野 翼 時間グラフ上の頂点被覆について

2021年度


【修士論文】
岡田 真明 テント展開の乱択模倣
熊本 舟馬 拡大する三次元領域上の格子ランダムウォークの再帰性の条件につ いて
山田 凌乃介 Search and Evacuation in a Finite 3D Cubic Grid by a Metamorphic Robotic System

【卒業論文】
佐々木 陸 n × (n+α) AB game の必要回答回数の上界と下界について
宇佐美 智之 円周上の訪問点に対する自律分散型ロボット群による警邏問題
坂本 拓馬 グリッド上のコータリーの分散遷移問題

2020年度


【修士論文】
王 天禹 伸びる棒を持つ線形探索問題の解析
湯 潤 Team Assembling Algorithm for Kilobots
中村 真先 一人プレイヤーによるDiscounted Payoff Gameの解法について
半澤 陽 移動故障エージェントの封じ込めと連結性の回復
盧 尚 On Non-transitivity of the Set of Dice with the Same Expectations

【卒業論文】
池内 明伸 マトロイド制約付き単調劣モジュラ関数最大化に対する近似アルゴリズムの実験的評価
清家 広和 直線配置からの2種モバイルロボット群の分離問題
町田 諒 鎖状ハニカム構造における最適ぺブリング数
ミンビョンホ Some Polynomial-Time Solvable Instances of 3-PARTITION

2019年度（2019年度までは来嶋・山内研究室）


【修士論文】
王 尚桐 Online Learning in Games with State Transitions
加藤 直樹 入れ子多面体の次元と非負ランク
藤井 智仁 M♮凹集合関数の最適化元の数え上げ
吉村 純弥 無向パリティゲームの効率的解法
吉村 正太郎 局所性を考慮した辺交換ゲームの均衡の効率と収束性

【卒業論文】
大江 憂歌 頂点毎の訪問単純閉路の数え上げに対するワンパスZDDアルゴリズム
清田 陽翔 ハードコアモデルの状態数え上げに対するMCMC 法の実装について

2018年度


【博士論文】
西山 宏 Relaxations of Hard Graph Problems Using Finite Groups, and Characterizations of Graphs for Efficient Algorithms
（有限群を用いた計算困難なグラフ問題の緩和と，効率的アルゴリズムのためのグラフの特徴づけ）

【修士論文】
土居 圭介 プログラム可能な粒子群による三角形格子領域の探索

【卒業論文】
上村 智哉 非同期な無記憶ファットロボットによる凸包充填問題
岡田 真明 黄金比を基とするβ展開について
半澤 陽 完全ネットワーク上でのモバイルビザンチン故障の封じ込めと合意形成

2017年度


【修士論文】
河本 和也 マルコフ連鎖を用いたシュタイナー三項系のサンプリング
冨田 祐作 乱択β展開
門出 顕宏 Localization of the Midpoint of a Line Segment by an Oblivious Mobile Robot with Limited Visibility
山本 晃己 安定割当問題におけるローテーション半順序集合の求解

【卒業論文】
加藤 直樹 非負行列のランクと非負ランクの乖離を測る尺度の提案
吉村正太郎 視界が限られたプレイヤーによる辺交換ゲーム
羅 子涵 自律移動ロボット群による凸包充填問題

2016年度（2016年度までは山下・来嶋研究室）


【博士論文】
白髪　丈晴 Analyses of Deterministic Processes Analogous to Finite Markov Chains
（有限マルコフ連鎖に類似する決定性過程の解析）

【修士論文】
上原 太一 Plane Formation in 3D-Space by Oblivious SSYNC Robots with Non-rigird Move
玉谷 賢一 トークンが出会うことのない長周期のローターウォーク
中島 淳平 対称差劣モジュラ関数の基準集合発見問題
橋村 勇志 ランク3行列の非負ランク計算に対する幾何的な考察に基づくアルゴリズムの提案
八神 貴裕 洞窟内の人を捜索する---自然なモデル化と最適アルゴリズム---

【卒業論文】
小畑 智行 保護主義的投票行動者モデルの相転移現象---その計算機実験的解析
田村 元貴 3次元空間における自律移動ロボット群の一点集合問題について

2015年度


【修士論文】
原田 泰佑 教師なし学習手法を用いた Wikipedia からの翻訳対の抽出
松川 理拓 オンライン予測問題に対する更新コスト付きリグレット解析
米 巧 大規模マルウェアデータ群に対する系統樹推定

【卒業論文】
柴田 友樹 格子上の経路数え上げの乱択近似
土居 圭介 自律モジュールロボットによる二次元格子領域の探索
冨田 祐作 3次元空間中におけるキラリティのない自律分散ロボット群の平面形成問題
門出 顕宏 限られた視界を持つ自律分散ロボット群による線分集合被覆問題
山本 晃己 安定割当問題の解構造について

2014年度


【修士論文】
任 熙宰 ストリーム中のアイテム頻度に関する省領域乱択近似アルゴリズム
久保 浩平 直径の小さなグラフ上の全域木混雑度問題
佐々木 徹 移動ビザンチン合意問題 ーモデル及び可解性，アルゴリズム
徐 暁光 Population Protocols Based on k-interactions
陳 鳳棋 A Distributed Locomotion Algorithm for 3-dimensional Metamorphic Robotic System
西山 宏 パリティハミルトン閉路問題
平川 瑞樹 The Family of Vertex Sets of Popular Matchings in The Stable Marriage Problem
劉 智強 Team Assembling Problem for Heterogeneous Mobile Robots

【卒業論文】
上原 太一 3次元空間中の自律分散ロボットの平面合意問題
玉谷 賢一 ラーマングラフの再構築可能性について
橋村 勇志 非負行列分解の絶対値誤差最小化について
三重野 琢也 直線上のデータ配送問題に対する多項式時間アルゴリズム
八神 貴裕 バリケードを用いたオンライン木探索について

2013年度


【修士論文】
白髪 丈晴 マルコフ連鎖の脱乱択化～関数ルーターモデルの提案と解析～
園田 尚人 O(log log n)スペース乱択近似ストリームアルゴリズム
タウフィックラチマン ラーマングラフの向き付けとランダムサンプリング法について

【卒業論文】
松川 理拓 自己適応最適二分探索木の研究
松永 直也 単位区間グラフ上の巡回セールスマン問題のLP定式化
米 巧 圧縮度に基づく類似度測定法を用いたマルウェアの分類

2012年度


【修士論文】
木場 孝輔 動的グラフ上のランダムウォークの到達時間と全訪問時間
三原 勇治 グラフ中の森および連結全域部分グラフの乱択近似数え上げ

【卒業論文】
久保 浩平 正規圧縮距離を用いたクラスタリング法の実装と木距離への近似について
佐々木 徹 一般のネットワーク上の移動ビザンチン合意問題について
西山 宏 パリティ最長路問題
平川 瑞樹 安定結婚問題における最適選好マッチングの解構造

2011年度


【博士論文】
野中 良哲 有限グラフ上のランダムウォークの最適化

【修士論文】
緒方 正虎 ストリーム中の頻出アイテム検知問題に対する二重対数領域乱択アルゴリズム
深江 脩紀 エレベータのオンラインアルゴリズムに対する解析
藤永 直 Oblivious Pattern Formation Algorithms for Asynchronous Mobile Robots based on Bipartite Matching Approach

【卒業論文】
岩本圭一郎 サイバー攻撃に対する非可逆圧縮を用いた検知法の提案
國松 浩志 ナップサック問題の解のランダム生成
白髪 丈晴 ロータールーターモデルの設計技法の提案
園田 尚人 定数次数をもつグラフの同型性判定問題に対する多項式時間アルゴリズムの実装
タウフィックラチマン 同型性判定に対するHenneberg分解の列挙について


2010年度


【修士論文】
田中洋輔 圧縮接尾辞配列SADIVと大規模文字列検索の効率化
馬場雅大 全二分木の簡潔データ構造を用いた自己索引構造の提案
山田陽介 不完全情報渋滞ゲームにおける近似的ナッシュダイナミクスの収束性
溝口 隆 On Space Complexity of Self-Stabilizing Leader Election in Mediated Population Protocol

【卒業論文】
木場孝輔 変化するグラフ上でのランダムウォーク
三原勇治 マルコフ連鎖モンテカルロ法を用いた迷路のランダム生成
平原昴樹 自動掃除ロボットの清掃領域と訪問時間に関する研究


2009年度（2009年度は山下研究室）


【博士論文】
安藤　映 Combinatorial Approaches for Estimating Distributed Functions in Stochastic Optimization
（統計的最適化問題の最適値分布関数評価に対する組合せ的アプローチ）

【修士論文】
穂坂祐輔 多種ランダムウォークによる線形全訪問時間の実現

【卒業論文】
安保祐蔵 一般化割当問題に対する局所探索法とそのPLS完全性
衛藤公希 文字列圧縮を利用したインシデントの検出
藤永　直 非同期・匿名・無記憶ロボットによるパターン形成


2008年度（2008年度までは山下・定兼研究室）


【修士論文】
野中良哲 グラフの構造情報を用いたランダムウォークの高速化

【卒業論文】
伊藤哲郎 Count-Min Skechを利用したアプリオリアルゴリズムの改良
兼田康弘 確率重み付きグラフの最短路長分布の近似
田中洋輔 高速復元可能な接尾辞配列圧縮法
馬場雅大 より簡潔な全二分木の表現法
溝口　隆 頻出属性検出ポピュレーションプロトコルの設計と解析
山下健司 可変長近傍所探索に基づく最長路発見アルゴリズム
山田陽介 渋滞ゲームにおける近似的ナッシュ均衡への収束


2007年度


【修士論文】
川下　優 局所探索法によるDNA配列集合設計
来見田裕一 Undirected Graph Exploration with Local Degree Information
原田雄太 重み付きグラフ上の枝被服に対する次数均等化と重み最小化
深見浩和 境界1-探索者による多角形の最適探索と協調探索
前村一哉 3点系統樹を入力とした系統樹構築のアルゴリズム

【卒業論文】
大倉圭介 アルゴリズム的ゲーム理論を用いた渋滞緩和戦略の解析
高　鏞守 センサーネットワークのセンシング領域における端末数と通信半径の関係
穂坂祐輔 2点連結グラフにおける高速ランダムウォークの設計


2006年度


【修士論文】
後藤隆元 部分文字列の高速復元に適した圧縮データ構造に関する研究
坂田　敦 非同期分散システムにおける故障検知器について　-k-集合合意問題と故障数情報-
佐薙光樹 重センサーネットワークにおける省電力高信頼なデータ伝送

【卒業論文】
越智　優 高信頼ワイヤレスセンサーネットワーク実現のための端末密度と通信半径の関係
栗原雄一 幾何接尾辞木の性能評価
野中良哲 グラフ上のランダムウォーク高速化とその限界


2005年度


【修士論文】
塩崎真史 A Probabilistic Model of the DNA Conformational Change and its Analyses
半田祐一 Confluent Property of the Local Search and its Applications to the Design of Local Search based Heuristics

【卒業論文】
川下　優 局所探索法を用いた塩基配列集合の設計
来見田祐一 Searching Complex Networks with Local Topological Information
原田雄太 無線LANアクセスポイント選択における負荷分散と通信効率化
前村一哉 隠れマルコフモデルを用いたDNA配列設計


2004年度


【修士論文】
緒方　司 進化的ネットワークにおけるランダム探索戦略
小林健了 Quantum Algorithms for Counting String Pattern Occurrences Approximately
武田　勉 DNA形態変化におけるエネルギー障壁値の高速近似計算

【卒業論文】
坂田　敦 単調論理関数のしきい関数和表現について
佐薙光樹 並列計算環境におけるメタ戦略を利用した分枝限定法の高速化
後藤隆元 文書データベースへの効率的な索引付けとその更新に関する研究


2003年度


【修士論文】
安藤　映 匿名ネットワークリーダー選出問題の空間計算量に関する考察
片岡博幸 しきい関数と正関数によるデータの論理的解析とその並列化

【卒業論文】
塩崎真史 有限グラフ上のランダムウォーク高速化の新手法
半田祐一 組合せ最適化問題に対する局所探索アルゴリズムの並列化手法の設計
吉田晃子 データの論理的解析における正関数構築とその更新
矢野雄大 ランダムサーファーモデルのWebコミュニティ抽出への応用


2002年度


【修士論文】
石橋正裕 メタ戦略に対する並列アルゴリズムの設計
佐久間俊慎 ボール回収問題とその解法

【卒業論文】
小林健了 量子回路による冗長2進表現を用いた加算器の設計
武田　勉 RoboCupサッカーシミュレーションにおけるエージェント移動最適化


2001年度


【修士論文】
伊東孝紘 一般化割当問題に対 するEC法のPOP概念に基づく改良と評価
伊藤政利 高信頼性XCASTプロトコルに関する研究
坂本弘達 分散協調作業環境構築のための音声、動画像データ分散共有機構に関する研究
田添祐一 on-line多角形探索問題の研究
酒井瑠美 ネットワーク境界におけるXML文書権限管理手法に関する研究

【卒業論文】
片岡博幸 辺にラベルを持つグラフにおけるパターン照合問題
安藤　映 正規分布に従う枝重みを持つグラフにおける最長路の見積り
佐藤　実 RoboCupシミュレーションサッカーにおけるsayコマンドを用いた強調動作の研究


2000年度


【修士論文】
今林　裕 枝の重みが確率的なグラフにおける最長路の長さの分布

【卒業論文】
石橋正裕 一般化割当問題に対する局所探索法の分散化の手法について
緒方　司 長尺物運搬のための分散アルゴリズムにおける回転動作の評価と改良
佐久間俊慎 平面上を移動するボール回収のためのアルゴリズム


1999年度


【卒業論文】
伊東孝紘 PVMを用いた広域分散システムにおける耐故障機能の設計と実装
田添祐一 通路型多角形領域の探索数-弱可視性による特徴付け
長藤俊介 性能差のある2台のロボットのための分散型長尺物運搬アルゴリズムの設計と解析


1998年度


【修士論文】
宮崎真悟 分散暗号プロトコルの設計とその鍵寄詫および電子商取引への応用

【卒業論文】
今林　裕 トーラス上の局所多数決と大域多数決
久我尚大 A*アルゴリズムを用いたヘッジホッグ探索問題の解法
李　春艶 移動ロボットによる長尺物運搬問題に対する分散アルゴリズムの改良