| 氏名 |
題目 |
指導教員 |
専攻 |
| 有馬 直尭 | 多車線交通流のセルラーオートマトンモデルに関する研究 | 合原 一幸 | 数理情報学 |
| 大嶋 小次郎 | 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(結託耐性のあるプライバシー保護データマイニング) | 中川 裕志 | 数理情報学 |
| 米倉 一男 | 構造物の設計および解析に対する逐次錐計画法 | 寒野 善博 | 数理情報学 |
| 氏名 |
題目 |
指導教員 |
専攻 |
| 赤城 正典 |
調合計画の設計法に関する研究 |
駒木 文保 |
数理 |
| 垣村 尚徳 |
Combinatorial Matrix Analysis by Sign Patterns（符号情報による行列の組合せ的解析） |
岩田 覚 |
数理 |
| 川崎 英樹 |
プロスペクト理論による消費決定モデル |
岡部 靖憲 |
数理 |
| 小市 俊悟 |
分子構造符号化法の開発 |
岩田 覚 |
数理 |
| 小林 大祐 |
盗聴者に対して情報量的に安全な符号化に関する研究 |
山本 博資 |
数理 |
| 酒井 完 |
並列マシーンのスケジューリング問題に対する近似解法の効率化 |
松井 知己 |
数理 |
| 佐藤 洋平 |
PCへの入力手段としての実時間ジェスチャ認識 |
杉原 厚吉 |
数理 |
| ジェンナワシン タナゴーン |
A sum-of-squares approach to robust semidefinite programming（ロバスト半正定値計画法のための二乗和を使ったアプローチ） |
大石 泰章 |
数理 |
| 白石 友一 |
イジングモデルにおけるギブスサンプリングの収束時間の解析 |
竹村 彰通 |
数理 |
| 橋 尚太郎 |
独立変数が多い回帰分析のベイズ法による変数選択 |
竹村 彰通 |
数理 |
| 調所 廣明 |
並列スケルトンを用いたXPATHクエリの並列化 |
武市 正人 |
数理 |
| 永野 清仁 |
劣モジュラ多面体上の最適化アルゴリズムの研究 |
松井 知己 |
数理 |
| 橋本 智央 |
リップリング法によるアルゴリズムの並列化 |
胡 振江 |
数理 |
| 花房 伸広 |
二値ノイズを適用した確率共振モデル |
堀田 武彦 |
数理 |
| 平井 洋一 |
チャートにおけるパターン記述言語とその効率的な実装 |
胡 振江 |
数理 |
| 平山 悠 |
ハールウェーブレットによる非線形情報空間の生成系と時系列解析 |
岡部 靖憲 |
数理 |
| 本田 晋太郎 |
相関のある信用リスクの評価に関する研究 |
藤井 眞理子 |
数理 |
| 本田 司 |
FV符号木の同期系列に関する研究 |
山本 博資 |
数理 |
| 前田 恵一 |
ＥＭアルゴリズムを用いたゲノム配列の特徴量抽出 |
駒木 文保 |
数理 |
| 森口 昌樹 |
Isotropic and Feature-Preserving Mesh Simplification Based on Constrained Centroidal Voronoi Diagrams（制約付き重心ボロノイ図を用いた等方的で特徴を保存するメッシュ簡略化法） |
杉原 厚吉 |
数理 |
| 矢吹 光佑 |
２次体上の素数の分布と掘割問題 |
大石 泰章 |
数理 |
| 綿貫 誠司 |
リミットオーダーマーケットにおけるトレーダーの行動 |
堀田 武彦 |
数理 |
| 氏名 |
題目 |
指導教員 |
専攻 |
| 伊藤 徳史 |
GMRES法の線形最小二乗問題への適用
| 杉原 厚吉 |
数理 |
| 稲垣 登志人 |
ファイルの複写・転送に伴う費用の分担法 |
松井 知己 |
数理 |
| 大石 大輔 |
STAGEアルゴリズムによる組合せ最適化問題の近似解法に関する研究 |
合原 一幸 |
数理 |
| 大槻 久 |
Evolution of stochastic strategies in indirect reciprocity and the role of punishment（間接的互恵主義における確率的戦略の進化および懲罰の役割） |
合原 一幸 |
数理 |
| 大戸 隆広 |
グラフ実現問題のアルゴリズムとデータ構造 |
岩田 覚 |
数理 |
| 甲斐 友哲 |
漢字の形状的特徴と単語の頻度情報を用いた熟語の確定能力 |
武市 正人 |
数理 |
| 紅林 孝彰 |
株式収益率の分布およびその取引量との関係に関する計量分析 |
藤井 眞理子 |
数理 |
| 齊藤 廣大 |
ハブ空港配置問題の多面体的考察 |
松井 知己 |
数理 |
| 坂井 秀行 |
木構造を用いたグループ鍵管理方式の理論解析
| 山本 博資 |
数理 |
| 佐藤 勇紀 |
組み込み機器におけるJavaバイトコードの圧縮 |
胡 振江 |
数理 |
| 鈴木 立史 |
天候デリバティブにおけるヘッジポートフォリオと同値マーチンゲール測度 |
岡部 靖憲 |
数理 |
| 瀧澤 和憲 |
供給点配置問題に対する主双対近似解法 |
岩田 覚 |
数理 |
| 田中 研太郎 |
混合分布モデルにおける一致推定量の構成 |
駒木 文保 |
数理 |
| 疋田 敏朗 |
PPM法と品詞情報を用いた予測変換手法 |
武市 正人 |
数理 |
| 久富 稔 |
２段階式進化的マイノリティゲーム |
堀田 武彦 |
数理 |
| 藤澤 一郎 |
平均場近似による空間モデルの統計的推測 |
駒木 文保 |
数理 |
| 松崎 公紀 |
Parallelization with Tree Skeletons and its Implementation on Distributed Systems（木に対するスケルトンを用いた並列化とその分散システム上での実現に関する研究） |
胡 振江 |
数理 |
| 山岡 裕司 |
モデル検査技術を利用したプログラム解析の自動生成 |
武市 正人 |
数理 |
| 山村 聡 |
SNR推定値を用いたターボ符号自動再送要求システム |
山本 博資 |
数理 |
| 横井 宏紀 |
領域構造に基づいた画像情報処理系の構築 |
杉原 厚吉 |
数理 |
| 横山 哲郎 |
Functional Meta-programming for Program Calculation（プログラム運算のための関数メタプログラミング） |
武市 正人 |
数理 |
| 森部 大輔 |
離散時間株価過程におけるリスク最小ポートフォリオ |
堀田 武彦 |
数理 |
| 氏名 |
題目 |
指導教員 |
専攻 |
| 高村 大也 |
構文情報の定量化とそれを用いた言語比較 |
杉原 厚吉 |
計数 |
| 竹内 統 |
コンピュータ・グラフィクスのための布のシミュレーション |
速水 謙 |
計数 |
| 赤崎 洋子 |
一般化ネットワーク流問題を解くアルゴリズムの提案 |
松井 知己 |
計数 |
| 岩本 俊弘 |
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（離散化カオス写像を用いた暗号システム） |
合原 一幸 |
計数 |
| 丸山 哲太郎 |
大域結合写像系におけるカオス的遍歴 |
堀田 武彦 |
計数 |
| 宮本 雅士 |
乗算剰余演算の高速アルゴリズムに関する研究 |
山本 博資 |
計数 |
| 森岡 幹夫 |
３次元形状モデルのデータ圧縮 |
杉原 厚吉 |
計数 |
| 春日 和之 |
階層構造による汎用的なテキストパターンの認識手法に関する研究 |
田中 英彦 |
情報 |
| 菅原 倫敬 |
動的環境下におけるＣＢＲを用いた行動決定に関する研究 |
武市 正人 |
情報 |
| 舘野 啓 |
文脈情報を利用した同音異義語誤りの検出に関する研究 |
武市 正人 |
情報 |
| 氏名 |
題目 |
指導教員 |
専攻 |
| 小川 隆介 |
重み付き多数決ゲームにおける投票力指数の特性 |
松井 知己 |
計数 |
| 秋光 淳生 |
Hodgkin-Huxley方程式に従う神経細胞の入出力特性 |
堀田 武彦 |
計数 |
| 安藤 美孝 |
一定期間内の最低価格に基づくバリューアットリスクの評価 |
伏見 正則 |
計数 |
| 石坂 忠大 |
目標物探索問題における探索効率へのパラメータ推定の影響について |
廣津 千尋 |
計数 |
| 伊藤 秀昭 |
ゴール指向性推論と融合した強化学習モデル |
合原 一幸 |
計数 |
| 菅野 英介 |
対応点が事前に定義されているデータに基づく形状解析における位置不変推定量の頑健性 |
廣津 千尋 |
計数 |
| 来島 愛子 |
グラフィカルモデルによる因果関係の抽出について |
駒木 文保
廣津 千尋 |
計数 |
| 小出 洋 |
ピリオドグラムの平滑化による時系列スペクトル推定法の研究 |
駒木 文保
廣津 千尋 |
計数 |
| 白浜 謙作 |
重点サンプリングによるＡＴＭのセル破棄率の推定 |
伏見 正則 |
計数 |
| 武井 亜起夫 |
保存系・非保存系に対する直接摂動法の適用 |
堀田 武彦 |
計数 |
| 西森 雅樹 |
因果解析を利用した共和分分析と誤差修正モデル |
岡部 靖憲 |
計数 |
| 幡生 敦史 |
KM2O−ランジュヴァン方程式論におけるモデル選択 |
岡部 靖憲 |
計数 |
| 町田 欣史 |
Jacobi-Davidson法による大規模固有値問題の解法に関する研究 |
速水 謙 |
計数 |
| 本山 亮太 |
露天堀鉱山採掘問題の解法 |
松井 知己 |
計数 |
| 山口 直人 |
一般情報源に対するＦＶ符号の符号語長分布の漸近特性に関する研究 |
山本 博資 |
計数 |
| 陸 衛強 |
ダイナミカルニューロンモデルから成る非線形ネットワークの性質について |
合原 一幸 |
計数 |
| 高山 雅陽 |
コントラクトブリッジのビディングプログラムに関する研究 |
武市 正人 |
情報 |
| 小林 啓 |
準モンテカルロ法によるモーゲージ担保証券の価格付けおよびその誤差評価 |
伏見 正則 |
情報 |
| 篠埜 功 |
グラフアルゴリズムの構成的定義と変換に関する研究 |
武市 正人 |
情報 |
| 千代 英一郎 |
問題フレームに基づくオブジェクト指向分析手法に関する研究 |
武市 正人 |
情報 |
