基本情報

学部兼担

• 工学部

所属学協会

• 自 2020年, 至 現在

  日本計算機統計学会
• 自 2006年, 至 現在

  人工知能学会
• 自 1992年, 至 現在

  IEEE (CAS)
• 自 1991年, 至 現在

  電子情報通信学会
• 自 1988年, 至 現在

  情報処理学会

学位

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

出身大学院・研究科等

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

出身学校・専攻等

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

出身高等学校

• 出身高等学校

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

経歴

• 自 2025年04月, 至 現在

  京都大学, 大学院情報学研究科, 副研究科長
• 自 2023年04月, 至 現在

  京都大学 情報環境機構, 副機構長
• 自 2023年04月, 至 2025年03月

  情報学科・専攻協議会, 会長
• 自 2021年06月, 至 2025年06月

  情報処理学会, 理事
• 自 2018年04月, 至 2025年03月

  北海道大学, 電子科学研究所, 客員教授
• 自 2018年04月, 至 現在

  京都大学, 大学院 情報学研究科, 教授
• 自 2017年10月, 至 現在

  日本学術会議, 連携会員
• 自 2015年05月, 至 2018年03月

  産業技術総合研究所, 人工知能研究センター, 客員研究員
• 自 2014年04月, 至 現在

  国立情報学研究所, 客員教授
• 自 2010年, 至 現在

  早稲田大学, 先進グリッド技術研究所, 客員研究員/招聘研究員
• 自 2020年04月, 至 2021年03月

  京都大学, 工学部 情報学科, 学科長
• 自 2018年06月, 至 2020年06月

  情報処理学会, 理事
• 自 2010年10月, 至 2018年03月

  北海道大学, 大学院 情報科学研究科, 教授
• 自 2009年10月, 至 2015年03月

  科学技術振興機構 (JST), ERATO湊離散構造処理系プロジェクト, 研究総括
• 自 2012年11月, 至 2013年03月

  東京工業大学, 非常勤講師
• 自 2004年03月, 至 2010年09月

  北海道大学, 大学院 情報科学研究科, 助教授/准教授
• 自 1998年, 至 2004年

  NTT 未来ねっと研究所, 研究主任, 主任研究員
• 自 1998年, 至 2004年

  Senior Researcher,NTT Network Innovation Laboratories
• 自 1999年, 至 2001年

  慶応義塾大学 湘南藤沢キャンパス, 非常勤講師
• 自 1999年, 至 2001年

  Lecturer,Keio University Shonan-Fujisawa-Campus
• 自 1990年, 至 1998年

  NTT LSI研究所, 研究員, 研究主任
• 自 1990年, 至 1998年

  Researcher,NTT LSI Laboratories
• 自 1997年01月, 至 1997年12月

  スタンフォード大学, 客員研究員
• 自 1997年

  Visiting Scholar,Stanford University

プロフィール

• プロフィール

  京都大学 大学院 情報学研究科 通信情報システムコース コンピュータアルゴリズム研究室 教授．（工学部 情報学科 計算機科学コース 兼担）．大規模離散構造データの表現と演算処理アルゴリズムの研究・教育に従事．石川県出身．1984年 金沢大学附属高校 卒業．1988年 京都大学 工学部 情報工学科 卒業．1990年 同大学院修士課程, 1995年 同博士後期課程（社会人）修了．博士（工学）．1990年度より2003年度まで NTT研究所に勤務．1997年1月～12月 米国スタンフォード大学 計算機科学科 客員研究員．1999年 NTT未来ねっと研究所 主任研究員．2004年度より北海道大学 大学院 情報科学研究科 助教授（2007年准教授に名称変更）．2010年10月より同教授．2018年度より京都大学 教授（現職）．

  
  

  1999～2000年度 慶應義塾大学 環境情報学部 非常勤講師（兼務）．2009年10月～2016年3月 科学技術振興機構（JST） ERATO湊離散構造処理系プロジェクト 研究総括（兼務）．2011年度より早稲田大学 先進グリッド技術研究所 招聘研究員（兼務）．2014年度より 国立情報学研究所 客員教授（兼務）．2018～2024年度 北海道大学電子科学研究所 附属社会創造数学研究センター 客員教授（兼務）．2017年10月より日本学術会議 連携会員（兼務）．2018～2020年度および2021～2024年度 情報処理学会 理事（兼務）．2020年度 京都大学 工学部 情報学科長（兼務）．2023年度より京都大学 情報環境機構 副機構長（兼務）．2023～2024年度 情報学科・専攻協議会 会長（兼務）．2025年度より京都大学 大学院情報学研究科 副研究科長（兼務）．2026年度より京都大学交響楽団 副音楽部長（兼務）．

  
  

  2000年度 情報処理学会 山下記念研究賞，2009年度 電子情報通信学会 情報・システムソサイエティ論文賞（先見論文），2022年度 文部科学大臣表彰 科学技術賞（研究部門），2026年 情報処理学会 功績賞 受賞．著書 "Binary Decision Diagrams and Applications for VLSI CAD" (Kluwer, 1995年)．Knuthの世界的名著 "The Art of Computer Programming" (Vol.4, Fascicle 1, 2009年) において，湊が考案したデータ構造「ZDD」が独立項目として詳しく解説されている（日本人初）．2012年8月～2013年4月 日本科学未来館 メディアラボ 「フカシギの数え方」展示監修（監修したアニメ動画が300万ビュー超を記録）．2014～2018年度 JST さきがけ「社会と調和した情報基盤技術の構築」領域アドバイザ．2016～2020年度 JST ACT-I「情報と未来」領域アドバイザ．2020～2024年度 科研費 学術変革領域(A)「アルゴリズム基盤」領域代表者．2023～2027年度 JST ACT-X「次世代AI・数理情報」領域アドバイザ．

  
  

  2020年度 Journal of Information Processing (JIP) 編集長．国際会議 ISAAC 2023 Conference Chair，SASIMI 2025 TPC Chair，SASIMI 2027 General Chair．情報処理学会フェロー，電子情報通信学会，IEEE 各シニア会員，人工知能学会，日本計算機統計学会 各会員．

ID,URL

• J-Global ID

  200901020036165552

• 外部リンク

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

関連Webサイト

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

researchmap URL

• https://researchmap.jp/hjkl

研究

研究テーマ・研究概要

• 研究テーマ

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

研究キーワード

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

研究分野

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

論文

• On the sizes of BDDs and ZDDs representing matroids.

  Hiromi Emoto; Yuni Iwamasa; Shin-ichi Minato

  Theor. Comput. Sci., 2026年, 査読有り, 最終著者

  
• 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年, 査読有り

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

  Ryohei Okuda; Jun Kawahara; Shin-ichi Minato

  Lecture Notes in Computer Science, 2026年02月14日, 査読有り, 最終著者

  
• 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年, 査読有り, 最終著者

  
• 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, 2025年10月21日, 査読有り

  
• 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, 2025年03月08日

  
• Motivating Problems and Algorithmic Solutions

  Shin-ichi Minato

  Algorithmic Foundations for Social Advancement, 2025年03月08日, 筆頭著者, 最終著者, 責任著者

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

  Shin-ichi Minato

  Algorithmic Foundations for Social Advancement, 2025年03月08日, 筆頭著者, 最終著者, 責任著者

  
• 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年, 査読有り

  
• 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, 2025年01月, 査読有り, 筆頭著者, 責任著者

  この論文にアクセスする：

  
• 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, 2018年11月01日

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

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

  NTT Technical Review, 2017年11月01日

  
• Combinatorial optimization using binary decision diagrams

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

  NTT Technical Review, 2015年11月01日

  
• On the Computational Complexity of Generalized Common Shape Puzzles.

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

  SOFSEM, 2024年02月, 査読有り

  
• 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), 2024年01月, 査読有り, 最終著者

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

  Kazuma Fuchimoto; Shin-ichi Minato; Maomi Ueno

  IEEE Access, 2023年10月, 査読有り

  
• 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年, 査読有り, 招待有り

  
• グラフの部分構造を列挙する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, 2024年02月, 査読有り, 最終著者

  
• 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., 2023年11月, 査読有り

  
• 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, 2024年03月, 査読有り, 最終著者

  
• 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), 2023年05月, 査読有り, 最終著者

  
• 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), 2023年05月, 査読有り, 最終著者

  
• 解集合プログラミングを用いた配電網問題の解法

  山田 健太郎; 湊 真一; 田村 直之; 番原 睦則

  コンピュータ ソフトウェア, 2023年04月, 査読有り

  
• DAG-Pathwidth: Graph Algorithmic Analyses of DAG-Type Blockchain Networks.

  Shoji Kasahara; Jun Kawahara; Shin-ichi Minato; Jumpei Mori

  IEICE Trans. Inf. Syst., 2023年03月, 査読有り

  
• 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), 2023年07月, 査読有り, 最終著者

  
• Zero-suppressed Binary Decision Diagramsを用いた自動テスト構成

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

  人工知能学会論文誌, 2022年09月01日, 査読有り

  
• 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), 2022年05月, 査読有り

  
• Frequent Closed Item Set Mining Based on Zero-suppressed BDDs

  Minato Shin-ichi; Arimura Hiroki

  Information and Media Technologies, 2007年

  
• Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes.

  Yuya Sugie; Yuki Yoshida; Normann Mertig; Takashi Takemoto; Hiroshi Teramoto; Atsuyoshi Nakamura; Ichigaku Takigawa; Shin-ichi Minato; Masanao Yamaoka; Tamiki Komatsuzaki

  Soft Comput., 2021年, 査読有り

  
• Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams.

  Yu Nakahata; Masaaki Nishino; Jun Kawahara; Shin-ichi Minato

  Proc of 18th Symposium on Experimental Algorithms (SEA2020), 2020年06月, 査読有り, 最終著者

  
• Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration.

  Yu Nakahata; Jun Kawahara; Takashi Horiyama; Shin-ichi Minato

  Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 2020年03月, 査読有り, 最終著者

  
• Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams.

  Hirofumi Suzuki; Masakazu Ishihata; Shin-ichi Minato

  Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 2020年03月, 査読有り, 最終著者

  
• Enumeration of Associative Magic Squares of Order 7.

  Go Kato; Shin-ichi Minato

  J. Inf. Process., 2020年, 査読有り, 最終著者

  
• Compiling higher order binary optimization problems into annealing processors

  Yuya Sugie; Normann Mertig; Yoichi Iwata; Hiroshi Teramoto; Atsuyoshi Nakamura; Ichigaku Takigawa; Shin-ichi Minato; Tamiki Komatsuzaki; Takashi Takemoto

  Proc. of 25th International Symposium on Artificial Life and Robotics (AROB 25th 2020), 2020年01月, 査読有り

  
• Tree Decomposition-based Approach for Compiling Independent Sets

  Teruji Sugaya; Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato

  Journal of Information Processing, 2020年, 査読有り, 最終著者

  
• Enumerating associative magic squares of order 7

  Go Kato; Shin-ichi Minato

  Collection of abst. of Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2019), 2019年09月, 査読有り, 最終著者

  
• Evaluation of hotspot cluster detection using spatial scan statistic based on exact counting

  Fumio Ishioka; Jun Kawahara; Masahiro Mizuta; Shin-ichi Minato; Koji Kurihara

  Japanese Journal of Statistics and Data Science, 2019年06月, 査読有り

  
• A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic.

  Shin-ichi Minato; Jun Kawahara; Fumio Ishioka; Masahiro Mizuta; Koji Kurihara

  Proc. of SIAM International Conference on Data Mining (SDM2019), 2019年05月, 査読有り, 筆頭著者

  
• Scalable enumeration approach for maximizing hosting capacity of distributed generation

  Yuji Takenobu; Norihito Yasuda; Shin-ichi Minato; Yasuhiro Hayashi

  International Journal of Electrical Power & Energy Systems, 2019年02月, 査読有り

  
• Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity

  Yuya Sugie; Yuki Yoshida; Normann Mertig; Takashi Takemoto; Hiroshi Teramoto; Atsuyoshi Nakamura; Ichigaku Takigawa; Shin-ichi Minato; Masanao Yamaoka; Tamiki Komatsuzaki

  Proc. of 7th International Conference on the Theory and Practice of Natural Computing (TPNC 2018, 2018年12月, 査読有り

  
• FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search

  akashi Takemoto; Normann Mertig; Masato Hayashi; Saki Susa-Tanaka; Hiroshi Teramoto; Atsuyoshi Nakamura; Ichigaku Takigawa; Shin-ichi Minato; Tamiki Komatsuzaki; Masanao Yamaoka

  Proc. of IEEE CAS 2018 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2018), 2018年12月, 査読有り

  
• Exact Computation of Strongly Connected Reliability by BDDs

  Hirofumi Suzuki; Masakazu Ishihata; Shin-ichi Minato

  Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), 2018年12月, 査読有り

  
• Separate Compilation of Bayesian Networks for Efficient Exact Inference

  Shan Gao; Masakazu Ishihata; Shin-ichi Minato

  人工知能学会論文誌, 2018年11月, 査読有り

  
• Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs

  Hirofumi Suzuki; Shin-ichi Minato

  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2018年09月, 査読有り

  
• DenseZDD: a compact and fast index for families of sets

  Shuhei Denzumi; Jun Kawahara; Koji Tsuda; Hiroki Arimura; Shin-ichi Minato; Kunihiko Sadakane

  Algorithms, 2018年08月, 査読有り

  
• Fast compilation of graph substructures for counting and enumeration

  Teruji Sugaya; Masaaki Nishino; Norihito Yasuda; Shin‐ichi Minato

  Behaviormetrika, 2018年06月, 査読有り

  
• Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling

  Yuji Takenobu; Norihito Yasuda; Shunsuke Kawano; Shin-Ichi Minato; Yasuhiro Hayashi

  IEEE Transactions on Smart Grid, 2018年05月01日, 査読有り

  
• Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams

  Shinsaku Sakaue; Masakazu Ishihata; Shin-ichi Minato

  Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), 2018年04月, 査読有り

  
• Optimizing Network Reliability via Best-First Search over Decision Diagrams

  Masaaki Nishino; Takeru Inoue; Norihito Yaasuda; Shin-ichi Minato; Masaaki Nagata

  Proc. of 37th Annual IEEE International Conference on Computer Communications (INFOCOM), 2018年04月, 査読有り

  
• 記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証

  蓑田玲緒奈; 湊真一

  電子情報通信学会論文誌D 学生論文特集号, 2018年03月, 査読有り

  
• Fast packet classification algorithm for network-wide forwarding behaviors

  Takeru Inoue; Toru Mano; Kimihiro Mizutani; Shin-ichi Minato; Osamu Akashi

  Computer Communications, 2018年01月01日, 査読有り

  
• BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems

  Fumito Takeuchi; Masaaki Nishino; Norihito Yasuda; Takuya Akiba; Shin-ichi Minato; Masaaki Nagata

  IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2017年12月, 査読有り

  
• Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking

  Reona Minoda; Masakazu Ishihata; Shin-ichi Minato

  Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), 2017年11月, 査読有り

  
• Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation

  Gao Shan; Masakazu Ishihata; Shin-ichi Minato

  Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 2017年09月, 査読有り

  
• Fast Compilation of s-t Paths on a Graph for Counting and Enumeration

  Teruji Sugaya; Masaaki Nishino; Norihito Yasuda; Shin-ichi Minato

  Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 2017年09月, 査読有り

  
• Frontier-based search for enumerating all constrained subgraphs with compressed representation

  Jun Kawahara; Takeru Inoue; Hiroaki Iwashita; Shin Ichi Minato

  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2017年09月, 査読有り

  
• Frontier-Based Search for Enumerating All Constrained Subgraphs with Compressed Representation

  Jun Kawahara; Takeru Inoue; Hiroaki Iwashita; Shin-ichi Minato

  IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2017年09月, 査読有り

  
• Statistical emerging pattern mining with multiple testing correction

  Junpei Komiyama; Masakazu Ishihata; Hiroki Arimura; Takashi Nishibayashi; Shin-Ichi Minato

  Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2017年08月13日, 査読有り

  
• Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation

  Shin-ichi Minato

  IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2017年08月, 査読有り, 招待有り

  
• Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking

  Reona Minoda; Shin-ichi Minato

  Proc. of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PEC 2017), 2017年07月, 査読有り

  
• Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages

  Reona Minoda; Shin-ichi Minato

  IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2017年06月, 査読有り

  
• BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems

  Fumito Takeuchi; Masaaki Nishino; Norihito Yasuda; Takuya Akiba; Shin-ichi Minato; Masaaki Nagata

  Proc. of Workshops at the 31st AAAI Conference on Artificial Intelligence, The AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt 2017), 2017年02月, 査読有り

  
• Compiling Graph Substructures into Sentential Decision Diagrams

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

  Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 2017年02月, 査読有り

  
• Dancing with Decision Diagrams: A Combined Approach to Exact Cover

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

  Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 2017年02月, 査読有り

  
• Generating All Patterns of Graph Partitions Within a Disparity Bound

  Jun Kawahara; Takashi Horiyama; Keisuke Hotta; Shin-ichi Minato

  WALCOM: ALGORITHMS AND COMPUTATION, WALCOM 2017, 2017年, 査読有り

  
• Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking

  Reona Minoda; Yuzuru Tanaka; Shin-ichi Minato

  Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), 2016年10月, 査読有り

  
• Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations

  Shuhei Denzumi; Ryo Yoshinaka; Hiroki Arimura; Shin-ichi Minato

  DISCRETE APPLIED MATHEMATICS, 2016年10月, 査読有り

  
• Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model

  Hirofumi Suzuki; Sun Hao; Shin-ichi Minato

  Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), 2016年07月, 査読有り

  
• Zero-suppressed Sentential Decision Diagrams

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

  Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), 2016年02月, 査読有り

  
• A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization

  Takeru Inoue; Hiroaki Iwashita; Jun Kawahara; Shin-ichi Minato

  International Journal on Software Tools for Technology Transfer (STTT), 2016年02月, 査読有り

  
• Graphillion: software library for very large sets of labeled graphs

  Takeru Inoue; Hiroaki Iwashita; Jun Kawahara; Shin-ichi Minato

  INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016年02月, 査読有り

  
• Power of Enumeration-BDD/ZDD-Based Techniques for Discrete Structure Manipulation

  Shin-ichi Minato

  2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 2016年, 査読有り

  
• Using pi DDs for Nearest Neighbor Optimization of Quantum Circuits

  Robert Wille; Nils Quetschlich; Yuma Inoue; Norihito Yasuda; Shin-ichi Minato

  REVERSIBLE COMPUTATION, RC 2016, 2016年, 査読有り

  
• Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System

  Yuji Takenobu; Shunsuke Kawano; Yasuhiro Hayashi; Norihito Yasuda; Shin-ichi Minato

  2016 POWER SYSTEMS COMPUTATION CONFERENCE (PSCC), 2016年, 査読有り

  
• A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization

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

  Proc. of the 2015 Annual Conference of the North American Chapter of the ACL (NAACL-HLT 2015), 2015年05月, 査読有り

  
• Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures

  Takeru Inoue; Norihito Yasuda; Shunsuke Kawano; Yuji Takenobu; Shin-ichi Minato; Yasuhiro Hayashi

  IEEE TRANSACTIONS ON SMART GRID, 2015年03月, 査読有り

  
• Factorization of ZDDs for representing Bayesian networks based on d-separations

  Shan Gao; Shin-ichi Minato

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015年, 査読有り

  
• Superset Generation on Decision Diagrams.

  Takahisa Toda; Shogo Takeuchi; Koji Tsuda; Shin-ichi Minato

  WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings, 2015年, 査読有り

  
• Enumerating Eulerian Trails via Hamiltonian Path Enumeration.

  Hiroyuki Hanada; Shuhei Denzumi; Yuma Inoue; Hiroshi Aoki; Norihito Yasuda; Shogo Takeuchi; Shin-ichi Minato

  WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings, 2015年, 査読有り

  
• Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits

  Yuma Inoue; Shin-ichi Minato

  REVERSIBLE COMPUTATION, RC 2015, 2015年, 査読有り

  
• BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems.

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

  Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA., 2015年, 査読有り

  
• 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―1.二分決定グラフによる離散構造処理の概観

  湊真一

  電子情報通信学会誌, 2014年12月01日

  
• 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―3.順列の圧縮列挙索引化とソーティング

  川原純; 湊真一

  電子情報通信学会誌, 2014年12月01日

  
• Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams

  Yuma Inoue; Takahisa Toda; Shin-ichi Minato

  IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2014年06月, 査読有り

  
• 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化

  岩下 洋哲; 戸田 貴久; 津田 宏治; 湊 真一

  人工知能学会全国大会論文集, 2014年, 査読有り

  
• DenseZDD: A Compact and Fast Index for Families of Sets

  Shuhei Denzumi; Jun Kawahara; Koji Tsuda; Hiroki Arimura; Shin-ichi Minato; Kunihiko Sadakane

  EXPERIMENTAL ALGORITHMS, SEA 2014, 2014年, 査読有り

  
• Fast Regular Expression Matching Based On Dual Glushkov NFA.

  Ryutaro Kurai; Norihito Yasuda; Hiroki Arimura; Shinobu Nagayama; Shin-ichi Minato

  Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, September 1-3, 2014, 2014年, 査読有り

  
• Accelerating graph adjacency matrix multiplications with adjacency forest

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

  SIAM International Conference on Data Mining 2014, SDM 2014, 2014年, 査読有り

  
• A fast method of statistical assessment for combinatorial hypotheses based on frequent itemset enumeration

  Shin-Ichi Minato; Takeaki Uno; Koji Tsuda; Aika Terada; Jun Sese

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014年, 査読有り

  
• On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree

  Norihito Yasuda; Masaaki Nishino; Shin-ichi Minato

  TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 2014年, 査読有り

  
• A General Framework for Parallel Unary Operations on ZDDs

  Shogo Takeuchi; Takahisa Toda; Shin-ichi Minato

  TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 2014年, 査読有り

  
• Three-way Indexing ZDDs for Large-Scale Sparse Datasets

  Hiroshi Aoki; Takahisa Toda; Shin-ichi Minato

  TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 2014年, 査読有り

  
• An Efficient Method for Indexing All Topological Orders of a Directed Graph

  Yuma Inoue; Shin-ichi Minato

  ALGORITHMS AND COMPUTATION, ISAAC 2014, 2014年, 査読有り

  
• Rethinking Packet Classification for Global Network View of Software-Defined Networking

  Takeru Inoue; Toru Mano; Kimihiro Mizutani; Shin-ichi Minato; Osamu Akashi

  2014 IEEE 22ND INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP), 2014年, 査読有り

  
• Distribution Loss Minimization With Guaranteed Error Bound

  Takeru Inoue; Keiji Takano; Takayuki Watanabe; Jun Kawahara; Ryo Yoshinaka; Akihiro Kishimoto; Koji Tsuda; Shin-ichi Minato; Yasuhiro Hayashi

  IEEE TRANSACTIONS ON SMART GRID, 2014年01月, 査読有り

  
• 「おねえさんの問題」の最先端 ― YouTube動画と世界記録 ―

  湊 真一

  情報処理, 2013年10月, 査読有り, 招待有り

  
• BDD/ZDDを基盤とする離散構造処理系の最近の展開

  湊 真一

  電子情報通信学会 2013ソサイエティ大会 講演論文集, 2013年09月, 招待有り

  
• ZDDを用いた都市の避難所割り当ての列挙

  瀧澤重志; 武知祥史; 大田章雄; 中野浩太郎; 加藤直樹; 井上武; 堀山貴史; 川原純; 湊真一; 湊真一

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

  
• Recent Research Activities on BDD/ZDD-based Discrete Structure Manipulation

  Shin-ichi Minato

  In Poc. of 2013 International Workshop on Machine Learning and Applications to Biology (MLAB Sapporo 2013), 2013年08月, 招待有り

  
• Enumeration of Region Partitioning for Evalcuation Planning based on ZDD

  Atsushi Takizawa; Yasufumi Takechi; Akio Ohta; Naoki Katoh; Takeru Inoue; Takashi Horiyama; Jun Kawahara; Shin-ichi Minato

  In Proc. of International symposium on Operation Research & its Applications (ISORA2013), 2013年08月, 査読有り

  
• Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams

  Yuma Inoue; Takahisa Toda; Shin-ichi Minato

  In Proc. of Permutation Patterns 2013, 2013年07月, 査読有り

  
• Techniques of BDD/ZDD: Brief History and Recent Activity

  Shin-ichi Minato

  IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2013年07月, 査読有り, 招待有り

  
• ZDDを用いたPersonalized PageRankの高速計算法

  西野正彬; 安田宜仁; 湊真一; 永田昌明

  人工知能学会全国大会論文集(CD-ROM), 2013年06月

  
• 二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用

  戸田貴久; 戸田貴久; 湊真一; 湊真一

  人工知能学会全国大会論文集(CD-ROM), 2013年06月

  
• 写像枝を用いた系列二分決定グラフの効率化

  青木洋士; 湊真一; 湊真一; 山下茂

  電子情報通信学会技術研究報告, 2013年05月

  
• Recent Topics on BDD/ZDD-Based Discrete Structure Manipulation

  Shin-ichi Minato

  In Proc. of Reed-Muller Workshop 2013 (RM2013), 2013年05月, 招待有り

  
• 大規模疎行列を扱うZDDの演算を高速化する飛び越しリンク構造

  湊真一; 湊真一

  電子情報通信学会技術研究報告, 2013年03月

  
• Succinct Indices Based on Zero-Suppressed Binary Decision Diagrams

  Shuhei Denzumi; Jun Kawahara; Koji Tsuda; Hiroki Arimura; Kunihiko Sadakane; Shin-ichi Minato

  電子情報通信学会コンピュテーション研究会, 信学技報, 2013年03月

  
• 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ

  岩下 洋哲; 中澤 吉男; 川原 純; 宇野 毅明; 湊 真一

  研究報告アルゴリズム（AL）, 2013年02月22日

  
• 順列二分決定グラフを用いたパターン回避順列の列挙索引化

  井上 祐馬; 戸田 貴久; 湊 真一

  情報処理学会研究報告. AL, アルゴリズム研究会報告, 2013年02月

  
• Shared-memory parallel frontier-based search

  Shogo Takeuchi; Jun Kawahara; Akihiro Kishimoto; Shin-Ichi Minato

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013年, 査読有り

  
• Debugging of reversible circuits using pDDs

  Laura Tague; Mathias Soeken; Shin-Ichi Minato; Rolf Drechsler

  Proceedings of The International Symposium on Multiple-Valued Logic, 2013年, 査読有り

  
• Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams

  Shuhei Denzumi; Koji Tsuda; Hiroki Arimura; Shin-ichi Minato

  PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2013, 2013年, 査読有り

  
• Z-skip-links for fast traversal of ZDDs representing large-scale sparse datasets

  Shin-Ichi Minato

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013年, 査読有り

  
• Using πdDs in the design of reversible circuits (work-in-progress)

  Mathias Soeken; Robert Wille; Shin-Ichi Minato; Rolf Drechsler

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013年, 査読有り

  
• Enumeration of region partitioning for evacuation planning based on ZDD

  Atsushi Takizawa; Yasufumi Takechi; Akio Ohta; Naoki Katoh; Takeru Inoue; Takashi Horiyama; Jun Kawahara; Shin-Ichi Minato

  IET Conference Publications, 2013年, 査読有り

  
• 特集にあたって(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)

  湊 真一

  オペレーションズ・リサーチ : 経営の科学, 2012年11月, 査読有り, 招待有り

  
• BDD/ZDDを用いたグラフ列挙索引化技法(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)

  湊 真一

  オペレーションズ・リサーチ : 経営の科学, 2012年11月, 査読有り, 招待有り

  
• グラフ列挙索引化技法の種々の問題への適用(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)

  川原 純; 湊 真一

  オペレーションズ・リサーチ : 経営の科学, 2012年11月, 査読有り, 招待有り

  
• フロンティア法による電力網構成制御(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)

  井上 武; 高野 圭司; 渡辺 喬之; 川原 純; 吉仲 亮; 岸本 章宏; 津田 宏治; 湊 真一; 林 泰弘

  オペレーションズ・リサーチ : 経営の科学, 2012年11月, 査読有り, 招待有り

  
• 種々のリンクパズルへの応用

  吉仲 亮; 岩下 洋哲; 川原 純; 斎藤 寿樹; 鶴間 浩二; 湊 真一

  オペレーションズ・リサーチ : 経営の科学 = [O]perations research as a management science [r]esearch, 2012年11月01日, 査読有り, 招待有り

  
• 特別招待講演 ERATO湊離散構造処理系プロジェクトの概要と今後の展望について (通信方式)

  湊 真一

  電子情報通信学会技術研究報告 : 信学技報, 2012年11月, 招待有り

  
• 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法 (VLSI設計技術)

  岩下 洋哲; 川原 純; 湊 真一

  電子情報通信学会技術研究報告 : 信学技報, 2012年11月

  
• Counterexamples to the long-standing conjecture on the complexity of BDD binary operations

  Ryo Yoshinaka; Jun Kawahara; Shuhei Denzumi; Hiroki Arimura; Shin-ichi Minato

  INFORMATION PROCESSING LETTERS, 2012年08月, 査読有り

  
• On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake

  Takeru Inoue; Shin-ichi Minato

  IEICE TRANSACTIONS ON COMMUNICATIONS, 2012年07月, 査読有り

  
• A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions

  Yusaku Kaneta; Shingo Yoshizawa; Shin-ichi Minato; Hiroki Arimura; Yoshikazu Miyanaga

  IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012年07月, 査読有り

  
• 5.ZDDを用いた新たな列挙手法(<小特集>広がる列挙の技術-列挙による問題解決アプローチ-)

  川原 純; 斎藤 寿樹; 湊 真一

  電子情報通信学会誌, 2012年06月

  
• 系列二分決定グラフを操作するための豊富な演算体系の構築 (Theoretical Foundations of Computing)

  伝住 周平; 有村 博紀; 湊 真一

  電子情報通信学会技術研究報告 : 信学技報, 2012年06月

  
• BDD/ZDDの技法と離散構造処理系(<特集>離散構造処理系-知能情報処理を支えるアルゴリズムの技法)

  湊 真一

  人工知能学会誌, 2012年05月, 査読有り, 招待有り

  
• DS-1-13 πDDのConjugacy Class計算への適用とその性能評価(DS-1.COMP学生シンポジウム,シンポジウムセッション)

  山田 倫大; 湊 真一

  電子情報通信学会総合大会講演論文集, 2012年03月06日

  
• DS-1-14 πDDの順列集合演算を用いたパンケーキ整列問題の解析法(DS-1.COMP学生シンポジウム,シンポジウムセッション)

  井上 祐馬; 湊 真一

  電子情報通信学会総合大会講演論文集, 2012年03月06日

  
• Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs.

  Ryo Yoshinaka; Toshiki Saitoh; Jun Kawahara; Koji Tsuruma; Hiroaki Iwashita; Shin-ichi Minato

  Algorithms, 2012年, 査読有り

  
• Synthesis of Semi-Classical Quantum Circuits

  Shigeru Yamashita; Shin-ichi Minato; D. Michael Miller

  JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2012年, 査読有り

  
• Incremental set recommendation based on class differences

  Yasuyuki Shirai; Koji Tsuruma; Yuko Sakurai; Satoshi Oyama; Shin-Ichi Minato

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012年, 査読有り

  
• Second workshop on Algorithms for Large-Scale Information Processing in knowledge discovery (ALSIP)

  Koji Tsuda; Shin-Ichi Minato

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012年, 査読有り

  
• ベイジアンネットワークとZDDに関する最近の研究状況について (特集 「ベイジアンネットワークとその応用」および一般)

  湊 真一

  人工知能基本問題研究会, 2011年11月18日

  
• High-speed String and Regular Expression Matching on FPGA

  Yusaku Kaneta; Shingo Yoshizawa; Shin-ichi Minato; Hiroki Arimura

  Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011, 2011年10月, 査読有り

  
• BS-1-2 順列集合を操作する効率的なデータ構造とアルゴリズムの研究について(BS-1. 学生による研究室交流会,シンポジウムセッション)

  山田 倫大; 湊 真一

  電子情報通信学会ソサイエティ大会講演論文集, 2011年08月30日

  
• AI-1-5 大規模な離散構造データを扱うためのGPU利用法の検討(AI-1.GPUを用いた高速化技術とそのVLSI設計への応用,依頼シンポジウム,ソサイエティ企画)

  湊 真一

  電子情報通信学会ソサイエティ大会講演論文集, 2011年08月30日

  
• ERATO湊離散構造処理系プロジェクトの概要と最近の研究状況について(IPv6ネットワーク,フォトニックネットワーク,新世代・次世代ネットワーク及び一般)

  湊 真一

  電子情報通信学会技術研究報告. IN, 情報ネットワーク, 2011年07月14日, 招待有り

  
• 高速なパスの列挙アルゴリズムを用いたネットワークの信頼性評価(IPv6ネットワーク,フォトニックネットワーク,新世代・次世代ネットワーク及び一般)

  斎藤 寿樹; 川原 純; 吉仲 亮; 井上 武; 湊 真一

  電子情報通信学会技術研究報告. IN, 情報ネットワーク, 2011年07月14日

  
• 東日本大震災での短縮URLによるサーバ負荷分散とアクセス分析(IPv6ネットワーク,フォトニックネットワーク,新世代・次世代ネットワーク及び一般)

  井上 武; 湊 真一

  電子情報通信学会技術研究報告. IN, 情報ネットワーク, 2011年07月14日

  
• ZDD によるパスの列挙 (計算機科学とアルゴリズムの数理的基礎とその応用)

  川原 純; 斎藤 寿樹; 鈴木 拡; 湊 真一; 吉仲 亮

  数理解析研究所講究録, 2011年06月

  
• ERATO湊離散構造処理系プロジェクトの概要とシステム設計分野の研究について(FPGA応用)

  湊 真一

  電子情報通信学会技術研究報告. RECONF, リコンフィギャラブルシステム, 2011年05月05日, 招待有り

  
• πDD:順列集合を演算処理する二分決定グラフ

  湊 真一

  電子情報通信学会技術研究報告. COMP, コンピュテーション, 2011年04月15日

  
• 逆順の系列集合を表すSeqBDDの構築

  青木 洋士; 山下 茂; 湊 真一

  電子情報通信学会技術研究報告. COMP, コンピュテーション, 2011年04月15日

  
• 劣モジュラ性を用いた特徴集合列挙(離散系と機械学習,テキスト・Webマイニング,一般)

  河原 吉伸; 津田 宏治; 鷲尾 隆; 武田 朗子; 湊 真一

  電子情報通信学会技術研究報告. IBISML, 情報論的学習理論と機械学習, 2011年03月21日

  
• ZDDを用いたパスの列挙とその性能評価

  斎藤 寿樹; 川原 純; 吉仲 亮; 鈴木 拡; 湊 真一

  情報処理学会研究報告. AL, アルゴリズム研究会報告, 2011年02月28日

  
• BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開

  湊 真一

  電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, 2011年01月, 査読有り, 招待有り

  
• Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations

  Shuhei Denzumi; Ryo Yoshinaka; Hiroki Arimura; Shin-ichi Minato

  PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2011, 2011年, 査読有り

  
• Implementation of Sequence BDDs in Erlang

  Shuhei Denzumi; Hiroki Arimura; Shin-ichi Minato

  ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, 2011年, 査読有り

  
• An efficient algorithm for constructing a sequence binary decision diagram representing a set of reversed sequences

  Hiroshi Aoki; Shigeru Yamashita; Shin-Ichi Minato

  Proceedings - 2011 IEEE International Conference on Granular Computing, GrC 2011, 2011年, 査読有り

  
• Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs

  Masakazu Ishihata; Taisuke Sato; Shin-ichi Minato

  AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2011年, 査読有り

  
• A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams

  Yuko Sakurai; Suguru Ueda; Atsushi Iwasaki; Shin-Ichi Minato; Makoto Yokoo

  AGENTS IN PRINCIPLE, AGENTS IN PRACTICE, 2011年, 査読有り

  
• Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering

  Shin-ichi Minato

  NEW GENERATION COMPUTING, 2011年, 査読有り, 招待有り

  
• pi DD: A New Decision Diagram for Efficient Problem Solving in Permutation Space

  Shin-ichi Minato

  THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, 2011年, 査読有り

  
• Great east Japan earthquake viewed from a URL shortener

  Takeru Inoue; Fujio Toriumi; Yasuyuki Shirai; Shin-Ichi Minato

  Proceedings of the Special Workshop on Internet and Disasters, SWID'11, 2011年, 査読有り

  
• Faster Evaluation of ZBDD Compressed Multi-Linear Functions with GPU Parallelism

  MINATO Shin‐ichi; ONSJOE Mikael; WATANABE Osamu

  Res Rep Math Comput Sci Ser C Comput Sci (Web), 2011年01月

  
• ベイジアンネットワークと離散構造処理系(<特集>ベイジアンネットワークの最先端)

  佐藤 泰介; 湊 真一

  人工知能学会誌, 2010年11月, 査読有り, 招待有り

  
• D-009 ZDDを用いた頻出パタン演算によるWebテキストデータからの知識発見とその評価(D分野:データベース,一般論文)

  岡崎 佑太; 湊 真一

  情報科学技術フォーラム講演論文集, 2010年08月20日

  
• F-024 ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成とその評価(F分野:人工知能・ゲーム,一般論文)

  高橋 渉; 湊 真一

  情報科学技術フォーラム講演論文集, 2010年08月20日

  
• 命題論理に基づく確率モデルのための二部決定グラフと順序符号化を用いた効率的なEMアルゴリズム(一般講演(構造学習・ベイジアンネット・確率推論),機械学習とその応用)

  石畠 正和; 亀谷 由隆; 佐藤 泰介; 湊 真一

  電子情報通信学会技術研究報告. IBISML, 情報論的学習理論と機械学習, 2010年06月07日

  
• 非巡回正規表現に対する効率的なパターン照合

  金田 悠作; 湊 真一; 有村 博紀

  電子情報通信学会技術研究報告. COMP, コンピュテーション, 2010年05月12日

  
• ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成 (特集 「知識発見の生命科学への応用」および一般)

  高橋 渉; 湊 真一

  人工知能基本問題研究会, 2010年03月17日

  
• 3ZP-5 ZDDを用いた立体ペントミノパズルの解の列挙(情報爆発時代におけるデータマイニング・アルゴリズム,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)

  鈴木 拡; 湊 真一

  全国大会講演論文集, 2010年03月08日

  
• D-1-7 並列ビット分配にもとづいた効率的な正規表現照合アルゴリズム(D-1.コンピュテーション,一般セッション)

  金田 悠作; 湊 真一; 有村 博紀

  電子情報通信学会総合大会講演論文集, 2010年03月02日

  
• eラーニングと遠隔FPGAの連携による異分野共同研究環境の開発(ネットワーク,FPGA応用及び一般)

  金 在成; 吉澤 真吾; 金田 悠作; 湊 真一; 有村 博紀; 宮永 喜一

  電子情報通信学会技術研究報告. VLD, VLSI設計技術, 2010年01月19日

  
• 効率良い正規表現照合のための並列ビット分配にもとづいたハードウェア指向アルゴリズム(アプリケーション2,FPGA応用及び一般)

  金田 悠作; 吉澤 真吾; 湊 真一; 有村 博紀; 宮永 喜一

  電子情報通信学会技術研究報告. VLD, VLSI設計技術, 2010年01月19日

  
• Dynamic reconfigurable bit-parallel architecture for large-scale regular expression matching

  Yusaku Kaneta; Shingo Yoshizawa; Shin-Ichi Minato; Hiroki Arimura; Yoshikazu Miyanaga

  Proceedings - 2010 International Conference on Field-Programmable Technology, FPT'10, 2010年, 査読有り

  
• Fast Bit-Parallel Matching for Network and Regular Expressions

  Yusaku Kaneta; Shin-ichi Minato; Hiroki Arimura

  STRING PROCESSING AND INFORMATION RETRIEVAL, 2010年, 査読有り

  
• Discrete structure manipulation for discovery science problems

  Shin-Ichi Minato

  Lecture Notes in Electrical Engineering, 2010年, 査読有り

  
• The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009)

  Akihiro Yamamoto; Kouichi Hirata; Shin-Ichi Minato

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010年, 査読有り

  
• Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases

  Shin-ichi Minato; Takeaki Uno

  SDM2010, 2010年, 査読有り

  
• An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models.

  Masakazu Ishihata; Yoshitaka Kameya; Taisuke Sato; Shin-ichi Minato

  Proceedings of the 2nd Asian Conference on Machine Learning, ACML 2010, Tokyo, Japan, November 8-10, 2010, 2010年, 査読有り

  
• ZDDによるベイジアンネットワーク推論の高速化 (特集 「ベイジアン・ネットワークと応用」および一般)

  湊 真一

  人工知能基本問題研究会, 2009年11月13日

  
• 5.メディア系異分野共同研究プロジェクト(北の国から明日のICTに架ける橋,<特別小特集>知の創出を支える次世代IT基盤技術-北海道大学グローバルCOEプログラムと北海道内情報通信系研究グループの活動-)

  宮永 喜一; 吉澤 真吾; 湊 真一

  電子情報通信学会誌, 2009年10月, 査読有り

  
• D-031 頻出パタン抽出アルゴリズム「LCM over ZDDs」の変数順序付けの影響に関する考察(データベース,一般論文)

  岡崎 佑太; 湊 真一

  情報科学技術フォーラム講演論文集, 2009年08月20日

  
• F-061 ベイジアンネットワークを表現するZDDの初期変数順序付け方法の改良(人工知能・ゲーム,一般論文)

  金崎 健之; 湊 真一

  情報科学技術フォーラム講演論文集, 2009年08月20日

  
• BDD/ZDDを用いたペントミノパズルの解の列挙

  鈴木 拡; 湊 真一

  電子情報通信学会技術研究報告. COMP, コンピュテーション, 2009年05月19日

  
• D-4-18 高速ストリーム処理のための文字列パターン照合手法とそのFPGA設計(D-4. データ工学,一般セッション)

  金田 悠作; 吉澤 真吾; 湊 真一; 有村 博紀; 宮永 喜一

  電子情報通信学会総合大会講演論文集, 2009年03月

  
• DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction

  Shigeru Yamashita; Shin-ichi Minato; D. Michael Miller

  IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2008年12月, 査読有り

  
• Contents Muticast Method Enabling Determination of Leakage Origin and Exclusion

  Hitoshi Uematsu; Kan Toyoshima; Takeru Inoue; Kazuhiro Takahashi; Satsuki Nishina; Tsuyoshi Takagi; Shinichi Minato

  Proc. of the 14th Asia-Pacific Conference on Communications (APCC), 2008年09月, 査読有り

  
• 2.情報爆発時代のための新しい超高速アルゴリズム(パートI:情報爆発時代における新しい基盤技術,<特集>情報爆発時代におけるわくわくするITの創出を目指して)

  宇野 毅明; 湊 真一; 竹田 正幸

  情報処理, 2008年08月, 査読有り

  
• 頻出パターンマイニングのためのゼロサプレス型BDDの変数順序付け方法とその評価(データマイニング,<特集>データ工学論文)

  岩崎 玄弥; 湊 真一; ツォイクマン トーマス

  電子情報通信学会論文誌. D, 情報・システム, 2008年03月, 査読有り

  
• LCM over ZBDDs: Fast generation of very large-scale frequent itemsets using a compact graph-based representation

  Shin-ichi Minato; Takeaki Uno; Hiroki Arimura

  ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2008年, 査読有り

  
• DDMF: An efficient decision diagram structure for design verification of quantum circuits under a practical restriction

  Shigeru Yamashita; Shin-ichi Minato; D. Michael Miller

  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2008年, 査読有り

  
• A fast algorithm for cofactor implication checking and its application for knowledge discovery

  Shin-Ichi Minato

  Proceedings - 2008 IEEE 8th International Conference on Computer and Information Technology, CIT 2008, 2008年, 査読有り

  
• An efficient verification of quantum circuits under a practical restriction

  Shigeru Yamashita; Shin-ichi Minato; D. Michael Miller

  2008 IEEE 8TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2008年, 査読有り

  
• Symmetric item set mining method using zero-suppressed BDDs and application to biological data (論文特集:データマイニングと統計数理)

  MINATO Shin-ichi; ITO Kimihito

  人工知能学会論文誌 = Transactions of the Japanese Society for Artificial Intelligence : AI, 2007年, 査読有り

  
• Frequent closed item set mining based on zero-suppressed BDDs (論文特集:データマイニングと統計数理)

  MINATO Shin-ichi; ARIMURA Hiroki

  人工知能学会論文誌 = Transactions of the Japanese Society for Artificial Intelligence : AI, 2007年, 査読有り

  
• Frequent pattern mining and knowledge indexing based on zero-suppressed BDDs

  Shin-Ichi Minato; Hiroki Arimura

  KNOWLEDGE DISCOVERY IN INDUCTIVE DATABASES, 2007年, 査読有り

  
• A method of variable ordering for zero-suppressed binary decision diagrams in data mining applications

  Haruya Iwasaki; Shin-ichi Minato; Thomas Zeugmann

  2007 IEEE INTERNATIONAL WORKSHOP ON DATABASES FOR NEXT GENERATION RESEARCHERS, 2007年, 査読有り

  
• Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs

  Shin-ichi Minato; Ken Satoh; Taisuke Sato

  20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007年, 査読有り

  
• N-gram analysis based on zero-suppressed BDDs

  Ryutaro Kurai; Shin-Ichi Minato; Thomas Zeugmarm

  NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2007年, 査読有り

  
• A theoretical study on variable ordering of zero-suppressed BDDs for representing frequent itemsets

  Shin-ichi Minato

  DISCOVERY SCIENCE, PROCEEDINGS, 2007年, 査読有り

  
• Symmetric item set mining method using zero-suppressed BDDs and application to biological data

  Minato Shin-ichi; Ito Kimihito

  Inform. Media Technol., 2007年, 査読有り

  
• ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法(データマイニング,<特集>データ工学論文)

  湊 真一; 有村 博紀

  電子情報通信学会論文誌. D, 情報・システム, 2006年02月, 査読有り

  
• Symmetric item set mining based on zero-suppressed BDDs

  Shin-ichi Minato

  DISCOVERY SCIENCE, PROCEEDINGS, 2006年, 査読有り

  
• Efficient database analysis using VSOP calculator based on zero-suppressed BDDs

  Shin-ichi Minato

  NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2006年, 査読有り

  
• VSOP (Valued-sum-of-products) calculator for knowledge processing based on zero-suppressed BDDs

  SI Minato

  FEDERATION OVER THE WEB, 2006年, 査読有り

  
• Flexcastによる段階的導入に優れたマルチキャストシステムの設計と実装(ネットワーク・並列分散システムソフトウェア, <特集>システム開発論文)

  井上 武; 谷 誠一郎; 高橋 宏和; 湊 真一; 宮崎 敏明; 豊島 鑑

  電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理, 2005年02月, 査読有り

  
• Design and implementation of advanced multicast router based on cluster computing

  T Inoue; S Tani; F Takahashi; SI Minato; T Miyazaki; K Toyoshima

  11TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL I, PROCEEDINGS, 2005年, 査読有り

  
• Efficient method of combinatorial item set analysis based on zero-suppressed BDDs

  Shin-Ichi Minato; Hiroki Arimura

  Proceedings - International Workshop on Challenges in Web Information Retrieval and Integration, WIRI'05, 2005年, 査読有り

  
• Wide-Area Multicasting based on Flexcast: Toward the Ubiquitous Network

  Takeru Inoue; Seiichiro Tani; Katsuhiro Ishimaru; Shin-ichi Minato; Toshiaki Miyazaki

  Proc. of the 5th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT), 2003年11月, 査読有り

  
• Flexcast: Self-organizing multicast technology

  Seiichiro Tani; Toshiaki Miyazaki; Noriyuki Takahashi; Shin Ichi Minato

  NTT R and D, 2003年

  
• Streaming BDD manipulation

  S Minato

  IEEE TRANSACTIONS ON COMPUTERS, 2002年05月, 査読有り

  
• Streaming BDD manipulation for large-scale combinatorial problems

  Shin-Ichi Minato; Shinya Ishihara

  Proceedings -Design, Automation and Test in Europe, DATE, 2001年, 査読有り

  
• BDD(二分決定グラフ)とその応用

  湊 真一

  応用数理, 1999年09月, 査読有り, 招待有り

  
• On the properties of combination set operations

  HG Okuno; S Minato; H Isozaki

  INFORMATION PROCESSING LETTERS, 1998年05月, 査読有り

  
• Manipulation of large-scale polynomials using BMDs

  D Rotter; K Hamaguchi; S Minato; S Yajima

  IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1997年10月, 査読有り

  
• Arithmetic Boolean expression manipulator using BDDs

  SI Minato

  FORMAL METHODS IN SYSTEM DESIGN, 1997年04月, 査読有り

  
• Fast factorization method for implicit cube set representation

  Shin-Ichi Minato

  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996年, 査読有り

  
• BDDs vs. zero-suppressed BDDs: for CTL symbolic model checking of Petri nets

  T Yoneda; H Hatori; A Takahara; S Minato

  FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996年, 査読有り

  
• 二分決定グラフによる制約充足問題の解法

  奥乃 博; 湊 真一

  情報処理学会論文誌, 1995年08月, 査読有り

  
• BEM-II - AN ARITHMETIC BOOLEAN EXPRESSION MANIPULATOR USING BDDS

  S MINATO

  IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1993年10月, 査読有り

  
• FAST GENERATION OF PRIME-IRREDUNDANT COVERS FROM BINARY DECISION DIAGRAMS

  S MINATO

  IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1993年06月, 査読有り

  
• 2. 計算機上での BDD の処理技法 (<特集> BDD (二分決定グラフ))

  湊 真一

  情報処理, 1993年05月, 査読有り, 招待有り

  
• 「わくわく」 - 技術革新のキーワード -

  湊 真一

  電子情報通信学会誌, 1992年11月, 査読有り

  
• 論理関数の共有二分決定グラフによる表現とその効率的処理手法

  湊 真一; 石浦 菜岐佐; 矢島 脩三

  情報処理学会論文誌, 1991年01月, 査読有り

  
• High-speed String and Regular Expression Matching on FPGA

  Yusaku Kaneta; Shingo Yoshizawa; Shin-ichi Minato; Hiroki Arimura

  Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011), 査読有り

  
• Space and Power Reduction in BDD-based Optical Logic Circuits Exploiting Dual Ports

  Ryosuke Matsuo; Shin-ichi Minato

  Proc. of ACM/IEEE Design, Automation and Test in Europe Conference (DATE2022), 2022年03月, 査読有り, 最終著者

  
• BDD Variable Ordering for Minimizing Power Consumption of Optical Logic Circuits

  Ryosuke Matsuo; Shin-ichi Minato

  Proc. of 2021 IEEE Computer Society Annual Symposium on VLSI (ISVLSI2021), 2021年07月, 査読有り, 最終著者

  
• Minimizing customer waiting time with a new delivery-tour planning algorithm based on tour division and dynamic route optimization

  Hiroshi Uchigaito; Tomoki Shirai; Yoichi Iwata; Normann Mertig; Yuya Sugie; Tsubasa Oizumi; Hiroshi Teramoto; Atsuyoshi Nakamura; Shin-ichi Minato; Tamiki Komatsuzaki; Takashi Takemoto

  Proc. of 2020 International Symposium on Nonlinear Theory and its Applications (NOLTA 2020), 2020年11月, 査読有り

  

MISC

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

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

  情報処理学会研究報告(Web), 2026年03月, 最終著者

  
• Swishの計算量,

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

  第20回組合せゲーム・パズル研究集会, 2026年02月

  
• Computational Complexity of Swish.

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

  CoRR, 2026年01月

  
• 二次疑ブール関数の最小解列挙における二分決定グラフの変数順

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

  人工知能学会人工知能基本問題研究会資料, 2026年01月, 最終著者

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

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

  第24回情報科学技術フォーラム(FIT2025), 2025年09月, 最終著者

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

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

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

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

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

  情報処理学会第87回全国大会講演論文集, 2025年03月

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

  湊 真一

  数学セミナー, 2025年01月, 招待有り, 筆頭著者, 最終著者, 責任著者

  
• 水性ガスシフト反応の反応経路ネットワーク分析

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

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

  
• ゼロサプレス型二分決定グラフを用いた集合分割の族の表現とその演算アルゴリズムの評価

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

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

  
• 炭化水素の異性化反応の反応経路ネットワーク解析

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

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

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

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

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

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

  湊 真一

  LAシンポジウム会誌, 2022年

  
• ネットワーク信頼性評価におけるk辺連結性を表現するMDDの構築法

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

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

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

  湊 真一

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

  
• On the sizes of BDDs and ZDDs representing matroids.

  Hiromi Emoto; Yuni Iwamasa; Shin-ichi Minato

  CoRR, 2024年04月, 最終著者

  
• マトロイドを表すBDD/ZDDについて

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

  電子情報通信学会2024総合大会, 2024年03月, 最終著者

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

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

  日本オペレーションズ・リサーチ学会2024年春季研究発表会, 2024年03月, 最終著者

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

  吉浩; 川原純; 湊真一

  情報処理学会第86回全国大会講演論文集, 2024年03月, 最終著者

  
• Recent Research Activities on Algorithmic Foundations for Social Advancement.

  Shin-ichi Minato

  WALCOM, 2024年03月, 招待有り, 筆頭著者, 最終著者, 責任著者

  
• ZDDの区間メモ化探索法を改良した頂点被覆問題のコスト制約解列挙アルゴリズム

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

  人工知能学会人工知能基本問題研究会資料, 2024年03月, 最終著者

  
• ZDDを用いた独立集合遷移問題の解空間グラフの直径をなす独立集合対の計算

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

  人工知能学会人工知能基本問題研究会資料, 2024年03月, 最終著者

  
• A*探索に基づく組合せ最適化問題の上位解列挙とZDDの構築

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

  第21回情報科学技術フォーラム(FIT2023), 2023年09月, 最終著者

  
• International Competition on Graph Counting Algorithms 2023.

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

  CoRR, 2023年09月, 最終著者

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

  鈴木, 浩史; 湊, 真一

  第80回全国大会講演論文集, 2018年03月13日

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

  鈴木, 浩史; 湊, 真一

  第79回全国大会講演論文集, 2017年03月16日

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

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

  情報処理学会 第9回量子ソフトウェア研究発表会, 2023年06月

  
• ZDDによるパターン頻度表を用いた頻出アイテム集合マイニングの追加データ処理手法

  周文爍; 川原純; 湊真一

  情報処理学会第85回全国大会講演論文集, 2023年03月, 最終著者

  
• 辺重み付き系列二分決定グラフによる頻出部分列の多重集合表現とその評価

  杉野創; 川原純; 湊真一

  情報処理学会第85回全国大会講演論文集, 2023年03月, 最終著者

  
• 部分順列グラフの集合を表現するZDDの構築

  高嶋勇哉; 川原純; 湊真一

  情報処理学会第85回全国大会講演論文集, 2023年03月, 最終著者

  
• CompDP: 複数の連結性制約の下の部分グラフ数え上げを同時に行う動的計画法

  中村 健吾; 西野 正彬; 安田 宜仁; 湊 真一

  人工知能学会全国大会論文集, 2023年06月

  
• 単項二階論理式で与えられた論理関数を表す決定グラフの構築

  大場 翔; 川原 純; 湊 真一

  人工知能学会全国大会論文集, 2023年06月

  
• On the Computational Complexity of Generalized Common Shape Puzzles.

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

  CoRR, 2023年05月

  
• 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), 2022年11月, 筆頭著者

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

  湊 真一

  人工知能学会研究会資料 人工知能基本問題研究会, 2022年11月10日

  
• 「組み合わせ爆発」で考えるアルゴリズム入門 : 計算時間を劇的に短縮するアルゴリズムの威力

  湊 真一(監修)

  Newton = ニュートン : graphic science magazine, 2022年10月, 招待有り

  
• マトロイド判定問題に対するZDDを用いた解法とその評価

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

  第21回情報科学技術フォーラム(FIT2022), 2022年09月, 最終著者

  
• 3入力関数に対するゲート数最小の光クロスバーゲートロジック回路の列挙

  松尾, 亮祐; 湊, 真一

  DAシンポジウム2022論文集, 2022年08月24日

  
• 部分理想グラフの集合を表現するZDDの構築

  高嶋勇哉; 川原純; 斎藤寿樹; 吉仲亮; 湊真一

  2022夏のLAシンポジウム, 2022年07月

  
• ZDDを用いた等質テスト構成

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

  人工知能学会全国大会論文集, 2022年06月

  
• 最短路遷移問題のZDDを用いた解法と評価

  大場 翔; 川原 純; 湊 真一

  人工知能学会全国大会論文集, 2022年06月

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

  湊 真一

  システム／制御／情報, 2022年05月15日

  
• 二分決定グラフによる制約充足問題の解法

  奥乃 博; 湊 真一

  情報処理学会論文誌, 1995年08月15日

  
• 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法

  岩下 洋哲; 川原 純; 湊 真一

  研究報告システムLSI設計技術（SLDM）, 2012年11月19日

  
• ZDDを用いたパスの列挙とその性能評価

  斎藤 寿樹; 川原 純; 吉仲 亮; 鈴木 拡; 湊 真一

  研究報告アルゴリズム（AL）, 2011年02月28日

  
• Shared binary decision diagram with attributed edges for efficient boolean function manipulation

  MINATO S.

  Proc. 27th Design Automat. Conf., 1990年

  
• Separate Compilation of Bayesian Networks for Efficient Exact Inference (特集 「SAT技術の理論,実装,応用」および一般)

  Gao Shan; Ishihata Masakazu; Minato Shin-ichi

  人工知能基本問題研究会, 2017年03月13日

  
• Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations (特集 「確率的グラフィカルモデルとビッグデータ分析」および一般)

  Gao Shan; Minato Shin-ichi

  人工知能基本問題研究会, 2015年01月13日

  
• Editor's Message to Special Issue of Young Researchers' Papers.

  Shin-ichi Minato

  J. Inf. Process., 2021年

  
• 動的計画法に基づくSimple Polygonization列挙アルゴリズムの実験的評価

  中畑裕; 堀山貴史; 湊真一; 山中克久

  情報処理学会研究報告(Web), 2021年03月

  
• グラフの全点対間の点カットを索引化するBDD の構築

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

  2020年度人工知能学会全国大会（第34回）, 2020年06月, 最終著者

  
• 次数制限付きハッセ図表現の情報理論的下限

  森順平; 川原純; 湊真一

  電子情報通信学会技術研究報告, 2020年03月

  
• 解集合プログラミングを用いた配電網問題の解法に関する一考察

  山田健太郎; 湊真一; 番原睦則

  日本ソフトウェア科学会大会講演論文集(Web), 2020年09月

  
• 選挙区割問題に対するZDDを用いた近似的列挙手法の提案と評価

  山崎宏紀; 川原純; 湊真一

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

  
• BDDに基づく光論理回路の消費電力を最小化する変数順序付け

  松尾亮祐; 湊真一

  電子情報通信学会技術研究報告(Web), 2020年11月

  
• コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法

  湊真一; 番原睦則; 堀山貴史; 川原純; 瀧川一学; 瀧川一学; 山口勇太郎

  電子情報通信学会技術研究報告(Web), 2020年12月

  
• Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes.

  Yuya Sugie; Yuki Yoshida; Normann Mertig; Takashi Takemoto; Hiroshi Teramoto; Atsuyoshi Nakamura; Ichigaku Takigawa; Shin-ichi Minato; Masanao Yamaoka; Tamiki Komatsuzaki

  CoRR, 2020年

  
• Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization.

  Yu Nakahata; Takashi Horiyama; Shin-ichi Minato; Katsuhisa Yamanaka

  CoRR, 2020年01月

  
• Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling

  Shin-ichi Minato

  Abstract Note of KOCOON Workshop, 2019年12月, 筆頭著者

  
• Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration.

  Yu Nakahata; Jun Kawahara; Takashi Horiyama; Shin-ichi Minato

  CoRR, 2019年11月, 最終著者

  
• Depth-First ZDD Construction with Frontier-Based Search Method for Graph Enumeration Problems

  Shin-ichi Minato

  Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 2019年10月, 筆頭著者

  
• Decision-Diagram-Based Enumeration of d-Cutsets

  Yu Nakahata; Jun Kawahara; Shin-ichi Minato

  Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 2019年10月, 最終著者

  
• 隣接互換による最短長ユニバーサル列

  伊藤健洋; 川原純; 湊真一; 大舘陽太; 斎藤寿樹; 鈴木顕; 上原隆平; 宇野毅明; 山中克久; 吉仲亮

  電子情報通信学会コンピュテーション研究会, 2019年09月

  
• グラフ同型に関する代表元のグラフを列挙するZDDの構築について

  大澤賢悟; 中畑裕; 湊真一

  人工知能学会第110回人工知能基本問題研究会資料, 2019年09月, 最終著者

  
• Decomposing a Graph into Unigraphs.

  Takashi Horiyama; Jun Kawahara; Shin-ichi Minato; Yu Nakahata

  CoRR, 2019年05月

  
• ZDDを用いたグラフ細分構造の列挙

  中畑裕; 川原純; 堀山貴史; 湊真一

  電子情報通信学会コンピュテーション研究会, 信学技報, 2019年05月

  
• 電力システムに貢献するアルゴリズム技術とその将来

  湊真一

  電気学会全国大会講演論文集(CD-ROM), 2019年03月, 招待有り

  
• 7次対称方陣の数え上げ

  加藤剛; 湊真一

  情報処理学会研究報告(Web), 2019年01月

  
• 離散構造処理系プロジェクトの近況について

  湊真一

  電子情報通信学会技術研究報告, 2018年10月, 招待有り

  
• コミュニケーション科学のさらなる深化 二分決定グラフを用いたネットワーク信頼性最適化法

  西野正彬; 井上武; 安田宜仁; 湊真一; 永田昌明

  NTT技術ジャーナル, 2018年09月

  
• SeqBDDを用いた集合分割の族の表現法と実験的評価

  高橋翔哉; 湊真一; 瀧川一学

  情報処理学会研究報告(Web), 2018年08月

  
• 化学反応経路ネットワークにおけるZDDを用いたエネルギー制限付き経路列挙

  鈴木浩史; 中野裕太; 住谷陽輔; 湊真一; 前田理

  情報処理学会研究報告(Web), 2018年08月

  
• スキャン統計量に基づく組合せホットスポット抽出を行う高速アルゴリズム

  湊真一; 川原純; 水田正弘; 石岡文生; 栗原考次

  情報処理学会研究報告(Web), 2018年08月

  
• ZDD を用いた種々のネットワーク設計問題の解法

  鈴木 浩史; 石畠 正和; 湊 真一

  JSAI大会論文集, 2018年06月

  
• ZDDを用いた組合せテストケースの列挙索引化に関する実験と考察 (特集 「命題論理の充足可能性問題SATの最新動向」および一般)

  大畑 翔平; 湊 真一

  人工知能基本問題研究会, 2018年03月16日

  
• LSIの配線問題 -DAシンポジウムの配線問題解法コンテスト-：5．ZDDを用いた解法

  湊 真一

  情報処理, 2018年02月

  
• 順序決定木に対する正則化パラメータ推定の高速化 (特集 「ビジネスにおける機械学習/人工知能」及び一般)

  金森 憲太朗; 石畠 正和; 湊 真一; 有村 博紀

  人工知能基本問題研究会, 2018年01月28日

  
• 日本株データベースにおける曜日効果を考慮した投資モデルの網羅的分析 (特集 「ビジネスにおける機械学習/人工知能」及び一般)

  林 大祐; 羽室 行信; 岡田 克彦; 湊 真一

  人工知能基本問題研究会, 2018年01月28日

  
• 厳密被覆問題の高速な全解列挙法 (特集 人に迫るAI,人に寄り添うAI : corevoを支えるコミュニケーション科学)

  西野 正彬; 安田 宜仁; 湊 真一; 永田 昌明

  NTT技術ジャーナル, 2017年09月

  
• フロンティア法による強連結な部分グラフの列挙 (特集 「人と接する人工知能技術」および一般)

  鈴木 浩史; 石畠 正和; 湊 真一

  人工知能基本問題研究会, 2017年08月08日

  
• 仮想NW埋込高速化のための総容量変化を最小化するNW簡約手法 (情報ネットワーク)

  間野 暢; 井上 武; 水谷 公宏; 湊 真一; 明石 修

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2017年07月18日

  
• 敵対的組合せバンディット問題に対するZDDを用いたアルゴリズム (情報論的学習理論と機械学習)

  坂上 晋作; 石畠 正和; 湊 真一

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2017年06月23日

  
• 系列二分決定グラフを用いた頻出部分グラフの圧縮表現

  岡崎 文哉; 奥山 葉月; 瀧川 一学; 湊 真一

  JSAI大会論文集, 2017年

  
• ZDDと列挙問題―最新の技法とプログラミングツール

  戸田 貴久; 斎藤 寿樹; 岩下 洋哲; 川原 純; 湊 真一

  コンピュータ ソフトウェア, 2017年

  
• ZDDと列挙問題―最新の技法とプログラミングツール

  戸田 貴久; 斎藤 寿樹; 岩下 洋哲; 川原 純; 湊 真一

  コンピュータ ソフトウェア, 2017年

  
• 平行移動不変な非負値行列因子分解とその分析

  鈴木慶介; 今井英幸; ZHANG Ruoni; 瀧川一学; 瀧川一学; 湊真一

  情報科学技術フォーラム講演論文集, 2016年08月23日

  
• モデル検査によるSmart Objectの近傍近接連携モデルの検証 (特集 「人工知能・機械学習技術の他分野への応用」および一般)

  蓑田 玲緒奈; 湊 真一

  人工知能基本問題研究会, 2016年08月07日

  
• 列挙木とMCMCを組み合わせた部分グラフサンプリングアルゴリズムの構築 (特集 「人工知能・機械学習技術の他分野への応用」および一般)

  和佐 州洋; 石畠 正和; 宇野 毅明; 湊 真一

  人工知能基本問題研究会, 2016年08月07日

  
• ZDDを用いたグラフ列挙索引化における頂点インデックスの追加 (特集 「人工知能・機械学習技術の他分野への応用」および一般)

  鈴木 浩史; 湊 真一

  人工知能基本問題研究会, 2016年08月07日

  
• 順列のサイクルタイプ同値類分割に対する順列決定グラフの適用 (特集 「人工知能・機械学習技術の他分野への応用」および一般)

  井上 祐馬; 湊 真一

  人工知能基本問題研究会, 2016年08月07日

  
• 私は何がしたかったのか,そしてどのように進んできたのか (つながりが創発するイノベーション(第7回))

  湊 真一

  人工知能 : 人工知能学会誌 : journal of the Japanese Society for Artificial Intelligence, 2016年05月

  
• 1-A-4 m連結成分分割の高速列挙法と区割の比較(情報・離散最適化)

  川原 純; 堀田 敬介; 堀山 貴史; 湊 真一

  日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2015年09月10日

  
• 系列二分決定グラフを用いた全頂点対ウォークの列挙と索引化 (Theoretical Foundations of Computing)

  青木 洋士; 安田 宜仁; 湊 真一

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2015年09月01日

  
• BI-2-1 離散構造処理系プロジェクト : 最近の話題と今後の展望(BI-2.離散構造処理の技法と情報ネットワークへの応用,依頼シンポジウム,ソサイエティ企画)

  湊 真一

  電子情報通信学会ソサイエティ大会講演論文集, 2015年08月25日

  
• F-021 MEET演算を用いた組合せ集合間の類似度の定義と応用(F分野:人工知能・ゲーム,一般論文)

  竹内 文登; 鈴木 浩史; 白石 恒介; 井上 祐馬; 湊 真一

  情報科学技術フォーラム講演論文集, 2015年08月24日

  
• A-009 ZDDのトップダウン構築における変数順序付け法の実験と考察(A分野:モデル・アルゴリズム・プログラミング,一般論文)

  伊藤 華; 井上 祐馬; 湊 真一

  情報科学技術フォーラム講演論文集, 2015年08月24日

  
• 頂点誘導部分グラフを列挙索引化するフロンティア法 (コンピュテーション)

  鈴木 浩史; 湊 真一

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2015年04月23日

  
• ハイパーグラフにおける極大独立集合列挙のためのZDD構築手法 (コンピュテーション)

  菅谷 輝治; 戸田 貴久; 湊 真一

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2015年03月09日

  
• DS-1-7 次数制約を満たす部分グラフを列挙するためのフロンティア法の効率化(DS-1.COMP-ELC学生シンポジウム,シンポジウムセッション)

  鈴木 浩史; 湊 真一

  電子情報通信学会総合大会講演論文集, 2015年02月24日

  
• DS-1-12 問題の性質を考慮した分解法に基づく決定グラフの選択(DS-1.COMP-ELC学生シンポジウム,シンポジウムセッション)

  井上 祐馬; 湊 真一

  電子情報通信学会総合大会講演論文集, 2015年02月24日

  
• 問題の性質を考慮した分解法に基づく決定グラフの選択

  井上祐馬; 湊真一; 湊真一

  電子情報通信学会大会講演論文集(CD-ROM), 2015年02月24日

  
• 次数制約を満たす部分グラフを列挙するためのフロンティア法の効率化

  鈴木浩史; 湊真一

  電子情報通信学会大会講演論文集(CD-ROM), 2015年02月24日

  
• 状態遷移の並列比較によるNFA照合高速化

  倉井 龍太郎; 安田 宜仁; 湊 真一

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

  
• 組合せ集合のmeet演算による共通因子抽出

  竹内 文登; 安田 宜仁; 湊 真一

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

  
• オイラー路の高速な列挙索引化アルゴリズム

  ホリルロハマン ムハマド; 湊 真一

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

  
• Counting by ZDD.

  Shin-ichi Minato

  Encyclopedia of Algorithms, 2015年, 査読有り

  
• 木刈込みに基づく文書要約のためのZDDを用いた動的計画法

  西野正彬; 安田宜仁; 平尾努; 湊真一; 湊真一; 永田昌明

  言語処理学会年次大会発表論文集(Web), 2015年

  
• 順列の圧縮列挙索引化とソーティング (小特集 ｢フカシギの数え方｣から広がるアルゴリズムの理工学 : 二分決定グラフによる離散構造処理と広がる応用分野)

  川原 純; 湊 真一

  電子情報通信学会誌 = The journal of the Institute of Electronics, Information and Communication Engineers, 2014年12月

  
• 二分決定グラフによる離散構造処理の概観 (小特集 ｢フカシギの数え方｣から広がるアルゴリズムの理工学 : 二分決定グラフによる離散構造処理と広がる応用分野)

  湊 真一

  電子情報通信学会誌 = The journal of the Institute of Electronics, Information and Communication Engineers, 2014年12月

  
• 順列決定グラフ(πDD)を用いたオイラー路の高速な列挙索引化 (Theoretical Foundations of Computing)

  井上 祐馬; 湊 真一

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2014年10月08日

  
• 分枝限定法を用いた系統構成切替による年間の配電損失最小化手法

  竹延祐二; 河野俊介; 林泰弘; 安田宜仁; 湊真一

  電気学会電力技術研究会資料, 2014年09月24日

  
• MDDを用いたSDNグローバルビューのためのパケット分類手法 (情報ネットワーク)

  井上 武; 間野 暢; 水谷 后宏; 湊 真一; 明石 修

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2014年09月11日

  
• 系統構成切替による年間の配電損失最小化手法

  竹延祐二; 河野俊介; 林泰弘; 安田宜仁; 湊真一

  電気学会電力・エネルギー部門大会論文集(CD-ROM), 2014年09月10日

  
• Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation

  Jun Kawahara; Takeru Inoue; Hiroaki Iwashita; Shin-ichi Minato

  TCS Technical Reports, Division of Computer Science, Hokkaido University, 2014年09月

  
• A-009 ベイジアンネットワークの確率計算のためのZDD分解法に関する実験と考察(A分野:モデル・アルゴリズム・プログラミング,一般論文)

  高 サン; 湊 真一

  情報科学技術フォーラム講演論文集, 2014年08月19日

  
• A-017 グラフの各頂点を高々2回まで通る経路数の下界の改善(A分野:モデル・アルゴリズム・プログラミング,一般論文)

  ホリルロハマン ムハマド; 湊 真一

  情報科学技術フォーラム講演論文集, 2014年08月19日

  
• Packet Classification for Global Network View of Software-Defined Networking

  Takeru Inoue; Toru Mano; Kimihiro Mizutani; Shin-ichi Minato; Osamu Akashi

  TCS Technical Reports, Division of Computer Science, Hokkaido University, 2014年07月

  
• 就職活動学生向けの企業情報推薦システムの提案

  鮑若愚; 白井康之; 湊真一

  第76回全国大会講演論文集, 2014年03月11日

  
• DS-1-10 グラフの各頂点を高々2回まで通る経路の数え上げ(DS-1.COMP-ELC学生シンポジウム,シンポジウムセッション)

  ホリルロハマン ムハマド; 湊 真一

  電子情報通信学会総合大会講演論文集, 2014年03月04日

  
• Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

  Shin-Ichi Minato; Shigeru Yamashita

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014年

  
• Verifying Distribution Networks for Secure Restoration by Enumerating All Critical Failures

  Takeru Inoue; Norihito Yasuda; Shunsuke Kawano; Yuji Takenobu; Shin-ichi Minato; Yasuhiro Hayashi

  TCS Technical Reports, Division of Computer Science, Hokkaido University, 2014年01月

  
• ULIBCライブラリを用いた共有メモリ型並列アルゴリズムの高速化

  安井 雄一郎; 藤澤 克樹; 竹内 聖悟; 湊 真一

  ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集, 2013年12月31日

  
• 巨大で疎な組合せ集合を表現するための三分索引化ZDD

  青木 洋士; 戸田 貴久; 湊 真一

  電子情報通信学会技術研究報告. COMP, コンピュテーション, 2013年10月11日

  
• 1-D-4 ZDDを用いた都市の避難所割り当ての列挙(災害対策)

  瀧澤 重志; 武知 祥史; 大田 章雄; 中野 浩太郎; 加藤 直樹; 井上 武; 堀山 貴史; 川原 純; 湊 真一

  日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013年09月11日

  
• Graphillion: Software Library Designed for Very Large Sets of Graphs in Python

  Takeru Inoue; Hiroaki Iwashita; Jun Kawahara; Shin-ichi Minato

  TCS Technical Reports, Division of Computer Science, Hokkaido University, 2013年06月

  
• 写像枝を用いた系列二分決定グラフの効率化

  青木 洋士; 湊 真一; 山下 茂

  研究報告アルゴリズム（AL）, 2013年05月10日

  
• ゼロサプレス型二分決定グラフに基くコンパクトかつ高速な索引構造(一般)

  伝住 周平; 川原 純; 津田 宏治; 有村 博紀; 湊 真一; 定兼 邦彦

  電子情報通信学会技術研究報告. COMP, コンピュテーション, 2013年03月11日

  
• 「今どきの若者」にとっての学会とは

  湊 真一

  コンピュータソフトウェア, 2013年01月25日

  
• 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法

  岩下 洋哲; 川原 純; 湊 真一

  電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング : IEICE technical report, 2012年11月19日

  
• ERATO湊離散構造処理系プロジェクトの概要と今後の展望について(ブロードバンドアクセス,ホームネットワーク,ネットワークサービス,通信利用アプリケーション,一般)

  湊 真一

  電子情報通信学会技術研究報告. CS, 通信方式, 2012年11月14日

  
• 特集にあたって

  湊 真一

  オペレーションズ・リサーチ : 経営の科学 = [O]perations research as a management science [r]esearch, 2012年11月01日

  
• 最先端の開拓者たち 湊真一氏 北海道大学大学院 情報科学研究科 教授 世界的権威が認めた超高速アルゴリズム 電力危機に挑む

  湊 真一

  日経コンピュータ, 2012年09月27日, 招待有り

  
• Loss Minimization of Power Distribution Networks with Guaranteed Error Bound

  Takeru Inoue; Keiji Takano; Takayuki Watanabe; Jun Kawahara; Ryo Yoshinaka; Akihiro Kishimoto; Koji Tsuda; Shin-ichi Minato; Yasuhiro Hayashi

  TCS Technical Reports, Division of Computer Science, Hokkaido University, 2012年08月

  
• フロンティア法を用いた電力網解析手法

  井上 武; 高野 圭司; 渡辺 喬之; 川原 純; 吉仲 亮; 岸本 章宏; 津田 宏治; 湊 真一; 林 泰弘

  電子情報通信学会技術研究報告. IN, 情報ネットワーク, 2012年07月12日

  
• フロンティア法 : BDD/ZDDを用いた高速なグラフ列挙索引化の技法(新世代・次世代ネットワーク,ネットワークとシステムの仮想化,仮想化環境の管理・監視,オーバーレイ,IPv6ネットワーク,フォトニックネットワーク及び一般)

  湊 真一

  電子情報通信学会技術研究報告. IN, 情報ネットワーク, 2012年07月12日

  
• フロンティア法を用いた電力網解析手法(新世代・次世代ネットワーク,ネットワークとシステムの仮想化,仮想化環境の管理・監視,オーバーレイ,IPv6ネットワーク,フォトニックネットワーク及び一般)

  井上 武; 高野 圭司; 渡辺 喬之; 川原 純; 吉仲 亮; 岸本 章宏; 津田 宏治; 湊 真一; 林 泰弘

  電子情報通信学会技術研究報告. IN, 情報ネットワーク, 2012年07月12日

  
• 組合せ問題の解を列挙索引化するZDD構築アルゴリズムの汎用化

  川原 純; 湊 真一

  電子情報通信学会技術研究報告. COMP, コンピュテーション, 2012年06月14日

  
• 系列二分決定グラフを操作するための豊富な演算体系の構築

  伝住 周平; 有村 博紀; 湊 真一

  電子情報通信学会技術研究報告. COMP, コンピュテーション, 2012年06月14日

  
• 配電網の最適経路を探索し、配電ロスを最小化へ 「超高速アルゴリズム」にできること

  湊 真一

  科学技術振興機構 広報誌 JST NEWS, 2012年05月, 招待有り

  
• 写像枝を用いた系列二分決定グラフ (Theoretical Foundations of Computing)

  青木 洋士; 山下 茂; 湊 真一

  電子情報通信学会技術研究報告 : 信学技報, 2012年04月27日

  
• 写像枝を用いた系列二分決定グラフ

  青木 洋士; 山下 茂; 湊 真一

  電子情報通信学会技術研究報告. COMP, コンピュテーション, 2012年04月20日

  
• DK-2-1 フロンティア法 : ZDDを用いた極めて高速なグラフ列挙索引化アルゴリズム(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)

  湊 真一

  電子情報通信学会総合大会講演論文集, 2012年03月06日

  
• DK-2-2 フロンティア法の種々のリンクパズル問題への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)

  吉仲 亮; 岩下 洋哲; 川原 純; 斎藤 寿樹; 鶴間 浩二; 湊 真一

  電子情報通信学会総合大会講演論文集, 2012年03月06日

  
• DK-2-3 フロンティア法の電力網構成制御への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)

  井上 武; 高野 圭司; 渡辺 喬之; 川原 純; 吉仲 亮; 岸本 章宏; 津田 宏治; 湊 真一; 林 泰弘

  電子情報通信学会総合大会講演論文集, 2012年03月06日

  
• ZDDを用いた系統運用制約を満たす配電網構成の網羅的探索手法

  井上武; 高野圭司; 渡辺喬之; 川原純; 吉仲亮; 岸本章宏; 津田宏治; 湊真一; 林泰弘

  電気学会 全国大会, 2012年03月

  
• フロンティア法の電力網構成制御への応用

  井上武; 高野圭司; 渡辺喬之; 川原純; 吉仲亮; 岸本章宏; 津田宏治; 湊真一; 林泰弘

  電子情報通信学会 総合大会, 2012年03月

  
• ZDDを用いた行列圧縮における演算高速化 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (自然言語処理・情報検索)

  西野 正彬; 安田 宜仁; 湊 真一

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

  
• ユーザレビューに基づく多目的情報評価方法の提案 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (Webインテリジェンス)

  鮑 若愚; 白井 康之; 湊 真一

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

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

  湊真一; 有村博紀

  電子情報通信学会 情報・システムソサイエティ誌, 2010年11月, 招待有り

  
• 非巡回正規表現に対する効率的なパターン照合 (アルゴリズム(AL) Vol.2010-AL-130)

  金田 悠作; 湊 真一; 有村 博紀

  情報処理学会研究報告, 2010年06月

  
• 効率良い正規表現照合のための並列ビット分配にもとづいたハードウェア指向アルゴリズム(アプリケーション2,FPGA応用及び一般)

  金田 悠作; 吉澤 真吾; 湊 真一; 有村 博紀; 宮永 喜一

  電子情報通信学会技術研究報告. RECONF, リコンフィギャラブルシステム, 2010年01月19日

  
• ＢＤＤ上の命題化計算に基づくＥＭアルゴリズム

  石畠 正和; 亀谷 由隆; 佐藤 泰介; 湊 真一

  人工知能学会論文誌, 2010年

  
• JST戦略的創造研究推進事業EARTOプロジェクトの採択について

  湊 真一

  北海道大学大学院情報科学研究科広報誌 IST NEWS, 2010年01月, 招待有り

  
• D. E. Knuthの名著「The Art of Computer Programming」に、研究成果「ZDD」が掲載されたことについて

  湊 真一

  北海道大学大学院情報科学研究科広報誌 IST NEWS, 2009年07月, 招待有り

  
• F-050 ベイジアンネットワークを表現するゼロサプレス型BDDの変数順序付けに関する実験と考察(人工知能・ゲーム,一般論文)

  礒松 紘平; 湊 真一

  情報科学技術フォーラム講演論文集, 2008年08月20日

  
• BDD上の命題化確率計算に基づくEMアルゴリズム

  石畠正和; 亀谷由隆; 佐藤泰介; 湊真一

  人工知能学会人工知能基本問題研究会資料, 2008年06月30日

  
• ゼロサプレス型二分決定グラフによる圧縮と知識発見(テーマ,膨大なデータから学ぶもの)

  倉井 龍太郎; 湊 真一; ツォイクマン トーマス

  電子情報通信学会技術研究報告. PRMU, パターン認識・メディア理解, 2008年06月12日

  
• Framework of Programmable Multicast Applications Using Flexcast and Java Applet

  Shin-ichi Minato; Hirokazu Takahashi; Takeru Inoue; Hiroshi Tohjo; Kan Toyoshima

  TCS Technical Reports, Division of Computer Science, Hokkaido University, 2006年01月

  
• MulticastVNCを用いた構義ノート配信システムのトラヒック特性評価

  高橋宏和; 湊真一; 井上武; 東条弘; 豊島鑑

  電子情報通信学会 総合大会, 2005年03月

  
• Global Multi-Point Streaming Experiments Based on Flexcast Protocol

  Seiichiro Tani; Takeru Inoue; Shin-ichi Minato; Hirokazu Takahashi; Satoshi Kotabe; Toshiaki Miyazaki

  NTT Technical Review, 2003年08月

  
• 自律広域マルチキャスト方式 Flexcast におけるソケットAPI の設計と実装

  井上武; 谷誠一郎; 湊真一; 宮崎敏明

  情報処理学会 全国大会, 2003年03月

  
• BDDの規模によらず一定の実記憶の範囲内で動作するストリーム形式BDD処理アルゴリズム

  湊 真一; 石原 晋也

  情報処理学会研究報告. SLDM, [システムLSI設計技術], 2001年09月27日

  
• スタンフォード大学De Micheli研究室に留学して(海外,ラボラトリーズ)

  湊 真一

  応用数理, 1997年12月15日

  
• 算術論理式システムBEM‐IIを使ってパズルを解こう

  奥乃博; 湊真一

  BIT (Tokyo), 1997年04月

  
• 算術論理式システムBEM-2を使ってパズルを解こう

  奥乃 博; 湊 真一

  Bit, 1997年04月

  
• 座長集約 核医学(29〜34)(北海道部会)

  湊 真一

  日本放射線技術学会雑誌, 1996年

  
• 二分決定グラフからの非冗長積和論理の高速生成手法

  湊真一

  情報処理学会研究報告システムLSI設計技術（SLDM）, 1991年12月12日

  
• 論理関数の共有二分決定グラフによる表現とその効率的処理手法

  湊 真一; 石浦 菜岐佐; 矢島 脩三

  情報処理学会研究報告システムLSI設計技術（SLDM）, 1989年12月14日

  
• ZDDの区間メモ化探索技法によるコスト制約組合せ問題の高速な解列挙

  湊真一; 番原睦則; 堀山貴史; 川原純; 瀧川一学; 山口勇太郎

  情報処理学会アルゴリズム研究会, 情処研報, 2022年03月, 筆頭著者, 責任著者

  
• 解集合プログラミングを用いた配電網問題の解法

  山田健太郎; 湊真一; 田村直之; 番原睦則

  日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022), 2022年03月

  
• DAGに対する幅とアルゴリズムに関する一考察

  森, 順平; 川原, 純; 湊, 真一; 笠原, 正治

  第84回全国大会講演論文集, 2022年03月

  
• ZDD の反復的トップダウン構築による選挙区割問題に対する厳密解列挙高速化

  山崎, 宏紀; 川原, 純; 湊, 真一

  第84回全国大会講演論文集, 2022年03月, 最終著者

  
• A ZDD-Based Algorithm for Solving Minimum Weighted Vertex Cover Problems and Its Evaluation

  劉, 祥; 湊, 真一

  第84回全国大会講演論文集, 2022年03月, 最終著者

  
• レプ・タイルの定式化を用いた各種ソルバの性能比較

  番原 睦則; 橋本 健二; 堀山 貴史; 湊 真一; 中村 駆; 西野 正彬; 酒井 正彦; 上原 隆平; 宇野 裕之; 安田 宜仁

  人工知能学会研究会資料 人工知能基本問題研究会, 2022年01月20日

  
• Sorting Balls and Water: Equivalence and Computational Complexity.

  Takehiro Ito; Jun Kawahara; Shin-ichi Minato; Yota Otachi; Toshiki Saitoh; Akira Suzuki; Ryuhei Uehara; Takeaki Uno; Katsuhisa Yamanaka; Ryo Yoshinaka

  CoRR, 2022年02月

  
• Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions.

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

  CoRR, 2022年01月

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

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

  CoRR, 2021年10月

  
• 解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察

  山田悠也; 湊真一; 番原睦則

  日本ソフトウェア科学会大会講演論文集(Web), 2021年09月

  
• BDDに基づく光論理回路における双対端子を利用した面積と電力の削減手法

  松尾, 亮祐; 湊, 真一

  DAシンポジウム2021論文集, 2021年08月25日

  
• 学術変革領域(A)「社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化」の概要と今後の研究活動について

  湊真一

  電子情報通信学会技術研究報告(Web), 2021年05月

  
• 特集「若手研究者」の編集にあたって

  湊 真一

  情報処理学会論文誌, 2021年03月15日

  
• 大規模文字列集合データを表現するSequence BDDの高速な構築手法とその評価

  杉野 創; 川原 純; 湊 真一

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

  
• パストランジスタ回路の網羅的列挙による素子数最小回路の探索

  清水亮太; 湊真一

  情報処理学会SLDM研究会 DAシンポジウム2020予稿集, 2020年09月, 最終著者

  
• 任意の可逆論理関数を実現可能な部分回路を持つ最小のトフォリゲート回路の構成

  加藤剛; 湊真一

  情報処理学会SLDM研究会 DAシンポジウム2020予稿集, 2020年09月, 最終著者

  
• 非冗長積和形生成とその因数分解による論理関数の simple disjunctive decomposition の抽出

  湊真一

  DAシンポジウム '98, July, 1998年

  
• Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems

  MINATO S. -I.

  Proc. 30th ACM/IEEE Design Automation Conference, 1993年

  
• Binary Decision Diagrams and Applications for VLSI CAD

  MINATO S. -I.

  Reliability, 1992年

  
• 共有二分決定グラフの「幅」に着目した変数の順序づけ手法

  湊真一

  第42回情報処理学会全国大会, 1991年

  
• 二分決定グラフからの非冗長積和形の高速生成法

  湊真一

  電子情報通信学会技術報告, 1991年

  

講演・口頭発表等

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

  湊 真一

  京都大学-稲盛財団合同 京都賞シンポジウム, 2026年02月15日, 招待有り

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

  湊 真一

  人工知能学会人工知能基本問題研究会, 2025年12月01日, 招待有り

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

  湊 真一

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

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

  湊 真一

  情報オリンピック日本委員会 春季セミナー全体講演会, 2024年03月23日, 招待有り

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

  湊 真一

  日本学術会議 公開シンポジウム「生成AIの課題と今後」, 2023年09月14日, 招待有り

  
• 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, 2023年09月07日, 招待有り

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

  湊 真一

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

  
• Recent Research Activities on Algorithmic Foundations for Social Advancement

  Shin-ichi Minato

  18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), 2024年03月, 招待有り

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

  湊 真一

  人工知能学会研究会資料 人工知能基本問題研究会, 2022年11月10日, 一般社団法人 人工知能学会, 招待有り

  
• 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), 2022年08月05日, 招待有り

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

  湊 真一

  日本科学振興協会第1 回総会・キックオフミーティング, 2022年06月18日

  
• 学変(A) アルゴリズム基盤（AFSA）プロジェクトの概要と最近の活動状況について

  湊 真一

  情報処理学会第84回全国大会 企画シンポジウム「革新的アルゴリズム基盤の構築に向けて」, 2022年03月03日, 招待有り

  
• 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), 2022年11月23日

  
• Decision Diagrams and Reversible Computation

  Shin-ichi Minato

  13th International Conference on Reversible Computation (RC2021), 2021年07月08日, 招待有り

  
• 学術変革領域(A)「社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化」の概要と今後の研究活動について

  湊真一

  電子情報通信学会技術研究報告(Web), 2021年05月

  
• Recent Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation

  Shin-ichi Minato

  International Workshop on Logic and Synthesis, 2020年07月29日, 招待有り

  
• Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling

  Shin-ichi Minato

  KOCOON Workshop, 2019年12月18日

  
• 離散構造処理系プロジェクト：10年の研究経過と今後の展開

  湊 真一

  情報処理学会第81回全国大会, 2019年03月15日, 情報処理学会

  
• Algorithmic Techniques for Discrete Structure Manipulation and Application to Chemical Reaction Network Analysis

  Shin-ichi Minato

  1st ICReDD International Symposium, Institute for Chemical Reaction Design and Discovery, Hokkaido University, 2019年03月13日, Institute for Chemical Reaction Design and Discovery, Hokkaido University, 招待有り

  
• グラフ・列挙・確率に関わる離散構造処理アルゴリズムの最近の研究トピックについて

  湊 真一

  人工知能学会 人工知能基本問題研究会 合同研究会企画シンポジウム, 2018年11月23日, 人工知能学会 人工知能基本問題研究会

  
• Decision Diagram-Based Techniquesfor Enumeration Problems and Applications

  Shin-ichi Minato

  2nd International Workshop on Enumeration Problems & Applications (WEPA 2018), 2018年11月08日, WEPA Organizing Committee, 招待有り

  
• 離散構造処理系：その概要と最近の研究状況について

  湊 真一

  第21回情報論的学習理論ワークショップ (IBIS 2018), 2018年11月05日, 電子情報通信学会 IBIS-ML研究会, 招待有り

  
• 離散構造処理系プロジェクトの近況について

  湊 真一

  電子情報通信学会コンピュテーション研究会, 2018年10月26日, 招待有り

  
• 離散構造処理系の技法と組合せ列挙・最適化

  湊 真一

  進化計算シンポジウム 2017, 2017年12月09日, 進化計算学会, 招待有り

  
• “BDD/ZDD-based enumeration techniques and real-life applications

  Shin-ichi Minato

  EPFL Workshop on Logic Synthesis and Emerging Technologies, 2017年09月29日, EPFL, 招待有り

  
• Power of Enumeration ― BDD/ZDD-Based Techniques for Solving Combinatorial Problems

  Shin-ichi Minato

  The 10th Annual Symposium on Combinatorial Search (SoCS2017), 2017年06月17日, SoCS Organizing Committee, 招待有り

  
• 「フカシギの数え方」― 組合せ爆発に立ち向かう最先端アルゴリズム 技術

  湊 真一

  国立情報学研究所オープンハウス2013基調講演, 2013年06月14日, 国立情報学研究所, 招待有り

  
• フカシギの不思議

  湊 真一

  日本科学未来館 第11期メディアラボ トークイベ ント, 2013年01月19日, 日本科学未来館, 招待有り

  

書籍等出版物

• 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, 共編者(共編著者)

  Springer, 2025年03月

  京大の蔵書を調べる：

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

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

  青弓社, 2024年05月

  京大の蔵書を調べる：

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

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

  ニュートンプレス, 2022年05月

  京大の蔵書を調べる：

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

  湊真一, 監修

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

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

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

  ムイスリ出版, 2020年, 査読無し

  京大の蔵書を調べる：

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

  湊 真一, 監修

  基盤(S)離散構造処理系プロジェクト, 2019年09月

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

  湊 真一

  基盤(S)離散構造処理系プロジェクト,, 2018年07月, 査読無し

  
• 人工知能学大事典, 人工知能学会編

  湊 真一, 分担執筆, BDD とZDD, 6章-36節, pp. 344-34

  共立出版, 2017年07月, 査読無し

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

  湊 真一, 監修

  基盤(S)離散構造処理系プロジェクト,, 2017年06月, 査読無し

  
• 2015年度 JST ERATO湊離散構造処理系プロジェクト / JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録

  湊 真一, 監修

  基盤(S)離散構造処理系プロジェクト,, 2016年06月, 査読無し

  
• 確率的グラフィカルモデル

  鈴木, 譲; 植野, 真臣; 黒木, 学(工学); 清水, 昌平; 湊, 真一; 石畠, 正和; 樺島, 祥介; 田中, 和之; 本村, 陽一; 玉田, 嘉紀, 分担執筆, 離散構造処理の技法と確率モデル, 第5章, pp. 125-144

  共立出版, 2016年, 査読無し

  京大の蔵書を調べる：

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

  湊 真一, 監修

  ERATO湊離散構造処理系プロジェクト, 2015年06月, 査読無し

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

  ERATO 湊離散構造処理系プロジェクト; 湊真一, 編者(編著者)

  森北出版, 2015年04月08日, 査読無し

  京大の蔵書を調べる：

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

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

  森北出版, 2015年

  京大の蔵書を調べる：

  
• Applications of Zero-Suppressed Decision Diagrams (Synthesis Lectures on Digital Circuits and Systems)

  T. Sasao; J. Butler; ditor, 分担執筆, The Power of Enumeration - BDD/ZDD-Based Algorithms for Tackling Combinatorial Explosion, chapter 3, pp. 49-62

  Morgan & Claypool Publishers, 2014年11月, 査読無し

  
• Encyclopedia of Algorithms

  Ming-Yang Kao, 分担執筆, Counting by ZDD

  2014年09月, 査読無し

  
• Reversible Computation," 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

  Shigeru Yamashita; Shin-ichi Minato, 共編者(共編著者)

  Springer, 2014年07月, 査読無し

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

  湊 真一, 監修

  ERATO湊離散構造処理系プロジェクト, 2014年07月, 査読無し

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

  湊 真一, 監修

  ERATO湊離散構造処理系プロジェクト, 2013年07月, 査読無し

  
• 基礎から学ぶ情報理論

  中村, 篤祥; 喜田, 拓也; 湊, 真一

  ムイスリ出版, 2013年

  京大の蔵書を調べる：

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

  湊 真一, 監修

  ERATO湊離散構造処理系プロジェクト, 2012年07月, 査読無し

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

  湊 真一, 監修

  ERATO湊離散構造処理系プロジェクト, 2011年06月, 査読無し

  
• 電子情報通信学会「知識ベース」

  湊 真一, 分担執筆, 論理代数と論理関数

  電子情報通信学会, 2011年03月, 査読無し

  
• Interdisciplinary advances in adaptive and Intelligent assistant Systems: concepts, techniques, applications, and Use

  Shin-ichi Minato; Nicolas Spyratos, 分担執筆, BDD-Based Combinatorial Keyword Query Processing

  IGI Global, 2011年01月, 査読無し

  
• Progress in Representation of Discrete Functions (Synthesis Lectures on Digital Circuits and Systems)

  Shin-ichi Minato, 分担執筆, Data Mining Using Binary Decision Diagrams

  Morgan & Claypool Publishers, 2010年05月, 査読無し

  
• 英語で学ぶ計算理論

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

  コロナ社, 2009年03月, 査読無し

  京大の蔵書を調べる：

  
• New frontiers in applied data minig : PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008 : revised selected papers

  Pacific-Asia Conference on Knowledge Discovery and Data Mining; Chawla, Sanjay; Washio, Takashi; 湊, 真一; 津本, 周作; Onoda, Takashi; Yamada, Seiji; Inokuchi, Akihiro, 共編者(共編著者)

  Springer, 2009年02月, 査読無し

  京大の蔵書を調べる：

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

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

  コロナ社, 2009年

  京大の蔵書を調べる：

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

  湊, 真一

  [北海道大学大学院情報科学研究科], 2008年

  
• The VLSI Handbook

  Shin-ichi Minato; Saburo Muroga, 分担執筆, Binary Decision Diagrams

  CRC/IEEE Press, 1999年12月, 査読無し

  
• Binary Decision Diagrams and Applications for VLSI CAD

  Shin-ichi Minato, 単著

  Kluwer Academic Publishers, 1996年11月, 査読無し

  
• Representation of Discrete Functions

  Shin-ichi Minato, 分担執筆, Graph-Based Representations of Discrete Functions

  Kluwer Academic Publishers, 1996年05月, 査読無し

  
• Binary decision diagrams and applications for VLSI CAD

  湊, 真一

  Kluwer Academic, 1996年

  京大の蔵書を調べる：

  

Works（作品等）

• YouTube アニメーション動画（監修） 「フカシギの数え方 おねえさんといっしょ！ みんなで数えてみよう！」

  湊 真一

  自 2012年08月, 至 現在

  
• Graphillion

  JST ERATO湊離散構造処理系プロジェクト

  自 2012年, 至 現在

  
• 北海道大学総合博物館 企画展示 「フカシギの数え方」

  湊 真一

  自 2013年07月, 至 2014年04月

  
• 日本科学未来館 研究成果展示 「フカシギの数え方」

  湊 真一

  自 2012年08月, 至 2013年04月

  
• Knuth; The Art of Computer Programming への研究成果の掲載、および同書の校訂作業への協力

  自 2008年

  
• VSOP: 「重み付き積和集合」計算プログラム

  自 2005年

  

受賞

• 2026年06月15日

  情報処理学会功績賞
• 2024年06月05日

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

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

  湊 真一
• 2022年04月20日

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

  日本計算機統計学会, 論文賞
• 2021年05月11日

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

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

• アルゴリズム、組合せ最適化、離散数学の次世代の国際共同研究

  国際共同研究加速基金(国際先導研究)

  理工系

  国立情報学研究所

  河原林 健一

  自 2025年12月25日, 至 2032年03月31日, 交付

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

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25K24465/
• 大規模離散構造の理解と革新的アルゴリズム基盤の創出

  学術変革領域研究(A)

  学術変革領域研究区分(Ⅳ)

  北海道大学

  堀山 貴史

  自 2020年11月19日, 至 2025年03月31日, 完了

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

  https://kaken.nii.ac.jp/grant/KAKENHI-PLANNED-20H05964/
• 研究領域「革新的アルゴリズム基盤」の組織運営と研究推進

  学術変革領域研究(A)

  学術変革領域研究区分(Ⅳ)

  京都大学

  湊 真一

  自 2020年11月19日, 至 2025年03月31日, 完了

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

  https://kaken.nii.ac.jp/grant/KAKENHI-ORGANIZER-20H05961/
• 離散構造処理系に基づく列挙と最適化の統合的技法の研究

  基盤研究(A)

  中区分61:人間情報学およびその関連分野

  京都大学

  湊 真一

  自 2020年04月01日, 至 2025年03月31日, 完了

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

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20H00605/
• 社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化

  学術変革領域研究(A)

  自 2020年11月19日, 至 2025年03月31日

  https://kaken.nii.ac.jp/grant/KAKENHI-AREA-20A402/
• 実世界知識基盤形成のための次世代半構造マイニング技術の研究

  基盤研究(A)

  北海道大学

  有村 博紀

  自 2016年04月01日, 至 2020年03月31日, 完了

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

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16H01743/
• 離散構造処理系の基盤アルゴリズムの研究

  基盤研究(S)

  京都大学;北海道大学

  湊 真一

  自 2015年05月29日, 至 2020年03月31日, 完了

  離散構造;アルゴリズム;論理関数;組合せ集合;大規模データ処理;グラフ理論;最適化;列挙;離散構造処理系;二分決定グラフ;列挙アルゴリズム;ZDD;データ構造;演算処理系;索引化;BDD;グラフアルゴリズム;網羅的解析

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15H05711/
• 建築・都市分野における離散数理基盤の構築と大規模最適化への展開

  基盤研究(A)

  関西学院大学;京都大学

  加藤 直樹

  自 2013年04月01日, 至 2017年03月31日, 完了

  最速フロー;組合せ剛性理論;大域剛性;避難計画;ブレース追加問題;普遍的最速フロー;冗長剛性;最速フロー問題;多面体平坦折り畳み;動的フロー;避難所配置問題;帰宅シミュレーション;最速避難計画;最適避難所配置;動的ネットワークフロー;最速避難計画問題;トラス・トポロジー最適化;3次元一般剛性

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25240004/
• 極限的に簡潔なＢＤＤデータ構造の研究

  挑戦的萌芽研究

  北海道大学

  湊 真一

  自 2012年04月01日, 至 2015年03月31日, 完了

  BDD;ZDD;簡潔データ構造;離散構造;論理関数;組合せ集合

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24650062/
• 大規模知識基盤形成のための次世代半構造マイニング技術の展開

  基盤研究(A)

  北海道大学

  有村 博紀

  自 2012年04月01日, 至 2016年03月31日, 完了

  大規模半構造データ;データマイニング;高次元データ検索;イベントストリーム処理;知識索引;知識発見;ビッグデータ;非構造データ;大規模知識索引;高次元非構造データ検索;半構造マイニング;トラジェクトリ照合;群パターンマイニング;ZDD;半構造マイニングエンジン;部分超グラフ列挙;半構造データ;ストリーム処理;超低メモリアルゴリズム;イベント照合

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24240021/
• 多面的アプローチの統合による計算限界の解明

  新学術領域研究(研究領域提案型)

  理工系

  東京工業大学

  渡辺 治

  自 2012年06月28日, 至 2017年03月31日, 完了

  計算限界解明;研究連携促進;研究拠点形成;若手研究者の育成;成果の総括;成果の波及;計算複雑さの理論;アルゴリズム理論;計算量上下界解析;成果の総括と公表;計算限界解明手法の開拓;多視点からの連携研究;国際研究者交流;各種啓発・研究成果波及;若手研究者育成;多視点からの統合的解析;計算限界研究センター;計算理論若手研究者育成;ELC 秋学校;ELC Seminar;ELC Workshop

  https://kaken.nii.ac.jp/grant/KAKENHI-ORGANIZER-24106001/
• コンパクトな論理記述に基づく協力ゲーム理論の再構築

  基盤研究(C)

  九州大学

  櫻井 祐子

  自 2011年04月28日, 至 2015年03月31日, 完了

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

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

  特定領域研究

  理工系

  北海道大学

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

  自 2009年04月01日, 至 2011年03月31日, 完了

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

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

  挑戦的萌芽研究

  北海道大学

  湊 真一

  自 2008年04月01日, 至 2011年03月31日, 完了

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

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20650017/
• 超大規模な単一実メモリ空間を活用するデータベース解析処理アルゴリズムの研究

  基盤研究(B)

  北海道大学

  湊 真一

  自 2008年04月01日, 至 2012年03月31日, 完了

  知識発見とデータマイニング;二分決定グラフ;BDD;ZDD;データマイニング;データベース解析

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20300051/
• 大規模知識基盤形成のための次世代半構造マイニング技術の研究

  基盤研究(A)

  北海道大学

  有村 博紀

  自 2008年04月01日, 至 2012年03月31日, 完了

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

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20240014/
• インフルエンザウイルスの抗原変異予測のためのパターン発見手法に関する研究

  基盤研究(B)

  北海道大学

  伊藤 公人

  自 2007年04月01日, 至 2010年03月31日, 完了

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

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

  特定領域研究

  理工系

  北海道大学

  トーマス ツォイクマン

  自 2007年04月01日, 至 2009年03月31日, 完了

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

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

  特定領域研究

  理工系

  北海道大学

  トーマス ツォイクマン

  自 2006年04月01日, 至 2007年03月31日, 完了

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

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18049001/
• 二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究

  基盤研究(B)

  北海道大学

  湊 真一

  自 2005年04月01日, 至 2008年03月31日, 完了

  二分決定グラフ;BDD;ZBDD;データマイニング;データベース解析;基盤ソフトウェア, Binary Decision Diagram;BDD;ZBDD;Data Mining;Database Analysis;Basic Software

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17300041/
• 知識基盤形成のための大規模半構造データからの超高速パターン発見

  特別推進研究

  理工系

  北海道大学

  有村 博紀

  自 2005年04月01日, 至 2008年03月31日, 完了

  知識基盤形成;半構造データ;データマイニング;パターン発見;知識集約型技術;知識索引;情報抽出;系列と木マイニング;知識索引構造;極太パターン発見;グラフマイニング, knowledge infrastructure formation;semi-structured data;data mining;optimized pattern discovery;knowledge society;knowledge indexing;information extraction;sequence and tree mining

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

  特定領域研究

  理工系

  電気通信大学

  武永 康彦

  自 2004年04月01日, 至 2008年03月31日, 完了

  論理関数;アルゴリズム;二分決定グラフ;シンボリックアルゴリズム;パラメータ化計算量;グラフアルゴリズム;Tree-shellable論理関数;二分モーメントグラフ;Tree-Shellable論理関数;区間グラフ

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

  特定領域研究

  理工系

  北海道大学

  トーマス ツォイクマン;有村 博紀

  自 2004年04月01日, 至 2006年03月31日, 完了

  半構造データ;ウェブマイニング;XMLデータ;グラフマイニング;パターン照合;系列パターン;機械学習;文法圧縮

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16016266/
• 情報と数学の協働による特異点自動分類および認識と応用

  基盤研究(C)

  小区分11020:幾何学関連

  関西大学

  寺本 央

  自 2023年04月01日, 至 2027年03月31日, 交付

  混合加群;多目的最適化;実行可能集合;局所コホモロジー;包括的混合的標準基底;特異点論;実限量化子消去;BDD;計算代数

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23K03123/
• 理論的に計算不能・計算困難なクラスの可解領域の研究

  基盤研究(A)

  中区分60:情報科学、情報工学およびその関連分野

  北陸先端科学技術大学院大学

  上原 隆平

  自 2024年04月01日, 至 2029年03月31日, 交付

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

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24H00690/
• 離散構造処理に基づく列挙・最適化・制約充足の統合的技法とその応用

  基盤研究(A)

  中区分60:情報科学、情報工学およびその関連分野

  京都大学

  湊 真一

  自 2025年04月01日, 至 2030年03月31日, 交付

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

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25H01114/
• 社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化

  学術変革領域研究(A)

  自 2020年11月19日, 至 2025年03月31日

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

外部資金：その他

• 学習/数理モデルに基づく時空間展開型アーキテクチャの創出と応用

  JST CREST

  自 2018年10月01日, 至 2023年03月31日

  本村 真人
• 湊離散構造処理系プロジェクト

  JST ERATO

  自 2009年10月01日, 至 2016年03月31日

  湊　真一

教育

担当科目

• 自 2026年04月01日, 至 2027年03月31日

  アルゴリズム論

  9055, 後期, 工学部, 2
• 自 2026年04月01日, 至 2027年03月31日

  論理システム

  9070, 前期, 工学部, 2
• 自 2026年04月01日, 至 2027年03月31日

  離散アルゴリズム理論

  3627, 前期, 情報学研究科, 2
• 自 2026年04月01日, 至 2027年03月31日

  計算量理論

  3614, 後期, 情報学研究科, 2
• 自 2026年04月01日, 至 2027年03月31日

  情報AI基礎［工学部］

  T073, 前期, 国際高等教育院, 2
• 自 2025年04月01日, 至 2026年03月31日

  計算機科学概論

  9113, 前期, 工学部, 2
• 自 2025年04月01日, 至 2026年03月31日

  論理システム

  9070, 前期, 工学部, 2
• 自 2025年04月01日, 至 2026年03月31日

  アルゴリズム論

  9055, 後期, 工学部, 2
• 自 2025年04月01日, 至 2026年03月31日

  離散アルゴリズム理論

  3627, 前期, 情報学研究科, 2
• 自 2025年04月01日, 至 2026年03月31日

  計算量理論

  3614, 後期, 情報学研究科, 2
• 自 2025年04月01日, 至 2026年03月31日

  計算機科学概論

  T024, 前期, 国際高等教育院, 2
• 自 2024年04月01日, 至 2025年03月31日

  論理システム

  9070, 前期, 工学部, 2
• 自 2024年04月01日, 至 2025年03月31日

  アルゴリズム論

  9055, 後期, 工学部, 2
• 自 2024年04月01日, 至 2025年03月31日

  計算機科学概論

  9113, 前期, 工学部, 2
• 自 2024年04月01日, 至 2025年03月31日

  離散アルゴリズム理論

  3627, 前期, 情報学研究科, 2
• 自 2024年04月01日, 至 2025年03月31日

  計算量理論

  3614, 後期, 情報学研究科, 2
• 自 2024年04月01日, 至 2025年03月31日

  計算機科学概論

  T024, 前期, 国際高等教育院, 2
• 自 2023年04月01日, 至 2024年03月31日

  アルゴリズム論

  9055, 後期, 工学部, 2
• 自 2023年04月01日, 至 2024年03月31日

  情報符号理論

  9129, 前期, 工学部, 2
• 自 2023年04月01日, 至 2024年03月31日

  離散アルゴリズム理論

  3627, 前期, 情報学研究科, 2
• 自 2023年04月01日, 至 2024年03月31日

  計算量理論

  3614, 後期, 情報学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  情報符号理論

  9129, 前期, 工学部, 2
• 自 2022年04月01日, 至 2023年03月31日

  アルゴリズム論

  9055, 後期, 工学部, 2
• 自 2022年04月01日, 至 2023年03月31日

  離散アルゴリズム理論

  3627, 前期, 情報学研究科, 2
• 自 2022年04月01日, 至 2023年03月31日

  計算量理論

  3614, 後期, 情報学研究科, 2
• 自 2018年04月, 至 2019年03月

  アルゴリズム論

  後期, 工学部
• 自 2018年04月, 至 2019年03月

  離散アルゴリズム理論

  前期, 情報学研究科
• 自 2019年04月, 至 2020年03月

  ILASセミナー

  前期, 全学共通科目
• 自 2019年04月, 至 2020年03月

  アルゴリズム論

  後期, 工学部
• 自 2019年04月, 至 2020年03月

  離散アルゴリズム理論

  前期, 情報学研究科
• 自 2020年04月, 至 2021年03月

  情報符号理論

  前期, 工学部
• 自 2020年04月, 至 2021年03月

  情報と職業

  前期, 工学部
• 自 2020年04月, 至 2021年03月

  特別研究１（計算機）

  前期集中, 工学部
• 自 2020年04月, 至 2021年03月

  特別研究１（計算機）

  後期集中, 工学部
• 自 2020年04月, 至 2021年03月

  特別研究２（計算機）

  前期集中, 工学部
• 自 2020年04月, 至 2021年03月

  特別研究２（計算機）

  後期集中, 工学部
• 自 2020年04月, 至 2021年03月

  アルゴリズム論

  後期, 工学部
• 自 2020年04月, 至 2021年03月

  離散アルゴリズム理論

  前期, 情報学研究科
• 自 2021年04月, 至 2022年03月

  Introduction to Algorithms-E2

  前期, 全学共通科目
• 自 2021年04月, 至 2022年03月

  工学序論

  前期集中, 工学部
• 自 2021年04月, 至 2022年03月

  情報符号理論

  前期, 工学部
• 自 2021年04月, 至 2022年03月

  計算量理論

  後期, 情報学研究科
• 自 2021年04月, 至 2022年03月

  アルゴリズム論

  後期, 工学部
• 自 2021年04月, 至 2022年03月

  離散アルゴリズム理論

  前期, 情報学研究科

博士学位審査

• Hardware-Aware Software Infrastructure for Reliable and Scalable Quantum Systems（高信頼かつスケーラブルな量子システムのためのハードウェア特性を踏まえたソフトウェア基盤）

  脇坂　遼, 情報学研究科, 副査

  2025年09月24日
• Service Deployment and Resource Allocation in Distributed Computing Networks（分散コンピューティングネットワークにおけるサービス配備とリソース割り当て）

  張　晨露, 情報学研究科, 副査

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

  藤井　慧, 人間・環境学研究科, 副査

  2025年03月24日
• Studies on Network Graph Analysis with Decision Diagram Structures（決定グラフ構造によるネットワーク解析の研究）

  中村　健吾, 情報学研究科, 主査

  2024年03月25日
• Studies on Synthesis Methods for Efficient Optical Logic Circuits（高性能な光論理回路の合成手法に関する研究）

  松尾　亮祐, 情報学研究科, 主査

  2023年03月23日
• Algorithms for Stable Matching Problems toward Real-World Applications （現実世界での応用に向けた安定マッチング問題のアルゴリズム）

  濱田　浩気, 情報学研究科, 副査

  2022年03月23日
• Robust Service Provisioning in Network Function Virtualization （ネットワーク機能仮想化における堅牢なサービスプロビジョニング）

  ZHANG YUNCAN, 情報学研究科, 副査

  2021年09月24日
• Studies on Implicit Graph Enumeration Using Decision Diagrams （決定グラフを用いた暗黙的グラフ列挙に関する研究）

  中畑　裕, 情報学研究科, 主査

  2021年09月24日
• Towards Practical Inner Product Functional Encryption （実用的な内積関数型暗号に向けて）

  富田　潤一, 情報学研究科, 副査

  2021年05月24日

大学運営

全学運営(役職等)

• 自 2026年04月01日, 至 2028年03月31日

  京都大学大学院教育支援機構ＳＰＲＩＮＧプログラム　情報・ＡＩ分野選考委員会 委員長
• 自 2026年04月01日, 至 2028年03月31日

  京都大学大学院教育支援機構次世代ＡＩプログラム実施委員会 委員
• 自 2023年04月01日, 至 2027年03月31日

  情報環境機構協議会　委員
• 自 2025年04月01日, 至 2027年03月31日

  教育研究評議会 評議員
• 自 2025年04月01日, 至 2026年03月31日

  京都大学大学院教育支援機構ＳＰＲＩＮＧプログラム　情報・ＡＩ分野選考委員会 委員長
• 自 2025年04月01日, 至 2027年03月31日

  京都大学情報環境整備委員会 委員
• 自 2025年04月01日, 至 2026年03月31日

  科学技術イノベーション創出フェローシップ事業実施委員会 委員
• 自 2024年04月01日, 至 2026年03月31日

  京都大学大学院教育支援機構次世代ＡＩプログラム実施委員会 委員
• 自 2025年04月01日, 至 2027年03月31日

  教育研究評議会評議員
• 自 2024年10月01日, 至 2026年09月30日

  情報環境機構　副機構長
• 自 2023年04月01日, 至 2024年09月30日

  情報環境機構副機構長
• 自 2023年04月01日, 至 2025年03月31日

  京都大学情報環境整備委員会 委員
• 自 2019年04月01日, 至 2020年03月31日

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

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