電気通信大学 · 情報理工学研究科 · 准教授

研究关键词充足可能性・制約充足・論理と推論・離散アルゴリズム・人工知能・Algorithm・Theoretical・computer

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• 最小数独サイズの形式検証に向けた取り組み 松尾 涼誠; 戸田 貴久 ラスト(シニア)オーサー, 出版日 2026年01月, 人工知能学会研究会資料 人工知能基本問題研究会, 135巻, 1号, 掲載ページ 54-58, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議） DOI URL2026 · MISC
• 機械学習のブラックボックス公平性テストにおける代理モデルの近似性能の改善 石井 沙季; Zhao Zhenjiang; 戸田 貴久 ラスト(シニア)オーサー, 出版日 2026年01月, 人工知能学会研究会資料 人工知能基本問題研究会, 135巻, 1号, 掲載ページ 73-78, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議） DOI URL2026 · MISC
• 大規模言語モデルのコード生成タスクにおけるProperty-Based Testingの活用 中里祐大; 戸田貴久 ラスト(シニア)オーサー, 出版日 2026年03月, 研究報告ソフトウェア工学（SE） 研究報告, 2026-SE-222巻, 14号, 掲載ページ 1-8, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）2026 · MISC
• 機械学習の堅牢性のための汎用的なテストツールの開発に向けて 大橋 賢人; Zhao Zhenjiang; 戸田 貴久 ラスト(シニア)オーサー, 出版日 2026年01月, 人工知能学会研究会資料 人工知能基本問題研究会, 135巻, 1号, 掲載ページ 79-84, 日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議） DOI URL2026 · MISC

• 組合せ最適化の研究助成 戸田 貴久 株式会社富士通研究所, 研究助成, 研究代表者 研究期間 2017年10月2017 · 共同研究・競争的資金等の研究課題
• 大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用 戸田 貴久 日本学術振興会, 科学研究費助成事業 若手研究(B), 電気通信大学, 若手研究(B), 本研究では、制約充足問題のすべての解を探索する手法を活用して、そのような解探索が求められる高度な問題解決のための効率的な計算基盤の開発を行った。主な成果として、ハードウェアやソフトウェアの不具合の原因解析を支援するための自動化手法を開発した。 他の成果として、VLSIの単純配線問題や数独ヒント生成問題の効率的な解法を提案した。また新たな展開として、制約充足問題の解のサンプリング手法の開発とその応用、制約充足問題の最適化を応用したデータベースの匿名化に関する手法の開発など、当初想定していなかったプライバシー・セキュリティ関係の研究成果も得られた。, 17K17725 研究期間 2017年04月 - 2022年03月2017 · 共同研究・競争的資金等の研究課題
• 組合せ最適化の研究助成 戸田 貴久 株式会社富士通研究所, 研究助成, 研究代表者 研究期間 2016年10月2016 · 共同研究・競争的資金等の研究課題
• 決定グラフを用いた超大規模ヒッティング集合の列挙・索引化とその知識発見への応用 戸田 貴久 日本学術振興会, 科学研究費助成事業 若手研究(B), 電気通信大学, 若手研究(B), 本研究課題では、極小ヒッティング集合の列挙問題やその拡張問題（論理関数の双対化およびAll Solutions SAT問題）に対する実用上効率的な計算法の研究に取り組んだ。今回新たに考案した計算手法だけでなく、関連する主要な従来手法についても実装したソフトウェアを開発し、その有効性や特性を明らかにするために大規模な性能評価実験を実施した。それらの結果は誰でも利用できる形で公開している。また、知識発見への応用に向けて、本研究課題で得られた最新のソフトウェアをアイテムセットマイニング問題に適用し、実データを用いた評価実験を行い、今後の研究課題や各種の知見を得た。, 26870011 研究期間 2014年04月 - 2018年03月2014 · 共同研究・競争的資金等の研究課題

• 官方个人主页