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

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

2025年度

博論

• 趙 振江, Research on Fairness Testing for Machine Learning Classifiers

修論

• 伊藤 正英, 多様性と自然性を両方考慮した公平性テスト手法の開発
• 中里 祐大, 大規模言語モデルのコード生成タスクにおける Property-Based Testing の活用
• 高田 雄太, BDI モデルに基づいて意思決定を行うLLM 駆動型人狼ゲームエージェントの構築
• 肖 智傑, 自動関係 API 推論を用いた DL ライブラリの検証に関する研究

卒論

• 石井 沙季, 機械学習のブラックボックス公平性テストにおける代理モデルの近似性 能の改善
• 吉田 恭二, 初期配置が指定された場合にロジックのみで可解な数独生成問題に対す る焼きなまし法に基づく手法の開発
• 則岡 健太郎, 機械学習分類器の公平性テスト手法 VBT におけるリスタート機能の評 価と最適化

2024年度

修論

• 久保 拓巳, ファジングを用いたSMTソルバの検証に関する研究
• 中本 健太郎, 公平性テストの論理的な定式化に関する研究

卒論

• 大橋 賢人, 人狼が見破られる状況に着目した条件付き人狼推定
• 松尾 涼誠, Rustライブラリに対するメモリ安全性テスト
• 中原 良典, 機械学習分類器の公平性テスト手法VBTにおけるリスタート戦略

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型解法の研究