• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

MINATO Shin-ichi  湊 真一

ORCIDConnect your ORCID iD *help
Researcher Number 10374612
Other IDs
External Links
Affiliation (Current) 2025: 京都大学, 情報学研究科, 教授
Affiliation (based on the past Project Information) *help 2018 – 2025: 京都大学, 情報学研究科, 教授
2012 – 2017: 北海道大学, 情報科学研究科, 教授
2015: 北海道大学, 大学院情報科学研究科, 教授
2011: 北海道大学, 大学院・情報科学研究科, 准教授
2010 – 2011: Hokkaido University, 大学院・情報科学研究科, 教授 … More
2007 – 2009: Hokkaido Univ., Grad School of IST., Assoc. Prof.
2007: Hokkaido University, Grad. School of IST, Associate Professor
2007: 北海道大學, 大学院・情報化科学研究所, 准教授
2006: 北海道大学, 大学院情報科学研究科, 助教授
2004 – 2005: 北海道大学, 大学院・情報科学研究科, 助教授 Less
Review Section/Research Field
Principal Investigator
Intelligent informatics / Medium-sized Section 60:Information science, computer engineering, and related fields / Medium-sized Section 61:Human informatics and related fields / Transformative Research Areas, Section (IV) / Intelligent informatics
Except Principal Investigator
Science and Engineering / Intelligent informatics / Basic Section 11020:Geometry-related / Medium-sized Section 60:Information science, computer engineering, and related fields / Transformative Research Areas, Section (IV) … More / Mathematical informatics / Science and Engineering / Intelligent informatics / Engineering / Science and Engineering Less
Keywords
Principal Investigator
BDD / ZDD / 二分決定グラフ / 離散構造 / 索引化 / 演算処理系 / 列挙 / アルゴリズム / ZBDD / 組合せ集合 … More / 論理関数 / 大規模データ処理 / データベース解析 / データマイニング / 研究推進 / 組織運営 / 革新的アルゴリズム基盤 / 網羅的解析 / グラフアルゴリズム / データ構造 / 列挙アルゴリズム / 離散構造処理系 / 最適化 / グラフ理論 / Basic Software / Database Analysis / Data Mining / Binary Decision Diagram / 基盤ソフトウェア / 簡潔データ構造 / ベイジアンネットワーク / 知識発見とデータマイニング … More
Except Principal Investigator
二分決定グラフ / アルゴリズム / 機械学習 / 半構造データ / データマイニング / 知識発見 / ストリーム処理 / 大規模知識索引 / セキュリティ / データ構造 / 知識処理 / 情報ネットワーク / グラフマイニング / 高次元非構造データ検索 / 非構造データ / ビッグデータ / 知識索引 / イベントストリーム処理 / 半構造マイニング / パターン発見 / 知識発見とデータマイニング / 計算料理論 / グラフアルゴリズム / 計算代数 / 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データ / ウェブマイニング Less
  • Research Projects

    (25 results)
  • Research Products

    (454 results)
  • Co-Researchers

    (63 People)
  •  離散構造処理に基づく列挙・最適化・制約充足の統合的技法とその応用Principal Investigator

    • Principal Investigator
      湊 真一
    • Project Period (FY)
      2025 – 2029
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Review Section
      Medium-sized Section 60:Information science, computer engineering, and related fields
    • Research Institution
      Kyoto University
  •  Research on solvable regions of theoretically uncomputable/difficult classes

    • Principal Investigator
      上原 隆平
    • Project Period (FY)
      2024 – 2028
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Review Section
      Medium-sized Section 60:Information science, computer engineering, and related fields
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  Automatic classification and recognition of singularities and its application

    • Principal Investigator
      寺本 央
    • Project Period (FY)
      2023 – 2026
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 11020:Geometry-related
    • Research Institution
      Kansai University
  •  Creation and Organization of Innovative Algorithmic Foundations for Leading Social InnovationsArea Organizer

    • Area Organizer
      湊 真一
    • Project Period (FY)
      2020 – 2024
    • Research Category
      Grant-in-Aid for Transformative Research Areas (A)
  •  Research Initiatives on Algorithmic Foundations for Social AdvancementPrincipal Investigator

    • Principal Investigator
      湊 真一
    • Project Period (FY)
      2020 – 2024
    • Research Category
      Grant-in-Aid for Transformative Research Areas (A)
    • Review Section
      Transformative Research Areas, Section (IV)
    • Research Institution
      Kyoto University
  •  Algorithmic Foundations Based on Large-Scale Discrete Structures

    • Principal Investigator
      堀山 貴史
    • Project Period (FY)
      2020 – 2024
    • Research Category
      Grant-in-Aid for Transformative Research Areas (A)
    • Review Section
      Transformative Research Areas, Section (IV)
    • Research Institution
      Hokkaido University
  •  Research on Integrated Techniques of Enumeration and Optimization Based on Discrete Structure Manipulation SystemsPrincipal Investigator

    • Principal Investigator
      湊 真一
    • Project Period (FY)
      2020 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Review Section
      Medium-sized Section 61:Human informatics and related fields
    • Research Institution
      Kyoto University
  •  Next-generation semi-structured data mining technologies for real-world knowledge infrastructures

    • Principal Investigator
      Arimura Hiroki
    • Project Period (FY)
      2016 – 2019
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Intelligent informatics
    • Research Institution
      Hokkaido University
  •  Research on Fundamental Algorithms of Discrete Structure Manipulation SystemsPrincipal Investigator

    • Principal Investigator
      MINATO Shin-ichi
    • Project Period (FY)
      2015 – 2019
    • Research Category
      Grant-in-Aid for Scientific Research (S)
    • Research Field
      Intelligent informatics
    • Research Institution
      Kyoto University
      Hokkaido University
  •  Establishing the foundation of discrete mathematics in the field of architecture and urban planning and its application to large-scale optimization

    • Principal Investigator
      Katoh Naoki
    • Project Period (FY)
      2013 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Mathematical informatics
    • Research Institution
      Kwansei Gakuin University
      Kyoto University
  •  Development of Next-Generation Semi-structured Data Mining for Large-Scale Knowledge Base Formation

    • Principal Investigator
      Arimura Hiroki
    • Project Period (FY)
      2012 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Intelligent informatics
    • Research Institution
      Hokkaido University
  •  Research on Asymptotically Succinct BDD Data StructuresPrincipal Investigator

    • Principal Investigator
      MINATO Shin-ichi
    • Project Period (FY)
      2012 – 2014
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Intelligent informatics
    • Research Institution
      Hokkaido University
  •  A Multifaced Approach Toward Understanding the Limitations of Compuation

    • Principal Investigator
      Watanabe Osamu
    • Project Period (FY)
      2012 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
    • Review Section
      Science and Engineering
    • Research Institution
      Tokyo Institute of Technology
  •  Proposing compact representations for coalitional games

    • Principal Investigator
      SAKURAI Yuko
    • Project Period (FY)
      2011 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      Kyushu University
  •  情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究

    • Principal Investigator
      トーマス ツォイクマン (トーマス ツオイクマン)
    • Project Period (FY)
      2009 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Hokkaido University
  •  Next-Generation Semi-structured Data Mining for Large-Scale Knowledge Base Formation

    • Principal Investigator
      ARIMURA Hiroki
    • Project Period (FY)
      2008 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      Intelligent informatics
    • Research Institution
      Hokkaido University
  •  Research on database analysis algorithms using very large-scale monolithic memory spacePrincipal Investigator

    • Principal Investigator
      MINATO Shin-ichi
    • Project Period (FY)
      2008 – 2011
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      Hokkaido University
  •  二分決定グラフに基づく大規模ベイジアンネットワーク解析処理法の研究Principal Investigator

    • Principal Investigator
      湊 真一
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Challenging Exploratory Research
    • Research Field
      Intelligent informatics
    • Research Institution
      Hokkaido University
  •  情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究

    • Principal Investigator
      トーマス ツォイクマン
    • Project Period (FY)
      2007 – 2008
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Hokkaido University
  •  Predicting Antigenic Changes of Influenza Viruses by Discovering Patterns of Viral Evolution

    • Principal Investigator
      ITO Kimihito
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      Hokkaido University
  •  情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究

    • Principal Investigator
      トーマス ツォイクマン
    • Project Period (FY)
      2006
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Hokkaido University
  •  Efficient Pattern Discovery from Massive Semi-Structured Data for Knowledge Infrastructure Formation on the Web

    • Principal Investigator
      ARIMURA Hiroki
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Specially Promoted Research
    • Review Section
      Science and Engineering
      Engineering
    • Research Institution
      Hokkaido University
  •  Research for Efficient Algorithms of Large-Scale Database Analysis Based on Binary Decision DiagramsPrincipal Investigator

    • Principal Investigator
      MINATO Shin-Ichi
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      Hokkaido University
  •  最適パターン発見に基づく大規模半構造データからの知的情報獲得システムの開発

    • Principal Investigator
      ZEUGMANN Thomas, ARIMURA Hiroki
    • Project Period (FY)
      2004 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      Hokkaido University
  •  論理関数表現のモデルとシンボリックアルゴリズム

    • Principal Investigator
      武永 康彦
    • Project Period (FY)
      2004 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Review Section
      Science and Engineering
    • Research Institution
      The University of Electro-Communications

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 Other

All Journal Article Presentation Book

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

    • Author(s)
      湊 真一(監修), 福田 伊佐央(執筆)
    • Total Pages
      176
    • Publisher
      ニュートンプレス
    • ISBN
      9784315527698
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Book] "Topics「組み合わせ爆発」で考えるアルゴ リズム入門," Newton別冊「まるごとわかる統計と確率」2023

    • Author(s)
      湊真一(監修), 福田伊佐央(執筆)
    • Total Pages
      176
    • Publisher
      ニュートンプレス
    • ISBN
      9784315527698
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Book] 基礎からわかるアルゴリズム(ニュートン新書)2022

    • Author(s)
      パノス ルリダス (著), 湊 真一 (監訳), 鳥飼 まこと (訳)
    • Total Pages
      376
    • Publisher
      ニュートンプレス
    • ISBN
      9784315525489
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Book] 2016年度 科研費 基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録2017

    • Author(s)
      湊 真一(監修)
    • Total Pages
      391
    • Publisher
      基盤(S)離散構造処理系プロジェクト
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Book] 確率的グラフィカルモデル(離散構造処理の技法と確率モデル、第5章、鈴木譲 編著)2016

    • Author(s)
      湊真一
    • Total Pages
      292
    • Publisher
      共立出版
    • Data Source
      KAKENHI-PROJECT-16H01743
  • [Book] 2015年度 JST ERATO湊離散構造処理系プロジェクト / JSPS 科 研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録2016

    • Author(s)
      湊真一(監修)
    • Total Pages
      456
    • Publisher
      基盤(S)離 散構造処理系プロジェクト
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Book] Encyclopedia of Algorithms(Counting by ZDD)2015

    • Author(s)
      S. Minato
    • Total Pages
      1166
    • Publisher
      Springer
    • Data Source
      KAKENHI-PROJECT-24240021
  • [Book] 基礎から学ぶ情報理論2012

    • Author(s)
      中村 篤祥, 喜田 拓也, 湊 真一
    • Total Pages
      211
    • Publisher
      ムイスリ出版
    • Data Source
      KAKENHI-PROJECT-24240021
  • [Book] Interdisciplinary Advances in Adaptive and Intelligent Assistant Systems : Concepts, Techniques, Applications, and Use2011

    • Author(s)
      Shin-ichi Minato, Nicolas Spyratos
    • Publisher
      IGI Global, Hershey, Pennsylvania
    • Data Source
      KAKENHI-PUBLICLY-21013001
  • [Book] BDD-Based Combinatorial Keyword Query Processing2011

    • Author(s)
      Shin-ichi Minato and Nicolas Spyratos
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Book] Progress in Representation of Discrete Functions (Synthesis Lectures on Digital Circuits and Systems)2010

    • Author(s)
      Shin-ichi Minato
    • Publisher
      Morgan & Claypool Publishers
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Book] 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

    • Author(s)
      Shin-ichi Minato, Nicolas Spyratos
    • Total Pages
      14
    • Publisher
      IGI Global
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Book] 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

    • Author(s)
      Shin-ichi Minato
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Book] "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

    • Author(s)
      Shin-ichi Minato
    • Total Pages
      13
    • Publisher
      Mrogan & Claypool Publishers(分担執筆)
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Book] 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

    • Author(s)
      S.Chawla, T.Washio, S.Minato, S.Tsumoto, T.Onoda, S.Yamada, A.Inokuchi,(Editors)
    • Total Pages
      213
    • Publisher
      Springer
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Book] 英語で学ぶ計算理論2009

    • Author(s)
      Thomas Zeugmann, 湊真一, 大久保好章
    • Total Pages
      222
    • Publisher
      コロナ社
    • Data Source
      KAKENHI-PUBLICLY-21013001
  • [Book] 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

    • Author(s)
      S.Chawla, T.Washio, S.Minato, S.Tsumoto, T.Onoda, S.Yamada, A.Inokuchi, (Editors)
    • Total Pages
      213
    • Publisher
      Springer
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Book] New Frontiers in Applied Data Mining2009

    • Author(s)
      S. Chawla, T. Washio, S. Minato, S. Tsumoto, T. Onoda, S. Yamada, A. Inokuchi, (Editors)
    • Total Pages
      213
    • Publisher
      Springer
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Book] 英語で学ぶ計算理論2008

    • Author(s)
      Thomas Zeugnann,湊真一,大久保好章
    • Total Pages
      222
    • Publisher
      コロナ社
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Book] 英語で学ぶ計算理論2008

    • Author(s)
      Thomas Zeugnann, 湊真一, 大久保好章
    • Total Pages
      222
    • Publisher
      コロナ社
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Journal Article] Designing algorithms for the shortest path reconfiguration problem using decision diagram operations2024

    • Author(s)
      Shou Ooba, Jun Kawahara, Shin-ichi Minato
    • Journal Title

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

      Volume: 3 Pages: 641-648

    • DOI

      10.5220/0012379900003636

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PLANNED-20H05794, KAKENHI-PUBLICLY-23H04383, KAKENHI-PROJECT-20H00605
  • [Journal Article] Recent Research Activities on Algorithmic Foundations for Social Advancement2024

    • Author(s)
      Minato Shin-ichi
    • Journal Title

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

      Volume: - Pages: 1-8

    • DOI

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

    • ISBN
      9789819705658, 9789819705665
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Journal Article] On the Computational Complexity of Generalized Common Shape Puzzles2024

    • Author(s)
      Banbara Mutsunori、Minato Shin-ichi、Ono Hirotaka、Uehara Ryuhei
    • Journal Title

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

      Volume: LNCS 14519 Pages: 55-68

    • DOI

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

    • ISBN
      9783031521126, 9783031521133
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-21K11828, KAKENHI-PROJECT-20H00605
  • [Journal Article] DAG-Pathwidth: Graph Algorithmic Analyses of DAG-Type Blockchain Networks2023

    • Author(s)
      Shoji Kasahara, Jun Kawahara, Shin-ichi Minato, Jumpei Mori
    • Journal Title

      IEICE Trans. Inf. & Syst.

      Volume: E106.D Issue: 3 Pages: 272-283

    • DOI

      10.1587/transinf.2022FCP0007

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2023-03-01
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PLANNED-20H05964, KAKENHI-PROJECT-19H01103, KAKENHI-PROJECT-20H00605, KAKENHI-PLANNED-20H05794, KAKENHI-PROJECT-18H04091
  • [Journal Article] Automated Parallel Test Forms Assembly using Zero-suppressed Binary Decision Diagrams2023

    • Author(s)
      Fuchimoto Kazuma、Minato Shin-Ichi、Ueno Maomi
    • Journal Title

      IEEE Access

      Volume: 11 Pages: 112804-112813

    • DOI

      10.1109/access.2023.3322720

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-19H05663, KAKENHI-PROJECT-20H00605
  • [Journal Article] Exact and Efficient Network Reliability Evaluation per Outage Scale2023

    • Author(s)
      Nakamura Kengo、Inoue Takeru、Nishino Masaaki、Yasuda Norihito、Minato Shin-ichi
    • Journal Title

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

      Volume: - Pages: 4564-4570

    • DOI

      10.1109/icc45041.2023.10279779

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Journal Article] Sorting balls and water: Equivalence and computational complexity2023

    • Author(s)
      Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
    • Journal Title

      Theoretical Computer Science

      Volume: 927 Pages: 114158-114158

    • DOI

      10.1016/j.tcs.2023.114158

    • Peer Reviewed / Open Access
    • Data Source
      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
  • [Journal Article] CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints2023

    • Author(s)
      Kengo Nakamura, Masaaki Nishino, Norihito Yasuda and Shin-ichi Minato:
    • Journal Title

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

      Volume: -

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Journal Article] International Competition on Graph Counting Algorithms 20232023

    • Author(s)
      Takeru Inoue, Norihito Yasuda, Hidetomo Nabeshima, Masaaki Nishino, Shuhei Denzumi, and Shin-ichi Minato
    • Journal Title

      arXiv preprint

      Volume: 2309.07381v1

    • Open Access
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Journal Article] Solving Power Distribution Network Problems with Answer Set Programming2023

    • Author(s)
      山田 健太郎、湊 真一、田村 直之、番原 睦則
    • Journal Title

      Computer Software

      Volume: 40 Issue: 2 Pages: 2_3-2_18

    • DOI

      10.11309/jssst.40.2_3

    • ISSN
      0289-6540
    • Year and Date
      2023-04-21
    • Language
      Japanese
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-22K11973, KAKENHI-PROJECT-21K11828, KAKENHI-PLANNED-20H05964, KAKENHI-PROJECT-20H00605
  • [Journal Article] A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure2023

    • Author(s)
      Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda and Shin-ichi Minato
    • Journal Title

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

      Volume: -

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Journal Article] Overview and Recent Activities of JSPS KAKENHI “AFSA” Project2022

    • Author(s)
      湊 真一
    • Journal Title

      SYSTEMS, CONTROL AND INFORMATION

      Volume: 66 Issue: 5 Pages: 196-197

    • DOI

      10.11509/isciesci.66.5_196

    • ISSN
      0916-1600, 2424-1806
    • Year and Date
      2022-05-15
    • Language
      Japanese
    • Open Access
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Journal Article] Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions2022

    • Author(s)
      Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
    • Journal Title

      arXiv preprint

      Volume: 2201.08118

    • Open Access
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Journal Article] 科研・学術変革領域(A)「アルゴリズム基盤」(AFSAプロジェクト) の概要と近況について2022

    • Author(s)
      湊 真一
    • Journal Title

      LAシンポジウム会誌

      Volume: 79 Pages: 5-10

    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Journal Article] 「組み合わせ爆発」で考えるアルゴリズム入門2022

    • Author(s)
      湊 真一(監修), 福田 伊佐央(執筆)
    • Journal Title

      Newton

      Volume: 10 Pages: 34-43

    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Journal Article] Tree Decomposition-based Approach for Compiling Independent Sets2020

    • Author(s)
      Sugaya Teruji、Nishino Masaaki、Yasuda Norihito、Minato Shin-ichi
    • Journal Title

      Journal of Information Processing

      Volume: 28 Issue: 0 Pages: 354-368

    • DOI

      10.2197/ipsjjip.28.354

    • NAID

      130007873364

    • ISSN
      1882-6652
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Journal Article] Enumeration of Associative Magic Squares of Order 72020

    • Author(s)
      Kato Go、Minato Shin-ichi
    • Journal Title

      Journal of Information Processing

      Volume: 28 Issue: 0 Pages: 903-910

    • DOI

      10.2197/ipsjjip.28.903

    • NAID

      130007956339

    • ISSN
      1882-6652
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Journal Article] Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams2020

    • Author(s)
      Yu Nakahata, Masaaki Nishino, Jun Kawahara and Shin-ichi Minato
    • Journal Title

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

      Volume: 160

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Journal Article] Scalable enumeration approach for maximizing hosting capacity of distributed generation2019

    • Author(s)
      Takenobu Yuji、Yasuda Norihito、Minato Shin-ichi、Hayashi Yasuhiro
    • Journal Title

      International Journal of Electrical Power & Energy Systems

      Volume: 105 Pages: 867-876

    • DOI

      10.1016/j.ijepes.2018.09.010

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic2019

    • Author(s)
      Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, Koji Kurihara
    • Journal Title

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

      Volume: ー Pages: 91-99

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16H01743
  • [Journal Article] Evaluation of Hotspot Cluster Detection using Spatial Scan Statistic based on Exact Counting2019

    • Author(s)
      Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, and Koji Kurihara
    • Journal Title

      Japanese Journal of Statistics and Data Science

      Volume: 2 Issue: 1 Pages: 241-262

    • DOI

      10.1007/s42081-018-0030-6

    • NAID

      210000185707

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-18K04610, KAKENHI-PROJECT-26240003, KAKENHI-PROJECT-18H03207, KAKENHI-PROJECT-16K16019, KAKENHI-PROJECT-15H05711, KAKENHI-PROJECT-17K00050, KAKENHI-PROJECT-17H01701
  • [Journal Article] Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling2018

    • Author(s)
      Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, and Shin-ichi Minato
    • Journal Title

      IEEE Trans. Smart Grid

      Volume: Vol. 9, No. 3 Issue: 3 Pages: 1986-1996

    • DOI

      10.1109/tsg.2016.2604922

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Fast compilation of graph substructures for counting and enumeration2018

    • Author(s)
      Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato
    • Journal Title

      Behaviormetrika, Springer

      Volume: Vol. 45, No. 2 Issue: 2 Pages: 423-450

    • DOI

      10.1007/s41237-018-0056-x

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Fast packet classification algorithm for network-wide forwarding behaviors2018

    • Author(s)
      Inoue Takeru、Mano Toru、Mizutani Kimihiro、Minato Shin-ichi、Akashi Osamu
    • Journal Title

      Computer Communications

      Volume: 116 Pages: 101-117

    • DOI

      10.1016/j.comcom.2017.11.011

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] ZDD を用いた解法(小特集「LSI の配線問題─ DA シンポジウムの配線問題解法コンテスト─」)2018

    • Author(s)
      湊真一
    • Journal Title

      情報処理

      Volume: 59 (3) Pages: 243-247

    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Separate Compilation of Bayesian Networks for Efficient Exact Inference2018

    • Author(s)
      Gao Shan、Ishihata Masakazu、Minato Shin-ichi
    • Journal Title

      Transactions of the Japanese Society for Artificial Intelligence

      Volume: 33 Issue: 6 Pages: A-I35_1-15

    • DOI

      10.1527/tjsai.A-I35

    • NAID

      130008061433

    • ISSN
      1346-0714, 1346-8030
    • Year and Date
      2018-11-01
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs2018

    • Author(s)
      SUZUKI Hirofumi、MINATO Shin-ichi
    • Journal Title

      IEICE Trans. Fundamentals

      Volume: E101.A Issue: 9 Pages: 1375-1382

    • DOI

      10.1587/transfun.E101.A.1375

    • NAID

      130007479540

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2018-09-01
    • Language
      English
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] "DenseZDD: A Compact and Fast Index for Families of Sets"2018

    • Author(s)
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, and Kunihiko Sadakane
    • Journal Title

      Algorithms

      Volume: Vol.11, No.8 Issue: 8 Pages: 1-23

    • DOI

      10.3390/a11080128

    • NAID

      120006659589

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-18K19771, KAKENHI-PROJECT-18K18102, KAKENHI-PROJECT-16H01743, KAKENHI-PROJECT-18H04091, KAKENHI-PROJECT-18H04098, KAKENHI-PROJECT-16H02781
  • [Journal Article] Efficient Bandit Combinatorial Optimization Algorithm with Zero-suppressed Binary Decision Diagrams2018

    • Author(s)
      Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato
    • Journal Title

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

      Volume: - Pages: 585-594

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Exact Computation of Strongly Connected Reliability by BDDs2018

    • Author(s)
      Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato
    • Journal Title

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

      Volume: LNCS 11346 Pages: 281-295

    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams2018

    • Author(s)
      Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato
    • Journal Title

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

      Volume: - Pages: 585-594

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] 記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証2018

    • Author(s)
      蓑田 玲緒奈, 湊 真一
    • Journal Title

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

      Volume: J101-D (3) Pages: 470-480

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Generating All Patterns of Graph Partitions within a Disparity Bound2017

    • Author(s)
      Jun Kawahara, Takashi Horiyama, Keisuke Hotta, and Shin-ichi Minato
    • Journal Title

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

      Volume: -

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Dancing with Decision Diagrams: A Combined Approach to Exact Cover2017

    • Author(s)
      Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata
    • Journal Title

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

      Volume: - Pages: 868-874

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation2017

    • Author(s)
      Gao Shan, Masakazu Ishihata, Shin-ichi Minato
    • Journal Title

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

      Volume: 73 Pages: 117-128

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems2017

    • Author(s)
      Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-Ichi Minato and Masaaki Nagata
    • Journal Title

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

      Volume: - Pages: 944-950

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems2017

    • Author(s)
      Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E100-D (12) Pages: 2945-2952

    • NAID

      130006236603

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Compiling Graph Substructures into Sentential Decision Diagrams2017

    • Author(s)
      Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata
    • Journal Title

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

      Volume: - Pages: 1213-1221

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation2017

    • Author(s)
      Shin-ichi Minato
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E100-D (8) Pages: 1556-1562

    • NAID

      130005876092

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation2017

    • Author(s)
      Shin-ichi Minato
    • Journal Title

      IEICE Transactions

      Volume: 100-D(8) Pages: 1556-1562

    • NAID

      130005876092

    • Data Source
      KAKENHI-PROJECT-16H01743
  • [Journal Article] Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages2017

    • Author(s)
      Reona Minoda, Shin-ichi Minato
    • Journal Title

      IEICE Trans. Inf. & Syst.

      Volume: E100-D (6) Pages: 1172-1181

    • NAID

      130005687730

    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Statistical Emerging Pattern Mining with Multiple Testing Correction2017

    • Author(s)
      Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-ichi Minato
    • Journal Title

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

      Volume: - Pages: 897-906

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages2017

    • Author(s)
      Reona MINODA and Shin-ichi MINATO
    • Journal Title

      IEICE Trans. Inf. & Syst

      Volume: 印刷中

    • NAID

      130005687730

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Statistical Emerging Pattern Mining with Multiple Testing Correction2017

    • Author(s)
      Junpei Komiyama and Masakazu Ishihata and Hiroki Arimura and Takashi Nishibayashi and Shin-ichi Minato
    • Journal Title

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

      Volume: 1 Pages: 897-906

    • DOI

      10.1145/3097983.3098137

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17K12736, KAKENHI-PROJECT-16H01743
  • [Journal Article] Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation2017

    • Author(s)
      Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, and Shin-ichi Minato
    • Journal Title

      IEICE Trans. Fundamentals

      Volume: E100-A (9) Pages: 1773-1784

    • NAID

      130006038280

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking2017

    • Author(s)
      Reona Minoda, Masakazu Ishihata, Shin-ichi Minato
    • Journal Title

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

      Volume: - Pages: 85-91

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Fast Compilation of s-t Paths on a Graph for Counting and Enumeration2017

    • Author(s)
      Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato
    • Journal Title

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

      Volume: 73 Pages: 129-140

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Dancing with Decision Diagrams: A Combined Approach to Exact Cover2017

    • Author(s)
      Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata
    • Journal Title

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

      Volume: - Pages: 868-874

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-16H01743
  • [Journal Article] Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking2017

    • Author(s)
      Reona Minoda, Shin-ichi Minato
    • Journal Title

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

      Volume: - Pages: 13-21

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Using PiDDs for Nearest Neighbor Optimization of Quantum Circuits2016

    • Author(s)
      Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, and Shin-ichi Minato
    • Journal Title

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

      Volume: LNCS 9720 Pages: 181-196

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking2016

    • Author(s)
      Reona Minoda, Yuzuru Tanaka, and Shin-ichi Minato
    • Journal Title

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

      Volume: - Pages: 65-71

    • NAID

      130008061347

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System2016

    • Author(s)
      Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, and Shin-ichi Minato
    • Journal Title

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

      Volume: - Pages: 1-17

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures2016

    • Author(s)
      Takeru Inoue, Norihito Yasuda, Shunsuke Kawano, Yuji Takenobu, Shin-ichi Minato, and Yasuhiro Hayashi
    • Journal Title

      IEEE Trans. Smart Grid

      Volume: 6 Issue: 2 Pages: 843-852

    • DOI

      10.1109/tsg.2014.2359114

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model2016

    • Author(s)
      Hirofumi Suzuki, Sun Hao, and Shin-ichi Minato
    • Journal Title

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

      Volume: - Pages: 356-362

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] 私は何がしたかったのか,そしてどのように進んできたのか(レクチャー シリーズ「つながりが創発するイノベーション」第7回)2016

    • Author(s)
      湊真一
    • Journal Title

      人工知能学会誌

      Volume: 31 (3) Pages: 452-463

    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Journal Article] Enumerating Eulerian Trails via Hamiltonian Path Enumeration2015

    • Author(s)
      Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi, and Shin-ichi Minato
    • Journal Title

      Springer LNCS

      Volume: 8973 Pages: 161-174

    • DOI

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

    • ISBN
      9783319156118, 9783319156125
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24650062
  • [Journal Article] BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems2015

    • Author(s)
      M. Nishino, N. Yasuda, S. Minato, M. Nagata
    • Journal Title

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

      Volume: AAAI2015 Pages: 1219-1225

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24240021
  • [Journal Article] A fast method of statistical assessment for combinatorial hypotheses based on frequent itemset enumeration2014

    • Author(s)
      Shin-ichi Minato, Takeaki Uno, Koji Tsuda, Aika Terada, Jun Sese
    • Journal Title

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

      Volume: 8725 Pages: 422-436

    • DOI

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

    • ISBN
      9783662448502, 9783662448519
    • Peer Reviewed
    • Data Source
      KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-24240021
  • [Journal Article] A Compact and Fast Index Structure for Families of Sets2014

    • Author(s)
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, and Kunihiko Sadakane
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 未定(受理済み)

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24240021
  • [Journal Article] DenseZDD: A Compact and Fast Index for Families of Sets2014

    • Author(s)
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato and Kunihiko Sadakane
    • Journal Title

      Proc. of Symposium on Experimental Algorithms (SEA 2014)

      Volume: Springer LNCS

    • NAID

      120006659589

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24650062
  • [Journal Article] DenseZDD: A compact and fast index for families of sets2014

    • Author(s)
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, Kunihiko Sadakane
    • Journal Title

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

      Volume: 8504 Pages: 187-198

    • DOI

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

    • NAID

      120006659589

    • ISBN
      9783319079585, 9783319079592
    • Peer Reviewed
    • Data Source
      KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-24240021, KAKENHI-PUBLICLY-25120501
  • [Journal Article] Sequence Binary Decision Diagram: Minimization, Relationship to Acyclic Automata, and Complexities of Boolean Set Operations2014

    • Author(s)
      Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato
    • Journal Title

      Discrete Applied Mathematics

      Volume: 未確定 Pages: 61-80

    • DOI

      10.1016/j.dam.2014.11.022

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-13J01937, KAKENHI-PROJECT-24240021, KAKENHI-PUBLICLY-25120501, KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-15H05711, KAKENHI-PROJECT-16H01743, KAKENHI-PROJECT-15K12022
  • [Journal Article] An Efficient Method for Indexing All Topological Orders of a Directed Graph2014

    • Author(s)
      Yuma Inoue and Shin-ichi Minato
    • Journal Title

      Springer LNCS

      Volume: 8889 Pages: 103-114

    • DOI

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

    • ISBN
      9783319130743, 9783319130750
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24650062
  • [Journal Article] Enumeration of Region Partitioning for Evacuation Planning Based on ZDD2013

    • Author(s)
      A. Takizawa, Y. Takechi, A. Ohta, N. Katoh, T. Inoue, T. Horiyama, J. Kawahara and S. Minato
    • Journal Title

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

      Volume: 無 Pages: 64-71

    • NAID

      120006659590

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25240004
  • [Journal Article] Synthesis of Semi-Classical Quantum Circuits2012

    • Author(s)
      Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller
    • Journal Title

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

      Volume: Vol.18, No.1 Pages: 99-113

    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] Synthesis of Semi-Classical Quantum Circuits2012

    • Author(s)
      Shigeru Yamashita, Shin-ichi Minato, D.Michael Miller
    • Journal Title

      Journal of Multi-Valued Logic & Soft Computing

      Volume: Vol.18, No.1 Pages: 99-113

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] A Dynamically Reconfigurable FPGA-based Pattern Matching Hardware for Subclasses of Regular Expressions2012

    • Author(s)
      Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura, 他2名
    • Journal Title

      IEICE Trans.Inf.and Syst.

      Volume: Vol.D(accepted)

    • NAID

      10031024212

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Journal Article] A Dynamically Reconfigurable FPGA-based Pattern Matching Hardware for Subclasses of Regular Expressions2012

    • Author(s)
      Y. Kaneta, S. Yoshizawa, S. Minato, H. Arimura, and Y. Miyanaga
    • Journal Title

      IEICE Trans. Inf. and Syst

      Volume: Vol.D

    • NAID

      10031024212

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Journal Article] Counterexamples to the long-standing conjecture on the complexity of BDD binary operations2012

    • Author(s)
      R. Yoshinaka, J. Kawahara, S. Denzumi, H. Arimura, and S. Minato
    • Journal Title

      Information Processing Letters

      Volume: Vol.112, Issue16 Pages: 636-640

    • NAID

      120004710971

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Journal Article] A Dynamically Reconfigurable FPGA-based Pattern Matching Hardware for Subclasses of Regular Expressions2012

    • Author(s)
      Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga
    • Journal Title

      IEICE Trans. Inf. and Syst.

      Volume: Vol.E95-D, No.7 Pages: 1847-1857

    • NAID

      10031024212

    • Data Source
      KAKENHI-PROJECT-24240021
  • [Journal Article] Counterexamples to the long-standing conjecture on the complexity of BDD binary operations2012

    • Author(s)
      Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato
    • Journal Title

      Information Procssing Letters

      Volume: Vol.112, Issue 16 Issue: 16 Pages: 636-640

    • DOI

      10.1016/j.ipl.2012.05.007

    • NAID

      120004710971

    • Data Source
      KAKENHI-PROJECT-24240021
  • [Journal Article] BDD-Based Combinatorial Keyword Query Processing2011

    • Author(s)
      Shin-ichi Minato and Nicolas Spyratos
    • Journal Title

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

      Volume: chapter 2 Pages: 26-39

    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開2011

    • Author(s)
      湊真一
    • Journal Title

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

      Volume: Vol.4, No.3 Pages: 224-230

    • NAID

      130004959646

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開2011

    • Author(s)
      湊真一
    • Journal Title

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

      Pages: 224-230

    • NAID

      130004959646

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開2011

    • Author(s)
      湊真一
    • Journal Title

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

      Volume: Vol.4, No.3 Pages: 224-230

    • NAID

      130004959646

    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] BDD-Based Combinatorial Keyword Query Processing2011

    • Author(s)
      Shin-ichi Minato, Nicolas Spyratos
    • Journal Title

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

      Volume: chapter 2 Pages: 26-39

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] Fast Bit-Parallel Matching for Network and Regular Expressions2010

    • Author(s)
      Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura
    • Journal Title

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

      Volume: LNCS 6393 Pages: 372-384

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Journal Article] Fast Bit-Parallel Matching for Network and Regular Expressions2010

    • Author(s)
      Y.Kaneta, S.Minato, H.Arimura
    • Journal Title

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

      Pages: 372-384

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Journal Article] ベイジアンネットワークと離散構造処理系(特集「ベイジアン・ネットワークの最先端」)2010

    • Author(s)
      佐藤泰介, 湊真一
    • Journal Title

      人工知能学会誌

      Volume: vol.25, No.6 Pages: 796-802

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Journal Article] Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching2010

    • Author(s)
      Y.Kaneta, S.Minato, H.Arimura
    • Journal Title

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

      Pages: 21-28

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Journal Article] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • Author(s)
      Shin-ichi Minato, Takeaki Uno
    • Journal Title

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

      Pages: 339-349

    • NAID

      120006660815

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

    • Author(s)
      湊真一, 有村博紀
    • Journal Title

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

      Volume: Vol.15, No.3 Pages: 15-15

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

    • Author(s)
      湊真一, 有村博紀
    • Journal Title

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

      Pages: 15-15

    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • Author(s)
      Shin-ichi Minato and Takeaki Uno
    • Journal Title

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

      Pages: 339-349

    • NAID

      120006660815

    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] Fast Bit-Parallel Matching for Network and Regular Expressions2010

    • Author(s)
      Y. Kaneta, S. Minato, H. Arimura
    • Journal Title

      Proc. SPIRE'10, LNCS

      Volume: Vol.6393 Pages: 372-384

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Journal Article] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • Author(s)
      Shin-ichi Minato, Takeaki Uno
    • Journal Title

      Proc. SIAM International Conference on Data Mining, SDM 2010

      Volume: SIAM DM'10 Pages: 339-349

    • NAID

      120006660815

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Journal Article] Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching2010

    • Author(s)
      Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura, 他2名
    • Journal Title

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

      Volume: IEEE FPT10 Pages: 21-28

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Journal Article] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • Author(s)
      S.Minato, T.Uno
    • Journal Title

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

      Pages: 339-349

    • NAID

      120006660815

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Journal Article] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • Author(s)
      Shin-ichi Minato, Takeaki Uno
    • Journal Title

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

      Volume: SDM2010 Pages: 339-349

    • NAID

      120006660815

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

    • Author(s)
      湊真一, 有村博紀
    • Journal Title

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

      Volume: Vol.15, No.3 Pages: 15-15

    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] Monolithic and Partial Compilation Methods for Probabilistic Inference of Bayesian Networks using ZBDDs2009

    • Author(s)
      Daisuke Tokoro, Ai Fukunaga, Kiyoharu Hamaguchi, Toshinobu Kashiwabara, Shin-ichi Minato
    • Journal Title

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

      Pages: 98-103

    • NAID

      130008079592

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Journal Article] Recent Results on BDD-Based Large-Scale Data Processing for Knowledge Discovery2009

    • Author(s)
      Shin-ichi Minato
    • Journal Title

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

      Pages: 27-32

    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] Comparison of ZDD-Vectors and WZDDs for Frequent Pattern Mining2009

    • Author(s)
      Haruya Iwasaki, Elsa Loekito, Shin-ichi Minato, James Bailey
    • Journal Title

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

      Pages: 98-103

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] Recent Results on BDD-Based Large-Scale Data Processing for Knowledge Discovery2009

    • Author(s)
      Shin-ichi Minato
    • Journal Title

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

      Pages: 27-32

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] Comparison of ZDD-Vectors and WZDDs for Frequent Pattern Mining2009

    • Author(s)
      Haruya Iwasaki, Elsa Loekito, Shin-ichi Minato, James Bailey
    • Journal Title

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

      Pages: 51-55

    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • Author(s)
      S. Minato, T. Uno, and H. Arimura
    • Journal Title

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

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] 頻出パタンマイニングのためのゼロサプレス型BDDの変数順序付け方法とその評価2008

    • Author(s)
      岩崎玄弥, 湊真一, ツォイクマントーマス
    • Journal Title

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

      Pages: 608-618

    • NAID

      110007380998

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery2008

    • Author(s)
      Shin-ichi Minato
    • Journal Title

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

      Pages: 53-58

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] LCM over ZBDDs : Fast Generation of Very Large-Scale Freq uent Itemsets Using a Compact Graph-Based Representation2008

    • Author(s)
      Shin-ichi Minato, Takeaki Uno, and Hiroki Arimura
    • Journal Title

      In Proc. of PAKDD 2008, LNAI 5012, Springer

      Pages: 234-246

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] LCM over ZBDDs : Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • Author(s)
      Shin-ichi Minato, Takeaki Uno, and Hiroki Arimura
    • Journal Title

      In Proc. of PAKDD 2008, LNAI 5012, Springer

      Pages: 234-246

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19024001
  • [Journal Article] A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery2008

    • Author(s)
      Shin-ichi Minato
    • Journal Title

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] LCM over ZBDDs : Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • Author(s)
      S. Minato, T. Uno, and H. Arimura
    • Journal Title

      LNCS, Springer

      Volume: Vol.5012 Pages: 234-246

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Journal Article] DDMF : An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction2008

    • Author(s)
      Shigeru Yamashita, Shin-ichi Minato, D.M.Miller
    • Journal Title

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

      Pages: 3793-3802

    • NAID

      10026854528

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] DDMF : An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction2008

    • Author(s)
      Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller
    • Journal Title

      IEICE Trans. Fundamentals

      Volume: Vol.E91-A, No.12 Pages: 3793-3802

    • NAID

      10026854528

    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] LCM over ZBDDs : Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • Author(s)
      S. Minato, T. Uno, and H. Arimura
    • Journal Title

      Lecture Notes in Computer Science 5012

      Pages: 234-246

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Journal Article] LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • Author(s)
      Shin-ichi Minato, Takeaki Uno, and Hiroki Arimura
    • Journal Title

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] LCM over ZBDDs : Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • Author(s)
      Shin-ichi Minato, Takeaki Uno, Hiroki Arimura
    • Journal Title

      Proc.of PAKDD 2008(Springer)

      Pages: 234-246

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] A Method of ZBDD Variable Ordering for Frequent Pattern Mining2008

    • Author(s)
      Haruya Iwasaki, Shin-ichi Minato, and Zeugmann Thomas
    • Journal Title

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

      Pages: 608-818

    • NAID

      110007380998

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] 情報爆発時代のための新しい超高速アルゴリズム2008

    • Author(s)
      宇野毅明, 湊真一, 竹田正幸
    • Journal Title

      情報処理 Vol.49, No.8

      Pages: 897-903

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19024001
  • [Journal Article] A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery2008

    • Author(s)
      S. Minato
    • Journal Title

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

      Pages: 53-58

    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery2008

    • Author(s)
      Shin-ichi Minato
    • Journal Title

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

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] DDMF : An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction2008

    • Author(s)
      Shigeru Yamashita, Shin-ichi Minato, and D. M. Miller
    • Journal Title

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

      Pages: 3793-3802

    • NAID

      10026854528

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] LCM over ZBDDs : Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation2008

    • Author(s)
      S. Minato, T. Uno, and H. Arimura
    • Journal Title

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

      Pages: 234-246

    • Data Source
      KAKENHI-PROJECT-20300051
  • [Journal Article] Frequent Closed Item Set Mining Based on Zero-suppressed BDDs2007

    • Author(s)
      S.Minato, H.Arimura
    • Journal Title

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

      Pages: 165-172

    • NAID

      130000058332

    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Frequent Closed Item Set Mining Based on Zero-suppressed BDDs2007

    • Author(s)
      S. Minato, H. Arimura
    • Journal Title

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

      Pages: 165-172

    • NAID

      130000058332

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] A Theoretical Study on Variable Ordering of Zero-suppressed BDDs for Representing Frequent Itemsets2007

    • Author(s)
      Shin-ichi Minato
    • Journal Title

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

      Pages: 139-150

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Frequent Closed Item Set Mining Based on Zero-Suppressed BDDs2007

    • Author(s)
      Shin-ichi Minato and Hiroki Arimura
    • Journal Title

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

      Pages: 165-172

    • NAID

      130000058332

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs2007

    • Author(s)
      Shin-ichi Minato, Ken Satoh, and Taisuke Sato
    • Journal Title

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

      Pages: 2550-2555

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] A Method of Variable Ordering for Zero-suppressed Binary Decision Diagrams in Data Mining Applications2007

    • Author(s)
      Haruya Iwasaki, Shin-ichi Minato, and Thomas Zeugmann:
    • Journal Title

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

      Pages: 85-90

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19024001
  • [Journal Article] N-gram Analysis Based on Zero-suppressed BDDs2007

    • Author(s)
      Ryutaro Kurai, Shin-ichi Minato, and Thomas Zeugmann
    • Journal Title

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

      Pages: 289-300

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs2007

    • Author(s)
      S. Minato, K. Satoh, T. Sato
    • Journal Title

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

      Pages: 2550-2555

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] A Method of Variable Ordering for Zero-suppressed Binary Decision Diagrams in Data Mining Applica2007

    • Author(s)
      H. Iwasaki, S. Minato, T. Zeugmann
    • Journal Title

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs2007

    • Author(s)
      S.Minato, K.Satoh, T.Sato
    • Journal Title

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

      Pages: 2550-2555

    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data2007

    • Author(s)
      Minato, S. and Ito, K.
    • Journal Title

      Transactions of the Japanese Society for Artificial Intelligence 22

      Pages: 156-164

    • NAID

      130000058331

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300041
  • [Journal Article] A Theoretical Study on Variable Ordering of Zero-suppressed BDDs for Representing Frequent Itemsets2007

    • Author(s)
      S. Minato
    • Journal Title

      Lecture Notes in Computer Science Vol. 4914

      Pages: 139-150

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Frequent Closed Item Set Mining Based on Zero-suppressed BDDs2007

    • Author(s)
      S. Minato, H. Arimura
    • Journal Title

      Information and Media Technologies(IMT) Vol.2

      Pages: 309-316

    • NAID

      130000058332

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] A Theoretical Study on Variable Ordering of Zero-suppressed BDDs for Representing Frequent Itemsets2007

    • Author(s)
      Shin-ichi Minato
    • Journal Title

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

      Pages: 139-150

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Frequent Pattern Mining and Knowledge Indexing Based on Zero-suppressed BDDs2007

    • Author(s)
      S. Minato, H. Arimura
    • Journal Title

      Lecture Notes in Computer Science Vol.4747

      Pages: 152-169

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] A Theoretical Study on Variable Ordering of Zero-suppressed BDDs for Representing Frequent Itemsets2007

    • Author(s)
      Shin-ichi Minato
    • Journal Title

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

      Pages: 139-150

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs2007

    • Author(s)
      S. Minato, K. Satoh, T. Sato
    • Journal Title

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

      Pages: 2550-2555

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs2007

    • Author(s)
      Shin-ichi Minato and Hiroki Arimura
    • Journal Title

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

      Pages: 152-169

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs2007

    • Author(s)
      S.Minato, K.Satoh, T.Sato
    • Journal Title

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

      Pages: 2550-2555

    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] A Method of Variable Ordering for Zero-suppressed Binary Decision Diagrams in Data Mining Applica2007

    • Author(s)
      H. Iwasaki, S. Minato, T. Zeugmann
    • Journal Title

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

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Symmetric item set mining method using zero-suppressed BDDs and application to biological data2007

    • Author(s)
      Minato, S., Ito, K.
    • Journal Title

      Trans. JSAI 22

      Pages: 156-164

    • NAID

      130000058331

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19300041
  • [Journal Article] Frequent Closed Item Set Mining Based on Zero-suppressed BDDs2007

    • Author(s)
      S. Minato and H. Arimura
    • Journal Title

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

      Pages: 165-172

    • NAID

      130000058332

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] N-gram Analysis Based on Zero-suppressed BDDs2007

    • Author(s)
      R.Kurai, S.Minato, T.Zeugmann
    • Journal Title

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

      Pages: 289-300

    • Data Source
      KAKENHI-PROJECT-18049001
  • [Journal Article] Frequent Closed Item Set Mining Based on Zero-suppressed BDDs2007

    • Author(s)
      Shin-ichi Minato, Hiroki Arimura
    • Journal Title

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

      Pages: 309-316

    • NAID

      130000058332

    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] N-gram Analysis Based on Zero-suppressed BDDs2007

    • Author(s)
      R.Kurai, S.Minato, T.Zeugmann
    • Journal Title

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

      Pages: 289-300

    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] N-gram Analysis Based on Zero-suppressed BDDs2007

    • Author(s)
      Shin-ichi Minato
    • Journal Title

      Lecture Notes in Computer Science Vol. 4384

      Pages: 289-300

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] A Method of Variable Ordering for Zero-suppressed Binary Decision Diagrams in Data Mining Applica2007

    • Author(s)
      H.Iwasaki, S.Minato, T.Zeugmann
    • Journal Title

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

    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Compiling Bayesian Networks by Symbolic Probability Calculation Basedon Zero-suppressed BDDs2007

    • Author(s)
      S. Minato, K. Satoh, and T. Sato
    • Journal Title

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

      Pages: 2550-2555

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Frequent Closed Item Set Mining Based on Zero-suppressed BDDs2007

    • Author(s)
      Shin-ichi Minato, Hiroki Arimura
    • Journal Title

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

      Pages: 165-172

    • NAID

      130000058332

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data2007

    • Author(s)
      Shin-ichi Minato, Kimihito Ito
    • Journal Title

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

      Pages: 300-308

    • NAID

      130000058331

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] A Theoretical Study on Variable Ordering of Zero-suppressed BDDs for Representing Frequent Itemsets2007

    • Author(s)
      S, Minato
    • Journal Title

      Lecture Notes in Computer Science Vol.4914

      Pages: 139-150

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data2007

    • Author(s)
      Shin-ichi Minato, Kimihito Ito
    • Journal Title

      Information and Media Technologies (IMT) Vol.2

      Pages: 300-308

    • NAID

      130000058331

    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs2007

    • Author(s)
      Shin-ichi Minato and Hiroki Arimura
    • Journal Title

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

      Pages: 152-169

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Frequent Pattern Mining and Knowledge Indexing Based on Zero-suppressed BDDs2007

    • Author(s)
      S. Minato, H. Arimura
    • Journal Title

      Lecture Notes in Computer Science Vol. 4747

      Pages: 152-169

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data2007

    • Author(s)
      S. Minato, K. Ito
    • Journal Title

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

      Pages: 300-308

    • NAID

      130000058331

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] N-gram Analysis Based on Zero-suppressed BDDs2007

    • Author(s)
      R. Kurai, S. Minato, and T. Zeugmann
    • Journal Title

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

      Pages: 289-300

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] N-gram Analysis Based on Zero-suppressed BDDs2007

    • Author(s)
      S. Minato
    • Journal Title

      Lecture Notes in Computer Science Vol. 4384

      Pages: 289-300

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

    • Author(s)
      湊 真一, 有村博紀
    • Journal Title

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

      Pages: 172-182

    • NAID

      110004669938

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] VSOP (Valued-Sum-of-Products) Calculator for Knowledge Precessing Based on Zero-Suppressed BDDs2006

    • Author(s)
      S. Minato
    • Journal Title

      Lecture Notes in Computer Science Vol. 3847

      Pages: 40-58

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Finding Simple Disjoint Decompositions on Sets of Combinations Based on Zero-suppressed BDDs2006

    • Author(s)
      S. Minato
    • Journal Title

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

      Pages: 393-398

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] VSOP (Valued-Sum-of-Products) Calculator for Knowledge Precessing Based on Zero-Suppressed BDDs2006

    • Author(s)
      S. Minato
    • Journal Title

      Lecture Notes in Computer Science 3847

      Pages: 40-58

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Symmetric Item Set Mining Based on Zero-suppressed BDDs2006

    • Author(s)
      Shin-ichi Minato
    • Journal Title

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

      Pages: 321-326

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] VSOP(Valued-Sum-of-products)Calculator for knowledge precessing Based on Zero-Suppressed BDDs2006

    • Author(s)
      S.Minato
    • Journal Title

      Federation over the Web LNAI 3847

      Pages: 40-58

    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2006

    • Author(s)
      S. Minato
    • Journal Title

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

      Pages: 169-181

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2006

    • Author(s)
      S.Minato
    • Journal Title

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

      Pages: 169-181

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

    • Author(s)
      湊 真一, 有村博紀
    • Journal Title

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

      Pages: 172-182

    • NAID

      110004669938

    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Efficient Method of Transaction Database Analysis Using Zero-Suppressed BDDs2006

    • Author(s)
      Shin-ichi Minato and Hiroki Arimura
    • Journal Title

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

      Pages: 172-182

    • NAID

      110004669938

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2006

    • Author(s)
      Shin-ichi Minato
    • Journal Title

      Lecture Notes in Computer Science Vol. 4012

      Pages: 169-181

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Symmetric Item Set Mining Based on Zero-suppressed BDDs2006

    • Author(s)
      S.Minato
    • Journal Title

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

      Pages: 321-326

    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2006

    • Author(s)
      Shin-ichi, Minato
    • Journal Title

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

      Pages: 169-181

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Finding Simple Desjoint Decompositions on Sets of Combinations Based on Zero-suppressed BDDs2006

    • Author(s)
      S.Minato
    • Journal Title

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

    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] VSOP (Valued-Sum-of-Products) Calculator for Knowledge Processing Based on Zero-Suppressed BDDs2006

    • Author(s)
      Shin-ichi Minato
    • Journal Title

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

      Pages: 40-58

    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2006

    • Author(s)
      S. Minato
    • Journal Title

      Lecture Notes in Computer Science Vol. 4012

      Pages: 169-181

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Symmetric Item Set Mining Based on Zero-suppressed BDDs2006

    • Author(s)
      S. Minato
    • Journal Title

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

      Pages: 321-326

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Finding Simple Disjoint Decompositions on Sets of Combinations Based on Zero-suppressed BDDs2006

    • Author(s)
      Shin-ichi. Minato
    • Journal Title

      Proc. Of Synthesis and Simulation Meeting and International Interchange SASIMI2006

      Pages: 393-398

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Finding Simple Disjoint Decompositions on Sets of Combinations Based on Zero-suppressed BDDs2006

    • Author(s)
      S.Minato
    • Journal Title

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

      Pages: 393-398

    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Efficient Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs2005

    • Author(s)
      Sin-ichi Minato, Hiroki Arimura(H13-H16代表者)
    • Journal Title

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

      Pages: 3-10

    • Data Source
      KAKENHI-PROJECT-16016266
  • [Journal Article] Efficient Method of Transaction Database Analysis Using Zero-Suppressed BDDs (in Japanese)2005

    • Author(s)
      S. Minato, H. Arimura
    • Journal Title

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

      Pages: 172-182

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Finding Simple Disjoint Decompositions in Frequent Itemset Data Using Zero-suppressed BDD2005

    • Author(s)
      S. Minato
    • Journal Title

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

      Pages: 3-11

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Finding Simple Disjoint Decompositions in Frequent Itemset Data Using Zero-suppressed BDD2005

    • Author(s)
      Sin-ichi Minato
    • Journal Title

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

      Pages: 3-11

    • Data Source
      KAKENHI-PROJECT-16016266
  • [Journal Article] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2005

    • Author(s)
      Sin-ichi Minato
    • Journal Title

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

      Pages: 3-9

    • Data Source
      KAKENHI-PROJECT-16016266
  • [Journal Article] Finding Simple Disjoint in Frequent Itemset Data Using Zero-suppressed BDD2005

    • Author(s)
      S.Minato
    • Journal Title

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

      Pages: 3-11

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

    • Author(s)
      湊真一, 有村博紀
    • Journal Title

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

      Pages: 172-182

    • NAID

      110004669938

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

    • Author(s)
      湊真一, 有村博紀
    • Journal Title

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

      Pages: 172-182

    • NAID

      110004669938

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs2005

    • Author(s)
      S.Minato
    • Journal Title

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

      Pages: 3-9

    • Data Source
      KAKENHI-PROJECT-17300041
  • [Journal Article] Efficient Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs2005

    • Author(s)
      S. Minato, H. Arimura
    • Journal Title

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

      Pages: 3-10

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Journal Article] Efficient Combinatorial Item Set Analysis Based on Zero-Suppressed BBDs2005

    • Author(s)
      S.Minato, H.Arimura
    • Journal Title

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

      Pages: 3-10

    • Data Source
      KAKENHI-PROJECT-17002008
  • [Presentation] Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram Operations2024

    • Author(s)
      S. Ooba, J. Kawahara, S. Minato
    • Organizer
      The 16th International Conference on Agents and Artificial Intelligence
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] マトロイドを表すBDD/ZDDについて2024

    • Author(s)
      江本洸海, 岩政勇仁, 湊真一
    • Organizer
      電子情報 通信学会2024総合大会
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] 0-1整数線形計画問題の実行可能解を列挙するZDDの生成法とその評価2024

    • Author(s)
      吉浩, 川原純, 湊真一
    • Organizer
      情報処理学会第86回全国大会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] On the Computational Complexity of Generalized Common Shape Puzzles2024

    • Author(s)
      M. Banbara, S. Minato, H. Ono, R. Uehara
    • Organizer
      The 49th International Conference on Current Trends in Theory and Practice of Computer Science
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] Recent Research Activities on Algorithmic Foundations for Social Advancement2024

    • Author(s)
      S. Minato
    • Organizer
      The 18th International Conference and Workshops on Algorithms and Computation
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] ZDDの区間メモ化探索法を改良した頂点被覆問題のコスト制約解列挙アルゴリズム2024

    • Author(s)
      宮本照之, 川原純, 湊真一
    • Organizer
      人工知能学会第128回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] コンテナ積載計画問題へのゼロサプレス型二分決定グラフの応用2024

    • Author(s)
      古渡健太, 川原純, 湊真一
    • Organizer
      日本オペレーションズ・リサーチ学会2024年春季研究発表会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] マトロイドを表すBDD/ZDDについて2024

    • Author(s)
      江本洸海, 岩政勇仁, 湊真一
    • Organizer
      電子情報通信学会2024総合大会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] 社会に貢献する最先端アルゴリズム技術2024

    • Author(s)
      湊 真一
    • Organizer
      情報オリンピック日本委員会 春季セミナー全体講演会
    • Invited
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Presentation] Optimizing Decision Diagrams for Measurements of Quantum Circuits2024

    • Author(s)
      R. Matsuo, R. Raymond, S. Yamashita, S. Minato
    • Organizer
      The 29th Asia South Pacific Design Automation Conference
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] コンテナ積載計画問題へのゼロサプレス型二分決定グラフの応用2024

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

    • Author(s)
      宮本照之, 川原純, 湊真一
    • Organizer
      人工知能学会第128回人工知能基本問題研究会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] 0-1整数線形計画問題の実行可能解を列挙するZDDの生成法とその評価2024

    • Author(s)
      吉浩, 川原純, 湊真一
    • Organizer
      情報処理学会第86回全国大会
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] 水性ガスシフト反応の反応経路ネットワーク分析2024

    • Author(s)
      江村紅音, 杉山佳奈美, 湊真一, 東雅大, 佐藤啓文
    • Organizer
      日本化学会 第104春季年会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] 辺重み付き系列二分決定グラフによる頻出部分列の多重集合表現とその評価2023

    • Author(s)
      杉野創, 川原純, 湊真一
    • Organizer
      情報処理学会第85回全国大会講演論文集, IL-03
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] Overview of AFSA (Algorithmic Foundations for Social Advancement ) Project and the Aim of This Competition2023

    • Author(s)
      Shin-ichi Minato
    • Organizer
      International Competition on Graph Counting Algorithms (ICGCA) Symposium 2023
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Presentation] Exact and Efficient Network Reliability Evaluation per Outage Scale2023

    • Author(s)
      K. Nakamura, T. Inoue, M. Nishino, N. Yasuda, S. Minato
    • Organizer
      IEEE International Conference on Communication
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] 辺重み付き系列二分決定グラフによる頻出部分列の多重集合表現とその評価2023

    • Author(s)
      杉野創, 川原純, 湊真一
    • Organizer
      情報処理学会第85回全国大会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] 部分順列グラフの集合を表現するZDDの構築2023

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

    • Author(s)
      周文爍, 川原純, 湊真一
    • Organizer
      情報処理学会第85回全国大会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] CompDP: 複数の連結性制約の下の部分グラフ数え上げを同時に行う動的計画法2023

    • Author(s)
      中村健吾, 西野正彬, 安田宜仁, 湊真一
    • Organizer
      2023年度人工知能学会全国大会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] 部分順列グラフの集合を表現するZDDの構築2023

    • Author(s)
      高嶋勇哉, 川原純, 湊真一
    • Organizer
      情報処理学会第85回全国大会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] A*探索に基づく組合せ最適化問題の上位解列挙とZDDの構築2023

    • Author(s)
      赤川雄紀, 川原純, 湊真一
    • Organizer
      第21回情報科学技術フォーラム(FIT2023)
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] ChatGPTはなぜ計算が苦手なのか2023

    • Author(s)
      湊 真一
    • Organizer
      国立情報学研究所 第67回大学等におけるオンライン教育とデジタル変革に関するサイバーシンポジウム
    • Invited
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Presentation] ZDDによるパターン頻度表を用いた頻出アイテム集合マイニングの追加データ処理手法2023

    • Author(s)
      周文爍, 川原純, 湊真一
    • Organizer
      情報処理学会第85回全国大会講演論文集, IL-04
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] The Art of Counting Graphs2023

    • Author(s)
      Shin-ichi Minato
    • Organizer
      180th Shonan Meeting (The Art of SAT)
    • Int'l Joint Research
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Presentation] CompDP: 複数の連結性制約の下の部分グラフ数え上げを同時に行う動的計画法2023

    • Author(s)
      中村健吾, 西野正彬, 安田宜仁, 湊真一
    • Organizer
      2023年度人工知能学会全国大会 (第37回)
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] 単項二階論理式で与えられた論理関数を表す決定グラフの構築2023

    • Author(s)
      大場翔, 川原純, 湊真一
    • Organizer
      2023年度人工知能学会全国大会(第37回)
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] 単項二階論理式で与えられた論理関数を表す決定グラフの構築2023

    • Author(s)
      大場翔, 川原純, 湊真一
    • Organizer
      2023年度人工知能学会全国大会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints2023

    • Author(s)
      K. Nakamura, M. Nishino, N. Yasuda, S. Minato
    • Organizer
      The 21st International Symposium on Experimental Algorithms
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] 言語生成AIの弱点:なぜChatGPTは計算が苦手なのか2023

    • Author(s)
      湊 真一
    • Organizer
      日本学術会議 公開シンポジウム「生成AIの課題と今後」
    • Invited
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Presentation] A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure2023

    • Author(s)
      K. Nakamura, T. Inoue, M. Nishino, N. Yasuda, S. Minato
    • Organizer
      2023 IEEE International Conference on Computer Communications
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] A*探索に基づく組合せ最適化問題の上位解列挙とZDDの構築2023

    • Author(s)
      赤川雄紀, 川原純, 湊真一
    • Organizer
      第21回情報科学技術フォーラム
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] ZDDの区間メモ化探索技法によるコスト制約組合せ問題の高速な解列挙2022

    • Author(s)
      湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
    • Organizer
      情報処理学会アルゴ リズム研究会, 情処研報, Vol. 2022-AL-187
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] BDDs and ZDDs: My Memories on the Shoulders of Giants2022

    • Author(s)
      Shin-ichi Minato
    • Organizer
      Special Session of Bryant Discoveries Day, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT2022)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Presentation] レプ・タイルの定式化を用いた各種ソルバの性能比較2022

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

    • Author(s)
      阿部春樹, 川原純, 湊真一
    • Organizer
      情報処理学会アルゴリズム研究会, 情処研報, Vol.2022-AL-190
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] 解集合プログラミングを用いた配電網問題の解法2022

    • Author(s)
      山田健太郎, 湊真一, 田村直之, 番原睦則
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022)
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] Sorting Balls and Water: Equivalence and Computational Complexity2022

    • Author(s)
      Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
    • Organizer
      11th International Conference on Fun with Algorithms (FUN 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems2022

    • Author(s)
      Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
    • Organizer
      5th International Workshop on Enumeration Problems and Applications (WEPA2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] Solving Rep-tile by Computers2022

    • Author(s)
      Mutsunori Banbara, Kenji Hashimoto, Takashi, Horiyama, Shin-ichi Minato, Kakeru Nakamura, Masaaki Nishino, Masahiko Sakai, Ryuhei Uehara, Yushi Uno, Norihito Yasuda
    • Organizer
      14th Gathering 4 Gardner Conference
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] 解集合プログラミングを用いた配電網問題の解法2022

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

    • Author(s)
      Shin-ichi Minato
    • Organizer
      Special Session of Bryant Discoveries Day, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT2022)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] レプ・タイルの定式化を用いた各種ソルバの性能比較2022

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

    • Author(s)
      湊 真一
    • Organizer
      日本科学技術協会(JAAS)第1回総会
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Presentation] 学変(A) アルゴリズム基盤(AFSA)プロジェクトの概要と最近の活動状況について2022

    • Author(s)
      湊真一
    • Organizer
      情報処理学会第84回全国大会 企画シンポジウム「革新的アルゴリズム基盤の構築に向けて」
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Presentation] DAGに対する幅とアルゴリズムに関する一考察2022

    • Author(s)
      森順平, 川原純, 湊真一, 笠原正治
    • Organizer
      情報処理学会第84回全国大会講演論文集, 5K-05
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] ZDDの区間メモ化探索技法によるコスト制約組合せ問題の高速な解列挙2022

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

    • Author(s)
      山崎宏紀, 川原純, 湊真一
    • Organizer
      情報処理学会第84回全国大会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] 最短路遷移問題のZDDを用いた解法と評価2022

    • Author(s)
      大場翔, 川原純, 湊真一
    • Organizer
      2022年 度人工知能学会全国大会(第36回), 4F1-OS-8a-02
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] マトロイド判定問題に対するZDDを用いた解法とその評価2022

    • Author(s)
      江本洸海, 岩政勇仁, 湊真一
    • Organizer
      第21回情報科学技術フォーラム(FIT2022)
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] ネットワーク信頼性評価におけるk辺連結性を表現 するMDDの構築法2022

    • Author(s)
      阿部春樹, 川原純, 湊真一
    • Organizer
      情報処理学会アルゴリズム研究会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] ZDDの反復的トップダウン構築による選挙区割問 題に対する厳密解列挙高速化2022

    • Author(s)
      山崎宏紀, 川原純, 湊真一
    • Organizer
      情報処理学会第84回全国大会講演論文集, 5K-04
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] 部分理想グラフの集合を表現するZDDの構築2022

    • Author(s)
      高嶋勇哉, 川原純, 斎藤寿樹, 吉仲亮, 湊真一
    • Organizer
      2022夏のLAシンポジウム
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] マトロイド判定問題に対するZDDを用いた解法とその評価2022

    • Author(s)
      江本洸海, 岩政勇仁, 湊真一
    • Organizer
      第21回情報科学技術フォーラム(FIT2022), A-014
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] A ZDD-Based Algorithm for Solving Minimum Weighted Vertex Cover Problems and Its Evaluation2022

    • Author(s)
      Xiang Liu, Shin-ichi Minato
    • Organizer
      the 84th National Convention of IPSJ, 5K-03
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems2022

    • Author(s)
      Shin-Ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
    • Organizer
      The 5th International Workshop on Enumeration Problems & Applications (WEPA 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] 革新的アルゴリズム基盤(AFSA)プロジェクトと人工知能基本問題2022

    • Author(s)
      湊 真一
    • Organizer
      人工知能学会第122回人工知能基本問題研究会
    • Invited
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Presentation] 動的計画法に基づく Simple Polygonization 列挙アルゴリズムの実験的評価2021

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

    • Author(s)
      湊真一
    • Organizer
      電子情報通信学会コンピュテーション研究会, COMP2021-8
    • Invited
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Presentation] 解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察2021

    • Author(s)
      山田悠也, 湊真一, 番原睦則
    • Organizer
      日本ソフトウェア科学会第38回大会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] 湊研究室の研究紹介2021

    • Author(s)
      湊 真一
    • Organizer
      「情報科学の達人」プロジェクト 見学会
    • Invited
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Presentation] 解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察2021

    • Author(s)
      山田悠也, 湊真一, 番原睦則
    • Organizer
      日本ソフトウェア科学会第38回大会(2021年度) 講演論文集, 46-L
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] Decision Diagrams and Reversible Computation2021

    • Author(s)
      Shin-ichi Minato
    • Organizer
      Invited talk at 13th International Conference on Reversible Computation (RC2021)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-ORGANIZER-20H05961
  • [Presentation] 任意の可逆論理関数を実現可能な部分回路を持つ最小のトフォリゲート回路の構成2020

    • Author(s)
      加藤剛, 湊真一
    • Organizer
      情報処理学会SLDM研究会 DAシンポジウム2020
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法2020

    • Author(s)
      湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] 解集合プログラミングを用いた配電網問題の解法に関する一考察2020

    • Author(s)
      山田健太郎, 湊真一, 番原睦則
    • Organizer
      日本ソフトウェア科学会第37回大会(2020年度)
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] Recent Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation2020

    • Author(s)
      Shin-ichi Minato
    • Organizer
      29th International Workshop on Logic and Synthesis (IWLS2021)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] パストランジスタ回路の網羅的列挙による素子数最小回路の探索2020

    • Author(s)
      清水亮太, 湊真一
    • Organizer
      情報処理学会SLDM研究会 DAシンポジウム2020
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法2020

    • Author(s)
      湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 山口勇太郎
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Data Source
      KAKENHI-PLANNED-20H05964
  • [Presentation] グラフの全点対間の点カットを索引化するBDD の構築2020

    • Author(s)
      髙橋昌大, 川原純, 湊真一
    • Organizer
      2020年度人工知能学会全国大会(第34回)
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] 選挙区割問題に対する ZDD を用いた近似的列挙手法の提案と評価2020

    • Author(s)
      山崎宏紀, 川原純, 湊真一
    • Organizer
      第19回情報科学技術フォーラム(FIT2020)
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] 動的計画法に基づくSimple Polygonization列挙アルゴリズムの実験的評価2020

    • Author(s)
      中畑裕, 堀山貴史, 湊真一, 山中克久
    • Organizer
      情報処理学会第182回アルゴリズム研究会
    • Data Source
      KAKENHI-PROJECT-20H00605
  • [Presentation] Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration2020

    • Author(s)
      Yu Nakahata, Jun Kawahara, Takashi Horiyama and Shin-ichi Minato
    • Organizer
      the 14th International Workshop of Algorithms and Computation (WALCOM2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Designing Survivable Networks with Zero-suppressed Binary Decision Diagrams2020

    • Author(s)
      Hirofumi Suzuki, Masakazu Ishihata and Shin-ichi Minato
    • Organizer
      the 14th International Workshop of Algorithms and Computation (WALCOM2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] グラフ同型に関する代表元のグラフを列挙するZDDの構築について2019

    • Author(s)
      大澤賢悟, 中畑裕, 湊真一
    • Organizer
      人工知能学会第110回人工知能基本問題研究会
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 隣接互換による最短長ユニバーサル列2019

    • Author(s)
      伊藤健洋, 川原純, 湊真一, 大舘陽太, 斎藤寿樹, 鈴木顕, 上原隆平, 宇野毅明, 山中克久, 吉仲亮
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Algorithmic Techniques for Discrete Structure Manipulation and Application to Chemical Reaction Network Analysis2019

    • Author(s)
      Shin-ichi Minato
    • Organizer
      1st ICReDD International Symposium, Institute for Chemical Reaction Design and Discovery, Hokkaido University
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] ZDDを用いたグラフ細分構造の列挙2019

    • Author(s)
      中畑裕, 川原純, 堀山貴史, 湊真一
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 離散構造処理系プロジェクト:10年の研究経過と今後の展開2019

    • Author(s)
      湊真一
    • Organizer
      情報処理学会第81回全国大会, 特別講演3
    • Invited
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 7次対称方陣の数え上げ2019

    • Author(s)
      加藤剛,湊真一
    • Organizer
      情報処理学会アルゴリズム研究会, 情処研報, 2019-AL-171
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic2019

    • Author(s)
      Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, and Koji Kurihara
    • Organizer
      SIAM International Conference on Data Mining (SDM2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 電力システムに貢献するアルゴリズム技術とその将来2019

    • Author(s)
      湊真一
    • Organizer
      平成31年電気 学会全国大会 本部企画セッション
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Enumerating associative magic squares of order 72019

    • Author(s)
      Go Kato, Shin-ichi Minato
    • Organizer
      Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2019)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] グラフ列挙における構築途中のZDD幅に基づく変数順序づけ法2018

    • Author(s)
      鈴木浩史, 湊真一
    • Organizer
      情報処理学会第80回全国大会, 7A-01
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 離散構造処理系プロジェクトの近況について2018

    • Author(s)
      湊真一
    • Organizer
      電子情報通信 学会コンピュテーション研究会, 信学技報, vol. 118 no. 268
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Exact Computation of Strongly Connected Reliability by BDDs2018

    • Author(s)
      Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato
    • Organizer
      The 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 離散構造処理系:その概要と最近の研究状況について2018

    • Author(s)
      湊真一
    • Organizer
      第21回情報論的学習理論ワークショップ (IBIS 2018)
    • Invited
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] ZDDを用いた組合せテストケースの列挙索引化に関する実験と考察2018

    • Author(s)
      大畑翔平, 湊真一
    • Organizer
      人工知能学会第106回人工知能基本問題研究会資料, SIG-FPAI-B509-03, pp. 15-19
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] ZDD を用いたネットワーク設計2018

    • Author(s)
      鈴木浩史, 石畠正和, 湊真一
    • Organizer
      2018年度人工知能学会全国大会(第32回)
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Decision Diagram-Based Techniquesfor Enumeration Problems and Applications2018

    • Author(s)
      Shin-ichi Minato
    • Organizer
      2nd International Workshop on Enumeration Problems & Applications (WEPA 2018)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 順序決定木に対する正則化パラメータ推定の高速化2018

    • Author(s)
      金森 憲太朗, 石畠 正和, 湊 真一, 有村 博紀
    • Organizer
      第105回人工知能基本問題研究会(SIG-FPAI),SIG-FPAI-B508, 人工知能学会
    • Data Source
      KAKENHI-PROJECT-16H01743
  • [Presentation] Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams2018

    • Author(s)
      Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato
    • Organizer
      The 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 日本株データベースにおける曜日効果を考慮した投資モデルの網羅的分析2018

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

    • Author(s)
      鈴木浩史,中野裕太,住谷陽輔,湊真一,前田理
    • Organizer
      情報処理学会アルゴリズム 研究会, 情処研報, 2018-AL-169
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] グラフ・列挙・確率に関わる離散構造処理アルゴリズムの最近の研究 トピックについて2018

    • Author(s)
      湊真一
    • Organizer
      人工知能学会 人工知能基本問題研究会 合同研究会企画シ ンポジウム (SIG-FPAI)
    • Invited
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] SeqBDDを用いた集合分割の族の表現法と実験的 評価2018

    • Author(s)
      高橋翔哉,湊真一,瀧川一学
    • Organizer
      情報処理学会アルゴリズム研究会, 情処研報, 2018-AL-169
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] ZDDを用いた集合分割の族の表現法2018

    • Author(s)
      高橋翔哉, 湊真一
    • Organizer
      情報処理学会第80回全国大会, 6K-03
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] スキャン統計量に基づく組 合せホットスポット抽出を行う高速アルゴリズム2018

    • Author(s)
      湊 真一,川原純,水田正弘,石岡文生,栗原考次
    • Organizer
      情報処理学会アルゴリズム 研究会, 情処研報, 2018-AL-169
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 敵対的組合せバンディット問題に対する ZDD を用いたアルゴリズム2017

    • Author(s)
      坂上晋作, 石畠正和, 湊真一
    • Organizer
      信学技報, vol. 117, no. 110, IBISML2017-1, pp. 43-48
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Enumeration Algorithms for Politival Districting2017

    • Author(s)
      Jun Kawahara, Takashi Horiyama, Keisuke Hotta and Shin-ichi Minato
    • Organizer
      The 15th Conference of the International Federation of Classification Societies (IFCS-2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Decision Diagram-Based Enumeration Techniques and Applications for Statistical Data Analysis2017

    • Author(s)
      Shin-ichi Minato
    • Organizer
      The 15th Conference of the International Federation of Classification Societies (IFCS-2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] フロンティア法による強連結な部分グラフの列挙2017

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

    • Author(s)
      井上祐馬, 湊真一
    • Organizer
      情報処理 学会第79回全国大会
    • Place of Presentation
      名古屋大学(名古屋市)
    • Year and Date
      2017-03-16
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] ZDDを用いた0-1多目的ナップサック問題のパレート解列挙2017

    • Author(s)
      鈴木浩史, 湊真一
    • Organizer
      情報処理学会第79回全国大会
    • Place of Presentation
      名古屋大学(名古屋市)
    • Year and Date
      2017-03-16
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Enumeration and Evaluation for the Single-Seat Constituency System2017

    • Author(s)
      Keisuke Hotta, Jun Kawahara, Takashi Horiyama, and Shin-ichi Minato
    • Organizer
      Aural presentation at the 21st Conference of the International Federation of Operational Research Societies (IFORS2017)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] BDD/ZDD-based enumeration techniques and real-life applications2017

    • Author(s)
      Shin-ichi Minato
    • Organizer
      EPFL Workshop on Logic Synthesis and Emerging Technologies
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Power of Enumeration -- BDD/ZDD-Based Techniques for Solving Combinatorial Problems2017

    • Author(s)
      Shin-ichi Minato
    • Organizer
      The 10th Annual Symposium on Combinatorial Search (SoCS-2017)
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Separate Compilation of Bayesian Networks for Efficient Exact Inference2017

    • Author(s)
      高サン, 石畠正和, 湊 真一
    • Organizer
      人工知能学会第103回人工知能基本問題研究 会
    • Place of Presentation
      湯布院公民館(大分県由布市)
    • Year and Date
      2017-03-13
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 論理制約を伴う最短路問題を解く動 的計画法の空間計算量の削減2017

    • Author(s)
      竹内文登, 安田宜仁, 西野正彬, 湊真一
    • Organizer
      情報処理学会第79回全国大会
    • Place of Presentation
      名古屋大学(名古屋市)
    • Year and Date
      2017-03-16
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 系列二分決定グラフを用いた頻出部分グラフの圧縮表現2017

    • Author(s)
      岡崎文哉 奥山葉月 瀧川一学 湊真一
    • Organizer
      2017年度人工知能学会全国大会(第31回), 4A1-1
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] BDD/ZDD-based knowledge indexing and real-life applications2017

    • Author(s)
      Shin-ichi Minato
    • Organizer
      Dagstuhl Seminar 17381, Schloss Dagstuhl, Dagstuhl
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 深さ優先フロンティア法の実装2017

    • Author(s)
      湊 真一
    • Organizer
      第25回列挙アルゴリズムセミナー
    • Place of Presentation
      群馬大学伊香保研修所(群馬県渋川市)
    • Year and Date
      2017-02-28
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 離散構造処理系の技法と組合せ列挙・最適化2017

    • Author(s)
      湊真一
    • Organizer
      進化計算シンポジウム2017特別講演
    • Invited
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] スマートオブジェクトの近接連携シナリオへの記号モデル検査の応用2017

    • Author(s)
      蓑田 玲緒奈, 湊 真一
    • Organizer
      第31回人工知能学会全国大会, 1M1-OS-02a-3
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] JST ERATO 湊離散構造処理系プロジェクトの成果とその後の取り組み2017

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

    • Author(s)
      湊真一
    • Organizer
      2016年度 統計学会連合大会
    • Place of Presentation
      金沢大学,金沢
    • Data Source
      KAKENHI-ORGANIZER-24106001
  • [Presentation] グラフの部分構造を列挙するZDD構築の ための変数順序付けヒューリスティクス2016

    • Author(s)
      井上祐馬, 鈴木浩史, 伊藤華, 湊真一
    • Organizer
      2016年度人工知能学会全国大会(第 30回)
    • Place of Presentation
      北九州市国際会議場(北九州市)
    • Year and Date
      2016-06-06
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 順列のサイクルタイプ同値類分割に対する順列決定グラフ の適用2016

    • Author(s)
      井上祐馬, 湊真一
    • Organizer
      人工知能学会第101回人工知能基本問題研究会
    • Place of Presentation
      北海道大学(札幌市)
    • Year and Date
      2016-08-07
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] ACT-I「情報と未来」への期待2016

    • Author(s)
      湊 真一
    • Organizer
      情報系Winter Festa Episode2, 主催:JST ERATO河原林巨大グラフプロジェクト
    • Place of Presentation
      一橋講堂2F中会議場(東京都)
    • Year and Date
      2016-12-22
    • Invited
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 離散構造処理系に関する最近の研究と今後の展望2016

    • Author(s)
      湊真一
    • Organizer
      電子情報通信学会2016ソサイエティ大会
    • Place of Presentation
      北海道大学,札幌
    • Data Source
      KAKENHI-ORGANIZER-24106001
  • [Presentation] 制約付き系列ラベリングの高速解法2016

    • Author(s)
      竹内文登, 西野正彬, 安田宜仁, 湊真一
    • Organizer
      2016年度人工知能学会全国大会(第30回)
    • Place of Presentation
      北九州市国際会議場(北九州市)
    • Year and Date
      2016-06-06
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Power of enumeration - BDD/ZDD-based techniques for discrete structure manipulation2016

    • Author(s)
      S. Minato
    • Organizer
      in Proc. of IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL2016)
    • Place of Presentation
      北海道大学,札幌
    • Data Source
      KAKENHI-ORGANIZER-24106001
  • [Presentation] Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation2016

    • Author(s)
      Shin-ichi Minato
    • Organizer
      IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL2016)
    • Place of Presentation
      北海道大学(札幌市)
    • Year and Date
      2016-05-18
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 配電損失最小化問題のスケーラブルな厳密解法2016

    • Author(s)
      安田宜仁, 湊真一, 竹延祐二, 林泰弘
    • Organizer
      平成28年電気学会全国大会
    • Place of Presentation
      東北大学(仙台市)
    • Year and Date
      2016-03-16
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 列挙木とMCMCを組み合わせた部分グ ラフサンプリングアルゴリズムの構築2016

    • Author(s)
      和佐州洋, 石畠正和, 宇野毅明, 湊真一
    • Organizer
      人工知能学会第101回人工知能基本問題 研究会
    • Place of Presentation
      北海道大学(札幌市)
    • Year and Date
      2016-08-07
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] グラフウォークを列挙する系列二分決定グラフの 高速な生成法に関する実験と評価2016

    • Author(s)
      石丸亮, 青木洋士, 湊 真一
    • Organizer
      第15回情報科学技術フォーラム(FIT2016)
    • Place of Presentation
      富山大学(富山市)
    • Year and Date
      2016-09-07
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 基盤(S) 離散構造処理系プロジェクト紹介 プロジェクトの近況と今 後の展望2016

    • Author(s)
      湊 真一
    • Organizer
      情報系Winter Festa Episode2, 主催:JST ERATO河原林巨大グラフ プロジェクト
    • Place of Presentation
      一橋講堂2F中会議場(東京都)
    • Year and Date
      2016-12-22
    • Invited
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 株価データベースに対する週次パタン マイニングとその評価2016

    • Author(s)
      林大祐, 羽室行信, 岡田克彦, 湊真一
    • Organizer
      第15回情報科学技術フォーラム(FIT2016)
    • Place of Presentation
      富山大学(富山市)
    • Year and Date
      2016-09-07
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 平行移動不変な非負値行列 因子分解とその分析2016

    • Author(s)
      鈴木慶介, 今井英幸, 張若霓, 瀧川一学, 湊 真一
    • Organizer
      第15回情報科学技術フォーラム(FIT2016)
    • Place of Presentation
      富山大学(富山市)
    • Year and Date
      2016-09-07
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] ZDDを用いた多次元ナップサック問題の厳密解法2016

    • Author(s)
      安田宜仁, 西野正彬, 湊真一
    • Organizer
      2016年度人工知能学会全国大会(第30回)
    • Place of Presentation
      北九州市国際会議場(北九州市)
    • Year and Date
      2016-06-06
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 一票の格差が小さな選挙区の列挙(企 画セッション「超高速グラフ列挙法と統計学への応用」)2016

    • Author(s)
      川原純, 堀山貴史, 堀田敬介, 湊真一
    • Organizer
      2016年度 統計学会 連合大会
    • Place of Presentation
      金沢大学(金沢市)
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] モデル検査によるSmart Objectの近傍近接連携モデルの検 証2016

    • Author(s)
      蓑田玲緒奈, 湊真一
    • Organizer
      人工知能学会第101回人工知能基本問題研究会
    • Place of Presentation
      北海道大学(札幌市)
    • Year and Date
      2016-08-07
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 離散構造処理系に関する最近の研究と今後の展望2016

    • Author(s)
      湊真一
    • Organizer
      電子情報通信学会 2016ソサイエティ大会
    • Place of Presentation
      北海道大学(札幌市)
    • Year and Date
      2016-09-20
    • Invited
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] ZDDを用いたグラフ列挙索引化における頂点インデックスの 追加2016

    • Author(s)
      鈴木浩史, 湊真一
    • Organizer
      人工知能学会第101回人工知能基本問題研究会
    • Place of Presentation
      北海道大学(札幌市)
    • Year and Date
      2016-08-07
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] BDD/ZDDを用いたマインスイーパーの爆弾配置パタン の列挙2016

    • Author(s)
      鈴木浩史, 孫浩, 湊真一
    • Organizer
      2016年度人工知能学会全国大会(第30回)
    • Place of Presentation
      北九州市国際会議場(北九州市)
    • Year and Date
      2016-06-06
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] 離散構造処理系プロジェクトと超高速グラフ列挙技法 (企画セッショ ン「超高速グラフ列挙法と統計学への応用」)2016

    • Author(s)
      湊真一
    • Organizer
      2016年度 統計学会連合大会
    • Place of Presentation
      金沢大学(金沢市)
    • Year and Date
      2016-09-05
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Recent Research Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation2016

    • Author(s)
      Shin-ichi Minato
    • Organizer
      The 11th International Workshop on Information Search, Integration, and Personalization (ISIP 2016)
    • Place of Presentation
      リヨン大学(フランス)
    • Year and Date
      2016-11-03
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Enumerating Eulerian Trails via Hamiltonian Path Enumeration2015

    • Author(s)
      Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi, and Shin-ichi Minato
    • Organizer
      9th International Workshop of Algorithms and Computation (WALCOM2015)
    • Place of Presentation
      Dhaka, Bangladesh
    • Year and Date
      2015-02-27
    • Data Source
      KAKENHI-PROJECT-24650062
  • [Presentation] m連結成分分割の高速列挙法と区割の比較2015

    • Author(s)
      川原純, 堀田敬介, 堀山貴史, 湊 真一
    • Organizer
      日本オペレーションズ・リサーチ学会秋季研究発表会
    • Place of Presentation
      九州工業大学戸畑キャンパス(北九州市)
    • Year and Date
      2015-09-09
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] ZDD のトップダウン構築における変数順序付法の考察2015

    • Author(s)
      伊藤華, 井上祐馬, 湊真一
    • Organizer
      第14回 情報科学技術フォーラム(FIT-2015)
    • Place of Presentation
      愛媛大学(松山市)
    • Year and Date
      2015-09-15
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Factorization of ZDDs for Representing Bayesian Networks Based on d-separations2015

    • Author(s)
      Shan Gao, Shin-ichi Minato
    • Organizer
      the second Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2015)
    • Place of Presentation
      慶應義塾大学日吉キャンパス(横浜市)
    • Year and Date
      2015-11-16
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] The Art of Graph Algorithms Based on "Power of Enumeration"2015

    • Author(s)
      Shin-ichi Minato
    • Organizer
      The 3rd International Symposium on Computing and Networking (CANDAR 2015)
    • Place of Presentation
      札幌市産業振興センター(札幌市)
    • Year and Date
      2015-12-08
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits2015

    • Author(s)
      Yuma Inoue, Shin-ichi Minato
    • Organizer
      7th International Conference on Reversible Computation (RC 2015), (LNCS 9138, Springer)
    • Place of Presentation
      Grenoble, France
    • Year and Date
      2015-07-16
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-15H05711
  • [Presentation] DenseZDD: A Compact and Fast Index for Families of Sets2014

    • Author(s)
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato and Kunihiko Sadakane
    • Organizer
      Symposium on Experimental Algorithms (SEA 2014)
    • Place of Presentation
      IDA Conference Centre(デンマーク・コペンハーゲン)
    • Data Source
      KAKENHI-PROJECT-24650062
  • [Presentation] 順列決定グラフ(πDD)を用いたオイラー路の高速な列挙索引化2014

    • Author(s)
      井上祐馬, 湊真一
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      中央大学(東京都)
    • Year and Date
      2014-10-08
    • Data Source
      KAKENHI-PROJECT-24650062
  • [Presentation] DAGによる文字列集合の圧縮表現に対する効率的な索引アルゴリズム2014

    • Author(s)
      伝住周平, 津田宏治, 有村博紀, 湊真一
    • Organizer
      人工知能学会 第92回人工知能基本問題研究会
    • Place of Presentation
      函館市民会館,函館市
    • Data Source
      KAKENHI-PROJECT-24240021
  • [Presentation] An Efficient Method for Indexing All Topological Orders of a Directed Graph2014

    • Author(s)
      Yuma Inoue and Shin-ichi Minato
    • Organizer
      25th International Symposium on Algorithms and Computation (ISAAC 2014)
    • Place of Presentation
      Jeonju, Korea
    • Year and Date
      2014-12-15
    • Data Source
      KAKENHI-PROJECT-24650062
  • [Presentation] 巨大で疎な組合せ集合を表現するための三分索引化ZDD2013

    • Author(s)
      青木洋士, 戸田貴久, 湊真一
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      名古屋工業大学(名古屋市)
    • Data Source
      KAKENHI-PROJECT-24650062
  • [Presentation] Succinct Indices Based on Zero-Suppressed Binary Decision Diagrams2013

    • Author(s)
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Kunihiko Sadakane, Shin-ichi Minato
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      岐阜大学(岐阜市)
    • Data Source
      KAKENHI-PROJECT-24650062
  • [Presentation] Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams2013

    • Author(s)
      Shuhei Denzumi, Koji Tsuda, Hiroki Arimura and Shin-ichi Minato
    • Organizer
      Prague Stringology Conference 2013
    • Place of Presentation
      Czech Technical University, Prague
    • Data Source
      KAKENHI-PROJECT-24240021
  • [Presentation] BDD/ZDDを基盤とする離散構造処理系の最近の展開2013

    • Author(s)
      湊真一
    • Organizer
      電子情報通信学会 2013ソサイエティ大会
    • Place of Presentation
      福岡工業大学, 福岡市
    • Invited
    • Data Source
      KAKENHI-PROJECT-24240021
  • [Presentation] 大規模疎行列を扱うZDDの演算を高速化する飛び越しリンク構造2013

    • Author(s)
      湊真一
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      岐阜大学(岐阜市)
    • Data Source
      KAKENHI-PROJECT-24650062
  • [Presentation] Fast and Succinct Indices Based on Zero-Suppressed Binary Decision Diagrams2012

    • Author(s)
      Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, and Shin-ichi Minato
    • Organizer
      Third Workshop on Algorithms for Large-Scale Information Processing (ALSIP 2012)
    • Place of Presentation
      JA AZM Hall, Miyazaki, Japan
    • Data Source
      KAKENHI-PROJECT-24650062
  • [Presentation] MTZDDに基づく提携ゲームの簡略記述法の提案2011

    • Author(s)
      櫻井祐子,上田俊,岩崎敦,湊真一,横尾真
    • Organizer
      合同エージェント&マルチエージェントシステムワークショップ
    • Place of Presentation
      静岡県
    • Data Source
      KAKENHI-PROJECT-23500166
  • [Presentation] Notes on Sequence Binary Decision Diagrams : Relationship to Acyclic Automata and Complexities of Binary Set Operations2011

    • Author(s)
      Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato
    • Organizer
      Prague Stringology Conference 2011 (PSC2011)
    • Place of Presentation
      Czech Technical Univ., Prague (Czech)
    • Year and Date
      2011-08-30
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Notes on Sequence Binary Decision Diagrams : Relationship to Acyclic Automata and Complexities of Binary Set Operations2011

    • Author(s)
      Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-Ichi Minato
    • Organizer
      Proc.Prague Stringology Conference 2011 (PSC'11)
    • Place of Presentation
      Czech Technical University in Prague (Czech Republic)
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] Implementation of Sequence BDDs in Erlang2011

    • Author(s)
      S. Denzumi, H. Arimura, S. Minato
    • Organizer
      Proc ACM ERLANG
    • Place of Presentation
      ACM
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] BDD/ZDDを基盤とする離散構造処理系の技法と最近の展開2011

    • Author(s)
      湊真一
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄県市町村自治会館(那覇市)(招待講演)
    • Year and Date
      2011-09-28
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams2011

    • Author(s)
      Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shinichi Minato, Makoto Yokoo
    • Organizer
      14th International Conference on Principles and Practice of Multi-Agent System (PRIMA-2011) (Best paper award)
    • Place of Presentation
      オーストラリア
    • Data Source
      KAKENHI-PROJECT-23500166
  • [Presentation] Implementation of Sequence BDDs in Erlang2011

    • Author(s)
      Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato
    • Organizer
      Proc of Tenth ACM SIGPLAN Erlang Workshop
    • Place of Presentation
      Hitotsubashi Memorial Hall (東京都)
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams2011

    • Author(s)
      Ryo Ichimura, Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shinichi Minato, Makoto Yokoo
    • Organizer
      IJCAI Workshop on Social Choice and Artificial Intelligence
    • Place of Presentation
      スペイン
    • Data Source
      KAKENHI-PROJECT-23500166
  • [Presentation] DA分野から発展したBDD/ZDD技術の最近の研究状況について2011

    • Author(s)
      湊真一
    • Organizer
      情報処理学会DAシンポジウム
    • Place of Presentation
      ホテル下呂温泉水明館(下呂市)(招待講演)
    • Year and Date
      2011-08-31
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] PiDD : A New Decision Diagram for Efficient Problem Solving in Permutation Space2011

    • Author(s)
      Shin-ichi Minato
    • Organizer
      14th International Conference on Theory and Applications of Satisfiability Testing (SAT2011)
    • Place of Presentation
      Univ.Michigan (USA)
    • Year and Date
      2011-06-19
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] DA分野から発展したBDD/ZDD技術の最近の研究状況について2011

    • Author(s)
      湊真一
    • Organizer
      情報処理学会DAシンポジウム招待講演
    • Place of Presentation
      ホテル下呂温泉水明館(下呂市)
    • Year and Date
      2011-08-31
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Notes on Sequence Binary Decision Diagrams : Relationship to Acyclic Automata and Complexities of Binary Set Operations2011

    • Author(s)
      S. Denzumi, Ryo Yoshinaka, H. Arimura and Shin-Ichi Minato
    • Organizer
      Proc. PSC'11
    • Place of Presentation
      Czech Tech. Univ., Prague
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] An Efficient Algorithm for Constructing a Sequence Binary Decision Diagram Representing a Set of Reversed Sequences2011

    • Author(s)
      Hiroshi Aoki, Shigeru Yamashita and Shin-ichi Minato
    • Organizer
      2011 IEEE International Confenrece on Granular Computing
    • Place of Presentation
      Garden Villa, Kaohsiung (Taiwan)
    • Year and Date
      2011-11-08
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] PiDD : A New Decision Diagram for Efficient Problem Solving in Permutation Space2011

    • Author(s)
      Shin-ichi Minato
    • Organizer
      14th International Conference on Theory and Applications of Satisfiability Testing
    • Place of Presentation
      Univ. Michigan (USA)
    • Year and Date
      2011-06-19
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] High-speed String and Regular Expression Matching on FPGA2011

    • Author(s)
      Y. Kaneta, S. Yoshizawa, S. Minato, and H. Arimura
    • Organizer
      Proc APSIPA ASC 2011
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] High-speed String and Regular Expression Matching on FPGA2011

    • Author(s)
      Yusaku Kaneta, Shingo oshizawa, Shin-ichi Minato, Hiroki Arimura
    • Organizer
      Proc of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011)
    • Place of Presentation
      Grand New World Hotel, Xi'an (China)
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] BDD/ZDDを基盤とする離散構造処理系の技法と最近の展開2011

    • Author(s)
      湊真一
    • Organizer
      日本ソフトウェア科学会第28回大会招待講演
    • Place of Presentation
      沖縄県市町村自治会館(那覇市)
    • Year and Date
      2011-09-28
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] High-speed String and Regular Expression Matching on FPGA2011

    • Author(s)
      Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura
    • Organizer
      Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011)
    • Place of Presentation
      Grand New World Hotel Xi'an (China)
    • Year and Date
      2011-10-18
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Recent Topics on Decision Diagrams and Discrete Structure Manipulation2010

    • Author(s)
      Shin-ichi Minato
    • Organizer
      9th International Workshop on Boolean Problems (IWSBP 2010), invited
    • Place of Presentation
      Freiberg大学(ドイツ)
    • Year and Date
      2010-09-16
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Discrete Structure Manipulation System and Applications for Uncertain Data Processing2010

    • Author(s)
      Shin-ichi Minato
    • Organizer
      1st International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2010)
    • Place of Presentation
      Campus Innovation Center, Tokyo(招待講演)
    • Year and Date
      2010-11-19
    • Data Source
      KAKENHI-PUBLICLY-21013001
  • [Presentation] ZDDを用いた頻出パタン演算によるWebテキストデータからの知識発見2010

    • Author(s)
      岡崎佑太, 湊真一
    • Organizer
      第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010)
    • Place of Presentation
      淡路夢舞台国際会議場
    • Year and Date
      2010-02-28
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • Author(s)
      Shin-ichi Minato, Takeaki Uno
    • Organizer
      SIAM International Conference on Data Mining (SDM 2010)
    • Place of Presentation
      Ohio, USA
    • Year and Date
      2010-04-29
    • Data Source
      KAKENHI-PUBLICLY-21013001
  • [Presentation] Discrete structure manipulation for discovery science problems2010

    • Author(s)
      Shin-ichi Minato
    • Organizer
      The 25th International Symposium on Computer and Information Sciences
    • Place of Presentation
      London, UK(招待講演)
    • Year and Date
      2010-09-24
    • Data Source
      KAKENHI-PUBLICLY-21013001
  • [Presentation] ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成とその評価2010

    • Author(s)
      高橋渉, 湊真一
    • Organizer
      FIT-2010 IEICE/IPSJ第9回情報科学技術フォーラム
    • Place of Presentation
      九州大学
    • Year and Date
      2010-09-07
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Presentation] Efficient Multiple Regular Expression Matching on FPGAs based on Extended SHIFT-AND Method2010

    • Author(s)
      Y. Kaneta, S. Minato, H. Arimura
    • Organizer
      Proc. SASIMI'10
    • Place of Presentation
      Taipei
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] Recent Topics on Decision Diagrams and Discrete Structure Manipulation2010

    • Author(s)
      Shin-ichi Minato
    • Organizer
      9th International Workshop on Boolean Problems(IWSBP 2010)
    • Place of Presentation
      ドイツ・Freiberg大学(招待講演)
    • Year and Date
      2010-09-16
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] ZDDを用いた頻出パタン演算によるWebテキストデータからの知識発見とその評価2010

    • Author(s)
      岡崎佑太,湊真一
    • Organizer
      FIT-2010 IEICE/IPSJ第9回情報科学技術フォーラム
    • Place of Presentation
      九州大学
    • Year and Date
      2010-09-07
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Fast Bit-Parallel Matching for Network and Regular Expressions2010

    • Author(s)
      Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura
    • Organizer
      the 17th Symposium on String Processing and Information Retrieval (SPIRE2010)
    • Place of Presentation
      Los Cabos, Mexico
    • Year and Date
      2010-10-13
    • Data Source
      KAKENHI-PUBLICLY-21013001
  • [Presentation] Efficient Multiple Regular Expression Matching on FPGAs based on Extended SHIFT-AND Method2010

    • Author(s)
      Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura
    • Organizer
      Proc. the 16th Workshop on Synthesis And System Integration of Mixed Information Technologies
    • Place of Presentation
      Taipei
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] 効率良い正規表現照合のための並列ビット分配にもとづいたハードウェア指向アルゴリズム2010

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

    • Author(s)
      岡崎佑太, 湊真一
    • Organizer
      FIT-2010 IEICE/IPSJ第9回 情報科学技術フォーラム
    • Place of Presentation
      九州大学
    • Year and Date
      2010-09-07
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching2010

    • Author(s)
      Y. Kaneta, S. Minato, H. Arimura, 他2名
    • Organizer
      Proc. IEEE FPT'10, IEEE
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] 2個組アイテムのデータベースにおける共起成分の含意関係の性質について2010

    • Author(s)
      二木克也,湊真一
    • Organizer
      第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010)
    • Place of Presentation
      淡路夢舞台国際会議場(兵庫県)
    • Year and Date
      2010-02-28
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] 系列二分決定グラフを用いた部分文字列索引の構築2010

    • Author(s)
      伝住周平,有村博紀,湊真一
    • Organizer
      第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010)
    • Place of Presentation
      淡路夢舞台国際会議場(兵庫県)
    • Year and Date
      2010-02-28
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Parameter learning for Bayesian Networks on Shared Binary Decision Diagrams2010

    • Author(s)
      Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato
    • Organizer
      1st International Workshop on Advanced Methodo logies for Bayesian Networks (AMBN 2010)
    • Place of Presentation
      東京・キャンパスイノベーションセンター
    • Year and Date
      2010-11-18
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Presentation] Recent Topics on Decision Diagrams and Discrete Structure Manipulation2010

    • Author(s)
      Shin-ichi Minato
    • Organizer
      9th International Workshop on Boolean Problems(IWSBP 2010)
    • Place of Presentation
      ドイツ・Freiberg大学 招待講演
    • Year and Date
      2010-09-16
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Discrete Structure Manipulation System and Applications for Uncertain Data Processing2010

    • Author(s)
      Shin-ichi Minato
    • Organizer
      1st International Workshop on Advanced Methodo logies for Bayesian Networks (AMBN 2010)
    • Place of Presentation
      東京・キャンパスイノベーションセンター 招待講演
    • Year and Date
      2010-11-18
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Presentation] ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成2010

    • Author(s)
      高橋渉, 湊真一
    • Organizer
      人工知能学会第77回人工知能基本問題研究会
    • Place of Presentation
      北海道大学
    • Year and Date
      2010-03-18
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Presentation] 2個組アイテムのデータベースにおける共起成分の含意関係の性質について2010

    • Author(s)
      二木克也, 湊真一
    • Organizer
      第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010)
    • Place of Presentation
      淡路夢舞台国際会議場
    • Year and Date
      2010-03-01
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Discrete Structure Manipulation for Discovery Science Problems2010

    • Author(s)
      Shin-ichi Minato
    • Organizer
      25th Annual International Symposium on Computer and Information Sciences (ISCIS 2010), invited
    • Place of Presentation
      王立科学協会(ロンドン)
    • Year and Date
      2010-09-22
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Discrete Structure Manipulation for Discovery Science Problems2010

    • Author(s)
      Shin-ichi Minato
    • Organizer
      25th Annual International Symposium on Computer and Information Sciences(ISCIS 2010)
    • Place of Presentation
      英国・王立科学協会
    • Year and Date
      2010-09-22
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching2010

    • Author(s)
      Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga
    • Organizer
      the 2010 IEEE International Conference on Field-Programmable Technology (FPT'10)
    • Place of Presentation
      Beijing, China
    • Year and Date
      2010-12-08
    • Data Source
      KAKENHI-PUBLICLY-21013001
  • [Presentation] An EM algorithm on BDDs with order encoding for logic-based probabilistic models2010

    • Author(s)
      Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato
    • Organizer
      2nd Asian Conference on Machine Learning (ACML2010)
    • Place of Presentation
      東京工業大学
    • Year and Date
      2010-11-08
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Presentation] 系列二分決定グラフを用いた部分文字列索引の構築2010

    • Author(s)
      伝住周平, 有村博紀, 湊真一
    • Organizer
      第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010)
    • Place of Presentation
      淡路夢舞台国際会議場
    • Year and Date
      2010-02-28
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] ZDDを用いた頻出パタン演算によるWebテキストデータからの知識発見2010

    • Author(s)
      岡崎佑太,湊真一
    • Organizer
      第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010)
    • Place of Presentation
      淡路夢舞台国際会議場(兵庫県)
    • Year and Date
      2010-02-28
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases2010

    • Author(s)
      S. Minato, T. Uno
    • Organizer
      Proc. SDM'10, SIAM
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] Recent Topics on Decision Diagrams and Discrete Structure Manipulation2010

    • Author(s)
      Shin-ichi Minato
    • Organizer
      9th International Workshop on Boolean Problems (IWSBP 2010)
    • Place of Presentation
      Freiberg, Germany(招待講演)
    • Year and Date
      2010-09-17
    • Data Source
      KAKENHI-PUBLICLY-21013001
  • [Presentation] 非巡回正規表現に対する効率的なパターン照合2010

    • Author(s)
      金田悠作, 湊真一, 有村博紀
    • Organizer
      コンピュテーション研究会,電子情報通信学会,COMP
    • Place of Presentation
      北陸先端大
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] Recent Topics on BDDs/ZDDs for Data Mining and Knowledge Discovery2009

    • Author(s)
      Shin-ichi Minato
    • Organizer
      The International Workshop on Data Mining and Statistical Science(DMSS 2009)
    • Place of Presentation
      京都大学(招待講演)
    • Year and Date
      2009-07-07
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Comparison of ZDD-Vectors and WZDDs for Frequent Pattern Mining2009

    • Author(s)
      Haruya Iwasaki, Elsa Loekito, Shin-ichi Minato, James Bailey
    • Organizer
      Sixth Workshop on Learning with Logics and Logics for Learning(LLLL 2009)
    • Place of Presentation
      京大会館(京都府)
    • Year and Date
      2009-07-06
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] 共起成分の含意関係に基づくデータマイニングの実験と考察2009

    • Author(s)
      二木克也,湊真一
    • Organizer
      情報論的学習理論ワークショップ(IBIS 2009)
    • Place of Presentation
      九州大学
    • Year and Date
      2009-10-20
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Monolithic and Partial Compilation Methods for Probabilistic Inference of Bayesian Networks using ZBDDs2009

    • Author(s)
      D. Tokoro, Kiyoharu Hama guchi, Toshinobu Kashiwabara, S. Minato
    • Organizer
      DMSS'09
    • Place of Presentation
      京大会館(京都府)
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] 頻出パタン抽出アルゴリズム「LCM over ZDDs」の変数順序付けの影響に関する考察2009

    • Author(s)
      岡崎佑太,湊真一
    • Organizer
      FIT-2009 IEICE/IPSJ第8回情報科学技術フォーラム
    • Place of Presentation
      東北大学
    • Year and Date
      2009-09-04
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Recent Topics on BDDs/ZDDs for Data Mining and Knowledge Discovery2009

    • Author(s)
      Shin-ichi Minato
    • Organizer
      The International Workshop on Data Mining and Statistical Science (DMSS 2009), Invited
    • Place of Presentation
      京都大学
    • Year and Date
      2009-07-07
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] ZDDによるベイジアンネットワーク推論の高速化(招待講演)2009

    • Author(s)
      湊真一
    • Organizer
      人工知能学会 第75回人工知能基本問題研究会
    • Place of Presentation
      電気通信大学
    • Year and Date
      2009-11-13
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Presentation] BDD/ZDDを用いたペントミノパズルの解の列挙2009

    • Author(s)
      鈴木拡,湊真一
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      埼玉大学
    • Year and Date
      2009-05-26
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Comparison of ZDD-Vectors and WZDDs for Frequent Pattern Mining2009

    • Author(s)
      Haruya Iwasaki, Elsa Loekito, S. Minato, James Bailey
    • Organizer
      Proc. LLLL'09
    • Place of Presentation
      Kyoto
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] Recent Progress on Decision Diagram-Based Large-Scale Data Processing for Knowledge Discovery2009

    • Author(s)
      Shin-ichi Minato
    • Organizer
      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)
    • Place of Presentation
      Hokkaido University
    • Year and Date
      2009-06-20
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] Exploiting Global Structures in Bayesian Network Compilation by Zero-suppressed BDDs2009

    • Author(s)
      Daisuke Tokoro, Ai Fukunaga, Kiyoharu Hamaguchi, Toshinobu Kashiwabara, Shin-ichi Minato
    • Organizer
      19th International Conference on Inductive Logic Programming(ILP 2009)
    • Place of Presentation
      Katholieke Universiteit Leuven(ベルギー)
    • Year and Date
      2009-07-03
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Presentation] ベイジアンネットワークを表現するZDDの初期変数順序付け方法の改良2009

    • Author(s)
      金崎健之, 湊真一
    • Organizer
      FIT-2009 IEICE/IPSJ第8回情報科学技術フォーラム
    • Place of Presentation
      東北大学
    • Year and Date
      2009-09-04
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Presentation] 否定枝を含むshared BDD上で動作するEMアルゴリズム2009

    • Author(s)
      石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
    • Organizer
      人工知能学会第9回データマイニングと統計数理研究会(SIG-DMSM)
    • Place of Presentation
      京都市メルパルク京都
    • Year and Date
      2009-03-03
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] BDD/ZDDを用いたペントミノパズルの解の列挙2009

    • Author(s)
      鈴木拡, 湊真一
    • Organizer
      電子情報通信学会コンピュテーショシ研究会
    • Place of Presentation
      埼玉大学
    • Year and Date
      2009-05-26
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Monolithic and Partial Compilation Methods for Probabilistic Inference of Bayesian Networks using ZBDDs2009

    • Author(s)
      Daisuke Tokoro, Kiyoharu Hama guchi, Toshinobu Kashiwabara, Shin-ichi Minato
    • Organizer
      International Workshop on Data Mining and Statistical Science(DMSS 2009)
    • Place of Presentation
      京大会館(京都府)
    • Year and Date
      2009-07-08
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] Comparison of ZDD-Vectors and WZDDs for Frequent Pattern Mining2009

    • Author(s)
      Haruya Iwasaki, Elsa Loekito, Shin-ichi Minato, James Bailey
    • Organizer
      Sixth Workshop on Learning with Logics and Logics for Learning(LLLL 2009)
    • Place of Presentation
      京大会館(京都府)
    • Year and Date
      2009-07-06
    • Data Source
      KAKENHI-PUBLICLY-21013001
  • [Presentation] 否定枝を含むshared BDD上で動作するEMアルゴリズム2009

    • Author(s)
      石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
    • Organizer
      人工知能学会第9回データマイニングと統計数理研究会(SIG-DMSM)
    • Place of Presentation
      メルパルク京都(京都市)
    • Year and Date
      2009-03-03
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Presentation] 頻出パタン抽出アルゴリズム「LCM over ZDDs」の変数順序付けの影響に関する考察2009

    • Author(s)
      岡崎佑太, 湊真一
    • Organizer
      FIT-2009 IEICE/IPSJ第8回 情報科学技術フォーラム
    • Place of Presentation
      東北大学
    • Year and Date
      2009-09-04
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Monolithic and Partial Compilation Methods for Probabilistic Inference of Bayesian Networks using ZBDDs2009

    • Author(s)
      Daisuke Tokoro, Kiyoharu Hamaguchi, Toshinobu Kashiwabara, Shin-ichi Minato
    • Organizer
      International Workshop on Data Mining and Statistical Science(DMSS 2009)
    • Place of Presentation
      京大会館(京都府)
    • Year and Date
      2009-07-08
    • Data Source
      KAKENHI-PUBLICLY-21013001
  • [Presentation] Recent Topics on BDDs/ZDDs for Data Mining and Knowledge Discovery(招待講演)2009

    • Author(s)
      Shin-ichi Minato
    • Organizer
      The International Workshop on Data Mining and Statistical Science(DMSS 2009)
    • Place of Presentation
      京都大学
    • Year and Date
      2009-07-07
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Discrete Structure Manipulation for Discovery Science Problems2009

    • Author(s)
      Shin-ichi Minato
    • Organizer
      25th Annual International Symposium on Computer and Information Sciences (ISCIS 2010)
    • Place of Presentation
      英国・王立科学協会
    • Year and Date
      2009-09-22
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Recent Topics on BDDs/ZDDs for Data Mining and Knowledge Discovery2009

    • Author(s)
      Shin-ichi Minato
    • Organizer
      International Workshop on Data Mining and Statistical Science(DMSS 2009)
    • Place of Presentation
      京大会館(京都府)
    • Year and Date
      2009-07-08
    • Data Source
      KAKENHI-PUBLICLY-21013001
  • [Presentation] 高速ストリーム処理のための文字列パターン照合手法とそのFPGA設計2009

    • Author(s)
      金田悠作, 吉澤真吾, 湊真一, 有村博紀, 宮永喜一
    • Organizer
      電子情報通信学会2009年総合大会
    • Place of Presentation
      松山大学
    • Year and Date
      2009-03-20
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] ZBDD-Based Probabilistic Computation and Application for System Analysis2008

    • Author(s)
      Shin-ichi Minato
    • Organizer
      In Proc. of Workshop of SoC Design Met hodologies
    • Place of Presentation
      National Tsing Hua University
    • Year and Date
      2008-09-05
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] Application of Binary Decision Diagrams for Probabilistic System Analysis2008

    • Author(s)
      Shin-ichi Minato
    • Organizer
      In Proc. of the 10th International Joint Symposium between Hokkaido University and Chungnam National University
    • Place of Presentation
      Hokkaido University
    • Year and Date
      2008-10-23
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] ゼロサプレス型二分決定グラフによる圧縮と知識発見2008

    • Author(s)
      倉井龍太郎,湊真一,ツォイクマントーマス
    • Organizer
      電子情報通信学会データ工学研究会
    • Place of Presentation
      小樽市民会館(北海道小樽市)
    • Year and Date
      2008-06-19
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] ゼロサプレス型二分決定グラフによる圧縮と知識発見2008

    • Author(s)
      倉井龍太郎, 湊真一, ツォイクマントーマス
    • Organizer
      電子情報通信学会データ工学研究会(PRMU DE)
    • Place of Presentation
      小樽市民会館
    • Year and Date
      2008-06-12
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] Efficient Method of Large-Scale Data Analysis Using BDD-based Data Compression (Invited Talk)2008

    • Author(s)
      S. Minato
    • Organizer
      In Proc. IWMMSP'08
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] Efficient Method of Large-Scale Data Analysis Using BDD-based Data Compression2008

    • Author(s)
      Shin-ichi Minato
    • Organizer
      2008 International Workshop on Multi-Media Signal Processing (IWMMSP 2008)
    • Place of Presentation
      北海道大学(Invited Talk)
    • Year and Date
      2008-06-24
    • Data Source
      KAKENHI-PROJECT-19024001
  • [Presentation] ゼロサプレス型二分決定グラフによる圧縮と知識発見2008

    • Author(s)
      倉井龍太郎, 湊真一, ツォイクマン トーマス
    • Organizer
      電子情報通信学会データ工学研究会
    • Place of Presentation
      小樽市民会館(北海道小樽市)
    • Year and Date
      2008-06-19
    • Data Source
      KAKENHI-PROJECT-19024001
  • [Presentation] ベイジアンネットワークを表現するゼロサプレス型BDDの変数順序付け方法に関する考察2008

    • Author(s)
      礒松紘平, 湊真一
    • Organizer
      人工知能学会第72回・人工知能基本問題研究会
    • Place of Presentation
      電気通信大学
    • Year and Date
      2008-11-08
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] コルモゴロフ複雑性に基づく画像圧縮と分類に関する実験と考察2008

    • Author(s)
      齋藤高央, 湊真一, ツォイクマントーマス
    • Organizer
      FIT-20681EICE/IPSJ第7回情報科学技術フォーラム
    • Place of Presentation
      慶応義塾大学湘南藤沢キャンパス
    • Year and Date
      2008-09-04
    • Data Source
      KAKENHI-PROJECT-19024001
  • [Presentation] A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery2008

    • Author(s)
      S. Minato
    • Organizer
      Proc. of IEEE 8th Intl Conf. Computer and Information Technology (CIT 2008)
    • Place of Presentation
      Sydney, Australia
    • Year and Date
      2008-07-08
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] BDD上の命題化確率計算に基づくEMアルゴリズム2008

    • Author(s)
      石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
    • Organizer
      人工知能学会第70回人工知能基本問題研究会
    • Place of Presentation
      京都大学
    • Year and Date
      2008-07-04
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Presentation] コルモゴロフ複雑性に基づく画像圧縮と分類に関する実験と考察2008

    • Author(s)
      齋藤高央,湊真一,ツォイクマントーマス
    • Organizer
      FIT-2008IEICE/IPSJ第7回情報科学技術フォーラム
    • Place of Presentation
      慶応義塾大学湘南藤沢キャンパス
    • Year and Date
      2008-09-04
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] コルモゴロフ複雑性に基づく画像圧縮と分類に関する実験と考察2008

    • Author(s)
      齋藤高央, 湊真一, ツォイクマントーマス
    • Organizer
      FIT-2008 IEICE/IPSJ第7回情報科学技術フォーラム
    • Place of Presentation
      慶応義塾大学湘南藤沢キャンパス
    • Year and Date
      2008-09-04
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] Efficient Method of Large-Scale Data Analysis Using BDD-based Data Compression (Invited Talk)2008

    • Author(s)
      Shin-ichi Minato
    • Organizer
      2008 International Workshop on Multi-Media Signal Processing (IWMMSP 2008)
    • Place of Presentation
      北海道大学
    • Year and Date
      2008-06-24
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery2008

    • Author(s)
      S. Minato
    • Organizer
      Proc. IEEE CIT 2008
    • Place of Presentation
      Sydney, Australia
    • Year and Date
      2008-07-08
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] ベイジアンネットワークを表現するゼロサプレス型BDDの変数順序付けに関する実験と考察2008

    • Author(s)
      礒松紘平, 湊真一
    • Organizer
      第7回情報科学技術フォーラム(FIT 2008)
    • Place of Presentation
      慶應義塾大学
    • Year and Date
      2008-09-03
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] Efficient Method of Large-Scale Data Analysis Using BDD-based Data Compression (Invited Talk)2008

    • Author(s)
      Shin-ichi Minato
    • Organizer
      In Proc. of 2008 International Workshop on Multi-Media Signal Processing
    • Place of Presentation
      Hokkaido University
    • Year and Date
      2008-06-24
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] Application of Binary Decision Diagrams for Probabilistic System Analysis2008

    • Author(s)
      Shin-ichi Minato
    • Organizer
      10th International Joint Symposium between Hokkaido University and Chungnam National University
    • Place of Presentation
      北海道大学
    • Year and Date
      2008-10-23
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Presentation] Propositionalizing the EM algorithm by BDDs2008

    • Author(s)
      M. Ishihata, Y. Kameya, T. Sato. S. Minato
    • Organizer
      18th International Conference on Inductive Logic Programming (ILP 2008)
    • Place of Presentation
      プラハ(チェコスロバキア)
    • Year and Date
      2008-09-11
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Presentation] BDD上の命題化確率計算に基づくEMアルゴリズム2008

    • Author(s)
      石畠正和, 亀谷由隆, 佐藤泰介, 湊真一
    • Organizer
      人工知能学会第70回人工知能基本間題研究会
    • Place of Presentation
      京都大学京大会館
    • Year and Date
      2008-07-04
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] Efficient Method of Large-Scale Data Analysis Using BDD-based Data Compression2008

    • Author(s)
      Shin-ichi Minato
    • Organizer
      2008 International Workshop on Multi-Media Signal Processing (IWMMSP 2008), invited
    • Place of Presentation
      北海道大学
    • Year and Date
      2008-06-24
    • Data Source
      KAKENHI-PROJECT-20300051
  • [Presentation] ZBDD-Based Probabilistic Computation and Application for System Analysis2008

    • Author(s)
      Shin-ichi Minato
    • Organizer
      Workshop of SoC Design Methodologies
    • Place of Presentation
      National Tsing Hua Universitv. Taiwan
    • Year and Date
      2008-09-09
    • Data Source
      KAKENHI-PROJECT-20650017
  • [Presentation] ZBDD-Based Probabilistic Computation and Application for System Analysis2008

    • Author(s)
      S. Minato
    • Organizer
      In Proc of Workshop of SoC Design Methodologies
    • Place of Presentation
      National Tsing Hua University, China
    • Data Source
      KAKENHI-PROJECT-20240014
  • [Presentation] [招待講演]二分決定グラフ(BDD)を活用したデータマイニング・知識発見技術の最近の話題2007

    • Author(s)
      湊 真一
    • Organizer
      電子情報通信学会人工知能と知識処理研究会
    • Place of Presentation
      機械振興会館(東京都港区)
    • Year and Date
      2007-05-31
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Presentation] [Invited Talk] Recent Topics on Data Mining and Knowledge Discovery Using Binary Decision Diagrams2007

    • Author(s)
      Shin-ichi Minato
    • Organizer
      IEICE Technical Report (Japanese Edition)
    • Place of Presentation
      at Kikai-Shinkou Kaikan, Tokyo
    • Year and Date
      2007-05-31
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Presentation] 二分決定グラフ(BDD)を活用したデータマイニング・知識発見技術の最近の話題2007

    • Author(s)
      湊真一
    • Organizer
      電子情報通信学会人工知能と知識処理研究会
    • Place of Presentation
      東京・機械振興会館
    • Year and Date
      2007-05-31
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Presentation] [招待講演]二分決定グラフ(BDD)を活用したデータマイニング・知職発見技術の最近の話題2007

    • Author(s)
      湊 真一
    • Organizer
      電子情報通信学会人工知能と知職処理研究会
    • Place of Presentation
      機械振興会館(東京都港区)
    • Year and Date
      2007-05-31
    • Data Source
      KAKENHI-PROJECT-17300041
  • [Presentation] Recent Topics on Data Mining and Knowledge Discovery Using Binary Decision Diagrams (invited talk)2007

    • Author(s)
      S. Minato
    • Organizer
      IEICE SIG-AI seminar
    • Place of Presentation
      Tokyo (in Japanese)
    • Year and Date
      2007-03-31
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-17002008
  • [Presentation] Fast Regular Expression Matching Based on Dual Glushkov NFA

    • Author(s)
      Ryutaro Kurai, Norihito Yasuda, Hiroki Arimura, Shinobu Nagayama, Shin-ichi Minato
    • Organizer
      Prague Stringology Conference 2014 (PSC'14)
    • Place of Presentation
      Czech Technical University (Prague, Czech)
    • Year and Date
      2014-09-01 – 2014-09-03
    • Data Source
      KAKENHI-PROJECT-24240021
  • 1.  KIDA Takuya (70343316)
    # of Collaborated Projects: 11 results
    # of Collaborated Products: 1 results
  • 2.  UNO Takeaki (00302977)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 10 results
  • 3.  ARIMURA Hiroki (20222763)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 56 results
  • 4.  ZEUGMANN Thomas (60374609)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 13 results
  • 5.  SHIMOZONO S. (70243988)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 6.  ITO Kimihito (60396314)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 9 results
  • 7.  HORIYAMA Takashi (60314530)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 19 results
  • 8.  HIRATA Kouichi (20274558)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 9.  高木 剛 (60404802)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 10.  上原 隆平 (00256471)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 5 results
  • 11.  番原 睦則 (80290774)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 17 results
  • 12.  OKUBO Yoshiaki (40271639)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 13.  MAKINO Kazuhisa (60294162)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 14.  KAWARABAYASHI Kazuhisa (40361159)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 15.  KATOH Naoki (40145826)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 1 results
  • 16.  YAMASHITA Shigeru (30362833)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 17.  TAKIMOTO Eiji (50236395)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 18.  竹田 正幸 (50216909)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 19.  瀧川 一学 (10374597)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 7 results
  • 20.  川原 純 (20572473)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 22 results
  • 21.  TAKADA Ayato (10292062)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  SAKURAI Yuko (10396137)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 23.  MAKOTO Yokoo (20380678)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 3 results
  • 24.  Watanabe Osamu (80158617)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  ASANO Takao (90124544)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  IBARAKI Toshihide (50026192)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  IMAI Hiroshi (80183010)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 28.  TODA Seinosuke (90172163)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 29.  MARUOKA Akira (50005427)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 30.  ASANO Tetsuo (90113133)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 31.  AVIS David (90584110)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 32.  TOKUYAMA Takeshi (40312631)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 33.  MORI Ryuhei (60732857)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 34.  坂本 比呂志 (50315123)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 35.  篠原 歩 (00226151)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 36.  武永 康彦 (20236491)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 37.  津田 宏治 (90357517)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 2 results
  • 38.  鷲尾 隆 (00192815)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 39.  神山 直之 (10548134)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 40.  谷川 眞一 (30623540)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 41.  藤澤 克樹 (40303854)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 42.  瀧澤 重志 (40304133)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 43.  伊藤 仁一 (20193493)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 44.  東川 雄哉 (20749486)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 45.  小林 祐貴 (70756668)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 46.  山川 誠 (50378816)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 47.  奈良 知惠 (40147898)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 48.  安田 宜仁 (50396149)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 1 results
  • 49.  玉置 卓 (40432413)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 50.  宇野 裕之 (60244670)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 5 results
  • 51.  松井 泰子 (10264582)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 52.  稲永 俊介 (60448404)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 53.  山口 勇太郎 (30780895)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 4 results
  • 54.  伊藤 健洋 (40431548)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 55.  寺本 央 (90463728)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 56.  早野 健太 (20722606)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 57.  深作 亮也 (40778924)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 58.  SUZUMURA Toyotaro
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 59.  YOSHINAKA Ryo
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results
  • 60.  Ishihata Masakazu
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results
  • 61.  Nishibayashi Takashi
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results
  • 62.  植野 真臣
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results
  • 63.  小宮山 純平
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results

URL: 

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?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi