数理情報学

修士論文リスト

2023

氏名 題目 指導教員 専攻
麻生 豊大 発展方程式に対する乱択化分解解法 松尾 宇泰 教授
数理情報学
郭 彦廷 A Side-channel Assisted Lattice Attack on Cryptographic Schemes based on Number Theoretic Transform 高安 敦
数理情報学
足立 勝 Convergence Rate Analysis of Markov Chain Monte Carlo Based on Coarse Ricci Curvature and Its Improved Variant (粗リッチ曲率とその改良に基づくマルコフ連鎖モンテカルロ法の収束レート解析) 駒木文保 教授
数理情報学
荒田隼輝 非等方的な入力がもたらす非線形ニューラルネットワークの段階的な学習 定兼邦彦教授
数理情報学
諌山 航太 マルチパーティ計算による Oblivious RAM のコスト削減と 文字列検索の秘匿化への応用 定兼 邦彦 教授
数理情報学
伊藤 直也 Fiat-Shamir変換を用いた効率的なディジタル署名のQROMにおける安全性証明 高木 剛 教授
数理情報学
浦野 健人 変化検知とグラフ埋め込みのための潜在変数モデル選択の研究 山西 健司 教授
数理情報学
大古 一聡 Computational and statistical complexity analysis of learning problems based on first-order gradient information (1次勾配情報に基づく学習問題の統計的・計算量的解析) 鈴木 大慈 准教授
数理情報学
加藤 雅己 環境を介して情報共有する細胞集団の強化学習的理解 小林 徹也 教授
数理情報学
杉山 友浩 lp空間におけるグラフの大域剛性 谷川 眞一 准教授
数理情報学
助田 一晟 Minimum information copulas under fixed Kendall's rank correlation(ケンドールの順位相関係数を固定した下での最小情報コピュラ) 清 智也 教授
数理情報学
高倉 将吉 Approximation and Estimation Ability of Transformers for Sequence-to-sequence Function with Infinite Dimensional Input 鈴木 大慈 准教授
数理情報学
高橋 秀 動的リンクフロー予測モデルと銀行送金ネットワーク 久野遼平講師
数理情報学
田口廉 量子FLT逆元計算を用いたバイナリECDLPアルゴリズムの改良 高安敦 准教授
数理情報学
谷本 佑馬 生成モデルベースの隠れマルコフモデルと生体データへの応用 小林 徹也 教授
数理情報学
Chen Yilong Efficient Algorithms for Solving Under-determined Multivariate Quadratic Polynomials(劣決定系の多変数二次多項式を解く効率的なアルゴリズム) 高木 剛 教授
数理情報学
遠山 瑠唯 重み付きマトロイドパリティ問題に対する辞書式順序による近似解法 岩田 覚 教授
数理情報学
中川 皓太 Minimax Rates of Community Estimation for Inhomogeneous Multilayer Stochastic Block Models (非一様多層確率的ブロックモデルにおけるコミュニティ推定のミニマックスレート) 駒木 文保 教授
数理情報学
西川 直輝 点群に対する位相的ニューラルネットワークの研究 山西 健司 教授
数理情報学
野沢 諒太 Random Subspace Methods for Two Difficult Classes of Optimization Problems(扱いにくい特徴を持った 2 つの最適化問題に対するランダム部分空間法) 武田 朗子 教授
数理情報学
橋本 祐一 知識グラフにおける論理推論のための多項式関数を用いた埋め込みモデル 岩田 覚 教授
数理情報学
原 慶伍 付値マトロイド交差アルゴリズムの高速化と社会的厚生最大化問題への応用 谷川 眞一 准教授
数理情報学
福元 啓悟 平滑化相互作用エネルギーに関する種々の考察及びサンプリングへの適用 田中健一郎 准教授
数理情報学
藤野 遼 Time-reversal Structures in Diffusion Processes for Non-convex Optimization and Fokker-Planck Equations 荻原哲平准教授
数理情報学
逸見 榛一 非凸近接Newton法の大域計算量および局所収束性の解析 武田 朗子 教授
数理情報学
村松 光太朗 Neuronal Network Models for Generating Diverse Motion Patterns (多様な運動パターンを生成可能な神経回路モデル) 郡 宏 教授
数理情報学
柳田 真輝 最適輸送に基づく地震波形データからのイベント検出とその分類 長尾 大道 准教授
数理情報学
吉田 勇輝 Minimum Number of Leaf-Covering Subtrees Covering Phylogenetic Networks(系統ネットワークを被覆する最小個数の部分系統樹) 岩田 覚 教授
数理情報学
page top

2022

氏名 題目 指導教員 専攻
清水 元喜 Quadratic Integrate and Fire型ニューロンのネットワークにおける逐次的発火パターンの学習 豊泉 太郎 教授
数理情報学
Zhan Zhiyuan Optimization over Orbit Closures of Real Reductive Lie Group Actions 平井 広志 准教授
数理情報学
粟 偉巍 Flow and transportation efficiency of an oscillator chain in Stokes flow 郡 宏 教授
数理情報学
朱 海明 Hardness Estimation of Quinary LWE Problem via Error-Splitting Method(5進整数版LWE問題のエラー分解法による困難性評価) 高木 剛 教授
数理情報学
秋元 壮颯 分解型正規化最尤符号長に基づく線形潜在変数モデルの次元推定 山西 健司 教授
数理情報学
荒川 侑馬 Bi-directional text indexes based on the run-length compression of the Burrows-Wheeler transform 定兼 邦彦 教授
数理情報学
Dongho Lee Algorithm Acquisition Method based on Neural Networks with Monotone Versatile Aggregation Function Tomonari Sei
数理情報学
岩切 秀規 Prediction-Correction Algorithm for Time-Varying Smooth Optimization (時間変化する平滑最適化問題に対する予測補正アルゴリズム) 武田 朗子 教授
数理情報学
牛山 寛生 Exploiting Numerical Analytical Concepts for Continuous Optimization: Numerical Stability and Discrete Chain Rule(連続最適化のための数値解析学諸概念の活用:数値的安定性と離散連鎖律) 松尾 宇泰
数理情報学
大槻 紗季 同種写像暗号の高速化に向けたSquare-root Vélu法の改良 高木 剛 教授
数理情報学
大中 亮磨 災害時の電源車巡回経路の最適化 岩田 覚 教授
数理情報学
小田川 拓利 拡散過程の非同期観測データに対する共変動の検定手法 荻原 哲平 准教授
数理情報学
加藤 拓 多変数多項式暗号におけるフォルト攻撃および量子攻撃に対する安全性評価 高木 剛 教授
数理情報学
川合 秀人 Convergence Analyses and Numerical Experiments of Some Structure-Preserving Numerical Schemes for Evolutionary Differential Equations (時間発展方程式に対する構造保存型数値解法の収束解析と数値的解析) 松尾 宇泰 教授
数理情報学
小暮祥弘 Sparse grids capturing exponential decay and smoothness in Besov spaces(ベゾフ空間における関数の指数減衰と滑らかさを考慮したスパースグリッド) 田中健一郎准教授
数理情報学
坂本大樹 Dimensionality reduction of stable matrices using random projections (ランダム射影を用いた安定行列の次元削減) 佐藤一宏講師
数理情報学
佐藤 瞭 時系列に対するグラフィカルモデルの動的潜在構造最適化 山西 健司 教授
数理情報学
鈴木渓太 Analysis on Benign Overfitting of Two-layer Linear Neural Network 鈴木大慈 准教授
数理情報学
宋 骅昕 A Fundamental Study on Numerical Simulation of Equipments in Structures with Seismic Pounding using Nonsmooth Mechanics Approach(建物の地震時衝突に際しての家具の挙動の非平滑力学による数値シミュレーションに関する基礎的検討) 寒野 善博 教授
数理情報学
田中 輝 自然言語の文構造のストラー数に関する研究 田中 久美子 教授
数理情報学
鶴海 杭之 スパイキングニューラルネットワークと報酬調節シナプス可塑性に基づく強化学習 田中 剛平 特任准教授
数理情報学
長澤 達也 二次マルコフ過程を考慮した自己回帰型テンポラルグラフ生成モデルと送金データへの応用 久野 遼平 講師
数理情報学
永野 隆之 Strongly convex optimization over hyperbolicity cones (双曲錐上の強凸関数最適化) 武田 朗子 教授
数理情報学
東田 瑞己 一様ハイパーグラフの抽象剛性マトロイド 谷川 眞一 准教授
数理情報学
福田 健一郎 線形回帰における馬蹄型事前分布を用いたベイズ予測のリスクの不偏推定量 駒木 文保 教授
数理情報学
麦倉 柊太 自然言語の相関次元に関する研究 田中 久美子 教授
数理情報学
村上 湧哉 非正則な共分散行列に対する客観的総合指数 清 智也 教授
数理情報学
柳田 達也 Space-Efficient Representations for Posets and Lattices (半順序集合と束の省メモリ表現) 定兼邦彦教授
数理情報学
善永 徹 オンライン最小採択確率最大化ナップサック問題の解析 河瀬 康志 特任准教授
数理情報学
page top

2021

氏名 題目 指導教員 専攻
髙橋 俊太 拡張 Fisher-Bingham 分布に対する Pfaffian 方程式の代数的導出法 指導教員:駒木 文保 教授
数理情報学
楊 宇初 An Augmented Lagrangian Method for Optimization Problems with Nonnegative Orthogonality Constraints 佐藤 一宏
数理情報学
穴澤 徳明 クリギング法を用いたゼロ次最適化アルゴリズムによる量子状態作成 山西 健司 教授
数理情報学
安藤 瞭 On High-Dimensional Asymptotic Properties of Error Truncated Estimators (誤差項打切を用いた推定量の高次元における漸近的な振る舞いについて) 駒木 文保
数理情報学
磯部 伸 A Study on Regularizations for Stabilizing ODE-Net Based on Mean-Field Optimal Control Formulation (平均場最適制御問題の枠組に基づくODE-Net安定化のための正則化に関する研究) 松尾 宇泰 教授
数理情報学
江夏 永広 分布変換に基づく単語分散表現数理 田中 久美子教授
数理情報学
大澤 龍太 Graphon を用いた Graph Convolutional Neural Network の推定理論 鈴木 大慈 准教授
数理情報学
岡本 亘 多次元Hawkes過程におけるベイズ情報量規準 荻原哲平准教授
数理情報学
小畑 哲雅 動的区間最頻値問題と頂点発見問題の効率的アルゴリズム 定兼 邦彦 教授
数理情報学
片島 健博 無限次元入力に対する畳み込みニューラルネットワークの適応的近似・推定誤差の解析 鈴木 大慈 准教授
数理情報学
金井 亮雅 ネットワーク上を伝播するイベント時系列データのクラスタリング 山西 健司 教授
数理情報学
金子 亮介 Convolutional Neural Network to Detect Deep Low-Frequency Tremors from Seismogram Images(畳み込みニューラルネットワークによる地震波形画像からの深部低周波微動の検出) 長尾 大道 准教授
数理情報学
木村 直人 確率分布に関する数値積分の改良:基底関数の拡張と積分経路の変更 田中 健一郎 准教授
数理情報学
黒崎 祐太 株価変動とテキストの潜在空間の同時学習によるボラテリティ予測 田中 久美子教授
数理情報学
郡山 巧人 順序木のシンプルな木被覆表現 定兼 邦彦 教授
数理情報学
酒井 大門 PQNモデルにおけるパラメータフィッティング 河野 崇 教授
数理情報学
佐藤 寛司 Convergence error analysis of reflected gradient Langevin dynamics for globally optimizing non-convex constrained problems 武田朗子
数理情報学
高倉 直哉 減衰度が指定された関数やそのFourier変換の高精度な近似公式 田中 健一郎 准教授
数理情報学
高澤 祐槻 Shape-constrained density estimation in the space of phylogenetic trees 清 智也 教授
数理情報学
陳懿慈 最小情報コピュラのスコアマッチング 清智也
数理情報学
辻 和真 Constructing quadrature rules with sparse nodes by improved kernel herding methods (カーネルハーディング法の改良による 疎な標本点をもつ求積公式の構成) 田中健一郎准教授
数理情報学
寺崎 峻 構造化ディスクリプターシステムの最小可制御性問題 佐藤 一宏 講師
数理情報学
戸田 一汰 制限された観測領域上での行列補完問題 谷川 眞一 准教授
数理情報学
西岡 暁 トポロジー最適化問題に対する加速射影勾配法 寒野 善博 教授
数理情報学
長谷川 雄祐 群作用を通じた符号グラフ準同型の解析 谷川 眞一 准教授
数理情報学
富士 晃成 Non-Convex Quadratic Optimization with Random Projection 武田 朗子 教授
数理情報学
細井 一成 情報幾何のピタゴラス関係に基づく指標を用いた因果推論 駒木 文保
数理情報学
本間 理恵 安定ルームメイト問題とロバスト安定マッチング 平井 広志 准教授
数理情報学
松下 祐樹 漸化式を用いた多面体上の格子点の数え上げ 平井 広志 准教授
数理情報学
松野聖也 ソフトモジュラリティ最大化問題の共正値問題への帰着 武田朗子教授
数理情報学
的矢 知樹 高速行列積による効率的セレクティングアルゴリズム 鈴木 大慈 准教授
数理情報学
丸井 優一郎 多体相互作用する大域結合位相振動子集団のダイナミクス 郡 宏 教授
数理情報学
水谷 隆平 Supermodular Extension of Vizing's Edge-Coloring Theorem (Vizingの辺彩色定理の優モジュラ的拡張) 岩田 覚
数理情報学
柳 泉穂 検出力評価に基づく干渉を考慮したランダム化検定の改良 清 智也 教授
数理情報学
横山 智彦 Asymptotic Existence of Envy-Free Fair Allocations for Groups of Agents 岩田 覚
数理情報学
吉村 諒 ベクトル場の丸めによる高精度な整合的デジタル曲線 定兼 邦彦 教授
数理情報学
page top

2020

氏名 題目 指導教員 専攻
合田理貴 オンライン制約下での半正定値対称行列の近似手法 岩田覚
数理情報学
秋山 俊太 On Learnability via Gradient Method forTwo-Layer ReLU Neural Networks in Teacher-Student Setting(教師生徒設定における勾配法による二層ReLU ニューラルネットワークの学習可能性について) 鈴木大慈 准教授
数理情報学
阿曽田 良介 一様価格オークションの拡張とその効率指標の評価 平井 広志 准教授
数理情報学
荒毛 大輔 二次最適性を保証する分散確率的最適化手法 鈴木 大慈 准教授
数理情報学
石濱 和樹 独立成分分析を用いた潜在変数をもつグラフィカルモデルの構造推定 駒木文保 教授
数理情報学
大沼 賢矢 高速な構造保存解法に基づく連続最適化アルゴリズムの構成と解析 松尾 宇泰 教授
数理情報学
大場 亮俊 Characterizing the Universal Rigidity of Tensegrities and the d-realizability of Periodic Graphs (テンセグリティの普遍剛性と周期グラフのd-実現可能性の特徴づけ) 谷川 眞一 准教授
数理情報学
荻野 正親 マルコフ同値類を考慮したガウシアン有向グラフィカルモデルの推定 清 智也准教授
数理情報学
奥本 翔 無限次元異方的平滑度を持つ関数に対する畳み込みネットワークによる関数近似・推定誤差の解析 鈴木大慈 准教授
数理情報学
小倉 拳 二分探索が可能な対称秘匿データ構造とその簡潔化 定兼 邦彦 教授
数理情報学
小原 光暁 Sequential Quadratic Optimization for Nonlinear Optimization Problems on Riemannian Manifolds (リーマン多様体上の非線形最適化問題に対する逐次2次最適化法) 武田 朗子 教授
数理情報学
川島智紀 同種写像暗号CSIDHにおけるランダム自己帰着に基づいた効率的な認証鍵共有 高木剛教授
数理情報学
京谷 駿希 Cluster Structure Analysis in Finite Mixture Models With Component Overlap (分布間に重なり合いを持つ有限混合モデルのクラスター構造の解析) 山西健司 教授
数理情報学
隈部 壮 一般化マッチングゲームの凸性 平井 広志 准教授
数理情報学
栗城 周平 多言語単語埋め込みの学習を通じた言語普遍表現の獲得 田中久美子教授
数理情報学
小林 雅季 統計的形状解析におけるランドマークのベイズ推定 清 智也 准教授
数理情報学
張 文寧 Dynamic Nondiagonal Mixture of Dirichlet Distributions for Economic Network Analysis(動的非対角混合ディリクレネットワーク分布の構築と経済データへの応用) 山西健司 教授
数理情報学
當眞 ジェイソン翔 Sparsifying Global Constraints in Polynomial Optimization Problems (多項式最適化問題における大域的制約の疎性化) 谷川 眞一准教授
数理情報学
殿岡 達也 離散微積分不等式の統一的解析に関する研究 松尾 宇泰 教授
数理情報学
中川 皓平 同種写像暗号CSIDHにおける秘密鍵空間の最適化 高木 剛 教授
数理情報学
中島 渓 円上の交差グラフ族に対するグラフの個数の評価と簡潔データ構造 定兼 邦彦 教授
数理情報学
中屋 貴博 行列符号関数を用いた可制御性グラミアンの数値積分による数値計算 田中 健一郎 准教授
数理情報学
早川 知志 Efficient discretization of measures by optimization: numerics of analytic functions and cubature construction 田中健一郎准教授
数理情報学
樋渡啓太郎 秘密分散に基づく秘密計算の効率化とその応用 縫田光司 准教授
数理情報学
福地成彦 敵対的正則化を用いた文章埋め込み表現の学習 田中久美子
数理情報学
二川央笙 有向グラフの連結度増大問題に対する効率的なアルゴリズム 岩田覚教授
数理情報学
古江 弘樹 Analysis of Efficiency and Security of Signature Schemes based on Multivariate Quadratic Polynomial Problem (多変数多項式問題に基づく署名方式の効率性と安全性の解析) 高木 剛 教授
数理情報学
前田 勇作 鍵付きレベル2準同型暗号の構成および機械学習による予測への秘密計算の応用 縫田 光司准教授
数理情報学
森 雄人 Bilevel Optimization for Defense against Model Extraction (二段階最適化によるモデル抽出攻撃に対する防御) 武田 朗子 教授
数理情報学
山中遥太 有向ハイパーグラフ上の全変動正則化 岩田覚教授
数理情報学
結城 凌 Change Sign Detection with Two-Stage MDL Change Statistics (2段階MDL変化統計量による変化予兆検知の研究) 山西健司 教授
数理情報学
渡邉 元和 双対平坦性に基づく正準相関分析と混合分布を用いた項目反応理論 駒木 文保 教授
数理情報学
林傳浩 Network Change Detection Based on Random Walk in Latent Space Professor Kenji Yamanishi
数理情報学
page top

2019

氏名 題目 指導教員 専攻
王 澤宇 Time Series Ensembling with Optimized Learning Schedule 清 智也 准教授
数理情報学
秋山 貴則 非線形時系列予測のためのロバストなEcho State Networkの設計 田中 剛平 特任准教授
数理情報学
井上 恭輔 マッチング問題に対する行列スケーリングの研究 平井 広志 准教授
数理情報学
小倉 輝 Convex Fairness Constrained Model Using Causal Effect Estimators (因果効果推定量を用いた 公平性制約について) 武田 朗子 教授
数理情報学
杉山 幹太 深層学習を用いたドメイン適応手法における速い収束レートについて 鈴木 大慈 准教授
数理情報学
丸尾 恭四郎 グラフ埋め込みにおける正則化の研究 山西健司教授
数理情報学
守谷 共起 同種写像暗号CSIDHのEdwards 曲線による構成と超特異曲線の信頼できる生成法 高木 剛 教授
数理情報学
杢 広行 Hawkes過程におけるCVaRの効率的な計算手法の研究 田中 健一郎准教授
数理情報学
池田 基樹 グラフ構造上の離散凸性に基づくネットワーク最適化アルゴリズム 平井 広志 准教授
数理情報学
大城 隆之介 再生核ヒルベルト空間上の求積・補間に用いる良い点配置の効率的生成法 田中健一郎准教授
数理情報学
舘下 正和 接尾辞配列についての直交領域探索のための省空間なウェーブレット木 定兼 邦彦 教授
数理情報学
坂東拓馬 Empirical Likelihood Incorporating the Existence Probability 清智也准教授
数理情報学
松木 彩星 ノイズを含む結合振動子系の同期現象に関する研究 田中 剛平 特任准教授
数理情報学
松田 康太郎 ゼロサプレス型二分決定グラフの省空間化のための近似と圧縮 定兼 邦彦 教授
数理情報学
杜 鑫 自然言語と価格に基つ゛く株のヘ゛クトル表現 田中久美子教授
数理情報学
八嶋 晋吾 Generalization Error Analysis of Stochastic Gradient Descent on Classification Problems under Low Noise Condition (低ノイス゛条件下の識別問題における確率的勾配降下法の汎化誤差解析) 鈴木 大慈 准教授
数理情報学
青木 大地 ユニモジュラ行列を用いた格子基底のランダム化について 高木 剛 教授
数理情報学
吉良 綾人 Characterizing non-stationary stochastic dynamics via horizontal visibility graph motifs 平田祥人准教授
数理情報学
中村 絢斗 バクテリア化学走性の設計原理と細胞内機構の最適性に基づく理解 小林 徹也 准教授
数理情報学
宮澤 晃平 多様な形状の領域・境界条件の拡散型偏微分方程式に対するメッシュフリーな構造保存解法 松尾 宇泰
数理情報学
安井 捷 Davies-Meyer圧縮関数の原像計算に関する量子計算量下界の改善 高木 剛 教授
数理情報学
吉田 崇裕 単語埋め込み空間を用いた階層的トピックモデルの構成 大西 立顕 准教授
数理情報学
高市 昌平 階層リザバーネットワークを用いた予測符号化に関する数理情報学的研究 合原 一幸 教授
数理情報学
松尾 洵 移流現象を示す偏微分方程式の空間シフト付モデル縮減 松尾 宇泰 教授
数理情報学
page top

2018年度

氏名 題目 指導教員 専攻
石川 大智 クリギング法のための非凸最適化に基づく観測点選択 長尾 大道 准教授
数理情報学
杉森 健 木におけるスライディングトークン問題の最短手順を求める多項式時間アルゴリズム 定兼 邦彦 教授 数理情報学専攻
稲場俊弥 散逸型微分方程式の構造保存モデル縮減 松尾宇泰 教授
数理情報学
尾形 一穂 一般化プロクラステス解析のSDP緩和解法におけるランクリカバリー現象の解析 岩田 覚 教授
数理情報学
岡田 誠 分解型正規化最尤符号長を用いた連続値潜在変数モデルの選択 山西 健司 教授
数理情報学
金子亮也 Minimax Predictive Densities for Sparse Statistical Models with Sample Size Heterogeneity 駒木文保教授
数理情報学
腰高 拓美 多重マトロイド制約最適化問題の近似アルゴリズムと整数性ギャップ 岩田 覚 教授
数理情報学
小林 達 自然言語のTaylor則に関する研究 田中 久美子 教授
数理情報学
澤田将宏 安定分布を定義する振動積分に有効な各種求積法の検討 田中健一郎准教授
数理情報学
城山 健吾 多重集合を戦略としてもつコンジェスチョンゲーム 平井 広志 准教授 数理情報学専攻
澄川 憲太郎 単調な整数列を表現する効率的なデータ構造およびその応用 定兼 邦彦 教授 数理情報学専攻
高久 宗矩 階層的記憶表現を実現する海馬-前頭眼窩野の神経回路モデルとそのダイナミクス 山口 陽子 教授 数理情報学専攻
田中 智規 計算解剖学における関数形状モデルの拡張とハイパーパラメータ推定 清 智也 准教授
数理情報学
坪井 俊憲 低ベータ簡約化MHD方程式に対する構造保存数値解法 松尾 宇泰教授
数理情報学
中島 蒼 増殖バイアスを考慮した系譜データの隠れ状態推定方法の構築 小林 徹也 准教授
数理情報学
中西 彩子 Practical scheduling method of hormone therapy for prostate cancer based on a mathematical model(数理モデルに基づいた前立腺がんホルモン療法の実用的なスケジューリング手法) 平田 祥人 准教授
数理情報学
羽場 智哉 季節調整モデルにおける多重周期季節成分の推定 長尾大道 准教授
数理情報学
濱田 将樹 多項ロジットモデルの適合度検定のためのマルコフ基底の計算 清 智也 准教授
数理情報学
林 興養 Combinatorial and Algorithmic Approaches to CAT(0) Complexes (CAT(0)複体への組合せ的・アルゴリズム的アプローチ) 平井 広志 准教授 数理情報学専攻
平野 広明 代用電荷法における高精度な近似解を与える点配置の決定 田中 健一郎 准教授
数理情報学
松崎 舜 マウス脳波時系列からの睡眠状態推定に関する研究 大西 立顕 准教授
数理情報学
松本 和也 セミハ゜ラメトリックモテ゛ルにおける有効スコア関数の近似による推定量の構成 駒木 文保 教授
数理情報学
宮崎 雄貴 コミュニケーションネットワークの次数分布を保存する探索的サンフ゜リンク゛ 田中 久美子 教授
数理情報学
森下 真幸 グラフフーリエ変換を用いたグラフ上のパターンに関する数理的解析 合原 一幸 教授
数理情報学
森尻 祐史 雑音誘起遷移現象における雑音強度の影響に関する数理工学的研究 合原 一幸 教授
数理情報学
渡邉 拓 カーネル指数分布族による非負値データの密度関数推定 清 智也 准教授
数理情報学
王 偉尭 Hardness Estimation of the Generalized Learning with Errors Problem(一般化されたLearning with Errors問題の困難性評価) 高木 剛
数理情報学
黒 澤 エコーステートネットワークにおける構造と性能の関係の解析 田中 剛平 准教授
数理情報学
page top

2017年度

氏名 題目 指導教員 専攻
局 成矢 暗号化データに対するプライバシー保護画像検索手法に関する研究 中川 裕志 教授 数理情報学専攻
守屋 航一 文字列集合の分類問題における最適パタン発見の効率的アルゴリズム 定兼 邦彦 教授
数理情報学
荒木健司 誤差に相関がある場合のカーネル回帰におけるバンド幅の推定方法 清智也准教授
数理情報学
石山 一樹 高次元直交領域探索問題に対する省空間データ構造 定兼 邦彦 教授
数理情報学
大島 宏希 k-劣モジュラ最大化の乱択法の改良と脱乱択化 定兼 邦彦 教授
数理情報学
大西 健斗 演算情報の漏洩に対するCRT-RSA暗号の安全性解析 國廣 昇 准教授 数理情報学専攻
小川 まな美 確率的最適化を用いた特徴選択による一般家庭の年間消費電力量予測 岩田 覚 教授 数理情報学専攻
大城 泰平 Index Reduction for Differential-Algebraic Equations by Combinatorial Relaxation 岩田 覚教授
数理情報学
加藤 卓也 適応免疫系の強化学習的解釈 小林 徹也 准教授
数理情報学
加藤 翼 一般化Ostrovsky方程式における解の爆発に関する研究 松尾 宇泰 教授 数理情報学専攻
黒河 天 グラフ構造を有する高次元データからの情報抽出のための手法開発 長尾大道
数理情報学
近藤 佑樹 LWE仮定に基づくIDベース準同型暗号に関する研究 國廣 昇 准教授 数理情報学専攻
佐藤 良亮 双方向市場に対する多面体的クリンチングオークション 平井 広志 准教授
数理情報学
清水 伸高 均質な密ランタ゛ムク゛ラフの直径と平均距離 岩田覚教授
数理情報学
庄司 泰萌 確率微分方程式を用いたコヒーレントイジングマシンのモデル化と性能評価 合原 一幸 教授
数理情報学
牛丸 陽太 ネットワーク最適化における LP 拡張定式化を与える通信プロトコルの構成 平井 広志 准教授
数理情報学
杉渕 優也 浅水方程式に対する複数保存スキームの構築 松尾 宇泰 教授
数理情報学
鈴木大智 ガウシアングラフィカルモデルの構造保存群の従順性 駒木文保教授
数理情報学
高須 佑哉 エクスペクタイル回帰を用いた不均一モデルの分位点推定 清 智也 准教授
数理情報学
出町 彰啓 匿名化された顔画像のデータ利活用手法に関する研究 中川 裕志教授
数理情報学
中川 拓麻 集合値データに対する個人適応型匿名化手法 中川裕志教授
数理情報学
中村 健吾 Fully dynamic algorithms for graph connectivity and spanning forests under general vertex updates 定兼 邦彦 教授
数理情報学
新田 猛 次数修正確率ブロックモデルにおけるベイズ推定 清 智也 准教授
数理情報学
野間 修平 ダイバージェンスを用いた外れ値に頑健な因果探索手法 駒木 文保 教授
数理情報学
平岡 知隆 動的AIFV符号およびアルファベティックAIFV符号の簡易構成法 山本 博資 教授 数理情報学専攻
平手 一成 共正値計画問題に対する単体細分アルゴリズムとその拡張 平井 広志 准教授
数理情報学
溝上 力 Generative Model-based Analysis of Economic Temporal Networks(生成モデルによる経済テンポラルネットワークの研究) 大西 立顕 准教授
数理情報学
柳澤広大 モデル縮減に基づく散逸型微分方程式の数値計算に関する研究 松尾 宇泰 教授
数理情報学
米林 悠真 Dual Integrality of the Blossom Algorithm and Its Applications(花アルゴリズムの双対整数性とその応用) 岩田覚教授
数理情報学
翁 啓翔 リスク鋭敏型分布を用いた状態空間モデルのオンラインパラメータ推定 駒木 文保 教授
数理情報学
page top

2016年度

氏名 題目 指導教員 専攻
足立 智 行列の線形和の正値性判定アルゴリズム 松尾 宇泰 教授 数理情報学専攻
牛久 雅崇 頂点周波数解析による高次元空間内の点群データ平滑化 大西 立顕 准教授 数理情報学専攻
大川内 智海 離散集合上の混合分布族に対する事前分布の選択 駒木 文保 教授 数理情報学専攻
岡島 弘明 Multivariate Models of Prostate Cancer under Intermittent Androgen Suppression (間欠的アンドロゲン抑制療法における前立腺がんに関する多変数モデル) 合原 一幸 教授 数理情報学専攻
奥戸 道子 Hamiltonian Monte Carlo with Adaptive Parameter Control (適応パラメータ制御を用いたハミルトニアンモンテカルロ) 松尾 宇泰 教授 数理情報学専攻
加藤 侑大 大規模な半正定値計画問題に対する一次法の改良 武田 朗子 准教授 数理情報学専攻
狩野 修平 ホロノミック勾配法の誤差評価 清 智也 准教授 数理情報学専攻
木村 笙子 世界の株式市場の相関構造の分析 大西 立顕 准教授 数理情報学専攻
小林 勇也 オンライン行列補完に対する部分空間法 松尾 宇泰 教授 数理情報学専攻
渋江 遼平 無限混合モデルによる神経スパイク発火率の推定とその応用 駒木 文保 教授 数理情報学専攻
茶山 将慶 適切な遅れ座標を利用した複雑系のための時系列予測 平田 祥人 特任准教授 数理情報学専攻
杉原 有一 零値を含む組成データのための混合分布モデル 清 智也 准教授 数理情報学専攻
鈴木 惇 畳み込み行列分解のパラメータ推定と構造選択 山西 健司 教授 数理情報学専攻
都筑 大樹 Structure-Preserving Hybridized Discontinuous Galerkin Method for Nonlinear Partial Differential Equations (非線形偏微分方程式に対する構造保存ハイブリッド不連続ガレルキン法) 松尾 宇泰 教授 数理情報学専攻
寺本 貴一 Bergeの強パス分解予想の研究 ~ネットワークフローによるアプローチ~ 岩田 覚 教授 数理情報学専攻
豊岡 祥 Min-hash法の拡張を用いたストリームモデルにおけるベクトルのL0ノルム計算 定兼 邦彦 教授
数理情報学
中村 渉 盗聴とビザンチン攻撃に対して安全なネットワーク符号化法 平井 広志 准教授
数理情報学
西田 光甫 線形行列不等式制約下のスパース共分散推定 岩田 覚 教授 数理情報学専攻
東野 克哉 DC Representations and Efficient Algorithms for l0-constrained Optimization Problems (l0制約付き最適化問題に対するDC表現と効率的アルゴリズム) 武田 朗子 准教授 数理情報学専攻
藤田 敬文 時間方向並列化手法MGRITの非線形問題への適用 中島 研吾 教授 数理情報学専攻
松尾 恒 識別問題の統計的解析と顔画像認証への応用 駒木 文保 教授 数理情報学専攻
山下 洋史 Analysis and Applications of Herded-Gibbs-type Sampling Algorithms (Herded Gibbs 型サンプリングアルゴリズムの解析と応用) 松尾 宇泰 教授 数理情報学専攻
山田 慎二 Iterative convex quadratic relaxation algorithm for nonconvex quadratic optimization (非凸二次計画問題に対する凸二次緩和反復法) 武田 朗子 准教授 数理情報学専攻
胡 瀚林 特許検索における質問意図の曖昧化 中川 裕志 教授 数理情報学専攻
呉 天逸 A study on model selection for hierarchical mixture models (階層混合モデルのモデル選択に関する研究) 山西 健司 教授 数理情報学専攻
ピッサマイ ピッタヤパット 乱択従属係数のパラメータ依存性 清 智也 准教授 数理情報学専攻
page top

2015年度

