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

Assistant 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 

Classes responsible within the university
2017  基礎プログラミングおよび演習  Fall semester  Undergraduate, daytime 
View details...

Classes responsible in other universities
2015  数理科学特論I  京都大学 
View details...

Current research areas
Intelligent informatics 
Theory of informatics 
Software 

Research keywords
Discrete Algorithm 
Artificial Intelligence 
論理と推論 
Knowledge Representation 
Satisfiability 
Model Checking 
Boolean Function 
Hypergraph 

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-Present 

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

Published papers
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 
Paper  Yes  Implementing Efficient All Solutions SAT Solvers  Joint  Takahisa Toda, Takehide Soh  ACM Journal of Experimental Algorithmics  21/ 1, ---  2016 
Paper  Yes  Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams  Joint  Yuma Inoue, Takahisa Toda, Shin-ishi Minato  IEICE Trans. Fundamentals  E97-A/ 6, 1171-1179  2014/06/01 
Paper  Yes  On Separating Families of Bipartitions  Joint  Takahisa Toda, Ivo Vigan  Discrete Mathematics  313/ 3, 286-292  2013 
View details...

Research presentations
Oral presentation for an academic conference  多観点類似度を用いた凝集型階層クラスタリング  第16回情報科学技術フォーラム  -/ -  No  藤原勇二、古賀久志、戸田貴久  2017/09 
Oral presentation for an academic conference  集合間類似度を用いたストリームデータのtop-k類似検索に対する高速な厳密解アルゴリズム  信学技報  117/ 28  No  山崎智博, 古賀久志, 戸田貴久  2017/05 
Oral presentation for an academic conference  効率的なAllSATソルバーの実装と評価  第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)  -/ -  No  戸田貴久, 宋剛秀  2017/03 
Oral presentation for an academic conference  命題論理式を充足する変数割当の網羅的探索手法について  人工知能学会 第103回人工知能基本問題研究会(SIG-FPAI)  B5/ 03  No  戸田貴久  2017/03/08 
Oral presentation for an academic conference  共通要素数を重視したハッシュベース集合間類似検索  第8回データ工学と情報マネジメントに関するフォーラム(DEIM2016)  No  板橋 大樹,古賀 久志,Gibran Fuentes Pineda GIBRAN,戸田 貴久  2016 
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...