卒業研究発表会

	平成24年度 $卒研発表会$ $卒研発表会$ リー代数のカルタン部分代数巡回群の巡回群による拡大単位閉区間の連続像の特徴付け 1 単位閉区間の連続像の特徴付け 2 F\'ary-Milnor の定理について Poincar\'e-Hopfの定理について Wedderburn の定理と有限射影平面 1 Wedderburn の定理と有限射影平面 2 Wedderburn の定理と有限射影平面 3 Wedderburn の定理と有限射影平面 4 ラベルつき木の数え上げオイラー・グラフ三山崩しの必勝法対称群上のブリュア順序完備局所環に関するコーエンの定理微積分からコホモロジーへ 1 微積分からコホモロジーへ 2 微積分からコホモロジーへ 3 微積分からコホモロジーへ 4 平方数みっつの和についてセルマーの方程式について超幾何関数とその積分表示離散波動方程式に対する逆問題 1 離散波動方程式に対する逆問題 2 離散波動方程式に対する逆問題 3 べき級数の連分数表示 (1) べき級数の連分数表示 (2) べき級数の連分数表示 (3) ラドン・ニコディムの定理の証明マルチンゲール理論を用いたコルモゴロフの 0-1 法則の証明大数の強法則のマルチンゲール理論による証明ブラックショールズモデル (離散型) カルマンフィルタによる時系列解析時系列モデルの因子分解非ガウス型状態空間モデル～モンテカルロフィルタを用いたトレンド推定～独立成分分析の考え方～独立性と非正規性～独立成分分析とスパースコーディング時変混合フィルターモデルによる独立成分分析有限変動信頼性理論についてビュールマンモデルについてロトの当籤番号は等確率か？年金数理における給付現価アクチュアリーから分析する就業者の保険順序ロジスティック回帰日本シリーズの \chi^2 適合度検定 Outcome Classes of Combinatorial Games 1 Outcome Classes of Combinatorial Games 2 Outcome Classes of Combinatorial Games 3 Microlinear spaceの接空間の線型構造について 1 Microlinear spaceの接空間の線型構造について 2 超準解析の応用超準解析の応用選択公理とチコノフの定理

平成24年度

$卒研発表会$
$卒研発表会$

リー代数のカルタン部分代数
巡回群の巡回群による拡大
単位閉区間の連続像の特徴付け 1
単位閉区間の連続像の特徴付け 2
F\'ary-Milnor の定理について
Poincar\'e-Hopfの定理について
Wedderburn の定理と有限射影平面 1
Wedderburn の定理と有限射影平面 2
Wedderburn の定理と有限射影平面 3
Wedderburn の定理と有限射影平面 4
ラベルつき木の数え上げ
オイラー・グラフ
三山崩しの必勝法
対称群上のブリュア順序
完備局所環に関するコーエンの定理
微積分からコホモロジーへ 1
微積分からコホモロジーへ 2
微積分からコホモロジーへ 3
微積分からコホモロジーへ 4
平方数みっつの和について
セルマーの方程式について
超幾何関数とその積分表示
離散波動方程式に対する逆問題 1
離散波動方程式に対する逆問題 2
離散波動方程式に対する逆問題 3
べき級数の連分数表示 (1)
べき級数の連分数表示 (2)
べき級数の連分数表示 (3)
ラドン・ニコディムの定理の証明
マルチンゲール理論を用いたコルモゴロフの 0-1 法則の証明
大数の強法則のマルチンゲール理論による証明
ブラックショールズモデル (離散型)
カルマンフィルタによる時系列解析
時系列モデルの因子分解
非ガウス型状態空間モデル～モンテカルロフィルタを用いたトレンド推定～
独立成分分析の考え方～独立性と非正規性～
独立成分分析とスパースコーディング
時変混合フィルターモデルによる独立成分分析
有限変動信頼性理論について
ビュールマンモデルについて
ロトの当籤番号は等確率か？
年金数理における給付現価
アクチュアリーから分析する就業者の保険
順序ロジスティック回帰
日本シリーズの \chi^2 適合度検定
Outcome Classes of Combinatorial Games 1
Outcome Classes of Combinatorial Games 2
Outcome Classes of Combinatorial Games 3
Microlinear spaceの接空間の線型構造について 1
Microlinear spaceの接空間の線型構造について 2
超準解析の応用
超準解析の応用
選択公理とチコノフの定理

	平成25年度状態空間モデルの平滑化アルゴリズムの改良粒子フィルタによる時系列データ解析統計モデリングに基づく時系列データ解析最小二乗法の問題点と代替法ベイズ線形回帰のモデルエビデンスとEM アルゴリズム賭けとしての宝くじの損失性の検証 2013 年J リーグにおけるホームグラウンドアドバンテージ AIC によるトレンドを含むモデルの選択単純ベイズ分類器を用いたスパムメールの判別 R を用いた生命表の計算実数直線の特徴付け～ススリンの問題～ Horn theory Ordinal(順序数) について完全性定理について D 加群による微分方程式の解法およびD 加群上のグレブナ基底の計算 Berlekamp アルゴリズムとその実装(1) Berlekamp アルゴリズムとその実装(2) Berlekamp アルゴリズムとその実装(3) Hensel 構成による整係数1 変数多項式の因数分解について 2 次曲線の有理点の存在 Q の完備化としての*Q_p* の導入とその構造有理点の有無の判定と利用例 Kummer's Problem 直径 2 の距離推移的グラフについて中心極限定理とその証明一般領域におけるDirichlet 問題変分法による解法量子力学における波動関数の時間発展ラドン変換の性質についてラドン変換の応用 Hartogs の定理について多変数正則関数の最大値の原理層の理論について層係数コホモロジーについて層の理論を用いたDe Rham の定理の証明 Dolbealt の定理とその応用リーマン多様体における発散定理ボンネ・マイヤースの定理平均曲率一定曲面ガウス‐ボンネの定理とホロノミー無限コンパクト空間のCharacter と濃度の関係についてカントール集合からコンパクト空間への連続写像の存在について結び目の種数の加法性(1) 結び目の種数の加法性(2)

平成25年度

状態空間モデルの平滑化アルゴリズムの改良
粒子フィルタによる時系列データ解析
統計モデリングに基づく時系列データ解析
最小二乗法の問題点と代替法
ベイズ線形回帰のモデルエビデンスとEM アルゴリズム
賭けとしての宝くじの損失性の検証
2013 年J リーグにおけるホームグラウンドアドバンテージ
AIC によるトレンドを含むモデルの選択
単純ベイズ分類器を用いたスパムメールの判別
R を用いた生命表の計算
実数直線の特徴付け～ススリンの問題～
Horn theory
Ordinal(順序数) について
完全性定理について
D 加群による微分方程式の解法およびD 加群上のグレブナ基底の計算
Berlekamp アルゴリズムとその実装(1)
Berlekamp アルゴリズムとその実装(2)
Berlekamp アルゴリズムとその実装(3)
Hensel 構成による整係数1 変数多項式の因数分解について
2 次曲線の有理点の存在
Q の完備化としてのQ_p の導入とその構造
有理点の有無の判定と利用例
Kummer's Problem
直径 2 の距離推移的グラフについて
中心極限定理とその証明
一般領域におけるDirichlet 問題変分法による解法
量子力学における波動関数の時間発展
ラドン変換の性質について
ラドン変換の応用
Hartogs の定理について
多変数正則関数の最大値の原理
層の理論について
層係数コホモロジーについて
層の理論を用いたDe Rham の定理の証明
Dolbealt の定理とその応用
リーマン多様体における発散定理
ボンネ・マイヤースの定理
平均曲率一定曲面
ガウス‐ボンネの定理とホロノミー
無限コンパクト空間のCharacter と濃度の関係について
カントール集合からコンパクト空間への連続写像の存在について
結び目の種数の加法性(1)
結び目の種数の加法性(2)

	平成26年度無限直積空間$${\mathbb R}^\Gamma$$の性質について(1) 無限直積空間$${\mathbb R}^\Gamma$$の性質について(2) 無限直積空間$${\mathbb R}^\Gamma$$の性質について(3) 無限直積空間$${\mathbb R}^\Gamma$$の性質について(4) 結び目のカンドル彩色についてグラニー、スクエア結び目のアレキサンダーカンドル彩色について魔方陣 Symplectic Reduction Theorem 正曲率リーマン多様体の基本群に関する基本的な定理について双曲多角形に対するガウス・ボンネの定理についてアダマール多様体の幾何構造に関する基本的な定理について組み合わせ数学に関する諸定理の紹介(Polya-De Bruijnの定理) 3×3×3ルービックキューブ群の構造について半単純リー代数のカルタン部分代数についてポアンカレ・バーコフ・ヴィットの定理について頂点代数とその例環論かんどころ〜不変量〜環論かんどころ〜正則環〜 Hom関手の左完全性群の表現と群環上の加群水の流れと複素関数論ダランベールのパラドックスジューコフスキーの翼の揚力遺伝的有限集合を用いたゲーデルの第一不完全性定理の証明(1) 遺伝的有限集合を用いたゲーデルの第一不完全性定理の証明(2) シンプレティックFloerホモロジーについて Mechanical Derivation of the Infinitesimal Baker-Campbell-Hausdorff Formula (1) Mechanical Derivation of the Infinitesimal Baker-Campbell-Hausdorff Formula (2) Mechanical Derivation of the Infinitesimal Baker-Campbell-Hausdorff Formula (3) グレブナー基底とその応用(1) グレブナー基底とその応用(2) グレブナー基底とその応用(3) James-Stein推定量の経験ベイズ推定法からの導出スタイン推定量と最尤推定量の比較 Rを用いた生命表の計算と死亡法則引き分けを含むBTモデル成長曲線モデルの推定・検定・モデリング階層型拡張成長曲線モデルの推定と検定ランダム係数モデルの推定と検定

