数理情報学

博士論文リスト

2013年度以降

東京大学学術機関リポジトリ(UTokyo Repository)へのリンク

2012年度以前

2012年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 2012/9/27 テームサイトン ティーラシット A Neural Field Model at Criticality (臨界点における神経場モデル) 合原 一幸 数理情報学専攻
課程博士 2012/9/27 前原 貴憲 数値的手法による代数的対称性をもつ行列の分解法に関する研究 (A Numerical Method for Simultaneous Decomposition of Matrices with Algebraic Symmetry) 室田 一雄 数理情報学専攻
課程博士 2013/3/25 徳田 慶太 A Study on Functional Roles and Mathematical Structure of Switching of Hippocampal Local Field Potentials between Distinctive Dynamical States (海馬局所場電位の異なる動的状態間切り替えの機能的役割と数理構造に関する研究) 合原 一幸 数理情報学専攻
課程博士 2013/3/25 大槻 知史 Variable Depth Local Search for Multiple Depot Vehicle Scheduling Problems (複数デポ運搬車スケジューリング問題に対する可変深度局所探索法) 合原 一幸 数理情報学専攻
課程博士 2013/3/25 高口 太朗 Mining Temporal Patterns of Communication Behavior in Social Networks (社会ネットワークにおけるコミュニケーション行動の時間的パターンの解析) 増田 直紀 数理情報学専攻
課程博士 2013/3/25 中村 光宏 Indirect Reciprocity under Imperfect Reputation Sharing (不完全な評判共有のもとでの間接互恵性) 増田 直紀 数理情報学専攻
課程博士 2013/3/25 松島 慎 A Study on Efficient Algorithms for Machine Learning from Large-scale Data (大規模データからの機械学習のための効率的なアルゴリズムに関する研究) 中川 裕志 数理情報学専攻
課程博士 2013/3/25 森野 佳生 A Mathematical Approach to Treating Diseases (疾患の治療への数理的アプローチ) 合原 一幸 数理情報学専攻
課程博士 2013/3/25 楊 斌 Encryption-based Privacy Preserving Data Mining ― Collusion Resistant Protocol and Clustering on Secure Networks (暗号化に基づくプライバシー保護データマイニング ―結託耐性プロトコルとセキュアネットワーク上のクラスタリング) 中川 裕志 数理情報学専攻

2011年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 2011/9/27 奥 牧人 Mathematical Modeling of Meso-Scale Nonlinear Dynamics in the Brain (脳におけるメゾスケール非線形ダイナミクスの数理モデル化) 合原 一幸 数理情報学専攻
課程博士 2011/9/27 澤井 賢一 Mathematical Analysis by Probabilistic Modeling for Interpreting Music (音楽の解釈に対する確率モデルを用いた数理的解析) 合原 一幸 数理情報学専攻
課程博士 2012/3/22 廣瀬 善大 Dimension Reduction Based on the Geometry of Dually Flat Spaces (双対平坦空間の幾何学に基づいた次元削減) 駒木 文保 数理情報学専攻
課程博士 2012/3/22 今井 千尋 Modeling neural dynamics of adaptive color information processing (適応的色情報処理の神経ダイナミクスのモデル化) 鈴木 秀幸 数理情報学専攻
課程博士 2012/3/22 レモ サンドロ ストルニ Noise-Assisted Computation with Logical Stochastic Resonance (論理的確率共振を用いた雑音緩用計算) 合原 一幸 数理情報学専攻
課程博士 2012/3/22 曹 崀 Spreading Dynamics on Complex Networks (複雑ネットワークにおける伝播ダイナミクス) 合原 一幸 数理情報学専攻

2010年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 2011/3/24 城 真範 A Study on Sounds of Musical Instruments as Deterministic Chaos(決定論的カオスとしての楽器音の研究) 合原 一幸 数理情報学専攻
課程博士 2011/3/24 相島 健助 行列の特異値および固有値の数値計算アルゴリズムの基礎研究 杉原 正顯 数理情報学専攻
課程博士 2011/3/24 岩山 幸治 Nonlinear Time Series Analysis with Recurrence Plots and Its Application to MEG Signals (リカレンスプロットを用いた非線形時系列解析とそのMEG計測信号への応用) 鈴木 秀幸 数理情報学専攻
課程博士 2011/3/24 柿原 聡 Computational Complexities of Interior-Point Methods in Symmetric Cone Programs and Their Information Geometric Analyses (対称錐計画問題に対する内点法の計算複雑度と 情報幾何学的解析) 杉原 正顯 数理情報学専攻
課程博士 2011/3/24 佐藤 一誠 Quantum Annealing in Statistical Machine Learning (統計的機械学習における量子アニーリング) 中川 裕志 数理情報学専攻
課程博士 2011/3/24 田代 雄介 双対アプローチを中心としたスウィング・オプションの価格評価法 室田 一雄 数理情報学専攻
課程博士 2011/3/24 西川 功 Finite Size Effects on Phase Synchronization (位相同期現象に対する有限サイズ効果) 合原 一幸 数理情報学専攻
課程博士 2011/3/24 山中 卓 イベント発生強度に基づくポートフォリオの信用リスク評価モデル 杉原 正顯 数理情報学専攻

2009年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 2009/9/28 熊 英飛 A Language-based Approach to Model Synchronization in Software Engineering (ソフトウェア工学におけるモデル同期に関する言語論的研究) 武市 正人 数理情報学専攻
課程博士 2009/9/28 渡辺 啓生 A Study on Effects of Direct Inter-pyramidal Inhibition on Neural Network Dynamics(錐体ニューロン間の直接抑制がニューラルネットワークダイナミクスに与える影響に関する研究) 合原 一幸 数理情報学専攻
課程博士 2010/3/24 在塚 ハル A Study on a Method of Presenting Information with Relative Values toward Improving Motivation in a Learning Environment(教育環境におけるモティベーション向上のための相対的価値を利用した情報呈示方法に関する研究) 合原 一幸 数理情報学専攻
課程博士 2010/3/24 岡山 友昭 第二種積分方程式に対するSinc数値計算法 松尾 宇泰 数理情報学専攻
課程博士 2010/3/24 小林 佑輔 Algorithms for Finding Disjoint Paths: Acceleration and Extension(点素パス問題に対する算法:高速化と拡張) 室田 一雄 数理情報学専攻
課程博士 2010/3/24 髙澤 兼二郎 Combinatorial Algorithms for Generalized Matching Problems(マッチング問題の一般化に対する組合せ的アルゴリズム) 室田 一雄 数理情報学専攻
課程博士 2010/3/24 髙松 瑞代 Optimal Modeling for Circuit Simulation: Applications of Matroid Theory(回路シミュレーションにおける最適モデリング:マトロイド理論の応用) 室田 一雄 数理情報学専攻
論文博士 2009/9/17 谷口 隆晴 発展型偏微分方程式に対する差分法の基礎研究 杉原 正顯 数理情報学専攻
論文博士 2009/10/15 江本 健斗 Homomorphism-based Structured Parallel Programming(準同形に基づいた構造化並列プログラミングに関する研究) 武市 正人 数理情報学専攻

2008年度

種別 学位授与 氏名 題目 指導教員 専攻
論文博士 9/18 田中 研太郎 Strong consistency of maximum likelihood type estimators for finitemixture models
(有限混合分布モデルに対する最尤型推定量の強一致性)
竹村 彰通 数理
課程博士 2009/03/23 小野 真吾 Web上の文書における名前の持つ曖昧性解消に関する研究 中川 裕志 数理
課程博士 2009/03/23 鈴木 大慈 Theory of Information Integration in Statistical Learning(統計的学習における情報統合の理論) 駒木 文保 数理
課程博士 2009/03/23 原田 邦彦 安全な線形ネットワーク符号化 山本 博資 数理
課程博士 2009/03/23 范 宏 Topology Dynamics and Collective Fluctuation Behavior in Complex Networks with Preferential Linking(優先的リンキングを有する複雑ネットワークにおけるトポロジーダイナミクスと協同的揺動挙動) 合原 一幸 数理
課程博士 2009/03/23 松田 一孝 補関数によるプログラムの双方向化に関する研究 武市 正人・胡 振江 数理
課程博士 2009/03/23 森畑 明昌 A Calculational Approach to Automatic Algorithm Construction(運算手法によるアルゴリズムの自動構成に関する研究) 武市 正人 数理

