• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

戸田 貴久  Toda Takahisa

ORCIDORCID連携する *注記
研究者番号 50451159
その他のID
所属 (現在) 2025年度: 電気通信大学, 大学院情報理工学研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記 2018年度 – 2023年度: 電気通信大学, 大学院情報理工学研究科, 准教授
2016年度 – 2017年度: 電気通信大学, 大学院情報理工学研究科, 助教
2014年度 – 2015年度: 電気通信大学, その他の研究科, 助教
審査区分/研究分野
研究代表者
情報学基礎理論 / 知能情報学
研究代表者以外
学術変革領域研究区分(Ⅳ)
キーワード
研究代表者
SATソルバー / AllSAT / モデル検査 / SAT / アルゴリズム / データマイニング / ネットワーク / 制約 / データベースの匿名化 / 複合イベント処理 … もっと見る / サンプリング / プライバシ / セキュリティ / 反例解析 / 制約充足問題 / 並列化 / BDD / ALLSAT / 論理関数の双対化 / モデル列挙 / 論理関数 / 双対化 / アイテムセットマイニング / 二分決定グラフ / 列挙 / ヒッティング集合 … もっと見る
研究代表者以外
SATソルバー / 配電切替 / 配電網の開閉器切替 / 二分決定グラフ / グラフアルゴリズム / 配電制御 / ゼロサプレス型二分決定グラフ / モデル検査 / SAT / ソルバー / 組合せ遷移 隠す
  • 研究課題

    (3件)
  • 研究成果

    (47件)
  • 共同研究者

    (8人)
  •  工学アプローチによる組合せ遷移の展開:配電切替を足がかりとして汎用ソルバーへ

    • 研究代表者
      川原 純
    • 研究期間 (年度)
      2020 – 2022
    • 研究種目
      学術変革領域研究(B)
    • 審査区分
      学術変革領域研究区分(Ⅳ)
    • 研究機関
      京都大学
  •  大規模制約充足問題の全解探索のための実用的な計算基盤の確立とその応用研究代表者

    • 研究代表者
      戸田 貴久
    • 研究期間 (年度)
      2017 – 2021
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎理論
    • 研究機関
      電気通信大学
  •  決定グラフを用いた超大規模ヒッティング集合の列挙・索引化とその知識発見への応用研究代表者

    • 研究代表者
      戸田 貴久
    • 研究期間 (年度)
      2014 – 2017
    • 研究種目
      若手研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      電気通信大学

すべて 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability2023

    • 著者名/発表者名
      Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
    • 雑誌名

      Proc. of 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023)

      巻: - ページ: 294-302

    • DOI

      10.1109/ictai59109.2023.00050

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-19K11814, KAKENHI-PROJECT-22K11910, KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-23K11047, KAKENHI-PROJECT-20K11666, KAKENHI-PROJECT-18K18003, KAKENHI-PLANNED-20H05793, KAKENHI-PLANNED-20H05794
  • [雑誌論文] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023

    • 著者名/発表者名
      Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama and Takahisa Toda
    • 雑誌名

      Proceedings of the 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), Lecture Notes in Computer Science (LNCS)

      巻: 13884 ページ: 1-17

    • DOI

      10.1007/978-3-031-33271-5_12

    • ISBN
      9783031332708, 9783031332715
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20K11666, KAKENHI-PROJECT-19K11814, KAKENHI-PROJECT-22K11910, KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-23K11047, KAKENHI-PROJECT-18K18003, KAKENHI-PLANNED-20H05793, KAKENHI-PLANNED-20H05794
  • [雑誌論文] ZDD-based algorithmic framework for solving shortest reconfiguration problems2022

    • 著者名/発表者名
      Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
    • 雑誌名

      arXiv

      巻: 2207.13959

    • オープンアクセス
    • データソース
      KAKENHI-PLANNED-20H05794
  • [雑誌論文] 交差回避制約を用いた単純配線決定問題のCSP解法2021

    • 著者名/発表者名
      渡辺 光洋, 戸田 貴久
    • 雑誌名

      電子情報通信学会論文誌D 情報・システム

      巻: J104-D 号: 4 ページ: 434-441

    • DOI

      10.14923/transinfj.2020JDP7051

    • ISSN
      1880-4535, 1881-0225
    • 年月日
      2021-04-01
    • 言語
      日本語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17K17725
  • [雑誌論文] Interval-based Counterexample Analysis for Error Explanation2021

    • 著者名/発表者名
      Takahisa Toda, Takeru Inoue
    • 雑誌名

      Journal of Information Processing

      巻: 29 号: 0 ページ: 630-639

    • DOI

      10.2197/ipsjjip.29.630

    • NAID

      130008104497

    • ISSN
      1882-6652
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17K17725
  • [雑誌論文] Exact Method for Generating Strategy-Solvable Sudoku Clues2020

    • 著者名/発表者名
      Kohei Nishikawa, Takahisa Toda
    • 雑誌名

      Algorithms

      巻: 13 号: 7 ページ: 1-17

    • DOI

      10.3390/a13070171

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17K17725
  • [雑誌論文] Exploiting Functional Dependencies of Variables in All Solutions SAT Solvers2017

    • 著者名/発表者名
      Takahisa Toda, Takeru Inoue
    • 雑誌名

      Journal of Information Processing

      巻: 25 号: 0 ページ: 459-468

    • DOI

      10.2197/ipsjjip.25.459

    • NAID

      130005775576

    • ISSN
      1882-6652
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17K17725, KAKENHI-PROJECT-26870011
  • [雑誌論文] ZDDと列挙問題 - 最新の技法とプログラミングツール2017

    • 著者名/発表者名
      戸田貴久, 斎藤寿樹, 岩下洋哲, 川原純, 湊真一
    • 雑誌名

      日本ソフトウェア科学会論文誌 コンピュータソフトウェア

      巻: -

    • NAID

      130005966815

    • 査読あり
    • データソース
      KAKENHI-PROJECT-26870011
  • [雑誌論文] Dualization of Boolean Functions Using Ternary Decision Diagrams2017

    • 著者名/発表者名
      Takahisa Toda
    • 雑誌名

      Annals of Mathematics and Artificial Intelligence

      巻: 79 号: 1-3 ページ: 229-244

    • DOI

      10.1007/s10472-016-9520-z

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26870011
  • [雑誌論文] Implementing Efficient All Solutions SAT Solvers2016

    • 著者名/発表者名
      Takahisa Toda, Takehide Soh
    • 雑誌名

      Journal of Experimental Algorithmics

      巻: 21(1) ページ: 1-44

    • DOI

      10.1145/2975585

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15K00099, KAKENHI-PROJECT-16K16036, KAKENHI-PROJECT-26870011, KAKENHI-PROJECT-16H02803
  • [雑誌論文] Superset generation on decision diagrams2015

    • 著者名/発表者名
      Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato
    • 雑誌名

      Proc. 9th International Workshop on Algorithms and Computation (WALCOM 2015), Lecture Notes in Computer Science

      巻: 8973 ページ: 317-322

    • DOI

      10.1007/978-3-319-15612-5_28

    • ISBN
      9783319156118, 9783319156125
    • 査読あり
    • データソース
      KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-26870011
  • [雑誌論文] A General Framework for Parallel Unary Operations on ZDDs2014

    • 著者名/発表者名
      Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato
    • 雑誌名

      Trends and Applications in Knowledge Discovery and Data Mining Lecture Notes in Computer Science

      巻: 8643 ページ: 494-503

    • DOI

      10.1007/978-3-319-13186-3_44

    • NAID

      40019948150

    • ISBN
      9783319131856, 9783319131863
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability2023

    • 著者名/発表者名
      Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
    • 学会等名
      35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-20H05794
  • [学会発表] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023

    • 著者名/発表者名
      Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
    • 学会等名
      20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-20H05794
  • [学会発表] A ZDD-based solver for combinatorial reconfiguration problems2022

    • 著者名/発表者名
      Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
    • 学会等名
      4th Combinatorial Reconfiguration Workshop
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-20H05794
  • [学会発表] ZDDを用いた組合せ遷移ソルバーについての考察2022

    • 著者名/発表者名
      伊藤 健洋, 川原 純, 宋 剛秀, 鈴木 顕, 照山 順一, 戸田 貴久
    • 学会等名
      2021年度冬のLAシンポジウム, 京都大学数理解析研究所RIMS共同研究(公開型), 情報社会を支える計算機科学の基礎理論
    • データソース
      KAKENHI-PLANNED-20H05794
  • [学会発表] ZDDを用いた組合せ遷移ソルバー2022

    • 著者名/発表者名
      伊藤 健洋, 川原 純, 中畑 裕, 宋 剛秀, 鈴木 顕, 照山 順一, 戸田 貴久
    • 学会等名
      日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
    • データソース
      KAKENHI-PLANNED-20H05794
  • [学会発表] 不確実性下における複合イベント処理に関する考察2022

    • 著者名/発表者名
      夏 涛, 戸田 貴久
    • 学会等名
      第186回アルゴリズム研究発表会
    • データソース
      KAKENHI-PROJECT-17K17725
  • [学会発表] 有界モデル検査による独立集合遷移問題の解法に関する考察(On solving independent set reconfiguration problems with bounded model checking)2022

    • 著者名/発表者名
      戸田 貴久, 伊藤 健洋, 川原 純, 宋 剛秀, 鈴木 顕, 照山 順一
    • 学会等名
      第186回アルゴリズム研究発表会
    • データソース
      KAKENHI-PLANNED-20H05794
  • [学会発表] 有界モデル検査による独立集合遷移問題の解法に関する考察2022

    • 著者名/発表者名
      戸田 貴久, 伊藤 健洋, 川原 純, 宋 剛秀, 鈴木 顕, 照山 順一
    • 学会等名
      第186回アルゴリズム研究発表会
    • データソース
      KAKENHI-PROJECT-17K17725
  • [学会発表] 属性間依存度を考慮したデータベースの安全なフラグメント化2022

    • 著者名/発表者名
      磯田 飛鳥, 戸田 貴久
    • 学会等名
      第14回データ工学と情報マネジメントに関するフォーラム
    • データソース
      KAKENHI-PROJECT-17K17725
  • [学会発表] 命題論理式の解の一様サンプリングの改善2021

    • 著者名/発表者名
      中島祐輝,戸田貴久
    • 学会等名
      第20回情報科学技術フォーラム
    • データソース
      KAKENHI-PROJECT-17K17725
  • [学会発表] SATフィルターの検討2019

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      基盤(S) 離散構造処理系プロジェクト 「2019年度 秋のワークショップ」
    • データソース
      KAKENHI-PROJECT-17K17725
  • [学会発表] 制約言語の観点におけるCP4IMの複雑さ2019

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      基盤(S) 離散構造処理系プロジェクト 「2019年度 初夏のワークショップ」
    • データソース
      KAKENHI-PROJECT-17K17725
  • [学会発表] モデル検査における反例空間の構造解析2018

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      人工知能学会 第107回人工知能基本問題研究会
    • データソース
      KAKENHI-PROJECT-17K17725
  • [学会発表] 誤りの効果的な説明のための反例空間解析2018

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      第170回アルゴリズム研究会
    • データソース
      KAKENHI-PROJECT-17K17725
  • [学会発表] 命題論理式を充足する変数割当の網羅的探索手法について2017

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      人工知能学会 第103回人工知能基本問題研究会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-17K17725
  • [学会発表] 効率的なAllSATソルバーの実装と評価2017

    • 著者名/発表者名
      戸田貴久, 宋剛秀
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ
    • データソース
      KAKENHI-PROJECT-17K17725
  • [学会発表] 効率的なAllSATソルバーの実装と評価2017

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)
    • 発表場所
      華やぎの章 慶山(山梨県笛吹市)
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] 命題論理式を充足する変数割当の網羅的探索手法について2017

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      人工知能学会 第103回人工知能基本問題研究会(SIG-FPAI)
    • 発表場所
      湯布院公民館(大分県由布市)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] モデル検査における反例発見から反例列挙への拡張2017

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      基盤(S) 離散構造処理系プロジェクト「2017年度 初夏のワークショップ」
    • データソース
      KAKENHI-PROJECT-17K17725
  • [学会発表] モデル検査における反例発見から反例列挙への拡張2017

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      基盤(S) 離散構造処理系プロジェクト「2017年度 初夏のワークショップ」
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] 反例列挙に基づくモデル解析について2017

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      基盤(S) 離散構造処理系プロジェクト「2017年度 秋のワークショップ」
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] 変数間の支配関係に基づく論理式の全解列挙手法2016

    • 著者名/発表者名
      戸田 貴久, 井上 武
    • 学会等名
      第30回人工知能学会全国大会
    • 発表場所
      福岡県北九州市
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] 変数間の支配関係に基づく論理式の全解列挙手法2016

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      第30回人工知能学会全国大会
    • 発表場所
      北九州国際会議場(福岡県北九州市)
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] BDD construction for all solutions SAT and efficient caching mechanism2015

    • 著者名/発表者名
      Takahisa Toda, Koji Tsuda
    • 学会等名
      Proceedings of the 30th Annual ACM Symposium on Applied Computing
    • 発表場所
      Salamanca, Spain
    • 年月日
      2015-04-17
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] BDDに基づくALLSATソルバーを用いたアイテムセットマイニング2015

    • 著者名/発表者名
      戸田貴久, 津田 宏治
    • 学会等名
      第29回人工知能学会全国大会
    • 発表場所
      北海道函館市
    • 年月日
      2015-05-31
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] AllSATソルバの最近の進展2015

    • 著者名/発表者名
      戸田貴久, 宋剛秀
    • 学会等名
      ERATO湊離散構造処理系プロジェクト2015年度秋のワークショップ
    • 発表場所
      北海道千歳市
    • 年月日
      2015-11-08
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] All Solutions SAT, BDD Compilation and Pattern Mining2015

    • 著者名/発表者名
      Takahisa Toda, Koji Tsuda
    • 学会等名
      JST ERATO Kawarabayashi Large Graph Project / Minato Discrete Structure Manipulation System Project Joint Workshop
    • 発表場所
      東京都江東区
    • 年月日
      2015-01-23
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] Efficient Caching Mechanism in BDD Compilation

    • 著者名/発表者名
      Takahisa Toda, Koji Tsuda
    • 学会等名
      ERATO-ALSIP Special Seminar 2014
    • 発表場所
      京都府京都市
    • 年月日
      2014-12-12 – 2014-12-13
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] メモリ階層を考慮したBDD演算とその並列化

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      ERATO湊離散構造処理系プロジェクト2014年度春のワークショップ
    • 発表場所
      北海道札幌市
    • 年月日
      2014-04-18 – 2014-04-19
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] SATソルバーを用いたBDD構築法

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      第5回CSPSAT2研究会
    • 発表場所
      兵庫県神戸市
    • 年月日
      2014-08-21 – 2014-08-22
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] ALLSATのためのBDD構築および効率的なキャッシング技法

    • 著者名/発表者名
      戸田貴久,津田宏治
    • 学会等名
      人工知能学会 第97回人工知能基本問題研究会(SIG-FPAI)
    • 発表場所
      大分県別府市
    • 年月日
      2015-03-22 – 2015-03-23
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] BDD Construction for All Solutions SAT and Efficient Caching Mechanism

    • 著者名/発表者名
      Takahisa Toda, Koji Tsuda
    • 学会等名
      the 30th Annual ACM Symposium on Applied Computing
    • 発表場所
      Salamanca, Spain
    • 年月日
      2015-04-13 – 2015-04-17
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] DPLL型BDD構築法の改善

    • 著者名/発表者名
      戸田貴久
    • 学会等名
      ERATO湊離散構造処理系プロジェクト2014年度秋のワークショップ
    • 発表場所
      北海道礼文島
    • 年月日
      2014-09-07 – 2014-09-10
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] Dualization Using Decision Diagrams and Its Application for Itemset Mining

    • 著者名/発表者名
      Takahisa Toda
    • 学会等名
      INFORMS2014
    • 発表場所
      San Francisco, USA
    • 年月日
      2014-11-09 – 2014-11-12
    • 招待講演
    • データソース
      KAKENHI-PROJECT-26870011
  • [学会発表] 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化

    • 著者名/発表者名
      岩下洋哲, 戸田貴久, 津田 宏治, 湊真一
    • 学会等名
      第28回人工知能学会全国大会
    • 発表場所
      愛媛県松山市
    • 年月日
      2014-05-12 – 2014-05-15
    • データソース
      KAKENHI-PROJECT-26870011
  • 1.  川原 純 (20572473)
    共同の研究課題数: 1件
    共同の研究成果数: 7件
  • 2.  飯岡 大輔 (30377808)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 3.  宋 剛秀 (00625121)
    共同の研究課題数: 1件
    共同の研究成果数: 8件
  • 4.  鈴木 顕 (10723562)
    共同の研究課題数: 1件
    共同の研究成果数: 8件
  • 5.  照山 順一 (40709862)
    共同の研究課題数: 1件
    共同の研究成果数: 7件
  • 6.  中畑 裕 (50942067)
    共同の研究課題数: 1件
    共同の研究成果数: 4件
  • 7.  津田 宏治
    共同の研究課題数: 0件
    共同の研究成果数: 1件
  • 8.  伊藤 健洋
    共同の研究課題数: 0件
    共同の研究成果数: 1件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi