| 題目 |
指導教員(主査) |
| SPH法を用いた固液相シミュレーション |
伊藤 公久 |
| 濡れ性の異なる粒子の水浴への侵入挙動のモデル化 |
伊藤 公久 |
| 熱力学的に厳密な凝固のシミュレーションモデル |
伊藤 公久 |
| 巡回置換から生成された一般化されたトゥエモース数列の周期性の考察 |
上野 喜三雄 |
| 有限整アテール環上の上半連続関数 |
上野 喜三雄 |
| Forcing without Coantable Tronsitire Model |
江田 勝哉 |
| krawczyk作用素を用いた半線形偏微分方程式の解に対する数値検証法の確立 |
大石 進一 |
| Newton-kantorovichの定理を用いた偏微分方程式の精度保証付き数値計算法に対する考察 |
大石 進一 |
| Riccati方程式の解に対する精度保証付き数値計算 |
大石 進一 |
| Sobolev不等式の最良定数を用いた精度保証付き評価 |
大石 進一 |
| 悪条件連立一次方程式の精度保証付き数値計算法 |
大石 進一 |
| 高速・高精度・高可搬な区間積計算法の実装 |
大石 進一 |
| 倍精度演算を用いた精度保証付き四倍精度指数関数／双曲線関数計算法の構築 |
大石 進一 |
| 半群理論を用いた非斉次熱方程式の全離散近似解に対する事前誤差評価 |
大石 進一 |
| 半線形楕円型偏微分方程式の解に対する計算機援用証明Toolboxの開発 |
大石 進一 |
| A new way to examine ideal class groups of imaginary quadratic fields |
尾崎 学 |
| unmixedな2部グラフのトーリックイデアルの特徴 |
楫 元 |
| グレブナー基底系の有用性とグレブナー基底との比較 |
楫 元 |
| 合成多項式たちの終結式の鎖律における計算効率と幾何学的意味 |
楫 元 |
| 超立方体回転群により不変な部分環を生成する斉次多項式 |
楫 元 |
| Affine Arithmeticにおけるダミー変数の削減 |
柏木 雅英 |
| Intel AVXを用いた精度保証付き数値演算の高速化の研究 |
柏木 雅英 |
| Pythonによる全解探索Webインターフェースの実装 |
柏木 雅英 |
| Quadratic Affine Arithmeticの実装と性能評価 |
柏木 雅英 |
| 丸めモードの指定がついた4倍精度浮動小数演算の四則演算について |
柏木 雅英 |
| 常微分方程式のstep幅の設定 |
柏木 雅英 |
| k=Q(√2p)の類数の2-partについて |
小松 啓一 |
| エルミート・ミンコウスキーの定理 判別式が－11となる代数体 |
小松 啓一 |
| 整数環がユークリッド整域となる虚二次体について |
小松 啓一 |
| 代数的整数の絶対値とアーベル拡大の関係 |
小松 啓一 |
| F↓0指令応答モデルに基づくビルマ語音声の韻律特性分析 |
匂坂 芳典 |
| 翻訳課題英作文を対象とした英語使用能力の客観評価 |
匂坂 芳典 |
| Neumann境界値外部問題におけるStokes半群のLq-Lr評価 |
柴田 良弘 |
| ペナルティーStokes方程式の半群理論を用いた有限要素解析 |
柴田 良弘 |
| 定常Navier-Stokes方程式のペナルティー法による解析 |
柴田 良弘 |
| 半空間におけるMHO方程式と最大正則性定理 |
柴田 良弘 |
| Asympfofics of Empitical Copula and Its Application |
鈴木 武 |
| ユールウォーカー推定量の漸近正規性 |
鈴木 武 |
| 4近傍確率粒子セルオートマトンの探索と解析 |
高橋 大輔 |
| あるパターン形成系の構築について |
高橋 大輔 |
| セルオートマトンの相転移現象について |
高橋 大輔 |
| 粒子セルオートマトンのEuler-Lagrange変換について |
高橋 大輔 |
| 3変量時系列の成分間相関関係について |
谷口 正信 |
| Asymptotic theory for mean adjustment for the Whittle likelihood ratio test of Granger Causality |
谷口 正信 |
| Asymptotic theory for near unit root autoregressive with infinite innovation variance |
谷口 正信 |
| Evaluation of power for Test of portfolios |
谷口 正信 |
| Local Power Analysis for Whittle Likelihood Ratio Test of Granger Causality |
谷口 正信 |
| Nonparametric Methods in Time Series Analysis |
谷口 正信 |
| Non-Parametric Spectrum for Granger Causality |
谷口 正信 |
| Portfolio Estimation under Causal Variables |
谷口 正信 |
| Portfolios influenced by causal variables under long range dependent returns |
谷口 正信 |
| 安定過程に対する経験尤度アプローチ |
谷口 正信 |
| タイリングの数学的理論とその関連 |
橋本 喜一朗 |
| 虚数乗法をもつ楕円曲線の複素数倍写像の明示公式 |
橋本 喜一朗 |
| 保型形式による2次不定方程式の解の個数の導出 |
橋本 喜一朗 |
| MIMO通信路に対する線形計画復号法について |
松嶋 敏秦 |
| ストリーム暗号の最適な鍵推定と攻撃アルゴリズムの統一的な構築方法に関する研究 |
松嶋 敏秦 |
| プライバシー保護を目的とした線形回帰モデルにおける事後確率最大推定量の分散計算法について |
松嶋 敏秦 |
| ベイズ推定の漸近評価に関する研究…真の分布を含まない入れ子構造をもつモデル族への拡張… |
松嶋 敏秦 |
| 統計的決定理論に基づく階層構造を利用したマルチラベル分類法について |
松嶋 敏秦 |
| 物理的特徴を利用した認証方式における認証精度評価に関する一考察 |
松嶋 敏秦 |
| 種類3の閉曲面における写像類群を用いた3次元多様体の分類 |
村上 順 |
| 1方向多ヘッド有限オートマトンのヘッドの追い越し禁止制限 |
守屋 悦朗 |
| Nonlocal termを伴う森林モデルの研究 |
山田 義雄 |
| Nonlocal termを伴う非線形反応拡散方程式の解について |
山田 義雄 |
| 交差拡散を伴うLotka-Volttera型競合モデルの正値定常解の研究 |
山田 義雄 |
| Carter-Ｐenrose Diagramとwormhole時空構造 |
米田 元 |
| Kerr時空における光の測地線と重力レンズの効果 |
米田 元 |
| Standard ADM formulationによるEinstein方程式の数値解析 |
米田 元 |
| 一般ゲージ場理論の公理論的アプローチ |
米田 元 |
| 時間依存する宇宙項を持つ5次元宇宙モデル |
米田 元 |
| 二重スリット実験の拡張実験に関する考察 |
米田 元 |
