研究者
J-GLOBAL ID：201401063708219770   更新日: 2024年01月30日

戸田 貴久

トダ タカヒサ | TODA Takahisa
所属機関・部署：
電気通信大学 大学院情報理工学研究科、情報理工学域情報・ネットワーク工学専攻、I類 (情報系)

電気通信大学 大学院情報理工学研究科、情報理工学域情報・ネットワーク工学専攻、I類 (情報系) について


職名： 准教授
研究分野 (3件)： ソフトウェア ,  情報学基礎論 ,  知能情報学
研究キーワード (8件)： ハイパーグラフ ,  論理関数 ,  モデル検査 ,  充足可能性問題 ,  知識表現 ,  論理と推論 ,  人工知能 ,  離散アルゴリズム
競争的資金等の研究課題 (5件)：
  • 2020 - 2023 工学アプローチによる組合せ遷移の展開:配電切替を足がかりとして汎用ソルバーへ
  • 2017 - 2022 大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用
  • 2014 - 2018 決定グラフを用いた超大規模ヒッティング集合の列挙・索引化とその知識発見への応用
  • 2017 - 組合せ最適化の研究助成
  • 2016 - 組合せ最適化の研究助成
論文 (38件)：
  • Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura 0001. Diversity-aware fairness testing of machine learning classifiers through hashing-based sampling. Inf. Softw. Technol. 2024. 167. 107390-107390
  • Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama. Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability. The 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023). 2023
  • Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda. ZDD-based algorithmic framework for solving shortest reconfiguration problems. CPAIOR. 2023
  • Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura. Efficient Fairness Testing Through Hash-Based Sampling. Search-Based Software Engineering. 2022. 35-50
  • Takashi Kitamura, Zhenjiang Zhao, Takahisa Toda. Applying Combinatorial Testing to Verification-Based Fairness Testing. Search-Based Software Engineering. 2022. 101-107
もっと見る
MISC (4件)：
  • 戸田 貴久, 竹内 聖悟, 美添 一樹. 超大規模なグラフ構造の効率的な処理技術 (小特集 「フカシギの数え方」から広がるアルゴリズムの理工学 : 二分決定グラフによる離散構造処理と広がる応用分野). 電子情報通信学会誌 = The journal of the Institute of Electronics, Information and Communication Engineers. 2014. 97. 12. 1097-1102
  • 戸田 貴久. 論理関数のCNFからBDDの効率的な構築法 (システム数理と応用). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2013. 113. 279. 15-22
  • 戸田貴久. 論理関数のCNFからBDDの効率的な構築法. 研究報告アルゴリズム(AL). 2013. 2013. 3. 1-8
  • 青木 洋士, 戸田 貴久, 湊 真一. 巨大で疎な組合せ集合を表現するための三分索引化ZDD. 電子情報通信学会技術研究報告. COMP, コンピュテーション. 2013. 113. 252. 1-8
特許 (1件)：
書籍 (1件)：
  • 超高速グラフ列挙アルゴリズム -フカシギの数え方が拓く,組合せ問題の新アプローチ-
    森北出版 2015 ISBN:9784627852617
講演・口頭発表等 (83件)：
  • だます人狼知能エージェントに関する初期的な考察
    (第49回ゲーム情報学研究発表会 2023)
  • 機械学習モデルのテスト・検証への論理的アプローチ
    (人工知能学会 第124回人工知能基本問題研究会 2023)
  • 決定的従属関係の含まれるベイジアンネットワークの近似推論手法に関する考察
    (情報処理学会 第85回全国大会 2023)
  • ナイーブベイズ分類器におけるデルタ公平性
    (ウィンターワークショップ2023 2023)
  • 機械学習モデルの公平性のテスト手法
    (第64回 プログラミング・シンポジウム 2023 2023)
もっと見る
学歴 (5件)：
  • 2009 - 2012 京都大学 大学院人間・環境学研究科 共生人間学専攻
  • 2004 - 2006 京都大学 大学院人間・環境学研究科 共生人間学専攻
  • 2009 - 2004 京都大学 総合人間学部 基礎科学科
  • - 2004 京都大学 総合人間学部 基礎科学科
  • 2000 - 京都大学 工学部 物理工学科
学位 (1件)：
  • 博士(人間・環境学) (京都大学)
経歴 (6件)：
  • 2018/03 - 現在 電気通信大学 大学院情報理工学研究科 情報・ネットワーク工学専攻
  • 2016/04 - 2018/02 電気通信大学 大学院情報理工学研究科 情報・ネットワーク工学専攻
  • 2014/03 - 2016/03 電気通信大学 大学院情報システム学研究科 情報システム基盤学専攻
  • 2012/04/01 - 2014/02/28 北海道大学 情報科学研究科 学術研究員
  • 2012/04/01 - 2014/02/28 JST ERATO湊離散構造処理系プロジェクト 博士研究員
全件表示
委員歴 (36件)：
  • 2021/03 - 現在 International Conference on Smart Computing and Artificial Intelligence program committee member
  • 2019/08 - 現在 International Joint Conferences on Artificial Intelligence Program committee member
  • 2021/06/01 - 2023/03/31 論文誌デジタルプラクティス編集委員会 論文誌デジタルプラクティス編集委員
  • 2018/04 - 2022/04 情報処理学会 アルゴリズム研究会 運営委員
  • 2017/04/01 - 2022/04/01 米国数学会 Mathematical Reviews 査読者
全件表示
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM