MINATO Shin-ichi 湊真一

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

Integrated Techniques and Applications of Enumeration, Optimization, and SAT-Solving Based on Discrete Structure ManipulationPrincipal 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

[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
  一橋講堂２Ｆ中会議場（東京都）
- 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
  一橋講堂２Ｆ中会議場（東京都）
- 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. HORIYAMA Takashi (60314530)

# of Collaborated Projects: 6 results

# of Collaborated Products: 19 results
7. ITO Kimihito (60396314)

# of Collaborated Projects: 5 results

# of Collaborated Products: 9 results
8. 番原睦則 (80290774)

# of Collaborated Projects: 4 results

# of Collaborated Products: 17 results
9. HIRATA Kouichi (20274558)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
10. 高木剛 (60404802)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
11. 瀧川一学 (10374597)

# of Collaborated Projects: 3 results

# of Collaborated Products: 7 results
12. 上原隆平 (00256471)

# of Collaborated Projects: 3 results

# of Collaborated Products: 5 results
13. 川原純 (20572473)

# of Collaborated Projects: 3 results

# of Collaborated Products: 22 results
14. OKUBO Yoshiaki (40271639)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
15. MAKINO Kazuhisa (60294162)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
16. KAWARABAYASHI Kazuhisa (40361159)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
17. KATOH Naoki (40145826)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
18. YAMASHITA Shigeru (30362833)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
19. TAKIMOTO Eiji (50236395)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
20. 竹田正幸 (50216909)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
21. 山口勇太郎 (30780895)

# of Collaborated Projects: 2 results

# of Collaborated Products: 4 results
22. TAKADA Ayato (10292062)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. SAKURAI Yuko (10396137)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
24. MAKOTO Yokoo (20380678)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
25. Watanabe Osamu (80158617)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. ASANO Takao (90124544)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. IBARAKI Toshihide (50026192)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. IMAI Hiroshi (80183010)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. TODA Seinosuke (90172163)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. MARUOKA Akira (50005427)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. ASANO Tetsuo (90113133)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. AVIS David (90584110)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. TOKUYAMA Takeshi (40312631)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. MORI Ryuhei (60732857)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. 坂本比呂志 (50315123)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. 篠原歩 (00226151)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. 武永康彦 (20236491)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. 津田宏治 (90357517)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
39. 鷲尾隆 (00192815)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. 神山直之 (10548134)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. 谷川眞一 (30623540)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. 藤澤克樹 (40303854)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. 瀧澤重志 (40304133)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
44. 伊藤仁一 (20193493)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
45. 東川雄哉 (20749486)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
46. 小林祐貴 (70756668)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
47. 山川誠 (50378816)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
48. 奈良知惠 (40147898)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
49. 安田宜仁 (50396149)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
50. 玉置卓 (40432413)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
51. 宇野裕之 (60244670)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
52. 松井泰子 (10264582)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
53. 稲永俊介 (60448404)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 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

MINATO Shin-ichi 湊 真一

Research Projects

Research Products

Co-Researchers

Integrated Techniques and Applications of Enumeration, Optimization, and SAT-Solving Based on Discrete Structure ManipulationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Creation and Organization of Innovative Algorithmic Foundations for Leading Social InnovationsArea Organizer

Area Organizer

Project Period (FY)

Research Category

Research Initiatives on Algorithmic Foundations for Social AdvancementPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on Integrated Techniques of Enumeration and Optimization Based on Discrete Structure Manipulation SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Fundamental Algorithms of Discrete Structure Manipulation SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Asymptotically Succinct BDD Data StructuresPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

MINATO Shin-ichi 湊真一