日本語
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)" 

Associate Professor 
Takahisa TODA 

Career
富士通研究所  自律システム研究部  研究員  2006/04/01-2008/03/31 
JST ERATO湊離散構造処理系プロジェクト  博士研究員  2012/04/01-2014/02/28 
北海道大学  情報科学研究科  学術研究員  2012/04/01-2014/02/28 

Academic background
Kyoto University  工学部  物理工学科  Other  Other 
Kyoto University  人間・環境学研究科  共生人間学  Master's program  2006/03/31  Completed 
Kyoto University  人間・環境学研究科  共生人間学  Doctoral program  2012/03/31  Completed 
Kyoto University  総合人間学部  基礎科学科  Other  2004/03/31  Graduated 

Academic degrees
博士(人間・環境学)  Kyoto University  2012/03 

Current research areas
Intelligent informatics 
Theory of informatics 
Software 

Current research subjects
An efficient method to solve large-scale combinatorial problems using decision diagrams  2014/03/01-2017/03/31 
ネットワーク状態検証のためのアルゴリズム技術に関する研究  2015/06/01-2016/03/31 
大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用  2017/04/01-2022/03/31 

Published books
Book  超高速グラフ列挙アルゴリズム –フカシギの数え方が拓く,組合せ問題の新アプローチ−  ERATO 湊離散構造処理系プロジェクト  森北出版  2015/04/08  978-4627852617 
View details...

Published papers
Paper  Yes  Interval-based Counterexample Analysis for Error Explanation  Joint  Takahisa Toda, Takeru Inoue  Journal of Information Processing  62/ 10, 630-639  2021 
Paper  Yes  交差回避制約を用いた単純配線決定問題のCSP解法  Joint  渡辺 光洋、戸田貴久  電子情報通信学会論文誌D  J104-D/ 04, 0-0  2021/04 
Paper  Yes  Exact Method for Generating Strategy-Solvable Sudoku Clues  Joint  Kohei Nishikawa, Takahisa Toda  Algorithms  13/ 7, 1-17  2020/07/16  https://doi.org/10.3390/a13070171 
Paper  Yes  Exploiting Functional Dependencies of Variables in All-Solutions SAT Solvers  Joint  Takahisa Toda, Takeru Inoue  Journal of Information Processing  25/ -, 459-468  2017 
Paper  Yes  Dualization of Boolean Functions Using Ternary Decision Diagrams  Only  Takahisa Toda  Annals of Mathematics and Artificial Intelligence  79/ 1, 229-244  2016  10.1007/s10472-016-9520-z 
View details...

Research presentations
Oral presentation for an academic conference  属性間依存度を考慮したデータベースの安全なフラグメント化  第14回データ工学と情報マネジメントに関するフォーラム  DEIM2022/ J31  No  磯田 飛鳥,戸田 貴久  2022/03/01 
Oral presentation for an academic conference  不確実性下における複合イベント処理に関する考察  第186回アルゴリズム研究発表会  2022-AL-186/ 6  No  夏 涛,戸田 貴久  2022/01/28 
Oral presentation for an academic conference  有界モデル検査による独立集合遷移問題の解法に関する考察  第186回アルゴリズム研究発表会  2022-AL-186/ 5  No  戸田 貴久,伊藤 健洋,川原 純,宋 剛秀,鈴木 顕,照山 順一  2022/01/28 
Oral presentation for an academic conference  命題論理式の解の一様サンプリングの改善  第20回情報科学技術フォーラム  FIT2021/ -  No  中島 祐輝,戸田 貴久  2021/08/27 
Oral presentation for an academic conference  SATフィルターの検討  基盤(S) 離散構造処理系プロジェクト「2019年度 秋のワークショップ」  2  No  戸田貴久  2019/11/06 
View details...

Grants-in-aid for scientific research
大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用  Young scientists (B)  2017/04/01-2021/03/31 
決定グラフを用いた超大規模ヒッティング集合の列挙・索引化とその知識発見への応用  Young scientists (B)  2014/04/01-2018/03/31 
View details...

External fund
組合せ最適化の研究助成  Donations for research  株式会社富士通研究所  研究助成  2017/10-Present 
組合せ最適化の研究助成  Donations for research  株式会社富士通研究所  研究助成  2016/10-Present 
View details...

Past records of joint or funded research
ネットワーク設定検証のためのアルゴリズム技術に関する研究  2015-2016  Joint research  Domestic joint research 
View details...