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

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

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

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


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