- ピタゴラスの定理，証明法の分類
- 自然数論とゲーデルの不完全性定理について
- 平面幾何の公理的展開
- 倒産企業の統計的分析
- 数理モデルを用いた保険料の算定
- 形式的仕様記述とその検証－RIBファイルを生成するプログラムの検証に向けて－
- 微分方程式の解の存在定理について
- 定理証明支援系Cogについて
- 微分方程式の解の存在定理について
- 微分方程式の解の存在定理について
- Pocket Cubeの解法と手数
- 2D Orientation Problemに対する数値計算による判定手法の考察
- Homology of surfaces
- Cellular complexes and homology
- ゴルフ場の来場者データの解析～営業戦略のためのヒント～
- 遺伝的アルゴリズムを用いたマルチエージェントシステムの構築
- 広報システムの改善
- The Van Kampen Theorem
- 学力の地域間格差に関する統計的分析と考察
本ウェブサイトは2022年3月末をもって閉鎖いたしました。このページに掲載している内容は閉鎖時点のものです（2022年3月）。