Rchr
J-GLOBAL ID：201401063708219770   Update date: Nov. 18, 2024

TODA Takahisa

トダ タカヒサ | TODA Takahisa
Affiliation and department：
The University of Electro-Communications Graduate School of Informatics and Engineering, School of Informatics and Engineering, "Department of Computer and Network Engineering, Cluster I (Informatics and Computer Engineering)"

About The University of Electro-Communications Graduate School of Informatics and Engineering, School of Informatics and Engineering, "Department of Computer and Network Engineering, Cluster I (Informatics and Computer Engineering)"


Job title： Associate Professor
Research field  (3)： Software ,  Information theory ,  Intelligent informatics
Research keywords  (5)： Constraint Satisfaction ,  Satisfiability ,  論理と推論 ,  Artificial Intelligence ,  Discrete Algorithm
Research theme for competitive and other funds  (5)：
  • 2020 - 2023 Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone
  • 2017 - 2022 Development of Practical Techniques for All Soltuion Enumeration of Large-scale Constraint Satisfaction Problems
  • 2014 - 2018 A Large-scale Enumeration of Minimal Hitting Sets And Its Application to Knowledge Discovery
  • 2017 - 組合せ最適化の研究助成
  • 2016 - 組合せ最適化の研究助成
Papers (39)：
  • Takashi Kitamura, Sousuke Amasaki, Jun Inoue, Yoshinao Isobe, Takahisa Toda. Toward Individual Fairness Testing with Data Validity. Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering. 2024. 2284-2288
  • Zhenjiang Zhao, Takahisa Toda, Takashi Kitamura. 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. 294-302
  • 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
ｍore...
MISC (7)：
  • TAKADA Yuta, TODA Takahisa. Toward development of logical model and abductive inference method of Werewolf agents with uncertain beliefs. Proceedings of the Annual Conference of JSAI. 2024. JSAI2024. 4Xin285-4Xin285
  • ZHAO Zhenjiang, TODA Takahisa, KITAMURA Takashi. Toward Individual Fairness Testing for XGBoost Classifier through Formal Verification. Proceedings of the Annual Conference of JSAI. 2024. JSAI2024. 2L6OS19b04-2L6OS19b04
  • 伊藤健洋, 川原純, 中畑裕, 宋剛秀, 鈴木顕, 照山順一, 戸田貴久. ZDDを用いた組合せ遷移ソルバー. 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集. 2022. 2022
  • Efficient Processing Techniques for Very Large-scale Graph Structure. 2014. 97. 12. 1097-1102
  • Efficient Construction of BDDs from CNFs. Mathematical Systems Science and its Applications : IEICE technical report. 2013. 113. 279. 15-22
ｍore...
Patents (1)：
  • 状態遷移評価装置、状態遷移評価方法
Books (1)：
  • 超高速グラフ列挙アルゴリズム -フカシギの数え方が拓く,組合せ問題の新アプローチ-
    森北出版 2015 ISBN:9784627852617
Lectures and oral presentations  (82)：
  • 多様性を重視した公平性テスト技術とその多様性の考察
    (第30回ソフトウェア工学の基礎ワークショップ 2023)
  • だます人狼知能エージェントに関する初期的な考察
    (第49回ゲーム情報学研究発表会 2023)
  • Logical Approach to Testing and Verification of Machine Learning Models
    (2023)
  • 決定的従属関係の含まれるベイジアンネットワークの近似推論手法に関する考察
    (情報処理学会 第85回全国大会 2023)
  • ナイーブベイズ分類器におけるデルタ公平性
    (ウィンターワークショップ2023 2023)
ｍore...
Education (5)：
  • 2009 - 2012 Kyoto University Graduate School of Human and Environmental Studies Department of Human Coexistence
  • 2004 - 2006 Kyoto University Graduate School of Human and Environmental Studies Department of Human Coexistence
  • 2009 - 2004 Kyoto University 総合人間学部 基礎科学科
  • - 2004 Kyoto University 総合人間学部 基礎科学科
  • 2000 - Kyoto University 工学部 物理工学科
Professional career (1)：
  • 博士(人間・環境学) (京都大学)
Work history (6)：
  • 2018/03 - 現在 The University of Electro-Communications Graduate School of Informatics and Engineering Department of Computer and Network Engineering
  • 2016/04 - 2018/02 The University of Electro-Communications Graduate School of Informatics and Engineering Department of Computer and Network Engineering
  • 2014/03 - 2016/03 The University of Electro-Communications Graduate School of Information Systems Department of Information System Fundamentals
  • 2012/04/01 - 2014/02/28 北海道大学 情報科学研究科 学術研究員
  • 2012/04/01 - 2014/02/28 JST ERATO湊離散構造処理系プロジェクト 博士研究員
Show all
Committee career (37)：
  • 2023 - 現在 電子情報通信学会 英文論文誌A 小特集 編集委員
  • 2021/06 - 現在 論文誌デジタルプラクティス編集委員会 論文誌デジタルプラクティス編集委員
  • 2021/04 - 現在 電子情報通信学会 情報・システムソサイエティ英文論文誌D(特集号) 編集委員
  • 2019/08 - 現在 International Joint Conferences on Artificial Intelligence Program committee member
  • 2017/04 - 現在 米国数学会 Mathematical Reviews 査読者
Show all
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM