研究室のトップページはこちらをクリック

リンク先の予稿は学内ネットワークからアクセス可能です。

2023年度

修論

• 田中 太一, 圧縮されたグラフに対する効率的な最大クリークアルゴリズム
• 八木 啓至, だます人狼知能エージェントに関する研究

卒論

• 伊藤 正英, 機械学習モデルの説明生成手法 CLIME の改善に向けた研究
• 小宮山 悠輔, 論理制約に基づく二値化ニューラルネットワークの検証
• 中里 祐大, プライバシー保護を考慮した命題論理式の解のサンプリング
• 高田 雄太, 不確実な信念を持つ人狼知能エージェントの論理モデルと仮説推論の適用
• 村田 悠治, Birds of a Feather における Single-Stack Solution が存在する初期配置の生成
• 中野 春樹, 数独ヒント生成問題に対する差分論理に基づく解法

2022年度

修論

• 磯田 飛鳥, 属性間依存度を考慮したデータベースの安全なフラグメント化
• 中島 祐輝, 決定的従属関係の含まれるベイジアンネットワークの近似推論手法に関する考察
• Zhao-Zhenjiang, Research on Efficient Fairness Testing of Machine Learning Model

卒論

• 東海 林毅, 有界モデル検査によるマルチエージェント経路発見の求解
• 久保 拓巳, 制約最適化に基づく画像の時間順並び替え
• 中本 健太郎, ナイーブベイズ分類器の公平性に関する研究
• 野一色 伸, 数独の解法の説明に関する研究

2021年度

修論

• 夏 涛, 不確実性下における複合イベント処理に関する研究

卒論

• 田中 太一, 初期頂点整列に着目した最大クリーク抽出の高速化
• 八木 啓至, マルコフロジックネットワークを用いた重み付き仮説推論の研究
• 山野 光稀, 幾何制約の下での最小数独サイズに関する研究

2020年度

修論

• 渡辺 光洋, SATに基づく視覚暗号の構成法

卒論

• 磯田 飛鳥, SHA-1原像攻撃の効率的なSAT符号化
• 中島 祐輝, 充足可能性問題の解のサンプリング
• 中林 俊大, ライフゲームにおけるエデンの園配置のSAT型解法の研究

2019年度

卒論

• 西川 耕平, 数独ヒント生成に対する制約充足問題に基づく解法

2018年度

卒論

• 渡辺 光洋, ナンバーリンク問題に対するSAT型解法の研究