top of page
離散数理研究室
福知山公立大学情報学部では１年次より研究室配属が行われる．１・２年次では問題解決を主とした実践的な研究に取り組み，３・４年次には理論を含めた演繹的な研究を目指す．離散数理研究室では次の３つのテーマに分かれて研究が進められている．
１年次からの研究室配属は2023年度までとなり，2024年度入学生からは３年次配属となった．
2026年度卒業・修了生（予定）
[修士]
田村勇人 本永幸嗣郎 𠮷川稜
[学士]
東瑞穂 足立愛翔 井口優真 大月茉柚 太田千優 小野瀬康孝 桐本優心 小杉彩香
芹澤柚月 寺島菜羽 昇依於奈 前田陽向
2025年度卒業・修了生（予定）
[修士]
木村太郎 杉浦圭祐 林誠人 牧将太
[学士]
石黒楓佳 小山七海 兒島茜 佐瀬康輝 佐藤心音 長尾康生 中原乙華 中山絢翔 林昂佑
本田ここの 堀田栞 南萌絵
2024年度卒業生
芦田修：卒論「Max-plus代数における行列の固有多項式の根とグラフ」
安達駿太：卒論「2部グラフ上の最大マッチング問題とその双対問題」
大藤龍門：卒論「Max-plus代数における行列の固有多項式」
川下紗嬉：卒論「Max-plus代数における固有値と固有多項式の根」
中川歩飛：卒論「セルオートマトンを用いたレジ待ち行列のシミュレーション」
長谷輝：卒論「セルオートマトンを用いた2車線交通流モデル」
蛭川大嵩：卒論「最大マッチング問題とアルゴリズム」
本永幸嗣郎：卒論「2次元3状態量子ウォーク」
山下敬太
𠮷川稜：卒論「セルオートマトンを用いた白血病モデル」
2023年度卒業生
木村太郎：卒論「2次元CAを用いた生物モデルと１次元CAを用いた画像処理」
杉浦圭祐：卒論「論理関数の標準形とその演算変換」
田村勇人：卒論「最大流問題の解法であるプリフロープッシュ法について」
中根大貴：卒論「Max-Plus代数上の既約行列の固有値とその解法」
濱弓場誠大：卒論「Max-Plus代数上の線形方程式とその解について」
林誠人：卒論「論理関数を定めるしきい関数の組み合わせ論的特徴づけ」
牧将太：卒論「Max-plus代数を用いたヒープモデル」
bottom of page