About
興味
- 離散アルゴリズム
- ソフトウェア検証
研究発表
- , 戸田 貴久, SMTソルバーのAPIファザーMurxlaのカバレッジ改善に向けて, 第27回プログラミングおよびプログラミング言語ワークショップ, 2025年3月7日
- , 戸田 貴久, 決定木ベースモデルへのロバスト性の検証技術を利用したブラックボックス手法の検討, 第27回情報論的学習理論ワークショップ, 2024年11月6日
- , 戸田 貴久, 決定木モデルのロバスト性に関するブラックボックステスト手法の検討, ソフトウェアエンジニアリングシンポジウム2024, 2024年9月17日
- , 戸田 貴久, 古賀 久志, 制約最適化に基づく画像の時間順並び替え, 第141回数理モデル化と問題解決研究発表会 2022年12月12日