我々の研究室は，2024年度より，岐阜大学にて草刈・安福研究室として運営しています．
私の専門は主に組合せゲーム理論です．組合せゲーム理論とは，運の要素や伏せられた情報がないゲームに潜む数学的な構造を探ったり，必勝法を調べたりする分野です．他に離散数学やゲーム情報学などにも興味があり，学生の興味に合わせて一緒に勉強することもあります．
数学や情報科学の理論に興味のある方はぜひ私たちの研究室に来てください．
連絡先：abuku.tomoaki.d5(at)f.gifu-u.ac.jp
数学や情報科学を学び，研究していくには基礎知識として「論理と集合」が必須となります．
我々の研究室に入る前にぜひ復習をしておいてください．
具体的な本としては「論理と集合から始める数学の基礎」を読むことをおすすめします．
（岐阜大学の学生は「情報数学」の科目の復習をしておくと良いです．）
2024年度
修論
静的依存対法に基づく関数プログラムの停止性証明
OCamlによる組合せゲームのためのGUIの作成
組合せゲームにおける標準形を求める高速アルゴリズムの提案とOCamlライブラリの開発
特定の二部グラフ上の屋島ゲームにおける局面値についての考察
卒論
推移的屋島ゲームの直線状局面における局面値の特定
双葉局面に関するより単純な半減値の生成関数の提案
多重辺を含む不偏版屋島ゲームにおけるグランディ数の考察
屋島ゲームの必勝戦略解析のためのGUIの作成