数理情報学

博士論文リスト

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くん