氏名 題目 指導教員 専攻
シュパイデル 玲雄 Mathematical Analysis of Random Walks and Community Detection in Temporal Networks (テンポラルネットワーク上のランダムウォークとコミュニティ検出の数理解析) 合原 一幸 教授 数理情報学専攻
赤木 康紀 半正定値計画法による有限マルコフ連鎖の解析と最適化 定兼 邦彦 教授
数理情報学
井上 彰 Echo State Networkによる時系列データ予測に関する研究 鈴木 秀幸 准教授 数理情報学専攻
岩政 勇仁 離散最適化問題に対するネットワーク表現とk-劣モジュラ緩和 平井 広志 准教授 数理情報学専攻
上田 英明 CAT(0) 性を持つ立方複体上の最短経路問題のアルゴリズムに関する研究 平井 広志 准教授
数理情報学
尾亦 範泰 記述長最小化原理に基づく関係データ学習の研究 山西 健司 教授 数理情報学専攻
梶村 俊介 時間差のある交互作用を考慮した自己ロジスティックモデルによる神経スパイク列の解析 駒木 文保 教授 数理情報学専攻
勝又 秀一 Robust Cost Sensitive Support Vector Machine (ロバストなコスト考慮型サポートベクターマシン) 武田 朗子 准教授 数理情報学専攻
加藤 純 2部グラフのDM既約化 岩田 覚 教授 数理情報学専攻
上中谷 健 格子問題に対する解法アルゴリズムの拡張 國廣 昇 准教授 数理情報学専攻
古山 貴之 潜在情報事前分布を用いた量子状態のミニマックス推定 駒木 文保 教授 数理情報学専攻
坂上 晋作 Solving quadratically constrained quadratic programming viamultiparameter eigenvalues(多変数固有値計算を用いた二次制約二次計画法) 武田 朗子 准教授 数理情報学専攻
佐藤 峻 Temporal and spatial adaptivity in numerical integrators fordifferential equations (微分方程式の数値解法における時間及び空間方向の適応性に関する研究) 松尾 宇泰 教授 数理情報学専攻
清水 航 錐計画問題で表される準静的な弾塑性解析に対する加速近接勾配法 寒野 善博 准教授 数理情報学専攻
髙林 裕太 差分プライベート最小二乗密度比推定 中川 裕志 教授 数理情報学専攻
土橋 将人 0から1へのシフトのある分布を用いたカウントデータの回帰 竹村 彰通 教授 数理情報学専攻
中谷 宙央 非負値行列因子分解による社会ネットワークの分析 大西 立顕 准教授 数理情報学専攻
永山 恒彦 グラフ上の最適化問題に対するグラフ分解を用いた効率的解法と一般化メークスパン最小化問題の計算量解析 定兼 邦彦 教授
数理情報学
難波 博之 行列のハフニアンの mod 2^k 計算による組合せ最適化アルゴリズム 平井 広志 准教授
数理情報学
檜垣 元秀 確率微分方程式に対する各種の構造保存数値解法 松尾 宇泰 教授 数理情報学専攻
深澤 優太 ランク1の非心複素ウィシャート行列の最大固有値の分布に対するホロノミック勾配法 竹村 彰通 教授 数理情報学専攻
福谷 知紀 平均二乗偏差最小化による分子構造クラスタリング 岩田 覚 教授 数理情報学専攻
藤山 俊文 偏相関ヴァインの性質と正規コピュラの情報量限界に関する研究 竹村 彰通 教授 数理情報学専攻
古谷 正晶 非線形計画法を用いたテンセグリティ構造の変形性能最大化 寒野 善博 准教授 数理情報学専攻
細山田 聖也 価格の離散性を考慮した高頻度金融取引データの統計モデル 駒木 文保 教授 数理情報学専攻
松岡 達也 根付き木詰め込み問題の一般化に関する研究 岩田 覚 教授 数理情報学専攻
松岡 栄光 代数的マルチグリッド法におけるaggregationの改良 中島 研吾 教授 数理情報学専攻
松永 龍弥 ロバスト最適化による分散型電源の最適配置 武田 朗子 准教授 数理情報学専攻
丸茂 直貴 連続緩和による離散凸関数の和と差の最小化 定兼 邦彦 教授 数理情報学専攻
三木 翔太 細胞間相互作用による細胞集団の制御に関する数理的解析 合原 一幸 教授 数理情報学専攻
南 賢太郎 Differentially Private Learning with Gibbs Posteriors (ギブス事後分布による差分プライベート学習) 中川 裕志 教授 数理情報学専攻
三村 崇晃 決定論的モンテカルロ法によるスピン模型解析 鈴木 秀幸 准教授 数理情報学専攻
宮口 航平 Study on Learning from Nonstationary Time Series (非定常時系列からの学習に関する研究) 山西 健司 教授 数理情報学専攻
page top

2014年度

氏名 題目 指導教員 専攻
大槻 兼資 円板形領域損傷モデルにおける最大流最小カットアルゴリズム 室田 一雄 教授 数理情報学専攻
キッティチャルーンウィット パンチャラット Application of Genetic Algorithm-Support Vector Machines (GA-SVMs) for Corporate Credit Rating Prediction (遺伝的アルゴリズムとサポートベクターマシン(GA-SVMs)による信用格付の判別) 藤井 眞理子 教授 数理情報学専攻
徐 牧原 Sparsely Encoded Associative Memory with Short-term Synaptic Plasticity (短期シナプス可塑性を伴うスパース符号化連想記憶) 合原 一幸 教授 数理情報学専攻
斎藤 翔太 Time-series Analysis Methods for Tracking Topic Evolution and Transition in Twitter (Twitterにおける話題の変化追跡のための時系列解析手法) 鈴木 秀幸 准教授 数理情報学専攻
青井 紀之 多層カーネルマシンの学習に関する研究 合原 一幸 教授 数理情報学専攻
荒木 優 状態空間モデルを用いたプロ野球における出塁確率推移の解析 竹村 彰通 教授 数理情報学専攻
家入 豊 テンソル分解を用いた野球の球種予測 山西 健司 教授 数理情報学専攻
池下 林太郎 Infinitesimal Rigidity of Symmetric Frameworks (対称なフレームワークの無限小剛性に関する研究) 室田 一雄 教授 数理情報学専攻
伊藤 伸志 Eigenvalue-Based Algorithms and Potential-Based Analysis for Pole Estimation and Rational Interpolation (極推定と有理式補間に対する固有値問題に基づく算法とポテンシャル理論に基づく解析) 室田 一雄 教授 数理情報学専攻
伊藤 優 潜在変数モデルを用いた非負値行列因子分解のランク決定に関する研究 山西 健司 教授 数理情報学専攻
牛丸 太希 ベイズ的最適化を用いたDeep Learningによる医用画像からの病変検出 中川 裕志 教授 数理情報学専攻
浦東 利久 長期記憶モデルを用いた実現ボラティリティの予測 藤井 眞理子 教授 数理情報学専攻
小川 亮 連続時間ランダムウォークを用いた株価変化の時間間隔に関する分析 藤井 眞理子 教授 数理情報学専攻
貝ヶ石 亘 混合ブロックモデルのスペクトル分解を用いた推定法に関する研究 山西 健司 教授 数理情報学専攻
北村 昌士 Improving Practical Performance of Submodular Function Minimization (劣モジュラ関数最小化の実用的高速化) 岩田 覚 教授 数理情報学専攻
小島 広樹 Constructions and Theoretical Analyses of Structure Preserving Schemes with High Accuracy (高精度な構造保存型数値解法の提案と理論解析) 松尾 宇泰 教授 数理情報学専攻
小島 睦月 Determinantal Point Process Priors for Variable Selection and Bayes Projection of Conditional Normalized Maximum Likelihood Distributions (変数選択のための行列式点過程事前分布及び条件付正規化最尤分布のベイズ射影について) 駒木 文保 教授 数理情報学専攻
笹井 健行 Erdos-Feller-Kolmogorov-Petrowsky Law of the Iterated Logarithm for Self-Normalized Processes: a Game-Theoretic Approach (自己正規化されたエルデシュ-フェラー-コルモゴロフ-ペトロフスキ形式の重複対数法則へのゲーム論的接近) 竹村 彰通 教授 数理情報学専攻
鈴木 皓博 データ同化による地震発生域の摩擦特性解明に資するプレート境界面の領域分割法 長尾 大道 准教授 数理情報学専攻
田中 宏明 疾患参考文献リストの生成に向けた文書分類アルゴリズムの検討 岩田 覚 教授 数理情報学専攻
中嶋 健太 部材断面積の種類数制約を有するトラスの最適設計問題に対する混合整数計画と非線形計画の性能比較 寒野 善博 准教授 数理情報学専攻
中嶋 洋平 有限集団における協力行動のダイナミクスの解析 竹村 彰通 教授 数理情報学専攻
橋本 大樹 準モンテカルロ法を用いた時系列フィルタリング 駒木 文保 教授 数理情報学専攻
波多野 卓磨 前立腺がん間欠的ホルモン療法の耐性獲得予測 鈴木 秀幸 准教授 数理情報学専攻
廣田 正之 Score Matching Methods for Parametric Models on Discrete Sample Spaces (離散標本空間上のパラメトリックモデルに対するスコアマッチング法) 駒木 文保 教授 数理情報学専攻
真矢 滋 多様な特徴を持つ緑内障データを用いた知識発見に関する研究 山西 健司 教授 数理情報学専攻
村井 義孝 人間の社会行動から得られる時刻データのバースト性について 竹村 彰通 教授 数理情報学専攻
村越 智文 テンソルに対する次元削減付きCP分解アルゴリズム 松尾 宇泰 教授 数理情報学専攻
矢部 顕大 Rank minimization and determinantal complexity (ランク最小化と行列式複雑度) 平井 広志 准教授 数理情報学専攻
山口 天 ロバスト最適化手法に基づく弾塑性構造物のシェイクダウン解析 寒野 善博 准教授 数理情報学専攻
吉川 和 反マトロイドのホーン関数表現と教育システム設計への応用 平井 広志 准教授 数理情報学専攻
梁 曽漢 Query Reduction of Active Learning with Bayesian Optimization (ベイズ的最適化による能動学習のクエリ削減) 中川 裕志 教授 数理情報学専攻
渡邉 俊大 人間・機械混在型クラウドソーシングにおける品質管理 山西 健司 教授 数理情報学専攻
page top

2013年度

氏名 題目 指導教員 専攻
山田 直敬 マルチコアDual Cached LoopによるSVM学習の効率化 中川 裕志 教授 数理情報学専攻
赤間 健人 行列補完問題に対する転移学習アプローチ 鹿島 久嗣 准教授 数理情報学専攻
相本 佳史 A Structure-Preserving Local Discontinuous Galerkin Method Based on Variational Structure (変分構造に基づく構造保存局所不連続ガレルキン法) 松尾 宇泰 教授 数理情報学専攻
赤坂 拓哉 独立成分分析に基づく変化検知の研究 山西 健司 教授 数理情報学専攻
荒野 俊平 グループ正則化を用いたネットワーククラスタリング 鹿島 久嗣 准教授 数理情報学専攻
飯田 紘士 特徴ストリームからの大規模疎学習スキーム 中川 裕志 教授 数理情報学専攻
石井 勇太 歪対称ネットワークによるk-劣モジュラ関数の表現に関する研究 平井 広志 講師 数理情報学専攻
石原 響太 凸集合のスラック行列と拡張定式化 室田 一雄 教授 数理情報学専攻
上田 真士 複数メッセージに対する同定符号 山本 博資 教授 数理情報学専攻
大橋 祐太 階層構造をもつネットワーク上の投票者モデル 増田 直紀 准教授 数理情報学専攻
大屋 俊輔 為替の急激な変動の予兆を検出する数理的手法に関する研究 合原 一幸 教授 数理情報学専攻
小熊 和仁 ホドグラフ変換を用いた偏微分方程式の動的格子差分スキームの構築 松尾 宇泰 教授 数理情報学専攻
尾﨑 史朗 骨組構造を用いたコンプライアントメカニズムの設計問題に対する混合整数線形計画法 寒野 善博 准教授 数理情報学専攻
金澤 康平 対称劣モジュラ関数最小化問題の拡張と最小次数順序 室田 一雄 教授 数理情報学専攻
齊藤 宏大 複雑ネットワークにおける頂点の重要度と辺生成の間に見られる依存関係について 増田 直紀 准教授 数理情報学専攻
坂井 良樹 非一様データからの統合的学習 山西 健司 教授 数理情報学専攻
竹内 大樹 隠れマルコフモデルを用いた人間行動データの解析 増田 直紀 准教授 数理情報学専攻
田村 俊太郎 整数行列の Smith 標準形を求めるアルゴリズムの研究 室田 一雄 教授 数理情報学専攻
タン グェン ハウ Covering Symmetric Skew-Supermodular Functions with Parity Condition (パリティー条件付き対称弱優モジュラ関数カバー問題) 平井 広志 講師 数理情報学専攻
東内 駿介 高頻度為替データにおける裾従属構造の接合関数を用いた分析 藤井 眞理子 教授 数理情報学専攻
中田 知洋 同じ鍵を繰り返し使用する完全準同型暗号に関する研究 國廣 昇 准教授 数理情報学専攻
永田 基樹 Phase-Model Analysis of Supply-Demand Stability in Power Grids (電力系統における需給安定性の位相モデル解析) 合原 一幸 教授 数理情報学専攻
渚 有瓶 偏微分方程式に対するシフト作用素を用いた差分法 松尾 宇泰 教授 数理情報学専攻
早川 純平 多項式指数型分布に対するホロノミック勾配法を用いた最尤推定法 竹村 彰通 教授 数理情報学専攻
松田 孟留 脳波を用いた知覚交替の点過程モデリングと特異値縮小型のベイズ予測 駒木 文保 教授 数理情報学専攻
村下 瑛 Dueling Bandit問題に対する漸近最適アルゴリズム 鹿島 久嗣 准教授 数理情報学専攻
矢野 恵佑 Asymptotically Minimax Bayesian Predictive Densities When the Distributions of Data and Target Variables are Different (観測変数と予測変数の分布が異なる場合の漸近ミニマックスベイズ予測分布) 駒木 文保 教授 数理情報学専攻
横井 優 Study on Stable Allocations in Two-Sided Discrete-Concave Market (離散凹評価関数市場モデルの安定割当に関する研究) 室田 一雄 教授 数理情報学専攻
page top

