Laboratory

数学や情報科学を学び，研究していくには基礎知識として「論理と集合」が必須となります．

我々の研究室に入る前にぜひ復習をしておいてください．

具体的には『論理と集合から始める数学の基礎』を読むことをおすすめします．
（岐阜大学の学生は「情報数学」の科目の復習をしておくと良いです．）

また，グラフ理論と群論の知識があると役に立つことがあります．最低限必要な知識を得るのにおすすめな本を挙げておきます．

・『例題で学ぶグラフ理論』

・『群論への第一歩』

余裕のある方には，以下の本もおすすめです．

・『グラフ理論入門』

・『手を動かしてまなぶ群論』

2026年度

フリーズの数学（M1＆M2＆D1）

離散数学（B4）

やさしくまなぶ超平面配置（他研究室B4＆弊研究室有志）

2025年度

組合せゲーム理論の世界（B4＆M1）

33の素敵な数学小景（M2）

2024年度

組合せゲーム理論の世界（B4＆M2）

グラフ理論入門（M1）

2025年度

修論

組合せゲーム「橋を架けろ」における解析のための単純化と全域木に基づく解析 

屋島ゲームの両櫛型局面における必勝判定 

辞書式経路順序に基づくACIA正規化を用いた正規表現等価判定法の検討とメタ文字ドットの導入 

オートマトンを用いたPresburger算術ソルバーの開発と演算構成順の最適化

鉤模様型 Partisan Chocolate Game の局面値の特定 

イデアル制限ニムの導入と多項式の剰余による解析 

卒論

Tronの櫛型局面における局面値の計算法 

ショートな非不偏ゲームの代数構造と順序構造のLean4による形式化 

囲碁の単純な攻め合いに対する最善手探索の簡略化手法の提案 

組合せゲーム理論用Pythonライブラリのデータ構造最適化に基づく高速化 

組合せゲーム「Ameba」における特定の局面の解析 

2024年度

修論

静的依存対法に基づく関数プログラムの停止性証明 

OCamlによる組合せゲームのためのGUIの作成 

組合せゲームにおける標準形を求める高速アルゴリズムの提案とOCamlライブラリの開発 

特定の二部グラフ上の屋島ゲームにおける局面値についての考察 

卒論

推移的屋島ゲームの直線状局面における局面値の特定 

双葉局面に関するより単純な半減値の生成関数の提案 

多重辺を含む不偏版屋島ゲームにおけるグランディ数の考察 

屋島ゲームの必勝戦略解析のためのGUIの作成