- Firefox を使った広報システムの開発～学内デジタルサイネージ～
- 「 教科書仲介サイト」の機能とデザインの考察
- モデル検査ツール (SPIN) を用いたシステム検証について―状態遷移ダイアグラムの解析
- モデル検査ツール (SPIN) を用いたシステム検証について―リアルタイムタスクの検証
- モデル検査ツール (SPIN) を用いたシステム検証について―検証対象システムの抽象化
- Gentzen の基本定理と自然数論の無矛盾性
- スクイークを用いた数学・科学教育について―変数の活用と教材作成―
- 微分方程式モデルによる社会事象の分析―成長曲線のアラベスク
- 微分方程式モデルによる社会事象の分析 ―最小２乗法について
- 微分方程式モデルによる社会事象の分析 ―技術革新の波紋
- 微分方程式モデルによる社会事象の分析―戦闘のモデル ～トラファルガルの海戦～
- 実数の極限概念のネットを用いた記述
- ルベーグ積分の初歩
- リッジ回帰の必要性
- 縮小推定量の優位性
- 大学進学率とその要因について
- 保険数理における信頼性理論
- 損害保険数理における破産確率の正確性
- サッカーワールドカップのPK 戦に関する研究
- 居酒屋におけるドリンク売上高の要因分析
- スポーツ施設における売り上げの変化について
- プロ野球データ解析
- 文脈自由文法と構文解析
- 正規言語と字句解析器の構成
- ユークリッド空間内の距離グラフ
- 大学におけるPS3 の活用研究
本ウェブサイトは2022年3月末をもって閉鎖いたしました。このページに掲載している内容は閉鎖時点のものです（2022年3月）。