- ビジュアルプログラミング環境を用いたシステム検証の教育について
- 一変数多項式における近似GCDアルゴリズムの性能評価と解析
- 常微分方程式の分岐理論とその応用
- カルマンフィルタと平滑化における初期化問題
- 多重比較法におけるサンプルサイズが異なる場合の修正Williams法について
- 数学的主張の証明不可能性の証明―集合論のブール値モデルによる論法の仕組み―
- 有向集合上のマルチンゲール
- 多重比較における多重帰無仮説に関する誘導関係を考慮した自然なアルゴリズムの構築
- Finite-to-one mapping theorem for Assouad-Nagata dimension
本ウェブサイトは2022年3月末をもって閉鎖いたしました。このページに掲載している内容は閉鎖時点のものです（2022年3月）。