メニュー
Search
Search Research Projects
Search Researchers
Japanese
English
Back to previous page
戸田 貴久
トダ タカヒサ
Connect your ORCID iD
*help
Researcher Number
50451159
Other IDs
Affiliation
*help
2016 – 2018 : 電気通信大学, 大学院情報理工学研究科, 助教
2014 – 2015 : 電気通信大学, その他の研究科, 助教
Review Section/Research Field
Principal Investigator
Intelligent informatics
/
Theory of informatics
Keywords
Principal Investigator
AllSAT / SATソルバー / 二分決定グラフ / アルゴリズム / 論理関数の双対化 / モデル列挙 / データマイニング / ネットワーク / BDD / ALLSAT / 並列化
Research Projects
(
2
results)
Research Products
(
12
results)
Project Start Year(Newest)
Project Start Year(Oldest)
大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用
Principal Investigator
Ongoing
Principal Investigator
戸田 貴久
Project Period (FY)
2017 – 2020
Research Category
Grant-in-Aid for Young Scientists (B)
Research Field
Intelligent informatics
Theory of informatics
Research Institution
The University of Electro-Communications
決定グラフを用いた超大規模ヒッティング集合の列挙・索引化とその知識発見への応用
Principal Investigator
Ongoing
Principal Investigator
戸田 貴久
Project Period (FY)
2014 – 2017
Research Category
Grant-in-Aid for Young Scientists (B)
Research Field
Theory of informatics
Intelligent informatics
Research Institution
The University of Electro-Communications
All
2017
2016
2015
Other
All
Journal Article
Presentation
[Journal Article] ZDDと列挙問題 - 最新の技法とプログラミングツール
2017
Author(s)
戸田貴久, 斎藤寿樹, 岩下洋哲, 川原純, 湊真一
Journal Title
日本ソフトウェア科学会論文誌 コンピュータソフトウェア
Volume
: -
Peer Reviewed
Data Source
KAKENHI-PROJECT-26870011
[Presentation] 命題論理式を充足する変数割当の網羅的探索手法について
2017
Author(s)
戸田貴久
Organizer
人工知能学会 第103回人工知能基本問題研究会(SIG-FPAI)
Place of Presentation
湯布院公民館（大分県由布市）
Invited
Data Source
KAKENHI-PROJECT-26870011
[Presentation] 効率的なAllSATソルバーの実装と評価
2017
Author(s)
戸田貴久
Organizer
第19回プログラミングおよびプログラミング言語ワークショップ（PPL2017）
Place of Presentation
華やぎの章 慶山（山梨県笛吹市）
Data Source
KAKENHI-PROJECT-26870011
[Presentation] 変数間の支配関係に基づく論理式の全解列挙手法
2016
Author(s)
戸田 貴久, 井上 武
Organizer
第30回人工知能学会全国大会
Place of Presentation
福岡県北九州市
Year and Date
2016-06-06
Data Source
KAKENHI-PROJECT-26870011
[Presentation] 変数間の支配関係に基づく論理式の全解列挙手法
2016
Author(s)
戸田貴久
Organizer
第30回人工知能学会全国大会
Place of Presentation
北九州国際会議場（福岡県北九州市）
Data Source
KAKENHI-PROJECT-26870011
[Presentation] AllSATソルバの最近の進展
2015
Author(s)
戸田貴久, 宋剛秀
Organizer
ERATO湊離散構造処理系プロジェクト2015年度秋のワークショップ
Place of Presentation
北海道千歳市
Year and Date
2015-11-08
Data Source
KAKENHI-PROJECT-26870011
[Presentation] BDDに基づくALLSATソルバーを用いたアイテムセットマイニング
2015
Author(s)
戸田貴久, 津田 宏治
Organizer
第29回人工知能学会全国大会
Place of Presentation
北海道函館市
Year and Date
2015-05-31
Data Source
KAKENHI-PROJECT-26870011
[Presentation] メモリ階層を考慮したBDD演算とその並列化
Author(s)
戸田貴久
Organizer
ERATO湊離散構造処理系プロジェクト2014年度春のワークショップ
Place of Presentation
北海道札幌市
Year and Date
2014-04-18 – 2014-04-19
Data Source
KAKENHI-PROJECT-26870011
[Presentation] 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化
Author(s)
岩下洋哲, 戸田貴久, 津田 宏治, 湊真一
Organizer
第28回人工知能学会全国大会
Place of Presentation
愛媛県松山市
Year and Date
2014-05-12 – 2014-05-15
Data Source
KAKENHI-PROJECT-26870011
[Presentation] ALLSATのためのBDD構築および効率的なキャッシング技法
Author(s)
戸田貴久，津田宏治
Organizer
人工知能学会 第97回人工知能基本問題研究会(SIG-FPAI)
Place of Presentation
大分県別府市
Year and Date
2015-03-22 – 2015-03-23
Data Source
KAKENHI-PROJECT-26870011
[Presentation] DPLL型BDD構築法の改善
Author(s)
戸田貴久
Organizer
ERATO湊離散構造処理系プロジェクト2014年度秋のワークショップ
Place of Presentation
北海道礼文島
Year and Date
2014-09-07 – 2014-09-10
Data Source
KAKENHI-PROJECT-26870011
[Presentation] SATソルバーを用いたBDD構築法
Author(s)
戸田貴久
Organizer
第5回CSPSAT2研究会
Place of Presentation
兵庫県神戸市
Year and Date
2014-08-21 – 2014-08-22
Data Source
KAKENHI-PROJECT-26870011
×
Are you sure that you want to connect your ORCID iD to this researcher?
×
