東京大学バナー(中) 東大 アラムナイ 寄付のご案内
| ENGLISH | サイトマップ |
東京大学 大学院 情報理工学系研究科
交通アクセス・学内地図
訪問者別ご案内
受験・進学希望の方
留学生の方
(For International Students)
企業・一般の方
修了者の方
高校生の方
高校教員の方
大学生の方
教育と研究
研究科案内
各専攻・教員の紹介
 
コンピュータ科学
  数理情報学
  システム情報学
  電子情報学
  知能機械情報学
  創造情報学
フォーカス(2006〜2016)
ソーシャルICT研究センター
情報理工学国際センター
受賞
ソーシャルICTグローバル・クリエイティブリーダー育成プログラム
グローバル・クリエイティブリーダー 講義
enPiT
データサイエンティスト養成講座(領域知識創成教育研究プログラム)
計算科学アライアンス
創造情報学連携講座
産学連携(R2P/IST等)
情報理工関係イベント
国際交流
(International Cooperation)
他プログラム
科学研究ガイドライン
情報倫理ガイドライン
入学・進学案内 new !
学生支援制度
履修・学籍・諸手続案内
科目等履修生案内
東京大学学務システム(UTAS)
工学・情報理工学図書館
公募情報
ポータルサイト (内部のみ)
ISTクラウド (内部のみ)
研究倫理審査・広報 (内部のみ)
緊急連絡
緊急連絡ページ
関連学部
工学部
理学部
Home > 教育と研究 > 研究科案内 > 専攻と講義科目 > 数理情報学
教育と研究

数理情報学 movie
専攻の目的Department Objective教員と研究室Faculty and Labs講義
学位論文(修士) | 学位論文(博士) | 入試案内Admissionsお知らせ
Technical Reports計数工学科数理情報工学コース

学位論文 博士 (修了年度別)

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(準同形に基づいた構造化並列プログラミングに関する研究)武市 正人数理情報学専攻
page top

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(運算手法によるアルゴリズムの自動構成に関する研究)武市 正人数理
page top

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 (選好依存文法:多層の選好/制約知識を統合した文解析方式) 中川 裕志 数理
page top

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-ランジュヴァン方程式論に基づく非線形時系列解析について 杉原 正顯 数理
page top

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(プログラム変換のための決定性高階マッチングに関する研究) 武市 正人 数理
論文博士 岡野 大 代用電荷法に関する研究 杉原 正顯 数理
論文博士 宮本 裕一郎 多重彩色問題とチャネル割当問題の近似解法 松井 知己 数理
page top

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下川 英敏 多元情報源符号化における信頼性関数の解析 合原 一幸 数理
page top

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 (正確法およびマルコフ連鎖・モンテカルロ法による分割表の条件付推測問題の解法) 竹村 彰通 数理
page top

2002

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

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 (最大マーク付け問題の効率的解法の自動生成) 武市 正人 情報
page top

2000

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

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 中村 勝洋 整数剰余環上の誤り訂正符号とそのデジタル通信系への応用に関する研究 山本 博資 計数
page top

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有村 光晴 ブロックソートデータ圧縮法に関する情報理論的研究 山本 博資 情報
page top

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磯崎 秀樹 マルチエージェント環境における他者の信念の推定に関する研究 武市 正人 情報
page top

1996

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

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 竹内 郁雄 パラダイム融合言語の研究 武市 正人 情報
page top

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 山本 修身 多項式の零点不在領域とその数式処理への応用に関する研究 杉原 厚吉 計数
page top

1993

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


大学院 情報理工学系研究科 お問い合せ先 東京大学