top of page

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