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