研究発表
公開件数:65件
No. 研究発表種別 タイトル 会議名/掲載誌名 巻号頁
または発表番号
査読の有無 講演者 開催年月日 URL
1 学会口頭発表
モデル検査における反例空間の構造解析
人工知能学会 第107回人工知能基本問題研究会(SIG-FPAI)
1

戸田貴久
2018/08

2 学会口頭発表
共通要素を類似度とするハッシュベース集合間類似検索手法の改善
第10回データ工学と情報マネジメントに関するフォーラム(DEIM2018)
-/ -

鈴木 聡,古賀 久志,Gibran FUENTES PINEDA Gibran,戸田 貴久
2018/03

3 学会口頭発表
ユークリッド距離に基づく多観点非類似度とその分割最適化クラスタリングへの応用
人工知能学会 第106回人工知能基本問題研究会(SIG-FPAI)
SIG-FPAI-B509

藤原勇二, 古賀久志, 戸田貴久
2018/03

4 学会口頭発表
多観点類似度を用いた凝集型階層クラスタリング
第16回情報科学技術フォーラム
-/ -

藤原勇二、古賀久志、戸田貴久
2017/09

5 学会口頭発表
モデル検査における反例発見から反例列挙への拡張
基盤(S) 離散構造処理系プロジェクト「2017年度 初夏のワークショップ」
P03

戸田貴久
2017/06

6 学会口頭発表
集合間類似度を用いたストリームデータのtop-k類似検索に対する高速な厳密解アルゴリズム
信学技報
117/ 28

山崎智博, 古賀久志, 戸田貴久
2017/05

7 学会口頭発表
効率的なAllSATソルバーの実装と評価
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)
-/ -

戸田貴久, 宋剛秀
2017/03

8 学会口頭発表
命題論理式を充足する変数割当の網羅的探索手法について
人工知能学会 第103回人工知能基本問題研究会(SIG-FPAI)
B5/ 03

戸田貴久
2017/03/08

9 学会口頭発表
共通要素数を重視したハッシュベース集合間類似検索
第8回データ工学と情報マネジメントに関するフォーラム(DEIM2016)


板橋 大樹,古賀 久志,Gibran Fuentes Pineda GIBRAN,戸田 貴久
2016

10 学会口頭発表
部分構造の類似性を考慮したMin-Hashベースのグラフ類似検索
電子情報通信学会総合大会


宮田昂充,古賀久志,戸田貴久
2016

11 学会口頭発表
適応的に類似度を選択する類似画像検索方式
電子情報通信学会総合大会


小林 馨,古賀久志,戸田貴久
2016

12 学会口頭発表
変数間の支配関係に基づく論理式の全解列挙手法
第30回人工知能学会全国大会
1D5-OS-02b-6in2/ -

戸田貴久, 井上武
2016/06

13 学会口頭発表
2段階グラフカットを用いた動画からの移動物体抽出
情報処理学会 コンピュータビジョンとイメージメディア研究会
2015-CVIM-196(20)

土田和生、古賀久志、戸田貴久
2015

14 学会口頭発表
BDDに基づくALLSATソルバーを用いたアイテムセットマイニング
第29回人工知能学会全国大会, 2H4-OS-03a-3in


戸田貴久
2015/05

15 学会口頭発表
ALLSATのためのBDD構築および効率的なキャッシング技法
人工知能学会 第97回人工知能基本問題研究会(SIG-FPAI)


戸田貴久
2015/03

16 学会口頭発表
ハイパーグラフにおける極大独立集合列挙のためのZDD構築手法
電子情報通信学会 コンピュテーション研究会
COMP2014-45

菅谷輝治
2015/03/09

17 学会口頭発表
Twitterを利用した時事イベントとローカルイベントの同時検出
電子情報通信学会 パターン認識・メディア理解研究会
PRMU2014-69

尾久陽平、古賀久志、戸田貴久
2014

18 学会口頭発表
圧縮性に基づくパターン認識手法における特徴空間の改善
電子情報通信学会 パターン認識・メディア理解研究会
PRMU2014-76

中島優次,古賀久志,戸田貴久
2014

19 学会口頭発表
Dualization Using Decision Diagrams and Its Application for Itemset Mining
Decision Diagrams in Optimization I, INFORMS2014


Takahisa Toda
2014/11/10

20 学会口頭発表
SATソルバーを用いたBDD構築法
第5回CSPSAT2研究会


戸田貴久
2014/08/21

21 学会口頭発表
乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化
第28回人工知能学会全国大会


岩下洋哲, 戸田貴久, 津田 宏治, 湊真一
2014/05/12

22 学会口頭発表
ZDDにおける単項演算並列化の一般的枠組みの提案
第92回人工知能基本問題研究会


竹内聖悟、戸田貴久、津田宏治、湊真一
2014/01/31

23 学会口頭発表
巨大で疎な組合せ集合を表現するための三分索引化ZDD
コンピューテーション研究会、信学技報
113/ 252

青木洋士、戸田貴久、湊真一
2013/10

24 学会口頭発表
論理関数のCNFからBDDの効率的な構築法
第145回アルゴリズム研究会, 情報処理学会研究回報告
2013-AL-145/ 3

戸田貴久
2013/10/30

25 学会口頭発表
二分決定グラフに基づく大規模ハイパーグラフの双対化
第3回CSPSAT2研究会


戸田貴久
2013/07/26

26 学会口頭発表
Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams
Permutation Patterns 2013


Yuma Inoue, Takahisa Toda, Shin-ichi Minato
2013/07/04

27 学会口頭発表
二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用
2013年度人工知能学会全国大会(第27回)


戸田貴久、湊真一
2013/06

28 学会口頭発表
大規模ハイパーグラフからZDDの高速な構築アルゴリズム
アルゴリズム研究会
2013-AL-144/ 1

戸田貴久
2013/05

29 学会口頭発表
順列二分決定グラフを用いたパターン回避順列の列挙索引化
アルゴリズム研究会、情処研報
2013-AL-143/ 5

井上祐馬、戸田貴久、湊真一
2013/03

30 学会口頭発表
2分割のなす分離族の数え上げ
2011年度冬のLAシンポジウム予稿集


戸田貴久、Ivo Vigan
2012/01

31 学会口頭発表
色付きの点の集まりはいつ超平面によりその色付け通りに分割できるか?
第21回代数、論理、幾何と情報科学研究集会


戸田貴久
2010/09

32 学会口頭発表
色付きの点の集まりはいつ超平面によりその色付け通りに分割できるか?
2010年度夏のLAシンポジウム予稿集


戸田貴久
2010/07

33 学会口頭発表
与えられたどの凸多角形にも交差しない直線全体を構成するアルゴリズム
2009年度冬のLAシンポジウム予稿集


戸田貴久
2010/02

34 ワークショップ
モデル検査における反例発見から反例列挙への拡張
基盤(S) 離散構造処理系プロジェクト「2017年度 初夏のワークショップ」
-/ -

戸田貴久
2017/06

35 ワークショップ
擬似ブール制約を解く
情報系WINTER FESTA Episode2
-/ -

戸田貴久
2016/12

36 ワークショップ
擬似ブール制約を解く
基盤(S) 離散構造処理系プロジェクト「2016年度 秋のワークショップ」
-/ -

戸田貴久
2016/11

37 ワークショップ
AllSATにおける変数従属関係
基盤(S) 離散構造処理系プロジェクト「2016年度 初夏のワークショップ」
-/ -

戸田貴久,井上武
2016/06

38 ワークショップ
全解列挙型SATソルバー
情報系WINTER FESTA


戸田貴久
2015/12/22

39 ワークショップ
AllSATソルバの最近の進展
ERATO湊離散構造処理系プロジェクト2015年度秋のワークショップ


戸田貴久
2015/11/08

40 ワークショップ
All Solutions SAT, BDD Compilation and Pattern Mining
JST ERATO Kawarabayashi Large Graph Project / Minato Discrete Structure Manipulation System Project Joint Workshop