2012年度

氏名 題目 指導教員 専攻
マルトー アドリアン Dynamic dependency models for jump process intensities(ジャンプ過程の強度関数間の動的モデル) 竹村彰通 教授 数理情報学専攻
井町 宏人 準構造化データ処理の効率的Map Reduce 実装に関する研究 杉原 正顯 教授 数理情報学専攻
嘉指 圭人 Error Estimation for the Charge Simulation Method on Spheres(球面における代用電荷法の誤差評価) 杉原 正顯 教授 数理情報学専攻
相浦 大司 数値的同時ブロック対角化法の分岐解析への応用 室田 一雄 教授 数理情報学専攻
石井 臨太郎 メタ群集ネットワーク上の感染症伝搬を抑制するための戦略 増田 直紀 准教授 数理情報学専攻
梶野 洸 Convex Formulations for Learning from Crowds(クラウドソーシングを用いた教師付き学習の凸最適化問題としての定式化) 鹿島 久嗣 准教授 数理情報学専攻
金澤 宏紀 MDL原理に基づく区間定常無記憶情報源の変化検知とデータマイニングへ 山西 健司 教授 数理情報学専攻
小島 裕隆 学習機能を持つカオスニューラルネットを用いた連想記憶の数理モデリング 合原 一幸 教授 数理情報学専攻
小橋 昌明 影の多重残差ベクトルに基づく双共役勾配法 松尾 宇泰 准教授 数理情報学専攻
佐藤 翔一 グラフ分割構造の変化検知の研究 山西 健司 教授 数理情報学専攻
スフバータル サインバヤル Improving Temporal Coherence of Image Features by Clustering Technique Learned from Moving Images (動画から学習したクラスタリング手法による画像特徴の時間的なコヒーレンスの改良 ) 合原 一幸 教授 数理情報学専攻
勢見 賢人  一次関数の最大合成 牧野 和久 准教授 数理情報学専攻
田中 豊人 Probability Matching Priors for Quantiles and Partial Posterior Predictive P-Values (分位数及び部分事後予測分布による p 値に関する確率整合事前分布) 駒木 文保 教授 数理情報学専攻
田邊 奨馬 Indirect Reciprocity with Trinary Reputations (3値評判のもとでの間接互恵性) 鈴木 秀幸 准教授 数理情報学専攻
谷口 友惟 シュタイナー木パッキング問題に対する近似的最大最小定理に関する研究 牧野 和久 准教授 数理情報学専攻
富田 裕章 拡散過程を用いた生物学的オークションの解析 増田 直紀 准教授 数理情報学専攻
中村 友哉 最小二乗確率的分類器による信用格付の判別 杉原 正顯 教授 数理情報学専攻
成田 敦博 Online Transfer Learning from Data Streams Based on Concept Drift (コンセプトドリフトに基づくデータストリームからのオンライン転移学習) 中川 裕志 教授 数理情報学専攻
溝江 将 Statistical Analysis of Neuronal Spike Data Based on Continuous-Time Point Process Models (連続時間点過程モデルに基づく神経スパイク列データに関する統計解析) 駒木 文保 教授 数理情報学専攻
三津澤 将司 神経細胞の空間周期表現を用いた認知地図の計算論モデル 山口 陽子 教授 数理情報学専攻
茂木 隼 ネットワークを用いたテニスプレイヤーの動的なランキング手法 増田 直紀 准教授 数理情報学専攻
山口 要 金融市場の特性を考慮した倒産伝播現象に関する分析 藤井 眞理子 教授 数理情報学専攻
山本 忠 テキストと数値の組からなるデータに対するマイニング手法に関する研究 中川 裕志 教授 数理情報学専攻
渡邉 光徳 散逸型偏微分方程式の数値解法に関する研究 松尾 宇泰 准教授 数理情報学専攻
page top

2011年度

氏名 題目 指導教員 専攻
ルジィラパイブーン パッタラ Time Series Modeling for Electrocardiogram Data (心電図データの時系列モデリング) 駒木 文保 教授 数理情報学専攻
範 天一 離散ブリーザー方程式の保存差分スキーム 松尾 宇泰 准教授 数理情報学専攻
浅見 征平 瞬き及び脳波入力を考慮した知覚交替の点過程モデリング 駒木 文保 教授 数理情報学専攻
石黒 圭祐 混合t分布モデルに対する効率的なギブスサンプリング 駒木 文保 教授 数理情報学専攻
石堂 悠 ナイーブベイズによる文書分類における新規単語の処理方法の提案 杉原 正顯 教授 数理情報学専攻
大岩 秀和 Feature-aware Regularization for Online Learning (オンライン学習におけるデータ適応的正則化手法) 中川 裕志 教授 数理情報学専攻
大西 隆興 不均一に結合されたメタ群衆における感染症動態の制御 増田 直紀 准教授 数理情報学専攻
小川 光紀 Markov Bases for Statistical Models of Contingency Tables and Random Graphs (分割表およびランダムグラフの統計モデルに対するマルコフ基底) 竹村 彰通 教授 数理情報学専攻
加藤 紳也 逆イジング問題に基づく多細胞神経活動の解析手法 増田 直紀 准教授 数理情報学専攻
木下 俊二 マルチシフトQR法の並列化に関する研究 杉原 正顯 教授 数理情報学専攻
木村 大翼 木構造データに対する高速なカーネル関数の設計 鹿島 久嗣 准教授 数理情報学専攻
倉前 裕成 交互型離散変分導関数法とその応用 松尾 宇泰 准教授 数理情報学専攻
暮田 留依 混合整数計画法を用いたオクセティック性を有する骨組構造物の設計法 寒野 善博 准教授 数理情報学専攻
麻 圭史 ヒトの行動に着目したメタポピュレーション感染モデルの解析 鈴木 秀幸 准教授 数理情報学専攻
澄田 範奈 線形相補性問題とその一般化に関する研究 牧野 和久 准教授 数理情報学専攻
髙田 正彬 自由エネルギー原理に基づく神経修飾の計算論 合原 一幸 教授 数理情報学専攻
寺田 洋介 劣モジュラ関数およびポジモジュラ関数の最大化アルゴリズム 室田 一雄 教授 数理情報学専攻
得居 誠也 Learning Hash with Sequential Buckets Partitioning (逐次的なバケット分割によるハッシュの学習) 中川 裕志 教授 数理情報学専攻
鳥巣 かおり 格子理論を用いた暗号の安全性解析に関する研究 國廣 昇 准教授 数理情報学専攻
中島 龍一 カウンターパーティ・リスクを考慮したクレジット・デフォルト・スワップの価格評価 藤井 眞理子 教授 数理情報学専攻
早矢仕 裕 非定常時系列データからのネットワーク構造変化検出の研究 山西 健司 教授 数理情報学専攻
平井 聡 正規化最尤符号を用いたモデル選択とクラスタリングへの応用 山西 健司 教授 数理情報学専攻
平山 剛史 劣モジュラシステムの分割問題に関する研究 牧野 和久 准教授 数理情報学専攻
深堀 康紀 GBiCGSTAB(s,L)法の改良およびシフト線形方程式への応用 杉原 正顯 教授 数理情報学専攻
増田 有一 ひずみ軟化を伴う弾塑性構造物の準静的解析 寒野 善博 准教授 数理情報学専攻
水島 直紀 非定常性を考慮したUniversal Portfolioの研究 竹村 彰通 教授 数理情報学専攻
宮武 勇登 Structure-Preserving Numerical Methods for Nonlinear Partial Differential Equations(非線形偏微分方程式に対する構造保存型数値解法) 松尾 宇泰 准教授 数理情報学専攻
村田 裕介 人工衛星観測データ復元問題に対する最適化モデリング 室田 一雄 教授 数理情報学専攻
page top

2010年度

氏名 題目 指導教員 専攻
安達 涼 A Microscopic Pedestrian Simulation Model with Theory of Mind (心の理論を考慮した微視的歩行者シミュレーションモデル) 合原 一幸 数理情報学
岩上 顕夫 再生可能エネルギーを考慮した電力市場モデルの解析 鈴木 秀幸 数理情報学
鵜島 崇 Ganelius標本点を用いた関数近似公式とその応用 杉原 正顯 数理情報学
江島 啓介 ヒトの行動に着目した感染症伝播のモデル化と解析 合原 一幸 数理情報学
榎本 翔 区分的に滑らかなハミルトン系に対する構造保存型数値解法 松尾 宇泰 数理情報学
柏村 拓哉 グラフィカルモデルに対する代数的アプローチ 竹村 彰通 数理情報学
勝見 佑平 多項式計画問題とその緩和法に関する研究 室田 一雄 数理情報学
河瀬 康志 ネットワークデザインゲームにおけるポテンシャル最小化 増田 直紀 数理情報学
喜多 奈々緒 グラフの1因子の拡張可能性 室田 一雄 数理情報学
木村 慧 q-ホーンシステムの実行可能性を判定する組合せ的アルゴリズム 牧野 和久 数理情報学
工藤 大誠 分割表の Graver Complexity の評価 竹村 彰通 数理情報学
久保 友樹 補助ノードを用いた安全な線形ネットワーク符号構成多項式時間アルゴリズム 山本 博資 数理情報学
黒澤 雅人 隠れマルコフモデルにおける集合型パラメータ推定に関する研究 中川 裕志 数理情報学
胡 ヱ康 Parallelizing Spectral K-Means Algorithm with Map-Reduce Framework (Map-ReduceによるSpectral K-Meansアルゴリズムの並列化に関する研究) 武市 正人 数理情報学
櫻井 瑛一 非定常データからの動的パラメータ推定とモデル選択に関する研究 山西 健司 数理情報学
関根 亮吾 双曲割引を持つTemporal-difference (TD) 学習の研究 増田 直紀 数理情報学
谷口 洋平 緩やかな減速を考慮した交通流セルオートマトンモデルに関する研究 鈴木 秀幸 数理情報学
丹波 俊明 ケーブルの緩みを考慮したテンセグリティ構造の動的解析法 寒野 善博 数理情報学
立木 泰樹 劣モジュラ関数最小化と劣モジュラ流問題のアルゴリズムに関する研究 室田 一雄 数理情報学
塚本 昌也 局所的な不完全コレスキー分解前処理を用いた陰的マルチグリッド法 杉原 正顯 数理情報学
中西 佑介 ダイバージェンスを用いた有限混合分布モデルの均一性の検定 駒木 文保 数理情報学
野澤 功一 CDSプレミアムの変動に関する実証分析 藤井 眞理子 数理情報学
間野 暢 不確かな目的関数をもつ最適化問題に対する近似アルゴリズム 牧野 和久 数理情報学
向田 裕人 修正経験尤度比統計量に関する研究 駒木 文保 数理情報学
森井 正覚 プライバシを保護したリンク解析に関する研究 中川 裕志 数理情報学
山田 翔太 Constructions of CCA secure Public Key Encryption and Attribute Based Encryption 國廣 昇准 数理情報学
page top

2009年度

