Researchers Information System

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

Minato, Shinichi

Graduate School of Informatics, Department of Informatics Professor

Minato, Shinichi
list
    Last Updated :2024/03/20

    Basic Information

    Faculty

    • 工学部

    Professional Memberships

    • From 2020, To Present
      JAPANESE SOCIETY OF COMPUTATIONAL STATISTICS
    • From 2006, To Present
      JSAI
    • From 1992, To Present
      IEEE (CAS)
    • From 1991, To Present
      IEICE
    • From 1988, To Present
      IPSJ

    Academic Degree

    • M. Eng.(Kyoto University)
    • Dr. Eng.(Kyoto University)

    Academic Resume (Graduate Schools)

    • Kyoto University, Graduate School of Engineering, Division of Information Science, 修了
    • Kyoto University, Graduate School of Engineering, Division of Information Science, 修了

    Academic Resume (Undergraduate School/Majors)

    • Kyoto University, Faculty of Engineering, Departmet of Information Science, 卒業

    High School

    • High School

      金沢大学教育学部附属高等学校

    Research History

    • From Apr. 2023, To Present
      京都大学 情報環境機構, 副機構長
    • From Apr. 2023, To Present
      情報学科・専攻協議会, 会長
    • From Jun. 2021, To Present
      情報処理学会, 理事
    • From Apr. 2018, To Present
      Hokkaido University, Research Institute for Electronic Science, Visiting Professor
    • From Apr. 2018, To Present
      京都大学, Graduate School of Informatics, Professor
    • From Oct. 2017, To Present
      Science Council of Japan, Member
    • From May 2015, To Mar. 2018
      National Institute of Advanced Industrial Science and Technology (AIST), Artificial Intelligence Research Center, Visiting Reseacher
    • From Apr. 2014, To Present
      National Institute of Informatics, Visiting Professor
    • From 2010, To Present
      Waseda University, Research Institute for Advanced Network Technology, Adjunct Researcher
    • From Apr. 2020, To Mar. 2021
      Kyoto University, Faculty of Engineering School of Informatics & Mathematical Science, 学科長
    • From Jun. 2018, To Jun. 2020
      IPSJ, Director Board
    • From Oct. 2010, To Mar. 2018
      Hokkaido University, Graduate School of Information Science and Technology, Professor
    • From Oct. 2009, To Mar. 2015
      Japan Science and Technology Agency (JST), ERATO MINATO Discrete Structure Manipulation System Project, Research Director
    • From Nov. 2012, To Mar. 2013
      Tokyo Institute of Technology, 非常勤講師
    • From Mar. 2004, To Sep. 2010
      Hokkaido University, Graduate School of Information Science and Technology, Associate Professor
    • From 1998, To 2004
      NTT 未来ねっと研究所, 研究主任, 主任研究員
    • From 1998, To 2004
      Senior Researcher,NTT Network Innovation Laboratories
    • From 1999, To 2001
      慶応義塾大学 湘南藤沢キャンパス, 非常勤講師
    • From 1999, To 2001
      Lecturer,Keio University Shonan-Fujisawa-Campus
    • From 1990, To 1998
      NTT LSI研究所, 研究員, 研究主任
    • From 1990, To 1998
      Researcher,NTT LSI Laboratories
    • From Jan. 1997, To Dec. 1997
      スタンフォード大学, 客員研究員
    • From 1997
      Visiting Scholar,Stanford University

    Profile

    • Profile

      Shin-ichi Minato is a Professor at Laboratory for Algorithmics, Graduate School of Information Science and Technology, Hokkaido University. He also serves a Research Director of ERATO (Exploratory Research for Advanced Technology) MINATO Discrete Structure Manipulation System Project, executed by JST (Japan Science and Technology Agency). His research topics include efficient representations and manipulation algorithms for large-scale discrete structure data. He received the B.E., M.E., and D.E. degrees in Information Science from Kyoto University in 1988, 1990, and 1995, respectively. He had been working at NTT Laboratories since 1990 until March 2004. He was a Visiting Scholar at Computer Science Department of Stanford University in 1997. He was a Senior Researcher of NTT Network Innovation Laboratories in 1999. From 1999 to 2000, he concurrently served a Visiting Lecturer at Shonan-Fujisawa Campus of Keio University. He joined Hokkaido University as an Associate Professor in 2004, and has been a Professor since Oct. 2010. He started the ERATO Project from Oct. 2009. From 2011, he is also an Adjunct Researcher at Research Institute for Advanced Network Technology of Waseda University. He published "Binary Decision Diagrams and Applications for VLSI CAD" (Kluwer,1995). His original data structure "ZDD" is minutely discussed using many pages in the Knuth's book "The Art of Computer Programming" (Vol. 4, Fascicle 1, 2009). He supervised an exhibition "The Art of 10^64 -Understanding Vastness-" at "Miraikan" (National Future Science Museum of Japan) from Aug. 2012 to Feb. 2013. From 2008 to 2011, Minato serves a TPC Sub-Topic Chair of Asia and South-Pacific Design Automation Conference (ASPDAC). He served the Workshop Chair of ALSIP-2008. He is a project member of Hokkaido University Global COE program from 2007. He is also involved in Japan MEXT "info-plosion" project from 2006 to 2010 and "ELC" project from 2012 to 2016. He is a senior member of IEICE and a member of IEEE, IPSJ, and JSAI.

    ID,URL

    Website(s) (URL(s))

    researchmap URL

    list
      Last Updated :2024/03/20

      Research

      Research Topics, Overview of the research

      • Research Topics

        Algorithms for Discrete Structure Manipulation

      Research Interests

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

      Research Areas

      • Informatics, Human interfaces and interactions
      • Informatics, Database science
      • Informatics, Information networks
      • Informatics, Computer systems
      • Informatics, Information theory
      • Informatics, Intelligent informatics

      Papers

      • 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
        Theor. Comput. Sci., Nov. 2023
      • A Complete Library of Cross-Bar Gate Logic with Three Control Inputs
        Ryosuke MATSUO; Shin-ichi MINATO
        IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2023
      • Exact and Efficient Network Reliability Evaluation per Outage Scale,
        Kengo Nakamura; Takeru Inoue; Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato
        IEEE International Conference on Communication, (ICC 2023), May 2023, Peer-reviewed, Last author
      • A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure
        Kengo Nakamura; Takeru Inoue; Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato
        roc. of 2023 IEEE International Conference on Computer Communications (INFOCOM2023), May 2023, Peer-reviewed, Last author
      • Solving Power Distribution Network Problems with Answer Set Programming
        YAMADA Kentaro; MINATO Shin-ichi; TAMURA Naoyuki; BANBARA Mutsunori
        Computer Software, Apr. 2023, Peer-reviewed
      • DAG-Pathwidth: Graph Algorithmic Analyses of DAG-Type Blockchain Networks.
        Shoji Kasahara; Jun Kawahara; Shin-ichi Minato; Jumpei Mori
        IEICE Trans. Inf. Syst., Mar. 2023, Peer-reviewed
      • CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints.
        Kengo Nakamura; Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato
        Proc of 21st International Symposium on Experimental Algorithms (SEA 2023), Jul. 2023, Peer-reviewed, Last author
      • Automated Test Assmbly using Zero-suppressed Binary Decision Diagrams
        Fuchimoto Kazuma; Minato Shin-ichi; Ueno Maomi
        Transactions of the Japanese Society for Artificial Intelligence, 01 Sep. 2022, Peer-reviewed
      • 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
        11th International Conference on Fun with Algorithms (FUN2022), May 2022, Peer-reviewed
      • 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, Peer-reviewed
      • 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), Jun. 2020, Peer-reviewed, Last author
      • 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), Mar. 2020, Peer-reviewed, Last author
      • 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), Mar. 2020, Peer-reviewed, Last author
      • Enumeration of Associative Magic Squares of Order 7.
        Go Kato; Shin-ichi Minato
        J. Inf. Process., 2020, Peer-reviewed, Last author
      • 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), Jan. 2020, Peer-reviewed
      • Tree Decomposition-based Approach for Compiling Independent Sets
        Teruji Sugaya; Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato
        Journal of Information Processing, 2020, Peer-reviewed, Last author
      • 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), Sep. 2019, Peer-reviewed, Last author
      • 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, Jun. 2019, Peer-reviewed
      • 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), May 2019, Peer-reviewed, Lead author
      • 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, Feb. 2019, Peer-reviewed
      • 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, Dec. 2018, Peer-reviewed
      • 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), Dec. 2018, Peer-reviewed
      • 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), Dec. 2018, Peer-reviewed
      • Separate Compilation of Bayesian Networks for Efficient Exact Inference
        Shan Gao; Masakazu Ishihata; Shin-ichi Minato
        Artificial Inteligence, Nov. 2018, Peer-reviewed
      • 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, Sep. 2018, Peer-reviewed
      • DenseZDD: a compact and fast index for families of sets
        Shuhei Denzumi; Jun Kawahara; Koji Tsuda; Hiroki Arimura; Shin-ichi Minato; Kunihiko Sadakane
        Algorithms, Aug. 2018, Peer-reviewed
      • Fast compilation of graph substructures for counting and enumeration
        Teruji Sugaya; Masaaki Nishino; Norihito Yasuda; Shin‐ichi Minato
        Behaviormetrika, Jun. 2018, Peer-reviewed
      • 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, 01 May 2018, Peer-reviewed
      • 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), Apr. 2018, Peer-reviewed
      • 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), Apr. 2018, Peer-reviewed
      • 記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証
        蓑田玲緒奈; 湊真一
        電子情報通信学会論文誌D 学生論文特集号, Mar. 2018, Peer-reviewed
      • Fast packet classification algorithm for network-wide forwarding behaviors
        Takeru Inoue; Toru Mano; Kimihiro Mizutani; Shin-ichi Minato; Osamu Akashi
        Computer Communications, 01 Jan. 2018, Peer-reviewed
      • 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, Dec. 2017, Peer-reviewed
      • 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), Nov. 2017, Peer-reviewed
      • 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), Sep. 2017, Peer-reviewed
      • 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), Sep. 2017, Peer-reviewed
      • 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, Sep. 2017, Peer-reviewed
      • 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, Sep. 2017, Peer-reviewed
      • 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, 13 Aug. 2017, Peer-reviewed
      • Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation
        Shin-ichi Minato
        IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, Aug. 2017, Peer-reviewed, Invited
      • 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), Jul. 2017, Peer-reviewed
      • 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, Jun. 2017, Peer-reviewed
      • 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), Feb. 2017, Peer-reviewed
      • 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), Feb. 2017, Peer-reviewed
      • 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), Feb. 2017, Peer-reviewed
      • 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, Peer-reviewed
      • 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), Oct. 2016, Peer-reviewed
      • 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, Oct. 2016, Peer-reviewed
      • 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), Jul. 2016, Peer-reviewed
      • Zero-suppressed Sentential Decision Diagrams
        Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato; Masaaki Nagata
        Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), Feb. 2016, Peer-reviewed
      • 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), Feb. 2016, Peer-reviewed
      • 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, Feb. 2016, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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), May 2015, Peer-reviewed
      • 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, Mar. 2015, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits
        Yuma Inoue; Shin-ichi Minato
        REVERSIBLE COMPUTATION, RC 2015, 2015, Peer-reviewed
      • 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, Peer-reviewed
      • 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―1.二分決定グラフによる離散構造処理の概観
        MINATO SHIN'ICHI
        電子情報通信学会誌, 01 Dec. 2014
      • 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―3.順列の圧縮列挙索引化とソーティング
        KAWAHARA JUN; MINATO SHIN'ICHI
        電子情報通信学会誌, 01 Dec. 2014
      • 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, Jun. 2014, Peer-reviewed
      • 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化
        岩下 洋哲; 戸田 貴久; 津田 宏治; 湊 真一
        人工知能学会全国大会論文集, 2014, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • An Efficient Method for Indexing All Topological Orders of a Directed Graph
        Yuma Inoue; Shin-ichi Minato
        ALGORITHMS AND COMPUTATION, ISAAC 2014, 2014, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Jan. 2014, Peer-reviewed
      • 「おねえさんの問題」の最先端 ― YouTube動画と世界記録 ―
        湊 真一
        情報処理, Oct. 2013, Peer-reviewed, Invited
      • BDD/ZDDを基盤とする離散構造処理系の最近の展開
        湊 真一
        電子情報通信学会 2013ソサイエティ大会 講演論文集, Sep. 2013, Invited
      • ZDDを用いた都市の避難所割り当ての列挙
        瀧澤重志; 武知祥史; 大田章雄; 中野浩太郎; 加藤直樹; 井上武; 堀山貴史; 川原純; 湊真一; 湊真一
        日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, Sep. 2013
      • 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), Aug. 2013, Invited
      • 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), Aug. 2013, Peer-reviewed
      • 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, Jul. 2013, Peer-reviewed
      • Techniques of BDD/ZDD: Brief History and Recent Activity
        Shin-ichi Minato
        IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, Jul. 2013, Peer-reviewed, Invited
      • ZDDを用いたPersonalized PageRankの高速計算法
        西野正彬; 安田宜仁; 湊真一; 永田昌明
        人工知能学会全国大会論文集(CD-ROM), Jun. 2013
      • 二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用
        戸田貴久; 戸田貴久; 湊真一; 湊真一
        人工知能学会全国大会論文集(CD-ROM), Jun. 2013
      • An Efficient Sequence Binary Decision Diagrams with Mapping Edges
        AOKI HIROSHI; MINATO SHIN'ICHI; MINATO SHIN'ICHI; YAMASHITA SHIGERU
        電子情報通信学会技術研究報告, May 2013
      • Recent Topics on BDD/ZDD-Based Discrete Structure Manipulation
        Shin-ichi Minato
        In Proc. of Reed-Muller Workshop 2013 (RM2013), May 2013, Invited
      • Auxiliary Skip Links for Quick Traversal of ZDDs to Manipulate Large-Scale Sparse Matrices
        MINATO SHIN'ICHI; MINATO SHIN'ICHI
        電子情報通信学会技術研究報告, Mar. 2013
      • Succinct Indices Based on Zero-Suppressed Binary Decision Diagrams
        Shuhei Denzumi; Jun Kawahara; Koji Tsuda; Hiroki Arimura; Kunihiko Sadakane; Shin-ichi Minato
        電子情報通信学会コンピュテーション研究会, 信学技報, Mar. 2013
      • 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ
        岩下 洋哲; 中澤 吉男; 川原 純; 宇野 毅明; 湊 真一
        研究報告アルゴリズム(AL), 22 Feb. 2013
      • Enumerating and Indexing of Pattern Avoiding Permutations Using πDDs
        Yuma Inoue; Takahisa Toda; Shin-ichi Minato
        IPSJ SIG Notes, Feb. 2013
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 特集にあたって(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
        湊 真一
        オペレーションズ・リサーチ : 経営の科学, Nov. 2012, Peer-reviewed, Invited
      • BDD/ZDDを用いたグラフ列挙索引化技法(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
        湊 真一
        オペレーションズ・リサーチ : 経営の科学, Nov. 2012, Peer-reviewed, Invited
      • グラフ列挙索引化技法の種々の問題への適用(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
        川原 純; 湊 真一
        オペレーションズ・リサーチ : 経営の科学, Nov. 2012, Peer-reviewed, Invited
      • フロンティア法による電力網構成制御(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
        井上 武; 高野 圭司; 渡辺 喬之; 川原 純; 吉仲 亮; 岸本 章宏; 津田 宏治; 湊 真一; 林 泰弘
        オペレーションズ・リサーチ : 経営の科学, Nov. 2012, Peer-reviewed, Invited
      • 種々のリンクパズルへの応用
        吉仲 亮; 岩下 洋哲; 川原 純; 斎藤 寿樹; 鶴間 浩二; 湊 真一
        オペレーションズ・リサーチ : 経営の科学 = [O]perations research as a management science [r]esearch, 01 Nov. 2012, Peer-reviewed, Invited
      • 特別招待講演 ERATO湊離散構造処理系プロジェクトの概要と今後の展望について (通信方式)
        湊 真一
        電子情報通信学会技術研究報告 : 信学技報, Nov. 2012, Invited
      • An Efficient ZDD Construction Method Using Recursive Specifications
        岩下 洋哲; 川原 純; 湊 真一
        電子情報通信学会技術研究報告 : 信学技報, Nov. 2012
      • 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, Aug. 2012, Peer-reviewed
      • 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, Jul. 2012, Peer-reviewed
      • 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, Jul. 2012, Peer-reviewed
      • 5. New Enumeration Methods Using ZDD(Diffusion of Enumeration Techniques; Enumeration-based Problem Solving)
        KAWAHARA Jun; SAITOH Toshiki; MINATO Shinichi
        The Journal of the Institute of Electronics, Information, and Communication Engineers, Jun. 2012
      • Rich Operations for Manipulating Sequence Binary Decision Diagrams
        DENZUMI Shuhei; ARIMURA Hiroki; MINATO Shin-ichi
        IEICE technical report. Theoretical foundations of Computing, Jun. 2012
      • Techniques of BDDs/ZDDs and Discrete Structure Manipulation Systems(Discrete Structure Manipulation Systems-The Art of Algorithms for Intelligent Information Processing)
        Minato Shin-ichi
        Journal of Japanese Society for Artificial Intelligence, May 2012, Peer-reviewed, Invited
      • DS-1-13 Application of πDD to Computing Conjugacy Classes and Performance Evaluation
        Yamada Norihiro; Minato Shin-ichi
        Proceedings of the IEICE General Conference, 06 Mar. 2012
      • DS-1-14 Solving Pancake Sorting Problem Based on Permutation Family Algebra Using πDDs
        Inoue Yuma; Minato Shin-ichi
        Proceedings of the IEICE General Conference, 06 Mar. 2012
      • 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, Peer-reviewed
      • Synthesis of Semi-Classical Quantum Circuits
        Shigeru Yamashita; Shin-ichi Minato; D. Michael Miller
        JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2012, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • Recent Research Activities on Bayesian Networks and ZDDs
        湊 真一
        人工知能基本問題研究会, 18 Nov. 2011
      • 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, Oct. 2011, Peer-reviewed
      • BS-1-2 Study of Efficient Data Structures and Algorithms for Manipulating Sets of Permutations
        Yamada Norihiro; Minato Shin-ichi
        Proceedings of the Society Conference of IEICE, 30 Aug. 2011
      • AI-1-5 A Study of GPU Application for Manipulating Large-Scale Discrete Structure Data
        Minato Shin-ichi
        Proceedings of the Society Conference of IEICE, 30 Aug. 2011
      • ERATO MINATO Discrete Structure Manipulation System Project and Recent Research Activities
        MINATO Shin-ichi
        IEICE technical report. Information networks, 14 Jul. 2011, Invited
      • Entwork Reliability Evaluation Using Efficient Path Enumeration ALgorithms
        SAITOH T; KAWAHARA J; YOSHINAKA R; INOUE T; MINATO S.-i
        IEICE technical report. Information networks, 14 Jul. 2011
      • Server load balancing with a URL shortener in Tohoku earthquake
        INOUE Takeru; MINATO Shin-ichi
        IEICE technical report. Information networks, 14 Jul. 2011
      • ZDD によるパスの列挙 (計算機科学とアルゴリズムの数理的基礎とその応用)
        川原 純; 斎藤 寿樹; 鈴木 拡; 湊 真一; 吉仲 亮
        数理解析研究所講究録, Jun. 2011
      • ERATO MINATO Discrete Structure Manipulation System Project and Current Work on System Design Area
        MINATO Shin-ichi
        IEICE technical report, 05 May 2011, Invited
      • πDD: A New Decision Diagram for Manipulating Sets of Permutations
        MINATO Shin-ichi
        IEICE technical report. Theoretical foundations of Computing, 15 Apr. 2011
      • Construction of a SeqBDD representing a set of reversed sequences
        AOKI Hiroshi; YAMASHITA Shigeru; MINATO Shin-ichi
        IEICE technical report. Theoretical foundations of Computing, 15 Apr. 2011
      • Enumerating Feature-Sets with Submodularity
        KAWAHARA Y; TSUDA K; WASHIO T; TAKEDA A; MINATO S
        IEICE technical report, 21 Mar. 2011
      • Path Enumeration Algorithms Using ZDD and Their Performance Evaluations
        Toshiki Saitoh; Jun Kawahara; Ryo Yoshinaka; Hiromu Suzuki; Shin-ichi Minato
        IPSJ SIG Notes, 28 Feb. 2011
      • Recent Topics on Discrete Structures and Algebraic Operations Based on BDDs/ZDDs
        MINATO Shin-ichi
        IEICE Fundamentals Review, Jan. 2011, Peer-reviewed, Invited
      • 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, Peer-reviewed
      • Implementation of Sequence BDDs in Erlang
        Shuhei Denzumi; Hiroki Arimura; Shin-ichi Minato
        ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, 2011, Peer-reviewed
      • 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, Peer-reviewed
      • Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs
        Masakazu Ishihata; Taisuke Sato; Shin-ichi Minato
        AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2011, Peer-reviewed
      • 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, Peer-reviewed
      • Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering
        Shin-ichi Minato
        NEW GENERATION COMPUTING, 2011, Peer-reviewed, Invited
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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), Jan. 2011
      • Bayesian Networks and Discrete Structure Manipulation System(Advanced Methodologies for Bayesian Networks)
        Sato Taisuke; Minato Shin-ichi
        Journal of Japanese Society for Artificial Intelligence, Nov. 2010, Peer-reviewed, Invited
      • D-009 ZDD-based Processing of Frequent Patterns for Knowledge Discovery in Web Text Data
        Okazaki Yuta; Minato Shin-ichi
        情報科学技術フォーラム講演論文集, 20 Aug. 2010
      • F-024 Synthesis of Fast Calculation Programs from ZDDs for Representing Bayesian Networks and Its Evaluation
        Takahashi Wataru; Minato Shin-ichi
        情報科学技術フォーラム講演論文集, 20 Aug. 2010
      • An EM algorithm on binary decision diagrams with order encoding for propositional logic-based probabilistic models
        ISHIHATA Masakazu; KAMEYA Yoshitaka; SATO Taisuke; MINATO Shin-ichi
        IEICE technical report, 07 Jun. 2010
      • Efficient Pattern Matching for Acyclic Regular Expressions
        KANETA Yusaku; MINATO Shin-ichi; ARIMURA Hiroki
        IEICE technical report. Theoretical foundations of Computing, 12 May 2010
      • Synthesis of fast calculation programs from ZDDs for representing Bayesian networks
        高橋 渉; 湊 真一
        人工知能基本問題研究会, 17 Mar. 2010
      • 3ZP-5 Enumerating Solutions of Three-dimensional Pentomino Puzzle Using ZDDs
        Suzuki Hiromu; Minato Shin-ichi
        全国大会講演論文集, 08 Mar. 2010
      • D-1-7 AN EFFICIENT REGULAR EXPRESSION MATCHING ALGORITHM BASED PARALLEL BIT-DISTRIBUTION
        Kaneta Yusaku; Minato Shin-ichi; Arimura Hiroki
        Proceedings of the IEICE General Conference, 02 Mar. 2010
      • Development of Interdisciplinary Research Environment by Collaboration of e-Learning and Remote FPGA
        KIM Jaseong; YOSHIZAWA Shingo; KANETA Yusaku; MINATO Shin-ichi; ARIMURA Hiroki; MIYANAGA Yoshikazu
        Technical report of IEICE. VLD, 19 Jan. 2010
      • An efficient hardware-oriented algorithm for regular expression matching based on parallel bit-distribution
        KANETA Yusaku; YOSHIZAWA Shingo; MINATO Shin-ichi; ARIMURA Hiroki; MIYANAGA Yoshikazu
        Technical report of IEICE. VLD, 19 Jan. 2010
      • 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, Peer-reviewed
      • Fast Bit-Parallel Matching for Network and Regular Expressions
        Yusaku Kaneta; Shin-ichi Minato; Hiroki Arimura
        STRING PROCESSING AND INFORMATION RETRIEVAL, 2010, Peer-reviewed
      • Discrete structure manipulation for discovery science problems
        Shin-Ichi Minato
        Lecture Notes in Electrical Engineering, 2010, Peer-reviewed
      • 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, Peer-reviewed
      • Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases
        Shin-ichi Minato; Takeaki Uno
        SDM2010, 2010, Peer-reviewed
      • 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, Peer-reviewed
      • Fast inference calculation of Bayesian networks using ZDDs
        湊 真一
        人工知能基本問題研究会, 13 Nov. 2009
      • 5. Interdisciplinary Research Project on Media and Network Technologies(Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation: Hokkaido University Global COE Program and Research Projects on ICT in H
        MIYANAGA Yoshikazu; YOSHIZAWA Shingo; MINATO Shin-ichi
        The Journal of the Institute of Electronics, Information, and Communication Engineers, Oct. 2009, Peer-reviewed
      • D-031 Considerations on Variable Ordering Effects for the Itemset Mining Algorithm LCM over ZDDs
        Okazaki Yuta; Minato Shin-ichi
        情報科学技術フォーラム講演論文集, 20 Aug. 2009
      • F-061 An Improvement of Initial Variable Ordering of ZDDs for Representing Bayesian Networks
        Kanasaki Takeshi; Minato Shin-ichi
        情報科学技術フォーラム講演論文集, 20 Aug. 2009
      • Enumerating Solutions of the Pentomino Puzzle Using BDDs/ZDDs
        SUZUKI Hiromu; MINATO Shin-ichi
        IEICE technical report. Theoretical foundations of Computing, 19 May 2009
      • D-4-18 A Fast String Matching Algorithm and Its FPGA Design for High-Speed Stream Processing
        KANETA Yusaku; YOSHIZAWA Shingo; MINATO Shin-ichi; ARIMURA Hiroki; MIYANAGA Yoshikazu
        Proceedings of the IEICE General Conference, Mar. 2009
      • 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, Dec. 2008, Peer-reviewed
      • 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), Sep. 2008, Peer-reviewed
      • Revolutionarily Fast Algorithms for Info-plosion Era(Creating Vital Information Technologies for the Info-plosion Era)
        UNO Takeaki; MINATO Shinichi; TAKEDA Masayuki
        IPSJ Magazine, Aug. 2008, Peer-reviewed
      • A Method of ZBDD Variable Ordering for Frequent Pattern Mining
        IWASAKI Haruya; MINATO Shin-ichi; ZEUGMANN Thomas
        The IEICE transactions on information and systems (Japanese edetion), Mar. 2008, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • Symmetric item set mining method using zero-suppressed BDDs and application to biological data
        Shin-Ichi Minato; Kimihito Ito
        Transactions of the Japanese Society for Artificial Intelligence, 2007, Peer-reviewed
      • Frequent closed item set mining based on zero-suppressed BDDs
        Shin-Ichi Minato; Hiroki Arimura
        Transactions of the Japanese Society for Artificial Intelligence, 2007, Peer-reviewed
      • Frequent pattern mining and knowledge indexing based on zero-suppressed BDDs
        Shin-Ichi Minato; Hiroki Arimura
        KNOWLEDGE DISCOVERY IN INDUCTIVE DATABASES, 2007, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • N-gram analysis based on zero-suppressed BDDs
        Ryutaro Kurai; Shin-Ichi Minato; Thomas Zeugmarm
        NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2007, Peer-reviewed
      • A theoretical study on variable ordering of zero-suppressed BDDs for representing frequent itemsets
        Shin-ichi Minato
        DISCOVERY SCIENCE, PROCEEDINGS, 2007, Peer-reviewed
      • Symmetric item set mining method using zero-suppressed BDDs and application to biological data
        Minato Shin-ichi; Ito Kimihito
        Inform. Media Technol., 2007, Peer-reviewed
      • Efficient Method of Transaction Database Analysis Using Zero-Suppressed BDDs
        MINATO Shin-ichi; ARIMURA Hiroki
        The IEICE transactions on information and systems (Japanese edetion), Feb. 2006, Peer-reviewed
      • Symmetric item set mining based on zero-suppressed BDDs
        Shin-ichi Minato
        DISCOVERY SCIENCE, PROCEEDINGS, 2006, Peer-reviewed
      • Efficient database analysis using VSOP calculator based on zero-suppressed BDDs
        Shin-ichi Minato
        NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2006, Peer-reviewed
      • VSOP (Valued-sum-of-products) calculator for knowledge processing based on zero-suppressed BDDs
        SI Minato
        FEDERATION OVER THE WEB, 2006, Peer-reviewed
      • Design and Implementation of the Incrementally Deployable Multicast System Based on Flexcast
        INOUE Takeru; TANI Seiichiro; TAKAHASHI Hirokazu; MINATO Shinichi; MIYAZAKI Toshiaki; TOYOSHIMA Kan
        The transactions of the Institute of Electronics, Information and Communication Engineers. D-I, Feb. 2005, Peer-reviewed
      • 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, Peer-reviewed
      • 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, Peer-reviewed
      • 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), Nov. 2003, Peer-reviewed
      • 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, May 2002, Peer-reviewed
      • Streaming BDD manipulation for large-scale combinatorial problems
        Shin-Ichi Minato; Shinya Ishihara
        Proceedings -Design, Automation and Test in Europe, DATE, 2001, Peer-reviewed
      • BDDs (Binary Decision Diagrams) and their Applications
        Minato Shin-ichi
        Bulletin of the Japan Society for Industrial and applied Mathematics, Sep. 1999, Peer-reviewed, Invited
      • On the properties of combination set operations
        HG Okuno; S Minato; H Isozaki
        INFORMATION PROCESSING LETTERS, May 1998, Peer-reviewed
      • 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, Oct. 1997, Peer-reviewed
      • Arithmetic Boolean expression manipulator using BDDs
        SI Minato
        FORMAL METHODS IN SYSTEM DESIGN, Apr. 1997, Peer-reviewed
      • Fast factorization method for implicit cube set representation
        Shin-Ichi Minato
        IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996, Peer-reviewed
      • 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, Peer-reviewed
      • Solving Constraint Statisfaction Problems by Binary Decision Diagram
        Okuno G. Hiroshi; Minato Shin-ichi
        IPSJ Journal, Aug. 1995, Peer-reviewed
      • BEM-II - AN ARITHMETIC BOOLEAN EXPRESSION MANIPULATOR USING BDDS
        S MINATO
        IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, Oct. 1993, Peer-reviewed
      • FAST GENERATION OF PRIME-IRREDUNDANT COVERS FROM BINARY DECISION DIAGRAMS
        S MINATO
        IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, Jun. 1993, Peer-reviewed
      • Techniques for BDD Manipulation on Computers
        MINATO Shin-ichi
        IPSJ Magazine, May 1993, Peer-reviewed, Invited
      • 「わくわく」 - 技術革新のキーワード -
        湊 真一
        電子情報通信学会誌, Nov. 1992, Peer-reviewed
      • Shared Binary Decision Diagrams for Efficient Boolean Function Manipulation
        MINATO SHIN-ICHI; ISHIURA NAGISA; YAJIMA SHUZO
        IPSJ Journal, Jan. 1991, Peer-reviewed
      • 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), Peer-reviewed
      • 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), Mar. 2022, Peer-reviewed, Last author
      • 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), Jul. 2021, Peer-reviewed, Last author
      • 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), Nov. 2020, Peer-reviewed

      Misc.

      • 量子回路の観測のための決定グラフの最適化
        松尾亮祐; ルディー・レイモンド; 湊真一; 山下茂
        情報処理学会 第9回量子ソフトウェア研究発表会, Jun. 2023
      • ZDDによるパターン頻度表を用いた頻出アイテム集合マイニングの追加データ処理手法
        周文爍; 川原純; 湊真一
        情報処理学会第85回全国大会講演論文集, Mar. 2023, Last author
      • 辺重み付き系列二分決定グラフによる頻出部分列の多重集合表現とその評価
        杉野創; 川原純; 湊真一
        情報処理学会第85回全国大会講演論文集, Mar. 2023, Last author
      • 部分順列グラフの集合を表現するZDDの構築
        高嶋勇哉; 川原純; 湊真一
        情報処理学会第85回全国大会講演論文集, Mar. 2023, Last author
      • CompDP: A Framework for Concurrent Subgraph Counting under Connectivity Constraints
        NAKAMURA Kengo; NISHINO Masaaki; YASUDA Norihito; MINATO Shin-ichi
        Proceedings of the Annual Conference of JSAI, Jun. 2023
      • On construction of decision diagrams representing Boolean functions given as monadic second-order logic formulas
        OOBA Shou; KAWAHARA Jun; MINATO Shin-ichi
        Proceedings of the Annual Conference of JSAI, Jun. 2023
      • On the Computational Complexity of Generalized Common Shape Puzzles.
        Mutsunori Banbara; Shin-ichi Minato; Hirotaka Ono; Ryuhei Uehara
        CoRR, May 2023
      • A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems
        Shin-ichi Minato; Mutsunori Banbara; Takashi Horiyama; Jun Kawahara; Ichigaku Takigawa; Yutaro Yamaguchi
        Proc. of 5th International Workshop on Enumeration Problems and Applications (WEPA2022), Nov. 2022, Lead author
      • 革新的アルゴリズム基盤(AFSA)プロジェクトと人工知能基本問題
        湊 真一
        人工知能学会研究会資料 人工知能基本問題研究会, 10 Nov. 2022
      • 「組み合わせ爆発」で考えるアルゴリズム入門 : 計算時間を劇的に短縮するアルゴリズムの威力
        湊 真一(監修)
        Newton = ニュートン : graphic science magazine, Oct. 2022, Invited
      • マトロイド判定問題に対するZDDを用いた解法とその評価
        江本洸海; 岩政勇仁; 湊真一
        第21回情報科学技術フォーラム(FIT2022), Sep. 2022, Last author
      • 3入力関数に対するゲート数最小の光クロスバーゲートロジック回路の列挙
        松尾, 亮祐; 湊, 真一
        DAシンポジウム2022論文集, 24 Aug. 2022
      • 部分理想グラフの集合を表現するZDDの構築
        高嶋勇哉; 川原純; 斎藤寿樹; 吉仲亮; 湊真一
        2022夏のLAシンポジウム, Jul. 2022
      • Uniform Test Assmbly using Zero-suppressed Binary Decision Diagrams
        FUCHIMOTO Kazuma; MINATO Shin-ichi; UENO Maomi
        Proceedings of the Annual Conference of JSAI, Jun. 2022
      • Solving the Shortest Path Reconfiguration Problem with ZDDs and Its Evaluation
        OOBA Shou; KAWAHARA Jun; MINATO Shin-ichi
        Proceedings of the Annual Conference of JSAI, Jun. 2022
      • Overview and Recent Activities of JSPS KAKENHI “AFSA” Project
        Minato Shin-ichi
        SYSTEMS, CONTROL AND INFORMATION, 15 May 2022
      • Solving Constraint Satisfaction Problems by Binary Decision Diagram
        OKUNO Hiroshi; MINATO Shin-ichi
        IPSJ Journal, 15 Aug. 1995
      • An Efficient ZDD Construction Method Using Recuresive Specifications
        岩下 洋哲; 川原 純; 湊 真一
        研究報告システムLSI設計技術(SLDM), 19 Nov. 2012
      • Path Enumeration Algorithms Using ZDD and Their Performance Evaluations
        斎藤 寿樹; 川原 純; 吉仲 亮; 鈴木 拡; 湊 真一
        研究報告アルゴリズム(AL), 28 Feb. 2011
      • 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
        人工知能基本問題研究会, 13 Mar. 2017
      • Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations (特集 「確率的グラフィカルモデルとビッグデータ分析」および一般)
        Gao Shan; Minato Shin-ichi
        人工知能基本問題研究会, 13 Jan. 2015
      • Editor's Message to Special Issue of Young Researchers' Papers.
        Shin-ichi Minato
        J. Inf. Process., 2021
      • Experimental Evaluation of a Dynamic-Programming-Based Algorithm for Enumerating Simple Polygonizations
        中畑裕; 堀山貴史; 湊真一; 山中克久
        情報処理学会研究報告(Web), Mar. 2021
      • グラフの全点対間の点カットを索引化するBDD の構築
        髙橋昌大; 川原純; 湊真一
        2020年度人工知能学会全国大会(第34回), Jun. 2020, Last author
      • Information theoretic lower bound of Hasse diagrams with degree constraint
        森順平; 川原純; 湊真一
        電子情報通信学会技術研究報告, Mar. 2020
      • A Study on Solving Power Distribution Network Problem with Answer Set Programming.
        山田健太郎; 湊真一; 番原睦則
        日本ソフトウェア科学会大会講演論文集(Web), Sep. 2020
      • 選挙区割問題に対するZDDを用いた近似的列挙手法の提案と評価
        山崎宏紀; 川原純; 湊真一
        情報科学技術フォーラム講演論文集, 2020
      • Variable Ordering for Minimizing Power Consumption of BDD-based Optical Logic Circuits
        松尾亮祐; 湊真一
        電子情報通信学会技術研究報告(Web), Nov. 2020
      • A Fast ZDD-Based Method for Enumerating All Solutions of Cost-Bounded Combinatorial Problems
        湊真一; 番原睦則; 堀山貴史; 川原純; 瀧川一学; 瀧川一学; 山口勇太郎
        電子情報通信学会技術研究報告(Web), Dec. 2020
      • 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, Jan. 2020
      • Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling
        Shin-ichi Minato
        Abstract Note of KOCOON Workshop, Dec. 2019, Lead author
      • Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration.
        Yu Nakahata; Jun Kawahara; Takashi Horiyama; Shin-ichi Minato
        CoRR, Nov. 2019, Last author
      • 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), Oct. 2019, Lead author
      • Decision-Diagram-Based Enumeration of d-Cutsets
        Yu Nakahata; Jun Kawahara; Shin-ichi Minato
        Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), Oct. 2019, Last author
      • 隣接互換による最短長ユニバーサル列
        伊藤健洋; 川原純; 湊真一; 大舘陽太; 斎藤寿樹; 鈴木顕; 上原隆平; 宇野毅明; 山中克久; 吉仲亮
        電子情報通信学会コンピュテーション研究会, Sep. 2019
      • グラフ同型に関する代表元のグラフを列挙するZDDの構築について
        大澤賢悟; 中畑裕; 湊真一
        人工知能学会第110回人工知能基本問題研究会資料, Sep. 2019, Last author
      • Decomposing a Graph into Unigraphs.
        Takashi Horiyama; Jun Kawahara; Shin-ichi Minato; Yu Nakahata
        CoRR, May 2019
      • ZDDを用いたグラフ細分構造の列挙
        中畑裕; 川原純; 堀山貴史; 湊真一
        電子情報通信学会コンピュテーション研究会, 信学技報, May 2019
      • 電力システムに貢献するアルゴリズム技術とその将来
        湊真一
        電気学会全国大会講演論文集(CD-ROM), Mar. 2019, Invited
      • 7次対称方陣の数え上げ
        加藤剛; 湊真一
        情報処理学会研究報告(Web), Jan. 2019
      • 離散構造処理系プロジェクトの近況について
        湊真一
        電子情報通信学会技術研究報告, Oct. 2018, Invited
      • コミュニケーション科学のさらなる深化 二分決定グラフを用いたネットワーク信頼性最適化法
        西野正彬; 井上武; 安田宜仁; 湊真一; 永田昌明
        NTT技術ジャーナル, Sep. 2018
      • SeqBDDを用いた集合分割の族の表現法と実験的評価
        高橋翔哉; 湊真一; 瀧川一学
        情報処理学会研究報告(Web), Aug. 2018
      • 化学反応経路ネットワークにおけるZDDを用いたエネルギー制限付き経路列挙
        鈴木浩史; 中野裕太; 住谷陽輔; 湊真一; 前田理
        情報処理学会研究報告(Web), Aug. 2018
      • A Fast Algorithm for Combinatorial Hotspot Mining Based on Scan Statistic
        湊真一; 川原純; 水田正弘; 石岡文生; 栗原考次
        情報処理学会研究報告(Web), Aug. 2018
      • Solving Various Network Design Problems Using ZDDs
        SUZUKI Hirofumi; ISHIHATA Masakazu; MINATO Shin-ichi
        Proc. of JSAI, Jun. 2018
      • Experiments and Considerations on Enumerating Combinatorial Test Cases Using ZDDs
        大畑 翔平; 湊 真一
        人工知能基本問題研究会, 16 Mar. 2018
      • LSI Routing Problem - Routing Problem Solver Contest at DA Symposium -:5. Method by using ZDDs
        湊 真一
        情報処理, Feb. 2018
      • Efficient Algorithms for Estimating Regularization Parameters of Ordered Decision Trees
        金森 憲太朗; 石畠 正和; 湊 真一; 有村 博紀
        人工知能基本問題研究会, 28 Jan. 2018
      • Exhaustive Analysis of Portfolios under the Day of the Week Effect in the Japanese Stock Market Database
        林 大祐; 羽室 行信; 岡田 克彦; 湊 真一
        人工知能基本問題研究会, 28 Jan. 2018
      • 厳密被覆問題の高速な全解列挙法 (特集 人に迫るAI,人に寄り添うAI : corevoを支えるコミュニケーション科学)
        西野 正彬; 安田 宜仁; 湊 真一; 永田 昌明
        NTT技術ジャーナル, Sep. 2017
      • Enumerating Strongly Connected Subgraphs Using Frontier Based Search
        鈴木 浩史; 石畠 正和; 湊 真一
        人工知能基本問題研究会, 08 Aug. 2017
      • Network Reduction Method that Minimizes Total Capacity Change for Virtual Network Embedding Acceleration
        間野 暢; 井上 武; 水谷 公宏; 湊 真一; 明石 修
        電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 18 Jul. 2017
      • Efficient Adversarial Combinatorial Bandit Algorithm via Zero-suppressed Decision Diagrams
        坂上 晋作; 石畠 正和; 湊 真一
        電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 23 Jun. 2017
      • 系列二分決定グラフを用いた頻出部分グラフの圧縮表現
        岡崎 文哉; 奥山 葉月; 瀧川 一学; 湊 真一
        JSAI大会論文集, 2017
      • ZDDs and Enumeration Problems: State-of-The-Art Techniques and Programming Tool
        TODA Takahisa; SAITOH Toshiki; IWASHITA Hiroaki; KAWAHARA Jun; MINATO Shin-ichi
        Computer Software, 2017
      • ZDDs and Enumeration Problems: State-of-The-Art Techniques and Programming Tool
        TODA Takahisa; SAITOH Toshiki; IWASHITA Hiroaki; KAWAHARA Jun; MINATO Shin-ichi
        Computer Software, 2017
      • 平行移動不変な非負値行列因子分解とその分析
        鈴木慶介; 今井英幸; ZHANG Ruoni; 瀧川一学; 瀧川一学; 湊真一
        情報科学技術フォーラム講演論文集, 23 Aug. 2016
      • Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking
        蓑田 玲緒奈; 湊 真一
        人工知能基本問題研究会, 07 Aug. 2016
      • Sampling Algorithms for Subgraphs Based on Enumeration Trees and MCMC
        和佐 州洋; 石畠 正和; 宇野 毅明; 湊 真一
        人工知能基本問題研究会, 07 Aug. 2016
      • Adding the Vertex Indices for Enumerating and Indexing the Graphs via ZDD
        鈴木 浩史; 湊 真一
        人工知能基本問題研究会, 07 Aug. 2016
      • Applying Permutation Decision Diagrams to Cycle type Partition on a Permutation Set
        井上 祐馬; 湊 真一
        人工知能基本問題研究会, 07 Aug. 2016
      • Looking Back the Turning Points in My Career
        湊 真一
        人工知能 : 人工知能学会誌 : journal of the Japanese Society for Artificial Intelligence, May 2016
      • 1-A-4 m連結成分分割の高速列挙法と区割の比較(情報・離散最適化)
        川原 純; 堀田 敬介; 堀山 貴史; 湊 真一
        日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 10 Sep. 2015
      • Enumerating and Indexing Walks Between Any Pair of Vertices
        青木 洋士; 安田 宜仁; 湊 真一
        電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 01 Sep. 2015
      • BI-2-1 Discrete Structure Manipulation System Project : Recent Topics and Future Perspectives
        Minato Shin-ichi
        Proceedings of the Society Conference of IEICE, 25 Aug. 2015
      • F-021 Similarity between Combinatorial Sets Using MEET Operation and Its Application
        Takeuchi Fumito; Suzuki Hirofumi; Shiraishi Kousuke; Inoue Yuma; Minato Shin-ichi
        情報科学技術フォーラム講演論文集, 24 Aug. 2015
      • A-009 Experiments and Considerations on Variable Ordering in Top-Down Construction of ZDDs
        Ito Hana; Inoue Yuma; Minato Shin-ichi
        情報科学技術フォーラム講演論文集, 24 Aug. 2015
      • Frontier Method for Enumerating and Indexing the Vertex Induced Subgraphs
        鈴木 浩史; 湊 真一
        電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 23 Apr. 2015
      • ZDD Construction for Maximal Independent Set Enumeration on Hypergraph
        SUGAYA Teruji; TODA Takahisa; MINATO Shin-ichi
        IEICE technical report. Theoretical foundations of Computing, 09 Mar. 2015
      • DS-1-7 An Improvement of the Flontier Method for Enumerating Sub-Graphs under Degree Constraints
        Suzuki Hirofumi; Minato Shin-ichi
        Proceedings of the IEICE General Conference, 24 Feb. 2015
      • DS-1-12 Choice of Decision Diagrams Based on Decomposition Considering Problem Properties
        Inoue Yuma; Minato Shin-ichi
        Proceedings of the IEICE General Conference, 24 Feb. 2015
      • 問題の性質を考慮した分解法に基づく決定グラフの選択
        INOUE YUUMA; MINATO SHIN'ICHI; MINATO SHIN'ICHI
        電子情報通信学会大会講演論文集(CD-ROM), 24 Feb. 2015
      • 次数制約を満たす部分グラフを列挙するためのフロンティア法の効率化
        SUZUKI HIROFUMI; MINATO SHIN'ICHI
        電子情報通信学会大会講演論文集(CD-ROM), 24 Feb. 2015
      • Fast NFA-based Regular Expression Matching Using Parallel Comparison
        倉井 龍太郎; 安田 宜仁; 湊 真一
        人工知能学会全国大会論文集, 2015
      • 組合せ集合のmeet演算による共通因子抽出
        竹内 文登; 安田 宜仁; 湊 真一
        人工知能学会全国大会論文集, 2015
      • A Fast Algorithm for Enumerating and Indexing Eulerian Paths
        ホリルロハマン ムハマド; 湊 真一
        人工知能学会全国大会論文集, 2015
      • Counting by ZDD.
        Shin-ichi Minato
        Encyclopedia of Algorithms, 2015, Peer-reviewed
      • 木刈込みに基づく文書要約のためのZDDを用いた動的計画法
        NISHINO MASAAKI; YASUDA NORIHITO; HIRAO TSUTOMU; MINATO SHIN'ICHI; MINATO SHIN'ICHI; NAGATA MASAAKI
        言語処理学会年次大会発表論文集(Web), 2015
      • Compression, Enumeration and Indexing of Permutations and Sorting
        KAWAHARA Jun; MINATO Shin-ichi
        The Journal of the Institute of Electronics, Information, and Communication Engineers, Dec. 2014
      • Overview of Discrete Structure Manipulation Using BDDs
        MINATO Shin-ichi
        The Journal of the Institute of Electronics, Information, and Communication Engineers, Dec. 2014
      • Fast Indexing All Eulerian Trails Using Permutation Decision Diagrams
        INOUE Yuma; MINATO Shin-ichi
        IEICE technical report. Theoretical foundations of Computing, 08 Oct. 2014
      • Yearly Loss Minimization Method by Network Reconfiguration Using Branch and Bound Method
        TAKENOBU YUJI; KAWANO SHUNSUKE; HAYASHI YASUHIRO; YASUDA NORIHITO; MINATO SHIN'ICHI
        電気学会電力技術研究会資料, 24 Sep. 2014
      • Packet Classification for Global Network View of SDN with MDDs
        INOUE T; MANO T; MIZUTANI K; MINATO S; AKASHI O
        IEICE technical report. Information networks, 11 Sep. 2014
      • 系統構成切替による年間の配電損失最小化手法
        TAKENOBU YUJI; KAWANO SHUNSUKE; HAYASHI YASUHIRO; YASUDA NORIHITO; MINATO SHIN'ICHI
        電気学会電力・エネルギー部門大会論文集(CD-ROM), 10 Sep. 2014
      • 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, Sep. 2014
      • A-009 Experiments and Considerations on ZDD Decomposition for Representing Bayesian Networks
        Gao Shan; Minato Shin-ichi
        情報科学技術フォーラム講演論文集, 19 Aug. 2014
      • A-017 A Lower Bound of the Number of Graph Walks Visiting Each Vertex at Most Twice
        Kholilurrohman Muhammad; Minato Shin-ichi
        情報科学技術フォーラム講演論文集, 19 Aug. 2014
      • 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, Jul. 2014
      • 就職活動学生向けの企業情報推薦システムの提案
        鮑若愚; 白井康之; 湊真一
        第76回全国大会講演論文集, 11 Mar. 2014
      • DS-1-10 Enumeration of graph walks visiting each vertex at most twice
        Kholilurrohman Muhammad; Minato Shin-ichi
        Proceedings of the IEICE General Conference, 04 Mar. 2014
      • 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, Jan. 2014
      • Fast implementation of shared-memory parallel algorithm using ULIBC (Ubiquity Library for Intelligently Binding Cores)
        安井 雄一郎; 藤澤 克樹; 竹内 聖悟; 湊 真一
        ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集, 31 Dec. 2013
      • Three-way Indexing ZDDs for Large Scale Sparse Dataset
        AOKI Hiroshi; TODA Takahisa; MINATO Shin-ichi
        IEICE technical report. Theoretical foundations of Computing, 11 Oct. 2013
      • 1-D-4 ZDDを用いた都市の避難所割り当ての列挙(災害対策)
        瀧澤 重志; 武知 祥史; 大田 章雄; 中野 浩太郎; 加藤 直樹; 井上 武; 堀山 貴史; 川原 純; 湊 真一
        日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 11 Sep. 2013
      • 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, Jun. 2013
      • An Efficient Sequence Binary Decision Diagrams with Mapping Edges
        Hiroshi Aoki; Shin-ichi Minato; Shigeru Yamashita
        IPSJ SIG Notes, 10 May 2013
      • Compact and Fast Indices Based on Zero-Suppressed Binary Decision Diagrams
        DENZUMI Shuhei; KAWAHARA Jun; TSUDA Koji; ARIMURA Hiroki; MINATO Shin-ichi; SADAKANE Kunihiko
        IEICE technical report. Theoretical foundations of Computing, 11 Mar. 2013
      • 「今どきの若者」にとっての学会とは
        湊 真一
        コンピュータソフトウェア, 25 Jan. 2013
      • An Efficient ZDD Construction Method Using Recuresive Specifications
        IWASHITA Hiroaki; KAWAHARA Jun; MINATO Shin-ichi
        IEICE technical report. Dependable computing, 19 Nov. 2012
      • Frontier-based Method : Efficient Graph Enumeration and Indexing Using BDDs/ZDDs
        MINATO Shin-ichi
        IEICE technical report. Communication systems, 14 Nov. 2012
      • 特集にあたって
        湊 真一
        オペレーションズ・リサーチ : 経営の科学 = [O]perations research as a management science [r]esearch, 01 Nov. 2012
      • 最先端の開拓者たち 湊真一氏 北海道大学大学院 情報科学研究科 教授 世界的権威が認めた超高速アルゴリズム 電力危機に挑む
        湊 真一
        日経コンピュータ, 27 Sep. 2012, Invited
      • 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, Aug. 2012
      • Analyzing power distribution networks by frontier-based method
        INOUE Takeru; TAKANO Keiji; WATANABE Takayuki; KAWAHARA Jun; YOSHINAKA Ryo; KISHIMOTO Akihiro; TSUDA Koji; MINATO Shin-ichi; HAYASHI Yasuhiro
        電子情報通信学会技術研究報告. IN, 情報ネットワーク, 12 Jul. 2012
      • Frontier-based Method : Efficient Graph Enumeration and Indexing Using BDDs/ZDDs
        MINATO Shin-ichi
        IEICE technical report. Information networks, 12 Jul. 2012
      • Analyzing power distribution networks by frontier-based method
        INOUE Takeru; TAKANO Keiji; WATANABE Takayuki; KAWAHARA Jun; YOSHINAKA Ryo; KISHIMOTO Akihiro; TSUDA Koji; MINATO Shin-ichi; HAYASHI Yasuhiro
        IEICE technical report. Information networks, 12 Jul. 2012
      • Generalization of ZDD Construction Algorithms for Enumerating and Indexing the Solutions of Combinatorial Problems
        KAWAHARA Jun; MINATO Shin-ichi
        IEICE technical report. Theoretical foundations of Computing, 14 Jun. 2012
      • Rich Operations for Manipulating Sequence Binary Decision Diagrams
        DENZUMI Shuhei; ARIMURA Hiroki; MINATO Shin-ichi
        IEICE technical report. Theoretical foundations of Computing, 14 Jun. 2012
      • 配電網の最適経路を探索し、配電ロスを最小化へ 「超高速アルゴリズム」にできること
        湊 真一
        科学技術振興機構 広報誌 JST NEWS, May 2012, Invited
      • Sequence Binary Decision Diagrams with Mapping Edges
        青木 洋士; 山下 茂; 湊 真一
        電子情報通信学会技術研究報告 : 信学技報, 27 Apr. 2012
      • Sequence Binary Decision Diagrams with Mapping Edges
        AOKI Hiroshi; YAMASHITA Shigeru; MINATO Shin-ichi
        IEICE technical report. Theoretical foundations of Computing, 20 Apr. 2012
      • DK-2-1 Frontier-based Method : Very Fast Algorithms for Graph Enumeration and Indexing Using ZDDs
        Minato Shin-ichi
        Proceedings of the IEICE General Conference, 06 Mar. 2012
      • DK-2-2 Applying the Frontier-Based Search Method to Various Link Puzzle Problems
        Yoshinaka Ryo; Iwashita Hiroaki; Kawahara Jun; Saitoh Toshiki; Tsuruma Koji; Minato Shin-ichi
        Proceedings of the IEICE General Conference, 06 Mar. 2012
      • DK-2-3 An application of the frontier-based method to configure power networks
        INOUE Takeru; TAKANO Keiji; WATANABE Takayuki; KAWAHARA Jun; YOSHINAKA Ryo; KISHIMOTO Akihiro; TSUDA Koji; MINATO Shin-ichi; HAYASHI Yasuhiro
        Proceedings of the IEICE General Conference, 06 Mar. 2012
      • ZDDを用いた系統運用制約を満たす配電網構成の網羅的探索手法
        井上武; 高野圭司; 渡辺喬之; 川原純; 吉仲亮; 岸本章宏; 津田宏治; 湊真一; 林泰弘
        電気学会 全国大会, Mar. 2012
      • フロンティア法の電力網構成制御への応用
        井上武; 高野圭司; 渡辺喬之; 川原純; 吉仲亮; 岸本章宏; 津田宏治; 湊真一; 林泰弘
        電子情報通信学会 総合大会, Mar. 2012
      • Fast Construction Method of ZDD Representing a Binary Matrix
        西野 正彬; 安田 宜仁; 湊 真一
        人工知能学会全国大会論文集, 2012
      • A Method for Multipurpose Information Evaluation Based on User Reviews
        鮑 若愚; 白井 康之; 湊 真一
        人工知能学会全国大会論文集, 2012
      • 「おめでとうソサイエティ論文賞」ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法
        湊真一; 有村博紀
        電子情報通信学会 情報・システムソサイエティ誌, Nov. 2010, Invited
      • Efficient Pattern Matching for Acyclic Regular Expressions
        金田 悠作; 湊 真一; 有村 博紀
        情報処理学会研究報告, Jun. 2010
      • An efficient hardware-oriented algorithm for regular expression matching based on parallel bit-distribution
        KANETA Yusaku; YOSHIZAWA Shingo; MINATO Shin-ichi; ARIMURA Hiroki; MIYANAGA Yoshikazu
        IEICE technical report, 19 Jan. 2010
      • Propositionalizing the EM algorithm by BDDs
        Masakazu Ishihata; Yoshitaka Kameya; Taisuke Sato; Shin-Ich Minato
        Transactions of the Japanese Society for Artificial Intelligence, 2010
      • JST戦略的創造研究推進事業EARTOプロジェクトの採択について
        湊 真一
        北海道大学大学院情報科学研究科広報誌 IST NEWS, Jan. 2010, Invited
      • D. E. Knuthの名著「The Art of Computer Programming」に、研究成果「ZDD」が掲載されたことについて
        湊 真一
        北海道大学大学院情報科学研究科広報誌 IST NEWS, Jul. 2009, Invited
      • F-050 Experiments and Considerations on ZBDD Variable Ordering for Representing Bayesian Networks
        Isomatsu Kouhei; Minato Shin-ichi
        情報科学技術フォーラム講演論文集, 20 Aug. 2008
      • Propositionalizing the EM algorithm by BDDs
        石畠正和; 亀谷由隆; 佐藤泰介; 湊真一
        人工知能学会人工知能基本問題研究会資料, 30 Jun. 2008
      • Knowledge Discovery and Compression by Using Zero-suppressed BDDs
        KURAI Ryutaro; MINATO Shin-ichi; ZEUGMANN Thomas
        Technical report of IEICE. PRMU, 12 Jun. 2008
      • 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, Jan. 2006
      • MulticastVNCを用いた構義ノート配信システムのトラヒック特性評価
        高橋宏和; 湊真一; 井上武; 東条弘; 豊島鑑
        電子情報通信学会 総合大会, Mar. 2005
      • 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, Aug. 2003
      • 自律広域マルチキャスト方式 Flexcast におけるソケットAPI の設計と実装
        井上武; 谷誠一郎; 湊真一; 宮崎敏明
        情報処理学会 全国大会, Mar. 2003
      • Stream-type BDD Manipulation Algorithm with Data-Size-Independent Memory Requirement
        Minato Shin-ichi; Ishihara Shinya
        情報処理学会研究報告. SLDM, [システムLSI設計技術], 27 Sep. 2001
      • Report from Prof. De Micheli's Laboratory at Stan ford University(Overseas,Laboratories)
        Minato Shin-ichi
        Bulletin of the Japan Society for Industrial and applied Mathematics, 15 Dec. 1997
      • Solve a puzzle by using the arithmetic logical expression system, BEM-II.
        奥乃博; 湊真一
        BIT (Tokyo), Apr. 1997
      • 算術論理式システムBEM-2を使ってパズルを解こう
        奥乃 博; 湊 真一
        Bit, Apr. 1997
      • 座長集約 核医学(29〜34)(北海道部会)
        湊 真一
        日本放射線技術学会雑誌, 1996
      • Fast Generation of Irredundant Sum -of- Products from Binary Decision Diagrams
        湊真一
        情報処理学会研究報告システムLSI設計技術(SLDM), 12 Dec. 1991
      • Shared Binary Decision Diagram for Efficient Boolean Function Manipulation
        湊 真一; 石浦 菜岐佐; 矢島 脩三
        情報処理学会研究報告システムLSI設計技術(SLDM), 14 Dec. 1989
      • Fast Enumeration of All Solutions for Cost-Bounded Combinatorial Problems Using Interval-Memoized Backtracking on ZDDs
        湊真一; 番原睦則; 堀山貴史; 川原純; 瀧川一学; 瀧川一学; 山口勇太郎
        情報処理学会研究報告(Web), Mar. 2022, Lead author, Corresponding author
      • 解集合プログラミングを用いた配電網問題の解法
        山田健太郎; 湊真一; 田村直之; 番原睦則
        日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022), Mar. 2022
      • DAGに対する幅とアルゴリズムに関する一考察
        森, 順平; 川原, 純; 湊, 真一; 笠原, 正治
        第84回全国大会講演論文集, Mar. 2022
      • ZDD の反復的トップダウン構築による選挙区割問題に対する厳密解列挙高速化
        山崎, 宏紀; 川原, 純; 湊, 真一
        第84回全国大会講演論文集, Mar. 2022, Last author
      • A ZDD-Based Algorithm for Solving Minimum Weighted Vertex Cover Problems and Its Evaluation
        劉, 祥; 湊, 真一
        第84回全国大会講演論文集, Mar. 2022, Last author
      • レプ・タイルの定式化を用いた各種ソルバの性能比較
        番原 睦則; 橋本 健二; 堀山 貴史; 湊 真一; 中村 駆; 西野 正彬; 酒井 正彦; 上原 隆平; 宇野 裕之; 安田 宜仁
        人工知能学会研究会資料 人工知能基本問題研究会, 20 Jan. 2022
      • 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, Feb. 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, Jan. 2022
      • 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, Oct. 2021
      • A Study on ASP-based Implementation of Combinatorial Reconfiguration Solver
        山田悠也; 湊真一; 番原睦則
        日本ソフトウェア科学会大会講演論文集(Web), Sep. 2021
      • BDDに基づく光論理回路における双対端子を利用した面積と電力の削減手法
        松尾, 亮祐; 湊, 真一
        DAシンポジウム2021論文集, 25 Aug. 2021
      • Overview and Prospective Reserch Activities of Grant-in-Aid for Transformative Research Areas: Algorithmic Foundations for Social Advancement (AFSA) Project
        湊真一
        電子情報通信学会技術研究報告(Web), May 2021
      • 特集「若手研究者」の編集にあたって
        湊 真一
        情報処理学会論文誌, 15 Mar. 2021
      • An Efficient Algorithm of Constructing Sequence BDDs for Large-Scale Sets of Sequences and Its Evaluation
        SUGINO So; KAWAHARA Jun; MINATO Shin-ichi
        Proceedings of the Annual Conference of JSAI, 2021
      • パストランジスタ回路の網羅的列挙による素子数最小回路の探索
        清水亮太; 湊真一
        情報処理学会SLDM研究会 DAシンポジウム2020予稿集, Sep. 2020, Last author
      • 任意の可逆論理関数を実現可能な部分回路を持つ最小のトフォリゲート回路の構成
        加藤剛; 湊真一
        情報処理学会SLDM研究会 DAシンポジウム2020予稿集, Sep. 2020, Last author
      • 非冗長積和形生成とその因数分解による論理関数の 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

      Presentations

      • 革新的アルゴリズム基盤(AFSA)プロジェクトと人工知能基本問題
        湊 真一
        人工知能学会研究会資料 人工知能基本問題研究会, 10 Nov. 2022, 一般社団法人 人工知能学会
      • BDDs and ZDDs: My Memories on the Shoulders of Giants
        Shin-ichi Minato
        Special Session of Bryant Discoveries Day, SAT 25th International Conference on Theory and Applications of Satisfiability Testing (SAT2022), 05 Aug. 2022, Invited
      • 学術変革領域研究(A)「アルゴリズム基盤」(AFSA プロジェクト)の概要と近況について
        湊 真一
        日本科学振興協会第1 回総会・キックオフミーティング, 18 Jun. 2022
      • 学変(A) アルゴリズム基盤(AFSA)プロジェクトの概要と最近の活動状況について
        湊 真一
        情報処理学会第84回全国大会 企画シンポジウム「革新的アルゴリズム基盤の構築に向けて」, 03 Mar. 2022, Invited
      • A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems
        Shin-ichi Minato; Mutsunori Banbara; Takashi Horiyama; Jun Kawahara; Ichigaku Takigawa; Yutaro Yamaguchi
        5th International Workshop on Enumeration Problems and Applications (WEPA2022), 23 Nov. 2022
      • Decision Diagrams and Reversible Computation
        Shin-ichi Minato
        13th International Conference on Reversible Computation (RC2021), 08 Jul. 2021, Invited
      • Overview and Prospective Reserch Activities of Grant-in-Aid for Transformative Research Areas: Algorithmic Foundations for Social Advancement (AFSA) Project
        湊真一
        電子情報通信学会技術研究報告(Web), May 2021
      • Recent Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation
        Shin-ichi Minato
        International Workshop on Logic and Synthesis, 29 Jul. 2020, Invited
      • Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling
        Shin-ichi Minato
        KOCOON Workshop, 18 Dec. 2019
      • 離散構造処理系プロジェクト:10年の研究経過と今後の展開
        湊 真一
        情報処理学会第81回全国大会, 15 Mar. 2019, 情報処理学会
      • 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, 13 Mar. 2019, Institute for Chemical Reaction Design and Discovery, Hokkaido University, Invited
      • グラフ・列挙・確率に関わる離散構造処理アルゴリズムの最近の研究トピックについて
        湊 真一
        人工知能学会 人工知能基本問題研究会 合同研究会企画シンポジウム, 23 Nov. 2018, 人工知能学会 人工知能基本問題研究会
      • Decision Diagram-Based Techniquesfor Enumeration Problems and Applications
        Shin-ichi Minato
        2nd International Workshop on Enumeration Problems & Applications (WEPA 2018), 08 Nov. 2018, WEPA Organizing Committee, Invited
      • 離散構造処理系:その概要と最近の研究状況について
        湊 真一
        第21回情報論的学習理論ワークショップ (IBIS 2018), 05 Nov. 2018, 電子情報通信学会 IBIS-ML研究会, Invited
      • 離散構造処理系プロジェクトの近況について
        湊 真一
        電子情報通信学会コンピュテーション研究会, 26 Oct. 2018, Invited
      • 離散構造処理系の技法と組合せ列挙・最適化
        湊 真一
        進化計算シンポジウム 2017, 09 Dec. 2017, 進化計算学会, Invited
      • “BDD/ZDD-based enumeration techniques and real-life applications
        Shin-ichi Minato
        EPFL Workshop on Logic Synthesis and Emerging Technologies, 29 Sep. 2017, EPFL, Invited
      • Power of Enumeration ― BDD/ZDD-Based Techniques for Solving Combinatorial Problems
        Shin-ichi Minato
        The 10th Annual Symposium on Combinatorial Search (SoCS2017), 17 Jun. 2017, SoCS Organizing Committee, Invited
      • 「フカシギの数え方」― 組合せ爆発に立ち向かう最先端アルゴリズム 技術
        湊 真一
        国立情報学研究所オープンハウス2013基調講演, 14 Jun. 2013, 国立情報学研究所, Invited
      • フカシギの不思議
        湊 真一
        日本科学未来館 第11期メディアラボ トークイベ ント, 19 Jan. 2013, 日本科学未来館, Invited
      • 基礎からわかるアルゴリズム
        Louridas, Panos (鳥飼, まこと; 湊, 真一)
        ニュートンプレス, May 2022
      • 2019年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
        湊真一, Supervisor
        基盤(S)離散構造処理系プロジェクト, Aug. 2020
      • 基礎から学ぶ情報理論 第2版
        中村, 篤祥; 喜田, 拓也; 湊, 真一; 廣瀬, 善大, Joint work
        ムイスリ出版, 2020, Not refereed
      • 2018年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
        湊 真一, Supervisor
        基盤(S)離散構造処理系プロジェクト, Sep. 2019
      • 2017年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
        湊 真一
        基盤(S)離散構造処理系プロジェクト,, Jul. 2018, Not refereed
      • 人工知能学大事典, 人工知能学会編
        湊 真一, Contributor, BDD とZDD, 6章-36節, pp. 344-34
        共立出版, Jul. 2017, Not refereed
      • 2016年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
        湊 真一, Supervisor
        基盤(S)離散構造処理系プロジェクト,, Jun. 2017, Not refereed
      • 2015年度 JST ERATO湊離散構造処理系プロジェクト / JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
        湊 真一, Supervisor
        基盤(S)離散構造処理系プロジェクト,, Jun. 2016, Not refereed
      • 確率的グラフィカルモデル
        鈴木, 譲; 植野, 真臣; 黒木, 学(工学); 清水, 昌平; 湊, 真一; 石畠, 正和; 樺島, 祥介; 田中, 和之; 本村, 陽一; 玉田, 嘉紀, Contributor, 離散構造処理の技法と確率モデル, 第5章, pp. 125-144
        共立出版, 2016, Not refereed
      • 2014年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録
        湊 真一, Supervisor
        ERATO湊離散構造処理系プロジェクト, Jun. 2015, Not refereed
      • 超高速グラフ列挙アルゴリズム-〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ-
        ERATO 湊離散構造処理系プロジェクト; 湊真一, Editor
        森北出版, 08 Apr. 2015, Not refereed
      • 超高速グラフ列挙アルゴリズム : 「フカシギの数え方」が拓く, 組合せ問題への新アプローチ
        湊, 真一; ERATO湊離散構造処理系プロジェクト; 科学技術振興機構
        森北出版, 2015
      • Applications of Zero-Suppressed Decision Diagrams (Synthesis Lectures on Digital Circuits and Systems)
        T. Sasao; J. Butler; ditor, Contributor, The Power of Enumeration - BDD/ZDD-Based Algorithms for Tackling Combinatorial Explosion, chapter 3, pp. 49-62
        Morgan & Claypool Publishers, Nov. 2014, Not refereed
      • Encyclopedia of Algorithms
        Ming-Yang Kao, Contributor, Counting by ZDD
        Sep. 2014, Not refereed
      • Reversible Computation," 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
        Shigeru Yamashita; Shin-ichi Minato, Joint editor
        Springer, Jul. 2014, Not refereed
      • 2013年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録
        湊 真一, Supervisor
        ERATO湊離散構造処理系プロジェクト, Jul. 2014, Not refereed
      • 2012年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録
        湊 真一, Supervisor
        ERATO湊離散構造処理系プロジェクト, Jul. 2013, Not refereed
      • 基礎から学ぶ情報理論
        中村, 篤祥; 喜田, 拓也; 湊, 真一
        ムイスリ出版, 2013
      • 2011年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録
        湊 真一, Supervisor
        ERATO湊離散構造処理系プロジェクト, Jul. 2012, Not refereed
      • 2010年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録
        湊 真一, Supervisor
        ERATO湊離散構造処理系プロジェクト, Jun. 2011, Not refereed
      • 電子情報通信学会「知識ベース」
        湊 真一, Contributor, 論理代数と論理関数
        電子情報通信学会, Mar. 2011, Not refereed
      • Interdisciplinary advances in adaptive and Intelligent assistant Systems: concepts, techniques, applications, and Use
        Shin-ichi Minato; Nicolas Spyratos, Contributor, BDD-Based Combinatorial Keyword Query Processing
        IGI Global, Jan. 2011, Not refereed
      • Progress in Representation of Discrete Functions (Synthesis Lectures on Digital Circuits and Systems)
        Shin-ichi Minato, Contributor, Data Mining Using Binary Decision Diagrams
        Morgan & Claypool Publishers, May 2010, Not refereed
      • 英語で学ぶ計算理論
        Thomas Zeugmann; 湊 真一; 大久保 好章; Thomas Zeugmann, Joint work
        コロナ社, Mar. 2009, Not refereed
      • 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, Joint editor
        Springer, Feb. 2009, Not refereed
      • 英語で学ぶ計算理論 = Theory of computation
        Zeugmann, Thomas; 湊, 真一; 大久保, 好章
        コロナ社, 2009
      • 二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究
        湊, 真一
        [北海道大学大学院情報科学研究科], 2008
      • The VLSI Handbook
        Shin-ichi Minato; Saburo Muroga, Contributor, Binary Decision Diagrams
        CRC/IEEE Press, Dec. 1999, Not refereed
      • Binary Decision Diagrams and Applications for VLSI CAD
        Shin-ichi Minato, Single work
        Kluwer Academic Publishers, Nov. 1996, Not refereed
      • Representation of Discrete Functions
        Shin-ichi Minato, Contributor, Graph-Based Representations of Discrete Functions
        Kluwer Academic Publishers, May 1996, Not refereed
      • Binary decision diagrams and applications for VLSI CAD
        湊, 真一
        Kluwer Academic, 1996

      Works

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

      Awards

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

      External funds: Kakenhi

      • Algorithmic Foundations Based on Large-Scale Discrete Structures
        Grant-in-Aid for Transformative Research Areas (A)
        Transformative Research Areas, Section (IV)
        Hokkaido University
        堀山 貴史
        From 19 Nov. 2020, To 31 Mar. 2025, Granted
        大規模離散構造;列挙アルゴリズム;文字列アルゴリズム;SATアルゴリズム;グラフアルゴリズム
      • Research Initiatives on Algorithmic Foundations for Social Advancement
        Grant-in-Aid for Transformative Research Areas (A)
        Transformative Research Areas, Section (IV)
        Kyoto University
        湊 真一
        From 19 Nov. 2020, To 31 Mar. 2025, Granted
        革新的アルゴリズム基盤;組織運営;研究推進
      • Research on Integrated Techniques of Enumeration and Optimization Based on Discrete Structure Manipulation Systems
        Grant-in-Aid for Scientific Research (A)
        Medium-sized Section 61:Human informatics and related fields
        Kyoto University
        湊 真一
        From 01 Apr. 2020, To 31 Mar. 2025, Granted
        アルゴリズム;離散構造;演算処理系;列挙;索引化
      • Creation and Organization of Innovative Algorithmic Foundations for Leading Social Innovations
        Grant-in-Aid for Transformative Research Areas (A)
        From 19 Nov. 2020, To 31 Mar. 2025
      • Next-generation semi-structured data mining technologies for real-world knowledge infrastructures
        Grant-in-Aid for Scientific Research (A)
        Hokkaido University
        Hiroki Arimura
        From 01 Apr. 2016, To 31 Mar. 2020, Project Closed
        非構造データ;意味マイニング;時空間データマイニング;イベントストリーム処理;高次元非構造データ検索;大規模知識索引;知識発見;ビッグデータ;半構造データ;データマイニング;ストリーム処理
      • Research on Fundamental Algorithms of Discrete Structure Manipulation Systems
        Grant-in-Aid for Scientific Research (S)
        Kyoto University;Hokkaido University
        Shin-ichi MINATO
        From 29 May 2015, To 31 Mar. 2020, Project Closed
        離散構造;アルゴリズム;論理関数;組合せ集合;大規模データ処理;グラフ理論;最適化;列挙;離散構造処理系;二分決定グラフ;列挙アルゴリズム;ZDD;データ構造;演算処理系;索引化;BDD;グラフアルゴリズム;網羅的解析
      • Establishing the foundation of discrete mathematics in the field of architecture and urban planning and its application to large-scale optimization
        Grant-in-Aid for Scientific Research (A)
        Kwansei Gakuin University;Kyoto University
        Naoki Katoh
        From 01 Apr. 2013, To 31 Mar. 2017, Project Closed
        最速フロー;組合せ剛性理論;大域剛性;避難計画;ブレース追加問題;普遍的最速フロー;冗長剛性;最速フロー問題;多面体平坦折り畳み;動的フロー;避難所配置問題;帰宅シミュレーション;最速避難計画;最適避難所配置;動的ネットワークフロー;最速避難計画問題;トラス・トポロジー最適化;3次元一般剛性
      • Research on Asymptotically Succinct BDD Data Structures
        Grant-in-Aid for Challenging Exploratory Research
        Hokkaido University
        Shin-ichi MINATO
        From 01 Apr. 2012, To 31 Mar. 2015, Project Closed
        BDD;ZDD;簡潔データ構造;離散構造;論理関数;組合せ集合
      • Development of Next-Generation Semi-structured Data Mining for Large-Scale Knowledge Base Formation
        Grant-in-Aid for Scientific Research (A)
        Hokkaido University
        Hiroki Arimura
        From 01 Apr. 2012, To 31 Mar. 2016, Project Closed
        大規模半構造データ;データマイニング;高次元データ検索;イベントストリーム処理;知識索引;知識発見;ビッグデータ;非構造データ;大規模知識索引;高次元非構造データ検索;半構造マイニング;トラジェクトリ照合;群パターンマイニング;ZDD;半構造マイニングエンジン;部分超グラフ列挙;半構造データ;ストリーム処理;超低メモリアルゴリズム;イベント照合
      • A Multifaced Approach Toward Understanding the Limitations of Compuation
        Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
        Science and Engineering
        Tokyo Institute of Technology
        Osamu Watanabe
        From 28 Jun. 2012, To 31 Mar. 2017, Project Closed
        計算限界解明;研究連携促進;研究拠点形成;若手研究者の育成;成果の総括;成果の波及;計算複雑さの理論;アルゴリズム理論;計算量上下界解析;成果の総括と公表;計算限界解明手法の開拓;多視点からの連携研究;国際研究者交流;各種啓発・研究成果波及;若手研究者育成;多視点からの統合的解析;計算限界研究センター;計算理論若手研究者育成;ELC 秋学校;ELC Seminar;ELC Workshop
      • Proposing compact representations for coalitional games
        Grant-in-Aid for Scientific Research (C)
        Kyushu University
        Yuko SAKURAI
        From 28 Apr. 2011, To 31 Mar. 2015, Project Closed
        マルチエージェントシステム;協力ゲーム;提携構造形成問題;二分決定グラフ;特性関数;簡潔記述法;人工知能;ゲーム理論;情報ネットワーク経済;ゼロサプレス型二分決定グラフ
      • 情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究
        Grant-in-Aid for Scientific Research on Priority Areas
        Science and Engineering
        Hokkaido University
        トーマス ツォイクマン;トーマス ツオイクマン
        From 01 Apr. 2009, To 31 Mar. 2011, Project Closed
        情報ネットワーク;知識処理;データ構造;アルゴリズム;二分決定グラフ;計算料理論;機械学習;セキュリティ
      • 二分決定グラフに基づく大規模ベイジアンネットワーク解析処理法の研究
        Grant-in-Aid for Challenging Exploratory Research
        Hokkaido University
        湊 真一
        From 01 Apr. 2008, To 31 Mar. 2011, Project Closed
        二分決定グラフ;BDD;ZDD;ベイジアンネットワーク;大規模データ処理
      • Research on database analysis algorithms using very large-scale monolithic memory space
        Grant-in-Aid for Scientific Research (B)
        Hokkaido University
        Shin-ichi MINATO
        From 01 Apr. 2008, To 31 Mar. 2012, Project Closed
        知識発見とデータマイニング;二分決定グラフ;BDD;ZDD;データマイニング;データベース解析
      • Next-Generation Semi-structured Data Mining for Large-Scale Knowledge Base Formation
        Grant-in-Aid for Scientific Research (A)
        Hokkaido University
        Hiroki ARIMURA
        From 01 Apr. 2008, To 31 Mar. 2012, Project Closed
        知識発見とデータマイニング;半構造マイニング;頻出パターン発見;エピソードマイニング;大規模知識索引;グラフマイニング;ストリーム処理;極大パターン発見;知識発見;ウェブページ
      • Predicting Antigenic Changes of Influenza Viruses by Discovering Patterns of Viral Evolution
        Grant-in-Aid for Scientific Research (B)
        Hokkaido University
        Kimihito ITO
        From 01 Apr. 2007, To 31 Mar. 2010, Project Closed
        知識発見とデータマイニング;パターン発見;アルゴリズム;生体生命情報学;インフルエンザウイルス;感染症
      • 情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究
        Grant-in-Aid for Scientific Research on Priority Areas
        Science and Engineering
        Hokkaido University
        トーマス ツォイクマン
        From 01 Apr. 2007, To 31 Mar. 2009, Project Closed
        情報ネットワーク;知識処理;データ構造;アルゴリズム;二分決定グラフ;計算料理論;機械学習;セキュリティ
      • 情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究
        Grant-in-Aid for Scientific Research on Priority Areas
        Science and Engineering
        Hokkaido University
        トーマス ツォイクマン
        From 01 Apr. 2006, To 31 Mar. 2007, Project Closed
        情報ネットワーク;知識処理;データ構造;アルゴリズム;二分決定グラフ;計算量理論;機械学習;セキュリティ
      • Research for Efficient Algorithms of Large-Scale Database Analysis Based on Binary Decision Diagrams
        Grant-in-Aid for Scientific Research (B)
        Hokkaido University
        Shin-Ichi MINATO
        From 01 Apr. 2005, To 31 Mar. 2008, Project Closed
        二分決定グラフ;BDD;ZBDD;データマイニング;データベース解析;基盤ソフトウェア, Binary Decision Diagram;BDD;ZBDD;Data Mining;Database Analysis;Basic Software
      • Efficient Pattern Discovery from Massive Semi-Structured Data for Knowledge Infrastructure Formation on the Web
        Grant-in-Aid for Specially Promoted Research
        Science and Engineering
        Hokkaido University
        Hiroki ARIMURA
        From 01 Apr. 2005, To 31 Mar. 2008, Project Closed
        知識基盤形成;半構造データ;データマイニング;パターン発見;知識集約型技術;知識索引;情報抽出;系列と木マイニング;知識索引構造;極太パターン発見;グラフマイニング, knowledge infrastructure formation;semi-structured data;data mining;optimized pattern discovery;knowledge society;knowledge indexing;information extraction;sequence and tree mining
      • 論理関数表現のモデルとシンボリックアルゴリズム
        Grant-in-Aid for Scientific Research on Priority Areas
        Science and Engineering
        The University of Electro-Communications
        武永 康彦
        From 01 Apr. 2004, To 31 Mar. 2008, Project Closed
        論理関数;アルゴリズム;二分決定グラフ;シンボリックアルゴリズム;パラメータ化計算量;グラフアルゴリズム;Tree-shellable論理関数;二分モーメントグラフ;Tree-Shellable論理関数;区間グラフ
      • 最適パターン発見に基づく大規模半構造データからの知的情報獲得システムの開発
        Grant-in-Aid for Scientific Research on Priority Areas
        Science and Engineering
        Hokkaido University
        トーマス ツォイクマン;有村 博紀
        From 01 Apr. 2004, To 31 Mar. 2006, Project Closed
        半構造データ;ウェブマイニング;XMLデータ;グラフマイニング;パターン照合;系列パターン;機械学習;文法圧縮
      • Automatic classification and recognition of singularities and its application
        Grant-in-Aid for Scientific Research (C)
        Basic Section 11020:Geometry-related
        Kansai University
        寺本 央
        From 01 Apr. 2023, To 31 Mar. 2027, Granted
        特異点論;実限量化子消去;BDD;多目的最適化;計算代数

      External funds: others

      • Steering Toward Spatio-Temporal Computing Architecture Driven by Learning/Math-Scientific Models
        JST CREST
        From 01 Oct. 2018, To 31 Mar. 2023
        本村 真人
      • MINATO Discrete Structure Manipulation System Project
        JST ERATO
        From 01 Oct. 2009, To 31 Mar. 2016
        湊 真一
      list
        Last Updated :2024/03/20

        Education

        Teaching subject(s)

        • From 01 Apr. 2023, To 31 Mar. 2024
          Theory of Algorithms
          9055, Fall, Faculty of Engineering, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Information and Coding Theory
          9129, Spring, Faculty of Engineering, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Theory of Discrete Algorithms
          3627, Spring, Graduate School of Informatics, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Theory of Computational Complexity
          3614, Fall, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Information and Coding Theory
          9129, Spring, Faculty of Engineering, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Theory of Algorithms
          9055, Fall, Faculty of Engineering, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Theory of Discrete Algorithms
          3627, Spring, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Theory of Computational Complexity
          3614, Fall, Graduate School of Informatics, 2
        • From Apr. 2018, To Mar. 2019
          Theory of Algorithms
          Fall, 工学部
        • From Apr. 2018, To Mar. 2019
          Theory of Discrete Algorithms
          Spring, 情報学研究科
        • From Apr. 2019, To Mar. 2020
          ILAS Seminar
          Spring, 全学共通科目
        • From Apr. 2019, To Mar. 2020
          Theory of Algorithms
          Fall, 工学部
        • From Apr. 2019, To Mar. 2020
          Theory of Discrete Algorithms
          Spring, 情報学研究科
        • From Apr. 2020, To Mar. 2021
          Information and Coding Theory
          Spring, 工学部
        • From Apr. 2020, To Mar. 2021
          Information and Business
          Spring, 工学部
        • From Apr. 2020, To Mar. 2021
          Graduation Thesis 1
          Spring, 工学部
        • From Apr. 2020, To Mar. 2021
          Graduation Thesis 1
          Fall, 工学部
        • From Apr. 2020, To Mar. 2021
          Graduation Thesis 2
          Spring, 工学部
        • From Apr. 2020, To Mar. 2021
          Graduation Thesis 2
          Fall, 工学部
        • From Apr. 2020, To Mar. 2021
          Theory of Algorithms
          Fall, 工学部
        • From Apr. 2020, To Mar. 2021
          Theory of Discrete Algorithms
          Spring, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Introduction to Algorithms-E2
          Spring, 全学共通科目
        • From Apr. 2021, To Mar. 2022
          Introduction to Engineering
          Spring, 工学部
        • From Apr. 2021, To Mar. 2022
          Information and Coding Theory
          Spring, 工学部
        • From Apr. 2021, To Mar. 2022
          Theory of Computational Complexity
          Fall, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Theory of Algorithms
          Fall, 工学部
        • From Apr. 2021, To Mar. 2022
          Theory of Discrete Algorithms
          Spring, 情報学研究科

        Participation in PhD Defense

        • Studies on Synthesis Methods for Efficient Optical Logic Circuits
          MATSUO RYOSUKE, Graduate School of Informatics, Chief Examiner
          23 Mar. 2023
        • Algorithms for Stable Matching Problems toward Real-World Applications
          HAMADA KOKI, Graduate School of Informatics, Sub-chief Examiner
          23 Mar. 2022
        • Robust Service Provisioning in Network Function Virtualization
          ZHANG YUNCAN, Graduate School of Informatics, Sub-chief Examiner
          24 Sep. 2021
        • Studies on Implicit Graph Enumeration Using Decision Diagrams
          NAKAHATA YU, Graduate School of Informatics, Chief Examiner
          24 Sep. 2021
        • Towards Practical Inner Product Functional Encryption
          TOMIDA JUNICHI, Graduate School of Informatics, Sub-chief Examiner
          24 May 2021
        list
          Last Updated :2024/03/20

          Administration

          School management (title, position)

          • From 01 Apr. 2023, To 31 Mar. 2025
            京都大学情報環境整備委員会 委員
          • From 01 Apr. 2019, To 31 Mar. 2020
            国際高等教育院 基盤企画評価専門委員会 情報学部会 委員
          • From 01 Apr. 2019, To 31 Mar. 2020
            国際高等教育院 企画評価専門委員会 情報学部会 委員

          Faculty management (title, position)

          • From 01 Apr. 2023, To 31 Mar. 2024
            情報環境機構教育用計算機専門委員会 委員長
          • From 01 Apr. 2023, To 30 Sep. 2024
            情報環境機構 情報環境整備委員会 委員
          • From 01 Apr. 2023, To 31 Mar. 2024
            情報環境機構評価委員会 委員
          • From 01 Apr. 2023, To 31 Mar. 2024
            情報環境機構協議会 委員
          • From 01 Apr. 2023, To 31 Mar. 2024
            情報環境機構管理委員会 委員
          • From 01 Apr. 2023, To 31 Mar. 2024
            情報環境機構運営委員会 委員
          • From 01 Apr. 2023, To 31 Mar. 2024
            教務委員会委員
          • From 01 Apr. 2022, To 31 Mar. 2024
            情報環境機構 教育用計算機専門委員会 委員
          • From 01 Apr. 2022, To 31 Mar. 2023
            評価・広報委員会委員長
          • From 01 Apr. 2019, To 31 Mar. 2020
            図書WG委員長
          • From 01 Apr. 2019, To 31 Mar. 2020
            基盤整備委員会副委員長
          • From 01 Apr. 2020, To 31 Mar. 2021
            基盤整備委員会委員
          • From 01 Apr. 2020, To 31 Mar. 2021
            計算機小委員会委員長
          • From 01 Apr. 2020, To 31 Mar. 2021
            情報学科長
          • From 01 Apr. 2021, To 31 Mar. 2022
            評価・広報委員会委員
          list
            Last Updated :2024/03/20

            Academic, Social Contribution

            Committee Memberships

            • From May 2023, To Present
              ACT-X「次世代AI・数理情報」アドバイザー, 科学技術振興機構
            • From Apr. 2023, To Present
              科学技術・学術審議会 情報委員会 委員, 文部科学省
            • From Oct. 2022, To Present
              CRDS分野別委員会(AI・情報分野)委員, 科学技術振興機構
            • From Mar. 2022, To Apr. 2023
              日本国際賞 審査委員会「エレクトロニクス・情報・通信」分野 部会委員, 国際科学技術財団
            • From Oct. 2021, To Present
              ERATO ポストオフィサー, 科学技術振興機構
            • From May 2021, To May 2025
              理事, 情報処理学会
            • From May 2018, To May 2020
              理事, 情報処理学会
            • From Sep. 2020, To Present
              創発的研究支援事業 創発アドバイザ, 科学技術振興機構
            • From Jun. 2016, To Mar. 2021
              ACT-I 「情報と未来」 アドバイザ, 科学技術振興機構
            • From Jul. 2019, To Nov. 2021
              京都賞先端技術部門専門委員, 稲盛財団
            • From Jun. 2020, To May 2021
              英文論文誌JIP 編集長, 情報処理学会
            • From Jun. 2014, To May 2020
              コンピュテーション研究専門委員, 電子情報通信学会
            • From Apr. 2014, To Mar. 2020
              さきがけ「社会と調和した情報基盤技術の構築」 アドバイザ, 科学技術振興機構
            • From 2012, To 2014
              論文特集号編集委員, 電子情報通信学会
            • From 2010, To 2014
              評議員, 人工知能学会
            • From 2007, To 2014
              情報ネットワーク研究専門委員会, 電子情報通信学会
            • From Jun. 2011, To May 2012
              京都賞先端技術部門専門委員, 稲盛財団
            • From 2010, To 2012
              論文特集号編集委員, 情報処理学会
            • From 2010, To 2012
              論文特集号編集委員, 電子情報通信学会
            • From 2009, To 2011
              論文特集号編集委員, 電子情報通信学会
            • From 2008, To 2010
              論文特集号編集委員, 電子情報通信学会
            • From 2007, To 2009
              論文特集号編集委員, 電子情報通信学会
            • From 2006, To 2008
              論文特集号編集委員, 電子情報通信学会
            • From 2005, To 2007
              論文特集号編集委員, 情報処理学会
            • From 2005, To 2007
              論文特集号編集委員, 電子情報通信学会
            • From 2004, To 2006
              論文特集号編集委員, 情報処理学会
            • From 2004, To 2006
              論文特集号編集委員, 電子情報通信学会

            ページ上部へ戻る