2007年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 9/30 今 基織 AStudy of Human-State Estimation with Cross-Modal Sensors(クロスモーダルセンサーを用いた人の状態推定に関する研究) 合原 一幸 数理
課程博士 3/24 大竹 洋平 社会関係における意思決定と集団行動の数理的研究 合原 一幸 数理
課程博士 3/24 垣村 尚徳 Sign-Solvability in Mathematical Programming(数理計画法における符号可解性) 室田 一雄 数理
課程博士 3/24 小市 俊悟 Polyhedral Realizations of Finite Distance Spaces and Applications to Directed Multiflow Problems(有限距離空間の多面体的実現と有向多品種流問題への応用) 室田 一雄 数理
課程博士 3/24 JENNAWASIN TANAGORN A Region-Dividing Approach to Robust Semidefinite Programs and Nonlinear Control Design(ロバスト半正定値計画および非線形制御系設計のための領域分割型アプローチ) 杉原 正顯 数理
課程博士 3/24 冨岡 亮太 Supervised Learning over Matrices with Dual Spectral Regularization and Its Application to Single Trial EEG Classification(双対スペクトル正則化を用いた行列上の教師あり学習とその単一試行EEG判別への応用) 合原 一幸 数理
課程博士 3/24 永野 清仁 Combinatorial Algorithms for Continuous Optimization with Submodular Structure(劣モジュラ構造を有する連続最適化問題の組合せ的アルゴリズム) 室田 一雄 数理
課程博士 3/24 藤原 寛太郎 Theory and Application in Point Process Analysis of Neural Spike Trains(神経スパイク時系列の点過程解析における理論と応用) 合原 一幸 数理
課程博士 3/24 GUTMANN URS MICHAEL Learning Rules for Data Representation with Dynamical Neural Systems(動的ニューラルシステムによるデータ表現のための学習法則) 合原 一幸 数理
課程博士 3/24 森口 昌樹 Optimal Clustering on Surface Meshes and Its Topology Preservation(表面メッシュ上での最適クラスタリングとその位相保存) 杉原 厚吉 数理
論文博士 9/19 松崎 公紀 Parallel Programming with Tree Skeletons(並列木スケルトンによる並列プログラミングの理論と実現に関する研究) 胡 振江 数理
論文博士 2/7 平川 秀樹 Preference Dependency Grammar (PDG): Sentence Analysis Method Based on Integrated Multilevel Preference and Constraint (選好依存文法:多層の選好/制約知識を統合した文解析方式) 中川 裕志 数理

2006年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 3/22 安東 弘泰 A Study of Feedback Adjustment Control in Low-Dimensional Nonlinear Systems(低次元非線形システムにおけるフィードバック調節型制御に関する研究) 合原 一幸 数理
課程博士 3/22 川原田 寛 形状設計のための細分割曲面の解析と拡張 杉原 厚吉 数理
課程博士 3/22 来嶋 秀治 マルコフ連鎖モンテカルロ法における近似精度保証と完璧サンプリング法 杉原 厚吉 数理
課程博士 3/22 田中 健一郎 解析関数に対する関数近似と数値積分の研究 室田 一雄 数理
課程博士 3/22 田中 冬彦 Geometrical Approach to Classical and Quantum Bayesian Prediction(古典および量子ベイズ予測への幾何学的アプローチ) 竹村 彰通 数理
課程博士 3/22 藤井 毅朗 KM2O-ランジュヴァン方程式論に基づく非線形時系列解析について 杉原 正顯 数理

2005年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 3/23 齊藤 廣大 非線形整数計画問題に対する高次元構造に基づく解法 室田 一雄 数理
課程博士 3/23 鈴木健二郎 On a non-linear risk analysis based on the theory of KM2O-Langevin equations(KM2O-ランジュヴァン方程式論に基づく非線形リスク解析について) 岡部 靖憲 数理
課程博士 3/23 横山 哲郎 Deterministic Higher-order Matching for Program Transformation(プログラム変換のための決定性高階マッチングに関する研究) 武市 正人 数理
論文博士 岡野 大 代用電荷法に関する研究 杉原 正顯 数理
論文博士 宮本 裕一郎 多重彩色問題とチャネル割当問題の近似解法 松井 知己 数理

2004年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 9/30 室谷 浩平 3次元形状モデルのスペクトル分解とその応用 杉原 厚吉 数理
課程博士 3/24 小林 景 Bayesian theory for kernel machines and network models.(カーネルマシン及びネットワークモデルのベイズ理論) 駒木 文保 数理
課程博士 3/24 清 智也 Asymptotic properties of estimators and information criteria for random fields.(確率場に対する推定量および情報量規準の漸近的性質) 駒木 文保 数理
論文博士 9/16 下川 英敏 多元情報源符号化における信頼性関数の解析 合原 一幸 数理

2003年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 3/25 岩本 貢 General Construction Methods of Secret Sharing Schemes and Visual Secret Sharing Schemes (秘密分散法および視覚復号型秘密分散法の一般的構成法) 山本 博資 数理
課程博士 3/25 宮代 降平 対戦日程計画に関する多項式時間解法の研究 松井 知己 数理
論文博士 2/27 青木 敏 Exact methods and Markov chain Monte Carlo methods of conditional inference for contingency tables (正確法およびマルコフ連鎖・モンテカルロ法による分割表の条件付推測問題の解法) 竹村 彰通 数理

2002年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 3/28 岩本 俊弘 Separation of Superimposed Dynamical Signals with Temporal Structures (重畳動的信号の時間構造を用いた分離) 村重 淳
合原 一幸
計数
課程博士 3/28 伏木 忠義 アンサンブル学習とベイズ法の予測性能の解析 合原 一幸
駒木 文保
計数

2001年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 3/29 神田 毅 ボロノイ図の構成法と利用法に関する研究 杉原 厚吉 計数
課程博士 3/29 伊藤 秀昭 A reinforcement learning model of the basal ganglia system -towards realization of higher brain functions- (大脳基底核の強化学習モデル−高次脳機能の実現に向けて−) 合原 一幸 計数
課程博士 3/29 篠埜 功 Generation of Efficient Algorithms for Maximum Marking Problems (最大マーク付け問題の効率的解法の自動生成) 武市 正人 情報

2000年度

種別 学位授与 氏名 題目 指導教員 専攻
論文博士 1/18 國廣 昇 Security and Efficiency Analyses of Public Key Cryptosystems(公開鍵暗号の安全性解析と高速化手法) 山本 博資 計数
論文博士 3/15 赤穂 昭太郎 有限混合分布モデルの学習に関する研究 駒木 文保 計数

1999年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 3/29 日吉 久礎 Study on Interpolation Based on Voronoi Diagrams(ボロノイ図を用いた補間法に関する研究) 杉原 厚吉 計数
課程博士 3/29 真柄 祐一 3つのカテゴリからなる過大分散のあるデータの分析と環境リスクアセスメントへの応用 廣津 千尋 計数
課程博士 3/29 山根 敏志 Non-linear stochastic modelling for deterministic systems(決定系に対する非線形確率モデル) 岡部 靖憲 計数
課程博士 9/29 松浦 真也 退化した流れに対するKM2O-ランジュヴァン方程式論 岡部 靖憲 計数
論文博士 3/16 松本 眞 Random number generators by M-sequences with high-dimensionalequidistribution property,and their dynamic creation(M系列を用いた高次元均等分布性を持つ乱数の発生法とその動的 生成) 伏見 正則 計数
論文博士 3/16 小林 光夫 絵画における色彩美の数理的分析の研究 伏見 正則 計数
論文博士 4/13 小野田 崇 ニューラルネットワークの学習とパラメータのゆらぎに関する研究 合原 一幸 計数
論文博士 4/13 徳田 功 Application of Chaotic Dynamics to Neural InformationProcessing(カオス的ダイナミクスのニューラル情報処理への応用) 合原 一幸 計数
論文博士 6/15 中村 勝洋 整数剰余環上の誤り訂正符号とそのデジタル通信系への応用に関する研究 山本 博資 計数

1998年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 3/29 清水 郁子 距離画像の位置合わせに関する研究 杉原 厚吉 計数
課程博士 3/29 作村 勇一 Roles of Neuronal Active Properties in a Single Neuronal Information Processing(単一ニューロンの情報処理における神経膜能動特性の役割に関する 研究) 合原 一幸 計数
課程博士 3/29 荒木 修 Dynamical Neural Network Models for Hippocampal Memory(海馬記憶の動的神経回路網モデル) 合原 一幸 計数
課程博士 3/29 原 尚幸 Estimation of Covariance Matrix and Mean Squared Error forShrinkage Estimators in Multivariate Normal Distribution(多変量正規分布における分散共分散行列及び縮小推定量の 平均二乗誤差の推定) 廣津 千尋 計数
論文博士 10/21 諸星 穂積 擬似乱数の生成法と準乱数による数値積分の誤差推定の研究 伏見 正則 計数
課程博士 3/29 有村 光晴 ブロックソートデータ圧縮法に関する情報理論的研究 山本 博資 情報

1997年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 9/17 庄 健 ニューラルネットワークにおけるパターン系列の符号化、自己組織及び連想記憶 合原 一幸 計数
論文博士 3/16 太田 直哉 信頼性情報を伴ったオプティカルフロー検出・解析技術の研究 杉原 厚吉 計数
論文博士 4/16 有馬 裕 学習機能を搭載した連想記憶アナログニューラルネットワークLSIに関する研究 合原 一幸 計数
論文博士 5/21 渡辺 正浩 A Study on Efficient Range Sensing with the Depth-from-DefocusMethod(デプス・フロム・デフォーカス法を用いた高効率レンジセンシングに関する研究) 杉原 厚吉 計数
論文博士 11/12 塩田 茂雄 Performance Analysis and Traffic Controls in ATM Networks-Modeling Free Approach(ATM網における性能評価法とトラヒック制御−モデル化に よらないアプローチ) 伏見 正則 計数
課程博士 3/16 石井 裕一郎 擬データを用いた対話的関数プログラミングに関する研究 武市 正人 情報
課程博士 3/16 徐 良為 Relational Semantics of Nondeterministic Programs(関係代数による非決定的プログラムの意味定義に関する研究) 武市 正人 情報
論文博士 10/8 磯崎 秀樹 マルチエージェント環境における他者の信念の推定に関する研究 武市 正人 情報

1996年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 9/30 李 明哲 都市高層ビルの内部交通解析に関する研究 伏見 正則 計数
論文博士 1/30 湯浅 哲也 機能CTイメージング・システムに関する研究 有本 卓 計数
論文博士 1/30 亀山 博史 光学式手書き文字認識の実用化に関する研究 有本 卓 計数
論文博士 3/17 梁 舜龍 建設機械の自動化のためのストローク検出シリンダの開発に関する研究 有本 卓 計数
論文博士 3/17 川口 圭史 ガス管内走行ロボットに関する研究 有本 卓 計数
論文博士 3/17 石井 信 Nonlinear dynamical systems for information processing (非線形力学系による情報処理) 合原 一幸 計数
課程博士 3/28 田中 久美子 自然言語の表層処理に基づく多義性解消に関する研究 武市 正人 情報
論文博士 4/17 久保田 稔 交換プログラムの記述の高度化とその制御方式の研究 武市 正人 情報

1995年度

種別 学位授与 氏名 題目 指導教員 専攻
論文博士 2/8 竹内 純一 確率的知識表現の計算論的学習理論 甘利 俊一 計数
論文博士 2/8 杉本 晃宏 Algebraic Analysis of Some Geometrical Factors in ObjectRecognition (物体認識における幾何学的要因の代数的解析) 甘利 俊一 計数
論文博士 2/8 稲垣 宏 数値的に安定な3次元Voronoi図構成算法とその応用 杉原 厚吉 計数
論文博士 4/17 斉藤 康己 囲碁の認知科学的研究 甘利 俊一 計数
論文博士 9/19 今井 敏行 有限の計算精度のもとでの幾何的アルゴリズムの研究 杉原 厚吉 計数
論文博士 11/14 遠藤 利生 オプティカルフローに基づく3次元情報算出 杉原 厚吉 計数
論文博士 12/13 河田 耕三 ウエーブレット相関に基づく画像解析 有本 卓 計数
課程博士 9/30 胡 振江 A Calculational Approach to Optimizing Functional Programs(構成的手法による関数プログラムの最適化) 武市 正人 情報
論文博士 12/13 竹内 郁雄 パラダイム融合言語の研究 武市 正人 情報

1994年度

種別 学位授与 氏名 題目 指導教員 専攻
課程博士 3/29 古賀 弘樹 A Study of Source Coding Algorithms with Fidelity Criterion(忠実度規範つき情報源符号化アルゴリズムに関する研究) 有本 卓 計数
課程博士 3/29 パーラヴェガ・
ヴィセンテ
Adaptive Sliding Mode Control for Robot Manipulators(ロボットマニピュレータの適応スライディングモード制御) 有本 卓 計数
課程博士 3/29 川鍋 元明 推定関数の幾何学とその応用 甘利 俊一 計数
論文博士 2/9 藤原 彰夫 A Geometrical Study in Quantum Information Systems(量子情報系の幾何学的研究) 甘利 俊一 計数
論文博士 2/9 浪花 智英 幾何学的な拘束を受けるマニピュレータの学習制御と適応制御 有本 卓 計数
論文博士 3/16 小林 健三 工業プラントにおける知的制御の実用化に関する研究 森下 巌 計数
論文博士 4/14 永松 礼夫 細粒度高並列応用プログラムの実行機構に関する研究 森下 巌 計数
論文博士 10/12 浅井 潔 確率モデルによる遺伝子情報処理の研究 甘利 俊一 計数
論文博士 12/15 山本 修身 多項式の零点不在領域とその数式処理への応用に関する研究 杉原 厚吉 計数

1993年度

種別 学位授与 氏名 題目 指導教員 専攻
論文博士 11/10 金子 敬一 Improvement of Functional Programs by Fully Lazy Evaluation(完全遅延評価による関数プログラムの改善に関する研究) 伏見 正則 情報
ISTyくん