English
電気通信大学 
大学院情報理工学研究科、情報理工学域 
情報・ネットワーク工学専攻、Ⅰ類 (情報系) 

助教 
戸田 貴久 
トダ タカヒサ 
Takahisa TODA 

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

学歴
京都大学  工学部  物理工学科  その他  その他 
京都大学  人間・環境学研究科  共生人間学  修士  2006/03/31  修了 
京都大学  人間・環境学研究科  共生人間学  博士  2012/03/31  修了 
京都大学  総合人間学部  基礎科学科  その他  2004/03/31  卒業 

学位
博士(人間・環境学)  京都大学  2012/03 

学内担当授業科目
2017  基礎プログラミングおよび演習  後期  学部(昼間) 
詳細表示...

学外担当授業科目
2015  数理科学特論I  京都大学 
詳細表示...

現在の専門分野
知能情報学 
情報学基礎理論 
ソフトウェア 

研究キーワード
離散アルゴリズム 
人工知能 
論理と推論 
知識表現 
充足可能性問題 
モデル検査 
論理関数 
ハイパーグラフ 

現在の研究課題
決定グラフを用いた超大規模組合せ列挙問題の実用的計算基盤  2014/03/01-2017/03/31 
ネットワーク状態検証のためのアルゴリズム技術に関する研究  2015/06/01-2016/03/31 
大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用  2017/04/01-現在 

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

論文
一般論文  有  Exploiting Functional Dependencies of Variables in All-Solutions SAT Solvers  共著  Takahisa Toda, Takeru Inoue  Journal of Information Processing  -/ -, ---  2017 
一般論文  有  Dualization of Boolean Functions Using Ternary Decision Diagrams  単著  Takahisa Toda  Annals of Mathematics and Artificial Intelligence  79/ 1, 229-244  2016  10.1007/s10472-016-9520-z 
一般論文  有  Implementing Efficient All Solutions SAT Solvers  共著  Takahisa Toda, Takehide Soh  ACM Journal of Experimental Algorithmics  21/ 1, ---  2016 
一般論文  有  Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams  共著  Yuma Inoue, Takahisa Toda, Shin-ishi Minato  IEICE Trans. Fundamentals  E97-A/ 6, 1171-1179  2014/06/01 
一般論文  有  On Separating Families of Bipartitions  共著  Takahisa Toda, Ivo Vigan  Discrete Mathematics  313/ 3, 286-292  2013 
詳細表示...

研究発表
学会口頭発表  効率的なAllSATソルバーの実装と評価  第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)  -/ -  無  戸田貴久, 宋剛秀  2017/03 
学会口頭発表  命題論理式を充足する変数割当の網羅的探索手法について  人工知能学会 第103回人工知能基本問題研究会(SIG-FPAI)  B5/ 03  無  戸田貴久  2017/03/08 
学会口頭発表  共通要素数を重視したハッシュベース集合間類似検索  第8回データ工学と情報マネジメントに関するフォーラム(DEIM2016)  無  板橋 大樹,古賀 久志,Gibran Fuentes Pineda GIBRAN,戸田 貴久  2016 
学会口頭発表  部分構造の類似性を考慮したMin-Hashベースのグラフ類似検索  電子情報通信学会総合大会  無  宮田昂充,古賀久志,戸田貴久  2016 
学会口頭発表  適応的に類似度を選択する類似画像検索方式  電子情報通信学会総合大会  無  小林 馨,古賀久志,戸田貴久  2016 
詳細表示...

科学研究費助成事業
大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用  若手研究(B)  2017/04/01-2021/03/31 
決定グラフを用いた超大規模ヒッティング集合の列挙・索引化とその知識発見への応用  若手研究(B)  2014/04/01-2018/03/31 
詳細表示...

外部資金
組合せ最適化の研究助成  奨学寄附金  株式会社富士通研究所  研究助成  2016/10-現在 
詳細表示...

共同・受託研究実績
ネットワーク設定検証のためのアルゴリズム技術に関する研究  2015-2016  共同研究  国内共同研究 
詳細表示...