教育研究活動データベース

日本語に切り替えるswitch to english

湊 真一

ミナト シンイチ

情報学研究科 通信情報システム専攻コンピュータ工学講座 教授

湊 真一
list
    Last Updated :2022/11/23

    基本情報

    学部兼担

    • 工学部

    所属学協会

    • 自 2020年, 至 現在
      日本計算機統計学会
    • 自 2006年, 至 現在
      人工知能学会
    • 自 1992年, 至 現在
      IEEE (CAS)
    • 自 1991年, 至 現在
      電子情報通信学会
    • 自 1988年, 至 現在
      情報処理学会

    学位

    • 工学修士(京都大学)
    • 博士(工学)(京都大学)

    出身大学院・研究科等

    • 京都大学, 大学院工学研究科情報工学専攻修士課程, Division of Information Science, 修了
    • 京都大学, 大学院工学研究科情報工学専攻博士後期課程, Division of Information Science, 修了

    出身学校・専攻等

    • 京都大学, 工学部情報工学科, Departmet of Information Science, 卒業

    出身高等学校

    • 出身高等学校

      金沢大学教育学部附属高等学校, かなざわだいがくきょういくがくぶふぞくこうとうがっこう

    経歴

    • 自 2021年06月, 至 現在
      情報処理学会, 理事
    • 自 2018年04月, 至 現在
      北海道大学, 電子科学研究所, 客員教授
    • 自 2018年04月, 至 現在
      京都大学, 大学院 情報学研究科, 教授
    • 自 2017年10月, 至 現在
      日本学術会議, 連携会員
    • 自 2015年05月, 至 現在
      産業技術総合研究所, 人工知能研究センター, 客員研究員
    • 自 2014年04月, 至 現在
      国立情報学研究所, 客員教授
    • 自 2010年, 至 現在
      早稲田大学, 先進グリッド技術研究所, 客員研究員/招聘研究員
    • 自 2020年04月, 至 2021年03月
      京都大学, 工学部 情報学科, 学科長
    • 自 2018年06月, 至 2020年06月
      情報処理学会, 理事
    • 自 2010年10月, 至 2018年03月
      北海道大学, 大学院 情報科学研究科, 教授
    • 自 2009年10月, 至 2015年03月
      科学技術振興機構 (JST), ERATO湊離散構造処理系プロジェクト, 研究総括
    • 自 2012年11月, 至 2013年03月
      東京工業大学, 非常勤講師
    • 自 2004年03月, 至 2010年09月
      北海道大学, 大学院 情報科学研究科, 助教授/准教授
    • 自 1998年, 至 2004年
      NTT 未来ねっと研究所, 研究主任, 主任研究員
    • 自 1998年, 至 2004年
      Senior Researcher,NTT Network Innovation Laboratories
    • 自 1999年, 至 2001年
      慶応義塾大学 湘南藤沢キャンパス, 非常勤講師
    • 自 1999年, 至 2001年
      Lecturer,Keio University Shonan-Fujisawa-Campus
    • 自 1990年, 至 1998年
      NTT LSI研究所, 研究員, 研究主任
    • 自 1990年, 至 1998年
      Researcher,NTT LSI Laboratories
    • 自 1997年01月, 至 1997年12月
      スタンフォード大学, 客員研究員
    • 自 1997年
      Visiting Scholar,Stanford University

    プロフィール

    • プロフィール

      京都大学 大学院 情報学研究科 通信情報システム専攻 教授. (工学部 情報学科 計算機科学コース 兼担). 大規模離散構造データの表現と演算処理アルゴリズムの研究・教育に従事. 1988年 京都大学 工学部 情報工学科 卒業. 1990年同大学院修士課程, 1995年同博士課程(社会人)修了. 博士(工学). 1990年度より2003年度までNTT研究所に勤務. 1997年1月~12月 スタンフォード大学 計算機科学科 客員研究員. 1999年 NTT未来ねっと研究所 主任研究員. 1999~2000年度 慶応義塾大学 湘南藤沢キャンパス(SFC) 兼任非常勤講師. 2004年度より北海道大学 大学院 情報科学研究科 アルゴリズム研究室 助教授(2007年准教授に名称変更). 2010年10月より同研究室 教授. 2015年度より同研究科 大規模知識処理研究室 教授. 2018年4月より京都大学 大学院 情報学研究科 教授(現職). 2009年10月~2016年3月 科学技術振興機構(JST) ERATO 湊離散構造処理系プロジェクト 研究総括(兼務). 2015年4月~2020年3月 科研費基盤(S) 離散構造処理系プロジェクト 研究代表者. 2011年度より 早稲田大学 先進グリッド技術研究所 招聘研究員(兼務). 2014年度より 国立情報学研究所 客員教授(兼務). 2015年度より北海道大学 電子科学研究所 附属社会創造数学研究センター 教授(兼務, 2018年度より客員教授). 2015年度より産業技術総合研究所 人工知能研究センター 客員研究員(兼務). 2017年より京都大学 数理解析研究所 専門委員(兼務). 2017年10月より日本学術会議 連携会員(兼務). 2018年6月より情報処理学会 理事(兼務). 2000年 情報処理学会山下記念研究賞, 2005年度, 2008年度および2016年度 人工知能学会研究会優秀賞, 2010年 電子情報通信学会 情報・システムソサイエティ 論文賞(先見論文). Knuthの名著"The Art of Computer Programming"(Vol.4, Fascicle 1, 2009年)において, 湊が考案したデータ構造「ZDD」 が項目として詳しく掲載された(日本人初). 著書 "Binary Decision Diagrams and Applications for VLSI CAD" (Kluwer, 1995年). 2012年8月~2013年4月 日本科学未来館メディアラボ第11期展示「フカシギの数え方」出 展. (2013年7月~2014年4月 北海道大学総合博物館にて再展示. ) 2000年~2003年 情報処理学会論文誌 編集委員. 国際ワークショップALSIP2008, 2011, 2012, 2014 Workshop ChairおよびCo-organizer. 2012年~2016年 科研費新学術領域「計算限界解明」総括班連携研究者. 2014年~2020年 JST さきがけ「社会と調和した情報基盤技術の構築」領域アドバイザ. 2016年よりJST ACT-I 「情報と未来」領域アドバイザ.2014年~2019年 電子情報通信学会 コンピュテーション(COMP)研究会 専門委員. 2010年~2014年 人工知能学会 評議員. 電子情報通信学会シニア会員, 情報処理学会シニア会員, IEEE Senior Member, 人工知能学会, 日本計算機統計学会 各会員.

    ID,URL

    関連Webサイト

    researchmap URL

    list
      Last Updated :2022/11/23

      研究

      研究テーマ・研究概要

      • 研究テーマ

        離散構造処理アルゴリズム

      研究キーワード

      • 離散構造処理系
      • データマイニング・知識処理
      • 論理最適化
      • データ構造とアルゴリズム
      • データマイニング
      • knowledge processing
      • data mining
      • Logic Optimization
      • Data mining.
      • Logic verification
      • Logic optimization
      • Data structures and algorithms

      研究分野

      • 情報通信, ヒューマンインタフェース、インタラクション
      • 情報通信, データベース
      • 情報通信, 情報ネットワーク
      • 情報通信, 計算機システム
      • 情報通信, 情報学基礎論
      • 情報通信, 知能情報学

      論文

      • 18. 道南における胸部X線撮影の現況 第2報 : 装置の施設間比較 : 北海道部会 : その他
        村屋 保; 計良 明伸; 湊 真一; 川口 辰男; 田中 雄二; 東 康一; 田辺 二郎; 三橋 敏也; 大坂 五郎; 藪 敦志; 浜田 聡; 蝦名 誠
        日本放射線技術学会雑誌, 1988年
      • 48. 道南における胸部 X 線撮影の現況 : 第 4 報 X 線管焦点について(X 線撮影 II, 北海道部会)
        村屋 保; 真壁 武司; 上村 博文; 田中 雄二; 桜庭 恒夫; 湊 真一; 青木 寿雄; 大阪 吾郎; 薮 敦志; 田辺 二郎; 三橋 敏也; 浜田 聡; 木村 保徳
        日本放射線技術学会雑誌, 1991年
      • Sorting Balls and Water: Equivalence and Computational Complexity.
        Takehiro Ito; Jun Kawahara; Shin-ichi Minato; Yota Otachi; Toshiki Saitoh; Akira Suzuki; Ryuhei Uehara; Takeaki Uno; Katsuhisa Yamanaka; Ryo Yoshinaka
        FUN, 2022年
      • Frequent Closed Item Set Mining Based on Zero-suppressed BDDs
        Minato Shin-ichi; Arimura Hiroki
        Information and Media Technologies, 2007年
      • Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes.
        Yuya Sugie; Yuki Yoshida; Normann Mertig; Takashi Takemoto; Hiroshi Teramoto; Atsuyoshi Nakamura; Ichigaku Takigawa; Shin-ichi Minato; Masanao Yamaoka; Tamiki Komatsuzaki
        Soft Comput., 2021年
      • Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams.
        Yu Nakahata; Masaaki Nishino; Jun Kawahara; Shin-ichi Minato
        Proc of 18th Symposium on Experimental Algorithms (SEA2020), 2020年06月, 査読有り, 最終著者
      • Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration.
        Yu Nakahata; Jun Kawahara; Takashi Horiyama; Shin-ichi Minato
        Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 2020年03月, 査読有り
      • Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams.
        Hirofumi Suzuki; Masakazu Ishihata; Shin-ichi Minato
        Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 2020年03月, 査読有り
      • Enumeration of Associative Magic Squares of Order 7.
        Go Kato; Shin-ichi Minato
        J. Inf. Process., 2020年
      • Compiling higher order binary optimization problems into annealing processors
        Yuya Sugie; Normann Mertig; Yoichi Iwata; Hiroshi Teramoto; Atsuyoshi Nakamura; Ichigaku Takigawa; Shin-ichi Minato; Tamiki Komatsuzaki; Takashi Takemoto
        Proc. of 25th International Symposium on Artificial Life and Robotics (AROB 25th 2020), 2020年01月, 査読有り
      • Tree Decomposition-based Approach for Compiling Independent Sets
        Teruji Sugaya; Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato
        Journal of Information Processing, 2020年, 査読有り, 最終著者
      • Enumerating associative magic squares of order 7
        Go Kato; Shin-ichi Minato
        Collection of abst. of Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2019), 2019年09月, 査読有り, 最終著者
      • Evaluation of hotspot cluster detection using spatial scan statistic based on exact counting
        Fumio Ishioka; Jun Kawahara; Masahiro Mizuta; Shin-ichi Minato; Koji Kurihara
        Japanese Journal of Statistics and Data Science, 2019年06月, 査読有り
      • A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic.
        Shin-ichi Minato; Jun Kawahara; Fumio Ishioka; Masahiro Mizuta; Koji Kurihara
        Proc. of SIAM International Conference on Data Mining (SDM2019), 2019年05月, 査読有り
      • Scalable enumeration approach for maximizing hosting capacity of distributed generation
        Yuji Takenobu; Norihito Yasuda; Shin-ichi Minato; Yasuhiro Hayashi
        International Journal of Electrical Power & Energy Systems, 2019年02月, 査読有り
      • Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity
        Yuya Sugie; Yuki Yoshida; Normann Mertig; Takashi Takemoto; Hiroshi Teramoto; Atsuyoshi Nakamura; Ichigaku Takigawa; Shin-ichi Minato; Masanao Yamaoka; Tamiki Komatsuzaki
        Proc. of 7th International Conference on the Theory and Practice of Natural Computing (TPNC 2018, 2018年12月, 査読有り
      • FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search
        akashi Takemoto; Normann Mertig; Masato Hayashi; Saki Susa-Tanaka; Hiroshi Teramoto; Atsuyoshi Nakamura; Ichigaku Takigawa; Shin-ichi Minato; Tamiki Komatsuzaki; Masanao Yamaoka
        Proc. of IEEE CAS 2018 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2018), 2018年12月, 査読有り
      • Exact Computation of Strongly Connected Reliability by BDDs
        Hirofumi Suzuki; Masakazu Ishihata; Shin-ichi Minato
        Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), 2018年12月, 査読有り
      • Separate Compilation of Bayesian Networks for Efficient Exact Inference
        Shan Gao; Masakazu Ishihata; Shin-ichi Minato
        人工知能学会論文誌, 2018年11月, 査読有り
      • Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs
        Hirofumi Suzuki; Shin-ichi Minato
        IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2018年09月, 査読有り
      • DenseZDD: a compact and fast index for families of sets
        Shuhei Denzumi; Jun Kawahara; Koji Tsuda; Hiroki Arimura; Shin-ichi Minato; Kunihiko Sadakane
        Algorithms, 2018年08月, 査読有り
      • Fast compilation of graph substructures for counting and enumeration
        Teruji Sugaya; Masaaki Nishino; Norihito Yasuda; Shin‐ichi Minato
        Behaviormetrika, 2018年06月, 査読有り
      • Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling
        Yuji Takenobu; Norihito Yasuda; Shunsuke Kawano; Shin-Ichi Minato; Yasuhiro Hayashi
        IEEE Transactions on Smart Grid, 2018年05月01日, 査読有り
      • Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams
        Shinsaku Sakaue; Masakazu Ishihata; Shin-ichi Minato
        Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), 2018年04月, 査読有り
      • Optimizing Network Reliability via Best-First Search over Decision Diagrams
        Masaaki Nishino; Takeru Inoue; Norihito Yaasuda; Shin-ichi Minato; Masaaki Nagata
        Proc. of 37th Annual IEEE International Conference on Computer Communications (INFOCOM), 2018年04月, 査読有り
      • 記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証
        蓑田玲緒奈; 湊真一
        電子情報通信学会論文誌D 学生論文特集号, 2018年03月, 査読有り
      • Fast packet classification algorithm for network-wide forwarding behaviors
        Takeru Inoue; Toru Mano; Kimihiro Mizutani; Shin-ichi Minato; Osamu Akashi
        Computer Communications, 2018年01月01日, 査読有り
      • BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems
        Fumito Takeuchi; Masaaki Nishino; Norihito Yasuda; Takuya Akiba; Shin-ichi Minato; Masaaki Nagata
        IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2017年12月, 査読有り
      • Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking
        Reona Minoda; Masakazu Ishihata; Shin-ichi Minato
        Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), 2017年11月, 査読有り
      • Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation
        Gao Shan; Masakazu Ishihata; Shin-ichi Minato
        Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 2017年09月, 査読有り
      • Fast Compilation of s-t Paths on a Graph for Counting and Enumeration
        Teruji Sugaya; Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato
        Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 2017年09月, 査読有り
      • Frontier-based search for enumerating all constrained subgraphs with compressed representation
        Jun Kawahara; Takeru Inoue; Hiroaki Iwashita; Shin Ichi Minato
        IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2017年09月, 査読有り
      • Frontier-Based Search for Enumerating All Constrained Subgraphs with Compressed Representation
        Jun Kawahara; Takeru Inoue; Hiroaki Iwashita; Shin-ichi Minato
        IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2017年09月, 査読有り
      • Statistical emerging pattern mining with multiple testing correction
        Junpei Komiyama; Masakazu Ishihata; Hiroki Arimura; Takashi Nishibayashi; Shin-Ichi Minato
        Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2017年08月13日, 査読有り
      • Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation
        Shin-ichi Minato
        IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2017年08月, 査読有り, 招待有り
      • Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking
        Reona Minoda; Shin-ichi Minato
        Proc. of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PEC 2017), 2017年07月, 査読有り
      • Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages
        Reona Minoda; Shin-ichi Minato
        IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2017年06月, 査読有り
      • BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems
        Fumito Takeuchi; Masaaki Nishino; Norihito Yasuda; Takuya Akiba; Shin-ichi Minato; Masaaki Nagata
        Proc. of Workshops at the 31st AAAI Conference on Artificial Intelligence, The AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt 2017), 2017年02月, 査読有り
      • Compiling Graph Substructures into Sentential Decision Diagrams
        Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato; Masaaki Nagata
        Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 2017年02月, 査読有り
      • Dancing with Decision Diagrams: A Combined Approach to Exact Cover
        Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato; Masaaki Nagata
        Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 2017年02月, 査読有り
      • Generating All Patterns of Graph Partitions Within a Disparity Bound
        Jun Kawahara; Takashi Horiyama; Keisuke Hotta; Shin-ichi Minato
        WALCOM: ALGORITHMS AND COMPUTATION, WALCOM 2017, 2017年, 査読有り
      • Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking
        Reona Minoda; Yuzuru Tanaka; Shin-ichi Minato
        Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), 2016年10月, 査読有り
      • Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations
        Shuhei Denzumi; Ryo Yoshinaka; Hiroki Arimura; Shin-ichi Minato
        DISCRETE APPLIED MATHEMATICS, 2016年10月, 査読有り
      • Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model
        Hirofumi Suzuki; Sun Hao; Shin-ichi Minato
        Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), 2016年07月, 査読有り
      • Zero-suppressed Sentential Decision Diagrams
        Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato; Masaaki Nagata
        Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), 2016年02月, 査読有り
      • A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization
        Takeru Inoue; Hiroaki Iwashita; Jun Kawahara; Shin-ichi Minato
        International Journal on Software Tools for Technology Transfer (STTT), 2016年02月, 査読有り
      • Graphillion: software library for very large sets of labeled graphs
        Takeru Inoue; Hiroaki Iwashita; Jun Kawahara; Shin-ichi Minato
        INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016年02月, 査読有り
      • Power of Enumeration-BDD/ZDD-Based Techniques for Discrete Structure Manipulation
        Shin-ichi Minato
        2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 2016年, 査読有り
      • Using pi DDs for Nearest Neighbor Optimization of Quantum Circuits
        Robert Wille; Nils Quetschlich; Yuma Inoue; Norihito Yasuda; Shin-ichi Minato
        REVERSIBLE COMPUTATION, RC 2016, 2016年, 査読有り
      • Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System
        Yuji Takenobu; Shunsuke Kawano; Yasuhiro Hayashi; Norihito Yasuda; Shin-ichi Minato
        2016 POWER SYSTEMS COMPUTATION CONFERENCE (PSCC), 2016年, 査読有り
      • A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization
        Masaaki Nishino; Norihito Yasuda; Tsutomu Hirao; Shin-ichi Minato; Masaaki Nagata
        Proc. of the 2015 Annual Conference of the North American Chapter of the ACL (NAACL-HLT 2015), 2015年05月, 査読有り
      • Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures
        Takeru Inoue; Norihito Yasuda; Shunsuke Kawano; Yuji Takenobu; Shin-ichi Minato; Yasuhiro Hayashi
        IEEE TRANSACTIONS ON SMART GRID, 2015年03月, 査読有り
      • Factorization of ZDDs for representing Bayesian networks based on d-separations
        Shan Gao; Shin-ichi Minato
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015年, 査読有り
      • Superset Generation on Decision Diagrams.
        Takahisa Toda; Shogo Takeuchi; Koji Tsuda; Shin-ichi Minato
        WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings, 2015年, 査読有り
      • Enumerating Eulerian Trails via Hamiltonian Path Enumeration.
        Hiroyuki Hanada; Shuhei Denzumi; Yuma Inoue; Hiroshi Aoki; Norihito Yasuda; Shogo Takeuchi; Shin-ichi Minato
        WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings, 2015年, 査読有り
      • Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits
        Yuma Inoue; Shin-ichi Minato
        REVERSIBLE COMPUTATION, RC 2015, 2015年, 査読有り
      • BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems.
        Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato; Masaaki Nagata
        Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA., 2015年, 査読有り
      • 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―1.二分決定グラフによる離散構造処理の概観
        湊真一
        電子情報通信学会誌, 2014年12月01日
      • 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―3.順列の圧縮列挙索引化とソーティング
        川原純; 湊真一
        電子情報通信学会誌, 2014年12月01日
      • Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams
        Yuma Inoue; Takahisa Toda; Shin-ichi Minato
        IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2014年06月, 査読有り
      • 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化
        岩下 洋哲; 戸田 貴久; 津田 宏治; 湊 真一
        人工知能学会全国大会論文集, 2014年, 査読有り
      • DenseZDD: A Compact and Fast Index for Families of Sets
        Shuhei Denzumi; Jun Kawahara; Koji Tsuda; Hiroki Arimura; Shin-ichi Minato; Kunihiko Sadakane
        EXPERIMENTAL ALGORITHMS, SEA 2014, 2014年, 査読有り
      • Fast Regular Expression Matching Based On Dual Glushkov NFA.
        Ryutaro Kurai; Norihito Yasuda; Hiroki Arimura; Shinobu Nagayama; Shin-ichi Minato
        Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, September 1-3, 2014, 2014年, 査読有り
      • Accelerating graph adjacency matrix multiplications with adjacency forest
        Masaaki Nishino; Norihito Yasuda; Shin-Ichi Minato; Masaaki Nagata
        SIAM International Conference on Data Mining 2014, SDM 2014, 2014年, 査読有り
      • A fast method of statistical assessment for combinatorial hypotheses based on frequent itemset enumeration
        Shin-Ichi Minato; Takeaki Uno; Koji Tsuda; Aika Terada; Jun Sese
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014年, 査読有り
      • On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree
        Norihito Yasuda; Masaaki Nishino; Shin-ichi Minato
        TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 2014年, 査読有り
      • A General Framework for Parallel Unary Operations on ZDDs
        Shogo Takeuchi; Takahisa Toda; Shin-ichi Minato
        TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 2014年, 査読有り
      • Three-way Indexing ZDDs for Large-Scale Sparse Datasets
        Hiroshi Aoki; Takahisa Toda; Shin-ichi Minato
        TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 2014年, 査読有り
      • An Efficient Method for Indexing All Topological Orders of a Directed Graph
        Yuma Inoue; Shin-ichi Minato
        ALGORITHMS AND COMPUTATION, ISAAC 2014, 2014年, 査読有り
      • Rethinking Packet Classification for Global Network View of Software-Defined Networking
        Takeru Inoue; Toru Mano; Kimihiro Mizutani; Shin-ichi Minato; Osamu Akashi
        2014 IEEE 22ND INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP), 2014年, 査読有り
      • Distribution Loss Minimization With Guaranteed Error Bound
        Takeru Inoue; Keiji Takano; Takayuki Watanabe; Jun Kawahara; Ryo Yoshinaka; Akihiro Kishimoto; Koji Tsuda; Shin-ichi Minato; Yasuhiro Hayashi
        IEEE TRANSACTIONS ON SMART GRID, 2014年01月, 査読有り
      • 「おねえさんの問題」の最先端 ― YouTube動画と世界記録 ―
        湊 真一
        情報処理, 2013年10月, 査読有り, 招待有り
      • BDD/ZDDを基盤とする離散構造処理系の最近の展開
        湊 真一
        電子情報通信学会 2013ソサイエティ大会 講演論文集, 2013年09月, 招待有り
      • ZDDを用いた都市の避難所割り当ての列挙
        瀧澤重志; 武知祥史; 大田章雄; 中野浩太郎; 加藤直樹; 井上武; 堀山貴史; 川原純; 湊真一; 湊真一
        日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013年09月
      • Recent Research Activities on BDD/ZDD-based Discrete Structure Manipulation
        Shin-ichi Minato
        In Poc. of 2013 International Workshop on Machine Learning and Applications to Biology (MLAB Sapporo 2013), 2013年08月, 招待有り
      • Enumeration of Region Partitioning for Evalcuation Planning based on ZDD
        Atsushi Takizawa; Yasufumi Takechi; Akio Ohta; Naoki Katoh; Takeru Inoue; Takashi Horiyama; Jun Kawahara; Shin-ichi Minato
        In Proc. of International symposium on Operation Research & its Applications (ISORA2013), 2013年08月, 査読有り
      • Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams
        Yuma Inoue; Takahisa Toda; Shin-ichi Minato
        In Proc. of Permutation Patterns 2013, 2013年07月, 査読有り
      • Techniques of BDD/ZDD: Brief History and Recent Activity
        Shin-ichi Minato
        IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2013年07月, 査読有り, 招待有り
      • ZDDを用いたPersonalized PageRankの高速計算法
        西野正彬; 安田宜仁; 湊真一; 永田昌明
        人工知能学会全国大会論文集(CD-ROM), 2013年06月
      • 二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用
        戸田貴久; 戸田貴久; 湊真一; 湊真一
        人工知能学会全国大会論文集(CD-ROM), 2013年06月
      • 写像枝を用いた系列二分決定グラフの効率化
        青木洋士; 湊真一; 湊真一; 山下茂
        電子情報通信学会技術研究報告, 2013年05月
      • Recent Topics on BDD/ZDD-Based Discrete Structure Manipulation
        Shin-ichi Minato
        In Proc. of Reed-Muller Workshop 2013 (RM2013), 2013年05月, 招待有り
      • 大規模疎行列を扱うZDDの演算を高速化する飛び越しリンク構造
        湊真一; 湊真一
        電子情報通信学会技術研究報告, 2013年03月
      • Succinct Indices Based on Zero-Suppressed Binary Decision Diagrams
        Shuhei Denzumi; Jun Kawahara; Koji Tsuda; Hiroki Arimura; Kunihiko Sadakane; Shin-ichi Minato
        電子情報通信学会コンピュテーション研究会, 信学技報, 2013年03月
      • 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ
        岩下 洋哲; 中澤 吉男; 川原 純; 宇野 毅明; 湊 真一
        研究報告アルゴリズム(AL), 2013年02月22日
      • 順列二分決定グラフを用いたパターン回避順列の列挙索引化
        井上 祐馬; 戸田 貴久; 湊 真一
        情報処理学会研究報告. AL, アルゴリズム研究会報告, 2013年02月
      • Shared-memory parallel frontier-based search
        Shogo Takeuchi; Jun Kawahara; Akihiro Kishimoto; Shin-Ichi Minato
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013年, 査読有り
      • Debugging of reversible circuits using pDDs
        Laura Tague; Mathias Soeken; Shin-Ichi Minato; Rolf Drechsler
        Proceedings of The International Symposium on Multiple-Valued Logic, 2013年, 査読有り
      • Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams
        Shuhei Denzumi; Koji Tsuda; Hiroki Arimura; Shin-ichi Minato
        PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2013, 2013年, 査読有り
      • Z-skip-links for fast traversal of ZDDs representing large-scale sparse datasets
        Shin-Ichi Minato
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013年, 査読有り
      • Using πdDs in the design of reversible circuits (work-in-progress)
        Mathias Soeken; Robert Wille; Shin-Ichi Minato; Rolf Drechsler
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013年, 査読有り
      • Enumeration of region partitioning for evacuation planning based on ZDD
        Atsushi Takizawa; Yasufumi Takechi; Akio Ohta; Naoki Katoh; Takeru Inoue; Takashi Horiyama; Jun Kawahara; Shin-Ichi Minato
        IET Conference Publications, 2013年, 査読有り
      • 特集にあたって(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
        湊 真一
        オペレーションズ・リサーチ : 経営の科学, 2012年11月, 査読有り, 招待有り
      • BDD/ZDDを用いたグラフ列挙索引化技法(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
        湊 真一
        オペレーションズ・リサーチ : 経営の科学, 2012年11月, 査読有り, 招待有り
      • グラフ列挙索引化技法の種々の問題への適用(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
        川原 純; 湊 真一
        オペレーションズ・リサーチ : 経営の科学, 2012年11月, 査読有り, 招待有り
      • フロンティア法による電力網構成制御(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
        井上 武; 高野 圭司; 渡辺 喬之; 川原 純; 吉仲 亮; 岸本 章宏; 津田 宏治; 湊 真一; 林 泰弘
        オペレーションズ・リサーチ : 経営の科学, 2012年11月, 査読有り, 招待有り
      • 種々のリンクパズルへの応用
        吉仲 亮; 岩下 洋哲; 川原 純; 斎藤 寿樹; 鶴間 浩二; 湊 真一
        オペレーションズ・リサーチ : 経営の科学 = [O]perations research as a management science [r]esearch, 2012年11月01日, 査読有り, 招待有り
      • 特別招待講演 ERATO湊離散構造処理系プロジェクトの概要と今後の展望について (通信方式)
        湊 真一
        電子情報通信学会技術研究報告 : 信学技報, 2012年11月, 招待有り
      • 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法 (VLSI設計技術)
        岩下 洋哲; 川原 純; 湊 真一
        電子情報通信学会技術研究報告 : 信学技報, 2012年11月
      • Counterexamples to the long-standing conjecture on the complexity of BDD binary operations
        Ryo Yoshinaka; Jun Kawahara; Shuhei Denzumi; Hiroki Arimura; Shin-ichi Minato
        INFORMATION PROCESSING LETTERS, 2012年08月, 査読有り
      • On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake
        Takeru Inoue; Shin-ichi Minato
        IEICE TRANSACTIONS ON COMMUNICATIONS, 2012年07月, 査読有り
      • A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions
        Yusaku Kaneta; Shingo Yoshizawa; Shin-ichi Minato; Hiroki Arimura; Yoshikazu Miyanaga
        IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012年07月, 査読有り
      • 5.ZDDを用いた新たな列挙手法(<小特集>広がる列挙の技術-列挙による問題解決アプローチ-)
        川原 純; 斎藤 寿樹; 湊 真一
        電子情報通信学会誌, 2012年06月
      • 系列二分決定グラフを操作するための豊富な演算体系の構築 (Theoretical Foundations of Computing)
        伝住 周平; 有村 博紀; 湊 真一
        電子情報通信学会技術研究報告 : 信学技報, 2012年06月
      • BDD/ZDDの技法と離散構造処理系(<特集>離散構造処理系-知能情報処理を支えるアルゴリズムの技法)
        湊 真一
        人工知能学会誌, 2012年05月, 査読有り, 招待有り
      • DS-1-13 πDDのConjugacy Class計算への適用とその性能評価(DS-1.COMP学生シンポジウム,シンポジウムセッション)
        山田 倫大; 湊 真一
        電子情報通信学会総合大会講演論文集, 2012年03月06日
      • DS-1-14 πDDの順列集合演算を用いたパンケーキ整列問題の解析法(DS-1.COMP学生シンポジウム,シンポジウムセッション)
        井上 祐馬; 湊 真一
        電子情報通信学会総合大会講演論文集, 2012年03月06日
      • Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs.
        Ryo Yoshinaka; Toshiki Saitoh; Jun Kawahara; Koji Tsuruma; Hiroaki Iwashita; Shin-ichi Minato
        Algorithms, 2012年, 査読有り
      • Synthesis of Semi-Classical Quantum Circuits
        Shigeru Yamashita; Shin-ichi Minato; D. Michael Miller
        JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2012年, 査読有り
      • Incremental set recommendation based on class differences
        Yasuyuki Shirai; Koji Tsuruma; Yuko Sakurai; Satoshi Oyama; Shin-Ichi Minato
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012年, 査読有り
      • Second workshop on Algorithms for Large-Scale Information Processing in knowledge discovery (ALSIP)
        Koji Tsuda; Shin-Ichi Minato
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012年, 査読有り
      • ベイジアンネットワークとZDDに関する最近の研究状況について (特集 「ベイジアンネットワークとその応用」および一般)
        湊 真一
        人工知能基本問題研究会, 2011年11月18日
      • High-speed String and Regular Expression Matching on FPGA
        Yusaku Kaneta; Shingo Yoshizawa; Shin-ichi Minato; Hiroki Arimura
        Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011, 2011年10月, 査読有り
      • BS-1-2 順列集合を操作する効率的なデータ構造とアルゴリズムの研究について(BS-1. 学生による研究室交流会,シンポジウムセッション)
        山田 倫大; 湊 真一
        電子情報通信学会ソサイエティ大会講演論文集, 2011年08月30日
      • AI-1-5 大規模な離散構造データを扱うためのGPU利用法の検討(AI-1.GPUを用いた高速化技術とそのVLSI設計への応用,依頼シンポジウム,ソサイエティ企画)
        湊 真一
        電子情報通信学会ソサイエティ大会講演論文集, 2011年08月30日
      • ERATO湊離散構造処理系プロジェクトの概要と最近の研究状況について(IPv6ネットワーク,フォトニックネットワーク,新世代・次世代ネットワーク及び一般)
        湊 真一
        電子情報通信学会技術研究報告. IN, 情報ネットワーク, 2011年07月14日, 招待有り
      • 高速なパスの列挙アルゴリズムを用いたネットワークの信頼性評価(IPv6ネットワーク,フォトニックネットワーク,新世代・次世代ネットワーク及び一般)
        斎藤 寿樹; 川原 純; 吉仲 亮; 井上 武; 湊 真一
        電子情報通信学会技術研究報告. IN, 情報ネットワーク, 2011年07月14日
      • 東日本大震災での短縮URLによるサーバ負荷分散とアクセス分析(IPv6ネットワーク,フォトニックネットワーク,新世代・次世代ネットワーク及び一般)
        井上 武; 湊 真一
        電子情報通信学会技術研究報告. IN, 情報ネットワーク, 2011年07月14日
      • ZDD によるパスの列挙 (計算機科学とアルゴリズムの数理的基礎とその応用)
        川原 純; 斎藤 寿樹; 鈴木 拡; 湊 真一; 吉仲 亮
        数理解析研究所講究録, 2011年06月
      • ERATO湊離散構造処理系プロジェクトの概要とシステム設計分野の研究について(FPGA応用)
        湊 真一
        電子情報通信学会技術研究報告. RECONF, リコンフィギャラブルシステム, 2011年05月05日, 招待有り
      • πDD:順列集合を演算処理する二分決定グラフ
        湊 真一
        電子情報通信学会技術研究報告. COMP, コンピュテーション, 2011年04月15日
      • 逆順の系列集合を表すSeqBDDの構築
        青木 洋士; 山下 茂; 湊 真一
        電子情報通信学会技術研究報告. COMP, コンピュテーション, 2011年04月15日
      • 劣モジュラ性を用いた特徴集合列挙(離散系と機械学習,テキスト・Webマイニング,一般)
        河原 吉伸; 津田 宏治; 鷲尾 隆; 武田 朗子; 湊 真一
        電子情報通信学会技術研究報告. IBISML, 情報論的学習理論と機械学習, 2011年03月21日
      • ZDDを用いたパスの列挙とその性能評価
        斎藤 寿樹; 川原 純; 吉仲 亮; 鈴木 拡; 湊 真一
        情報処理学会研究報告. AL, アルゴリズム研究会報告, 2011年02月28日
      • BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開
        湊 真一
        電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, 2011年01月, 査読有り, 招待有り
      • Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations
        Shuhei Denzumi; Ryo Yoshinaka; Hiroki Arimura; Shin-ichi Minato
        PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2011, 2011年, 査読有り
      • Implementation of Sequence BDDs in Erlang
        Shuhei Denzumi; Hiroki Arimura; Shin-ichi Minato
        ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, 2011年, 査読有り
      • An efficient algorithm for constructing a sequence binary decision diagram representing a set of reversed sequences
        Hiroshi Aoki; Shigeru Yamashita; Shin-Ichi Minato
        Proceedings - 2011 IEEE International Conference on Granular Computing, GrC 2011, 2011年, 査読有り
      • Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs
        Masakazu Ishihata; Taisuke Sato; Shin-ichi Minato
        AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2011年, 査読有り
      • A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams
        Yuko Sakurai; Suguru Ueda; Atsushi Iwasaki; Shin-Ichi Minato; Makoto Yokoo
        AGENTS IN PRINCIPLE, AGENTS IN PRACTICE, 2011年, 査読有り
      • Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering
        Shin-ichi Minato
        NEW GENERATION COMPUTING, 2011年, 査読有り, 招待有り
      • pi DD: A New Decision Diagram for Efficient Problem Solving in Permutation Space
        Shin-ichi Minato
        THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, 2011年, 査読有り
      • Great east Japan earthquake viewed from a URL shortener
        Takeru Inoue; Fujio Toriumi; Yasuyuki Shirai; Shin-Ichi Minato
        Proceedings of the Special Workshop on Internet and Disasters, SWID'11, 2011年, 査読有り
      • Faster Evaluation of ZBDD Compressed Multi-Linear Functions with GPU Parallelism
        MINATO Shin‐ichi; ONSJOE Mikael; WATANABE Osamu
        Res Rep Math Comput Sci Ser C Comput Sci (Web), 2011年01月
      • ベイジアンネットワークと離散構造処理系(<特集>ベイジアンネットワークの最先端)
        佐藤 泰介; 湊 真一
        人工知能学会誌, 2010年11月, 査読有り, 招待有り
      • D-009 ZDDを用いた頻出パタン演算によるWebテキストデータからの知識発見とその評価(D分野:データベース,一般論文)
        岡崎 佑太; 湊 真一
        情報科学技術フォーラム講演論文集, 2010年08月20日
      • F-024 ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成とその評価(F分野:人工知能・ゲーム,一般論文)
        高橋 渉; 湊 真一
        情報科学技術フォーラム講演論文集, 2010年08月20日
      • 命題論理に基づく確率モデルのための二部決定グラフと順序符号化を用いた効率的なEMアルゴリズム(一般講演(構造学習・ベイジアンネット・確率推論),機械学習とその応用)
        石畠 正和; 亀谷 由隆; 佐藤 泰介; 湊 真一
        電子情報通信学会技術研究報告. IBISML, 情報論的学習理論と機械学習, 2010年06月07日
      • 非巡回正規表現に対する効率的なパターン照合
        金田 悠作; 湊 真一; 有村 博紀
        電子情報通信学会技術研究報告. COMP, コンピュテーション, 2010年05月12日
      • ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成 (特集 「知識発見の生命科学への応用」および一般)
        高橋 渉; 湊 真一
        人工知能基本問題研究会, 2010年03月17日
      • 3ZP-5 ZDDを用いた立体ペントミノパズルの解の列挙(情報爆発時代におけるデータマイニング・アルゴリズム,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
        鈴木 拡; 湊 真一
        全国大会講演論文集, 2010年03月08日
      • D-1-7 並列ビット分配にもとづいた効率的な正規表現照合アルゴリズム(D-1.コンピュテーション,一般セッション)
        金田 悠作; 湊 真一; 有村 博紀
        電子情報通信学会総合大会講演論文集, 2010年03月02日
      • eラーニングと遠隔FPGAの連携による異分野共同研究環境の開発(ネットワーク,FPGA応用及び一般)
        金 在成; 吉澤 真吾; 金田 悠作; 湊 真一; 有村 博紀; 宮永 喜一
        電子情報通信学会技術研究報告. VLD, VLSI設計技術, 2010年01月19日
      • 効率良い正規表現照合のための並列ビット分配にもとづいたハードウェア指向アルゴリズム(アプリケーション2,FPGA応用及び一般)
        金田 悠作; 吉澤 真吾; 湊 真一; 有村 博紀; 宮永 喜一
        電子情報通信学会技術研究報告. VLD, VLSI設計技術, 2010年01月19日
      • Dynamic reconfigurable bit-parallel architecture for large-scale regular expression matching
        Yusaku Kaneta; Shingo Yoshizawa; Shin-Ichi Minato; Hiroki Arimura; Yoshikazu Miyanaga
        Proceedings - 2010 International Conference on Field-Programmable Technology, FPT'10, 2010年, 査読有り
      • Fast Bit-Parallel Matching for Network and Regular Expressions
        Yusaku Kaneta; Shin-ichi Minato; Hiroki Arimura
        STRING PROCESSING AND INFORMATION RETRIEVAL, 2010年, 査読有り
      • Discrete structure manipulation for discovery science problems
        Shin-Ichi Minato
        Lecture Notes in Electrical Engineering, 2010年, 査読有り
      • The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009)
        Akihiro Yamamoto; Kouichi Hirata; Shin-Ichi Minato
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010年, 査読有り
      • Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases
        Shin-ichi Minato; Takeaki Uno
        SDM2010, 2010年, 査読有り
      • An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models.
        Masakazu Ishihata; Yoshitaka Kameya; Taisuke Sato; Shin-ichi Minato
        Proceedings of the 2nd Asian Conference on Machine Learning, ACML 2010, Tokyo, Japan, November 8-10, 2010, 2010年, 査読有り
      • ZDDによるベイジアンネットワーク推論の高速化 (特集 「ベイジアン・ネットワークと応用」および一般)
        湊 真一
        人工知能基本問題研究会, 2009年11月13日
      • 5.メディア系異分野共同研究プロジェクト(北の国から明日のICTに架ける橋,<特別小特集>知の創出を支える次世代IT基盤技術-北海道大学グローバルCOEプログラムと北海道内情報通信系研究グループの活動-)
        宮永 喜一; 吉澤 真吾; 湊 真一
        電子情報通信学会誌, 2009年10月, 査読有り
      • D-031 頻出パタン抽出アルゴリズム「LCM over ZDDs」の変数順序付けの影響に関する考察(データベース,一般論文)
        岡崎 佑太; 湊 真一
        情報科学技術フォーラム講演論文集, 2009年08月20日
      • F-061 ベイジアンネットワークを表現するZDDの初期変数順序付け方法の改良(人工知能・ゲーム,一般論文)
        金崎 健之; 湊 真一
        情報科学技術フォーラム講演論文集, 2009年08月20日
      • BDD/ZDDを用いたペントミノパズルの解の列挙
        鈴木 拡; 湊 真一
        電子情報通信学会技術研究報告. COMP, コンピュテーション, 2009年05月19日
      • D-4-18 高速ストリーム処理のための文字列パターン照合手法とそのFPGA設計(D-4. データ工学,一般セッション)
        金田 悠作; 吉澤 真吾; 湊 真一; 有村 博紀; 宮永 喜一
        電子情報通信学会総合大会講演論文集, 2009年03月
      • DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction
        Shigeru Yamashita; Shin-ichi Minato; D. Michael Miller
        IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2008年12月, 査読有り
      • Contents Muticast Method Enabling Determination of Leakage Origin and Exclusion
        Hitoshi Uematsu; Kan Toyoshima; Takeru Inoue; Kazuhiro Takahashi; Satsuki Nishina; Tsuyoshi Takagi; Shinichi Minato
        Proc. of the 14th Asia-Pacific Conference on Communications (APCC), 2008年09月, 査読有り
      • 2.情報爆発時代のための新しい超高速アルゴリズム(パートI:情報爆発時代における新しい基盤技術,<特集>情報爆発時代におけるわくわくするITの創出を目指して)
        宇野 毅明; 湊 真一; 竹田 正幸
        情報処理, 2008年08月, 査読有り
      • 頻出パターンマイニングのためのゼロサプレス型BDDの変数順序付け方法とその評価(データマイニング,<特集>データ工学論文)
        岩崎 玄弥; 湊 真一; ツォイクマン トーマス
        電子情報通信学会論文誌. D, 情報・システム, 2008年03月, 査読有り
      • LCM over ZBDDs: Fast generation of very large-scale frequent itemsets using a compact graph-based representation
        Shin-ichi Minato; Takeaki Uno; Hiroki Arimura
        ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2008年, 査読有り
      • DDMF: An efficient decision diagram structure for design verification of quantum circuits under a practical restriction
        Shigeru Yamashita; Shin-ichi Minato; D. Michael Miller
        IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2008年, 査読有り
      • A fast algorithm for cofactor implication checking and its application for knowledge discovery
        Shin-Ichi Minato
        Proceedings - 2008 IEEE 8th International Conference on Computer and Information Technology, CIT 2008, 2008年, 査読有り
      • An efficient verification of quantum circuits under a practical restriction
        Shigeru Yamashita; Shin-ichi Minato; D. Michael Miller
        2008 IEEE 8TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2008年, 査読有り
      • Symmetric item set mining method using zero-suppressed BDDs and application to biological data (論文特集:データマイニングと統計数理)
        MINATO Shin-ichi; ITO Kimihito
        人工知能学会論文誌 = Transactions of the Japanese Society for Artificial Intelligence : AI, 2007年, 査読有り
      • Frequent closed item set mining based on zero-suppressed BDDs (論文特集:データマイニングと統計数理)
        MINATO Shin-ichi; ARIMURA Hiroki
        人工知能学会論文誌 = Transactions of the Japanese Society for Artificial Intelligence : AI, 2007年, 査読有り
      • Frequent pattern mining and knowledge indexing based on zero-suppressed BDDs
        Shin-Ichi Minato; Hiroki Arimura
        KNOWLEDGE DISCOVERY IN INDUCTIVE DATABASES, 2007年, 査読有り
      • A method of variable ordering for zero-suppressed binary decision diagrams in data mining applications
        Haruya Iwasaki; Shin-ichi Minato; Thomas Zeugmann
        2007 IEEE INTERNATIONAL WORKSHOP ON DATABASES FOR NEXT GENERATION RESEARCHERS, 2007年, 査読有り
      • Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs
        Shin-ichi Minato; Ken Satoh; Taisuke Sato
        20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007年, 査読有り
      • N-gram analysis based on zero-suppressed BDDs
        Ryutaro Kurai; Shin-Ichi Minato; Thomas Zeugmarm
        NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2007年, 査読有り
      • A theoretical study on variable ordering of zero-suppressed BDDs for representing frequent itemsets
        Shin-ichi Minato
        DISCOVERY SCIENCE, PROCEEDINGS, 2007年, 査読有り
      • Symmetric item set mining method using zero-suppressed BDDs and application to biological data
        Minato Shin-ichi; Ito Kimihito
        Inform. Media Technol., 2007年, 査読有り
      • ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法(データマイニング,<特集>データ工学論文)
        湊 真一; 有村 博紀
        電子情報通信学会論文誌. D, 情報・システム, 2006年02月, 査読有り
      • Symmetric item set mining based on zero-suppressed BDDs
        Shin-ichi Minato
        DISCOVERY SCIENCE, PROCEEDINGS, 2006年, 査読有り
      • Efficient database analysis using VSOP calculator based on zero-suppressed BDDs
        Shin-ichi Minato
        NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2006年, 査読有り
      • VSOP (Valued-sum-of-products) calculator for knowledge processing based on zero-suppressed BDDs
        SI Minato
        FEDERATION OVER THE WEB, 2006年, 査読有り
      • Flexcastによる段階的導入に優れたマルチキャストシステムの設計と実装(ネットワーク・並列分散システムソフトウェア, <特集>システム開発論文)
        井上 武; 谷 誠一郎; 高橋 宏和; 湊 真一; 宮崎 敏明; 豊島 鑑
        電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理, 2005年02月, 査読有り
      • Design and implementation of advanced multicast router based on cluster computing
        T Inoue; S Tani; F Takahashi; SI Minato; T Miyazaki; K Toyoshima
        11TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL I, PROCEEDINGS, 2005年, 査読有り
      • Efficient method of combinatorial item set analysis based on zero-suppressed BDDs
        Shin-Ichi Minato; Hiroki Arimura
        Proceedings - International Workshop on Challenges in Web Information Retrieval and Integration, WIRI'05, 2005年, 査読有り
      • Wide-Area Multicasting based on Flexcast: Toward the Ubiquitous Network
        Takeru Inoue; Seiichiro Tani; Katsuhiro Ishimaru; Shin-ichi Minato; Toshiaki Miyazaki
        Proc. of the 5th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT), 2003年11月, 査読有り
      • Flexcast: Self-organizing multicast technology
        Seiichiro Tani; Toshiaki Miyazaki; Noriyuki Takahashi; Shin Ichi Minato
        NTT R and D, 2003年
      • Streaming BDD manipulation
        S Minato
        IEEE TRANSACTIONS ON COMPUTERS, 2002年05月, 査読有り
      • Streaming BDD manipulation for large-scale combinatorial problems
        Shin-Ichi Minato; Shinya Ishihara
        Proceedings -Design, Automation and Test in Europe, DATE, 2001年, 査読有り
      • BDD(二分決定グラフ)とその応用
        湊 真一
        応用数理, 1999年09月, 査読有り, 招待有り
      • On the properties of combination set operations
        HG Okuno; S Minato; H Isozaki
        INFORMATION PROCESSING LETTERS, 1998年05月, 査読有り
      • Manipulation of large-scale polynomials using BMDs
        D Rotter; K Hamaguchi; S Minato; S Yajima
        IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1997年10月, 査読有り
      • Arithmetic Boolean expression manipulator using BDDs
        SI Minato
        FORMAL METHODS IN SYSTEM DESIGN, 1997年04月, 査読有り
      • Fast factorization method for implicit cube set representation
        Shin-Ichi Minato
        IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996年, 査読有り
      • BDDs vs. zero-suppressed BDDs: for CTL symbolic model checking of Petri nets
        T Yoneda; H Hatori; A Takahara; S Minato
        FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996年, 査読有り
      • 二分決定グラフによる制約充足問題の解法
        奥乃 博; 湊 真一
        情報処理学会論文誌, 1995年08月, 査読有り
      • BEM-II - AN ARITHMETIC BOOLEAN EXPRESSION MANIPULATOR USING BDDS
        S MINATO
        IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1993年10月, 査読有り
      • FAST GENERATION OF PRIME-IRREDUNDANT COVERS FROM BINARY DECISION DIAGRAMS
        S MINATO
        IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1993年06月, 査読有り
      • 2. 計算機上での BDD の処理技法 (<特集> BDD (二分決定グラフ))
        湊 真一
        情報処理, 1993年05月, 査読有り, 招待有り
      • 「わくわく」 - 技術革新のキーワード -
        湊 真一
        電子情報通信学会誌, 1992年11月, 査読有り
      • 論理関数の共有二分決定グラフによる表現とその効率的処理手法
        湊 真一; 石浦 菜岐佐; 矢島 脩三
        情報処理学会論文誌, 1991年01月, 査読有り
      • High-speed String and Regular Expression Matching on FPGA
        Yusaku Kaneta; Shingo Yoshizawa; Shin-ichi Minato; Hiroki Arimura
        Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011), 査読有り
      • Space and Power Reduction in BDD-based Optical Logic Circuits Exploiting Dual Ports
        Ryosuke Matsuo; Shin-ichi Minato
        Proc. of ACM/IEEE Design, Automation and Test in Europe Conference (DATE2022), 2022年03月, 査読有り, 最終著者
      • BDD Variable Ordering for Minimizing Power Consumption of Optical Logic Circuits
        Ryosuke Matsuo; Shin-ichi Minato
        Proc. of 2021 IEEE Computer Society Annual Symposium on VLSI (ISVLSI2021), 2021年07月, 査読有り, 最終著者
      • Minimizing customer waiting time with a new delivery-tour planning algorithm based on tour division and dynamic route optimization
        Hiroshi Uchigaito; Tomoki Shirai; Yoichi Iwata; Normann Mertig; Yuya Sugie; Tsubasa Oizumi; Hiroshi Teramoto; Atsuyoshi Nakamura; Shin-ichi Minato; Tamiki Komatsuzaki; Takashi Takemoto
        Proc. of 2020 International Symposium on Nonlinear Theory and its Applications (NOLTA 2020), 2020年11月, 査読有り

      MISC

      • 二分決定グラフによる制約充足問題の解法
        奥乃 博; 湊 真一
        情報処理学会論文誌, 1995年08月15日
      • 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法
        岩下 洋哲; 川原 純; 湊 真一
        研究報告システムLSI設計技術(SLDM), 2012年11月19日
      • ZDDを用いたパスの列挙とその性能評価
        斎藤 寿樹; 川原 純; 吉仲 亮; 鈴木 拡; 湊 真一
        研究報告アルゴリズム(AL), 2011年02月28日
      • Shared binary decision diagram with attributed edges for efficient boolean function manipulation
        MINATO S.
        Proc. 27th Design Automat. Conf., 1990年
      • Separate Compilation of Bayesian Networks for Efficient Exact Inference (特集 「SAT技術の理論,実装,応用」および一般)
        Gao Shan; Ishihata Masakazu; Minato Shin-ichi
        人工知能基本問題研究会, 2017年03月13日
      • Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations (特集 「確率的グラフィカルモデルとビッグデータ分析」および一般)
        Gao Shan; Minato Shin-ichi
        人工知能基本問題研究会, 2015年01月13日
      • Editor's Message to Special Issue of Young Researchers' Papers.
        Shin-ichi Minato
        J. Inf. Process., 2021年
      • 動的計画法に基づくSimple Polygonization列挙アルゴリズムの実験的評価
        中畑裕; 堀山貴史; 湊真一; 山中克久
        情報処理学会研究報告(Web), 2021年03月
      • グラフの全点対間の点カットを索引化するBDD の構築
        髙橋昌大; 川原純; 湊真一
        2020年度人工知能学会全国大会(第34回), 2020年06月, 最終著者
      • 次数制限付きハッセ図表現の情報理論的下限
        森順平; 川原純; 湊真一
        電子情報通信学会技術研究報告, 2020年03月
      • 解集合プログラミングを用いた配電網問題の解法に関する一考察
        山田健太郎; 湊真一; 番原睦則
        日本ソフトウェア科学会大会講演論文集(Web), 2020年09月
      • 選挙区割問題に対するZDDを用いた近似的列挙手法の提案と評価
        山崎宏紀; 川原純; 湊真一
        情報科学技術フォーラム講演論文集, 2020年
      • BDDに基づく光論理回路の消費電力を最小化する変数順序付け
        松尾亮祐; 湊真一
        電子情報通信学会技術研究報告(Web), 2020年11月
      • コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法
        湊真一; 番原睦則; 堀山貴史; 川原純; 瀧川一学; 瀧川一学; 山口勇太郎
        電子情報通信学会技術研究報告(Web), 2020年12月
      • Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes.
        Yuya Sugie; Yuki Yoshida; Normann Mertig; Takashi Takemoto; Hiroshi Teramoto; Atsuyoshi Nakamura; Ichigaku Takigawa; Shin-ichi Minato; Masanao Yamaoka; Tamiki Komatsuzaki
        CoRR, 2020年
      • Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization.
        Yu Nakahata; Takashi Horiyama; Shin-ichi Minato; Katsuhisa Yamanaka
        CoRR, 2020年01月
      • Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling
        Shin-ichi Minato
        Abstract Note of KOCOON Workshop, 2019年12月, 筆頭著者
      • Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration.
        Yu Nakahata; Jun Kawahara; Takashi Horiyama; Shin-ichi Minato
        CoRR, 2019年11月, 最終著者
      • Depth-First ZDD Construction with Frontier-Based Search Method for Graph Enumeration Problems
        Shin-ichi Minato
        Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 2019年10月, 筆頭著者
      • Decision-Diagram-Based Enumeration of d-Cutsets
        Yu Nakahata; Jun Kawahara; Shin-ichi Minato
        Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 2019年10月, 最終著者
      • 隣接互換による最短長ユニバーサル列
        伊藤健洋; 川原純; 湊真一; 大舘陽太; 斎藤寿樹; 鈴木顕; 上原隆平; 宇野毅明; 山中克久; 吉仲亮
        電子情報通信学会コンピュテーション研究会, 2019年09月
      • グラフ同型に関する代表元のグラフを列挙するZDDの構築について
        大澤賢悟; 中畑裕; 湊真一
        人工知能学会第110回人工知能基本問題研究会資料, 2019年09月, 最終著者
      • Decomposing a Graph into Unigraphs.
        Takashi Horiyama; Jun Kawahara; Shin-ichi Minato; Yu Nakahata
        CoRR, 2019年05月
      • ZDDを用いたグラフ細分構造の列挙
        中畑裕; 川原純; 堀山貴史; 湊真一
        電子情報通信学会コンピュテーション研究会, 信学技報, 2019年05月
      • 電力システムに貢献するアルゴリズム技術とその将来
        湊真一
        電気学会全国大会講演論文集(CD-ROM), 2019年03月, 招待有り
      • 7次対称方陣の数え上げ
        加藤剛; 湊真一
        情報処理学会研究報告(Web), 2019年01月
      • 離散構造処理系プロジェクトの近況について
        湊真一
        電子情報通信学会技術研究報告, 2018年10月, 招待有り
      • コミュニケーション科学のさらなる深化 二分決定グラフを用いたネットワーク信頼性最適化法
        西野正彬; 井上武; 安田宜仁; 湊真一; 永田昌明
        NTT技術ジャーナル, 2018年09月
      • SeqBDDを用いた集合分割の族の表現法と実験的評価
        高橋翔哉; 湊真一; 瀧川一学
        情報処理学会研究報告(Web), 2018年08月
      • 化学反応経路ネットワークにおけるZDDを用いたエネルギー制限付き経路列挙
        鈴木浩史; 中野裕太; 住谷陽輔; 湊真一; 前田理
        情報処理学会研究報告(Web), 2018年08月
      • スキャン統計量に基づく組合せホットスポット抽出を行う高速アルゴリズム
        湊真一; 川原純; 水田正弘; 石岡文生; 栗原考次
        情報処理学会研究報告(Web), 2018年08月
      • ZDD を用いた種々のネットワーク設計問題の解法
        鈴木 浩史; 石畠 正和; 湊 真一
        JSAI大会論文集, 2018年06月
      • ZDDを用いた組合せテストケースの列挙索引化に関する実験と考察 (特集 「命題論理の充足可能性問題SATの最新動向」および一般)
        大畑 翔平; 湊 真一
        人工知能基本問題研究会, 2018年03月16日
      • LSIの配線問題 -DAシンポジウムの配線問題解法コンテスト-:5.ZDDを用いた解法
        湊 真一
        情報処理, 2018年02月
      • 順序決定木に対する正則化パラメータ推定の高速化 (特集 「ビジネスにおける機械学習/人工知能」及び一般)
        金森 憲太朗; 石畠 正和; 湊 真一; 有村 博紀
        人工知能基本問題研究会, 2018年01月28日
      • 日本株データベースにおける曜日効果を考慮した投資モデルの網羅的分析 (特集 「ビジネスにおける機械学習/人工知能」及び一般)
        林 大祐; 羽室 行信; 岡田 克彦; 湊 真一
        人工知能基本問題研究会, 2018年01月28日
      • 厳密被覆問題の高速な全解列挙法 (特集 人に迫るAI,人に寄り添うAI : corevoを支えるコミュニケーション科学)
        西野 正彬; 安田 宜仁; 湊 真一; 永田 昌明
        NTT技術ジャーナル, 2017年09月
      • フロンティア法による強連結な部分グラフの列挙 (特集 「人と接する人工知能技術」および一般)
        鈴木 浩史; 石畠 正和; 湊 真一
        人工知能基本問題研究会, 2017年08月08日
      • 仮想NW埋込高速化のための総容量変化を最小化するNW簡約手法 (情報ネットワーク)
        間野 暢; 井上 武; 水谷 公宏; 湊 真一; 明石 修
        電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2017年07月18日
      • 敵対的組合せバンディット問題に対するZDDを用いたアルゴリズム (情報論的学習理論と機械学習)
        坂上 晋作; 石畠 正和; 湊 真一
        電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2017年06月23日
      • 系列二分決定グラフを用いた頻出部分グラフの圧縮表現
        岡崎 文哉; 奥山 葉月; 瀧川 一学; 湊 真一
        JSAI大会論文集, 2017年
      • ZDDと列挙問題―最新の技法とプログラミングツール
        戸田 貴久; 斎藤 寿樹; 岩下 洋哲; 川原 純; 湊 真一
        コンピュータ ソフトウェア, 2017年
      • ZDDと列挙問題―最新の技法とプログラミングツール
        戸田 貴久; 斎藤 寿樹; 岩下 洋哲; 川原 純; 湊 真一
        コンピュータ ソフトウェア, 2017年
      • 平行移動不変な非負値行列因子分解とその分析
        鈴木慶介; 今井英幸; ZHANG Ruoni; 瀧川一学; 瀧川一学; 湊真一
        情報科学技術フォーラム講演論文集, 2016年08月23日
      • モデル検査によるSmart Objectの近傍近接連携モデルの検証 (特集 「人工知能・機械学習技術の他分野への応用」および一般)
        蓑田 玲緒奈; 湊 真一
        人工知能基本問題研究会, 2016年08月07日
      • 列挙木とMCMCを組み合わせた部分グラフサンプリングアルゴリズムの構築 (特集 「人工知能・機械学習技術の他分野への応用」および一般)
        和佐 州洋; 石畠 正和; 宇野 毅明; 湊 真一
        人工知能基本問題研究会, 2016年08月07日
      • ZDDを用いたグラフ列挙索引化における頂点インデックスの追加 (特集 「人工知能・機械学習技術の他分野への応用」および一般)
        鈴木 浩史; 湊 真一
        人工知能基本問題研究会, 2016年08月07日
      • 順列のサイクルタイプ同値類分割に対する順列決定グラフの適用 (特集 「人工知能・機械学習技術の他分野への応用」および一般)
        井上 祐馬; 湊 真一
        人工知能基本問題研究会, 2016年08月07日
      • 私は何がしたかったのか,そしてどのように進んできたのか (つながりが創発するイノベーション(第7回))
        湊 真一
        人工知能 : 人工知能学会誌 : journal of the Japanese Society for Artificial Intelligence, 2016年05月
      • 1-A-4 m連結成分分割の高速列挙法と区割の比較(情報・離散最適化)
        川原 純; 堀田 敬介; 堀山 貴史; 湊 真一
        日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2015年09月10日
      • 系列二分決定グラフを用いた全頂点対ウォークの列挙と索引化 (Theoretical Foundations of Computing)
        青木 洋士; 安田 宜仁; 湊 真一
        電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2015年09月01日
      • BI-2-1 離散構造処理系プロジェクト : 最近の話題と今後の展望(BI-2.離散構造処理の技法と情報ネットワークへの応用,依頼シンポジウム,ソサイエティ企画)
        湊 真一
        電子情報通信学会ソサイエティ大会講演論文集, 2015年08月25日
      • F-021 MEET演算を用いた組合せ集合間の類似度の定義と応用(F分野:人工知能・ゲーム,一般論文)
        竹内 文登; 鈴木 浩史; 白石 恒介; 井上 祐馬; 湊 真一
        情報科学技術フォーラム講演論文集, 2015年08月24日
      • A-009 ZDDのトップダウン構築における変数順序付け法の実験と考察(A分野:モデル・アルゴリズム・プログラミング,一般論文)
        伊藤 華; 井上 祐馬; 湊 真一
        情報科学技術フォーラム講演論文集, 2015年08月24日
      • 頂点誘導部分グラフを列挙索引化するフロンティア法 (コンピュテーション)
        鈴木 浩史; 湊 真一
        電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2015年04月23日
      • ハイパーグラフにおける極大独立集合列挙のためのZDD構築手法 (コンピュテーション)
        菅谷 輝治; 戸田 貴久; 湊 真一
        電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2015年03月09日
      • DS-1-7 次数制約を満たす部分グラフを列挙するためのフロンティア法の効率化(DS-1.COMP-ELC学生シンポジウム,シンポジウムセッション)
        鈴木 浩史; 湊 真一
        電子情報通信学会総合大会講演論文集, 2015年02月24日
      • DS-1-12 問題の性質を考慮した分解法に基づく決定グラフの選択(DS-1.COMP-ELC学生シンポジウム,シンポジウムセッション)
        井上 祐馬; 湊 真一
        電子情報通信学会総合大会講演論文集, 2015年02月24日
      • 問題の性質を考慮した分解法に基づく決定グラフの選択
        井上祐馬; 湊真一; 湊真一
        電子情報通信学会大会講演論文集(CD-ROM), 2015年02月24日
      • 次数制約を満たす部分グラフを列挙するためのフロンティア法の効率化
        鈴木浩史; 湊真一
        電子情報通信学会大会講演論文集(CD-ROM), 2015年02月24日
      • 状態遷移の並列比較によるNFA照合高速化
        倉井 龍太郎; 安田 宜仁; 湊 真一
        人工知能学会全国大会論文集, 2015年
      • 組合せ集合のmeet演算による共通因子抽出
        竹内 文登; 安田 宜仁; 湊 真一
        人工知能学会全国大会論文集, 2015年
      • オイラー路の高速な列挙索引化アルゴリズム
        ホリルロハマン ムハマド; 湊 真一
        人工知能学会全国大会論文集, 2015年
      • Counting by ZDD.
        Shin-ichi Minato
        Encyclopedia of Algorithms, 2015年, 査読有り
      • 木刈込みに基づく文書要約のためのZDDを用いた動的計画法
        西野正彬; 安田宜仁; 平尾努; 湊真一; 湊真一; 永田昌明
        言語処理学会年次大会発表論文集(Web), 2015年
      • 順列の圧縮列挙索引化とソーティング (小特集 「フカシギの数え方」から広がるアルゴリズムの理工学 : 二分決定グラフによる離散構造処理と広がる応用分野)
        川原 純; 湊 真一
        電子情報通信学会誌 = The journal of the Institute of Electronics, Information and Communication Engineers, 2014年12月
      • 二分決定グラフによる離散構造処理の概観 (小特集 「フカシギの数え方」から広がるアルゴリズムの理工学 : 二分決定グラフによる離散構造処理と広がる応用分野)
        湊 真一
        電子情報通信学会誌 = The journal of the Institute of Electronics, Information and Communication Engineers, 2014年12月
      • 順列決定グラフ(πDD)を用いたオイラー路の高速な列挙索引化 (Theoretical Foundations of Computing)
        井上 祐馬; 湊 真一
        電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2014年10月08日
      • 分枝限定法を用いた系統構成切替による年間の配電損失最小化手法
        竹延祐二; 河野俊介; 林泰弘; 安田宜仁; 湊真一
        電気学会電力技術研究会資料, 2014年09月24日
      • MDDを用いたSDNグローバルビューのためのパケット分類手法 (情報ネットワーク)
        井上 武; 間野 暢; 水谷 后宏; 湊 真一; 明石 修
        電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2014年09月11日
      • 系統構成切替による年間の配電損失最小化手法
        竹延祐二; 河野俊介; 林泰弘; 安田宜仁; 湊真一
        電気学会電力・エネルギー部門大会論文集(CD-ROM), 2014年09月10日
      • Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation
        Jun Kawahara; Takeru Inoue; Hiroaki Iwashita; Shin-ichi Minato
        TCS Technical Reports, Division of Computer Science, Hokkaido University, 2014年09月
      • A-009 ベイジアンネットワークの確率計算のためのZDD分解法に関する実験と考察(A分野:モデル・アルゴリズム・プログラミング,一般論文)
        高 サン; 湊 真一
        情報科学技術フォーラム講演論文集, 2014年08月19日
      • A-017 グラフの各頂点を高々2回まで通る経路数の下界の改善(A分野:モデル・アルゴリズム・プログラミング,一般論文)
        ホリルロハマン ムハマド; 湊 真一
        情報科学技術フォーラム講演論文集, 2014年08月19日
      • Packet Classification for Global Network View of Software-Defined Networking
        Takeru Inoue; Toru Mano; Kimihiro Mizutani; Shin-ichi Minato; Osamu Akashi
        TCS Technical Reports, Division of Computer Science, Hokkaido University, 2014年07月
      • 就職活動学生向けの企業情報推薦システムの提案
        鮑若愚; 白井康之; 湊真一
        第76回全国大会講演論文集, 2014年03月11日
      • DS-1-10 グラフの各頂点を高々2回まで通る経路の数え上げ(DS-1.COMP-ELC学生シンポジウム,シンポジウムセッション)
        ホリルロハマン ムハマド; 湊 真一
        電子情報通信学会総合大会講演論文集, 2014年03月04日
      • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
        Shin-Ichi Minato; Shigeru Yamashita
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014年
      • Verifying Distribution Networks for Secure Restoration by Enumerating All Critical Failures
        Takeru Inoue; Norihito Yasuda; Shunsuke Kawano; Yuji Takenobu; Shin-ichi Minato; Yasuhiro Hayashi
        TCS Technical Reports, Division of Computer Science, Hokkaido University, 2014年01月
      • ULIBCライブラリを用いた共有メモリ型並列アルゴリズムの高速化
        安井 雄一郎; 藤澤 克樹; 竹内 聖悟; 湊 真一
        ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集, 2013年12月31日
      • 巨大で疎な組合せ集合を表現するための三分索引化ZDD
        青木 洋士; 戸田 貴久; 湊 真一
        電子情報通信学会技術研究報告. COMP, コンピュテーション, 2013年10月11日
      • 1-D-4 ZDDを用いた都市の避難所割り当ての列挙(災害対策)
        瀧澤 重志; 武知 祥史; 大田 章雄; 中野 浩太郎; 加藤 直樹; 井上 武; 堀山 貴史; 川原 純; 湊 真一
        日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013年09月11日
      • Graphillion: Software Library Designed for Very Large Sets of Graphs in Python
        Takeru Inoue; Hiroaki Iwashita; Jun Kawahara; Shin-ichi Minato
        TCS Technical Reports, Division of Computer Science, Hokkaido University, 2013年06月
      • 写像枝を用いた系列二分決定グラフの効率化
        青木 洋士; 湊 真一; 山下 茂
        研究報告アルゴリズム(AL), 2013年05月10日
      • ゼロサプレス型二分決定グラフに基くコンパクトかつ高速な索引構造(一般)
        伝住 周平; 川原 純; 津田 宏治; 有村 博紀; 湊 真一; 定兼 邦彦
        電子情報通信学会技術研究報告. COMP, コンピュテーション, 2013年03月11日
      • 「今どきの若者」にとっての学会とは
        湊 真一
        コンピュータソフトウェア, 2013年01月25日
      • 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法
        岩下 洋哲; 川原 純; 湊 真一
        電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング : IEICE technical report, 2012年11月19日
      • ERATO湊離散構造処理系プロジェクトの概要と今後の展望について(ブロードバンドアクセス,ホームネットワーク,ネットワークサービス,通信利用アプリケーション,一般)
        湊 真一
        電子情報通信学会技術研究報告. CS, 通信方式, 2012年11月14日
      • 特集にあたって
        湊 真一
        オペレーションズ・リサーチ : 経営の科学 = [O]perations research as a management science [r]esearch, 2012年11月01日
      • 最先端の開拓者たち 湊真一氏 北海道大学大学院 情報科学研究科 教授 世界的権威が認めた超高速アルゴリズム 電力危機に挑む
        湊 真一
        日経コンピュータ, 2012年09月27日, 招待有り
      • Loss Minimization of Power Distribution Networks with Guaranteed Error Bound
        Takeru Inoue; Keiji Takano; Takayuki Watanabe; Jun Kawahara; Ryo Yoshinaka; Akihiro Kishimoto; Koji Tsuda; Shin-ichi Minato; Yasuhiro Hayashi
        TCS Technical Reports, Division of Computer Science, Hokkaido University, 2012年08月
      • フロンティア法を用いた電力網解析手法
        井上 武; 高野 圭司; 渡辺 喬之; 川原 純; 吉仲 亮; 岸本 章宏; 津田 宏治; 湊 真一; 林 泰弘
        電子情報通信学会技術研究報告. IN, 情報ネットワーク, 2012年07月12日
      • フロンティア法 : BDD/ZDDを用いた高速なグラフ列挙索引化の技法(新世代・次世代ネットワーク,ネットワークとシステムの仮想化,仮想化環境の管理・監視,オーバーレイ,IPv6ネットワーク,フォトニックネットワーク及び一般)
        湊 真一
        電子情報通信学会技術研究報告. IN, 情報ネットワーク, 2012年07月12日
      • フロンティア法を用いた電力網解析手法(新世代・次世代ネットワーク,ネットワークとシステムの仮想化,仮想化環境の管理・監視,オーバーレイ,IPv6ネットワーク,フォトニックネットワーク及び一般)
        井上 武; 高野 圭司; 渡辺 喬之; 川原 純; 吉仲 亮; 岸本 章宏; 津田 宏治; 湊 真一; 林 泰弘
        電子情報通信学会技術研究報告. IN, 情報ネットワーク, 2012年07月12日
      • 組合せ問題の解を列挙索引化するZDD構築アルゴリズムの汎用化
        川原 純; 湊 真一
        電子情報通信学会技術研究報告. COMP, コンピュテーション, 2012年06月14日
      • 系列二分決定グラフを操作するための豊富な演算体系の構築
        伝住 周平; 有村 博紀; 湊 真一
        電子情報通信学会技術研究報告. COMP, コンピュテーション, 2012年06月14日
      • 配電網の最適経路を探索し、配電ロスを最小化へ 「超高速アルゴリズム」にできること
        湊 真一
        科学技術振興機構 広報誌 JST NEWS, 2012年05月, 招待有り
      • 写像枝を用いた系列二分決定グラフ (Theoretical Foundations of Computing)
        青木 洋士; 山下 茂; 湊 真一
        電子情報通信学会技術研究報告 : 信学技報, 2012年04月27日
      • 写像枝を用いた系列二分決定グラフ
        青木 洋士; 山下 茂; 湊 真一
        電子情報通信学会技術研究報告. COMP, コンピュテーション, 2012年04月20日
      • DK-2-1 フロンティア法 : ZDDを用いた極めて高速なグラフ列挙索引化アルゴリズム(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
        湊 真一
        電子情報通信学会総合大会講演論文集, 2012年03月06日
      • DK-2-2 フロンティア法の種々のリンクパズル問題への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
        吉仲 亮; 岩下 洋哲; 川原 純; 斎藤 寿樹; 鶴間 浩二; 湊 真一
        電子情報通信学会総合大会講演論文集, 2012年03月06日
      • DK-2-3 フロンティア法の電力網構成制御への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
        井上 武; 高野 圭司; 渡辺 喬之; 川原 純; 吉仲 亮; 岸本 章宏; 津田 宏治; 湊 真一; 林 泰弘
        電子情報通信学会総合大会講演論文集, 2012年03月06日
      • ZDDを用いた系統運用制約を満たす配電網構成の網羅的探索手法
        井上武; 高野圭司; 渡辺喬之; 川原純; 吉仲亮; 岸本章宏; 津田宏治; 湊真一; 林泰弘
        電気学会 全国大会, 2012年03月
      • フロンティア法の電力網構成制御への応用
        井上武; 高野圭司; 渡辺喬之; 川原純; 吉仲亮; 岸本章宏; 津田宏治; 湊真一; 林泰弘
        電子情報通信学会 総合大会, 2012年03月
      • ZDDを用いた行列圧縮における演算高速化 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (自然言語処理・情報検索)
        西野 正彬; 安田 宜仁; 湊 真一
        人工知能学会全国大会論文集, 2012年
      • ユーザレビューに基づく多目的情報評価方法の提案 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (Webインテリジェンス)
        鮑 若愚; 白井 康之; 湊 真一
        人工知能学会全国大会論文集, 2012年
      • 「おめでとうソサイエティ論文賞」ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法
        湊真一; 有村博紀
        電子情報通信学会 情報・システムソサイエティ誌, 2010年11月, 招待有り
      • 非巡回正規表現に対する効率的なパターン照合 (アルゴリズム(AL) Vol.2010-AL-130)
        金田 悠作; 湊 真一; 有村 博紀
        情報処理学会研究報告, 2010年06月
      • 効率良い正規表現照合のための並列ビット分配にもとづいたハードウェア指向アルゴリズム(アプリケーション2,FPGA応用及び一般)
        金田 悠作; 吉澤 真吾; 湊 真一; 有村 博紀; 宮永 喜一
        電子情報通信学会技術研究報告. RECONF, リコンフィギャラブルシステム, 2010年01月19日
      • BDD上の命題化計算に基づくEMアルゴリズム
        石畠 正和; 亀谷 由隆; 佐藤 泰介; 湊 真一
        人工知能学会論文誌, 2010年
      • JST戦略的創造研究推進事業EARTOプロジェクトの採択について
        湊 真一
        北海道大学大学院情報科学研究科広報誌 IST NEWS, 2010年01月, 招待有り
      • D. E. Knuthの名著「The Art of Computer Programming」に、研究成果「ZDD」が掲載されたことについて
        湊 真一
        北海道大学大学院情報科学研究科広報誌 IST NEWS, 2009年07月, 招待有り
      • F-050 ベイジアンネットワークを表現するゼロサプレス型BDDの変数順序付けに関する実験と考察(人工知能・ゲーム,一般論文)
        礒松 紘平; 湊 真一
        情報科学技術フォーラム講演論文集, 2008年08月20日
      • BDD上の命題化確率計算に基づくEMアルゴリズム
        石畠正和; 亀谷由隆; 佐藤泰介; 湊真一
        人工知能学会人工知能基本問題研究会資料, 2008年06月30日
      • ゼロサプレス型二分決定グラフによる圧縮と知識発見(テーマ,膨大なデータから学ぶもの)
        倉井 龍太郎; 湊 真一; ツォイクマン トーマス
        電子情報通信学会技術研究報告. PRMU, パターン認識・メディア理解, 2008年06月12日
      • Framework of Programmable Multicast Applications Using Flexcast and Java Applet
        Shin-ichi Minato; Hirokazu Takahashi; Takeru Inoue; Hiroshi Tohjo; Kan Toyoshima
        TCS Technical Reports, Division of Computer Science, Hokkaido University, 2006年01月
      • MulticastVNCを用いた構義ノート配信システムのトラヒック特性評価
        高橋宏和; 湊真一; 井上武; 東条弘; 豊島鑑
        電子情報通信学会 総合大会, 2005年03月
      • Global Multi-Point Streaming Experiments Based on Flexcast Protocol
        Seiichiro Tani; Takeru Inoue; Shin-ichi Minato; Hirokazu Takahashi; Satoshi Kotabe; Toshiaki Miyazaki
        NTT Technical Review, 2003年08月
      • 自律広域マルチキャスト方式 Flexcast におけるソケットAPI の設計と実装
        井上武; 谷誠一郎; 湊真一; 宮崎敏明
        情報処理学会 全国大会, 2003年03月
      • BDDの規模によらず一定の実記憶の範囲内で動作するストリーム形式BDD処理アルゴリズム
        湊 真一; 石原 晋也
        情報処理学会研究報告. SLDM, [システムLSI設計技術], 2001年09月27日
      • スタンフォード大学De Micheli研究室に留学して(海外,ラボラトリーズ)
        湊 真一
        応用数理, 1997年12月15日
      • 算術論理式システムBEM‐IIを使ってパズルを解こう
        奥乃博; 湊真一
        BIT (Tokyo), 1997年04月
      • 算術論理式システムBEM-2を使ってパズルを解こう
        奥乃 博; 湊 真一
        Bit, 1997年04月
      • 座長集約 核医学(29〜34)(北海道部会)
        湊 真一
        日本放射線技術学会雑誌, 1996年
      • 二分決定グラフからの非冗長積和論理の高速生成手法
        湊真一
        情報処理学会研究報告システムLSI設計技術(SLDM), 1991年12月12日
      • 論理関数の共有二分決定グラフによる表現とその効率的処理手法
        湊 真一; 石浦 菜岐佐; 矢島 脩三
        情報処理学会研究報告システムLSI設計技術(SLDM), 1989年12月14日
      • ZDDの区間メモ化探索技法によるコスト制約組合せ問題の高速な解列挙
        湊真一; 番原睦則; 堀山貴史; 川原純; 瀧川一学; 山口勇太郎
        情報処理学会アルゴリズム研究会, 情処研報, 2022年03月, 筆頭著者, 責任著者
      • 解集合プログラミングを用いた配電網問題の解法
        山田健太郎; 湊真一; 田村直之; 番原睦則
        日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022), 2022年03月
      • DAGに対する幅とアルゴリズムに関する一考察
        森順平; 川原純; 湊真一; 笠原正治
        情報処理学会第84回全国大会講演論文集, 2022年03月
      • ZDD の反復的トップダウン構築による選挙区割問題に対する厳密解列挙高速化
        山崎宏紀; 川原純; 湊真一
        情報処理学会第84回全国大会講演論文集, 2022年03月, 最終著者
      • A ZDD-Based Algorithm for Solving Minimum Weighted Vertex Cover Problems and Its Evaluation
        Xiang Liu; Shin-ichi Minato
        Proc. of the 84th National Convention of IPSJ, 2022年03月, 最終著者
      • レプ・タイルの定式化を用いた各種ソルバの性能比較
        番原 睦則; 橋本 健二; 堀山 貴史; 湊 真一; 中村 駆; 西野 正彬; 酒井 正彦; 上原 隆平; 宇野 裕之; 安田 宜仁
        人工知能学会研究会資料 人工知能基本問題研究会, 2022年01月20日
      • Sorting Balls and Water: Equivalence and Computational Complexity.
        Takehiro Ito; Jun Kawahara; Shin-ichi Minato; Yota Otachi; Toshiki Saitoh; Akira Suzuki; Ryuhei Uehara; Takeaki Uno; Katsuhisa Yamanaka; Ryo Yoshinaka
        CoRR, 2022年
      • Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions.
        Shin-ichi Minato; Mutsunori Banbara; Takashi Horiyama; Jun Kawahara; Ichigaku Takigawa; Yutaro Yamaguchi 0005
        CoRR, 2022年01月
      • Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions.
        Mutsunori Banbara; Kenji Hashimoto; Takashi Horiyama; Shin-ichi Minato; Kakeru Nakamura; Masaaki Nishino; Masahiko Sakai; Ryuhei Uehara; Yushi Uno; Norihito Yasuda
        CoRR, 2021年10月
      • 解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察
        山田悠也; 湊真一; 番原睦則
        日本ソフトウェア科学会大会講演論文集(Web), 2021年09月
      • BDDに基づく光論理回路における双対端子を利用した面積と電力の削減手法
        松尾 亮祐; 湊 真一
        2021年08月25日
      • 学術変革領域(A)「社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化」の概要と今後の研究活動について
        湊真一
        電子情報通信学会技術研究報告(Web), 2021年05月
      • 特集「若手研究者」の編集にあたって
        湊 真一
        2021年03月15日
      • 大規模文字列集合データを表現するSequence BDDの高速な構築手法とその評価
        杉野 創; 川原 純; 湊 真一
        人工知能学会全国大会論文集, 2021年
      • パストランジスタ回路の網羅的列挙による素子数最小回路の探索
        清水亮太; 湊真一
        情報処理学会SLDM研究会 DAシンポジウム2020予稿集, 2020年09月, 最終著者
      • 任意の可逆論理関数を実現可能な部分回路を持つ最小のトフォリゲート回路の構成
        加藤剛; 湊真一
        情報処理学会SLDM研究会 DAシンポジウム2020予稿集, 2020年09月, 最終著者
      • 非冗長積和形生成とその因数分解による論理関数の simple disjunctive decomposition の抽出
        湊真一
        DAシンポジウム '98, July, 1998年
      • Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems
        MINATO S. -I.
        Proc. 30th ACM/IEEE Design Automation Conference, 1993年
      • Binary Decision Diagrams and Applications for VLSI CAD
        MINATO S. -I.
        Reliability, 1992年
      • 共有二分決定グラフの「幅」に着目した変数の順序づけ手法
        湊真一
        第42回情報処理学会全国大会, 1991年
      • 二分決定グラフからの非冗長積和形の高速生成法
        湊真一
        電子情報通信学会技術報告, 1991年

      講演・口頭発表等

      • Recent Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation
        Shin-ichi Minato
        International Workshop on Logic and Synthesis, 2020年07月29日, 招待有り
      • Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling
        Shin-ichi Minato
        KOCOON Workshop, 2019年12月18日
      • 離散構造処理系プロジェクト:10年の研究経過と今後の展開
        湊 真一
        情報処理学会第81回全国大会, 2019年03月15日, 情報処理学会
      • Algorithmic Techniques for Discrete Structure Manipulation and Application to Chemical Reaction Network Analysis
        Shin-ichi Minato
        1st ICReDD International Symposium, Institute for Chemical Reaction Design and Discovery, Hokkaido University, 2019年03月13日, Institute for Chemical Reaction Design and Discovery, Hokkaido University, 招待有り
      • グラフ・列挙・確率に関わる離散構造処理アルゴリズムの最近の研究トピックについて
        湊 真一
        人工知能学会 人工知能基本問題研究会 合同研究会企画シンポジウム, 2018年11月23日, 人工知能学会 人工知能基本問題研究会
      • Decision Diagram-Based Techniquesfor Enumeration Problems and Applications
        Shin-ichi Minato
        2nd International Workshop on Enumeration Problems & Applications (WEPA 2018), 2018年11月08日, WEPA Organizing Committee, 招待有り
      • 離散構造処理系:その概要と最近の研究状況について
        湊 真一
        第21回情報論的学習理論ワークショップ (IBIS 2018), 2018年11月05日, 電子情報通信学会 IBIS-ML研究会, 招待有り
      • 離散構造処理系プロジェクトの近況について
        湊 真一
        電子情報通信学会コンピュテーション研究会, 2018年10月26日, 招待有り
      • 離散構造処理系の技法と組合せ列挙・最適化
        湊 真一
        進化計算シンポジウム 2017, 2017年12月09日, 進化計算学会, 招待有り
      • “BDD/ZDD-based enumeration techniques and real-life applications
        Shin-ichi Minato
        EPFL Workshop on Logic Synthesis and Emerging Technologies, 2017年09月29日, EPFL, 招待有り
      • Power of Enumeration ― BDD/ZDD-Based Techniques for Solving Combinatorial Problems
        Shin-ichi Minato
        The 10th Annual Symposium on Combinatorial Search (SoCS2017), 2017年06月17日, SoCS Organizing Committee, 招待有り
      • 「フカシギの数え方」― 組合せ爆発に立ち向かう最先端アルゴリズム 技術
        湊 真一
        国立情報学研究所オープンハウス2013基調講演, 2013年06月14日, 国立情報学研究所, 招待有り
      • フカシギの不思議
        湊 真一
        日本科学未来館 第11期メディアラボ トークイベ ント, 2013年01月19日, 日本科学未来館, 招待有り
      • 2019年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
        湊真一, 監修
        基盤(S)離散構造処理系プロジェクト, 2020年08月
      • 基礎から学ぶ情報理論 第2版
        中村, 篤祥; 喜田, 拓也; 湊, 真一; 廣瀬, 善大, 共著
        ムイスリ出版, 2020年, 査読無し
      • 2018年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
        湊 真一, 監修
        基盤(S)離散構造処理系プロジェクト, 2019年09月
      • 2017年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
        湊 真一
        基盤(S)離散構造処理系プロジェクト,, 2018年07月, 査読無し
      • 人工知能学大事典, 人工知能学会編
        湊 真一, 分担執筆, BDD とZDD, 6章-36節, pp. 344-34
        共立出版, 2017年07月, 査読無し
      • 2016年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
        湊 真一, 監修
        基盤(S)離散構造処理系プロジェクト,, 2017年06月, 査読無し
      • 2015年度 JST ERATO湊離散構造処理系プロジェクト / JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
        湊 真一, 監修
        基盤(S)離散構造処理系プロジェクト,, 2016年06月, 査読無し
      • 確率的グラフィカルモデル
        鈴木, 譲; 植野, 真臣; 黒木, 学(工学); 清水, 昌平; 湊, 真一; 石畠, 正和; 樺島, 祥介; 田中, 和之; 本村, 陽一; 玉田, 嘉紀, 分担執筆, 離散構造処理の技法と確率モデル, 第5章, pp. 125-144
        共立出版, 2016年, 査読無し
      • 2014年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録
        湊 真一, 監修
        ERATO湊離散構造処理系プロジェクト, 2015年06月, 査読無し
      • 超高速グラフ列挙アルゴリズム-〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ-
        ERATO 湊離散構造処理系プロジェクト; 湊真一, 編者(編著者)
        森北出版, 2015年04月08日, 査読無し
      • 超高速グラフ列挙アルゴリズム : 「フカシギの数え方」が拓く, 組合せ問題への新アプローチ
        湊, 真一; ERATO湊離散構造処理系プロジェクト; 科学技術振興機構
        森北出版, 2015年
      • Applications of Zero-Suppressed Decision Diagrams (Synthesis Lectures on Digital Circuits and Systems)
        T. Sasao; J. Butler; ditor, 分担執筆, The Power of Enumeration - BDD/ZDD-Based Algorithms for Tackling Combinatorial Explosion, chapter 3, pp. 49-62
        Morgan & Claypool Publishers, 2014年11月, 査読無し
      • Encyclopedia of Algorithms
        Ming-Yang Kao, 分担執筆, Counting by ZDD
        2014年09月, 査読無し
      • Reversible Computation," 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
        Shigeru Yamashita; Shin-ichi Minato, 共編者(共編著者)
        Springer, 2014年07月, 査読無し
      • 2013年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録
        湊 真一, 監修
        ERATO湊離散構造処理系プロジェクト, 2014年07月, 査読無し
      • 2012年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録
        湊 真一, 監修
        ERATO湊離散構造処理系プロジェクト, 2013年07月, 査読無し
      • 基礎から学ぶ情報理論
        中村, 篤祥; 喜田, 拓也; 湊, 真一
        ムイスリ出版, 2013年
      • 2011年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録
        湊 真一, 監修
        ERATO湊離散構造処理系プロジェクト, 2012年07月, 査読無し
      • 2010年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録
        湊 真一, 監修
        ERATO湊離散構造処理系プロジェクト, 2011年06月, 査読無し
      • 電子情報通信学会「知識ベース」
        湊 真一, 分担執筆, 論理代数と論理関数
        電子情報通信学会, 2011年03月, 査読無し
      • Interdisciplinary advances in adaptive and Intelligent assistant Systems: concepts, techniques, applications, and Use
        Shin-ichi Minato; Nicolas Spyratos, 分担執筆, BDD-Based Combinatorial Keyword Query Processing
        IGI Global, 2011年01月, 査読無し
      • Progress in Representation of Discrete Functions (Synthesis Lectures on Digital Circuits and Systems)
        Shin-ichi Minato, 分担執筆, Data Mining Using Binary Decision Diagrams
        Morgan & Claypool Publishers, 2010年05月, 査読無し
      • 英語で学ぶ計算理論
        Thomas Zeugmann; 湊 真一; 大久保 好章; Thomas Zeugmann, 共著
        コロナ社, 2009年03月, 査読無し
      • New frontiers in applied data minig : PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008 : revised selected papers
        Pacific-Asia Conference on Knowledge Discovery and Data Mining; Chawla, Sanjay; Washio, Takashi; 湊, 真一; 津本, 周作; Onoda, Takashi; Yamada, Seiji; Inokuchi, Akihiro, 共編者(共編著者)
        Springer, 2009年02月, 査読無し
      • 英語で学ぶ計算理論 = Theory of computation
        Zeugmann, Thomas; 湊, 真一; 大久保, 好章
        コロナ社, 2009年
      • 二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究
        湊, 真一
        [北海道大学大学院情報科学研究科], 2008年
      • The VLSI Handbook
        Shin-ichi Minato; Saburo Muroga, 分担執筆, Binary Decision Diagrams
        CRC/IEEE Press, 1999年12月, 査読無し
      • Binary Decision Diagrams and Applications for VLSI CAD
        Shin-ichi Minato, 単著
        Kluwer Academic Publishers, 1996年11月, 査読無し
      • Representation of Discrete Functions
        Shin-ichi Minato, 分担執筆, Graph-Based Representations of Discrete Functions
        Kluwer Academic Publishers, 1996年05月, 査読無し
      • Binary decision diagrams and applications for VLSI CAD
        湊, 真一
        Kluwer Academic

      Works(作品等)

      • YouTube アニメーション動画(監修) 「フカシギの数え方 おねえさんといっしょ! みんなで数えてみよう!」
        湊 真一
        自 2012年08月, 至 現在
      • Graphillion
        JST ERATO湊離散構造処理系プロジェクト
        自 2012年, 至 現在
      • 北海道大学総合博物館 企画展示 「フカシギの数え方」
        湊 真一
        自 2013年07月, 至 2014年04月
      • 日本科学未来館 研究成果展示 「フカシギの数え方」
        湊 真一
        自 2012年08月, 至 2013年04月
      • Knuth; The Art of Computer Programming への研究成果の掲載、および同書の校訂作業への協力
        自 2008年
      • VSOP: 「重み付き積和集合」計算プログラム
        自 2005年

      受賞

      • 2022年04月20日
        令和4年度 科学技術分野の文部科学大臣表彰 科学技術賞(研究部門)
      • 2019年06月01日
        日本計算機統計学会, 論文賞
      • 2021年05月11日
        情報処理学会 論文編集委員会, 論文編集貢献賞

      外部資金:科学研究費補助金

      • 大規模離散構造の理解と革新的アルゴリズム基盤の創出
        学術変革領域研究(A)
        学術変革領域研究区分(Ⅳ)
        北海道大学
        堀山 貴史
        自 2020年11月19日, 至 2025年03月31日, 交付
        大規模離散構造;列挙アルゴリズム;文字列アルゴリズム;SATアルゴリズム;グラフアルゴリズム
      • 研究領域「革新的アルゴリズム基盤」の組織運営と研究推進
        学術変革領域研究(A)
        学術変革領域研究区分(Ⅳ)
        京都大学
        湊 真一
        自 2020年11月19日, 至 2025年03月31日, 交付
        革新的アルゴリズム基盤;組織運営;研究推進
      • 離散構造処理系に基づく列挙と最適化の統合的技法の研究
        基盤研究(A)
        中区分61:人間情報学およびその関連分野
        京都大学
        湊 真一
        自 2020年04月01日, 至 2025年03月31日, 交付
        アルゴリズム;離散構造;演算処理系;列挙;索引化
      • 社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化
        学術変革領域研究(A)
        自 2020年11月19日, 至 2025年03月31日
      • 実世界知識基盤形成のための次世代半構造マイニング技術の研究
        基盤研究(A)
        北海道大学
        有村 博紀
        自 2016年04月01日, 至 2020年03月31日, 完了
        非構造データ;意味マイニング;時空間データマイニング;イベントストリーム処理;高次元非構造データ検索;大規模知識索引;知識発見;ビッグデータ;半構造データ;データマイニング;ストリーム処理
      • 離散構造処理系の基盤アルゴリズムの研究
        基盤研究(S)
        京都大学;北海道大学
        湊 真一
        自 2015年05月29日, 至 2020年03月31日, 完了
        離散構造;アルゴリズム;論理関数;組合せ集合;大規模データ処理;グラフ理論;最適化;列挙;離散構造処理系;二分決定グラフ;列挙アルゴリズム;ZDD;データ構造;演算処理系;索引化;BDD;グラフアルゴリズム;網羅的解析
      • 建築・都市分野における離散数理基盤の構築と大規模最適化への展開
        基盤研究(A)
        関西学院大学;京都大学
        加藤 直樹
        自 2013年04月01日, 至 2017年03月31日, 完了
        最速フロー;組合せ剛性理論;大域剛性;避難計画;ブレース追加問題;普遍的最速フロー;冗長剛性;最速フロー問題;多面体平坦折り畳み;動的フロー;避難所配置問題;帰宅シミュレーション;最速避難計画;最適避難所配置;動的ネットワークフロー;最速避難計画問題;トラス・トポロジー最適化;3次元一般剛性
      • 極限的に簡潔なBDDデータ構造の研究
        挑戦的萌芽研究
        北海道大学
        湊 真一
        自 2012年04月01日, 至 2015年03月31日, 完了
        BDD;ZDD;簡潔データ構造;離散構造;論理関数;組合せ集合
      • 大規模知識基盤形成のための次世代半構造マイニング技術の展開
        基盤研究(A)
        北海道大学
        有村 博紀
        自 2012年04月01日, 至 2016年03月31日, 完了
        大規模半構造データ;データマイニング;高次元データ検索;イベントストリーム処理;知識索引;知識発見;ビッグデータ;非構造データ;大規模知識索引;高次元非構造データ検索;半構造マイニング;トラジェクトリ照合;群パターンマイニング;ZDD;半構造マイニングエンジン;部分超グラフ列挙;半構造データ;ストリーム処理;超低メモリアルゴリズム;イベント照合
      • 多面的アプローチの統合による計算限界の解明
        新学術領域研究(研究領域提案型)
        理工系
        東京工業大学
        渡辺 治
        自 2012年06月28日, 至 2017年03月31日, 完了
        計算限界解明;研究連携促進;研究拠点形成;若手研究者の育成;成果の総括;成果の波及;計算複雑さの理論;アルゴリズム理論;計算量上下界解析;成果の総括と公表;計算限界解明手法の開拓;多視点からの連携研究;国際研究者交流;各種啓発・研究成果波及;若手研究者育成;多視点からの統合的解析;計算限界研究センター;計算理論若手研究者育成;ELC 秋学校;ELC Seminar;ELC Workshop
      • コンパクトな論理記述に基づく協力ゲーム理論の再構築
        基盤研究(C)
        九州大学
        櫻井 祐子
        自 2011年04月28日, 至 2015年03月31日, 完了
        マルチエージェントシステム;協力ゲーム;提携構造形成問題;二分決定グラフ;特性関数;簡潔記述法;人工知能;ゲーム理論;情報ネットワーク経済;ゼロサプレス型二分決定グラフ
      • 情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究
        特定領域研究
        理工系
        北海道大学
        トーマス ツォイクマン;トーマス ツオイクマン
        自 2009年04月01日, 至 2011年03月31日, 完了
        情報ネットワーク;知識処理;データ構造;アルゴリズム;二分決定グラフ;計算料理論;機械学習;セキュリティ
      • 二分決定グラフに基づく大規模ベイジアンネットワーク解析処理法の研究
        挑戦的萌芽研究
        北海道大学
        湊 真一
        自 2008年04月01日, 至 2011年03月31日, 完了
        二分決定グラフ;BDD;ZDD;ベイジアンネットワーク;大規模データ処理
      • 超大規模な単一実メモリ空間を活用するデータベース解析処理アルゴリズムの研究
        基盤研究(B)
        北海道大学
        湊 真一
        自 2008年04月01日, 至 2012年03月31日, 完了
        知識発見とデータマイニング;二分決定グラフ;BDD;ZDD;データマイニング;データベース解析
      • 大規模知識基盤形成のための次世代半構造マイニング技術の研究
        基盤研究(A)
        北海道大学
        有村 博紀
        自 2008年04月01日, 至 2012年03月31日, 完了
        知識発見とデータマイニング;半構造マイニング;頻出パターン発見;エピソードマイニング;大規模知識索引;グラフマイニング;ストリーム処理;極大パターン発見;知識発見;ウェブページ
      • インフルエンザウイルスの抗原変異予測のためのパターン発見手法に関する研究
        基盤研究(B)
        北海道大学
        伊藤 公人
        自 2007年04月01日, 至 2010年03月31日, 完了
        知識発見とデータマイニング;パターン発見;アルゴリズム;生体生命情報学;インフルエンザウイルス;感染症
      • 情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究
        特定領域研究
        理工系
        北海道大学
        トーマス ツォイクマン
        自 2007年04月01日, 至 2009年03月31日, 完了
        情報ネットワーク;知識処理;データ構造;アルゴリズム;二分決定グラフ;計算料理論;機械学習;セキュリティ
      • 情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究
        特定領域研究
        理工系
        北海道大学
        トーマス ツォイクマン
        自 2006年04月01日, 至 2007年03月31日, 完了
        情報ネットワーク;知識処理;データ構造;アルゴリズム;二分決定グラフ;計算量理論;機械学習;セキュリティ
      • 二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究
        基盤研究(B)
        北海道大学
        湊 真一
        自 2005年04月01日, 至 2008年03月31日, 完了
        二分決定グラフ;BDD;ZBDD;データマイニング;データベース解析;基盤ソフトウェア, Binary Decision Diagram;BDD;ZBDD;Data Mining;Database Analysis;Basic Software
      • 知識基盤形成のための大規模半構造データからの超高速パターン発見
        特別推進研究
        理工系
        北海道大学
        有村 博紀
        自 2005年04月01日, 至 2008年03月31日, 完了
        知識基盤形成;半構造データ;データマイニング;パターン発見;知識集約型技術;知識索引;情報抽出;系列と木マイニング;知識索引構造;極太パターン発見;グラフマイニング, knowledge infrastructure formation;semi-structured data;data mining;optimized pattern discovery;knowledge society;knowledge indexing;information extraction;sequence and tree mining
      • 論理関数表現のモデルとシンボリックアルゴリズム
        特定領域研究
        理工系
        電気通信大学
        武永 康彦
        自 2004年04月01日, 至 2008年03月31日, 完了
        論理関数;アルゴリズム;二分決定グラフ;シンボリックアルゴリズム;パラメータ化計算量;グラフアルゴリズム;Tree-shellable論理関数;二分モーメントグラフ;Tree-Shellable論理関数;区間グラフ
      • 最適パターン発見に基づく大規模半構造データからの知的情報獲得システムの開発
        特定領域研究
        理工系
        北海道大学
        トーマス ツォイクマン;有村 博紀
        自 2004年04月01日, 至 2006年03月31日, 完了
        半構造データ;ウェブマイニング;XMLデータ;グラフマイニング;パターン照合;系列パターン;機械学習;文法圧縮

      外部資金:その他

      • 学習/数理モデルに基づく時空間展開型アーキテクチャの創出と応用
        JST CREST
        自 2018年10月01日, 至 2023年03月31日
        本村 真人
      • 湊離散構造処理系プロジェクト
        JST ERATO
        自 2009年10月01日, 至 2016年03月31日
        湊 真一
      list
        Last Updated :2022/11/23

        教育

        担当科目

        • 自 2022年04月01日, 至 2023年03月31日
          情報符号理論
          9129, 前期, 工学部, 2
        • 自 2022年04月01日, 至 2023年03月31日
          アルゴリズム論
          9055, 後期, 工学部, 2
        • 自 2022年04月01日, 至 2023年03月31日
          離散アルゴリズム理論
          3627, 前期, 情報学研究科, 2
        • 自 2022年04月01日, 至 2023年03月31日
          計算量理論
          3614, 後期, 情報学研究科, 2
        • 自 2018年04月, 至 2019年03月
          アルゴリズム論
          後期, 工学部
        • 自 2018年04月, 至 2019年03月
          離散アルゴリズム理論
          前期, 情報学研究科
        • 自 2019年04月, 至 2020年03月
          ILASセミナー
          前期, 全学共通科目
        • 自 2019年04月, 至 2020年03月
          アルゴリズム論
          後期, 工学部
        • 自 2019年04月, 至 2020年03月
          離散アルゴリズム理論
          前期, 情報学研究科
        • 自 2020年04月, 至 2021年03月
          情報符号理論
          前期, 工学部
        • 自 2020年04月, 至 2021年03月
          情報と職業
          前期, 工学部
        • 自 2020年04月, 至 2021年03月
          特別研究1(計算機)
          前期集中, 工学部
        • 自 2020年04月, 至 2021年03月
          特別研究1(計算機)
          後期集中, 工学部
        • 自 2020年04月, 至 2021年03月
          特別研究2(計算機)
          前期集中, 工学部
        • 自 2020年04月, 至 2021年03月
          特別研究2(計算機)
          後期集中, 工学部
        • 自 2020年04月, 至 2021年03月
          アルゴリズム論
          後期, 工学部
        • 自 2020年04月, 至 2021年03月
          離散アルゴリズム理論
          前期, 情報学研究科
        • 自 2021年04月, 至 2022年03月
          Introduction to Algorithms-E2
          前期, 全学共通科目
        • 自 2021年04月, 至 2022年03月
          工学序論
          前期集中, 工学部
        • 自 2021年04月, 至 2022年03月
          情報符号理論
          前期, 工学部
        • 自 2021年04月, 至 2022年03月
          計算量理論
          後期, 情報学研究科
        • 自 2021年04月, 至 2022年03月
          アルゴリズム論
          後期, 工学部
        • 自 2021年04月, 至 2022年03月
          離散アルゴリズム理論
          前期, 情報学研究科

        博士学位審査

        • Algorithms for Stable Matching Problems toward Real-World Applications (現実世界での応用に向けた安定マッチング問題のアルゴリズム)
          濱田 浩気, 情報学研究科, 副査
          2022年03月23日
        • Robust Service Provisioning in Network Function Virtualization (ネットワーク機能仮想化における堅牢なサービスプロビジョニング)
          ZHANG YUNCAN, 情報学研究科, 副査
          2021年09月24日
        • Studies on Implicit Graph Enumeration Using Decision Diagrams (決定グラフを用いた暗黙的グラフ列挙に関する研究)
          中畑 裕, 情報学研究科, 主査
          2021年09月24日
        • Towards Practical Inner Product Functional Encryption (実用的な内積関数型暗号に向けて)
          富田 潤一, 情報学研究科, 副査
          2021年05月24日
        list
          Last Updated :2022/11/23

          大学運営

          全学運営(役職等)

          • 自 2019年04月01日, 至 2020年03月31日
            国際高等教育院 基盤企画評価専門委員会 情報学部会 委員
          • 自 2019年04月01日, 至 2020年03月31日
            国際高等教育院 企画評価専門委員会 情報学部会 委員

          部局運営(役職等)

          • 自 2022年04月01日, 至 2024年03月31日
            情報環境機構 教育用計算機専門委員会 委員
          • 自 2022年04月01日, 至 2023年03月31日
            評価・広報委員会委員長
          • 自 2019年04月01日, 至 2020年03月31日
            図書WG委員長
          • 自 2019年04月01日, 至 2020年03月31日
            基盤整備委員会副委員長
          • 自 2020年04月01日, 至 2021年03月31日
            基盤整備委員会委員
          • 自 2020年04月01日, 至 2021年03月31日
            計算機小委員会委員長
          • 自 2020年04月01日, 至 2021年03月31日
            情報学科長
          • 自 2021年04月01日, 至 2022年03月31日
            評価・広報委員会委員
          list
            Last Updated :2022/11/23

            学術・社会貢献

            委員歴

            • 自 2020年09月, 至 現在
              創発的研究支援事業 創発アドバイザ, 科学技術振興機構
            • 自 2016年06月, 至 現在
              ACT-I 「情報と未来」 アドバイザ, 科学技術振興機構
            • 自 2019年07月, 至 2021年11月
              京都賞先端技術部門専門委員, 稲盛財団
            • 自 2020年06月, 至 2021年05月
              英文論文誌JIP 編集長, 情報処理学会
            • 自 2014年06月, 至 2020年05月
              コンピュテーション研究専門委員, 電子情報通信学会
            • 自 2014年04月, 至 2020年03月
              さきがけ「社会と調和した情報基盤技術の構築」 アドバイザ, 科学技術振興機構
            • 自 2012年, 至 2014年
              論文特集号編集委員, 電子情報通信学会
            • 自 2010年, 至 2014年
              評議員, 人工知能学会
            • 自 2007年, 至 2014年
              情報ネットワーク研究専門委員会, 電子情報通信学会
            • 自 2011年06月, 至 2012年05月
              京都賞先端技術部門専門委員, 稲盛財団
            • 自 2010年, 至 2012年
              論文特集号編集委員, 情報処理学会
            • 自 2010年, 至 2012年
              論文特集号編集委員, 電子情報通信学会
            • 自 2009年, 至 2011年
              論文特集号編集委員, 電子情報通信学会
            • 自 2008年, 至 2010年
              論文特集号編集委員, 電子情報通信学会
            • 自 2007年, 至 2009年
              論文特集号編集委員, 電子情報通信学会
            • 自 2006年, 至 2008年
              論文特集号編集委員, 電子情報通信学会
            • 自 2005年, 至 2007年
              論文特集号編集委員, 情報処理学会
            • 自 2005年, 至 2007年
              論文特集号編集委員, 電子情報通信学会
            • 自 2004年, 至 2006年
              論文特集号編集委員, 情報処理学会
            • 自 2004年, 至 2006年
              論文特集号編集委員, 電子情報通信学会

            ページ上部へ戻る