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

湊 真一  MINATO Shin-ichi

ORCIDORCID連携する *注記
研究者番号 10374612
その他のID
外部サイト
所属 (現在) 2025年度: 京都大学, 情報学研究科, 教授
所属 (過去の研究課題情報に基づく) *注記 2018年度 – 2025年度: 京都大学, 情報学研究科, 教授
2012年度 – 2017年度: 北海道大学, 情報科学研究科, 教授
2015年度: 北海道大学, 大学院情報科学研究科, 教授
2011年度: 北海道大学, 大学院・情報科学研究科, 准教授
2010年度 – 2011年度: 北海道大学, 大学院・情報科学研究科, 教授 … もっと見る
2007年度 – 2009年度: 北海道大学, 大学院・情報科学研究科, 准教授
2007年度: 北海道大学, 大学情報科学研究科, 准教授
2007年度: 北海道大學, 大学院・情報化科学研究所, 准教授
2006年度: 北海道大学, 大学院情報科学研究科, 助教授
2004年度 – 2005年度: 北海道大学, 大学院・情報科学研究科, 助教授 隠す
審査区分/研究分野
研究代表者
知能情報学 / 中区分60:情報科学、情報工学およびその関連分野 / 中区分61:人間情報学およびその関連分野 / 学術変革領域研究区分(Ⅳ) / 知能情報学
研究代表者以外
理工系 / 知能情報学 / 小区分11020:幾何学関連 / 中区分60:情報科学、情報工学およびその関連分野 / 学術変革領域研究区分(Ⅳ) … もっと見る / 数理情報学 / 理工系 / 知能情報学 / 工学 / 理工系 隠す
キーワード
研究代表者
BDD / ZDD / 二分決定グラフ / 離散構造 / 索引化 / 演算処理系 / 列挙 / アルゴリズム / ZBDD / 組合せ集合 … もっと見る / 論理関数 / 大規模データ処理 / データベース解析 / データマイニング / 研究推進 / 組織運営 / 革新的アルゴリズム基盤 / 網羅的解析 / グラフアルゴリズム / データ構造 / 列挙アルゴリズム / 離散構造処理系 / 最適化 / グラフ理論 / Basic Software / Database Analysis / Data Mining / Binary Decision Diagram / 基盤ソフトウェア / 簡潔データ構造 / ベイジアンネットワーク / 知識発見とデータマイニング … もっと見る
研究代表者以外
二分決定グラフ / アルゴリズム / 機械学習 / 半構造データ / データマイニング / 知識発見 / ストリーム処理 / 大規模知識索引 / セキュリティ / データ構造 / 知識処理 / 情報ネットワーク / グラフマイニング / 高次元非構造データ検索 / 非構造データ / ビッグデータ / 知識索引 / イベントストリーム処理 / 半構造マイニング / パターン発見 / 知識発見とデータマイニング / 計算料理論 / グラフアルゴリズム / 計算代数 / BDD / 実限量化子消去 / 特異点論 / 局所コホモロジー / 実行可能集合 / 多目的最適化 / 包括的混合的標準基底 / 実用的アルゴリズム / SATソルバ / 組合せ遷移 / 二分決定図 / 計算困難・計算不能な問題 / SATアルゴリズム / 文字列アルゴリズム / 列挙アルゴリズム / 大規模離散構造 / 3次元一般剛性 / トラス・トポロジー最適化 / 最速避難計画問題 / 動的ネットワークフロー / 最適避難所配置 / 最速避難計画 / 帰宅シミュレーション / 避難所配置問題 / 動的フロー / 多面体平坦折り畳み / 最速フロー問題 / 冗長剛性 / 普遍的最速フロー / ブレース追加問題 / 避難計画 / 大域剛性 / 組合せ剛性理論 / 最速フロー / ELC Workshop / ELC Seminar / ELC 秋学校 / 計算理論若手研究者育成 / 計算限界研究センター / 多視点からの統合的解析 / 若手研究者育成 / 各種啓発・研究成果波及 / 国際研究者交流 / 多視点からの連携研究 / 計算限界解明手法の開拓 / 成果の総括と公表 / 計算量上下界解析 / アルゴリズム理論 / 計算複雑さの理論 / 成果の波及 / 成果の総括 / 若手研究者の育成 / 研究拠点形成 / 研究連携促進 / 計算限界解明 / 時空間データマイニング / 意味マイニング / sequence and tree mining / information extraction / knowledge indexing / knowledge society / optimized pattern discovery / data mining / semi-structured data / knowledge infrastructure formation / 極太パターン発見 / 知識索引構造 / 系列と木マイニング / 情報抽出 / 知識集約型技術 / 知識基盤形成 / イベント照合 / 超低メモリアルゴリズム / 部分超グラフ列挙 / 半構造マイニングエンジン / ZDD / 群パターンマイニング / トラジェクトリ照合 / 高次元データ検索 / 大規模半構造データ / ゼロサプレス型二分決定グラフ / 情報ネットワーク経済 / ゲーム理論 / 人工知能 / 簡潔記述法 / 特性関数 / 提携構造形成問題 / 協力ゲーム / マルチエージェントシステム / ウェブページ / 極大パターン発見 / エピソードマイニング / 頻出パターン発見 / 感染症 / インフルエンザウイルス / 生体生命情報学 / 計算量理論 / 区間グラフ / Tree-Shellable論理関数 / 二分モーメントグラフ / Tree-shellable論理関数 / パラメータ化計算量 / シンボリックアルゴリズム / 論理関数 / 文法圧縮 / 系列パターン / パターン照合 / XMLデータ / ウェブマイニング 隠す
  • 研究課題

    (25件)
  • 研究成果

    (454件)
  • 共同研究者

    (63人)
  •  離散構造処理に基づく列挙・最適化・制約充足の統合的技法とその応用研究代表者

    • 研究代表者
      湊 真一
    • 研究期間 (年度)
      2025 – 2029
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      京都大学
  •  理論的に計算不能・計算困難なクラスの可解領域の研究

    • 研究代表者
      上原 隆平
    • 研究期間 (年度)
      2024 – 2028
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分60:情報科学、情報工学およびその関連分野
    • 研究機関
      北陸先端科学技術大学院大学
  •  情報と数学の協働による特異点自動分類および認識と応用

    • 研究代表者
      寺本 央
    • 研究期間 (年度)
      2023 – 2026
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分11020:幾何学関連
    • 研究機関
      関西大学
  •  社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化領域代表者

    • 領域代表者
      湊 真一
    • 研究期間 (年度)
      2020 – 2024
    • 研究種目
      学術変革領域研究(A)
  •  研究領域「革新的アルゴリズム基盤」の組織運営と研究推進研究代表者

    • 研究代表者
      湊 真一
    • 研究期間 (年度)
      2020 – 2024
    • 研究種目
      学術変革領域研究(A)
    • 審査区分
      学術変革領域研究区分(Ⅳ)
    • 研究機関
      京都大学
  •  大規模離散構造の理解と革新的アルゴリズム基盤の創出

    • 研究代表者
      堀山 貴史
    • 研究期間 (年度)
      2020 – 2024
    • 研究種目
      学術変革領域研究(A)
    • 審査区分
      学術変革領域研究区分(Ⅳ)
    • 研究機関
      北海道大学
  •  離散構造処理系に基づく列挙と最適化の統合的技法の研究研究代表者

    • 研究代表者
      湊 真一
    • 研究期間 (年度)
      2020 – 2024
    • 研究種目
      基盤研究(A)
    • 審査区分
      中区分61:人間情報学およびその関連分野
    • 研究機関
      京都大学
  •  実世界知識基盤形成のための次世代半構造マイニング技術の研究

    • 研究代表者
      有村 博紀
    • 研究期間 (年度)
      2016 – 2019
    • 研究種目
      基盤研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      北海道大学
  •  離散構造処理系の基盤アルゴリズムの研究研究代表者

    • 研究代表者
      湊 真一
    • 研究期間 (年度)
      2015 – 2019
    • 研究種目
      基盤研究(S)
    • 研究分野
      知能情報学
    • 研究機関
      京都大学
      北海道大学
  •  建築・都市分野における離散数理基盤の構築と大規模最適化への展開

    • 研究代表者
      加藤 直樹
    • 研究期間 (年度)
      2013 – 2016
    • 研究種目
      基盤研究(A)
    • 研究分野
      数理情報学
    • 研究機関
      関西学院大学
      京都大学
  •  大規模知識基盤形成のための次世代半構造マイニング技術の展開

    • 研究代表者
      有村 博紀
    • 研究期間 (年度)
      2012 – 2015
    • 研究種目
      基盤研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      北海道大学
  •  極限的に簡潔なBDDデータ構造の研究研究代表者

    • 研究代表者
      湊 真一
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      知能情報学
    • 研究機関
      北海道大学
  •  多面的アプローチの統合による計算限界の解明

    • 研究代表者
      渡辺 治
    • 研究期間 (年度)
      2012 – 2016
    • 研究種目
      新学術領域研究(研究領域提案型)
    • 審査区分
      理工系
    • 研究機関
      東京工業大学
  •  コンパクトな論理記述に基づく協力ゲーム理論の再構築

    • 研究代表者
      櫻井 祐子
    • 研究期間 (年度)
      2011 – 2014
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      九州大学
  •  情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究

    • 研究代表者
      トーマス ツォイクマン (トーマス ツオイクマン)
    • 研究期間 (年度)
      2009 – 2010
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      北海道大学
  •  大規模知識基盤形成のための次世代半構造マイニング技術の研究

    • 研究代表者
      有村 博紀
    • 研究期間 (年度)
      2008 – 2011
    • 研究種目
      基盤研究(A)
    • 研究分野
      知能情報学
    • 研究機関
      北海道大学
  •  超大規模な単一実メモリ空間を活用するデータベース解析処理アルゴリズムの研究研究代表者

    • 研究代表者
      湊 真一
    • 研究期間 (年度)
      2008 – 2011
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      北海道大学
  •  二分決定グラフに基づく大規模ベイジアンネットワーク解析処理法の研究研究代表者

    • 研究代表者
      湊 真一
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      挑戦的萌芽研究
    • 研究分野
      知能情報学
    • 研究機関
      北海道大学
  •  情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究

    • 研究代表者
      トーマス ツォイクマン
    • 研究期間 (年度)
      2007 – 2008
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      北海道大学
  •  インフルエンザウイルスの抗原変異予測のためのパターン発見手法に関する研究

    • 研究代表者
      伊藤 公人
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      北海道大学
  •  情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究

    • 研究代表者
      トーマス ツォイクマン
    • 研究期間 (年度)
      2006
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      北海道大学
  •  知識基盤形成のための大規模半構造データからの超高速パターン発見

    • 研究代表者
      有村 博紀
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      特別推進研究
    • 審査区分
      理工系
      工学
    • 研究機関
      北海道大学
  •  二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究研究代表者

    • 研究代表者
      湊 真一
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      基盤研究(B)
    • 研究分野
      知能情報学
    • 研究機関
      北海道大学
  •  最適パターン発見に基づく大規模半構造データからの知的情報獲得システムの開発

    • 研究代表者
      トーマス ツォイクマン, 有村 博紀
    • 研究期間 (年度)
      2004 – 2005
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      北海道大学
  •  論理関数表現のモデルとシンボリックアルゴリズム

    • 研究代表者
      武永 康彦
    • 研究期間 (年度)
      2004 – 2007
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      電気通信大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 その他

すべて 雑誌論文 学会発表 図書

  • [図書] Newton別冊 まるごとわかる 統計と確率(Topics「組み合わせ爆発」で考えるアルゴリズム入門)2023

    • 著者名/発表者名
      湊 真一(監修), 福田 伊佐央(執筆)
    • 総ページ数
      176
    • 出版者
      ニュートンプレス
    • ISBN
      9784315527698
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [図書] "Topics「組み合わせ爆発」で考えるアルゴ リズム入門," Newton別冊「まるごとわかる統計と確率」2023

    • 著者名/発表者名
      湊真一(監修), 福田伊佐央(執筆)
    • 総ページ数
      176
    • 出版者
      ニュートンプレス
    • ISBN
      9784315527698
    • データソース
      KAKENHI-PLANNED-20H05964
  • [図書] 基礎からわかるアルゴリズム(ニュートン新書)2022

    • 著者名/発表者名
      パノス ルリダス (著), 湊 真一 (監訳), 鳥飼 まこと (訳)
    • 総ページ数
      376
    • 出版者
      ニュートンプレス
    • ISBN
      9784315525489
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [図書] 2016年度 科研費 基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録2017

    • 著者名/発表者名
      湊 真一(監修)
    • 総ページ数
      391
    • 出版者
      基盤(S)離散構造処理系プロジェクト
    • データソース
      KAKENHI-PROJECT-15H05711
  • [図書] 確率的グラフィカルモデル(離散構造処理の技法と確率モデル、第5章、鈴木譲 編著)2016

    • 著者名/発表者名
      湊真一
    • 総ページ数
      292
    • 出版者
      共立出版
    • データソース
      KAKENHI-PROJECT-16H01743
  • [図書] 2015年度 JST ERATO湊離散構造処理系プロジェクト / JSPS 科 研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録2016

    • 著者名/発表者名
      湊真一(監修)
    • 総ページ数
      456
    • 出版者
      基盤(S)離 散構造処理系プロジェクト
    • データソース
      KAKENHI-PROJECT-15H05711
  • [図書] Encyclopedia of Algorithms(Counting by ZDD)2015

    • 著者名/発表者名
      S. Minato
    • 総ページ数
      1166
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-24240021
  • [図書] 基礎から学ぶ情報理論2012

    • 著者名/発表者名
      中村 篤祥, 喜田 拓也, 湊 真一
    • 総ページ数
      211
    • 出版者
      ムイスリ出版
    • データソース
      KAKENHI-PROJECT-24240021
  • [図書] Interdisciplinary Advances in Adaptive and Intelligent Assistant Systems : Concepts, Techniques, Applications, and Use2011

    • 著者名/発表者名
      Shin-ichi Minato, Nicolas Spyratos
    • 出版者
      IGI Global, Hershey, Pennsylvania
    • データソース
      KAKENHI-PUBLICLY-21013001
  • [図書] BDD-Based Combinatorial Keyword Query Processing2011

    • 著者名/発表者名
      Shin-ichi Minato and Nicolas Spyratos
    • データソース
      KAKENHI-PROJECT-20300051
  • [図書] Progress in Representation of Discrete Functions (Synthesis Lectures on Digital Circuits and Systems)2010

    • 著者名/発表者名
      Shin-ichi Minato
    • 出版者
      Morgan & Claypool Publishers
    • データソース
      KAKENHI-PROJECT-20300051
  • [図書] BDD-Based Comnbinatorial Keyword Query Processing, "In G.Kreuzberger, A.Lunzer, and R. Kaschek, editor,"Interdisciplinary advances in adaptive and Intelligent assistant Systems : concepts, techniques, applications, and Use"2010

    • 著者名/発表者名
      Shin-ichi Minato, Nicolas Spyratos
    • 総ページ数
      14
    • 出版者
      IGI Global
    • データソース
      KAKENHI-PROJECT-20300051
  • [図書] Recent Progress in Representation of Discrete Functions (chapter 5)("Morgan & Claypool Publishers, "Data Mining Using Binary Decision Diagrams,")(T.Sasao and J.Butler, editor)2010

    • 著者名/発表者名
      Shin-ichi Minato
    • データソース
      KAKENHI-PROJECT-20300051
  • [図書] "Data Mining Using Binary Decision Diagrams," In T. Sasao and J.Butler, editor,"Recent Progress in Representation of Discrete Functions," chapter 5, pp. 97-1092010

    • 著者名/発表者名
      Shin-ichi Minato
    • 総ページ数
      13
    • 出版者
      Mrogan & Claypool Publishers(分担執筆)
    • データソース
      KAKENHI-PROJECT-20300051
  • [図書] New Frontiers in Applied Data Mining, "PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008, Revised Selected Papers, Lecture Notes in Artificial Intelligence, Vol.54432009

    • 著者名/発表者名
      S.Chawla, T.Washio, S.Minato, S.Tsumoto, T.Onoda, S.Yamada, A.Inokuchi,(Editors)
    • 総ページ数
      213
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-20300051
  • [図書] 英語で学ぶ計算理論2009

    • 著者名/発表者名
      Thomas Zeugmann, 湊真一, 大久保好章
    • 総ページ数
      222
    • 出版者
      コロナ社
    • データソース
      KAKENHI-PUBLICLY-21013001
  • [図書] PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008, Revised Selected Papers, Lecture Notes in Artificial Intelligence, Vol.5433("New Frontiers in Applied Data Mining")2009

    • 著者名/発表者名
      S.Chawla, T.Washio, S.Minato, S.Tsumoto, T.Onoda, S.Yamada, A.Inokuchi, (Editors)
    • 総ページ数
      213
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-20300051
  • [図書] New Frontiers in Applied Data Mining2009

    • 著者名/発表者名
      S. Chawla, T. Washio, S. Minato, S. Tsumoto, T. Onoda, S. Yamada, A. Inokuchi, (Editors)
    • 総ページ数
      213
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-20300051
  • [図書] 英語で学ぶ計算理論2008

    • 著者名/発表者名
      Thomas Zeugnann,湊真一,大久保好章
    • 総ページ数
      222
    • 出版者
      コロナ社
    • データソース
      KAKENHI-PROJECT-20240014
  • [図書] 英語で学ぶ計算理論2008

    • 著者名/発表者名
      Thomas Zeugnann, 湊真一, 大久保好章
    • 総ページ数
      222
    • 出版者
      コロナ社
    • データソース
      KAKENHI-PROJECT-20240014
  • [雑誌論文] Designing algorithms for the shortest path reconfiguration problem using decision diagram operations2024

    • 著者名/発表者名
      Shou Ooba, Jun Kawahara, Shin-ichi Minato
    • 雑誌名

      Proc. of 16th International Conference on Agents and Artificial Intelligence (ICAART 2024)

      巻: 3 ページ: 641-648

    • DOI

      10.5220/0012379900003636

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PLANNED-20H05794, KAKENHI-PUBLICLY-23H04383, KAKENHI-PROJECT-20H00605
  • [雑誌論文] Recent Research Activities on Algorithmic Foundations for Social Advancement2024

    • 著者名/発表者名
      Minato Shin-ichi
    • 雑誌名

      Proc. of the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Springer LNCS 14549

      巻: - ページ: 1-8

    • DOI

      10.1007/978-981-97-0566-5_1

    • ISBN
      9789819705658, 9789819705665
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [雑誌論文] On the Computational Complexity of Generalized Common Shape Puzzles2024

    • 著者名/発表者名
      Banbara Mutsunori、Minato Shin-ichi、Ono Hirotaka、Uehara Ryuhei
    • 雑誌名

      Proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2024)

      巻: LNCS 14519 ページ: 55-68

    • DOI

      10.1007/978-3-031-52113-3_4

    • ISBN
      9783031521126, 9783031521133
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-21K11828, KAKENHI-PROJECT-20H00605
  • [雑誌論文] DAG-Pathwidth: Graph Algorithmic Analyses of DAG-Type Blockchain Networks2023

    • 著者名/発表者名
      Shoji Kasahara, Jun Kawahara, Shin-ichi Minato, Jumpei Mori
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E106.D 号: 3 ページ: 272-283

    • DOI

      10.1587/transinf.2022FCP0007

    • ISSN
      0916-8532, 1745-1361
    • 年月日
      2023-03-01
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PLANNED-20H05964, KAKENHI-PROJECT-19H01103, KAKENHI-PROJECT-20H00605, KAKENHI-PLANNED-20H05794, KAKENHI-PROJECT-18H04091
  • [雑誌論文] Automated Parallel Test Forms Assembly using Zero-suppressed Binary Decision Diagrams2023

    • 著者名/発表者名
      Fuchimoto Kazuma、Minato Shin-Ichi、Ueno Maomi
    • 雑誌名

      IEEE Access

      巻: 11 ページ: 112804-112813

    • DOI

      10.1109/access.2023.3322720

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-19H05663, KAKENHI-PROJECT-20H00605
  • [雑誌論文] Exact and Efficient Network Reliability Evaluation per Outage Scale2023

    • 著者名/発表者名
      Nakamura Kengo、Inoue Takeru、Nishino Masaaki、Yasuda Norihito、Minato Shin-ichi
    • 雑誌名

      Proc. of IEEE International Conference on Communication (ICC 2023)

      巻: - ページ: 4564-4570

    • DOI

      10.1109/icc45041.2023.10279779

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H00605
  • [雑誌論文] Sorting balls and water: Equivalence and computational complexity2023

    • 著者名/発表者名
      Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
    • 雑誌名

      Theoretical Computer Science

      巻: 927 ページ: 114158-114158

    • DOI

      10.1016/j.tcs.2023.114158

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K11150, KAKENHI-PROJECT-19K11814, KAKENHI-PROJECT-21K11752, KAKENHI-PROJECT-19K12098, KAKENHI-PROJECT-20K11666, KAKENHI-PLANNED-20H05962, KAKENHI-PLANNED-20H05793, KAKENHI-PLANNED-20H05794, KAKENHI-PROJECT-18H04091, KAKENHI-PLANNED-20H05964
  • [雑誌論文] CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints2023

    • 著者名/発表者名
      Kengo Nakamura, Masaaki Nishino, Norihito Yasuda and Shin-ichi Minato:
    • 雑誌名

      Proc of 21st International Symposium on Experimental Algorithms (SEA 2023)

      巻: -

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H00605
  • [雑誌論文] International Competition on Graph Counting Algorithms 20232023

    • 著者名/発表者名
      Takeru Inoue, Norihito Yasuda, Hidetomo Nabeshima, Masaaki Nishino, Shuhei Denzumi, and Shin-ichi Minato
    • 雑誌名

      arXiv preprint

      巻: 2309.07381v1

    • オープンアクセス
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [雑誌論文] 解集合プログラミングを用いた配電網問題の解法2023

    • 著者名/発表者名
      山田 健太郎、湊 真一、田村 直之、番原 睦則
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 40 号: 2 ページ: 2_3-2_18

    • DOI

      10.11309/jssst.40.2_3

    • ISSN
      0289-6540
    • 年月日
      2023-04-21
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-21K11828, KAKENHI-PLANNED-20H05964, KAKENHI-PROJECT-20H00605
  • [雑誌論文] A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure2023

    • 著者名/発表者名
      Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda and Shin-ichi Minato
    • 雑誌名

      Proc. of 2023 IEEE International Conference on Computer Communications (INFOCOM2023)

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H00605
  • [雑誌論文] 科研・学術変革領域研究(A)「革新的アルゴリズム基盤」(AFSAプロジェクト)の概要と近況について2022

    • 著者名/発表者名
      湊 真一
    • 雑誌名

      システム/制御/情報

      巻: 66 号: 5 ページ: 196-197

    • DOI

      10.11509/isciesci.66.5_196

    • ISSN
      0916-1600, 2424-1806
    • 年月日
      2022-05-15
    • 言語
      日本語
    • オープンアクセス
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [雑誌論文] Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions2022

    • 著者名/発表者名
      Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
    • 雑誌名

      arXiv preprint

      巻: 2201.08118

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H00605
  • [雑誌論文] 科研・学術変革領域(A)「アルゴリズム基盤」(AFSAプロジェクト) の概要と近況について2022

    • 著者名/発表者名
      湊 真一
    • 雑誌名

      LAシンポジウム会誌

      巻: 79 ページ: 5-10

    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [雑誌論文] 「組み合わせ爆発」で考えるアルゴリズム入門2022

    • 著者名/発表者名
      湊 真一(監修), 福田 伊佐央(執筆)
    • 雑誌名

      Newton

      巻: 10 ページ: 34-43

    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [雑誌論文] Tree Decomposition-based Approach for Compiling Independent Sets2020

    • 著者名/発表者名
      Sugaya Teruji、Nishino Masaaki、Yasuda Norihito、Minato Shin-ichi
    • 雑誌名

      Journal of Information Processing

      巻: 28 号: 0 ページ: 354-368

    • DOI

      10.2197/ipsjjip.28.354

    • NAID

      130007873364

    • ISSN
      1882-6652
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H00605
  • [雑誌論文] Enumeration of Associative Magic Squares of Order 72020

    • 著者名/発表者名
      Kato Go、Minato Shin-ichi
    • 雑誌名

      Journal of Information Processing

      巻: 28 号: 0 ページ: 903-910

    • DOI

      10.2197/ipsjjip.28.903

    • NAID

      130007956339

    • ISSN
      1882-6652
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20H00605
  • [雑誌論文] Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams2020

    • 著者名/発表者名
      Yu Nakahata, Masaaki Nishino, Jun Kawahara and Shin-ichi Minato
    • 雑誌名

      Proc of 18th International Symposium on Experimental Algorithms (SEA2020)

      巻: 160

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20H00605
  • [雑誌論文] Scalable enumeration approach for maximizing hosting capacity of distributed generation2019

    • 著者名/発表者名
      Takenobu Yuji、Yasuda Norihito、Minato Shin-ichi、Hayashi Yasuhiro
    • 雑誌名

      International Journal of Electrical Power & Energy Systems

      巻: 105 ページ: 867-876

    • DOI

      10.1016/j.ijepes.2018.09.010

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic2019

    • 著者名/発表者名
      Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, Koji Kurihara
    • 雑誌名

      Proc. of SIAM International Conference on Data Mining (SDM2019)

      巻: ー ページ: 91-99

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16H01743
  • [雑誌論文] Evaluation of Hotspot Cluster Detection using Spatial Scan Statistic based on Exact Counting2019

    • 著者名/発表者名
      Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, and Koji Kurihara
    • 雑誌名

      Japanese Journal of Statistics and Data Science

      巻: 2 号: 1 ページ: 241-262

    • DOI

      10.1007/s42081-018-0030-6

    • NAID

      210000185707

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K04610, KAKENHI-PROJECT-26240003, KAKENHI-PROJECT-18H03207, KAKENHI-PROJECT-16K16019, KAKENHI-PROJECT-15H05711, KAKENHI-PROJECT-17K00050, KAKENHI-PROJECT-17H01701
  • [雑誌論文] Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling2018

    • 著者名/発表者名
      Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, and Shin-ichi Minato
    • 雑誌名

      IEEE Trans. Smart Grid

      巻: Vol. 9, No. 3 号: 3 ページ: 1986-1996

    • DOI

      10.1109/tsg.2016.2604922

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Fast compilation of graph substructures for counting and enumeration2018

    • 著者名/発表者名
      Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato
    • 雑誌名

      Behaviormetrika, Springer

      巻: Vol. 45, No. 2 号: 2 ページ: 423-450

    • DOI

      10.1007/s41237-018-0056-x

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Fast packet classification algorithm for network-wide forwarding behaviors2018

    • 著者名/発表者名
      Inoue Takeru、Mano Toru、Mizutani Kimihiro、Minato Shin-ichi、Akashi Osamu
    • 雑誌名

      Computer Communications

      巻: 116 ページ: 101-117

    • DOI

      10.1016/j.comcom.2017.11.011

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] ZDD を用いた解法(小特集「LSI の配線問題─ DA シンポジウムの配線問題解法コンテスト─」)2018

    • 著者名/発表者名
      湊真一
    • 雑誌名

      情報処理

      巻: 59 (3) ページ: 243-247

    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Separate Compilation of Bayesian Networks for Efficient Exact Inference2018

    • 著者名/発表者名
      Gao Shan、Ishihata Masakazu、Minato Shin-ichi
    • 雑誌名

      人工知能学会論文誌

      巻: 33 号: 6 ページ: A-I35_1-15

    • DOI

      10.1527/tjsai.A-I35

    • NAID

      130008061433

    • ISSN
      1346-0714, 1346-8030
    • 年月日
      2018-11-01
    • 言語
      英語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs2018

    • 著者名/発表者名
      SUZUKI Hirofumi、MINATO Shin-ichi
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E101.A 号: 9 ページ: 1375-1382

    • DOI

      10.1587/transfun.E101.A.1375

    • NAID

      130007479540

    • ISSN
      0916-8508, 1745-1337
    • 年月日
      2018-09-01
    • 言語
      英語
    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] "DenseZDD: A Compact and Fast Index for Families of Sets"2018

    • 著者名/発表者名
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, and Kunihiko Sadakane
    • 雑誌名

      Algorithms

      巻: Vol.11, No.8 号: 8 ページ: 1-23

    • DOI

      10.3390/a11080128

    • NAID

      120006659589

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K19771, KAKENHI-PROJECT-18K18102, KAKENHI-PROJECT-16H01743, KAKENHI-PROJECT-18H04091, KAKENHI-PROJECT-18H04098, KAKENHI-PROJECT-16H02781
  • [雑誌論文] Efficient Bandit Combinatorial Optimization Algorithm with Zero-suppressed Binary Decision Diagrams2018

    • 著者名/発表者名
      Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato
    • 雑誌名

      Proc. of The 21st International Conference on Artificial Intelligence and Statistics (AISTATS-2018)(査読付き国際会議論文)

      巻: - ページ: 585-594

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Exact Computation of Strongly Connected Reliability by BDDs2018

    • 著者名/発表者名
      Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato
    • 雑誌名

      Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018)

      巻: LNCS 11346 ページ: 281-295

    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams2018

    • 著者名/発表者名
      Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato
    • 雑誌名

      Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018)

      巻: - ページ: 585-594

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] 記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証2018

    • 著者名/発表者名
      蓑田 玲緒奈, 湊 真一
    • 雑誌名

      電子情報通信学会論文誌D

      巻: J101-D (3) ページ: 470-480

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Generating All Patterns of Graph Partitions within a Disparity Bound2017

    • 著者名/発表者名
      Jun Kawahara, Takashi Horiyama, Keisuke Hotta, and Shin-ichi Minato
    • 雑誌名

      Proc. of the 11th International Workshop of Algorithms and Computation (WALCOM2017)(査読付き国際会議論文)

      巻: -

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Dancing with Decision Diagrams: A Combined Approach to Exact Cover2017

    • 著者名/発表者名
      Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata
    • 雑誌名

      Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017)(査読付き国際会議論文)

      巻: - ページ: 868-874

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation2017

    • 著者名/発表者名
      Gao Shan, Masakazu Ishihata, Shin-ichi Minato
    • 雑誌名

      Proc. of The Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN-2017)(査読付き国際会議論文)

      巻: 73 ページ: 117-128

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems2017

    • 著者名/発表者名
      Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-Ichi Minato and Masaaki Nagata
    • 雑誌名

      Proc. of AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt-2017)(査読付き国際会議論文)

      巻: - ページ: 944-950

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems2017

    • 著者名/発表者名
      Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E100-D (12) ページ: 2945-2952

    • NAID

      130006236603

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Compiling Graph Substructures into Sentential Decision Diagrams2017

    • 著者名/発表者名
      Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata
    • 雑誌名

      Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017)(査読付き国際会議論文)

      巻: - ページ: 1213-1221

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation2017

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E100-D (8) ページ: 1556-1562

    • NAID

      130005876092

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation2017

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      IEICE Transactions

      巻: 100-D(8) ページ: 1556-1562

    • NAID

      130005876092

    • データソース
      KAKENHI-PROJECT-16H01743
  • [雑誌論文] Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages2017

    • 著者名/発表者名
      Reona Minoda, Shin-ichi Minato
    • 雑誌名

      IEICE Trans. Inf. & Syst.

      巻: E100-D (6) ページ: 1172-1181

    • NAID

      130005687730

    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Statistical Emerging Pattern Mining with Multiple Testing Correction2017

    • 著者名/発表者名
      Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-ichi Minato
    • 雑誌名

      The 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD-2017)(査読付き国際会議論文)

      巻: - ページ: 897-906

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages2017

    • 著者名/発表者名
      Reona MINODA and Shin-ichi MINATO
    • 雑誌名

      IEICE Trans. Inf. & Syst

      巻: 印刷中

    • NAID

      130005687730

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Statistical Emerging Pattern Mining with Multiple Testing Correction2017

    • 著者名/発表者名
      Junpei Komiyama and Masakazu Ishihata and Hiroki Arimura and Takashi Nishibayashi and Shin-ichi Minato
    • 雑誌名

      Proceedings of the 23rd {ACM} {SIGKDD} International Conference on Knowledge Discovery and Data Mining

      巻: 1 ページ: 897-906

    • DOI

      10.1145/3097983.3098137

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17K12736, KAKENHI-PROJECT-16H01743
  • [雑誌論文] Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation2017

    • 著者名/発表者名
      Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, and Shin-ichi Minato
    • 雑誌名

      IEICE Trans. Fundamentals

      巻: E100-A (9) ページ: 1773-1784

    • NAID

      130006038280

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking2017

    • 著者名/発表者名
      Reona Minoda, Masakazu Ishihata, Shin-ichi Minato
    • 雑誌名

      Proceedings of the Eleventh International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017)(査読付き国際会議論文)

      巻: - ページ: 85-91

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Fast Compilation of s-t Paths on a Graph for Counting and Enumeration2017

    • 著者名/発表者名
      Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato
    • 雑誌名

      Proc. of The Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN-2017)(査読付き国際会議論文)

      巻: 73 ページ: 129-140

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Dancing with Decision Diagrams: A Combined Approach to Exact Cover2017

    • 著者名/発表者名
      Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata
    • 雑誌名

      In Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017)

      巻: - ページ: 868-874

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16H01743
  • [雑誌論文] Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking2017

    • 著者名/発表者名
      Reona Minoda, Shin-ichi Minato
    • 雑誌名

      Proceedings of the 2nd International Conference on Pervasive Embedded Computing (PECCS/PEC 2017)(査読付き国際会議論文)

      巻: - ページ: 13-21

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Using PiDDs for Nearest Neighbor Optimization of Quantum Circuits2016

    • 著者名/発表者名
      Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, and Shin-ichi Minato
    • 雑誌名

      Proc. of the 8th International Conference on Reversible Computation (RC 2016) (LNCS 9720, Springer),(査読付き国際会議論文)

      巻: LNCS 9720 ページ: 181-196

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking2016

    • 著者名/発表者名
      Reona Minoda, Yuzuru Tanaka, and Shin-ichi Minato
    • 雑誌名

      Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016)(査読付き国際会議論文)

      巻: - ページ: 65-71

    • NAID

      130008061347

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System2016

    • 著者名/発表者名
      Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, and Shin-ichi Minato
    • 雑誌名

      Proc. of 19th Power Systems Computation Conference (PSCC 2016) (査読付き国際会議論文)

      巻: - ページ: 1-17

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures2016

    • 著者名/発表者名
      Takeru Inoue, Norihito Yasuda, Shunsuke Kawano, Yuji Takenobu, Shin-ichi Minato, and Yasuhiro Hayashi
    • 雑誌名

      IEEE Trans. Smart Grid

      巻: 6 号: 2 ページ: 843-852

    • DOI

      10.1109/tsg.2014.2359114

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model2016

    • 著者名/発表者名
      Hirofumi Suzuki, Sun Hao, and Shin-ichi Minato
    • 雑誌名

      Proc. of PDPTA'16, a Workshop session of Mathematical Modeling and Problem Solving(査読付き国際会議論文)

      巻: - ページ: 356-362

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] 私は何がしたかったのか,そしてどのように進んできたのか(レクチャー シリーズ「つながりが創発するイノベーション」第7回)2016

    • 著者名/発表者名
      湊真一
    • 雑誌名

      人工知能学会誌

      巻: 31 (3) ページ: 452-463

    • データソース
      KAKENHI-PROJECT-15H05711
  • [雑誌論文] Enumerating Eulerian Trails via Hamiltonian Path Enumeration2015

    • 著者名/発表者名
      Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi, and Shin-ichi Minato
    • 雑誌名

      Springer LNCS

      巻: 8973 ページ: 161-174

    • DOI

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

    • ISBN
      9783319156118, 9783319156125
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24650062
  • [雑誌論文] BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems2015

    • 著者名/発表者名
      M. Nishino, N. Yasuda, S. Minato, M. Nagata
    • 雑誌名

      Proc. the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015)

      巻: AAAI2015 ページ: 1219-1225

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24240021
  • [雑誌論文] A fast method of statistical assessment for combinatorial hypotheses based on frequent itemset enumeration2014

    • 著者名/発表者名
      Shin-ichi Minato, Takeaki Uno, Koji Tsuda, Aika Terada, Jun Sese
    • 雑誌名

      Proc. Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2014), Lecture Notes in Computer Science

      巻: 8725 ページ: 422-436

    • DOI

      10.1007/978-3-662-44851-9_27

    • ISBN
      9783662448502, 9783662448519
    • 査読あり
    • データソース
      KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-24240021
  • [雑誌論文] A Compact and Fast Index Structure for Families of Sets2014

    • 著者名/発表者名
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, and Kunihiko Sadakane
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 未定(受理済み)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24240021
  • [雑誌論文] DenseZDD: A Compact and Fast Index for Families of Sets2014

    • 著者名/発表者名
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato and Kunihiko Sadakane
    • 雑誌名

      Proc. of Symposium on Experimental Algorithms (SEA 2014)

      巻: Springer LNCS

    • NAID

      120006659589

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24650062
  • [雑誌論文] DenseZDD: A compact and fast index for families of sets2014

    • 著者名/発表者名
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, Kunihiko Sadakane
    • 雑誌名

      Proc. Symposium on Experimental Algorithms (SEA 2014), Lecture Notes in Computer Science

      巻: 8504 ページ: 187-198

    • DOI

      10.1007/978-3-319-07959-2_16

    • NAID

      120006659589

    • ISBN
      9783319079585, 9783319079592
    • 査読あり
    • データソース
      KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-24240021, KAKENHI-PUBLICLY-25120501
  • [雑誌論文] Sequence Binary Decision Diagram: Minimization, Relationship to Acyclic Automata, and Complexities of Boolean Set Operations2014

    • 著者名/発表者名
      Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato
    • 雑誌名

      Discrete Applied Mathematics

      巻: 未確定 ページ: 61-80

    • DOI

      10.1016/j.dam.2014.11.022

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-13J01937, KAKENHI-PROJECT-24240021, KAKENHI-PUBLICLY-25120501, KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-15H05711, KAKENHI-PROJECT-16H01743, KAKENHI-PROJECT-15K12022
  • [雑誌論文] An Efficient Method for Indexing All Topological Orders of a Directed Graph2014

    • 著者名/発表者名
      Yuma Inoue and Shin-ichi Minato
    • 雑誌名

      Springer LNCS

      巻: 8889 ページ: 103-114

    • DOI

      10.1007/978-3-319-13075-0_9

    • ISBN
      9783319130743, 9783319130750
    • 査読あり
    • データソース
      KAKENHI-PROJECT-24650062
  • [雑誌論文] Enumeration of Region Partitioning for Evacuation Planning Based on ZDD2013

    • 著者名/発表者名
      A. Takizawa, Y. Takechi, A. Ohta, N. Katoh, T. Inoue, T. Horiyama, J. Kawahara and S. Minato
    • 雑誌名

      Proc. of 11th International Symposium on Operations Research and its Applications in Engineering, Technology and Management (ISORA 2013)

      巻: 無 ページ: 64-71

    • NAID

      120006659590

    • 査読あり
    • データソース
      KAKENHI-PROJECT-25240004
  • [雑誌論文] Synthesis of Semi-Classical Quantum Circuits2012

    • 著者名/発表者名
      Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller
    • 雑誌名

      Journal of Multi-Valued Logic & Soft Computing (Old City Publishing)

      巻: Vol.18, No.1 ページ: 99-113

    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] Synthesis of Semi-Classical Quantum Circuits2012

    • 著者名/発表者名
      Shigeru Yamashita, Shin-ichi Minato, D.Michael Miller
    • 雑誌名

      Journal of Multi-Valued Logic & Soft Computing

      巻: Vol.18, No.1 ページ: 99-113

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] A Dynamically Reconfigurable FPGA-based Pattern Matching Hardware for Subclasses of Regular Expressions2012

    • 著者名/発表者名
      Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura, 他2名
    • 雑誌名

      IEICE Trans.Inf.and Syst.

      巻: Vol.D(accepted)

    • NAID

      10031024212

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240014
  • [雑誌論文] A Dynamically Reconfigurable FPGA-based Pattern Matching Hardware for Subclasses of Regular Expressions2012

    • 著者名/発表者名
      Y. Kaneta, S. Yoshizawa, S. Minato, H. Arimura, and Y. Miyanaga
    • 雑誌名

      IEICE Trans. Inf. and Syst

      巻: Vol.D

    • NAID

      10031024212

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240014
  • [雑誌論文] Counterexamples to the long-standing conjecture on the complexity of BDD binary operations2012

    • 著者名/発表者名
      R. Yoshinaka, J. Kawahara, S. Denzumi, H. Arimura, and S. Minato
    • 雑誌名

      Information Processing Letters

      巻: Vol.112, Issue16 ページ: 636-640

    • NAID

      120004710971

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240014
  • [雑誌論文] A Dynamically Reconfigurable FPGA-based Pattern Matching Hardware for Subclasses of Regular Expressions2012

    • 著者名/発表者名
      Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga
    • 雑誌名

      IEICE Trans. Inf. and Syst.

      巻: Vol.E95-D, No.7 ページ: 1847-1857

    • NAID

      10031024212

    • データソース
      KAKENHI-PROJECT-24240021
  • [雑誌論文] Counterexamples to the long-standing conjecture on the complexity of BDD binary operations2012

    • 著者名/発表者名
      Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato
    • 雑誌名

      Information Procssing Letters

      巻: Vol.112, Issue 16 号: 16 ページ: 636-640

    • DOI

      10.1016/j.ipl.2012.05.007

    • NAID

      120004710971

    • データソース
      KAKENHI-PROJECT-24240021
  • [雑誌論文] BDD-Based Combinatorial Keyword Query Processing2011

    • 著者名/発表者名
      Shin-ichi Minato and Nicolas Spyratos
    • 雑誌名

      Interdisciplinary advances in adaptive and Intelligent assistant Systems : concepts, techniques, applications, and Use (In G. Kreuzberger, A. Lunzer, and R. Kaschek, editor)

      巻: chapter 2 ページ: 26-39

    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開2011

    • 著者名/発表者名
      湊真一
    • 雑誌名

      電子情報通信学会 基礎・境界ソサイエティFundamentals Review

      巻: Vol.4, No.3 ページ: 224-230

    • NAID

      130004959646

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開2011

    • 著者名/発表者名
      湊真一
    • 雑誌名

      電子情報通信学会基礎・境界ソサイエティFundamentals Review Vol.4, No.3

      ページ: 224-230

    • NAID

      130004959646

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開2011

    • 著者名/発表者名
      湊真一
    • 雑誌名

      電子情報通信学会基礎・境界ソサイエティFundamentals Review

      巻: Vol.4, No.3 ページ: 224-230

    • NAID

      130004959646

    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] BDD-Based Combinatorial Keyword Query Processing2011

    • 著者名/発表者名
      Shin-ichi Minato, Nicolas Spyratos
    • 雑誌名

      In G.Kreuzberger, A.Lunzer, and R.Kaschek, editor, "Interdisciplinary advances in adaptive and Intelligent assistant Systems : concepts, techniques, applications, and Use

      巻: chapter 2 ページ: 26-39

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] Fast Bit-Parallel Matching for Network and Regular Expressions2010

    • 著者名/発表者名
      Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura
    • 雑誌名

      Proc. the 17th Symposium on String Processing and Information Retrieval (SPIRE2010)

      巻: LNCS 6393 ページ: 372-384

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240014
  • [雑誌論文] Fast Bit-Parallel Matching for Network and Regular Expressions2010

    • 著者名/発表者名
      Y.Kaneta, S.Minato, H.Arimura
    • 雑誌名

      Proc.the 17th Symp.on String Processing and Information Retrieval (SPIRE2010)(LNCS, Vol.6393, Springer)

      ページ: 372-384

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240014
  • [雑誌論文] ベイジアンネットワークと離散構造処理系(特集「ベイジアン・ネットワークの最先端」)2010

    • 著者名/発表者名
      佐藤泰介, 湊真一
    • 雑誌名

      人工知能学会誌

      巻: vol.25, No.6 ページ: 796-802

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20650017
  • [雑誌論文] Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching2010

    • 著者名/発表者名
      Y.Kaneta, S.Minato, H.Arimura
    • 雑誌名

      Proc.the 2010 IEEE Int'l Conference on Field-Programmable Technology(IEEE)

      ページ: 21-28

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240014
  • [雑誌論文] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • 著者名/発表者名
      Shin-ichi Minato, Takeaki Uno
    • 雑誌名

      Proc.of 2010 SIAM International Conference on Data Mining(SDM2010)

      ページ: 339-349

    • NAID

      120006660815

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] 「おめでとうソサイエティ論文賞」ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法2010

    • 著者名/発表者名
      湊真一, 有村博紀
    • 雑誌名

      電子情報通信学会 情報・システムソサイエティ誌

      巻: Vol.15, No.3 ページ: 15-15

    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] 「おめでとうソサイエティ論文賞」ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法2010

    • 著者名/発表者名
      湊真一, 有村博紀
    • 雑誌名

      電子情報通信学会情報・システムソサイエティ誌 Vol.15, No.3

      ページ: 15-15

    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • 著者名/発表者名
      Shin-ichi Minato and Takeaki Uno
    • 雑誌名

      Proc. of 2010 SIAM International Conference on Data Mining (SDM'2010)

      ページ: 339-349

    • NAID

      120006660815

    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] Fast Bit-Parallel Matching for Network and Regular Expressions2010

    • 著者名/発表者名
      Y. Kaneta, S. Minato, H. Arimura
    • 雑誌名

      Proc. SPIRE'10, LNCS

      巻: Vol.6393 ページ: 372-384

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240014
  • [雑誌論文] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • 著者名/発表者名
      Shin-ichi Minato, Takeaki Uno
    • 雑誌名

      Proc. SIAM International Conference on Data Mining, SDM 2010

      巻: SIAM DM'10 ページ: 339-349

    • NAID

      120006660815

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240014
  • [雑誌論文] Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching2010

    • 著者名/発表者名
      Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura, 他2名
    • 雑誌名

      Proc. the 2010 IEEE International Conference on Field-Programmable Technology

      巻: IEEE FPT10 ページ: 21-28

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240014
  • [雑誌論文] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • 著者名/発表者名
      S.Minato, T.Uno
    • 雑誌名

      Proc.SIAM Int'l Conference on Data Mining, SDM 2010(SIAM)

      ページ: 339-349

    • NAID

      120006660815

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240014
  • [雑誌論文] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • 著者名/発表者名
      Shin-ichi Minato, Takeaki Uno
    • 雑誌名

      Proc.of 2010 SIAM International Conference on Data Mining (SDM2010)

      巻: SDM2010 ページ: 339-349

    • NAID

      120006660815

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] 「おめでとうソサイエティ論文賞」ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法2010

    • 著者名/発表者名
      湊真一, 有村博紀
    • 雑誌名

      電子情報通信学会情報・システムソサイエティ誌

      巻: Vol.15, No.3 ページ: 15-15

    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] Monolithic and Partial Compilation Methods for Probabilistic Inference of Bayesian Networks using ZBDDs2009

    • 著者名/発表者名
      Daisuke Tokoro, Ai Fukunaga, Kiyoharu Hamaguchi, Toshinobu Kashiwabara, Shin-ichi Minato
    • 雑誌名

      Proc.of the International Workshop on Dato Mining and Statistical Science(DMSS 2009) DMSS-2009

      ページ: 98-103

    • NAID

      130008079592

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20650017
  • [雑誌論文] Recent Results on BDD-Based Large-Scale Data Processing for Knowledge Discovery2009

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      In Proc. of Reed-Miller Workshop (RM-2009)

      ページ: 27-32

    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] Comparison of ZDD-Vectors and WZDDs for Frequent Pattern Mining2009

    • 著者名/発表者名
      Haruya Iwasaki, Elsa Loekito, Shin-ichi Minato, James Bailey
    • 雑誌名

      Proc.of the Sixth Workshop on Learning with Logics and Logics for Learning(LLLL 2009) LLLL-2009

      ページ: 98-103

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] Recent Results on BDD-Based Large-Scale Data Processing for Knowledge Discovery2009

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      Proc.of Reed-Miller Workshop(RM-2009) RM-2009

      ページ: 27-32

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] Comparison of ZDD-Vectors and WZDDs for Frequent Pattern Mining2009

    • 著者名/発表者名
      Haruya Iwasaki, Elsa Loekito, Shin-ichi Minato, James Bailey
    • 雑誌名

      Proc. of the Sixth Workshop on Learning with Logics and Logics for Learning (LLLL 2009)

      ページ: 51-55

    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • 著者名/発表者名
      S. Minato, T. Uno, and H. Arimura
    • 雑誌名

      Proc. of 12-th Pacific-Asia Conference on Knowledge Discovery and Data Mining PAKDD 2008(印刷中)

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] 頻出パタンマイニングのためのゼロサプレス型BDDの変数順序付け方法とその評価2008

    • 著者名/発表者名
      岩崎玄弥, 湊真一, ツォイクマントーマス
    • 雑誌名

      電子情報通信学会論文誌 J91-D(3)

      ページ: 608-618

    • NAID

      110007380998

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery2008

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      In Proc. of IEEE 8th Intl' Conf. on Computer and Info. Technology (CIT 2008)

      ページ: 53-58

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] LCM over ZBDDs : Fast Generation of Very Large-Scale Freq uent Itemsets Using a Compact Graph-Based Representation2008

    • 著者名/発表者名
      Shin-ichi Minato, Takeaki Uno, and Hiroki Arimura
    • 雑誌名

      In Proc. of PAKDD 2008, LNAI 5012, Springer

      ページ: 234-246

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] LCM over ZBDDs : Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • 著者名/発表者名
      Shin-ichi Minato, Takeaki Uno, and Hiroki Arimura
    • 雑誌名

      In Proc. of PAKDD 2008, LNAI 5012, Springer

      ページ: 234-246

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19024001
  • [雑誌論文] A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery2008

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      Proc. of IEEE 8th International Conference on Computer and Information Technology

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] LCM over ZBDDs : Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • 著者名/発表者名
      S. Minato, T. Uno, and H. Arimura
    • 雑誌名

      LNCS, Springer

      巻: Vol.5012 ページ: 234-246

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240014
  • [雑誌論文] DDMF : An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction2008

    • 著者名/発表者名
      Shigeru Yamashita, Shin-ichi Minato, D.M.Miller
    • 雑誌名

      IEICE Trans. Fundamentals-A Vol.E91 No.12

      ページ: 3793-3802

    • NAID

      10026854528

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] DDMF : An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction2008

    • 著者名/発表者名
      Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller
    • 雑誌名

      IEICE Trans. Fundamentals

      巻: Vol.E91-A, No.12 ページ: 3793-3802

    • NAID

      10026854528

    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] LCM over ZBDDs : Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • 著者名/発表者名
      S. Minato, T. Uno, and H. Arimura
    • 雑誌名

      Lecture Notes in Computer Science 5012

      ページ: 234-246

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240014
  • [雑誌論文] LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • 著者名/発表者名
      Shin-ichi Minato, Takeaki Uno, and Hiroki Arimura
    • 雑誌名

      Proc. of 12-th Pacific-Asia Conference on Knowledge Discovery and Data Mining PAKDD 2008

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] LCM over ZBDDs : Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • 著者名/発表者名
      Shin-ichi Minato, Takeaki Uno, Hiroki Arimura
    • 雑誌名

      Proc.of PAKDD 2008(Springer)

      ページ: 234-246

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] A Method of ZBDD Variable Ordering for Frequent Pattern Mining2008

    • 著者名/発表者名
      Haruya Iwasaki, Shin-ichi Minato, and Zeugmann Thomas
    • 雑誌名

      The IEICE Transaction on Information and Systems (Japanese Edition) Vol. J91-D, No. 3

      ページ: 608-818

    • NAID

      110007380998

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] 情報爆発時代のための新しい超高速アルゴリズム2008

    • 著者名/発表者名
      宇野毅明, 湊真一, 竹田正幸
    • 雑誌名

      情報処理 Vol.49, No.8

      ページ: 897-903

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19024001
  • [雑誌論文] A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery2008

    • 著者名/発表者名
      S. Minato
    • 雑誌名

      In Proc. of IEEE 8th International Conference on Computer and Information Technology (CIT 2008)

      ページ: 53-58

    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery2008

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      Proc. of IEEE 8th International Conference on Computer and Information Technology CIT 2008(印刷中)

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] DDMF : An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction2008

    • 著者名/発表者名
      Shigeru Yamashita, Shin-ichi Minato, and D. M. Miller
    • 雑誌名

      IEICE Trans. Fundamentals Vol.E91-A, No.12

      ページ: 3793-3802

    • NAID

      10026854528

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] LCM over ZBDDs : Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • 著者名/発表者名
      S. Minato, T. Uno, and H. Arimura
    • 雑誌名

      In Proc. of 12-th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2008), (LNAI 5012, Springer)

      ページ: 234-246

    • データソース
      KAKENHI-PROJECT-20300051
  • [雑誌論文] Frequent Closed Item Set Mining Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      S.Minato, H.Arimura
    • 雑誌名

      Transaction of the Japanese Society of Artificial Intelligence Vol. 22, No. 2

      ページ: 165-172

    • NAID

      130000058332

    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Frequent Closed Item Set Mining Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      S. Minato, H. Arimura
    • 雑誌名

      Transactions of the Japanese Society for Artificial Intelligence Vol. 22, No. 2

      ページ: 165-172

    • NAID

      130000058332

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] A Theoretical Study on Variable Ordering of Zero-suppressed BDDs for Representing Frequent Itemsets2007

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      Proc. Of the 10th International Conference on Discovery Science (DS-2007) LNAI 4755

      ページ: 139-150

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Frequent Closed Item Set Mining Based on Zero-Suppressed BDDs2007

    • 著者名/発表者名
      Shin-ichi Minato and Hiroki Arimura
    • 雑誌名

      Transaction of the Japanese Society of Artificial Intelligence Vol. 22, No. 2

      ページ: 165-172

    • NAID

      130000058332

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      Shin-ichi Minato, Ken Satoh, and Taisuke Sato
    • 雑誌名

      Proc. of 20th International Joint Conference of Artificial Intelligence IJCAI 2007

      ページ: 2550-2555

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] A Method of Variable Ordering for Zero-suppressed Binary Decision Diagrams in Data Mining Applications2007

    • 著者名/発表者名
      Haruya Iwasaki, Shin-ichi Minato, and Thomas Zeugmann:
    • 雑誌名

      Proc of 3rd IEEE International Workshop on Databases for Next-Generation Researchers SWOD2007

      ページ: 85-90

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19024001
  • [雑誌論文] N-gram Analysis Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      Ryutaro Kurai, Shin-ichi Minato, and Thomas Zeugmann
    • 雑誌名

      New Frontiers in Artificial Intelligence, Joint JSAI 2006 Workshop Post-Proceedings LNAI 4384

      ページ: 289-300

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      S. Minato, K. Satoh, T. Sato
    • 雑誌名

      In Proc. of 20th International Joint Conference of Artificial Intelligence (IJCAI-2007)

      ページ: 2550-2555

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] A Method of Variable Ordering for Zero-suppressed Binary Decision Diagrams in Data Mining Applica2007

    • 著者名/発表者名
      H. Iwasaki, S. Minato, T. Zeugmann
    • 雑誌名

      Proc. the Third IEEE International Workshop on Databases for Next-Generation Researchers (SWOD'07)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      S.Minato, K.Satoh, T.Sato
    • 雑誌名

      In Proc. of 20th International Joint Conference of Artificial Intelligence (IJCAI-2007)

      ページ: 2550-2555

    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data2007

    • 著者名/発表者名
      Minato, S. and Ito, K.
    • 雑誌名

      Transactions of the Japanese Society for Artificial Intelligence 22

      ページ: 156-164

    • NAID

      130000058331

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300041
  • [雑誌論文] A Theoretical Study on Variable Ordering of Zero-suppressed BDDs for Representing Frequent Itemsets2007

    • 著者名/発表者名
      S. Minato
    • 雑誌名

      Lecture Notes in Computer Science Vol. 4914

      ページ: 139-150

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Frequent Closed Item Set Mining Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      S. Minato, H. Arimura
    • 雑誌名

      Information and Media Technologies(IMT) Vol.2

      ページ: 309-316

    • NAID

      130000058332

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] A Theoretical Study on Variable Ordering of Zero-suppressed BDDs for Representing Frequent Itemsets2007

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      In Proc. of the 10th International Conference on Discovery Science (DS-2007) LNAI4755

      ページ: 139-150

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Frequent Pattern Mining and Knowledge Indexing Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      S. Minato, H. Arimura
    • 雑誌名

      Lecture Notes in Computer Science Vol.4747

      ページ: 152-169

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] A Theoretical Study on Variable Ordering of Zero-suppressed BDDs for Representing Frequent Itemsets2007

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      In Proc. of the 10th International Conference on Discovery Science (DS-2007) LNAI 4755

      ページ: 139-150

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      S. Minato, K. Satoh, T. Sato
    • 雑誌名

      Proc. of 20th International Joint Conference of Artificial Intelligence (IJCAI-2007)

      ページ: 2550-2555

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs2007

    • 著者名/発表者名
      Shin-ichi Minato and Hiroki Arimura
    • 雑誌名

      Knowledge Discovery in Inductive Databases, 5th International Workshop, KDID 2006 Revised Selected and lnvited Papers LNCS4747

      ページ: 152-169

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      S.Minato, K.Satoh, T.Sato
    • 雑誌名

      Proc. of 20th International Joint Conference of Artificial Intelligence IJCAI 2007

      ページ: 2550-2555

    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] A Method of Variable Ordering for Zero-suppressed Binary Decision Diagrams in Data Mining Applica2007

    • 著者名/発表者名
      H. Iwasaki, S. Minato, T. Zeugmann
    • 雑誌名

      The Third IEEE International Workshop on Databases for Next-Generation Researchers (SWOD'07)

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Symmetric item set mining method using zero-suppressed BDDs and application to biological data2007

    • 著者名/発表者名
      Minato, S., Ito, K.
    • 雑誌名

      Trans. JSAI 22

      ページ: 156-164

    • NAID

      130000058331

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19300041
  • [雑誌論文] Frequent Closed Item Set Mining Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      S. Minato and H. Arimura
    • 雑誌名

      Transaction of the Japanese Society of Artificial Intelligence Vol.22,(2)

      ページ: 165-172

    • NAID

      130000058332

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] N-gram Analysis Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      R.Kurai, S.Minato, T.Zeugmann
    • 雑誌名

      New Frontiers in Artificial Intelligence, Joint JSAI 2006 Workshop Post-Proceedings LNAI 4384

      ページ: 289-300

    • データソース
      KAKENHI-PROJECT-18049001
  • [雑誌論文] Frequent Closed Item Set Mining Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      Shin-ichi Minato, Hiroki Arimura
    • 雑誌名

      Information and Media Technologies (IMT) Vo1.2, No.1

      ページ: 309-316

    • NAID

      130000058332

    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] N-gram Analysis Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      R.Kurai, S.Minato, T.Zeugmann
    • 雑誌名

      New Frontiers in Artificial Intelligence, Joint JSAI 2006 Workshop Post-Proceedings LNAI 4384

      ページ: 289-300

    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] N-gram Analysis Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      Lecture Notes in Computer Science Vol. 4384

      ページ: 289-300

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] A Method of Variable Ordering for Zero-suppressed Binary Decision Diagrams in Data Mining Applica2007

    • 著者名/発表者名
      H.Iwasaki, S.Minato, T.Zeugmann
    • 雑誌名

      The Third IEEE International Workshop on Databases for Next-Generation Researchers (SWOD'07)

    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Compiling Bayesian Networks by Symbolic Probability Calculation Basedon Zero-suppressed BDDs2007

    • 著者名/発表者名
      S. Minato, K. Satoh, and T. Sato
    • 雑誌名

      Proc. of 20th International Joint Conference of Artificial Intelligence IJCAI 2007

      ページ: 2550-2555

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Frequent Closed Item Set Mining Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      Shin-ichi Minato, Hiroki Arimura
    • 雑誌名

      Transactions of the Japanese Society for Artificial Intelligence Vol. 22, No. 2

      ページ: 165-172

    • NAID

      130000058332

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data2007

    • 著者名/発表者名
      Shin-ichi Minato, Kimihito Ito
    • 雑誌名

      Transactions of the Japanese Society for Artificial Intelligence Vol. 22, No. 2

      ページ: 300-308

    • NAID

      130000058331

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] A Theoretical Study on Variable Ordering of Zero-suppressed BDDs for Representing Frequent Itemsets2007

    • 著者名/発表者名
      S, Minato
    • 雑誌名

      Lecture Notes in Computer Science Vol.4914

      ページ: 139-150

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data2007

    • 著者名/発表者名
      Shin-ichi Minato, Kimihito Ito
    • 雑誌名

      Information and Media Technologies (IMT) Vol.2

      ページ: 300-308

    • NAID

      130000058331

    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs2007

    • 著者名/発表者名
      Shin-ichi Minato and Hiroki Arimura
    • 雑誌名

      Knowledge Discovery in Inductive Databases, 5th International Workshop, KDID 2006 Revised Selected and Invited Papers LNCS 4747

      ページ: 152-169

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Frequent Pattern Mining and Knowledge Indexing Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      S. Minato, H. Arimura
    • 雑誌名

      Lecture Notes in Computer Science Vol. 4747

      ページ: 152-169

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data2007

    • 著者名/発表者名
      S. Minato, K. Ito
    • 雑誌名

      Transactions of the Japanese Society for Artificial Intelligence Vol. 22, No. 2

      ページ: 300-308

    • NAID

      130000058331

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] N-gram Analysis Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      R. Kurai, S. Minato, and T. Zeugmann
    • 雑誌名

      New Frontiers in Artificial Intelligence, Joint JSAI 2006 Workshop Post-Proceedings LNAI 4384

      ページ: 289-300

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] N-gram Analysis Based on Zero-suppressed BDDs2007

    • 著者名/発表者名
      S. Minato
    • 雑誌名

      Lecture Notes in Computer Science Vol. 4384

      ページ: 289-300

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法2006

    • 著者名/発表者名
      湊 真一, 有村博紀
    • 雑誌名

      電子情報通信学会論文誌 J89-D(2)

      ページ: 172-182

    • NAID

      110004669938

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] VSOP (Valued-Sum-of-Products) Calculator for Knowledge Precessing Based on Zero-Suppressed BDDs2006

    • 著者名/発表者名
      S. Minato
    • 雑誌名

      Lecture Notes in Computer Science Vol. 3847

      ページ: 40-58

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Finding Simple Disjoint Decompositions on Sets of Combinations Based on Zero-suppressed BDDs2006

    • 著者名/発表者名
      S. Minato
    • 雑誌名

      Proc. of Synthesis and Simulation Meeting and International Interchange SASIMI 2006

      ページ: 393-398

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] VSOP (Valued-Sum-of-Products) Calculator for Knowledge Precessing Based on Zero-Suppressed BDDs2006

    • 著者名/発表者名
      S. Minato
    • 雑誌名

      Lecture Notes in Computer Science 3847

      ページ: 40-58

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Symmetric Item Set Mining Based on Zero-suppressed BDDs2006

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      Proc. Of the 9th International Conference on Discovery Science (DS-2006) LNAI 4265

      ページ: 321-326

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] VSOP(Valued-Sum-of-products)Calculator for knowledge precessing Based on Zero-Suppressed BDDs2006

    • 著者名/発表者名
      S.Minato
    • 雑誌名

      Federation over the Web LNAI 3847

      ページ: 40-58

    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2006

    • 著者名/発表者名
      S. Minato
    • 雑誌名

      Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings LNAI 4012

      ページ: 169-181

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2006

    • 著者名/発表者名
      S.Minato
    • 雑誌名

      Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings LNAI 4012

      ページ: 169-181

    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法2006

    • 著者名/発表者名
      湊 真一, 有村博紀
    • 雑誌名

      電子情報通信学会論文誌 Vol.J89-D, No.2

      ページ: 172-182

    • NAID

      110004669938

    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Efficient Method of Transaction Database Analysis Using Zero-Suppressed BDDs2006

    • 著者名/発表者名
      Shin-ichi Minato and Hiroki Arimura
    • 雑誌名

      The IEICE Transaction on Information and Systems (Japanese Edition) Vol. J89-D, No. 2

      ページ: 172-182

    • NAID

      110004669938

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2006

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      Lecture Notes in Computer Science Vol. 4012

      ページ: 169-181

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Symmetric Item Set Mining Based on Zero-suppressed BDDs2006

    • 著者名/発表者名
      S.Minato
    • 雑誌名

      Proc. of the 9th International Conference on Discovery Science (DS-2006) LNAI 4265

      ページ: 321-326

    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2006

    • 著者名/発表者名
      Shin-ichi, Minato
    • 雑誌名

      Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings LNAI 4012

      ページ: 169-181

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Finding Simple Desjoint Decompositions on Sets of Combinations Based on Zero-suppressed BDDs2006

    • 著者名/発表者名
      S.Minato
    • 雑誌名

      Proc.of Synthesis and Simulation Meeting and International Interchange (SASIMI-2006) No.13(採録決定済・2006.4発表)

    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] VSOP (Valued-Sum-of-Products) Calculator for Knowledge Processing Based on Zero-Suppressed BDDs2006

    • 著者名/発表者名
      Shin-ichi Minato
    • 雑誌名

      Federation over the Web(K.P.Jantke, et al. editors)(Springer) LNAI 3847

      ページ: 40-58

    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2006

    • 著者名/発表者名
      S. Minato
    • 雑誌名

      Lecture Notes in Computer Science Vol. 4012

      ページ: 169-181

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Symmetric Item Set Mining Based on Zero-suppressed BDDs2006

    • 著者名/発表者名
      S. Minato
    • 雑誌名

      Proc. of the 9th International Conference on Discovery Science (DS-2006) LNAI 4265

      ページ: 321-326

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Finding Simple Disjoint Decompositions on Sets of Combinations Based on Zero-suppressed BDDs2006

    • 著者名/発表者名
      Shin-ichi. Minato
    • 雑誌名

      Proc. Of Synthesis and Simulation Meeting and International Interchange SASIMI2006

      ページ: 393-398

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Finding Simple Disjoint Decompositions on Sets of Combinations Based on Zero-suppressed BDDs2006

    • 著者名/発表者名
      S.Minato
    • 雑誌名

      Proc. of Synthesis and Simulation Meeting and International Interchange SASIMI 2006

      ページ: 393-398

    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Efficient Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs2005

    • 著者名/発表者名
      Sin-ichi Minato, Hiroki Arimura(H13-H16代表者)
    • 雑誌名

      Proc.of IEEE/IEICE/IPSJ International Workshop on Challenges in Web Information Retrieval and Integration IEEE CS P2414

      ページ: 3-10

    • データソース
      KAKENHI-PROJECT-16016266
  • [雑誌論文] Efficient Method of Transaction Database Analysis Using Zero-Suppressed BDDs (in Japanese)2005

    • 著者名/発表者名
      S. Minato, H. Arimura
    • 雑誌名

      IEICE Transactions on Information and Systems Vol. J89-D, No. 2

      ページ: 172-182

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Finding Simple Disjoint Decompositions in Frequent Itemset Data Using Zero-suppressed BDD2005

    • 著者名/発表者名
      S. Minato
    • 雑誌名

      Proc. of IEEE ICDM 2005 workshop on Computational Intelligence in Data Mining ISBN-0-9738918-5-8

      ページ: 3-11

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Finding Simple Disjoint Decompositions in Frequent Itemset Data Using Zero-suppressed BDD2005

    • 著者名/発表者名
      Sin-ichi Minato
    • 雑誌名

      Proc.of IEEE ICDM 2005 workshop on Computational Intelligence in Data Mining TRN2005-09

      ページ: 3-11

    • データソース
      KAKENHI-PROJECT-16016266
  • [雑誌論文] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2005

    • 著者名/発表者名
      Sin-ichi Minato
    • 雑誌名

      Proc.of JSAI Workshop on Learning with Logics and Logics for Learning(LLLL) No.3

      ページ: 3-9

    • データソース
      KAKENHI-PROJECT-16016266
  • [雑誌論文] Finding Simple Disjoint in Frequent Itemset Data Using Zero-suppressed BDD2005

    • 著者名/発表者名
      S.Minato
    • 雑誌名

      Proc. of IEEE ICDM 2005 workshop on Computational Intelligence in Data Mining ISBN-0-97389 18-5-8

      ページ: 3-11

    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法2005

    • 著者名/発表者名
      湊真一, 有村博紀
    • 雑誌名

      電子情報通信学会論文誌D Vol.J89-D No.2

      ページ: 172-182

    • NAID

      110004669938

    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法2005

    • 著者名/発表者名
      湊真一, 有村博紀
    • 雑誌名

      電子情報通信学会論文誌D Vol. J89-D, No. 2

      ページ: 172-182

    • NAID

      110004669938

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2005

    • 著者名/発表者名
      S.Minato
    • 雑誌名

      Proc.of JSAI Workshop on Learning with Logics and Logics for Learning (LLLL-2005) No.3

      ページ: 3-9

    • データソース
      KAKENHI-PROJECT-17300041
  • [雑誌論文] Efficient Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs2005

    • 著者名/発表者名
      S. Minato, H. Arimura
    • 雑誌名

      Proc. IEEE/IEICE/IPSJ Int'l Workshop on Challenges in Web Information Retrieval and Integration (WIRI-2005)

      ページ: 3-10

    • 説明
      「研究成果報告書概要(和文)」より
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17002008
  • [雑誌論文] Efficient Combinatorial Item Set Analysis Based on Zero-Suppressed BBDs2005

    • 著者名/発表者名
      S.Minato, H.Arimura
    • 雑誌名

      Proc. IEEE/IEICE/IPSJ Int'l workshop on Challenges in Web Information Retrieval and Integration(WIRI-2005)

      ページ: 3-10

    • データソース
      KAKENHI-PROJECT-17002008
  • [学会発表] Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram Operations2024

    • 著者名/発表者名
      S. Ooba, J. Kawahara, S. Minato
    • 学会等名
      The 16th International Conference on Agents and Artificial Intelligence
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] マトロイドを表すBDD/ZDDについて2024

    • 著者名/発表者名
      江本洸海, 岩政勇仁, 湊真一
    • 学会等名
      電子情報 通信学会2024総合大会
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] 0-1整数線形計画問題の実行可能解を列挙するZDDの生成法とその評価2024

    • 著者名/発表者名
      吉浩, 川原純, 湊真一
    • 学会等名
      情報処理学会第86回全国大会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] On the Computational Complexity of Generalized Common Shape Puzzles2024

    • 著者名/発表者名
      M. Banbara, S. Minato, H. Ono, R. Uehara
    • 学会等名
      The 49th International Conference on Current Trends in Theory and Practice of Computer Science
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] Recent Research Activities on Algorithmic Foundations for Social Advancement2024

    • 著者名/発表者名
      S. Minato
    • 学会等名
      The 18th International Conference and Workshops on Algorithms and Computation
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] ZDDの区間メモ化探索法を改良した頂点被覆問題のコスト制約解列挙アルゴリズム2024

    • 著者名/発表者名
      宮本照之, 川原純, 湊真一
    • 学会等名
      人工知能学会第128回人工知能基本問題研究会
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] コンテナ積載計画問題へのゼロサプレス型二分決定グラフの応用2024

    • 著者名/発表者名
      古渡健太, 川原純, 湊真一
    • 学会等名
      日本オペレーションズ・リサーチ学会2024年春季研究発表会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] マトロイドを表すBDD/ZDDについて2024

    • 著者名/発表者名
      江本洸海, 岩政勇仁, 湊真一
    • 学会等名
      電子情報通信学会2024総合大会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] 社会に貢献する最先端アルゴリズム技術2024

    • 著者名/発表者名
      湊 真一
    • 学会等名
      情報オリンピック日本委員会 春季セミナー全体講演会
    • 招待講演
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [学会発表] Optimizing Decision Diagrams for Measurements of Quantum Circuits2024

    • 著者名/発表者名
      R. Matsuo, R. Raymond, S. Yamashita, S. Minato
    • 学会等名
      The 29th Asia South Pacific Design Automation Conference
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] コンテナ積載計画問題へのゼロサプレス型二分決定グラフの応用2024

    • 著者名/発表者名
      古渡健太, 川原純, 湊真一
    • 学会等名
      日本オペレーションズ・リサーチ学会2024年春季研究発表会
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] ZDDの区間メモ化探索法を改良した頂点被覆問題のコスト制約解列挙アルゴリズム2024

    • 著者名/発表者名
      宮本照之, 川原純, 湊真一
    • 学会等名
      人工知能学会第128回人工知能基本問題研究会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] 0-1整数線形計画問題の実行可能解を列挙するZDDの生成法とその評価2024

    • 著者名/発表者名
      吉浩, 川原純, 湊真一
    • 学会等名
      情報処理学会第86回全国大会
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] 水性ガスシフト反応の反応経路ネットワーク分析2024

    • 著者名/発表者名
      江村紅音, 杉山佳奈美, 湊真一, 東雅大, 佐藤啓文
    • 学会等名
      日本化学会 第104春季年会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] 辺重み付き系列二分決定グラフによる頻出部分列の多重集合表現とその評価2023

    • 著者名/発表者名
      杉野創, 川原純, 湊真一
    • 学会等名
      情報処理学会第85回全国大会講演論文集, IL-03
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] Overview of AFSA (Algorithmic Foundations for Social Advancement ) Project and the Aim of This Competition2023

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      International Competition on Graph Counting Algorithms (ICGCA) Symposium 2023
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [学会発表] Exact and Efficient Network Reliability Evaluation per Outage Scale2023

    • 著者名/発表者名
      K. Nakamura, T. Inoue, M. Nishino, N. Yasuda, S. Minato
    • 学会等名
      IEEE International Conference on Communication
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] 辺重み付き系列二分決定グラフによる頻出部分列の多重集合表現とその評価2023

    • 著者名/発表者名
      杉野創, 川原純, 湊真一
    • 学会等名
      情報処理学会第85回全国大会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] 部分順列グラフの集合を表現するZDDの構築2023

    • 著者名/発表者名
      高嶋勇哉, 川原純, 湊真一
    • 学会等名
      情報処理学会第85回全国大会講演論文集, IL-02
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] ZDDによるパターン頻度表を用いた頻出アイテム集合マイニングの追加データ処理手法2023

    • 著者名/発表者名
      周文爍, 川原純, 湊真一
    • 学会等名
      情報処理学会第85回全国大会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] CompDP: 複数の連結性制約の下の部分グラフ数え上げを同時に行う動的計画法2023

    • 著者名/発表者名
      中村健吾, 西野正彬, 安田宜仁, 湊真一
    • 学会等名
      2023年度人工知能学会全国大会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] 部分順列グラフの集合を表現するZDDの構築2023

    • 著者名/発表者名
      高嶋勇哉, 川原純, 湊真一
    • 学会等名
      情報処理学会第85回全国大会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] A*探索に基づく組合せ最適化問題の上位解列挙とZDDの構築2023

    • 著者名/発表者名
      赤川雄紀, 川原純, 湊真一
    • 学会等名
      第21回情報科学技術フォーラム(FIT2023)
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] ChatGPTはなぜ計算が苦手なのか2023

    • 著者名/発表者名
      湊 真一
    • 学会等名
      国立情報学研究所 第67回大学等におけるオンライン教育とデジタル変革に関するサイバーシンポジウム
    • 招待講演
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [学会発表] ZDDによるパターン頻度表を用いた頻出アイテム集合マイニングの追加データ処理手法2023

    • 著者名/発表者名
      周文爍, 川原純, 湊真一
    • 学会等名
      情報処理学会第85回全国大会講演論文集, IL-04
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] The Art of Counting Graphs2023

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      180th Shonan Meeting (The Art of SAT)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [学会発表] CompDP: 複数の連結性制約の下の部分グラフ数え上げを同時に行う動的計画法2023

    • 著者名/発表者名
      中村健吾, 西野正彬, 安田宜仁, 湊真一
    • 学会等名
      2023年度人工知能学会全国大会 (第37回)
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] 単項二階論理式で与えられた論理関数を表す決定グラフの構築2023

    • 著者名/発表者名
      大場翔, 川原純, 湊真一
    • 学会等名
      2023年度人工知能学会全国大会(第37回)
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] 単項二階論理式で与えられた論理関数を表す決定グラフの構築2023

    • 著者名/発表者名
      大場翔, 川原純, 湊真一
    • 学会等名
      2023年度人工知能学会全国大会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints2023

    • 著者名/発表者名
      K. Nakamura, M. Nishino, N. Yasuda, S. Minato
    • 学会等名
      The 21st International Symposium on Experimental Algorithms
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] 言語生成AIの弱点:なぜChatGPTは計算が苦手なのか2023

    • 著者名/発表者名
      湊 真一
    • 学会等名
      日本学術会議 公開シンポジウム「生成AIの課題と今後」
    • 招待講演
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [学会発表] A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure2023

    • 著者名/発表者名
      K. Nakamura, T. Inoue, M. Nishino, N. Yasuda, S. Minato
    • 学会等名
      2023 IEEE International Conference on Computer Communications
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] A*探索に基づく組合せ最適化問題の上位解列挙とZDDの構築2023

    • 著者名/発表者名
      赤川雄紀, 川原純, 湊真一
    • 学会等名
      第21回情報科学技術フォーラム
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] ZDDの区間メモ化探索技法によるコスト制約組合せ問題の高速な解列挙2022

    • 著者名/発表者名
      湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
    • 学会等名
      情報処理学会アルゴ リズム研究会, 情処研報, Vol. 2022-AL-187
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] BDDs and ZDDs: My Memories on the Shoulders of Giants2022

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      Special Session of Bryant Discoveries Day, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT2022)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [学会発表] レプ・タイルの定式化を用いた各種ソルバの性能比較2022

    • 著者名/発表者名
      番原睦則, 橋本健二, 堀山貴史, 湊真一, 中村駆, 西野正彬, 酒井正彦, 上原隆平, 宇野裕之, 安田宜仁
    • 学会等名
      人工知能学会人工知能基本問題研究会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] ネットワーク信頼性評価におけるk辺連結性を表現するMDDの構築法2022

    • 著者名/発表者名
      阿部春樹, 川原純, 湊真一
    • 学会等名
      情報処理学会アルゴリズム研究会, 情処研報, Vol.2022-AL-190
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] 解集合プログラミングを用いた配電網問題の解法2022

    • 著者名/発表者名
      山田健太郎, 湊真一, 田村直之, 番原睦則
    • 学会等名
      第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022)
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] Sorting Balls and Water: Equivalence and Computational Complexity2022

    • 著者名/発表者名
      Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
    • 学会等名
      11th International Conference on Fun with Algorithms (FUN 2022)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems2022

    • 著者名/発表者名
      Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
    • 学会等名
      5th International Workshop on Enumeration Problems and Applications (WEPA2022)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] Solving Rep-tile by Computers2022

    • 著者名/発表者名
      Mutsunori Banbara, Kenji Hashimoto, Takashi, Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda
    • 学会等名
      14th Gathering 4 Gardner Conference
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] 解集合プログラミングを用いた配電網問題の解法2022

    • 著者名/発表者名
      山田健太郎, 湊真一, 田村直之, 番原睦則
    • 学会等名
      日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] BDDs and ZDDs: My Memories on the Shoulders of Giants2022

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      Special Session of Bryant Discoveries Day, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT2022)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] レプ・タイルの定式化を用いた各種ソルバの性能比較2022

    • 著者名/発表者名
      番原睦則, 橋本健二, 堀山貴史, 湊真一, 中村駆, 西野正彬, 酒井正彦, 上原隆平, 宇野裕之, 安田宜仁
    • 学会等名
      第16回組合せゲーム・パズル研究集会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] 学術変革領域研究(A)「アルゴリズム基盤」(AFSAプロジェクト)の 概要と近況について2022

    • 著者名/発表者名
      湊 真一
    • 学会等名
      日本科学技術協会(JAAS)第1回総会
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [学会発表] 学変(A) アルゴリズム基盤(AFSA)プロジェクトの概要と最近の活動状況について2022

    • 著者名/発表者名
      湊真一
    • 学会等名
      情報処理学会第84回全国大会 企画シンポジウム「革新的アルゴリズム基盤の構築に向けて」
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [学会発表] DAGに対する幅とアルゴリズムに関する一考察2022

    • 著者名/発表者名
      森順平, 川原純, 湊真一, 笠原正治
    • 学会等名
      情報処理学会第84回全国大会講演論文集, 5K-05
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] ZDDの区間メモ化探索技法によるコスト制約組合せ問題の高速な解列挙2022

    • 著者名/発表者名
      湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
    • 学会等名
      情報処理学会, 第187回アルゴリズム研究発表会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] ZDD の反復的トップダウン構築による選挙区割問題に対する厳密解列挙高速化2022

    • 著者名/発表者名
      山崎宏紀, 川原純, 湊真一
    • 学会等名
      情報処理学会第84回全国大会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] 最短路遷移問題のZDDを用いた解法と評価2022

    • 著者名/発表者名
      大場翔, 川原純, 湊真一
    • 学会等名
      2022年 度人工知能学会全国大会(第36回), 4F1-OS-8a-02
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] マトロイド判定問題に対するZDDを用いた解法とその評価2022

    • 著者名/発表者名
      江本洸海, 岩政勇仁, 湊真一
    • 学会等名
      第21回情報科学技術フォーラム(FIT2022)
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] ネットワーク信頼性評価におけるk辺連結性を表現 するMDDの構築法2022

    • 著者名/発表者名
      阿部春樹, 川原純, 湊真一
    • 学会等名
      情報処理学会アルゴリズム研究会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] ZDDの反復的トップダウン構築による選挙区割問 題に対する厳密解列挙高速化2022

    • 著者名/発表者名
      山崎宏紀, 川原純, 湊真一
    • 学会等名
      情報処理学会第84回全国大会講演論文集, 5K-04
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] 部分理想グラフの集合を表現するZDDの構築2022

    • 著者名/発表者名
      高嶋勇哉, 川原純, 斎藤寿樹, 吉仲亮, 湊真一
    • 学会等名
      2022夏のLAシンポジウム
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] マトロイド判定問題に対するZDDを用いた解法とその評価2022

    • 著者名/発表者名
      江本洸海, 岩政勇仁, 湊真一
    • 学会等名
      第21回情報科学技術フォーラム(FIT2022), A-014
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] A ZDD-Based Algorithm for Solving Minimum Weighted Vertex Cover Problems and Its Evaluation2022

    • 著者名/発表者名
      Xiang Liu, Shin-ichi Minato
    • 学会等名
      the 84th National Convention of IPSJ, 5K-03
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems2022

    • 著者名/発表者名
      Shin-Ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
    • 学会等名
      The 5th International Workshop on Enumeration Problems & Applications (WEPA 2022)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] 革新的アルゴリズム基盤(AFSA)プロジェクトと人工知能基本問題2022

    • 著者名/発表者名
      湊 真一
    • 学会等名
      人工知能学会第122回人工知能基本問題研究会
    • 招待講演
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [学会発表] 動的計画法に基づく Simple Polygonization 列挙アルゴリズムの実験的評価2021

    • 著者名/発表者名
      中畑 裕,堀山 貴史,湊 真一,山中 克久
    • 学会等名
      情報処理学会アルゴリズム研究会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] [招待講演]学術変革領域(A)「社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化」の概要と今後の研究活動について2021

    • 著者名/発表者名
      湊真一
    • 学会等名
      電子情報通信学会コンピュテーション研究会, COMP2021-8
    • 招待講演
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [学会発表] 解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察2021

    • 著者名/発表者名
      山田悠也, 湊真一, 番原睦則
    • 学会等名
      日本ソフトウェア科学会第38回大会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] 湊研究室の研究紹介2021

    • 著者名/発表者名
      湊 真一
    • 学会等名
      「情報科学の達人」プロジェクト 見学会
    • 招待講演
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [学会発表] 解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察2021

    • 著者名/発表者名
      山田悠也, 湊真一, 番原睦則
    • 学会等名
      日本ソフトウェア科学会第38回大会(2021年度) 講演論文集, 46-L
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] Decision Diagrams and Reversible Computation2021

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      Invited talk at 13th International Conference on Reversible Computation (RC2021)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-ORGANIZER-20H05961
  • [学会発表] 任意の可逆論理関数を実現可能な部分回路を持つ最小のトフォリゲート回路の構成2020

    • 著者名/発表者名
      加藤剛, 湊真一
    • 学会等名
      情報処理学会SLDM研究会 DAシンポジウム2020
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法2020

    • 著者名/発表者名
      湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] 解集合プログラミングを用いた配電網問題の解法に関する一考察2020

    • 著者名/発表者名
      山田健太郎, 湊真一, 番原睦則
    • 学会等名
      日本ソフトウェア科学会第37回大会(2020年度)
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] Recent Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation2020

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      29th International Workshop on Logic and Synthesis (IWLS2021)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] パストランジスタ回路の網羅的列挙による素子数最小回路の探索2020

    • 著者名/発表者名
      清水亮太, 湊真一
    • 学会等名
      情報処理学会SLDM研究会 DAシンポジウム2020
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法2020

    • 著者名/発表者名
      湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • データソース
      KAKENHI-PLANNED-20H05964
  • [学会発表] グラフの全点対間の点カットを索引化するBDD の構築2020

    • 著者名/発表者名
      髙橋昌大, 川原純, 湊真一
    • 学会等名
      2020年度人工知能学会全国大会(第34回)
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] 選挙区割問題に対する ZDD を用いた近似的列挙手法の提案と評価2020

    • 著者名/発表者名
      山崎宏紀, 川原純, 湊真一
    • 学会等名
      第19回情報科学技術フォーラム(FIT2020)
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] 動的計画法に基づくSimple Polygonization列挙アルゴリズムの実験的評価2020

    • 著者名/発表者名
      中畑裕, 堀山貴史, 湊真一, 山中克久
    • 学会等名
      情報処理学会第182回アルゴリズム研究会
    • データソース
      KAKENHI-PROJECT-20H00605
  • [学会発表] Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration2020

    • 著者名/発表者名
      Yu Nakahata, Jun Kawahara, Takashi Horiyama and Shin-ichi Minato
    • 学会等名
      the 14th International Workshop of Algorithms and Computation (WALCOM2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Designing Survivable Networks with Zero-suppressed Binary Decision Diagrams2020

    • 著者名/発表者名
      Hirofumi Suzuki, Masakazu Ishihata and Shin-ichi Minato
    • 学会等名
      the 14th International Workshop of Algorithms and Computation (WALCOM2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] グラフ同型に関する代表元のグラフを列挙するZDDの構築について2019

    • 著者名/発表者名
      大澤賢悟, 中畑裕, 湊真一
    • 学会等名
      人工知能学会第110回人工知能基本問題研究会
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 隣接互換による最短長ユニバーサル列2019

    • 著者名/発表者名
      伊藤健洋, 川原純, 湊真一, 大舘陽太, 斎藤寿樹, 鈴木顕, 上原隆平, 宇野毅明, 山中克久, 吉仲亮
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Algorithmic Techniques for Discrete Structure Manipulation and Application to Chemical Reaction Network Analysis2019

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      1st ICReDD International Symposium, Institute for Chemical Reaction Design and Discovery, Hokkaido University
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] ZDDを用いたグラフ細分構造の列挙2019

    • 著者名/発表者名
      中畑裕, 川原純, 堀山貴史, 湊真一
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 離散構造処理系プロジェクト:10年の研究経過と今後の展開2019

    • 著者名/発表者名
      湊真一
    • 学会等名
      情報処理学会第81回全国大会, 特別講演3
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 7次対称方陣の数え上げ2019

    • 著者名/発表者名
      加藤剛,湊真一
    • 学会等名
      情報処理学会アルゴリズム研究会, 情処研報, 2019-AL-171
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic2019

    • 著者名/発表者名
      Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, and Koji Kurihara
    • 学会等名
      SIAM International Conference on Data Mining (SDM2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 電力システムに貢献するアルゴリズム技術とその将来2019

    • 著者名/発表者名
      湊真一
    • 学会等名
      平成31年電気 学会全国大会 本部企画セッション
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Enumerating associative magic squares of order 72019

    • 著者名/発表者名
      Go Kato, Shin-ichi Minato
    • 学会等名
      Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] グラフ列挙における構築途中のZDD幅に基づく変数順序づけ法2018

    • 著者名/発表者名
      鈴木浩史, 湊真一
    • 学会等名
      情報処理学会第80回全国大会, 7A-01
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 離散構造処理系プロジェクトの近況について2018

    • 著者名/発表者名
      湊真一
    • 学会等名
      電子情報通信 学会コンピュテーション研究会, 信学技報, vol. 118 no. 268
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Exact Computation of Strongly Connected Reliability by BDDs2018

    • 著者名/発表者名
      Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato
    • 学会等名
      The 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 離散構造処理系:その概要と最近の研究状況について2018

    • 著者名/発表者名
      湊真一
    • 学会等名
      第21回情報論的学習理論ワークショップ (IBIS 2018)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] ZDDを用いた組合せテストケースの列挙索引化に関する実験と考察2018

    • 著者名/発表者名
      大畑翔平, 湊真一
    • 学会等名
      人工知能学会第106回人工知能基本問題研究会資料, SIG-FPAI-B509-03, pp. 15-19
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] ZDD を用いたネットワーク設計2018

    • 著者名/発表者名
      鈴木浩史, 石畠正和, 湊真一
    • 学会等名
      2018年度人工知能学会全国大会(第32回)
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Decision Diagram-Based Techniquesfor Enumeration Problems and Applications2018

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      2nd International Workshop on Enumeration Problems & Applications (WEPA 2018)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 順序決定木に対する正則化パラメータ推定の高速化2018

    • 著者名/発表者名
      金森 憲太朗, 石畠 正和, 湊 真一, 有村 博紀
    • 学会等名
      第105回人工知能基本問題研究会(SIG-FPAI),SIG-FPAI-B508, 人工知能学会
    • データソース
      KAKENHI-PROJECT-16H01743
  • [学会発表] Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams2018

    • 著者名/発表者名
      Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato
    • 学会等名
      The 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 日本株データベースにおける曜日効果を考慮した投資モデルの網羅的分析2018

    • 著者名/発表者名
      林大祐, 羽室行信, 岡田克彦, 湊真一
    • 学会等名
      人工知能学会第105回人工知能基本問題研究会資料, SIG-FPAI-B508, pp. 33-39
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 化学反応経路ネットワーク におけるZDDを用いたエネルギー制限付き経路列挙2018

    • 著者名/発表者名
      鈴木浩史,中野裕太,住谷陽輔,湊真一,前田理
    • 学会等名
      情報処理学会アルゴリズム 研究会, 情処研報, 2018-AL-169
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] グラフ・列挙・確率に関わる離散構造処理アルゴリズムの最近の研究 トピックについて2018

    • 著者名/発表者名
      湊真一
    • 学会等名
      人工知能学会 人工知能基本問題研究会 合同研究会企画シ ンポジウム (SIG-FPAI)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] SeqBDDを用いた集合分割の族の表現法と実験的 評価2018

    • 著者名/発表者名
      高橋翔哉,湊真一,瀧川一学
    • 学会等名
      情報処理学会アルゴリズム研究会, 情処研報, 2018-AL-169
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] ZDDを用いた集合分割の族の表現法2018

    • 著者名/発表者名
      高橋翔哉, 湊真一
    • 学会等名
      情報処理学会第80回全国大会, 6K-03
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] スキャン統計量に基づく組 合せホットスポット抽出を行う高速アルゴリズム2018

    • 著者名/発表者名
      湊 真一,川原純,水田正弘,石岡文生,栗原考次
    • 学会等名
      情報処理学会アルゴリズム 研究会, 情処研報, 2018-AL-169
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 敵対的組合せバンディット問題に対する ZDD を用いたアルゴリズム2017

    • 著者名/発表者名
      坂上晋作, 石畠正和, 湊真一
    • 学会等名
      信学技報, vol. 117, no. 110, IBISML2017-1, pp. 43-48
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Enumeration Algorithms for Politival Districting2017

    • 著者名/発表者名
      Jun Kawahara, Takashi Horiyama, Keisuke Hotta and Shin-ichi Minato
    • 学会等名
      The 15th Conference of the International Federation of Classification Societies (IFCS-2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Decision Diagram-Based Enumeration Techniques and Applications for Statistical Data Analysis2017

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      The 15th Conference of the International Federation of Classification Societies (IFCS-2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] フロンティア法による強連結な部分グラフの列挙2017

    • 著者名/発表者名
      鈴木浩史, 石畠正和, 湊真一
    • 学会等名
      人工知能学会 第104回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B507, pp. 26-31
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 複数の順列に共通して現れるパターンの列挙法2017

    • 著者名/発表者名
      井上祐馬, 湊真一
    • 学会等名
      情報処理 学会第79回全国大会
    • 発表場所
      名古屋大学(名古屋市)
    • 年月日
      2017-03-16
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] ZDDを用いた0-1多目的ナップサック問題のパレート解列挙2017

    • 著者名/発表者名
      鈴木浩史, 湊真一
    • 学会等名
      情報処理学会第79回全国大会
    • 発表場所
      名古屋大学(名古屋市)
    • 年月日
      2017-03-16
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Enumeration and Evaluation for the Single-Seat Constituency System2017

    • 著者名/発表者名
      Keisuke Hotta, Jun Kawahara, Takashi Horiyama, and Shin-ichi Minato
    • 学会等名
      Aural presentation at the 21st Conference of the International Federation of Operational Research Societies (IFORS2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] BDD/ZDD-based enumeration techniques and real-life applications2017

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      EPFL Workshop on Logic Synthesis and Emerging Technologies
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Power of Enumeration -- BDD/ZDD-Based Techniques for Solving Combinatorial Problems2017

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      The 10th Annual Symposium on Combinatorial Search (SoCS-2017)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Separate Compilation of Bayesian Networks for Efficient Exact Inference2017

    • 著者名/発表者名
      高サン, 石畠正和, 湊 真一
    • 学会等名
      人工知能学会第103回人工知能基本問題研究 会
    • 発表場所
      湯布院公民館(大分県由布市)
    • 年月日
      2017-03-13
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 論理制約を伴う最短路問題を解く動 的計画法の空間計算量の削減2017

    • 著者名/発表者名
      竹内文登, 安田宜仁, 西野正彬, 湊真一
    • 学会等名
      情報処理学会第79回全国大会
    • 発表場所
      名古屋大学(名古屋市)
    • 年月日
      2017-03-16
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 系列二分決定グラフを用いた頻出部分グラフの圧縮表現2017

    • 著者名/発表者名
      岡崎文哉 奥山葉月 瀧川一学 湊真一
    • 学会等名
      2017年度人工知能学会全国大会(第31回), 4A1-1
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] BDD/ZDD-based knowledge indexing and real-life applications2017

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      Dagstuhl Seminar 17381, Schloss Dagstuhl, Dagstuhl
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 深さ優先フロンティア法の実装2017

    • 著者名/発表者名
      湊 真一
    • 学会等名
      第25回列挙アルゴリズムセミナー
    • 発表場所
      群馬大学伊香保研修所(群馬県渋川市)
    • 年月日
      2017-02-28
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 離散構造処理系の技法と組合せ列挙・最適化2017

    • 著者名/発表者名
      湊真一
    • 学会等名
      進化計算シンポジウム2017特別講演
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] スマートオブジェクトの近接連携シナリオへの記号モデル検査の応用2017

    • 著者名/発表者名
      蓑田 玲緒奈, 湊 真一
    • 学会等名
      第31回人工知能学会全国大会, 1M1-OS-02a-3
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] JST ERATO 湊離散構造処理系プロジェクトの成果とその後の取り組み2017

    • 著者名/発表者名
      湊 真一
    • 学会等名
      ビッグデータ分析技術ワークショップ ~大規模グラフマイニング技術と応用~, 主催:NTT ソフトウェアイノベーションセンタ 協賛:電子情報通信学会データ 工学研究専門委員会
    • 発表場所
      高山市民文化会館(岐阜県高山市)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 離散構造処理系プロジェクトと超高速グラフ列挙技法2016

    • 著者名/発表者名
      湊真一
    • 学会等名
      2016年度 統計学会連合大会
    • 発表場所
      金沢大学,金沢
    • データソース
      KAKENHI-ORGANIZER-24106001
  • [学会発表] グラフの部分構造を列挙するZDD構築の ための変数順序付けヒューリスティクス2016

    • 著者名/発表者名
      井上祐馬, 鈴木浩史, 伊藤華, 湊真一
    • 学会等名
      2016年度人工知能学会全国大会(第 30回)
    • 発表場所
      北九州市国際会議場(北九州市)
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 順列のサイクルタイプ同値類分割に対する順列決定グラフ の適用2016

    • 著者名/発表者名
      井上祐馬, 湊真一
    • 学会等名
      人工知能学会第101回人工知能基本問題研究会
    • 発表場所
      北海道大学(札幌市)
    • 年月日
      2016-08-07
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] ACT-I「情報と未来」への期待2016

    • 著者名/発表者名
      湊 真一
    • 学会等名
      情報系Winter Festa Episode2, 主催:JST ERATO河原林巨大グラフプロジェクト
    • 発表場所
      一橋講堂2F中会議場(東京都)
    • 年月日
      2016-12-22
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 離散構造処理系に関する最近の研究と今後の展望2016

    • 著者名/発表者名
      湊真一
    • 学会等名
      電子情報通信学会2016ソサイエティ大会
    • 発表場所
      北海道大学,札幌
    • データソース
      KAKENHI-ORGANIZER-24106001
  • [学会発表] 制約付き系列ラベリングの高速解法2016

    • 著者名/発表者名
      竹内文登, 西野正彬, 安田宜仁, 湊真一
    • 学会等名
      2016年度人工知能学会全国大会(第30回)
    • 発表場所
      北九州市国際会議場(北九州市)
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Power of enumeration - BDD/ZDD-based techniques for discrete structure manipulation2016

    • 著者名/発表者名
      S. Minato
    • 学会等名
      in Proc. of IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL2016)
    • 発表場所
      北海道大学,札幌
    • データソース
      KAKENHI-ORGANIZER-24106001
  • [学会発表] Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation2016

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL2016)
    • 発表場所
      北海道大学(札幌市)
    • 年月日
      2016-05-18
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 配電損失最小化問題のスケーラブルな厳密解法2016

    • 著者名/発表者名
      安田宜仁, 湊真一, 竹延祐二, 林泰弘
    • 学会等名
      平成28年電気学会全国大会
    • 発表場所
      東北大学(仙台市)
    • 年月日
      2016-03-16
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 列挙木とMCMCを組み合わせた部分グ ラフサンプリングアルゴリズムの構築2016

    • 著者名/発表者名
      和佐州洋, 石畠正和, 宇野毅明, 湊真一
    • 学会等名
      人工知能学会第101回人工知能基本問題 研究会
    • 発表場所
      北海道大学(札幌市)
    • 年月日
      2016-08-07
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] グラフウォークを列挙する系列二分決定グラフの 高速な生成法に関する実験と評価2016

    • 著者名/発表者名
      石丸亮, 青木洋士, 湊 真一
    • 学会等名
      第15回情報科学技術フォーラム(FIT2016)
    • 発表場所
      富山大学(富山市)
    • 年月日
      2016-09-07
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 基盤(S) 離散構造処理系プロジェクト紹介 プロジェクトの近況と今 後の展望2016

    • 著者名/発表者名
      湊 真一
    • 学会等名
      情報系Winter Festa Episode2, 主催:JST ERATO河原林巨大グラフ プロジェクト
    • 発表場所
      一橋講堂2F中会議場(東京都)
    • 年月日
      2016-12-22
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 株価データベースに対する週次パタン マイニングとその評価2016

    • 著者名/発表者名
      林大祐, 羽室行信, 岡田克彦, 湊真一
    • 学会等名
      第15回情報科学技術フォーラム(FIT2016)
    • 発表場所
      富山大学(富山市)
    • 年月日
      2016-09-07
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 平行移動不変な非負値行列 因子分解とその分析2016

    • 著者名/発表者名
      鈴木慶介, 今井英幸, 張若霓, 瀧川一学, 湊 真一
    • 学会等名
      第15回情報科学技術フォーラム(FIT2016)
    • 発表場所
      富山大学(富山市)
    • 年月日
      2016-09-07
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] ZDDを用いた多次元ナップサック問題の厳密解法2016

    • 著者名/発表者名
      安田宜仁, 西野正彬, 湊真一
    • 学会等名
      2016年度人工知能学会全国大会(第30回)
    • 発表場所
      北九州市国際会議場(北九州市)
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 一票の格差が小さな選挙区の列挙(企 画セッション「超高速グラフ列挙法と統計学への応用」)2016

    • 著者名/発表者名
      川原純, 堀山貴史, 堀田敬介, 湊真一
    • 学会等名
      2016年度 統計学会 連合大会
    • 発表場所
      金沢大学(金沢市)
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] モデル検査によるSmart Objectの近傍近接連携モデルの検 証2016

    • 著者名/発表者名
      蓑田玲緒奈, 湊真一
    • 学会等名
      人工知能学会第101回人工知能基本問題研究会
    • 発表場所
      北海道大学(札幌市)
    • 年月日
      2016-08-07
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 離散構造処理系に関する最近の研究と今後の展望2016

    • 著者名/発表者名
      湊真一
    • 学会等名
      電子情報通信学会 2016ソサイエティ大会
    • 発表場所
      北海道大学(札幌市)
    • 年月日
      2016-09-20
    • 招待講演
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] ZDDを用いたグラフ列挙索引化における頂点インデックスの 追加2016

    • 著者名/発表者名
      鈴木浩史, 湊真一
    • 学会等名
      人工知能学会第101回人工知能基本問題研究会
    • 発表場所
      北海道大学(札幌市)
    • 年月日
      2016-08-07
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] BDD/ZDDを用いたマインスイーパーの爆弾配置パタン の列挙2016

    • 著者名/発表者名
      鈴木浩史, 孫浩, 湊真一
    • 学会等名
      2016年度人工知能学会全国大会(第30回)
    • 発表場所
      北九州市国際会議場(北九州市)
    • 年月日
      2016-06-06
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] 離散構造処理系プロジェクトと超高速グラフ列挙技法 (企画セッショ ン「超高速グラフ列挙法と統計学への応用」)2016

    • 著者名/発表者名
      湊真一
    • 学会等名
      2016年度 統計学会連合大会
    • 発表場所
      金沢大学(金沢市)
    • 年月日
      2016-09-05
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Recent Research Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation2016

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      The 11th International Workshop on Information Search, Integration, and Personalization (ISIP 2016)
    • 発表場所
      リヨン大学(フランス)
    • 年月日
      2016-11-03
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Enumerating Eulerian Trails via Hamiltonian Path Enumeration2015

    • 著者名/発表者名
      Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi, and Shin-ichi Minato
    • 学会等名
      9th International Workshop of Algorithms and Computation (WALCOM2015)
    • 発表場所
      Dhaka, Bangladesh
    • 年月日
      2015-02-27
    • データソース
      KAKENHI-PROJECT-24650062
  • [学会発表] m連結成分分割の高速列挙法と区割の比較2015

    • 著者名/発表者名
      川原純, 堀田敬介, 堀山貴史, 湊 真一
    • 学会等名
      日本オペレーションズ・リサーチ学会秋季研究発表会
    • 発表場所
      九州工業大学戸畑キャンパス(北九州市)
    • 年月日
      2015-09-09
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] ZDD のトップダウン構築における変数順序付法の考察2015

    • 著者名/発表者名
      伊藤華, 井上祐馬, 湊真一
    • 学会等名
      第14回 情報科学技術フォーラム(FIT-2015)
    • 発表場所
      愛媛大学(松山市)
    • 年月日
      2015-09-15
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Factorization of ZDDs for Representing Bayesian Networks Based on d-separations2015

    • 著者名/発表者名
      Shan Gao, Shin-ichi Minato
    • 学会等名
      the second Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2015)
    • 発表場所
      慶應義塾大学日吉キャンパス(横浜市)
    • 年月日
      2015-11-16
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] The Art of Graph Algorithms Based on "Power of Enumeration"2015

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      The 3rd International Symposium on Computing and Networking (CANDAR 2015)
    • 発表場所
      札幌市産業振興センター(札幌市)
    • 年月日
      2015-12-08
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits2015

    • 著者名/発表者名
      Yuma Inoue, Shin-ichi Minato
    • 学会等名
      7th International Conference on Reversible Computation (RC 2015), (LNCS 9138, Springer)
    • 発表場所
      Grenoble, France
    • 年月日
      2015-07-16
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H05711
  • [学会発表] DenseZDD: A Compact and Fast Index for Families of Sets2014

    • 著者名/発表者名
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato and Kunihiko Sadakane
    • 学会等名
      Symposium on Experimental Algorithms (SEA 2014)
    • 発表場所
      IDA Conference Centre(デンマーク・コペンハーゲン)
    • データソース
      KAKENHI-PROJECT-24650062
  • [学会発表] 順列決定グラフ(πDD)を用いたオイラー路の高速な列挙索引化2014

    • 著者名/発表者名
      井上祐馬, 湊真一
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      中央大学(東京都)
    • 年月日
      2014-10-08
    • データソース
      KAKENHI-PROJECT-24650062
  • [学会発表] DAGによる文字列集合の圧縮表現に対する効率的な索引アルゴリズム2014

    • 著者名/発表者名
      伝住周平, 津田宏治, 有村博紀, 湊真一
    • 学会等名
      人工知能学会 第92回人工知能基本問題研究会
    • 発表場所
      函館市民会館,函館市
    • データソース
      KAKENHI-PROJECT-24240021
  • [学会発表] An Efficient Method for Indexing All Topological Orders of a Directed Graph2014

    • 著者名/発表者名
      Yuma Inoue and Shin-ichi Minato
    • 学会等名
      25th International Symposium on Algorithms and Computation (ISAAC 2014)
    • 発表場所
      Jeonju, Korea
    • 年月日
      2014-12-15
    • データソース
      KAKENHI-PROJECT-24650062
  • [学会発表] 巨大で疎な組合せ集合を表現するための三分索引化ZDD2013

    • 著者名/発表者名
      青木洋士, 戸田貴久, 湊真一
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      名古屋工業大学(名古屋市)
    • データソース
      KAKENHI-PROJECT-24650062
  • [学会発表] Succinct Indices Based on Zero-Suppressed Binary Decision Diagrams2013

    • 著者名/発表者名
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Kunihiko Sadakane, Shin-ichi Minato
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      岐阜大学(岐阜市)
    • データソース
      KAKENHI-PROJECT-24650062
  • [学会発表] Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams2013

    • 著者名/発表者名
      Shuhei Denzumi, Koji Tsuda, Hiroki Arimura and Shin-ichi Minato
    • 学会等名
      Prague Stringology Conference 2013
    • 発表場所
      Czech Technical University, Prague
    • データソース
      KAKENHI-PROJECT-24240021
  • [学会発表] BDD/ZDDを基盤とする離散構造処理系の最近の展開2013

    • 著者名/発表者名
      湊真一
    • 学会等名
      電子情報通信学会 2013ソサイエティ大会
    • 発表場所
      福岡工業大学, 福岡市
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24240021
  • [学会発表] 大規模疎行列を扱うZDDの演算を高速化する飛び越しリンク構造2013

    • 著者名/発表者名
      湊真一
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      岐阜大学(岐阜市)
    • データソース
      KAKENHI-PROJECT-24650062
  • [学会発表] Fast and Succinct Indices Based on Zero-Suppressed Binary Decision Diagrams2012

    • 著者名/発表者名
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, and Shin-ichi Minato
    • 学会等名
      Third Workshop on Algorithms for Large-Scale Information Processing (ALSIP 2012)
    • 発表場所
      JA AZM Hall, Miyazaki, Japan
    • データソース
      KAKENHI-PROJECT-24650062
  • [学会発表] MTZDDに基づく提携ゲームの簡略記述法の提案2011

    • 著者名/発表者名
      櫻井祐子,上田俊,岩崎敦,湊真一,横尾真
    • 学会等名
      合同エージェント&マルチエージェントシステムワークショップ
    • 発表場所
      静岡県
    • データソース
      KAKENHI-PROJECT-23500166
  • [学会発表] Notes on Sequence Binary Decision Diagrams : Relationship to Acyclic Automata and Complexities of Binary Set Operations2011

    • 著者名/発表者名
      Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato
    • 学会等名
      Prague Stringology Conference 2011 (PSC2011)
    • 発表場所
      Czech Technical Univ., Prague (Czech)
    • 年月日
      2011-08-30
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Notes on Sequence Binary Decision Diagrams : Relationship to Acyclic Automata and Complexities of Binary Set Operations2011

    • 著者名/発表者名
      Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-Ichi Minato
    • 学会等名
      Proc.Prague Stringology Conference 2011 (PSC'11)
    • 発表場所
      Czech Technical University in Prague (Czech Republic)
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] Implementation of Sequence BDDs in Erlang2011

    • 著者名/発表者名
      S. Denzumi, H. Arimura, S. Minato
    • 学会等名
      Proc ACM ERLANG
    • 発表場所
      ACM
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] BDD/ZDDを基盤とする離散構造処理系の技法と最近の展開2011

    • 著者名/発表者名
      湊真一
    • 学会等名
      日本ソフトウェア科学会第28回大会
    • 発表場所
      沖縄県市町村自治会館(那覇市)(招待講演)
    • 年月日
      2011-09-28
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams2011

    • 著者名/発表者名
      Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shinichi Minato, Makoto Yokoo
    • 学会等名
      14th International Conference on Principles and Practice of Multi-Agent System (PRIMA-2011) (Best paper award)
    • 発表場所
      オーストラリア
    • データソース
      KAKENHI-PROJECT-23500166
  • [学会発表] Implementation of Sequence BDDs in Erlang2011

    • 著者名/発表者名
      Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato
    • 学会等名
      Proc of Tenth ACM SIGPLAN Erlang Workshop
    • 発表場所
      Hitotsubashi Memorial Hall (東京都)
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams2011

    • 著者名/発表者名
      Ryo Ichimura, Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shinichi Minato, Makoto Yokoo
    • 学会等名
      IJCAI Workshop on Social Choice and Artificial Intelligence
    • 発表場所
      スペイン
    • データソース
      KAKENHI-PROJECT-23500166
  • [学会発表] DA分野から発展したBDD/ZDD技術の最近の研究状況について2011

    • 著者名/発表者名
      湊真一
    • 学会等名
      情報処理学会DAシンポジウム
    • 発表場所
      ホテル下呂温泉水明館(下呂市)(招待講演)
    • 年月日
      2011-08-31
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] PiDD : A New Decision Diagram for Efficient Problem Solving in Permutation Space2011

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      14th International Conference on Theory and Applications of Satisfiability Testing (SAT2011)
    • 発表場所
      Univ.Michigan (USA)
    • 年月日
      2011-06-19
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] DA分野から発展したBDD/ZDD技術の最近の研究状況について2011

    • 著者名/発表者名
      湊真一
    • 学会等名
      情報処理学会DAシンポジウム招待講演
    • 発表場所
      ホテル下呂温泉水明館(下呂市)
    • 年月日
      2011-08-31
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Notes on Sequence Binary Decision Diagrams : Relationship to Acyclic Automata and Complexities of Binary Set Operations2011

    • 著者名/発表者名
      S. Denzumi, Ryo Yoshinaka, H. Arimura and Shin-Ichi Minato
    • 学会等名
      Proc. PSC'11
    • 発表場所
      Czech Tech. Univ., Prague
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] An Efficient Algorithm for Constructing a Sequence Binary Decision Diagram Representing a Set of Reversed Sequences2011

    • 著者名/発表者名
      Hiroshi Aoki, Shigeru Yamashita and Shin-ichi Minato
    • 学会等名
      2011 IEEE International Confenrece on Granular Computing
    • 発表場所
      Garden Villa, Kaohsiung (Taiwan)
    • 年月日
      2011-11-08
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] PiDD : A New Decision Diagram for Efficient Problem Solving in Permutation Space2011

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      14th International Conference on Theory and Applications of Satisfiability Testing
    • 発表場所
      Univ. Michigan (USA)
    • 年月日
      2011-06-19
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] High-speed String and Regular Expression Matching on FPGA2011

    • 著者名/発表者名
      Y. Kaneta, S. Yoshizawa, S. Minato, and H. Arimura
    • 学会等名
      Proc APSIPA ASC 2011
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] High-speed String and Regular Expression Matching on FPGA2011

    • 著者名/発表者名
      Yusaku Kaneta, Shingo oshizawa, Shin-ichi Minato, Hiroki Arimura
    • 学会等名
      Proc of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011)
    • 発表場所
      Grand New World Hotel, Xi'an (China)
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] BDD/ZDDを基盤とする離散構造処理系の技法と最近の展開2011

    • 著者名/発表者名
      湊真一
    • 学会等名
      日本ソフトウェア科学会第28回大会招待講演
    • 発表場所
      沖縄県市町村自治会館(那覇市)
    • 年月日
      2011-09-28
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] High-speed String and Regular Expression Matching on FPGA2011

    • 著者名/発表者名
      Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura
    • 学会等名
      Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011)
    • 発表場所
      Grand New World Hotel Xi'an (China)
    • 年月日
      2011-10-18
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Recent Topics on Decision Diagrams and Discrete Structure Manipulation2010

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      9th International Workshop on Boolean Problems (IWSBP 2010), invited
    • 発表場所
      Freiberg大学(ドイツ)
    • 年月日
      2010-09-16
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Discrete Structure Manipulation System and Applications for Uncertain Data Processing2010

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      1st International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2010)
    • 発表場所
      Campus Innovation Center, Tokyo(招待講演)
    • 年月日
      2010-11-19
    • データソース
      KAKENHI-PUBLICLY-21013001
  • [学会発表] ZDDを用いた頻出パタン演算によるWebテキストデータからの知識発見2010

    • 著者名/発表者名
      岡崎佑太, 湊真一
    • 学会等名
      第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010)
    • 発表場所
      淡路夢舞台国際会議場
    • 年月日
      2010-02-28
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • 著者名/発表者名
      Shin-ichi Minato, Takeaki Uno
    • 学会等名
      SIAM International Conference on Data Mining (SDM 2010)
    • 発表場所
      Ohio, USA
    • 年月日
      2010-04-29
    • データソース
      KAKENHI-PUBLICLY-21013001
  • [学会発表] Discrete structure manipulation for discovery science problems2010

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      The 25th International Symposium on Computer and Information Sciences
    • 発表場所
      London, UK(招待講演)
    • 年月日
      2010-09-24
    • データソース
      KAKENHI-PUBLICLY-21013001
  • [学会発表] ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成とその評価2010

    • 著者名/発表者名
      高橋渉, 湊真一
    • 学会等名
      FIT-2010 IEICE/IPSJ第9回情報科学技術フォーラム
    • 発表場所
      九州大学
    • 年月日
      2010-09-07
    • データソース
      KAKENHI-PROJECT-20650017
  • [学会発表] Efficient Multiple Regular Expression Matching on FPGAs based on Extended SHIFT-AND Method2010

    • 著者名/発表者名
      Y. Kaneta, S. Minato, H. Arimura
    • 学会等名
      Proc. SASIMI'10
    • 発表場所
      Taipei
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] Recent Topics on Decision Diagrams and Discrete Structure Manipulation2010

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      9th International Workshop on Boolean Problems(IWSBP 2010)
    • 発表場所
      ドイツ・Freiberg大学(招待講演)
    • 年月日
      2010-09-16
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] ZDDを用いた頻出パタン演算によるWebテキストデータからの知識発見とその評価2010

    • 著者名/発表者名
      岡崎佑太,湊真一
    • 学会等名
      FIT-2010 IEICE/IPSJ第9回情報科学技術フォーラム
    • 発表場所
      九州大学
    • 年月日
      2010-09-07
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Fast Bit-Parallel Matching for Network and Regular Expressions2010

    • 著者名/発表者名
      Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura
    • 学会等名
      the 17th Symposium on String Processing and Information Retrieval (SPIRE2010)
    • 発表場所
      Los Cabos, Mexico
    • 年月日
      2010-10-13
    • データソース
      KAKENHI-PUBLICLY-21013001
  • [学会発表] Efficient Multiple Regular Expression Matching on FPGAs based on Extended SHIFT-AND Method2010

    • 著者名/発表者名
      Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura
    • 学会等名
      Proc. the 16th Workshop on Synthesis And System Integration of Mixed Information Technologies
    • 発表場所
      Taipei
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] 効率良い正規表現照合のための並列ビット分配にもとづいたハードウェア指向アルゴリズム2010

    • 著者名/発表者名
      金田悠作, 吉澤真吾, 湊真一, 有村博紀, 宮永喜一
    • 学会等名
      電子情報通信学会,リコンフィギャラブルシステム研究会,RECONF2009-75
    • 発表場所
      慶應大学理工学部(東京都)
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] ZDDを用いた頻出パタン演算によるWbbテキストデータからの知識発見とその評価2010

    • 著者名/発表者名
      岡崎佑太, 湊真一
    • 学会等名
      FIT-2010 IEICE/IPSJ第9回 情報科学技術フォーラム
    • 発表場所
      九州大学
    • 年月日
      2010-09-07
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching2010

    • 著者名/発表者名
      Y. Kaneta, S. Minato, H. Arimura, 他2名
    • 学会等名
      Proc. IEEE FPT'10, IEEE
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] 2個組アイテムのデータベースにおける共起成分の含意関係の性質について2010

    • 著者名/発表者名
      二木克也,湊真一
    • 学会等名
      第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010)
    • 発表場所
      淡路夢舞台国際会議場(兵庫県)
    • 年月日
      2010-02-28
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] 系列二分決定グラフを用いた部分文字列索引の構築2010

    • 著者名/発表者名
      伝住周平,有村博紀,湊真一
    • 学会等名
      第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010)
    • 発表場所
      淡路夢舞台国際会議場(兵庫県)
    • 年月日
      2010-02-28
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Parameter learning for Bayesian Networks on Shared Binary Decision Diagrams2010

    • 著者名/発表者名
      Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato
    • 学会等名
      1st International Workshop on Advanced Methodo logies for Bayesian Networks (AMBN 2010)
    • 発表場所
      東京・キャンパスイノベーションセンター
    • 年月日
      2010-11-18
    • データソース
      KAKENHI-PROJECT-20650017
  • [学会発表] Recent Topics on Decision Diagrams and Discrete Structure Manipulation2010

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      9th International Workshop on Boolean Problems(IWSBP 2010)
    • 発表場所
      ドイツ・Freiberg大学 招待講演
    • 年月日
      2010-09-16
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Discrete Structure Manipulation System and Applications for Uncertain Data Processing2010

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      1st International Workshop on Advanced Methodo logies for Bayesian Networks (AMBN 2010)
    • 発表場所
      東京・キャンパスイノベーションセンター 招待講演
    • 年月日
      2010-11-18
    • データソース
      KAKENHI-PROJECT-20650017
  • [学会発表] ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成2010

    • 著者名/発表者名
      高橋渉, 湊真一
    • 学会等名
      人工知能学会第77回人工知能基本問題研究会
    • 発表場所
      北海道大学
    • 年月日
      2010-03-18
    • データソース
      KAKENHI-PROJECT-20650017
  • [学会発表] 2個組アイテムのデータベースにおける共起成分の含意関係の性質について2010

    • 著者名/発表者名
      二木克也, 湊真一
    • 学会等名
      第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010)
    • 発表場所
      淡路夢舞台国際会議場
    • 年月日
      2010-03-01
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Discrete Structure Manipulation for Discovery Science Problems2010

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      25th Annual International Symposium on Computer and Information Sciences (ISCIS 2010), invited
    • 発表場所
      王立科学協会(ロンドン)
    • 年月日
      2010-09-22
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Discrete Structure Manipulation for Discovery Science Problems2010

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      25th Annual International Symposium on Computer and Information Sciences(ISCIS 2010)
    • 発表場所
      英国・王立科学協会
    • 年月日
      2010-09-22
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching2010

    • 著者名/発表者名
      Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga
    • 学会等名
      the 2010 IEEE International Conference on Field-Programmable Technology (FPT'10)
    • 発表場所
      Beijing, China
    • 年月日
      2010-12-08
    • データソース
      KAKENHI-PUBLICLY-21013001
  • [学会発表] An EM algorithm on BDDs with order encoding for logic-based probabilistic models2010

    • 著者名/発表者名
      Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato
    • 学会等名
      2nd Asian Conference on Machine Learning (ACML2010)
    • 発表場所
      東京工業大学
    • 年月日
      2010-11-08
    • データソース
      KAKENHI-PROJECT-20650017
  • [学会発表] 系列二分決定グラフを用いた部分文字列索引の構築2010

    • 著者名/発表者名
      伝住周平, 有村博紀, 湊真一
    • 学会等名
      第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010)
    • 発表場所
      淡路夢舞台国際会議場
    • 年月日
      2010-02-28
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] ZDDを用いた頻出パタン演算によるWebテキストデータからの知識発見2010

    • 著者名/発表者名
      岡崎佑太,湊真一
    • 学会等名
      第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010)
    • 発表場所
      淡路夢舞台国際会議場(兵庫県)
    • 年月日
      2010-02-28
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • 著者名/発表者名
      S. Minato, T. Uno
    • 学会等名
      Proc. SDM'10, SIAM
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] Recent Topics on Decision Diagrams and Discrete Structure Manipulation2010

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      9th International Workshop on Boolean Problems (IWSBP 2010)
    • 発表場所
      Freiberg, Germany(招待講演)
    • 年月日
      2010-09-17
    • データソース
      KAKENHI-PUBLICLY-21013001
  • [学会発表] 非巡回正規表現に対する効率的なパターン照合2010

    • 著者名/発表者名
      金田悠作, 湊真一, 有村博紀
    • 学会等名
      コンピュテーション研究会,電子情報通信学会,COMP
    • 発表場所
      北陸先端大
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] Recent Topics on BDDs/ZDDs for Data Mining and Knowledge Discovery2009

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      The International Workshop on Data Mining and Statistical Science(DMSS 2009)
    • 発表場所
      京都大学(招待講演)
    • 年月日
      2009-07-07
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Comparison of ZDD-Vectors and WZDDs for Frequent Pattern Mining2009

    • 著者名/発表者名
      Haruya Iwasaki, Elsa Loekito, Shin-ichi Minato, James Bailey
    • 学会等名
      Sixth Workshop on Learning with Logics and Logics for Learning(LLLL 2009)
    • 発表場所
      京大会館(京都府)
    • 年月日
      2009-07-06
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] 共起成分の含意関係に基づくデータマイニングの実験と考察2009

    • 著者名/発表者名
      二木克也,湊真一
    • 学会等名
      情報論的学習理論ワークショップ(IBIS 2009)
    • 発表場所
      九州大学
    • 年月日
      2009-10-20
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Monolithic and Partial Compilation Methods for Probabilistic Inference of Bayesian Networks using ZBDDs2009

    • 著者名/発表者名
      D. Tokoro, Kiyoharu Hama guchi, Toshinobu Kashiwabara, S. Minato
    • 学会等名
      DMSS'09
    • 発表場所
      京大会館(京都府)
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] 頻出パタン抽出アルゴリズム「LCM over ZDDs」の変数順序付けの影響に関する考察2009

    • 著者名/発表者名
      岡崎佑太,湊真一
    • 学会等名
      FIT-2009 IEICE/IPSJ第8回情報科学技術フォーラム
    • 発表場所
      東北大学
    • 年月日
      2009-09-04
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Recent Topics on BDDs/ZDDs for Data Mining and Knowledge Discovery2009

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      The International Workshop on Data Mining and Statistical Science (DMSS 2009), Invited
    • 発表場所
      京都大学
    • 年月日
      2009-07-07
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] ZDDによるベイジアンネットワーク推論の高速化(招待講演)2009

    • 著者名/発表者名
      湊真一
    • 学会等名
      人工知能学会 第75回人工知能基本問題研究会
    • 発表場所
      電気通信大学
    • 年月日
      2009-11-13
    • データソース
      KAKENHI-PROJECT-20650017
  • [学会発表] BDD/ZDDを用いたペントミノパズルの解の列挙2009

    • 著者名/発表者名
      鈴木拡,湊真一
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      埼玉大学
    • 年月日
      2009-05-26
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Comparison of ZDD-Vectors and WZDDs for Frequent Pattern Mining2009

    • 著者名/発表者名
      Haruya Iwasaki, Elsa Loekito, S. Minato, James Bailey
    • 学会等名
      Proc. LLLL'09
    • 発表場所
      Kyoto
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] Recent Progress on Decision Diagram-Based Large-Scale Data Processing for Knowledge Discovery2009

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      In Proc. of 2009 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2009)
    • 発表場所
      Hokkaido University
    • 年月日
      2009-06-20
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] Exploiting Global Structures in Bayesian Network Compilation by Zero-suppressed BDDs2009

    • 著者名/発表者名
      Daisuke Tokoro, Ai Fukunaga, Kiyoharu Hamaguchi, Toshinobu Kashiwabara, Shin-ichi Minato
    • 学会等名
      19th International Conference on Inductive Logic Programming(ILP 2009)
    • 発表場所
      Katholieke Universiteit Leuven(ベルギー)
    • 年月日
      2009-07-03
    • データソース
      KAKENHI-PROJECT-20650017
  • [学会発表] ベイジアンネットワークを表現するZDDの初期変数順序付け方法の改良2009

    • 著者名/発表者名
      金崎健之, 湊真一
    • 学会等名
      FIT-2009 IEICE/IPSJ第8回情報科学技術フォーラム
    • 発表場所
      東北大学
    • 年月日
      2009-09-04
    • データソース
      KAKENHI-PROJECT-20650017
  • [学会発表] 否定枝を含むshared BDD上で動作するEMアルゴリズム2009

    • 著者名/発表者名
      石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
    • 学会等名
      人工知能学会第9回データマイニングと統計数理研究会(SIG-DMSM)
    • 発表場所
      京都市メルパルク京都
    • 年月日
      2009-03-03
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] BDD/ZDDを用いたペントミノパズルの解の列挙2009

    • 著者名/発表者名
      鈴木拡, 湊真一
    • 学会等名
      電子情報通信学会コンピュテーショシ研究会
    • 発表場所
      埼玉大学
    • 年月日
      2009-05-26
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Monolithic and Partial Compilation Methods for Probabilistic Inference of Bayesian Networks using ZBDDs2009

    • 著者名/発表者名
      Daisuke Tokoro, Kiyoharu Hama guchi, Toshinobu Kashiwabara, Shin-ichi Minato
    • 学会等名
      International Workshop on Data Mining and Statistical Science(DMSS 2009)
    • 発表場所
      京大会館(京都府)
    • 年月日
      2009-07-08
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] Comparison of ZDD-Vectors and WZDDs for Frequent Pattern Mining2009

    • 著者名/発表者名
      Haruya Iwasaki, Elsa Loekito, Shin-ichi Minato, James Bailey
    • 学会等名
      Sixth Workshop on Learning with Logics and Logics for Learning(LLLL 2009)
    • 発表場所
      京大会館(京都府)
    • 年月日
      2009-07-06
    • データソース
      KAKENHI-PUBLICLY-21013001
  • [学会発表] 否定枝を含むshared BDD上で動作するEMアルゴリズム2009

    • 著者名/発表者名
      石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
    • 学会等名
      人工知能学会第9回データマイニングと統計数理研究会(SIG-DMSM)
    • 発表場所
      メルパルク京都(京都市)
    • 年月日
      2009-03-03
    • データソース
      KAKENHI-PROJECT-20650017
  • [学会発表] 頻出パタン抽出アルゴリズム「LCM over ZDDs」の変数順序付けの影響に関する考察2009

    • 著者名/発表者名
      岡崎佑太, 湊真一
    • 学会等名
      FIT-2009 IEICE/IPSJ第8回 情報科学技術フォーラム
    • 発表場所
      東北大学
    • 年月日
      2009-09-04
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Monolithic and Partial Compilation Methods for Probabilistic Inference of Bayesian Networks using ZBDDs2009

    • 著者名/発表者名
      Daisuke Tokoro, Kiyoharu Hamaguchi, Toshinobu Kashiwabara, Shin-ichi Minato
    • 学会等名
      International Workshop on Data Mining and Statistical Science(DMSS 2009)
    • 発表場所
      京大会館(京都府)
    • 年月日
      2009-07-08
    • データソース
      KAKENHI-PUBLICLY-21013001
  • [学会発表] Recent Topics on BDDs/ZDDs for Data Mining and Knowledge Discovery(招待講演)2009

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      The International Workshop on Data Mining and Statistical Science(DMSS 2009)
    • 発表場所
      京都大学
    • 年月日
      2009-07-07
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Discrete Structure Manipulation for Discovery Science Problems2009

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      25th Annual International Symposium on Computer and Information Sciences (ISCIS 2010)
    • 発表場所
      英国・王立科学協会
    • 年月日
      2009-09-22
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Recent Topics on BDDs/ZDDs for Data Mining and Knowledge Discovery2009

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      International Workshop on Data Mining and Statistical Science(DMSS 2009)
    • 発表場所
      京大会館(京都府)
    • 年月日
      2009-07-08
    • データソース
      KAKENHI-PUBLICLY-21013001
  • [学会発表] 高速ストリーム処理のための文字列パターン照合手法とそのFPGA設計2009

    • 著者名/発表者名
      金田悠作, 吉澤真吾, 湊真一, 有村博紀, 宮永喜一
    • 学会等名
      電子情報通信学会2009年総合大会
    • 発表場所
      松山大学
    • 年月日
      2009-03-20
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] ZBDD-Based Probabilistic Computation and Application for System Analysis2008

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      In Proc. of Workshop of SoC Design Met hodologies
    • 発表場所
      National Tsing Hua University
    • 年月日
      2008-09-05
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] Application of Binary Decision Diagrams for Probabilistic System Analysis2008

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      In Proc. of the 10th International Joint Symposium between Hokkaido University and Chungnam National University
    • 発表場所
      Hokkaido University
    • 年月日
      2008-10-23
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] ゼロサプレス型二分決定グラフによる圧縮と知識発見2008

    • 著者名/発表者名
      倉井龍太郎,湊真一,ツォイクマントーマス
    • 学会等名
      電子情報通信学会データ工学研究会
    • 発表場所
      小樽市民会館(北海道小樽市)
    • 年月日
      2008-06-19
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] ゼロサプレス型二分決定グラフによる圧縮と知識発見2008

    • 著者名/発表者名
      倉井龍太郎, 湊真一, ツォイクマントーマス
    • 学会等名
      電子情報通信学会データ工学研究会(PRMU DE)
    • 発表場所
      小樽市民会館
    • 年月日
      2008-06-12
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] Efficient Method of Large-Scale Data Analysis Using BDD-based Data Compression (Invited Talk)2008

    • 著者名/発表者名
      S. Minato
    • 学会等名
      In Proc. IWMMSP'08
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] Efficient Method of Large-Scale Data Analysis Using BDD-based Data Compression2008

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      2008 International Workshop on Multi-Media Signal Processing (IWMMSP 2008)
    • 発表場所
      北海道大学(Invited Talk)
    • 年月日
      2008-06-24
    • データソース
      KAKENHI-PROJECT-19024001
  • [学会発表] ゼロサプレス型二分決定グラフによる圧縮と知識発見2008

    • 著者名/発表者名
      倉井龍太郎, 湊真一, ツォイクマン トーマス
    • 学会等名
      電子情報通信学会データ工学研究会
    • 発表場所
      小樽市民会館(北海道小樽市)
    • 年月日
      2008-06-19
    • データソース
      KAKENHI-PROJECT-19024001
  • [学会発表] ベイジアンネットワークを表現するゼロサプレス型BDDの変数順序付け方法に関する考察2008

    • 著者名/発表者名
      礒松紘平, 湊真一
    • 学会等名
      人工知能学会第72回・人工知能基本問題研究会
    • 発表場所
      電気通信大学
    • 年月日
      2008-11-08
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] コルモゴロフ複雑性に基づく画像圧縮と分類に関する実験と考察2008

    • 著者名/発表者名
      齋藤高央, 湊真一, ツォイクマントーマス
    • 学会等名
      FIT-20681EICE/IPSJ第7回情報科学技術フォーラム
    • 発表場所
      慶応義塾大学湘南藤沢キャンパス
    • 年月日
      2008-09-04
    • データソース
      KAKENHI-PROJECT-19024001
  • [学会発表] A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery2008

    • 著者名/発表者名
      S. Minato
    • 学会等名
      Proc. of IEEE 8th Intl Conf. Computer and Information Technology (CIT 2008)
    • 発表場所
      Sydney, Australia
    • 年月日
      2008-07-08
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] BDD上の命題化確率計算に基づくEMアルゴリズム2008

    • 著者名/発表者名
      石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
    • 学会等名
      人工知能学会第70回人工知能基本問題研究会
    • 発表場所
      京都大学
    • 年月日
      2008-07-04
    • データソース
      KAKENHI-PROJECT-20650017
  • [学会発表] コルモゴロフ複雑性に基づく画像圧縮と分類に関する実験と考察2008

    • 著者名/発表者名
      齋藤高央,湊真一,ツォイクマントーマス
    • 学会等名
      FIT-2008IEICE/IPSJ第7回情報科学技術フォーラム
    • 発表場所
      慶応義塾大学湘南藤沢キャンパス
    • 年月日
      2008-09-04
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] コルモゴロフ複雑性に基づく画像圧縮と分類に関する実験と考察2008

    • 著者名/発表者名
      齋藤高央, 湊真一, ツォイクマントーマス
    • 学会等名
      FIT-2008 IEICE/IPSJ第7回情報科学技術フォーラム
    • 発表場所
      慶応義塾大学湘南藤沢キャンパス
    • 年月日
      2008-09-04
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] Efficient Method of Large-Scale Data Analysis Using BDD-based Data Compression (Invited Talk)2008

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      2008 International Workshop on Multi-Media Signal Processing (IWMMSP 2008)
    • 発表場所
      北海道大学
    • 年月日
      2008-06-24
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery2008

    • 著者名/発表者名
      S. Minato
    • 学会等名
      Proc. IEEE CIT 2008
    • 発表場所
      Sydney, Australia
    • 年月日
      2008-07-08
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] ベイジアンネットワークを表現するゼロサプレス型BDDの変数順序付けに関する実験と考察2008

    • 著者名/発表者名
      礒松紘平, 湊真一
    • 学会等名
      第7回情報科学技術フォーラム(FIT 2008)
    • 発表場所
      慶應義塾大学
    • 年月日
      2008-09-03
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] Efficient Method of Large-Scale Data Analysis Using BDD-based Data Compression (Invited Talk)2008

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      In Proc. of 2008 International Workshop on Multi-Media Signal Processing
    • 発表場所
      Hokkaido University
    • 年月日
      2008-06-24
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] Application of Binary Decision Diagrams for Probabilistic System Analysis2008

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      10th International Joint Symposium between Hokkaido University and Chungnam National University
    • 発表場所
      北海道大学
    • 年月日
      2008-10-23
    • データソース
      KAKENHI-PROJECT-20650017
  • [学会発表] Propositionalizing the EM algorithm by BDDs2008

    • 著者名/発表者名
      M. Ishihata, Y. Kameya, T. Sato. S. Minato
    • 学会等名
      18th International Conference on Inductive Logic Programming (ILP 2008)
    • 発表場所
      プラハ(チェコスロバキア)
    • 年月日
      2008-09-11
    • データソース
      KAKENHI-PROJECT-20650017
  • [学会発表] BDD上の命題化確率計算に基づくEMアルゴリズム2008

    • 著者名/発表者名
      石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
    • 学会等名
      人工知能学会第70回人工知能基本間題研究会
    • 発表場所
      京都大学京大会館
    • 年月日
      2008-07-04
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] Efficient Method of Large-Scale Data Analysis Using BDD-based Data Compression2008

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      2008 International Workshop on Multi-Media Signal Processing (IWMMSP 2008), invited
    • 発表場所
      北海道大学
    • 年月日
      2008-06-24
    • データソース
      KAKENHI-PROJECT-20300051
  • [学会発表] ZBDD-Based Probabilistic Computation and Application for System Analysis2008

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      Workshop of SoC Design Methodologies
    • 発表場所
      National Tsing Hua Universitv. Taiwan
    • 年月日
      2008-09-09
    • データソース
      KAKENHI-PROJECT-20650017
  • [学会発表] ZBDD-Based Probabilistic Computation and Application for System Analysis2008

    • 著者名/発表者名
      S. Minato
    • 学会等名
      In Proc of Workshop of SoC Design Methodologies
    • 発表場所
      National Tsing Hua University, China
    • データソース
      KAKENHI-PROJECT-20240014
  • [学会発表] [招待講演]二分決定グラフ(BDD)を活用したデータマイニング・知識発見技術の最近の話題2007

    • 著者名/発表者名
      湊 真一
    • 学会等名
      電子情報通信学会人工知能と知識処理研究会
    • 発表場所
      機械振興会館(東京都港区)
    • 年月日
      2007-05-31
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17300041
  • [学会発表] [Invited Talk] Recent Topics on Data Mining and Knowledge Discovery Using Binary Decision Diagrams2007

    • 著者名/発表者名
      Shin-ichi Minato
    • 学会等名
      IEICE Technical Report (Japanese Edition)
    • 発表場所
      at Kikai-Shinkou Kaikan, Tokyo
    • 年月日
      2007-05-31
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17300041
  • [学会発表] 二分決定グラフ(BDD)を活用したデータマイニング・知識発見技術の最近の話題2007

    • 著者名/発表者名
      湊真一
    • 学会等名
      電子情報通信学会人工知能と知識処理研究会
    • 発表場所
      東京・機械振興会館
    • 年月日
      2007-05-31
    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17002008
  • [学会発表] [招待講演]二分決定グラフ(BDD)を活用したデータマイニング・知職発見技術の最近の話題2007

    • 著者名/発表者名
      湊 真一
    • 学会等名
      電子情報通信学会人工知能と知職処理研究会
    • 発表場所
      機械振興会館(東京都港区)
    • 年月日
      2007-05-31
    • データソース
      KAKENHI-PROJECT-17300041
  • [学会発表] Recent Topics on Data Mining and Knowledge Discovery Using Binary Decision Diagrams (invited talk)2007

    • 著者名/発表者名
      S. Minato
    • 学会等名
      IEICE SIG-AI seminar
    • 発表場所
      Tokyo (in Japanese)
    • 年月日
      2007-03-31
    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17002008
  • [学会発表] Fast Regular Expression Matching Based on Dual Glushkov NFA

    • 著者名/発表者名
      Ryutaro Kurai, Norihito Yasuda, Hiroki Arimura, Shinobu Nagayama, Shin-ichi Minato
    • 学会等名
      Prague Stringology Conference 2014 (PSC'14)
    • 発表場所
      Czech Technical University (Prague, Czech)
    • 年月日
      2014-09-01 – 2014-09-03
    • データソース
      KAKENHI-PROJECT-24240021
  • 1.  喜田 拓也 (70343316)
    共同の研究課題数: 11件
    共同の研究成果数: 1件
  • 2.  宇野 毅明 (00302977)
    共同の研究課題数: 9件
    共同の研究成果数: 10件
  • 3.  有村 博紀 (20222763)
    共同の研究課題数: 8件
    共同の研究成果数: 56件
  • 4.  トーマス ツォイクマン (60374609)
    共同の研究課題数: 6件
    共同の研究成果数: 13件
  • 5.  下薗 真一 (70243988)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 6.  伊藤 公人 (60396314)
    共同の研究課題数: 5件
    共同の研究成果数: 9件
  • 7.  堀山 貴史 (60314530)
    共同の研究課題数: 5件
    共同の研究成果数: 19件
  • 8.  平田 耕一 (20274558)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 9.  高木 剛 (60404802)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 10.  上原 隆平 (00256471)
    共同の研究課題数: 3件
    共同の研究成果数: 5件
  • 11.  番原 睦則 (80290774)
    共同の研究課題数: 3件
    共同の研究成果数: 17件
  • 12.  大久保 好章 (40271639)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 13.  牧野 和久 (60294162)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 14.  河原林 健一 (40361159)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 15.  加藤 直樹 (40145826)
    共同の研究課題数: 2件
    共同の研究成果数: 1件
  • 16.  山下 茂 (30362833)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 17.  瀧本 英二 (50236395)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 18.  竹田 正幸 (50216909)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 19.  瀧川 一学 (10374597)
    共同の研究課題数: 2件
    共同の研究成果数: 7件
  • 20.  川原 純 (20572473)
    共同の研究課題数: 2件
    共同の研究成果数: 22件
  • 21.  高田 礼人 (10292062)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  櫻井 祐子 (10396137)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 23.  横尾 真 (20380678)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 24.  渡辺 治 (80158617)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  浅野 孝夫 (90124544)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  茨木 俊秀 (50026192)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  今井 浩 (80183010)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 28.  戸田 誠之助 (90172163)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 29.  丸岡 章 (50005427)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 30.  浅野 哲夫 (90113133)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 31.  エイビス デビッド (90584110)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 32.  徳山 豪 (40312631)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 33.  森 立平 (60732857)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 34.  坂本 比呂志 (50315123)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 35.  篠原 歩 (00226151)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 36.  武永 康彦 (20236491)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 37.  津田 宏治 (90357517)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 38.  鷲尾 隆 (00192815)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 39.  神山 直之 (10548134)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 40.  谷川 眞一 (30623540)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 41.  藤澤 克樹 (40303854)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 42.  瀧澤 重志 (40304133)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 43.  伊藤 仁一 (20193493)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 44.  東川 雄哉 (20749486)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 45.  小林 祐貴 (70756668)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 46.  山川 誠 (50378816)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 47.  奈良 知惠 (40147898)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 48.  安田 宜仁 (50396149)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 49.  玉置 卓 (40432413)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 50.  宇野 裕之 (60244670)
    共同の研究課題数: 1件
    共同の研究成果数: 5件
  • 51.  松井 泰子 (10264582)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 52.  稲永 俊介 (60448404)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 53.  山口 勇太郎 (30780895)
    共同の研究課題数: 1件
    共同の研究成果数: 4件
  • 54.  伊藤 健洋 (40431548)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 55.  寺本 央 (90463728)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 56.  早野 健太 (20722606)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 57.  深作 亮也 (40778924)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 58.  鈴村 豊太郎
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 59.  吉仲 亮
    共同の研究課題数: 0件
    共同の研究成果数: 1件
  • 60.  石畠 正和
    共同の研究課題数: 0件
    共同の研究成果数: 1件
  • 61.  西林 孝
    共同の研究課題数: 0件
    共同の研究成果数: 1件
  • 62.  植野 真臣
    共同の研究課題数: 0件
    共同の研究成果数: 1件
  • 63.  小宮山 純平
    共同の研究課題数: 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