Takahisa Toda
2015/01

41 ワークショップ
Efficient Caching Mechanism in BDD Compilation
ERATO-ALSIP Special Seminar 2014


Takahisa Toda
2014/12/13

42 ワークショップ
DPLL型BDD構築法の改善
2014年度秋のワークショップ


戸田貴久
2014/09

43 ワークショップ
Three-way Indexing ZDDs for Large-scale Sparse Datasets
The fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery, in conjunction with PAKDD 2014


Hiroki Aoki, Takahisa Toda, Shin-ichi Minato
2014/05/13

44 ワークショップ
A General Framework for Parallel Unary Operations on ZDDs
The fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery, in conjunction with PAKDD 2014


Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato
2014/05/13

45 ワークショップ
Generating Permutations under Pattern Occurence Constraints Using PiDDs
The fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery, in conjunction with PAKDD 2014


Yuma Inoue, Takahisa Toda, Shin-ichi Minato
2014/05/13

46 ワークショップ
メモリ階層を考慮したBDD演算とその並列化
2014年度春のワークショップ


戸田貴久
2014/04/19

47 ワークショップ
論理関数のCNFからBDDの効率的な構築法
2013年度秋のワークショップ


戸田貴久
2013/11

48 ワークショップ
三分木によるZDDのパス長の均一化手法
2013年度初夏のワークショップ


青木洋士、戸田貴久、湊真一
2013/06

49 ワークショップ
二分決定グラフに基づくハイパーグラフ極小横断の列挙
2013年度初夏のワークショップ


戸田貴久
2013/06

50 ワークショップ
二分決定グラフを用いたフロアプランの解析に向けて
2012年度秋のワークショップ


戸田貴久
2012/10

51 ワークショップ
二分決定グラフから変数同等関係の抽出
2012年度初夏のワークショップ


戸田貴久
2012/06

52 国内会議招待講演
命題論理式を充足する変数割当の網羅的探索手法について
人工知能学会 第103回人工知能基本問題研究会(SIG-FPAI)


戸田貴久
2017/03

53 その他講演
AllSATソルバの最近の進展
Genome Privacy CREST セミナートーク


戸田貴久
2015/11

54 その他講演
BDDを用いたALLSATの枠組みとパターンマイニングへの応用



戸田貴久
2015/04/09

55 その他講演
サイクル描画について
第20回列挙アルゴリズムセミナー


戸田貴久
2014/09

56 その他講演
二分決定グラフに基づくハイパーグラフ極小横断の列挙
第12回情報科学技術フォーラム


戸田貴久
2013/09

57 その他講演
二分決定グラフに基づく極小横断の列挙
組合せ数学セミナー


戸田貴久
2013/07

58 その他講演
2分決定グラフに基づくハイパーグラフ双対化
第17回列挙アルゴリズムセミナー


戸田貴久
2013/04

59 その他講演
On Separating Convex Points with Lines
ERATOセミナー


戸田貴久, Ivo Vigan
2012/11

60 その他講演
2分割のなす分離族おん数え上げ
ERATOセミナー


戸田貴久、Ivo Vigan
2011/12/26

61 その他講演
集合を粉砕する二分割の集まりはいくつあるか?
列挙学校


戸田貴久、Ivo Vigan
2011/09

62 その他講演
On Partitioning Colored Points
Kyoto Prize Satellite Workshop in Honor of Professor Laszlo Lovasz


Takahisa Toda
2010/11

63 その他講演
Multi-convex sets in real projective spaces and their duality
Third Texas Southmost Geometry and Topology Conference


Takahisa Toda
2010/04

64 その他講演
What is a Convex Set in a Real Projective Space? - An Interesting Helly-type Theorem -
Combinatorics: Methods and Applications in Mathematics and Computer Science, Workshop II: Combinatorial Geometry


Takahisa Toda
2009/10

65 その他講演
Domain-theoretical aspects of convex sets in real projective space
Continuity, Computability, Constructivity: From Logic to Algorithms


Takahisa Toda
2009/07