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 

学内担当授業科目
2018  大学院技術英語  前期  大学院(IE) 
2018  基礎プログラミングおよび演習  後期  学部(昼間) 
詳細表示...

学外担当授業科目
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  25/ -, 459-468  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 
詳細表示...

研究発表
学会口頭発表  共通要素を類似度とするハッシュベース集合間類似検索手法の改善  第10回データ工学と情報マネジメントに関するフォーラム(DEIM2018)  -/ -  無  鈴木 聡,古賀 久志,Gibran FUENTES PINEDA Gibran,戸田 貴久  2018/03 
学会口頭発表  ユークリッド距離に基づく多観点非類似度とその分割最適化クラスタリングへの応用  人工知能学会 第106回人工知能基本問題研究会(SIG-FPAI)  SIG-FPAI-B509  無  藤原勇二, 古賀久志, 戸田貴久  2018/03 
学会口頭発表  多観点類似度を用いた凝集型階層クラスタリング  第16回情報科学技術フォーラム  -/ -  無  藤原勇二、古賀久志、戸田貴久  2017/09 
学会口頭発表  集合間類似度を用いたストリームデータのtop-k類似検索に対する高速な厳密解アルゴリズム  信学技報  117/ 28  無  山崎智博, 古賀久志, 戸田貴久  2017/05 
学会口頭発表  効率的なAllSATソルバーの実装と評価  第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)  -/ -  無  戸田貴久, 宋剛秀  2017/03 
詳細表示...

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

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

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