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

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-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  モデル検査における反例空間の構造解析  人工知能学会 第107回人工知能基本問題研究会(SIG-FPAI)  1  No  戸田貴久  2018/08 
Oral presentation for an academic conference  共通要素を類似度とするハッシュベース集合間類似検索手法の改善  第10回データ工学と情報マネジメントに関するフォーラム(DEIM2018)  -/ -  No  鈴木 聡,古賀 久志,Gibran FUENTES PINEDA Gibran,戸田 貴久  2018/03 
Oral presentation for an academic conference  ユークリッド距離に基づく多観点非類似度とその分割最適化クラスタリングへの応用  人工知能学会 第106回人工知能基本問題研究会(SIG-FPAI)  SIG-FPAI-B509  No  藤原勇二, 古賀久志, 戸田貴久  2018/03 
Oral presentation for an academic conference  多観点類似度を用いた凝集型階層クラスタリング  第16回情報科学技術フォーラム  -/ -  No  藤原勇二、古賀久志、戸田貴久  2017/09 
Oral presentation for an academic conference  モデル検査における反例発見から反例列挙への拡張  基盤(S) 離散構造処理系プロジェクト「2017年度 初夏のワークショップ」  P03  No  戸田貴久  2017/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...