修士課程・博士課程修了者
修士課程・博士課程修了者
数理2研の修了生一覧です。
2024年度
| 博論 | 佐藤 良亮 | Efficiency and Extensions of Clinching Auctions （クリンチングオークションの効率性と拡張) |
定兼 邦彦 教授 |
| 修論 | 趙 如成 | 秘密計算における並列ソーティングプロトコルに関する研究 | 定兼 邦彦 教授 |
2023年度
| 修論 | 荒田 隼輝 | 非等方的な入力がもたらす非線形ニューラルネットワークの段階的な学習 | 定兼 邦彦 教授 |
| 諌山 航太 | マルチパーティ計算によるOblivious RAMのコスト削減と文字列検索の秘匿化への応用 | 定兼 邦彦 教授 |
2022年度
| 修論 | 占 志遠 (セン シエン，Zhan Zhiyuan) | Optimization over Orbit Closures of Real Reductive Lie Group Actions | 平井 広志 准教授 |
| 荒川 侑馬 | Bi-directional text indexes based on the run-length compression of the Burrows-Wheeler transform | 定兼 邦彦 教授 | |
| 柳田 達也 | Space-Efficient Representations for Posets and Lattices (半順序集合と束の省メモリ表現) | 定兼 邦彦 教授 | |
| 善永 徹 | オンライン最小採択確率最大化ナップサック問題の解析 | 河瀬 康志 特任准教授 |
2021年度
| 博論 | 林 興養 | Structural Characterizations of Rooted Subdivisions on Four Vertices in Graphs (グラフにおける四頂点上の根付き細分に対する構造的特徴付け) |
平井 広志 准教授 |
| 修論 | 小畑 哲雅 | 動的区間最頻値問題と頂点発見問題の効率的アルゴリズム | 定兼 邦彦 教授 |
| 郡山 巧人 | 順序木のシンプルな木被覆表現 | 定兼 邦彦 教授 | |
| 本間 理恵 | 安定ルームメイト問題とロバスト安定マッチング | 平井 広志 准教授 | |
| 松下 祐樹 | 漸化式を用いた多面体上の格子点の数え上げ | 平井 広志 准教授 | |
| 吉村 諒 | ベクトル場の丸めによる高精度な整合的デジタル曲線 | 定兼 邦彦 教授 |
2020年度
| 修論 | 阿曽田 良介 | 一様価格オークションの拡張とその効率指標の評価 | 平井 広志 准教授 |
| 小倉 拳 | 二分探索が可能な対称秘匿データ構造とその簡潔化 | 定兼 邦彦 教授 | |
| 隈部 壮 | 一般化マッチングゲームの凸性 | 平井 広志 准教授 | |
| 中島 渓 | 円上の交差グラフ族に対するグラフの個数の評価と簡潔データ構造 | 定兼 邦彦 教授 |
2019年度
| 修論 | 池田 基樹 | グラフ構造上の離散凸性に基づくネットワーク最適化アルゴリズム | 平井 広志 准教授 |
| 井上 恭輔 | マッチング問題に対する行列スケーリングの研究 | 平井 広志 准教授 | |
| 舘下 正和 | 接尾辞配列に関する直交領域探索のための省空間なウェーブレット木 | 定兼 邦彦 教授 | |
| 松田 康太郎 | ゼロサプレス型二分決定グラフの省空間化のための近似と圧縮 | 定兼 邦彦 教授 |
2018年度
| 博論 | 岩政 勇仁 | Discrete Convexity in Valued Constraint Satisfaction Problems: An Approach by Quadratic M-Convexity (値付き制約充足問題における離散凸性：2次M凸性によるアプローチ) |
平井 広志 准教授 |
| 修論 | 杉森 健 | 木におけるスライディングトークン問題の最短手順を求める多項式時間アルゴリズム | 定兼 邦彦 教授 |
| 城山 健吾 | 多重集合を戦略としてもつコンジェスチョンゲーム | 平井 広志 准教授 | |
| 澄川 憲太郎 | 単調な整数列を表現する効率的なデータ構造およびその応用 | 定兼 邦彦 教授 | |
| 林 興養 | Combinatorial and algorithmic approaches to CAT(0) complexes（CAT(0)複体への組合せ的・アルゴリズム的アプローチ） | 平井 広志 准教授 |
2017年度
| 修論 | 石山 一樹 | 高次元直交領域探索問題に対する省空間データ構造 | 定兼 邦彦 教授 |
| 牛丸 陽太 | ネットワーク最適化における LP 拡張定式化を与える通信プロトコルの構成 | 平井 広志 准教授 | |
| 大島 宏希 | k-劣モジュラ最大化の乱択法の改良と脱乱択化 | 定兼 邦彦 教授 | |
| 佐藤 良亮 | 双方向市場に対する多面体的クリンチングオークション | 平井 広志 准教授 | |
| 中村 健吾 | Fully dynamic algorithms for graph connectivity and spanning forests under general vertex updates (グラフ連結性と全域森問題に対する頂点更新に対応した完全動的アルゴリズム) |
定兼 邦彦 教授 | |
| 平手 一成 | 共正値計画問題に対する単体細分アルゴリズムとその拡張 | 平井 広志 准教授 | |
| 守屋 航一 | 文字列集合の分類問題における最適パタン発見の効率的アルゴリズム | 定兼 邦彦 教授 |
2016年度
| 修論 | 豊岡 祥 | Min-hash 法の拡張を用いたストリームモデルにおける L0 ノルム計算 | 定兼 邦彦 教授 |
| 中村 渉 | 盗聴とビザンチン攻撃に対して安全なネットワーク符号化法 | 平井 広志 准教授 |
2015年度
| 修論 | 赤木 康紀 | 半正定値計画法による有限マルコフ連鎖の解析と最適化 | 定兼 邦彦 教授 |
| 岩政 勇仁 | 離散最適化問題に対するネットワーク表現とk-劣モジュラ緩和 | 平井 広志 准教授 | |
| 上田 英明 | CAT(0)性を持つ立方複体上の最短経路問題のアルゴリズムに関する研究 | 平井 広志 准教授 | |
| 永山 恒彦 | グラフ上の最適化問題に対するグラフ分解を用いた効率的解法と一般化メークスパン最小化問題の計算量解析 | 定兼 邦彦 教授 | |
| 難波 博之 | 行列のハフニアンのmod2k計算による組合せ最適化アルゴリズム | 平井 広志 准教授 | |
| 丸茂 直貴 | 連続緩和による離散凸関数の和と差の最小化 | 定兼 邦彦 教授 |
2014年度
| 博論 | 木村 慧 | 制約充足問題に対する充足可能性保存割当ての解析とそのアルゴリズム設計への応用 | 室田 一雄 教授 |
| 澄田 範奈 | The Linear Complementarity Problem: Complexity and Integrality （線形相補性問題： 計算複雑度と整数性） |
室田 一雄 教授 | |
| 修論 | 大槻 兼資 | 円板形領域損傷モデルにおける最大流最小カットアルゴリズム | 室田 一雄 教授 |
| 池下 林太郎 | Infinitesimal Rigidity of Symmetric Frameworks （対称なフレームワークの無限小剛性に関する研究） |
室田 一雄 教授 | |
| 伊藤 伸志 | Eigenvalue-Based Algorithms and Potential-Based Analysis for Pole Estimation and Rational Interpolation （極推定と有理式補間に対する固有値問題に基づく算法とポテンシャル理論に基づく解析） |
室田 一雄 教授 | |
| 吉川 和 | 反マトロイドのホーン関数表現と教育システム設計への応用 | 平井 広志 准教授 | |
| 矢部 顕大 | Rank Minimization and Determinantal Complexity （ランク最小化と行列式複雑度） |
平井 広志 准教授 |
2013年度
| 博論 | 河瀬 康志 | Algorithmic Studies on Online Knapsack and Related Problems （オンラインナップサックと関連する諸問題に対するアルゴリズム論的研究） |
室田 一雄 教授 |
| 修論 | 石井 勇太 | 歪対称ネットワークによるk-モジュラ関数の表現に関する研究 | 平井 広志 講師 |
| 石原 響太 | 凸集合のスラック行列と拡張定式化 | 室田 一雄 教授 | |
| 金澤 康平 | 対称劣モジュラ関数最小化問題の拡張と最小次数順序 | 室田 一雄 教授 | |
| 田村 俊太郎 | 整数行列のSmith標準形を求めるアルゴリズムの研究 | 室田 一雄 教授 | |
| タン グエン ハウ | Covering Symmetric Skew-Supermodular Functions with Parity Condition | 平井 広志 講師 | |
| 横井 優 | Study on Stable Allocations in Two-Sided Discrete-Concave Market （離散凹評価関数市場モデルの安定割当に関する研究） |
室田 一雄 教授 |
2012年度
| 博論 | 前原 貴憲 | 数値的手法による代数的対称性をもつ行列の分解法に関する研究 | 室田 一雄 教授 |
| 修論 | 相浦 大司 | 数値的同時ブロック対角化法の分岐解析への応用 | 室田 一雄 教授 |
| 勢見 賢人 | 一次関数の最大合成 | 牧野 和久 准教授 | |
| 谷口 友惟 | シュタイナー木パッキング問題に対する近似的最大最小定理に関する研究 | 牧野 和久 准教授 |
2011年度
| 修論 | 澄田 範奈 | 線形相補性問題とその一般化に関する研究 | 牧野 和久 准教授 |
| 寺田 洋介 | 劣モジュラ関数およびポジモジュラ関数の最大化アルゴリズム | 室田 一雄 教授 | |
| 平山 剛史 | 劣モジュラシステムの分割問題に関する研究 | 牧野 和久 准教授 | |
| 村田 裕介 | 人工衛星観測データ復元問題に対する最適化モデリング | 室田 一雄 教授 |
2010年度
| 博論 | 田代 雄介 | 双対アプローチを中心としたスウィング・オプションの価格評価法 | 室田 一雄 教授 |
| 修論 | 喜多 奈々緒 | グラフの１因子の拡張可能性 | 室田 一雄 教授 |
| 勝見 佑平 | 多項式計画問題とその緩和法に関する研究 | 室田 一雄 教授 | |
| 木村 慧 | q-ホーンシステムの実行可能性を判定する組合せ的アルゴリズム | 牧野 和久 准教授 | |
| 立木 泰樹 | 劣モジュラ関数最小化と劣モジュラ流問題のアルゴリズムに関する研究 | 室田 一雄 教授 | |
| 間野 暢 | 不確かな目的関数をもつ最適化問題に対する近似アルゴリズム | 牧野 和久 准教授 |
2009年度
| 博論 | 小林 佑輔 | Algorithms for Finding Disjoint Paths: Acceleration and Extension （点素パス問題に対する算法：高速化と拡張） |
室田 一雄 教授 |
| 高澤 兼二郎 | Combinatorial Algorithms for Generalized Matching Problems （マッチング問題の一般化に対する組合せ的アルゴリズム） |
室田 一雄 教授 | |
| 高松 瑞代 | Optimal Modeling for Circuit Simulation: Applications of Matroid Theory （回路シミュレーションにおける最適モデリング：マトロイド理論の応用） |
室田 一雄 教授 | |
| 修論 | 岡野 宙輝 | 劣モジュラ関数近似アルゴリズムに関する研究 | 室田 一雄 教授 |
| 古賀 健太郎 | 超立方体上のランダムウォークの脱乱化 | 牧野 和久 准教授 | |
| 高橋 周平 | 単調な線形不等式系の極小整数実行可能解を検証する並列アルゴリズム | 牧野 和久 准教授 |
2008年度
| 修論 | 佐藤 暁史 | 行列関数計算のためのクリロフ部分空間法 | 室田 一雄 教授 |
| 佐藤 亮平 | 次数制約付き最小全域木問題の近似アルゴリズムの実装と実験的評価 | 牧野 和久 准教授 | |
| 中村 彰 | 一般因子問題の解法とマトロイド構造に関する研究 | 室田 一雄 教授 | |
| 並木 隆一 | 劣モジュラシステムに対する最大隣接及び最小次数順序付けアルゴリズムの実装と実験的考察 | 牧野 和久 准教授 | |
| 前原 貴憲 | 代数的対称性による行列の同時ブロック対角化法 | 室田 一雄 教授 |
2007年度
| 博論 | 垣村 尚徳 | Sign-Solvability in Mathematical Programming （数理計画法における符号可解性） |
室田 一雄 教授 |
| 小市 俊悟 | Polyhedral Realizations of Finite Distance Spaces and Applications to Directed Multiflow Problems （有限距離空間の多面体的実現と有向多品種流問題への応用） |
室田 一雄 教授 | |
| 永野 清仁 | Combinatorial Algorithms for Continuous Optimization with Submodular Structure （劣モジュラ構造を有する連続最適化問題の組合せ的アルゴリズム） |
室田 一雄 教授 | |
| 修論 | 猪阪 佑介 | L2距離に基づく平面凸曲線の折れ線近似 | 牧野 和久 准教授 |
| 大山 和政 | 木構造ネットワークにおける最速到達フロー | 牧野 和久 准教授 | |
| 西辻 泰典 | 住宅ローン債権担保証券に対する評価法の効率化：強度モデルによるアプローチ | 室田 一雄 教授 | |
| 真子 創志 | 機会損失在庫管理問題の構造的性質に関する研究 | 室田 一雄 教授 |
2006年度
| 博論 | 田中 健一郎 | 解析関数に対する関数近似と数値積分の研究 | 室田 一雄 教授 |
| 修論 | 小林 佑輔 | On a Discrete Convex Function on Jump Systems （ジャンプシステム上の離散凸関数に関する研究） |
室田 一雄 教授 |
| 高澤 兼二郎 | A Unified Approach to Combinatorial Algorithms for Matchings and Matroids （マッチングとマトロイドの組合せ的アルゴリズムへの統一的アプローチ） |
室田 一雄 教授 岩田 覚 助教授 |
|
| 高松 瑞代 | Discrete Optimization Approach to Index Reduction for Differential-Algebraic Equations （離散最適化技法による微分代数方程式の冪零指数減少法） |
室田 一雄 教授 岩田 覚 助教授 |
|
| 山口 尚 | 離散偏導関数法を用いた浅水波方程式の数値解法 | 室田 一雄 教授 |
2005年度
| 博論 | 齊藤 廣大 | 非線形整数計画問題に対する高次元構造に基づく解法 | 室田 一雄 教授 |
| 修論 | 中丸 太輔 | 周期的な減衰項を伴った２階線形Hill方程式の振動性の判別 | 室田 一雄 教授 |
| 加藤 正樹 | 準ニュートン法を用いた多変量GARCHモデルのパラメータ推定 | 室田 一雄 教授 | |
| 笠井 大幹 | 分数混合行列によるシステムの可制御性解析 | 室田 一雄 教授 | |
| 平本 一博 | 最小ｋ枝連結部分グラフ問題に対する主双対近似解法 | 室田 一雄 教授 | |
| 松岡 祐治 | A Fractional Packing Algorithm for Ideal Clutters （イデアル・クラッターの分数パッキング） |
岩田 覚 助教授 | |
| 松田 拓朗 | 強連結有向グラフ上の整合円順列 | 岩田 覚 助教授 |
2004年度
| 修論 | ジェンナワシン タナゴーン | A sum-of-squares approach to robust semidefinite programming （ロバスト半正定値計画法のための二乗和を使ったアプローチ） |
大石 泰章 講師 |
| 矢吹 光佑 | ２次体上の素数の分布と掘割問題 | 大石 泰章 講師 |
2003年度
| 修論 | 下村 圭矢 | パラメータ依存線形行列不等式の非近似的解法 | 大石 泰章 講師 |
| 田中 健一郎 | 組合せ的凸性に関する近似手法の構築へ向けた考察 | 室田 一雄 教授 | |
| 檜垣 卓也 | 多段階確率的計画問題に対する確率的分解法の拡張 | 室田 一雄 教授 | |
| 平井 広志 | 有限距離空間の離散凸性 | 室田 一雄 教授 |