氏名 題目 指導教員 専攻
有馬 直尭 多車線交通流のセルラーオートマトンモデルに関する研究 合原 一幸 数理情報学
大嶋 小次郎 Higher Order Approximation of Expectation for Diffusion Processes(拡散過程に対する期待値の高次の数値近似法) 竹村 彰通 数理情報学
有馬 幸介 再帰的ブロック分割によるQR分解アルゴリズムの並列実行に関する研究 武市 正人 数理情報学
池田 雅紀 半教師有り学習を用いたWeb上での人物検索結果の同姓同名問題の解消 中川 裕志 数理情報学
稲垣 和久 Haselgrove法の収束性に関する研究 杉原 正顯 数理情報学
井元 將仁 カーネル・ロジスティック回帰モデルによる倒産確率の推定と検証 藤井 眞理子 数理情報学
牛丸 裕介 時間の変換を伴う状態空間モデルによる時系列データの解析法 駒木 文保 数理情報学
江田 英行 アフィン型期間構造モデルを用いた金利予測に関する分析 藤井 眞理子 数理情報学
岡田 祐典 周期の異なるリミットサイクル振動子から成る結合系における相転移現象の解析 河野 崇 数理情報学
岡野 宙輝 劣モジュラ関数近似アルゴリズムに関する研究 室田 一雄 数理情報学
木津 幸子 双方向変換を用いたXML文書更新に関する研究 武市 正人 数理情報学
小泉 拓 エッシャー風タイリングの自動生成 寒野 善博 数理情報学
小出 学 バイオメトリクスを用いた情報セキュリティシステムに対する符号化定理 山本 博資 数理情報学
古賀 健太郎 超立方体上のランダムウォークの脱乱化 牧野 和久 数理情報学
近藤 健司 ノンパラメトリックベイズ法と関連手法による多次元推論の有限標本における性質 駒木 文保 数理情報学
柴田 大樹 直交群及び特殊直交群上の統計モデルに関する研究 竹村 彰通 数理情報学
仙頭 洋一 局所結合位相振動子系における秩序変数の長時間ゆらぎ 鈴木 秀幸 数理情報学
高橋 周平 単調な線形不等式系の極小整数実行可能解を検証する並列アルゴリズム 牧野 和久 数理情報学
立石 寛人 コミュニティ構造を有するネットワーク上での多数決モデル 増田 直紀 数理情報学
塚田 健 一般化IDR定理に基づく反復解法に関する研究 杉原 正顯 数理情報学
鳥居 栄太郎 時間依存Ginzburg—Landau方程式に対する陰的線形かつ安定な多段スキーム 松尾 宇泰 数理情報学
橋本 英樹 定理証明支援系Coqを用いたプログラム運算 武市 正人 数理情報学
原 拓矢 飛び出す絵本の計算機支援設計 寒野 善博 数理情報学
藤井 秀則 巡回ボロノイ図の構成法に関する研究 武市 正人 数理情報学
藤井 芳則 半正定値計画法を用いた直交異方性膜の釣合形状解析法 寒野 善博 数理情報学
本多 淳也 An Asymptotically Optimal Policy for Bounded Support Models in the Multiarmed Bandit Problem(有界サポートモデル上の多腕バンディット問題における漸近最適戦略) 竹村 彰通 数理情報学
松島 慎 多クラス識別問題におけるAggressive戦略の厳密解法に関する研究 二宮 崇 数理情報学
見並 良治 指値注文市場における注文到着過程の実データ分析およびゼロインテリジェンスモデルの拡張 松尾 宇泰 数理情報学
元吉 弘之 神経スパイク列からのExcess Entropyの推定 鈴木 秀幸 数理情報学
楊 斌 Collusion-Resistant Privacy-Preserving Data Mining(結託耐性のあるプライバシー保護データマイニング) 中川 裕志 数理情報学
米倉 一男 構造物の設計および解析に対する逐次錐計画法 寒野 善博 数理情報学
page top

2008年度

氏名 題目 指導教員 専攻
三橋 泉 XML文書の同期に対する言語面からのアプローチ 武市 正人
胡 振江
数理
奥 牧人 Mathematical Modelling of Meso-Scale Information Processing in the Brain (メゾスケールにおける脳情報処理の数理モデル化) 合原 一幸 数理
ゲルベク セルゲイ Chaotic Dynamics and Synchronization in Neuron Models with Delays (ディレイを有するニューロンモデルにおけるカオス動力学と同期) 合原 一幸 数理
ハイダー モハッマド バルルー Almost Delaunay Triangulation Routing for Energy Efficient Wireless Sensor Networks
(エネルギー効率の良い無線センサーネットワークのための近似ドロネー三角形分割経路法)
杉原 厚吉 数理
有久 亘 スパムプログ識別性能の向上に関する研究 中川 裕志 数理
江原 慎太郎 自己釣合条件に基づくテンセグリティ構造の形状設計 寒野 善博 数理
大槻 俊介 有理式補間を用いた特異摂動境界値問題の数値解法 杉原 正顯 数理
岡部 美乃理 温度等高線を用いた四角形メッシュの生成法の改良 杉原 厚吉 数理
加倉井 智 ニューラルネットワークアンサンブルによる株価の時系列予測 合原 一幸 数理
川原 一真 非線形微分方程式に対する線形数値解法 松尾 宇泰 数理
菅 和聖 三次元物体における Medial Axis の安定な推定法 杉原 厚吉 数理
木村 弦 ステップ応答によるマイノリティゲームの解析 鈴木 秀幸 数理
佐藤 暁史 行列関数計算のためのクリロフ部分空間法 室田 一雄 数理
佐藤 亮平 次数制約付き最小全域木問題の近似アルゴリズムの実装と実験的評価 牧野 和久 数理
帯刀 一洋 変動パターンを考慮した非線形時系列解析 鈴木 秀幸 数理
谷尾 真明 双共役勾配法の拡張に関する研究 杉原 正顯 数理
坪坂 正志 ネットワークのコミュニティ構造を抽出するベイズ推論アルゴリズムの研究 増田 直紀 数理
テーラシット タームサイソン A Mathematical Model of Working Memory with Dynamic Synapses (動的シナプスを用いた作業記憶の数理モデル) 合原 一幸 数理
土井 聡弘 非線形方程式系に対するスペクトル残差法に関する研究 松尾 宇泰 数理
中村 彰 一般因子問題の解法とマトロイド構造に関する研究 室田 一雄 数理
並木 隆一 劣モジュラシステムに対する最大隣接及び最小次数順序付けアルゴリズムの実装と実験的考察 牧野 和久 数理
藤田 諒 相補性条件に基づく接触問題の解の列挙手法 寒野 善博 数理
星野 禎 信用格付に対するサポートベクターマシンの応用 藤井 眞理子 数理
前原 貴憲 代数的対称性による行列の同時ブロック対角化法 室田 一雄 数理
三矢 恭悟 ジャンプ拡散過程の確率制御に基づく再保険の最適化に関する研究 竹村 彰通 数理
村岡 優輔 部分事後予測分布に基づくモデル検証の漸近的性質 駒木 文保 数理
柳谷雄太 与信ポートフォリオにおける損失率の近似的評価法に関する分析 藤井 眞理子 数理
page top

2007年度

氏名 題目 指導教員 専攻
杉村 由花 複数連鎖待ち行列ネットワークに対するマルコフ連鎖モンテカルロ法 杉原 厚吉 数理
相島 健助 特異値計算アルゴリズム,dqds法およびmdLVs法の収束理論 杉原 正顯 数理
猪阪 佑介 L2距離に基づく平面凸曲線の折れ線近似 牧野 和久 数理
石川 真生 制約を持つ非線形システムのゲイン切替え型制御 杉原 正顯 数理
大神 智洋 複数シルエットを実現する立体の探索アルゴリズム 杉原 厚吉 数理
大山 和政 木構造ネットワークにおける最速到達フロー 牧野 和久 数理
小中 進悟 段階的ベンチャー・ファイナンスにおける企業行動の分析 藤井 眞理子 数理
佐藤 一誠 Machine Learning of Probabilistic Generative Model Based on Bayesian Nonparametrics(ベイジアンノンパラメトリクスに基づく確率的生成モデルの機械学習) 中川 裕志 数理
澤井 賢一 A Study on Music Similarity by Recurrence Plots(リカレンスプロットを用いた楽曲の類似度に関する研究) 合原 一幸 数理
重谷 康輔 不完全LU分解前処理付Krylov部分空間法におけるオーダリングの研究 杉原 正顯 数理
秦 嘉芸 Multi-game Dynamics in Finite Populations(有限集団におけるマルチゲームダイナミクス) 鈴木 秀幸 数理
田代 雄介 指値注文市場における最適注文決定モデルとその実証に関する研究 藤井 眞理子 数理
中島 卓也 Sparse Gridsを用いた多次元数値積分法に関する研究 杉原 正顯 数理
西辻 泰典 住宅ローン債権担保証券に対する評価法の効率化:強度モデルによるアプローチ  室田 一雄 数理
廣瀬 善大 双対平坦空間の情報幾何に基づく最小角回帰法の拡張 駒木 文保 数理
藤田 稔 Infinite Relational Modelの拡張に関する研究 中川 裕志 数理
松崎 幸太郎 スキーマに基づいたXMLビュー更新可能性判定 胡 振江 数理
真子 創志 機会損失在庫管理問題の構造的性質に関する研究  室田 一雄 数理
守 翔太 Ginzburg-Landau方程式に対するエネルギー散逸性を保つ数値解法 松尾 宇泰 数理
山中 卓 隠れマルコフ型格付推移モデルによる信用リスク評価 藤井 眞理子 数理
渡辺 唯一 非対称正規分布族のフィッシャー計量と漸近挙動 竹村 彰通 数理
page top

2006年度

氏名 題目 指導教員 専攻
相田 森羅 離散凸解析の多項式順序環への拡張とその応用 杉原 厚吉 数理
有坂 昌樹 インターネットにおける広告戦略モデル 合原 一幸 数理
岩佐 大 ハブ・アンド・スポークネットワーク設計問題の近似解法 杉原 厚吉 数理
大川 徳之 二層タスク並列スケルトンプログラムの最適化に関する研究 武市 正人 数理
岡山 友昭 弱特異核を持つ積分方程式に対するSinc数値計算法 松尾 宇泰 数理
黒木 裕介 多次元割当問題の近似解法 杉原 厚吉 数理
小林 佑輔 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(離散最適化技法による微分代数方程式の冪零指数減少法) 室田 一雄
岩田 覚
数理
長井 超慧 滑らかな境界をもつ領域のための等方的メッシュの生成法 杉原 厚吉 数理
中島 宏 バケッティングを用いた格子モデルにおけるアジアンオプションの価格評価 藤井 眞理子 数理
野村 俊一 正則有向グラフの短縮型ジグザグ積におけるランダムウォークの収束性 竹村 彰通 数理
野村 芳明 並列スケルトンによる差分法計算の記述とその効率化 胡 振江 数理
堀越 保徳 ゲーム論的確率論における大数の強法則の収束レートの研究 竹村 彰通 数理
前田 博志 新型インフルエンザに関する数理モデル解析 合原 一幸 数理
松本 直久 回帰モデルの混合を用いた予測の性能評価 駒木 文保 数理
森川 直哉 最適化に基づくアンテナアレイの設計 大石 泰章 数理
森田 和孝 右逆関数の自動導出によるプログラムの並列化に関する研究 武市 正人 数理
森田 直幸 木構造データの双方向変換システムにおける安全なビュー編集操作に関する研究 胡 振江 数理
山口 尚 離散偏導関数法を用いた浅水波方程式の数値解法 室田 一雄 数理
我妻 光洋 CIP法の基礎研究 杉原 正顯 数理
page top

2005年度

氏名 題目 指導教員 専攻
中丸 太輔 周期的な減衰項を伴った2階線形Hill方程式の振動性の判別 室田 一雄 数理
加藤 正樹 準ニュートン法を用いた多変量GARCHモデルのパラメータ推定 室田 一雄 数理
伊藤 功 タンパク質接合面の一般化とその構成法 杉原 厚吉 数理
今泉 隆文 符号木同定とそれに関連した同期系列の研究 合原 一幸 数理
江本 健斗 A Compositional Framework for Parallel Programmingon Two-Dimensional Arrays
(二次元配列上の並列スケルトンプログラミングに関する研究)
胡 振江 数理
遠藤 祐司 分解可能部分モデルに基づく比例反復法の改良 竹村 彰通 数理
小野 真吾 Webページにおける名寄せシステム 中川 裕志 数理
笠井 大幹 分数混合行列によるシステムの可制御性解析 室田 一雄 数理
小山 中 音源の移動を考慮したマイクロフォンアレイの指向性制御 大石 泰章 数理
齋木 直也 位相優先法を用いたモデル予測制御系設計法の数値誤差対策 大石 泰章 数理
塩澤 崇 誘導型モデルを用いた社債ポートフォリオの信用リスク計量化 藤井 眞理子 数理
鈴木 大慈 Hybrid Systems Control For Hormone Therapy of Prostate Cancer
(前立腺癌ホルモン療法におけるハイブリッドシステム制御)
合原 一幸 数理
竹本 遼太 レジーム・スウィチングモデルを用いた金利の期間構造に関する研究 藤井 眞理子 数理
田中 快明 円ボロノイ図の厳密計算法に関する研究 杉原 厚吉 数理
坪木 総一 マルコフゲームとディリクレ形式 岡部 靖憲 数理
西村 友昭 一般化経験尤度法とそれを用いた推定関数の選択規準 駒木 文保 数理
林 裕 推測盗聴者を伴う暗号システムの符号化定理 山本 博資 数理
原口 智史 判別分析に基づく画像からの主題領域抽出に関する研究 田中 久美子 数理
原田 邦彦 盗聴者に対して安全なネットワーク符号化 山本 博資 数理
平木 正典 セルオートマトン・モデルによるHIV感染とエイズ発症メカニズムの検証 岡部 靖憲 数理
平本 一博 最小k枝連結部分グラフ問題に対する主双対近似解法 室田 一雄 数理
福地 崇史 局所線形回帰を用いた条件付き密度推定の改良 駒木 文保 数理
藤本 宏涼 知識指向のテキストマイニングツール 中川 裕志 数理
藤原 伸友 巡回トーナメント問題の発見的解法 松井 知己 数理
藤原 晴雄 2項ボラティリティ変動モデルとヨーロピアン・オプション 岡部 靖憲 数理
松岡 祐治 A Fractional Packing Algorithm for Ideal Clutters
(イデアル・クラッターの分数パッキング)
岩田 覚 数理
松田 一孝 複製を含む双方向変換とその応用に関する研究 胡 振江 数理
松田 拓朗 強連結有向グラフ上の整合円順列 岩田 覚 数理
松本 嘉夫 二階正規パターンに対するマッチングアルゴリズムに関する研究 武市 正人 数理
森畑 明昌 Relationship between Arguments and Results of Recursive Functions
(再帰関数の引数と返値の関係に関する研究)
武市 正人 数理
山下 雅喜 複雑系時系列の条件付分布の推定とその応用 岡部 靖憲 数理
山田 郁生 円筒当てはめ問題の厳密解法 松井 知己 数理
page top

2004年度

氏名 題目 指導教員 専攻
赤城 正典 調合計画の設計法に関する研究 駒木 文保 数理
垣村 尚徳 Combinatorial Matrix Analysis by Sign Patterns(符号情報による行列の組合せ的解析) 岩田 覚 数理
川崎 英樹 プロスペクト理論による消費決定モデル 岡部 靖憲 数理
小市 俊悟 分子構造符号化法の開発 岩田 覚 数理
小林 大祐 盗聴者に対して情報量的に安全な符号化に関する研究 山本 博資 数理
酒井 完 並列マシーンのスケジューリング問題に対する近似解法の効率化 松井 知己 数理
佐藤 洋平 PCへの入力手段としての実時間ジェスチャ認識 杉原 厚吉 数理
ジェンナワシン タナゴーン A sum-of-squares approach to robust semidefinite programming(ロバスト半正定値計画法のための二乗和を使ったアプローチ) 大石 泰章 数理
白石 友一 イジングモデルにおけるギブスサンプリングの収束時間の解析 竹村 彰通 数理
橋 尚太郎 独立変数が多い回帰分析のベイズ法による変数選択 竹村 彰通 数理
調所 廣明 並列スケルトンを用いたXPATHクエリの並列化 武市 正人 数理
永野 清仁 劣モジュラ多面体上の最適化アルゴリズムの研究 松井 知己 数理
橋本 智央 リップリング法によるアルゴリズムの並列化 胡 振江 数理
花房 伸広 二値ノイズを適用した確率共振モデル 堀田 武彦 数理
平井 洋一 チャートにおけるパターン記述言語とその効率的な実装 胡 振江 数理
平山 悠 ハールウェーブレットによる非線形情報空間の生成系と時系列解析 岡部 靖憲 数理
本田 晋太郎 相関のある信用リスクの評価に関する研究 藤井 眞理子 数理
本田 司 FV符号木の同期系列に関する研究 山本 博資 数理
前田 恵一 EMアルゴリズムを用いたゲノム配列の特徴量抽出 駒木 文保 数理
森口 昌樹 Isotropic and Feature-Preserving Mesh Simplification Based on Constrained Centroidal Voronoi Diagrams(制約付き重心ボロノイ図を用いた等方的で特徴を保存するメッシュ簡略化法) 杉原 厚吉 数理
矢吹 光佑 2次体上の素数の分布と掘割問題 大石 泰章 数理
綿貫 誠司 リミットオーダーマーケットにおけるトレーダーの行動 堀田 武彦 数理
page top

2003年度

氏名 題目 指導教員 専攻
荒木 美穂 自由記述式アンケートの分析支援システム 武市 正人 数理
生永 雄輔 分割関数型協力ゲームにおける解の提案−電力送配電費用配分問題への適用− 松井 知己 数理
石井 邦憲 逐次MPMデータ圧縮符号の改良とその性能評価 山本 博資 数理
井床 利生 多重クラス待ち行列システムの多面体的組合せ論 岩田 覚 数理
狩野 博史 構成銘柄抽出型株価指数の銘柄抽出方法に関する考察 堀田 武彦 数理
上條 憲一 最適投資戦略と人工市場 堀田 武彦 数理
川原田 寛 細分割の双対構造による曲面表現 杉原 厚吉 数理
来嶋 秀治 パーフェクトサンプリング法の設計 松井 知己 数理
木全 友則 信用リスクモデルと債券格付の関連についての実証分析 藤井 眞理子 数理
佐々木 朗 量子秘密分散法に関する研究 山本 博資 数理
島田 俊輔 曲がり角を考慮した配送計画問題 松井 知己 数理
清水 雄平 離散時間の経路依存型ヨーロピアン・オプションとヘッジポートフォリオ 岡部 靖憲 数理
清水 亮 行列ペンシルのクロネッカー標準形の組合せ的計算 岩田 覚 数理
下村 圭矢 パラメータ依存線形行列不等式の非近似的解法 大石 泰章 数理
田中 健一郎 組合せ的凸性に関する近似手法の構築へ向けた考察 室田 一雄 数理
田中 冬彦 いくつかの古典・量子統計モデルのFisher計量に関する研究 竹村 彰通 数理
谷口 隆晴 流束分離に基づく空間多次元無反射境界条件の設定法 杉原 厚吉 数理
中村 和幸 時系列解析におけるSSA理論とKM20-ランジュヴァン方程式論の関係と応用 岡部 靖憲 数理
仁田 圭祐 スプレッドシート・ソフトウェアにおける計算方式の拡張 胡 振江 数理
針谷 尚幸 離散最適化手法による変量のクラスタリング 岩田 覚 数理
番 伸宏 プログラム最適化の宣言的記述とその効率的な実装 武市 正人 数理
檜垣 卓也 多段階確率的計画問題に対する確率的分解法の拡張 室田 一雄 数理
平井 広志 有限距離空間の離散凸性 室田 一雄 数理
藤井 毅朗 非線形予測公式を用いたボラティリティの推定 岡部 靖憲 数理
水野 信貴 回帰モデルにおける不完全データの解析 駒木 文保 数理
宮 英之 混合正規分布を用いた非ガウスグラフィカルモデル 駒木 文保 数理
武藤 崇 金利の期間構造の時間変動に関する研究 藤井 眞理子 数理
村上 拓真 Applications of Algebraic Methods for Software Construction(代数的手法によるソフトウェアの構築) 胡 振江 数理
山本 大輔 非線形回帰モデルを用いた遺伝効果の推測 竹村 彰通 数理
page top

2002年度

氏名 題目 指導教員 専攻
伊藤 徳史 GMRES法の線形最小二乗問題への適用 杉原 厚吉 数理
稲垣 登志人 ファイルの複写・転送に伴う費用の分担法 松井 知己 数理
大石 大輔 STAGEアルゴリズムによる組合せ最適化問題の近似解法に関する研究 合原 一幸 数理
大槻 久 Evolution of stochastic strategies in indirect reciprocity and the role of punishment(間接的互恵主義における確率的戦略の進化および懲罰の役割) 合原 一幸 数理
大戸 隆広 グラフ実現問題のアルゴリズムとデータ構造 岩田 覚 数理
甲斐 友哲 漢字の形状的特徴と単語の頻度情報を用いた熟語の確定能力 武市 正人 数理
紅林 孝彰 株式収益率の分布およびその取引量との関係に関する計量分析 藤井 眞理子 数理
齊藤 廣大 ハブ空港配置問題の多面体的考察 松井 知己 数理
坂井 秀行 木構造を用いたグループ鍵管理方式の理論解析 山本 博資 数理
佐藤 勇紀 組み込み機器におけるJavaバイトコードの圧縮 胡 振江 数理
鈴木 立史 天候デリバティブにおけるヘッジポートフォリオと同値マーチンゲール測度 岡部 靖憲 数理
瀧澤 和憲 供給点配置問題に対する主双対近似解法 岩田 覚 数理
田中 研太郎 混合分布モデルにおける一致推定量の構成 駒木 文保 数理
疋田 敏朗 PPM法と品詞情報を用いた予測変換手法 武市 正人 数理
久富 稔 2段階式進化的マイノリティゲーム 堀田 武彦 数理
藤澤 一郎 平均場近似による空間モデルの統計的推測 駒木 文保 数理
松崎 公紀 Parallelization with Tree Skeletons and its Implementation on Distributed Systems(木に対するスケルトンを用いた並列化とその分散システム上での実現に関する研究) 胡 振江 数理
山岡 裕司 モデル検査技術を利用したプログラム解析の自動生成 武市 正人 数理
山村 聡 SNR推定値を用いたターボ符号自動再送要求システム 山本 博資 数理
横井 宏紀 領域構造に基づいた画像情報処理系の構築 杉原 厚吉 数理
横山 哲郎 Functional Meta-programming for Program Calculation(プログラム運算のための関数メタプログラミング) 武市 正人 数理
森部 大輔 離散時間株価過程におけるリスク最小ポートフォリオ 堀田 武彦 数理
page top

2001年度

氏名 題目 指導教員 専攻
伊藤 隆 しりとりゲームの数理的解析 胡 振江 計数
今井 聡 Jacobi-Davidson法の幾何学的研究とその応用 杉原 厚吉
速水 謙
計数
金田 有二 可変長マルコフ連鎖による変化点解析 岡部 靖憲 計数
川元 洋平 分散型秘密情報配送システムに対する情報理論的解析 山本 博資 計数
後藤 未来 鋼板板取問題のモデル化とその解法 松井 知己 計数
小林 景 サポートベクトルマシンの汎化能力評価 駒木 文保 計数
小林 徹也 Design and Analysis of Simple Modules for Artificial Genetic Networks (人工遺伝子ネットワークのモジュールの設計とその解析) 村重 淳 計数
佐野 繁男 プログラム変換によるリスト準同型関数の導出に関する研究 武市 正人 計数
白沢 楽 スケルトン並列プログラミング環境の構築に関する研究 胡 振江 計数
清 智也 微小ノイズを含む拡散過程の情報幾何学 駒木 文保 計数
高橋 知成 不均等データに適した並列スケルトンに関する研究 胡 振江 計数
福田 幸二 双峰写像の記号力学と準同型変換 合原 一幸 計数
松永 祐子 低密度パリティ検査符号を用いた有歪み圧縮に関する研究 山本 博資 計数
宮沢 裕之 An improved randomized on-line algorithm form a weighted interval selection problem (重み付き区間選択問題に対する改良ランダマイズドオンラインアルゴリズム) 松井 知己 計数
谷田川英治 色と構図に基づく画像検索ブラウザの提案 杉原 厚吉 計数
犬塚 祐介 統計的手法を用いた少数ボタンによる文章入力の効率化 武市 正人 情報
清見 礼 MAX 2SAT 問題の近似解法の実装と評価 松井 知己 情報
竹川 視野 MPM符号の改良とその性能解析 山本 博資 情報
鶴見 雅弘 Javaチップのハードウェア支援を利用したごみ集め 武市 正人
岩崎 英哉
情報
丸山 卓久 PPM法を用いたかな漢字変換の学習法とその実装法 武市 正人 情報
村井 将彦 相関ルール抽室アルゴリズムの高速化に関する研究 武市 正人 情報
page top

