Rchr
J-GLOBAL ID:201401063708219770
Update date: Jul. 31, 2024
TODA Takahisa
トダ タカヒサ | TODA Takahisa
Affiliation and department:
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 (38):
-
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
-
Takashi Kitamura, Zhenjiang Zhao, Takahisa Toda. Applying Combinatorial Testing to Verification-Based Fairness Testing. Search-Based Software Engineering. 2022. 101-107
more...
MISC (5):
-
伊藤健洋, 川原純, 中畑裕, 宋剛秀, 鈴木顕, 照山順一, 戸田貴久. 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
-
Efficient Construction of BDDs from CNFs. IPSJ SIG Notes. 2013. 2013. 3. 1-8
-
AOKI Hiroshi, TODA Takahisa, MINATO Shin-ichi. Three-way Indexing ZDDs for Large Scale Sparse Dataset. IEICE technical report. Theoretical foundations of Computing. 2013. 113. 252. 1-8
Patents (1):
Books (1):
-
超高速グラフ列挙アルゴリズム -フカシギの数え方が拓く,組合せ問題の新アプローチ-
森北出版 2015 ISBN:9784627852617
Lectures and oral presentations (83):
-
だます人狼知能エージェントに関する初期的な考察
(第49回ゲーム情報学研究発表会 2023)
-
Logical Approach to Testing and Verification of Machine Learning Models
(2023)
-
決定的従属関係の含まれるベイジアンネットワークの近似推論手法に関する考察
(情報処理学会 第85回全国大会 2023)
-
ナイーブベイズ分類器におけるデルタ公平性
(ウィンターワークショップ2023 2023)
-
機械学習モデルの公平性のテスト手法
(第64回 プログラミング・シンポジウム 2023 2023)
more...
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):
Committee career (37):
- 2023 - 現在 電子情報通信学会 英文論文誌A 小特集 編集委員
- 2021/04 - 現在 電子情報通信学会 情報・システムソサイエティ英文論文誌D(特集号) 編集委員
- 2019/08 - 現在 International Joint Conferences on Artificial Intelligence Program committee member
- 2021/06/01 - 2023/03/31 論文誌デジタルプラクティス編集委員会 論文誌デジタルプラクティス編集委員
- 2021/03 - 2023/03 International Conference on Smart Computing and Artificial Intelligence program committee member
- 2018/04 - 2022/04 情報処理学会 アルゴリズム研究会 運営委員
- 2017/04/01 - 2022/04/01 米国数学会 Mathematical Reviews 査読者
- 2020/04/01 - 2022/03/31 電子情報通信学会ISSソサエティ誌 編集委員
- 2016/06/01 - 2021/06/01 電子情報通信学会 ED コンピュテーション研究会 専門委員
- 2020/04/01 - 2021/03/31 情報処理学会 代表会員
- 2020/04/01 - 2021/03/31 電子情報通信学会 情報・システムソサイエティ英文論文誌D(特集号) 編集委員
- 2020/04/01 - 2021/03/31 情報処理学会 代表会員
- 2016/04/01 - 2021/03/31 人工知能学会 企画委員
- 2019/10 - 2020/10 電子情報通信学会 情報・システムソサイエティ英文論文誌D(特集号) 編集委員
- 2019/10 - 2020/10 電子情報通信学会 情報・システムソサイエティ英文論文誌D(特集号)編集委員
- 2020/04/01 - 電子情報通信学会 情報・システムソサイエティ誌 編集委員
- 2017/04/01 - 2020/03/31 人工知能学会 人工知能基本問題研究会 幹事
- 2017/04/01 - 2020/03/31 人工知能学会 人工知能基本問題研究会 幹事
- 2016/04/01 - 2020/03/31 情報処理学会 会誌編集委員会専門委員会(基礎・理論分野/FWG)
- 2016/04/01 - 2020/03/31 情報処理学会 会誌編集委員会専門委員会(基礎・理論分野/FWG) 編集委員
- 2018/10 - 2019/10 電子情報通信学会 情報・システムソサイエティ英文論文誌D(特集号) 編集委員
- 2018/10 - 2019/10 電子情報通信学会 情報・システムソサイエティ英文論文誌D(特集号)編集委員
- 2018/04 - 2019/06 情報処理学会 第81回全国大会 プログラム委員
- 2018/04 - 2019/06 情報処理学会 第81回全国大会 プログラム委員
- 2016/06/01 - 2019/06 電子情報通信学会 ED リエゾン委員
- 2016/06/01 - 2019/06 電子情報通信学会 ED リエゾン委員
- 2015/12 - 2019/06 電子情報通信学会 情報・システムソサイエティ 論文賞選定委員
- 2015/12 - 2019/06 電子情報通信学会 情報・システムソサイエティ 論文賞選定委員
- 2015/06/04 - 2019/06 電子情報通信学会 情報・システムソサイエティ英文論文誌編集委員会
- 2015/06/04 - 2019/06 電子情報通信学会 情報・システムソサイエティ英文論文誌 編集委員会
- 2018/04 - 2019/03 LAシンポジウム事務局
- 2018/04 - 2019/03 LAシンポジウム 事務局
- 2017/10/01 - 2018/10 電子情報通信学会 情報・システムソサイエティ英文論文誌D(特集号)編集委員
- 2017/10/01 - 2018/10 電子情報通信学会 情報・システムソサイエティ英文論文誌D(特集号) 編集委員
- 2018/04 - 情報処理学会 アルゴリズム研究会 運営委員
- 2016/06/01 - 電子情報通信学会 ED コンピュテーション研究会専門委員
- 2016/04/01 - 人工知能学会 企画委員
Show all
Return to Previous Page