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. 2025, To Present

  Kyoto University, Graduate School of Informatics, Vice Dean
• From Apr. 2023, To Present

  京都大学 情報環境機構, 副機構長
• From Apr. 2023, To Mar. 2025

  情報学科・専攻協議会, 会長
• From Jun. 2021, To Jun. 2025

  情報処理学会, 理事
• From Apr. 2018, To Mar. 2025

  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 Course of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University (concurrently in Undergraduate School of Informatics and Mathematical Science, Faculty of Engineering). His research interests 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. On 2004, he joined Hokkaido University as an Associate Professor at Graduate School of Information Science and Technology, and has been a Professor since Oct. 2010. From Apr. 2018, he is a Professor at Kyoto University (present position).

  
  

  From 1999 to 2000, he concurrently served a Visiting Lecturer at Shonan-Fujisawa Campus of Keio University. From 2009 to 2015, He was the Research Director of JST MINATO Discrete Structure Manipulation System Project. From 2011, he is also an Adjunct Researcher at Research Institute for Advanced Network Technology of Waseda University. From 2014, he also serves a Visiting Professor at National Institute of Informatics. From 2018 to 2024, he was a Visiting Professor at Research Center of Mathematics for Social Creativity Research Institute for Electronic Science (MSC) of Hokkaido University. From Oct. 2017, He is a member of Science Council of Japan (SCJ). From 2018 to 2020 and from 2021 to 2025, he served a member of director board of IPSJ. On 2020, he served a Director of Undergraduate School of Informatics and Mathematical Science, Kyoto University. From 2023, he is also a Vice Director of the Institute for Information Management and Communication (IIMC), Kyoto University. From 2025, he is also a Vice Dean of Graduate School of Informatics, Kyoto University. From 2026, he also serves a Vice Supervisor of Kyoto University Symphony Orchestra.

  
  

  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). On 2012, he supervised an animation video (over 3,2 millon views, English captioned) for the exhibition at "Miraikan" (National Future Science Museum of Japan).

  
  

  From 2020 to 2024, he serves a project leader of JSPS KAKENHI AFSA (Algorithmic Foundations for Social Advancement) Project. On 2020, he served Editor in Chief of the Journal of Information Processing (JIP). He also served Conference Chair of ISAAC 2023, TPC Chair of SASIMI 2025, and will serve General Chair of SASIMI 2027. He is a Fellow of IPSJ, a senior member of IEEE and IEICE, and a member of JSAI and JSCS.

ID,URL

• J-Global ID

  200901020036165552

• External link

  https://www.lab2.kuis.kyoto-u.ac.jp/minato/

Website(s) (URL(s))

• http://www.lab2.kuis.kyoto-u.ac.jp/minato/

researchmap URL

• https://researchmap.jp/hjkl

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

• On the sizes of BDDs and ZDDs representing matroids.

  Hiromi Emoto; Yuni Iwamasa; Shin-ichi Minato

  Theor. Comput. Sci., 2026, Peer-reviewed, Last author

  
• Computational Complexity of Swish Is Solved.

  Takashi Horiyama; Takehiro Ito; Jun Kawahara; Shin-ichi Minato; Akira Suzuki 0001; Ryuhei Uehara; Yutaro Yamaguchi 0001

  FUN, 2026, Peer-reviewed

  
• Enumerating All Graph Colorings Using Zero-Suppressed Binary Decision Diagrams

  Ryohei Okuda; Jun Kawahara; Shin-ichi Minato

  Lecture Notes in Computer Science, 14 Feb. 2026, Peer-reviewed, Last author

  
• An Efficient ZDD-Based Method for Enumerating All Cost-Bounded Solutions of Graph Problems: Applications to Weighted Vertex Cover and Hamiltonian s-t Path Problems

  Teruyuki Miyamoto; Jun Kawahara; Shin-ichi Minato

  Proceedings of the 18th International Conference on Agents and Artificial Intelligence, 2026, Peer-reviewed, Last author

  
• Multi-Objective Combinatorial Reconfiguration Considering Cost and Length by Answer Set Programming: Algorithms, Encodings, and Empirical Analysis

  Kazuki Takada; Mutsunori Banbara; Takehiro Ito; Jun Kawahara; Shin-ichi Minato; Torsten Schaub; Ryuhei Uehara

  Frontiers in Artificial Intelligence and Applications, 21 Oct. 2025, Peer-reviewed

  
• Practical Adversarial Combinatorial Bandit Algorithm via Compression of Decision Sets.

  Shinsaku Sakaue; Masakazu Ishihata; Shin-ichi Minato

  CoRR, 2017

  
• Solving Rep-Tile by Computers: Performance of Solvers and Analyses of Solutions

  Mutsunori Banbara; Kenji Hashimoto; Takashi Horiyama; Kosuke Oguri; Shin-ichi Minato; Masaaki Nishino; Masahiko Sakai; Ryuhei Uehara; Yushi Uno; Norihito Yasuda

  Algorithmic Foundations for Social Advancement, 08 Mar. 2025

  
• Motivating Problems and Algorithmic Solutions

  Shin-ichi Minato

  Algorithmic Foundations for Social Advancement, 08 Mar. 2025, Lead author, Last author, Corresponding author

  
• Overview of Algorithmic Foundations for Social Advancement (AFSA) Project

  Shin-ichi Minato

  Algorithmic Foundations for Social Advancement, 08 Mar. 2025, Lead author, Last author, Corresponding author

  
• A Recursive Framework for Evaluating Moments Using Zero-Suppressed Binary Decision Diagrams.

  Brian Godwin S. Lim; Renzo Roel P. Tan; Jun Kawahara; Shin-ichi Minato; Kazushi Ikeda

  IEEE Access, 2024, Peer-reviewed

  
• Automated Test Assmbly using Zero-suppressed Binary Decision Diagrams

  渕本壱真; 湊真一; 植野真臣

  人工知能学会論文誌(Web), 2022

  
• Fast enumeration of all cost-bounded solutions for combinatorial problems using ZDDs

  Shin-ichi Minato; Jun Kawahara; Mutsunori Banbara; Takashi Horiyama; Ichigaku Takigawa; Yutaro Yamaguchi

  Discrete Applied Mathematics, Jan. 2025, Peer-reviewed, Lead author, Corresponding author

  Access this paper :

  
• Manipulation of regular expressions under length constraints using zero-suppressed-BDDs

  Shinya Ishihara; Shin ichi Minato

  Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC, 1995

  
• Network reliability optimization by using binary decision diagrams

  Masaaki Nishino; Takeru Inoue; Norihito Yasuda; Shin-Ichi Minato; Masaaki Nagata

  NTT Technical Review, 01 Nov. 2018

  
• Efficient algorithm for enumerating all solutions to an exact cover problem

  Masaaki Nishino; Norihito Yasuda; Shin-Ichi Minato; Masaaki Nagata

  NTT Technical Review, 01 Nov. 2017

  
• Combinatorial optimization using binary decision diagrams

  Masaaki Nishino; Norihito Yasuda; Tsutomu Hirao; Shin-Ichi Minato; Masaaki Nagata

  NTT Technical Review, 01 Nov. 2015

  
• On the Computational Complexity of Generalized Common Shape Puzzles.

  Mutsunori Banbara; Shin-ichi Minato; Hirotaka Ono 0001; Ryuhei Uehara

  SOFSEM, Feb. 2024, Peer-reviewed

  
• Optimizing Decision Diagrams for Measurements of Quantum Circuits

  Ryosuke Matsuo; Rudy Raymond; Shigeru Yamashita; Shin-ichi Minato

  Proc. of the 29th Asia South Pacific Design Automation Conference (ASPDAC 2024), Jan. 2024, Peer-reviewed, Last author

  
• Automated Parallel Test Forms Assembly using Zero-suppressed Binary Decision Diagrams.

  Kazuma Fuchimoto; Shin-ichi Minato; Maomi Ueno

  IEEE Access, Oct. 2023, Peer-reviewed

  
• BDD/ZDDを用いたマインスイーパーの爆弾配置パタンの列挙

  鈴木 浩史; 孫 浩; 湊 真一

  人工知能学会全国大会論文集, 2016

  
• International Competition on Graph Counting Algorithms 2023

  INOUE Takeru; YASUDA Norihito; NABESHIMA Hidetomo; NISHINO Masaaki; DENZUMI Shuhei; MINATO Shin-ichi

  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2024, Peer-reviewed, Invited

  
• グラフの部分構造を列挙するZDD構築のための変数順序付けヒューリスティクス

  井上 祐馬; 鈴木 浩史; 伊藤 華; 湊 真一

  人工知能学会全国大会論文集, 2016

  
• Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram Operations

  Shou Ooba; Jun Kawahara; Shin-ichi Minato

  Proceedings of the 16th International Conference on Agents and Artificial Intelligence, Feb. 2024, Peer-reviewed, Last author

  
• 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, Peer-reviewed

  
• 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, Mar. 2024, Peer-reviewed, Last author

  
• 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.

• 量子アニーラへの埋め込みのための決定グラフに基づく変数制約のQUBO定式化

  齊藤一希; 安戸僚汰; 湊真一

  情報処理学会研究報告(Web), Mar. 2026, Last author

  
• Swishの計算量,

  堀山貴史; 伊藤健洋; 川原純; 湊真一; 鈴木顕; 上原隆平; 山口勇太郎

  第20回組合せゲーム・パズル研究集会, Feb. 2026

  
• Computational Complexity of Swish.

  Takashi Horiyama; Takehiro Ito; Jun Kawahara; Shin-ichi Minato; Akira Suzuki 0001; Ryuhei Uehara; Yutaro Yamaguchi 0001

  CoRR, Jan. 2026

  
• On variable orderings for enumerating minimum solutions of quadratic pseudo Boolean functions with decision diagrams

  松尾毬花; 川原純; 湊真一

  人工知能学会人工知能基本問題研究会資料, Jan. 2026, Last author

  
• 二分決定グラフを用いた二次疑ブール関数の最小解列挙2026

  松尾毬花; 川原純; 湊真一

  第24回情報科学技術フォーラム(FIT2025), Sep. 2025, Last author

  
• DAGによる文字列集合の圧縮表現に対する効率的な索引アルゴリズム

  伝住周平; 津田宏治; 津田宏治; 有村博紀; 湊真一; 湊真一

  人工知能学会人工知能基本問題研究会資料, 2014

  
• 頻度数え上げアルゴリズムの改良によるベイジアンネットワーク構造推定の高速化

  西岡賢人; 湊真一; 神田崇行

  情報処理学会第87回全国大会講演論文集, Mar. 2025

  
• コンピュータによる数え上げ—特集 モレなくダブりなく数え上げたい

  湊 真一

  数学セミナー, Jan. 2025, Invited, Lead author, Last author, Corresponding author

  
• Analysis of a Reaction Route Network of Water Gas Shift Reaction

  江村紅音; 杉山佳奈美; 湊真一; 東雅大; 佐藤啓文; 佐藤啓文

  日本化学会春季年会講演予稿集(Web), 2024

  
• Representation and Manipulation Algorithms for Family of Set Partitions Using Zero-Suppressed Binary Decision Diagrams and Their Evaluation

  奥田諒平; 川原純; 湊真一

  情報科学技術フォーラム講演論文集, 2024

  
• Analysis of reaction path networks for isomerization of hydrocarbons

  江村紅音; 杉山佳奈美; 湊真一; 東雅大; 佐藤啓文; 佐藤啓文

  分子科学討論会講演プログラム&要旨(Web), 2024

  
• MDDを用いた変更の少ない選挙区割の列挙

  市野達也; 川原純; 湊真一; 堀田敬介

  日本オペレーションズ・リサーチ学会春季研究発表会アブストラクト集, 2023

  
• 科研・学術変革領域(A)「アルゴリズム基盤」(AFSAプロジェクト) の概要と近況について

  湊 真一

  LAシンポジウム会誌, 2022

  
• A Method for Constructing MDD to Represent k-Edge Connectivity in Network Reliability Evaluation

  阿部春樹; 川原純; 湊真一

  情報処理学会研究報告(Web), 2022

  
• (OS招待講演)BDD/ZDD処理系とSATソルバに関する研究の流れと最近の話題

  湊 真一

  人工知能学会全国大会論文集, 2015

  
• On the sizes of BDDs and ZDDs representing matroids.

  Hiromi Emoto; Yuni Iwamasa; Shin-ichi Minato

  CoRR, Apr. 2024, Last author

  
• On BDDs/ZDDs Representing Matroids

  江本洸海; 岩政勇仁; 湊真一

  電子情報通信学会大会講演論文集(CD-ROM), Mar. 2024, Last author

  
• コンテナ積載計画問題へのゼロサプレス型二分決定グラフの応用

  古渡健太; 川原純; 湊真一

  日本オペレーションズ・リサーチ学会2024年春季研究発表会, Mar. 2024, Last author

  
• 0-1整数線形計画問題の実行可能解を列挙するZDDの生成法とその評価

  吉浩; 川原純; 湊真一

  情報処理学会第86回全国大会講演論文集, Mar. 2024, Last author

  
• Recent Research Activities on Algorithmic Foundations for Social Advancement.

  Shin-ichi Minato

  WALCOM, Mar. 2024, Invited, Lead author, Last author, Corresponding author

  
• An Improved Algorithm of Interval-Memoized Backtracking on ZDDs for Enumerating All Cost-Bounded Solutions of Vertex Cover Problems

  宮本照之; 川原純; 湊真一

  人工知能学会人工知能基本問題研究会資料, Mar. 2024, Last author

  
• Calculating Diameter-defining Independent Set Pairs of the Reconfiguration Graph Using ZDD

  小西岳志; 川原純; 湊真一

  人工知能学会人工知能基本問題研究会資料, Mar. 2024, Last author

  
• Enumerating k-Best Solutions and ZDD Construction for Combinatorial Optimization Problems Based on A^* Search

  赤川雄紀; 川原純; 湊真一

  情報科学技術フォーラム講演論文集, Sep. 2023, Last author

  
• International Competition on Graph Counting Algorithms 2023.

  Takeru Inoue; Norihito Yasuda; Hidetomo Nabeshima; Masaaki Nishino; Shuhei Denzumi; Shin-ichi Minato

  CoRR, Sep. 2023, Last author

  
• グラフ列挙における構築途中のZDD幅に基づく変数順序づけ法

  鈴木, 浩史; 湊, 真一

  第80回全国大会講演論文集, 13 Mar. 2018

  
• ZDDを用いた0-1多目的ナップサック問題のパレート解列挙

  鈴木, 浩史; 湊, 真一

  第79回全国大会講演論文集, 16 Mar. 2017

  
• 量子回路の観測のための決定グラフの最適化

  松尾亮祐; ルディー・レイモンド; 湊真一; 山下茂

  情報処理学会 第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-Based Methods for the Matroid Recognition Problem and Their Evaluation

  江本洸海; 岩政勇仁; 湊真一

  情報科学技術フォーラム講演論文集, 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

  
• Construction of BDD for Indexing Vertex Separators between All Vertex Pairs of Graphs

  高橋昌大; 川原純; 湊真一

  人工知能学会全国大会論文集(Web), 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

• AIはどんな計算が得意でどんな計算が苦手なのか？

  湊 真一

  京都大学-稲盛財団合同 京都賞シンポジウム, 15 Feb. 2026, Invited

  
• 離散構造処理に基づく列挙・最適化・制約充足の統合的技法:最近の成果と今後の課題

  湊 真一

  人工知能学会人工知能基本問題研究会, 01 Dec. 2025, Invited

  
• 学変(A)「アルゴリズム基盤」（AFSAプロジェクト）の概要とこれまでの取り組み

  湊 真一

  情報処理学会第87回全国大会 イベント企画「革新的アルゴリズム基盤の構築に向けて：研究成果と今後の展望」, 13 Mar. 2025, Invited

  
• 社会に貢献する最先端アルゴリズム技術

  湊 真一

  情報オリンピック日本委員会 春季セミナー全体講演会, 23 Mar. 2024, Invited

  
• 言語生成AIの弱点：なぜChatGPTは計算が苦手なのか

  湊 真一

  日本学術会議 公開シンポジウム「生成AIの課題と今後」, 14 Sep. 2023, Invited

  
• Overview of AFSA (Algorithmic Foundations for Social Advancement ) Project and the Aim of This Competition

  Shin-ichi Minato

  International Competition on Graph Counting Algorithms (ICGCA) Symposium 2023, 07 Sep. 2023, Invited

  
• ChatGPTはなぜ計算が苦手なのか

  湊 真一

  国立情報学研究所 第67回大学等におけるオンライン教育とデジタル変革に関するサイバーシンポジウム, 07 Jul. 2023, Invited

  
• Recent Research Activities on Algorithmic Foundations for Social Advancement

  Shin-ichi Minato

  18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Mar. 2024, Invited

  
• 革新的アルゴリズム基盤（AFSA）プロジェクトと人工知能基本問題

  湊 真一

  人工知能学会研究会資料 人工知能基本問題研究会, 10 Nov. 2022, 一般社団法人 人工知能学会, Invited

  
• 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

  

Books and Other Publications

• Algorithmic Foundations for Social Advancement - Recent Progress on Theory and Practice

  Shin-ichi Minato; Takeaki Uno; Norihito Yasuda; Takashi Horiyama; Ken-ichi Kawarabayashi; Shigeru Yamashita; Hirotaka Ono, Joint editor

  Springer, Mar. 2025

  Find Kyoto University's collection of books :

  
• 生成AIの論点 : 学問・ビジネスからカルチャーまで

  喜連川 優, Contributor, 第4章 言語生成AIの弱点―なぜChatGPTは計算が苦手なのか

  青弓社, May 2024

  Find Kyoto University's collection of books :

  
• 基礎からわかるアルゴリズム

  Louridas, Panos (鳥飼, まこと; 湊, 真一), 監訳

  ニュートンプレス, May 2022

  Find Kyoto University's collection of books :

  
• 2019年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録

  湊真一, Supervisor

  基盤(S)離散構造処理系プロジェクト, Aug. 2020

  
• 基礎から学ぶ情報理論 第2版

  中村, 篤祥; 喜田, 拓也; 湊, 真一; 廣瀬, 善大, Joint work

  ムイスリ出版, 2020, Not refereed

  Find Kyoto University's collection of books :

  
• 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

  Find Kyoto University's collection of books :

  
• 2014年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録

  湊 真一, Supervisor

  ERATO湊離散構造処理系プロジェクト, Jun. 2015, Not refereed

  
• 超高速グラフ列挙アルゴリズム－〈フカシギの数え方〉が拓く，組合せ問題への新アプローチ－

  ERATO 湊離散構造処理系プロジェクト; 湊真一, Editor

  森北出版, 08 Apr. 2015, Not refereed

  Find Kyoto University's collection of books :

  
• 超高速グラフ列挙アルゴリズム : 「フカシギの数え方」が拓く, 組合せ問題への新アプローチ

  湊, 真一; ERATO湊離散構造処理系プロジェクト; 科学技術振興機構

  森北出版, 2015

  Find Kyoto University's collection of books :

  
• 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

  Find Kyoto University's collection of books :

  
• 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

  Find Kyoto University's collection of books :

  
• 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

  Find Kyoto University's collection of books :

  
• 英語で学ぶ計算理論 = Theory of computation

  Zeugmann, Thomas; 湊, 真一; 大久保, 好章

  コロナ社, 2009

  Find Kyoto University's collection of books :

  
• 二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究

  湊, 真一

  [北海道大学大学院情報科学研究科], 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

  Find Kyoto University's collection of books :

  

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

• 15 Jun. 2026

  情報処理学会功績賞
• 05 Jun. 2024

  情報処理学会, 情報処理学会 フェロー

  離散構造処理アルゴリズムに関する先駆的研究と人材育成および学会運営への貢献, Japan, Others

  湊 真一
• 20 Apr. 2022

  令和4年度 科学技術分野の文部科学大臣表彰 科学技術賞(研究部門)
• 01 Jun. 2019

  日本計算機統計学会, 論文賞
• 11 May 2021

  情報処理学会 論文編集委員会, 論文編集貢献賞

External funds: Kakenhi

• Next Generation International Research Hub for Algorithms, Combinatorial Optimization and Discrete Mathematics (ACODM)

  Fund for the Promotion of Joint International Research (International Leading Research )

  Science and Engineering

  National Institute of Informatics

  河原林 健一

  From 25 Dec. 2025, To 31 Mar. 2032, Granted

  離散数学;組合せ最適化;量子アルゴリズム;グラフアルゴリズム

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25K24465/
• Algorithmic Foundations Based on Large-Scale Discrete Structures

  Grant-in-Aid for Transformative Research Areas (A)

  Transformative Research Areas, Section (IV)

  Hokkaido University

  Takashi HORIYAMA

  From 19 Nov. 2020, To 31 Mar. 2025, Project Closed

  大規模離散構造;列挙アルゴリズム;文字列アルゴリズム;SATアルゴリズム;グラフアルゴリズム

  https://kaken.nii.ac.jp/grant/KAKENHI-PLANNED-20H05964/
• Research Initiatives on Algorithmic Foundations for Social Advancement

  Grant-in-Aid for Transformative Research Areas (A)

  Transformative Research Areas, Section (IV)

  Kyoto University

  Shin-ichi Minato

  From 19 Nov. 2020, To 31 Mar. 2025, Project Closed

  革新的アルゴリズム基盤;組織運営;アルゴリズム;離散構造処理;社会変革;研究推進

  https://kaken.nii.ac.jp/grant/KAKENHI-ORGANIZER-20H05961/
• 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

  Shin-ichi Minato

  From 01 Apr. 2020, To 31 Mar. 2025, Project Closed

  アルゴリズム;離散構造;演算処理系;列挙;索引化

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20H00605/
• 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

  https://kaken.nii.ac.jp/grant/KAKENHI-AREA-20A402/
• 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

  非構造データ;意味マイニング;時空間データマイニング;イベントストリーム処理;高次元非構造データ検索;大規模知識索引;知識発見;ビッグデータ;半構造データ;データマイニング;ストリーム処理

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16H01743/
• 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;グラフアルゴリズム;網羅的解析

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15H05711/
• 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次元一般剛性

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25240004/
• 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;簡潔データ構造;離散構造;論理関数;組合せ集合

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24650062/
• 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;半構造マイニングエンジン;部分超グラフ列挙;半構造データ;ストリーム処理;超低メモリアルゴリズム;イベント照合

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24240021/
• 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

  https://kaken.nii.ac.jp/grant/KAKENHI-ORGANIZER-24106001/
• 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

  マルチエージェントシステム;協力ゲーム;提携構造形成問題;二分決定グラフ;特性関数;簡潔記述法;人工知能;ゲーム理論;情報ネットワーク経済;ゼロサプレス型二分決定グラフ

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23500166/
• 情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究

  Grant-in-Aid for Scientific Research on Priority Areas

  Science and Engineering

  Hokkaido University

  トーマス ツォイクマン;トーマス ツオイクマン

  From 01 Apr. 2009, To 31 Mar. 2011, Project Closed

  情報ネットワーク;知識処理;データ構造;アルゴリズム;二分決定グラフ;計算料理論;機械学習;セキュリティ

  https://kaken.nii.ac.jp/grant/KAKENHI-PUBLICLY-21013001/
• 二分決定グラフに基づく大規模ベイジアンネットワーク解析処理法の研究

  Grant-in-Aid for Challenging Exploratory Research

  Hokkaido University

  湊 真一

  From 01 Apr. 2008, To 31 Mar. 2011, Project Closed

  二分決定グラフ;BDD;ZDD;ベイジアンネットワーク;大規模データ処理

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20650017/
• 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;データマイニング;データベース解析

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20300051/
• 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

  知識発見とデータマイニング;半構造マイニング;頻出パターン発見;エピソードマイニング;大規模知識索引;グラフマイニング;ストリーム処理;極大パターン発見;知識発見;ウェブページ

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20240014/
• 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

  知識発見とデータマイニング;パターン発見;アルゴリズム;生体生命情報学;インフルエンザウイルス;感染症

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19300041/
• 情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究

  Grant-in-Aid for Scientific Research on Priority Areas

  Science and Engineering

  Hokkaido University

  トーマス ツォイクマン

  From 01 Apr. 2007, To 31 Mar. 2009, Project Closed

  情報ネットワーク;知識処理;データ構造;アルゴリズム;二分決定グラフ;計算料理論;機械学習;セキュリティ

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19024001/
• 情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究

  Grant-in-Aid for Scientific Research on Priority Areas

  Science and Engineering

  Hokkaido University

  トーマス ツォイクマン

  From 01 Apr. 2006, To 31 Mar. 2007, Project Closed

  情報ネットワーク;知識処理;データ構造;アルゴリズム;二分決定グラフ;計算量理論;機械学習;セキュリティ

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18049001/
• 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

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17300041/
• 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

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17002008/
• 論理関数表現のモデルとシンボリックアルゴリズム

  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論理関数;区間グラフ

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16092207/
• 最適パターン発見に基づく大規模半構造データからの知的情報獲得システムの開発

  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データ;グラフマイニング;パターン照合;系列パターン;機械学習;文法圧縮

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16016266/
• 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;計算代数

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23K03123/
• Research on solvable regions of theoretically uncomputable/difficult classes

  Grant-in-Aid for Scientific Research (A)

  Medium-sized Section 60:Information science, computer engineering, and related fields

  Japan Advanced Institute of Science and Technology

  上原 隆平

  From 01 Apr. 2024, To 31 Mar. 2029, Granted

  計算困難・計算不能な問題;二部決定ダイアグラム;組合せ遷移;SATソルバ;実用的アルゴリズム;アルゴリズム;計算幾何学;計算複雑性;ゲーム・パズル;グラフ理論;二分決定図

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24H00690/
• Integrated Techniques and Applications of Enumeration, Optimization, and SAT-Solving Based on Discrete Structure Manipulation

  Grant-in-Aid for Scientific Research (A)

  Medium-sized Section 60:Information science, computer engineering, and related fields

  Kyoto University

  湊 真一

  From 01 Apr. 2025, To 31 Mar. 2030, Granted

  アルゴリズム;離散構造;列挙;最適化;制約充足

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25H01114/
• 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

  https://kaken.nii.ac.jp/grant/KAKENHI-AREA-20A402/

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

  湊　真一

Education

Teaching subject(s)

• From 01 Apr. 2026, To 31 Mar. 2027

  Theory of Algorithms

  9055, Fall, Faculty of Engineering, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Logical Systems

  9070, Spring, Faculty of Engineering, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Theory of Discrete Algorithms

  3627, Spring, Graduate School of Informatics, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Theory of Computational Complexity

  3614, Fall, Graduate School of Informatics, 2
• From 01 Apr. 2026, To 31 Mar. 2027

  Basics of Informatics and AI (Faculty of Engineering)

  T073, Spring, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Introduction to Computer Science

  9113, Spring, Faculty of Engineering, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Logical Systems

  9070, Spring, Faculty of Engineering, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Theory of Algorithms

  9055, Fall, Faculty of Engineering, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Theory of Discrete Algorithms

  3627, Spring, Graduate School of Informatics, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Theory of Computational Complexity

  3614, Fall, Graduate School of Informatics, 2
• From 01 Apr. 2025, To 31 Mar. 2026

  Introduction to Computer Science

  T024, Spring, Institute for Liberal Arts and Sciences, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Logical Systems

  9070, Spring, Faculty of Engineering, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Theory of Algorithms

  9055, Fall, Faculty of Engineering, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Introduction to Computer Science

  9113, Spring, Faculty of Engineering, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Theory of Discrete Algorithms

  3627, Spring, Graduate School of Informatics, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Theory of Computational Complexity

  3614, Fall, Graduate School of Informatics, 2
• From 01 Apr. 2024, To 31 Mar. 2025

  Introduction to Computer Science

  T024, Spring, Institute for Liberal Arts and Sciences, 2
• 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

• Hardware-Aware Software Infrastructure for Reliable and Scalable Quantum Systems

  WAKIZAKA RYO, Graduate School of Informatics, Sub-chief Examiner

  24 Sep. 2025
• Service Deployment and Resource Allocation in Distributed Computing Networks

  Zhang Chenlu, Graduate School of Informatics, Sub-chief Examiner

  24 Mar. 2025
• Quantification learning in Competitive Environments(競争的環境における定量化の学習)

  FUJII SATORU, Graduate School of Human and Environmental Studies, Sub-chief Examiner

  24 Mar. 2025
• Studies on Network Graph Analysis with Decision Diagram Structures

  NAKAMURA KENGO, Graduate School of Informatics, Chief Examiner

  25 Mar. 2024
• 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

Administration

School management (title, position)

• From 01 Apr. 2026, To 31 Mar. 2028

  京都大学大学院教育支援機構ＳＰＲＩＮＧプログラム　情報・ＡＩ分野選考委員会 委員長
• From 01 Apr. 2026, To 31 Mar. 2028

  京都大学大学院教育支援機構次世代ＡＩプログラム実施委員会 委員
• From 01 Apr. 2023, To 31 Mar. 2027

  情報環境機構協議会　委員
• From 01 Apr. 2025, To 31 Mar. 2027

  教育研究評議会 評議員
• From 01 Apr. 2025, To 31 Mar. 2026

  京都大学大学院教育支援機構ＳＰＲＩＮＧプログラム　情報・ＡＩ分野選考委員会 委員長
• From 01 Apr. 2025, To 31 Mar. 2027

  京都大学情報環境整備委員会 委員
• From 01 Apr. 2025, To 31 Mar. 2026

  科学技術イノベーション創出フェローシップ事業実施委員会 委員
• From 01 Apr. 2024, To 31 Mar. 2026

  京都大学大学院教育支援機構次世代ＡＩプログラム実施委員会 委員
• From 01 Apr. 2025, To 31 Mar. 2027

  教育研究評議会評議員
• From 01 Oct. 2024, To 30 Sep. 2026

  情報環境機構　副機構長
• From 01 Apr. 2023, To 30 Sep. 2024

  情報環境機構副機構長
• From 01 Apr. 2023, To 31 Mar. 2025

  京都大学情報環境整備委員会 委員
• From 01 Apr. 2019, To 31 Mar. 2020

  国際高等教育院 基盤企画評価専門委員会 情報学部会 委員
• From 01 Apr. 2019, To 31 Mar. 2020

  国際高等教育院 企画評価専門委員会 情報学部会 委員