2000年度

氏名 題目 指導教員 専攻
飯田 顕太郎 要介護認定の一次判定アルゴリズムに関する研究 松井 知己 計数
岩崎 秀夫 確率場モデル・順序制約付モデルの情報量基準 駒木 文保 計数
大西 立顕 ニューロンの時空間学習と応答特性 合原 一幸 計数
葛西 隆也 機械学習を用いた経路探索システムに関する研究 武市 正人 計数
熊谷 和幸 文書の統計情報を用いたプレゼンテーションシート作成支援システムに関する研究 武市 正人 計数
篠原 雄二 格子状に連結したFitzHugh-Nagumoニューロンの挙動 堀田 武彦 計数
竹内 悟 型情報を利用したプログラム最適化に関する研究 岩崎 英哉 計数
竹之内 高志 特異点を持つ錘型モデルにおける推定・検定の漸近論 岡部 靖憲 計数
戸坂 凡展 株価変動データの性質とモデリング 堀田 武彦 計数
今成 武 歪んだ時空上を運動する物体のアニメーション 速水 謙 計数
濱野 健二 箱の中の大振幅定在波の境界要素法による直接シミュレーション法の問題点とその対処法 速水 謙 計数
藤村 光 ボロノイ図を応用したスポーツチームワークの定量的評価 杉原 厚吉 計数
堀内 信吾 Calculation of Collision-Free Paths Using Fast Marching Methods (高速前進法を用いた障害物回避経路の計算法) 杉原 厚吉 計数
丸山 剛 FV符号の競合最適性 山本 博資 計数
三宅 剛史 シミュレーティドアにーリングのスポーツスケジューリング問題への適用 松井 知己 計数
宮代 隆平 リーグ戦スケジュール作成問題に関する研究 岩崎 英哉 計数
山川 信之 平均ブートストラップ予測を用いた判別分析 駒木 文保 計数
山下 宙人 時系列モデリングにおけるArranged Local Regressionとその応用 岡部 靖憲 計数
page top

1999年度

氏名 題目 指導教員 専攻
高村 大也 構文情報の定量化とそれを用いた言語比較 杉原 厚吉 計数
竹内 統 コンピュータ・グラフィクスのための布のシミュレーション 速水 謙 計数
赤崎 洋子 一般化ネットワーク流問題を解くアルゴリズムの提案 松井 知己 計数
岩本 俊弘 Information-Theoretic Analysis on Firing Patterns of Neurons(ニューロンの発火パターンに関する情報理論的解析) 合原 一幸 計数
宇都木 契 寿命モデルによる動的オブジェクト管理の効率化に関する研究 武市 正人 計数
小林 和博 議員定数配分方法に対する不偏性分析 伏見 正則 計数
小湊 敦 準モンテカルロ法によるエキゾチック・オプションの評価 伏見 正則 計数
佐藤 孝仁 ボラティリィティにマルコフ連鎖を用いたオプションの評価 岡部 靖憲 計数
重光 孝司 シミュレーションによるアメリカンオプションの価格評価 伏見 正則 計数
鈴木 高志 線形ニューラルネットワークにおける過学習の評価 岡部 靖憲 計数
高見沢 正 改良Fourier-Mellin不変記述子を用いたパターンマッチングに関する研究 山本 博資 計数
竹内 広宜 Research on the number of components in the mixture model(混合分布モデルの成分数に関する研究) 廣津 千尋 計数
辻 真吾 質の高い三次元ドロネー分割のための点配置 杉原 厚吉 計数
中島 将行 弾性体の内点で観測された変位に基づく表面力の同定 速水 謙 計数
平田 祥人 エネルギーを最小にする因果的な平滑化フィルタ 岡部 靖憲 計数
伏木 忠義 神経発火の確からしさに関する統計的解析 合原 一幸 計数
藤田 悦央 内有毛細胞における確率共振 堀田 武彦 計数
増田 直紀 Cryptosystems with Discretized Chaotic Maps(離散化カオス写像を用いた暗号システム) 合原 一幸 計数
丸山 哲太郎 大域結合写像系におけるカオス的遍歴 堀田 武彦 計数
宮本 雅士 乗算剰余演算の高速アルゴリズムに関する研究 山本 博資 計数
森岡 幹夫 3次元形状モデルのデータ圧縮 杉原 厚吉 計数
春日 和之 階層構造による汎用的なテキストパターンの認識手法に関する研究 田中 英彦 情報
菅原 倫敬 動的環境下におけるCBRを用いた行動決定に関する研究 武市 正人 情報
舘野 啓 文脈情報を利用した同音異義語誤りの検出に関する研究 武市 正人 情報
page top

1998年度

氏名 題目 指導教員 専攻
小川 隆介 重み付き多数決ゲームにおける投票力指数の特性 松井 知己 計数
秋光 淳生 Hodgkin-Huxley方程式に従う神経細胞の入出力特性 堀田 武彦 計数
安藤 美孝 一定期間内の最低価格に基づくバリューアットリスクの評価 伏見 正則 計数
石坂 忠大 目標物探索問題における探索効率へのパラメータ推定の影響について 廣津 千尋 計数
伊藤 秀昭 ゴール指向性推論と融合した強化学習モデル 合原 一幸 計数
菅野 英介 対応点が事前に定義されているデータに基づく形状解析における位置不変推定量の頑健性 廣津 千尋 計数
来島 愛子 グラフィカルモデルによる因果関係の抽出について 駒木 文保
廣津 千尋
計数
小出 洋 ピリオドグラムの平滑化による時系列スペクトル推定法の研究 駒木 文保
廣津 千尋
計数
白浜 謙作 重点サンプリングによるATMのセル破棄率の推定 伏見 正則 計数
武井 亜起夫 保存系・非保存系に対する直接摂動法の適用 堀田 武彦 計数
西森 雅樹 因果解析を利用した共和分分析と誤差修正モデル 岡部 靖憲 計数
幡生 敦史 KM2O−ランジュヴァン方程式論におけるモデル選択 岡部 靖憲 計数
町田 欣史 Jacobi-Davidson法による大規模固有値問題の解法に関する研究 速水 謙 計数
本山 亮太 露天堀鉱山採掘問題の解法 松井 知己 計数
山口 直人 一般情報源に対するFV符号の符号語長分布の漸近特性に関する研究 山本 博資 計数
陸 衛強 ダイナミカルニューロンモデルから成る非線形ネットワークの性質について 合原 一幸 計数
高山 雅陽 コントラクトブリッジのビディングプログラムに関する研究 武市 正人 情報
小林 啓 準モンテカルロ法によるモーゲージ担保証券の価格付けおよびその誤差評価 伏見 正則 情報
篠埜 功 グラフアルゴリズムの構成的定義と変換に関する研究 武市 正人 情報
千代 英一郎 問題フレームに基づくオブジェクト指向分析手法に関する研究 武市 正人 情報
page top

1997年度

氏名 題目 指導教員 専攻
小北 英輝 ウイルス性慢性肝炎の数理モデル 合原 一幸 計数
青木 敏 独立な方向データ系列における位置母数変化の検出 宮川 雅巳 計数
青野 和彦 ファクター構造を用いた下方リスクモデル 松井 知己 計数
秋下 徹 マルチパーティプロトコロルの秘匿性に関する研究 山本 博資 計数
穴吹 まほろ Towards Modeling Emotions with Physiological Responses (生理的反応を用いた感情のモデル化に関する研究) 武市 正人 計数
蟻生 政秀 Detecting influential observations in canonical discriminant analysis (判別分析におけるサンプルの影響度解析) 廣津 千尋 計数
金丸 隆志 Hodgkin−Huxleyネットワークにおける確率共振 岡部 靖憲 計数
神田 毅 ボロノイ図あてはめ問題の解の評価法 杉原 厚吉 計数
佐藤 暁子 関数型言語による対話型アニメーションの記述に関する研究 武市 正人 計数
末谷 大道 大偏差理論によるオン・オフ間欠現象の特徴付け 廣津 千尋 計数
鈴木 秀幸 神経細胞出力スパイク列の決定論的解析 合原 一幸 計数
長楽 彰規 付値マトロイドにおける分数計画 松井 知己 計数
西村 剛史 文脈と再帰順位を用いたデータ圧縮に関する研究 山本 博資 計数
二宮 嘉行 正規確率場における正規信号の位置の信頼領域構成 廣津 千尋 計数
橋本 康 ロトカ・ボルテラ系におけるヘテロクリニックネットワーク 合原 一幸 計数
橋本 和歌子 スパイキングニューロンの動径基底関数的性質 合原 一幸 計数
深見 紀行 スムージング変換に強い画像著作権の保護技法 速水 謙 計数
福本 純一 地球規模の施設配置問題 杉原 厚吉 計数
舛本 現 格子上のじゃんけんモデル 岡部 靖憲 計数
松浦 真也 非定常な流れや退化した流れへのKM20−ランジュヴァン方程式論の拡張 岡部 靖憲 計数
宮本 裕一郎 チャンネル割当問題の解法 松井 知己 計数
渡辺 省吾 境界要素法を用いた3次元弾性体の解析 速水 謙 計数
和田 一成 曲がった時空のグラフィクス 杉原 厚吉 計数
片山 晋 オンライン強化学習における探索方法の研究 武市 正人 情報
二上 敦行 ネットワーク分散環境下の並列オブジェクト指向言語の性能評価 武市 正人 情報
牧野 堅一 関数プログラムの並列実行における粒度調節に関する研究 武市 正人 情報
page top

1996年度

氏名 題目 指導教員 専攻
河原 三紀郎 Motion Compensation Based on Reliable Cluster Matching (信頼度を考慮したクラスターマッチングによる動き補償) 有本 卓 計数
一上 響 ファイナンスにおける取引コストを考慮したリスク回避戦略 伏見 正則 計数
牛嶋 大 相関のある2値データに関する最適実験計画 廣津 千尋 計数
小川 朋宏 周期定常過程のウェーブレット解析 合原 一幸 計数
加賀谷 修 KM2O-Langevin方程式論による神経素子の非線形時系列解析 岡部 靖憲 計数
川田 創 Fourier-Mellin不変量を用いた画像マッチングの性能改善に関する研究 山本 博資 計数
小池 崇文 離散問題の並列アルゴリズムとその実装 速水 謙 計数
児島 洋一 独立な観測系列における母数変化の検出法 宮川 雅巳 計数
小林 直樹 境界要素法による脳内電流双極子の推定 速水 謙 計数
柴田 徹志 太陽発電衛星システムの環境負荷計算に関する研究 松岡 聡 計数
日吉 久礎 計算代数・計算幾何における近似計算の利用法 杉原 厚吉 計数
真柄 祐一 Research on the analysis of two-stage mixed-effects models through the estimating function approach (推定関数による2段階混合モデルの解析に関する研究) 廣津 千尋 計数
松浦 史郎 単純確率ゲームにおける最適戦略に関する研究 伏見 正則 計数
松本 信幸 ハプティックインターフェースの非線形制御に関する研究 有本 卓 計数
丸茂 幸平 市場の安定に関する数理工学的考察 松岡 聡 計数
光岡 円 二重使用を効率的に検出できる電子決済システム 山本 博資 計数
三ツ矢 浩之 高次分割表に対する対数線形モデリング 宮川 雅巳 計数
山田 和公 一般図形ボロノイ図の近似構成法とその応用 杉原 厚吉 計数
山根 敏志 KM2O-Langevin方程式論に基づくカオスの確率過程論 岡部 靖憲 計数
吉村 斉一郎 自然抗体産生のダイナミクスの数理モデル 合原 一幸 計数
高島 宏平 DEAによるインターネット・プロバイダーの評価と改善 伏見 正則 情報
村松 源太郎 ターボ符号を用いたARQ通信システムに関する研究 山本 博資 情報
page top
ISTyくん