平成26年度

無限直積空間$${\mathbb R}^\Gamma$$の性質について(1)
無限直積空間$${\mathbb R}^\Gamma$$の性質について(2)
無限直積空間$${\mathbb R}^\Gamma$$の性質について(3)
無限直積空間$${\mathbb R}^\Gamma$$の性質について(4)
結び目のカンドル彩色について
グラニー、スクエア結び目のアレキサンダーカンドル彩色について
魔方陣
Symplectic Reduction Theorem
正曲率リーマン多様体の基本群に関する基本的な定理について
双曲多角形に対するガウス・ボンネの定理について
アダマール多様体の幾何構造に関する基本的な定理について
組み合わせ数学に関する諸定理の紹介(Polya-De Bruijnの定理)
3×3×3ルービックキューブ群の構造について
半単純リー代数のカルタン部分代数について
ポアンカレ・バーコフ・ヴィットの定理について
頂点代数とその例
環論かんどころ〜不変量〜
環論かんどころ〜正則環〜
Hom関手の左完全性
群の表現と群環上の加群
水の流れと複素関数論
ダランベールのパラドックス
ジューコフスキーの翼の揚力
遺伝的有限集合を用いたゲーデルの第一不完全性定理の証明(1)
遺伝的有限集合を用いたゲーデルの第一不完全性定理の証明(2)
シンプレティックFloerホモロジーについて
Mechanical Derivation of the Infinitesimal Baker-Campbell-Hausdorff Formula (1)
Mechanical Derivation of the Infinitesimal Baker-Campbell-Hausdorff Formula (2)
Mechanical Derivation of the Infinitesimal Baker-Campbell-Hausdorff Formula (3)
グレブナー基底とその応用(1)
グレブナー基底とその応用(2)
グレブナー基底とその応用(3)
James-Stein推定量の経験ベイズ推定法からの導出
スタイン推定量と最尤推定量の比較
Rを用いた生命表の計算と死亡法則
引き分けを含むBTモデル
成長曲線モデルの推定・検定・モデリング
階層型拡張成長曲線モデルの推定と検定
ランダム係数モデルの推定と検定

	平成27年度エルミート関数系とバーグマン変換緩増加超関数とエルミート展開多重解像度解析(MRA)について Haar waveletについて Franklin waveletについて Shannon waveletについてマルコフ連鎖と破産問題生命保険数学とマルコフ過程の応用(1) 生命保険数学とマルコフ過程の応用(2) 微分形式の積分とポアンカレの補題 de Rham の定理位相空間の第二可算、可分、リンデローフ性とSorgenfrey 直線について(1) 位相空間の第二可算、可分、リンデローフ性とSorgenfrey 直線について(2) ユークリッド空間上の体積保存写像について円周上の同相写像について線形Lie群の連結性モース関数によるハンドル分解と胞体分割有限 quiver とその表現圏回帰分析におけるモデル選択判別分析の考え方とデータ解析判別分析における次元の推定とその応用正準相関分析の方法と考え方正準相関分析における冗長性モデルと変数選択負の二項分布を用いたコンピューターＲＰＧの攻撃命中率の検定生命表から見た日本重回帰分析〜ロジット変換と変数選択〜損害額分布と推定法２点離散空間の積の位相的性質 I ２点離散空間の積の位相的性質 II ケーニヒの定理(1) ケーニヒの定理(2) ケーニヒの定理(3) 高速フーリエ変換を用いた多項式の計算〜整数編〜 (1) 高速フーリエ変換を用いた多項式の計算〜整数編〜 (2) 高速フーリエ変換を用いた多項式の計算〜整数編〜 (3) 高速フーリエ変換を用いた多項式の計算〜複素数編〜 (1) 高速フーリエ変換を用いた多項式の計算〜複素数編〜 (2)

平成27年度

