Takahisa TODA

J-GLOBAL         Last updated: Jul 9, 2019 at 04:05
 
Avatar
Name
Takahisa TODA
Affiliation
The University of Electro-Communications
Section
Graduate School of Informatics and Engineering, School of Informatics and Engineering, "Department of Computer and Network Engineering, Cluster I (Informatics and Computer Engineering)"
Job title
Associate Professor

Research Areas

 
 

Academic & Professional Experience

 
Apr 2006
 - 
Mar 2008
研究員, 自律システム研究部, 富士通研究所
 
Apr 2012
 - 
Feb 2014
博士研究員, JST ERATO湊離散構造処理系プロジェクト
 
Apr 2012
 - 
Feb 2014
学術研究員, 情報科学研究科, 北海道大学
 

Education

 
Apr 2000
   
 
物理工学科, 工学部, Kyoto University
 
Apr 2004
 - 
Mar 2006
共生人間学, 人間・環境学研究科, Kyoto University
 
Apr 2009
 - 
Mar 2012
共生人間学, 人間・環境学研究科, Kyoto University
 
 
 - 
Mar 2004
基礎科学科, 総合人間学部, Kyoto University
 

Published Papers

 
Extended Min-Hash Focusing on Intersection Cardinality
Hisashi Koga, Satoshi Suzuki, Taiki Itabashi, Gibran Fuentes Pineda, Takahisa Toda
IDEAL   1 17-26   2018   [Refereed]
Fast Exact Algorithm to Solve Continuous Similarity Search for Evolving Queries
Tomohiro Yamazaki, Hisashi Koga, Takahisa Toda
Proc. of 13th Asia Information Retrieval Societies Conference   LNCS 10648 84-96   2017   [Refereed]
Improved Compression-Based Pattern Recognition Exploiting New Useful Freatures
Taichi Uchino, Hisashi Koga, Takahisa Toda
Proc. of the 8-th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA)   10255 363-371   2017   [Refereed]
Exploiting Functional Dependencies of Variables in All-Solutions SAT Solvers
Takahisa Toda, Takeru Inoue
Journal of Information Processing   25(-) 459-468   2017   [Refereed]
Fast Exact Algorithm to Solve Continuous Similarity Search for Evolving Queries
Tomohiro Yamazaki, Hisashi Koga, Takahisa Toda
AIRS 2017   LNCS 10648 84-96   Nov 2017   [Refereed]

Books etc

 
ERATO 湊離散構造処理系プロジェクト (Part:Joint Work, 第2章)
森北出版   Apr 2015   ISBN:978-4627852617

Conference Activities & Talks

 
交差回避制約によるSAT型ナンバーリンクソルバーの高速化
渡辺光洋,戸田貴久
第108回人工知能基本問題研究会   14 Mar 2019   人工知能学会
モデル検査における反例空間の構造解析
戸田貴久
人工知能学会 第107回人工知能基本問題研究会(SIG-FPAI)   Aug 2018   
共通要素を類似度とするハッシュベース集合間類似検索手法の改善
鈴木 聡,古賀 久志,Gibran FUENTES PINEDA Gibran,戸田 貴久
第10回データ工学と情報マネジメントに関するフォーラム(DEIM2018)   Mar 2018   
ユークリッド距離に基づく多観点非類似度とその分割最適化クラスタリングへの応用
藤原勇二, 古賀久志, 戸田貴久
人工知能学会 第106回人工知能基本問題研究会(SIG-FPAI)   Mar 2018   
多観点類似度を用いた凝集型階層クラスタリング
藤原勇二、古賀久志、戸田貴久
第16回情報科学技術フォーラム   Sep 2017   

Teaching Experience

 

Research Grants & Projects

 
組合せ最適化の研究助成
株式会社富士通研究所: 研究助成
Project Year: Oct 2017       Investigator(s): 戸田 貴久
大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用
Project Year: Apr 2017 - Mar 2021    Investigator(s): 戸田貴久
組合せ最適化の研究助成
株式会社富士通研究所: 研究助成
Project Year: Oct 2016       Investigator(s): 戸田 貴久
決定グラフを用いた超大規模ヒッティング集合の列挙・索引化とその知識発見への応用
Project Year: Apr 2014 - Mar 2018    Investigator(s): 戸田貴久

Patents

 
特開2017-208001 : 状態遷移評価装置、状態遷移評価方法