エルミート関数系とバーグマン変換
緩増加超関数とエルミート展開
多重解像度解析(MRA)について
Haar waveletについて
Franklin waveletについて
Shannon waveletについて
マルコフ連鎖と破産問題
生命保険数学とマルコフ過程の応用(1)
生命保険数学とマルコフ過程の応用(2)
微分形式の積分とポアンカレの補題
de Rham の定理
位相空間の第二可算、可分、リンデローフ性とSorgenfrey 直線について(1)
位相空間の第二可算、可分、リンデローフ性とSorgenfrey 直線について(2)
ユークリッド空間上の体積保存写像について
円周上の同相写像について
線形Lie群の連結性
モース関数によるハンドル分解と胞体分割
有限 quiver とその表現圏
回帰分析におけるモデル選択
判別分析の考え方とデータ解析
判別分析における次元の推定とその応用
正準相関分析の方法と考え方
正準相関分析における冗長性モデルと変数選択
負の二項分布を用いたコンピューターＲＰＧの攻撃命中率の検定
生命表から見た日本
重回帰分析〜ロジット変換と変数選択〜
損害額分布と推定法
２点離散空間の積の位相的性質 I
２点離散空間の積の位相的性質 II
ケーニヒの定理(1)
ケーニヒの定理(2)
ケーニヒの定理(3)
高速フーリエ変換を用いた多項式の計算〜整数編〜 (1)
高速フーリエ変換を用いた多項式の計算〜整数編〜 (2)
高速フーリエ変換を用いた多項式の計算〜整数編〜 (3)
高速フーリエ変換を用いた多項式の計算〜複素数編〜 (1)
高速フーリエ変換を用いた多項式の計算〜複素数編〜 (2)

	平成28年度特殊直交群 SO3 の有限部分群（1）特殊直交群 SO3 の有限部分群（2）平面運動群の離散部分群壁紙群 .07 のグランディ数ニム和とニム積による体リーの定理とその応用リー環の可解性とキリング形式 Bézout の定理　〜２曲線の交点の数は ? 〜リーマンのゼータ関数の関数等式代数的整数論の簡単な応用素数定理へのいくつかの接近方法回転数の概念を用いた Brouwer の不動点定理の証明胞体複体のホモロジー群有限幾何による魔方陣の作成シンプレクティック幾何学 homotopy type theory SGD 稠密全順序集合と　　範疇性（1）稠密全順序集合と　　範疇性（2）稠密全順序集合と　　範疇性（3）集合の理論 ZFC の不完全性ニューラルネットワークによる分類バスケット分析によるアンケート調査の解析 k平均クラスタリングとクラスタ数の決定階層的クラスタリングとデンドログラム主成分分析によるクラスタリング一般化線形モデルガウスの誤差法則の一般化最尤推定量の漸近正規性と q−最尤推定量生命表の理論と作成方法リャプーノフの定理について置換の最長増加部分列の期待値についてマルコフ連鎖と破産問題について秘書問題についてランダムウォークの再帰性非再帰性タイムラグを持つ微分方程式と成長モデルワクチン接種のある SIR 感染症モデル Fourier 変換と熱方程式への応用ラドン変換と波動方程式への応用 Hensel 構成による整数係数多項式の因数分解アルゴリズム（一変数）（1） Hensel 構成による整数係数多項式の因数分解アルゴリズム（一変数）（2） Hensel 構成による整数係数多項式の因数分解アルゴリズム（多変数）（1） Hensel 構成による整数係数多項式の因数分解アルゴリズム（多変数）（2）

平成28年度

特殊直交群 SO3 の有限部分群（1）
特殊直交群 SO3 の有限部分群（2）
平面運動群の離散部分群
壁紙群
.07 のグランディ数
ニム和とニム積による体
リーの定理とその応用
リー環の可解性とキリング形式
Bézout の定理　〜２曲線の交点の数は ? 〜
リーマンのゼータ関数の関数等式
代数的整数論の簡単な応用
素数定理へのいくつかの接近方法
回転数の概念を用いた Brouwer の不動点定理の証明
胞体複体のホモロジー群
有限幾何による魔方陣の作成
シンプレクティック幾何学
homotopy type theory
SGD
稠密全順序集合と　　範疇性（1）
稠密全順序集合と　　範疇性（2）
稠密全順序集合と　　範疇性（3）
集合の理論 ZFC の不完全性
ニューラルネットワークによる分類
バスケット分析によるアンケート調査の解析
k平均クラスタリングとクラスタ数の決定
階層的クラスタリングとデンドログラム
主成分分析によるクラスタリング
一般化線形モデル
ガウスの誤差法則の一般化
最尤推定量の漸近正規性と q−最尤推定量
生命表の理論と作成方法
リャプーノフの定理について
置換の最長増加部分列の期待値について
マルコフ連鎖と破産問題について
秘書問題について
ランダムウォークの再帰性非再帰性
タイムラグを持つ微分方程式と成長モデル
ワクチン接種のある SIR 感染症モデル
Fourier 変換と熱方程式への応用
ラドン変換と波動方程式への応用
Hensel 構成による整数係数多項式の因数分解アルゴリズム（一変数）（1）
Hensel 構成による整数係数多項式の因数分解アルゴリズム（一変数）（2）
Hensel 構成による整数係数多項式の因数分解アルゴリズム（多変数）（1）
Hensel 構成による整数係数多項式の因数分解アルゴリズム（多変数）（2）