論文等リスト

(to English page)

著書

  1. Shin-ichi Minato: "Binary Decision Diagrams and Applications for VLSI CAD," Kluwer Academic Publishers, Nov. 1996.
  2. Thomas Zeugmann, 湊真一, 大久保 好章: "英語で学ぶ計算理論," コロナ社, Mar. 2009.
  3. 中村篤祥, 喜田拓也, 湊真一: "基礎から学ぶ 情報理論," ムイスリ出版, Mar. 2012.

著書(一部執筆)

  1. Shin-ichi Minato: "Graph-Based Representations of Discrete Functions," In T. Sasao, editor, "Representation of Discrete Functions," chapter 1, pp. 1-27, Kluwer Academic Publishers, May 1996.
  2. Shin-ichi Minato and Saburo Muroga: "Binary Decision Diagrams," In W.-K. Chen, editor, "The VLSI Handbook," chapter 26, pp. 26.1-14, CRC/IEEE Press, 2000.
  3. Shin-ichi Minato and Saburo Muroga: "Binary Decision Diagrams," In W.-K. Chen, editor, "The VLSI Handbook, Second Edition," chapter 29, pp. 29.1-14, CRC/IEEE Press, Dec. 2006.
  4. Shin-ichi Minato: "Data Mining  Using Binary Decision Diagrams," In T. Sasao and J. Butler, editor, "Progress in Representation of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems)," chapter 5, pp. 97-109, Morgan & Claypool Publishers, May 2010.
  5. 湊真一: "論理代数と論理関数," 知識ベース "知識の森" (http://www.ieice-hbkb.org/portal/), 1群-8編-1章, pp. 1-30, 電子情報通信学会, Mar. 2011.
  6. Shin-ichi Minato: "Counting by ZDD," In Ming-Yang Kao, editor, "Encyclopedia of Algorithms," http://dx.doi.org/10.1007/978-3-642-27848-8_734-1, pp. 1-6, Springer, Sep. 2014.
  7. Shin-ichi Minato: "The Power of Enumeration - BDD/ZDD-Based Algorithms for Tackling Combinatorial Explosion," In T. Sasao and J. Butler, editor, "Applications of Zero-Suppressed Decision Diagrams (Synthesis Lectures on Digital Circuits and Systems)," chapter 3, pp. 49-62, Morgan & Claypool Publishers, Nov. 2014.
  8. 湊真一: "「フカシギの数え方」と列挙アルゴリズム," 湊 真一(編), "超高速グラフ列挙アルゴリズム- 〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ-," ISBN: 978-4627852617, 森北出版, pp. 3-8, Apr. 2015.
  9. 戸田貴久, 斎藤寿樹, 湊真一: "準備 ― グラフに関する基礎知識," 湊 真一(編), "超高速グラフ列挙アルゴリズム- 〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ-," ISBN: 978-4627852617, 森北出版, pp. 9-17, Apr. 2015.
  10. 湊真一: "BDDとZDD ― 論理と集合に関する演算処理系の技法," 湊 真一(編), "超高速グラフ列挙アルゴリズム- 〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ-," ISBN: 978-4627852617, 森北出版, pp. 117-130, Apr. 2015.
  11. 湊真一: "さらに広がるBDD/ZDDの応用," 湊 真一(編), "超高速グラフ列挙アルゴリズム- 〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ-," ISBN: 978-4627852617, 森北出版, pp. 131-150, Apr. 2015.
  12. 湊真一: "離散構造処理の技法と確率モデル," 鈴木譲(編著), "確率的グラフィカルモデル," 第5章, pp. 125-144, 共立出版, Jul. 2016.
  13. 湊真一: "BDD とZDD," 人工知能学大事典, 人工知能学会編, 6章-36節, pp. 344-347, 共立出版, Jul. 2017.

編著

  1. B. Becker, C. Meinel, S. Minato and F. Somenzi: "Decision Diagrams - Concepts and Applications," Dagstuhl-Seminar-Report 229, Jan. 1999.
  2. S. Chawla, T. Washio, S. Minato, S. Tsumoto, T. Onoda, S. Yamada, A. Inokuchi, (Editors): "New Frontiers in Applied Data Mining," PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008, Revised Selected Papers, Lecture Notes in Artificial Intelligence, Vol. 5433, ISBN: 978-3-642-00398-1, Springer, Feb. 2009.
  3. 湊真一(監修): "2010年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録," ERATO湊離散構造処理系プロジェクト, pp. 1-525, ISSN 2186-1846, June 2011.
  4. 湊真一(監修): "2011年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録," ERATO湊離散構造処理系プロジェクト, pp. 1-666, ISSN 2186-1846, July 2012.
  5. 湊真一(監修): "2012年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録," ERATO湊離散構造処理系プロジェクト, pp. 1-614, ISSN 2186-1846, July 2013.
  6. 湊真一(監修): "2013年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録," ERATO湊離散構造処理系プロジェクト, pp. 1-721, ISSN 2186-1846, July. 2014.
  7. Shigeru Yamashita and Shin-ichi Minato (Editors): "Reversible Computation," 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings, Lecture Notes in Computer Science, Volume 8507, ISBN: 978-3-319-08493-0, Springer, July 2014.
  8. 湊真一(編), ERATO 湊離散構造処理系プロジェクト(著): "超高速グラフ列挙アルゴリズム-〈フカシギの 数え方〉が 拓く,組合せ問題への新アプローチ-," ISBN: 978-4627852617, 森北出版, Apr. 2015.
  9. 湊真一(監修): "2014年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録," ERATO湊離散構造処理系プロジェクト, pp. 1-750, ISSN 2186-1846, Jun. 2015.
  10. 湊真一(監修):  "2015年度 JST ERATO湊離散構造処理系プロジェクト / JSPS 科研費 基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録," 基盤(S)離散構造処理系プロジェクト, ISSN 2186-1846, June 2016.

学位論文

  1. S. Minato: "Binary Decision Diagrams and Their Applications for VLSI CAD," 京都大学工学研究科, Jan. 1995.

学術論文

  1. 湊 真一, 石浦 菜岐佐, 矢島 脩三: "論理関数の共有二分決定グラフによる表現とその効率的処理手法", 情報処理学会論文誌, Vol. 32, No. 1, pp. 77-85, Jan. 1991.
  2. S. Minato: "Minimum-Width Method of Variable Ordering for Binary Decision Diagrams", IEICE Trans. Fundamentals, Vol. E75-A, No. 3, pp. 392-399, March 1992.
  3. 湊 真一: "「わくわく」 -技術革新のキーワード -", 電子情報通信学会75周年記念論文(優秀賞), 電子情報通信学会誌, Vol. 75, No. 11, pp. 1146-1149, Nov. 1992.
  4. S. Minato: "Fast Generation of Prime-Irredundant Covers from Binary Decision Diagrams", IEICE Trans. Fundamentals, Vol. E76-A, No. 6, pp. 967-973, June 1993.
  5. S. Minato: "BEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs", IEICE Trans. Fundamentals, Vol. E76-A, No. 10, pp. 1721-1729, Oct. 1993.
  6. 奥乃 博, 湊 真一: "二分決定グラフによる制約充足問題の解法", 情報処理学会論文誌, Vol. 36, No. 8, pp. 1789-1799, Aug. 1995.
  7. S. Minato: "Fast Factorization Method for Implicit Cube Set Representation", IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, VOL. 15, No. 4, pp. 377-384, Apr. 1996.
  8. S. Minato: "Arithmetic Boolean Expression Manipulator Using BDDs", Formal Methods in System Design, No. 10, pp. 221-242, Kluwer Academic Publishers, Oct. 1997.
  9. D. Rotter, K. Hamaguchi, S. Minato and S. Yajima: "Manipulation of Large-Scale Polynomials Using BMDs", IEICE Trans. Fundamentals, Vol. E80-A, No.10, pp.1774-1781, Oct. 1997.
  10. S. Minato: "Zero-Suppressed BDDs and Their Applications", International Journal on Software Tools for Technology Transfer, Vol. 3, No. 2, pp. 156-170, Springer, May 2001.
  11. S. Minato: "Streaming BDD Manipulation", IEEE Trans. on Computers, Vol. 51, No. 5, pp. 474-485, May 2002.
  12. 谷 誠一郎, 宮崎 敏明, 高橋 紀之, 湊 真一: "Flexcast: 自己組織化多地点配信技術", NTT R&D, Vol. 52, No. 3, pp. 213-222, Mar. 2003.
  13. S. Tani, T. Inoue, S. Minato, H. Takahashi, S. Kotabe, and T. Miyazaki: "Global Multi-Point Streaming Experiments Based on the Flexcast Protocol", NTT Technical Review, Vol. 1, No. 5, pp. 24-30, Aug. 2003.
  14. 井上武, 谷誠一郎, 高橋宏和, 湊 真一, 宮崎敏明, 豊島鑑: "Flexcast による段階的導入に優れたマルチキャストシステムの設計と実装", 電子情報通信学会論文誌, Vol. J88-D-I, No. 2, pp. 272-291, Feb. 2005.
  15. 湊 真一, 有村博紀: "ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法", 電子情報通信学会論文誌, Vol. J89-D, No. 2, pp. 172-182, Feb. 2006.
  16. S. Minato and K. Ito: "Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data", Transaction of the Japanese Society of Artificial Intelligence, Vol. 22, No. 2, pp. 156-164, Feb. 2007.
  17. S. Minato and H. Arimura: "Frequent Closed Item Set Mining Based on Zero-suppressed BDDs", Transaction of the Japanese Society of Artificial Intelligence, Vol. 22, No. 2, pp. 165-172, Feb. 2007.
  18. 岩崎玄弥, 湊真一, ツォイクマントーマス: "頻出パタンマイニングのためのゼロサプレス型BDDの変数順序付け方法とその評価," 電子情報通信学会論文誌, Vol. J91-D, No. 3, pp. 608-618, Mar. 2008.
  19. Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller: "DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction," IEICE Trans. Fundamentals, Vol. E91-A, No.12, pp. 3793-3802, Dec. 2008.
  20. Shin-ichi Minato: "Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering," New Generation Computing, Vol. 29, No. 2, pp. 223-228, Ohmusha and Springer, Apr. 2011. (invited).
  21. Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller: "Synthesis of Semi-Classical Quantum Circuits," Journal of Multi-Valued Logic & Soft Computing, Vol. 18, No. 1, pp. 99-113, Old City Publishing, Jan. 2012.
  22. Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, and Shin-ichi Minato: "Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs," Algorithms, Vol.5, No. 2, pp. 176-213, MDPI, Apr. 2012.
  23. Takeru Inoue and Shin-ichi Minato: "On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake," IEICE Trans. Communications, special section on "Future Internet Technologies Against Present Crises," Vol. E95-B, No. 7, pp. 2210-2221, Jul. 2012.
  24. Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga: "A Dynamically Reconfigurable FPGA-based Hardware for Large-Scale Regular Expression Matching," IEICE Trans. Inf. & Syst., Vol. E95-D, No. 7, pp. 1847-1857, Jul. 2012.
  25. Shin-ichi Minato: "Techniques of BDD/ZDD: Brief History and Recent Activity," IEICE Trans. Inf. & Syst., Vol. E96-D, No. 7, pp. 1419-1429, Jul. 2013.
  26. Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, and Yasuhiro Hayashi:"Distribution Loss Minimization With Guaranteed Error Bound," IEEE Trans. Smart Grid, Vol. 5, No. 1, pp. 102-111, Jan. 2014.
  27. Yuma Inoue, Takahisa Toda, and Shin-ichi Minato: "Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams," IEICE Trans. Inf. & Syst., Vol. E97-A, No. 6, pp. 1171-1179, June 2014.
  28. Takeru Inoue, Norihito Yasuda, Shunsuke Kawano, Yuji Takenobu, Shin-ichi Minato, and Yasuhiro Hayashi: "Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures," IEEE Trans. Smart Grid, Vol. 6, No. 2, pp. 843-852, DOI 10.1109/TSG.2014.2359114, Mar. 2015.
  29. Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato: "Graphillion: software library for very large sets of labeled graphs," International Journal on Software Tools for Technology Transfer (STTT), DOI 10.1007/s10009-014-0352-z, Vol. 18 Issue 1, pp. 57-66, Springer, Feb. 2016.
  30. Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato: "Sequence Binary Decision Diagram: Minimization, Relation-ship to Acyclic Automata, and Complexities of Boolean Set Operations," Journal of Discrete Applied Mathematics, Vol. 212, pp. 61-80, Oct. 2016.
  31. Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, and Shin-ichi Minato: "Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling," IEEE Trans. Smart Grid, DOI 10.1109/TSG.2016.2604922, 2017 (accepted)
  32. Reona MINODA and Shin-ichi MINATO: "Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages," IEICE Transactions on Information and Systems, Vol. E100-D, No. 6, pp. 1172-1181, June 2017.
  33. Shin-ichi Minato: "Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation," IEICE Transactions on Information and Systems, Vol .E100-D, No.08, pp. 1556-1562, 2017. (invited)
  34. Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, and Shin-ichi Minato: "Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation," IEICE Trans. Fundamentals, Vol. E100-A, No. 9, Sep. 2017. (to appear)
  35. Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata: "BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems," IEICE Transactions on Information and Systems, Vol. E100-D, No. 12, Dec. 2017. (to appear)

学術誌レター

  1. H. Okuno, S. Minato, and H. Isozaki: "On the Properties of Combination Set Operations", Information Procssing Letters, Elsevier, 66 (1998), pp. 195-199, 1998.
  2. Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato: "Counterexamples to the long-standing conjecture on the complexity of BDD binary operations," Information Processing Letters, Elsevier, Vol. 112, Issue 16, pp. 636-640, Aug. 2012.

著書(論文形式,査読つき)

  1. S. Minato: "VSOP (Valued-Sum-of-Products) Calculator for Knowledge Processing Based on Zero-Suppressed BDDs", In K. P. Jantke, et al. editors, "Federation over the Web", LNAI 3847, pp. 40-58, Springer, Feb. 2006.
  2. S. Minato: "Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs", In T. Washio, et al. editors, "New Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings", LNAI 4012, pp. 169-181, Springer, Apr, 2006.
  3. R. Kurai, S. Minato, and T. Zeugmann: "N-gram Analysis Based on Zero-suppressed BDDs", In T. Washio, et al. editors, "New Frontiers in Artificial Intelligence, Joint JSAI 2006 Workshop Post-Proceedings", LNAI 4384, pp. 289-300, Springer, Feb. 2007.
  4. S. Minato and H. Arimura: "Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs," In "Knowledge Discovery in Inductive Databases, 5th International Workshop, KDID 2006 Revised Selected and Invited Papers," LNCS 4747, pp. 152-169, Springer, Sep. 2007.
  5. Shin-ichi Minato and Nicolas Spyratos: "BDD-Based Combinatorial Keyword Query Processing," In G. Kreuzberger, A. Lunzer, and R. Kaschek, editor, "Interdisciplinary advances in adaptive and Intelligent assistant Systems: concepts, techniques, applications, and Use," chapter 2, pp. 26-39, InformatIon ScIence reference by IGI Global, Jan. 2011.
  6. Mathias Soeken, Robert Wille, Shin-ichi Minato, and Rolf Drechsler: "Using PiDDs in the Design of Reversible Circuits (Work-In-Progress)," In Robert Gluck and Tetsuo Yokoyama, editors, "Reversible Computation, 4th International Workshop RC 2012 Revised Papers," LNCS 7581, pp. 197-203, Springer, Feb. 2013.
  7. Hiroshi Aoki, Takahisa Toda, and Shin-ichi Minato: "Three-way Indexing ZDDs for Large-Scale Sparse Datasets," In "Trends and Applications in Knowledge Discovery and Data Mining, PAKDD 2014 International Workshops Revised Selected Papers," LNCS 8643, pp. 457-469, Springer, Dec. 2014.
  8. Shogo Takeuchi, Takahisa Toda, and Shin-ichi Minato: "A General Framework for Parallel Unary Operations on ZDDs," In "Trends and Applications in Knowledge Discovery and Data Mining, PAKDD 2014 International Workshops Revised Selected Papers," LNCS 8643, pp. 494-503, Springer, Dec. 2014.
  9. Norihito Yasuda, Masaaki Nishino, and Shin-ichi Minato: "On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree," In "Trends and Applications in Knowledge Discovery and Data Mining, PAKDD 2014 International Workshops Revised Selected Papers," LNCS 8643, pp. 504-512, Springer, Dec. 2014.

査読つき国際会議発表論文

  1. S. Minato, N. Ishiura, and S. Yajima: "Fast tautology checking using shared BDD", In Proc. of IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, pp. 107-111, Nov. 1989.
  2. S. Minato, N. Ishiura, and S. Yajima: "Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean Function Manipulation", In Proc. of 27th ACM/IEEE Design Automation Conference (DAC'90), pp. 52-57, Jun. 1990.
  3. S. Minato: "Fast generation of irredundant sum-of-products forms from binary decision diagrams", In Proc. of Synthesis and Simulation Meeting and International Interchange (SASIMI'92, Kobe, Japan), pp. 64-73, Apr. 1992.
  4. S. Minato: "Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems", In Proc. of 30th ACM/IEEE Design Automation Conference (DAC'93), pp. 272-277, Jun. 1993.
  5. S. Minato: "Fast weak-division method for implicit cube representation", In Proc. of Synthesis and Simulation Meeting and International Interchange (SASIMI'93, Nara, Japan), pp. 423-432, Oct. 1993.
  6. S. Minato: "Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs", In Proc. of 31st ACM/IEEE Design Automation Conference (DAC'94), pp. 420-424, Jun. 1994.
  7. S. Minato: "Implicit Manipulation of Polynomials Using Zero-Suppressed BDDs", In Proc. of IEEE The European Design and Test Conference (ED&TC'95), pp. 449-454, Mar. 1995.
  8. S. Ishihara and S. Minato: "Manipulation of Regular Expressions Under Length Constraints Using Zero-Suppressed-BDDs", In Proc. of ACM/IEEE Asia South Pacific Design Automation Conference (ASPDAC'95), A-7B.3, Aug. 1995. 
  9. T. Yoneda, H. Hatori, A. Takahara and S. Minato: "BDDs vs. Zero-Suppressed BDDs: For CTL Symbolic Model Checking of Petri Nets", In Proc. of International Conference, Formal Methods in Computer-Aided Design (FMCAD'96), LNCS 1166, pp.435-449, Springer, Nov. 1996.
  10. S. Minato: "Generation of BDDs from Hardware Algorithm Descriptions", In Proc. of ACM/IEEE International Conference on Computer-Aided Design (ICCAD'96), pp. 644-649, Nov. 1996.
  11. V. Bertacco, S. Minato, P. Verplaetse, L. Benini, G. de Micheli, "Decision Diagrams and Pass-Transistor Logic Synthesis", In Workshop Note of International Workshop on Logic Synthesis (IWLS'97), p. 109-113, May, 1997.
  12. S. Minato and G. De Micheli: "Finding All Simple Disjunctive Decompositions Using Irredundant Sum-of-Products Forms", In Proc. of ACM/IEEE International Conference on Computer-Aided Design (ICCAD'98), pp. 111-117, Nov. 1998.
  13. S. Minato: "Streaming BDD Manipulation Algorithm", In Workshop Note of International Workshop on Logic Synthesis (IWLS-2000, Dana Point, CA), May 2000.
  14. S. Minato and S. Ishihara: "Streaming BDD Manipulation for Large-Scale Combinatorial Problems", In Proc. of ACM/IEEE Design, Automation and Test in Europe (DATE-2001), pp. 702-707, Mar. 2001. 
  15. T. Inoue, S. Tani, K. Ishimaru, S. Minato, and T. Miyazaki: "Wide-Area Multicasting based on Flexcast: Toward the Ubiquitous Network", In Proc. of IEICE/IEEE 5th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT 2003), Nov. 2003.
  16. S. Minato and H. Arimura: "Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs", In Proc. of IEEE/IEICE/IPSJ International Workshop on Challenges in Web Information Retrieval and Integration (WIRI-2005), pp. 3-10, Apr., 2005.
  17. S. Minato: "Efficient Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs", In Proc. of JSAI 3rd Workshop on Learning with Logics and Logics for Learning (LLLL-2005), pp. 3-9, June 2005.
  18. T. Inoue, S. Tani, H. Takahashi, S. Minato, T. Miyazaki, and K. Toyoshima: "Design and Implementation of Advanced Multicast Router Based on Cluster Computing", In Proc. of IEEE The 11th International Conference on Parallel and Distributed Systems (ICPADS-2005), 4C-1, July 2005.
  19. S. Minato: "Finding Simple Disjoint Decompositions in Frequent Itemset Data Using Zero-suppressed BDDs", In Proc. of IEEE ICDM 2005 workshop on Computational Intelligence in Data Mining, pp. 3-11, ISBN-0-9738918-5-8, Nov. 2005.
  20. S. Minato: "Finding Simple Disjoint Decompositions on Sets of Combinations Based on Zero-suppressed BDDs", In Proc. of Synthesis and Simulation Meeting and International Interchange (SASIMI-2006), pp. 393-398, Apr. 2006.
  21. R. Kurai, S. Minato, and T. Zeugmann: "N-gram Analysis Based on Zero-suppressed BDDs", In Proc. of JSAI 4th Workshop on Learning with Logics and Logics for Learning (LLLL-2006), pp. 61-77, June 2006.
  22. S. Minato and H. Arimura: Frequent Pattern Mining and Knowledge Indexing Based on Zero-suppressed BDDs, In Proc. The 5th International Workshop on Knowledge Discovery in Inductive Databases (KDID-2006), pp. 83-94, Sep. 2006.
  23. S. Minato: "Symmetric Item Set Mining Based on Zero-suppressed BDDs," In Proc. of the 9th International Conference on Discovery Science (DS-2006), (LNAI 4265, Springer), pp. 321-326, Oct. 2006.
  24. S. Minato, K. Satoh, and T. Sato: "Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs," In Proc. of 20th International Joint Conference of Artificial Intelligence (IJCAI-2007), pp. 2550-2555. Jan. 2007.
  25. H. Iwasaki, S. Minato, and T. Zeugmann: "A Method of Variable Ordering for Zero-suppressed Binary Decision Diagrams in Data Mining Applications," In Proc. of The Third IEEE International Workshop on Databases for Next-Generation Researchers (SWOD 2007), pp. 85-90, Apr. 2007.
  26. Ryutaro Kurai, Shin-ichi Minato, and Thomas Zeugmann: "Unordered N-gram Representation Based on Zero-suppressed BDDs for Text Mining and Classification," In Proc. of the 5th Workshop on Learning with Logics and Logics for Learning (LLLL 2007), pp.32-38, June 2007.
  27. S. Minato: "A Theoretical Study on Variable Ordering of Zero-suppressed BDDs for Representing Frequent Itemsets," In Proc. of the 10th International Conference on Discovery Science (DS-2007), (LNAI 4755, Springer), pp. 139-150, Oct. 2007.
  28. S. Minato, T. Uno, and H. Arimura: "LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation," In Proc. of 12-th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2008), (LNAI 5012, Springer), pp. 234-246, May 2008.
  29. S. Minato: "A Fast Algorithm for Cofactor Implication Checking and Its Application for Knowledge Discovery," In Proc. of IEEE 8th International Conference on Computer and Information Technology (CIT 2008), pp. 53-58, July 2008.
  30. S. Yamashita, S. Minato, and D. M. Miller: "An Efficient Verification of Quantum Circuits under a Practical Restriction," In Proc. of IEEE 8th International Conference on Computer and Information Technology (CIT 2008), pp. 873-879, July 2008.
  31. Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato: "Propositionalizing the EM algorithm by BDDs," In Late Breaking Papers of 18th International Conference on Inductive Logic Programming (ILP 2008), pp. 44-49, Sep. 2008.
  32. Hitoshi Uematsu, Kan Toyoshima, Takeru Inoue, Kazuhiro Takahashi, Satsuki Nishina, Tsuyoshi Takagi, and Shin-ichi Minato: "Contents Muticast Method Enabling Determination of Leakage Origin and Exclusion," In Proc. of IEICE 14th Asia-Pacific Conference on Communications (APCC2008), 16-AM1-E, Oct. 2008.
  33. Shin-ichi Minato: "Recent Results on BDD-Based Large-Scale Data Processing for Knowledge Discovery," In Proc. of Reed-Miller Workshop (RM-2009), pp. 27-32, May. 2009.
  34. Daisuke Tokoro, Ai Fukunaga, Kiyoharu Hamaguchi, Toshinobu Kashiwabara, and Shin-ichi Minato: "Exploiting Global Structures in Bayesian Network Compilation by Zero-suppressed BDDs," In Proc. of 19th International Conference on Inductive Logic Programming (ILP 2009), July, 2009.
  35. Haruya Iwasaki, Elsa Loekito, Shin-ichi Minato, James Bailey: "Comparison of ZDD-Vectors and WZDDs for Frequent Pattern Mining," In Proc. of the Sixth Workshop on Learning with Logics and Logics for Learning (LLLL 2009), pp. 51-55, July, 2009.
  36. Daisuke Tokoro, Kiyoharu Hamaguchi, Toshinobu Kashiwabara, and Shin-ichi Minato: "Monolithic and Partial Compilation Methods for Probabilistic Inference of Bayesian Networks using ZBDDs," In Proc. of the International Workshop on Data Mining and Statistical Science (DMSS 2009), pp. 98-103, July, 2009.
  37. Shin-ichi Minato and Takeaki Uno: "Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases," In Proc. of 2010 SIAM International Conference on Data Mining (SDM 2010), pp. 339-349, Apr. 2010.
  38. S. Yamashita, S. Minato, and D. M. Miller: "Synthesis of Semi-Classical Quantum Circuits," In Proc. of 2nd Workshop on Reversible Computation, pp. 93-99, Jul. 2010.
  39. Yusaku Kaneta, Shin-ichi Minato, and Hiroki Arimura: "Fast Bit-Parallel Matching for Network and Regular Expressions," In Proc. of 17th Symposium on String Processing and Information Retrieval (SPIRE 2010), pp. 372-384, Oct. 2010.
  40. Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga: "Efficient Multiple Regular Expression Matching on FPGAs based on Extended SHIFT-AND Method," In Proc. of Synthesis and Simulation Meeting and International Interchange (SASIMI-2010), pp. 401-406, Oct. 2010.
  41. Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato: "An EM algorithm on BDDs with order encoding for logic-based probabilistic models," In Proc. of 2nd Asian Conference on Machine Learning (ACML2010), pp. 161-176, Nov. 2010.
  42. Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato: "Parameter learning for Bayesian Networks on Shared Binary Decision Diagrams," In Proc. of 1st International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2010), p. 11, Nov. 2010.
  43. Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura and Yoshikazu Miyanaga: "Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching," In Proc. of the 2010 International Conference on Field-Programmable Technology (FPT'10), pp. 21-28, Dec. 2010.
  44. Shin-ichi Minato: "PiDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space," In Proc. of 14th International Conference on Theory and Applications of Satisfiability Testing, pp. 90-104, Jun. 2011.
  45. Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato: "Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations," In Proc. of Prague Stringology Conference 2011 (PSC2011), pp. 147-161, Aug. 2011.
  46. Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato: "Implementation of Sequence BDDs in Erlang," In Proc. of Tenth ACM SIGPLAN Erlang Workshop, pp. 90-91, Sep. 2011.
  47. Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura: "High-speed String and Regular Expression Matching on FPGA," In Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011), Oct. 2011.
  48. Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-ichi Minato and Makoto Yokoo: "Compact Representation Scheme of Coalitional Games Based on Multi-terminal Zero-suppressed Binary Decision Diagram," In Proc. of 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011), (LNAI 7047, Springer) pp. 4-18, Nov. 2011.
  49. Hiroshi Aoki, Shigeru Yamashita and Shin-ichi Minato: "An Efficient Algorithm for Constructing a Sequence Binary Decision Diagram Representing a Set of Reversed Sequences," In Proc. of 2011 IEEE International Confenrece on Granular Computing, pp. 54-59, Nov. 2011.
  50. Masakazu Ishihata, Taisuke Sato and Shin-ichi Minato: "Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs," In Proc. of The 24th Australasian Joint Conference on Artificial Intelligence (AI2011), (LNAI 7106, Springer), pp. 203-212, Dec. 2011.
  51. Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, and Shin-ichi Minato: "Incremental Set Recommendation Based on Class Differences," In Proc. of 16th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2012), (LNAI 7301, Springer), pp. 183-194, May 2012.
  52. Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto and Shin-ichi Minato: "Shared-Memory Parallel Frontier-Based Search," In Proc. of 7th Workshop on Algorithms and Computation (WALCOM2013), (LNCS 7748, Springer), pp. 170-181, Feb. 2013.
  53. Laura Tague, Mathias Soeken, Shin-ichi Minato and Rolf Drechsler: "Debugging of Reversible Circuits Using PiDDs," In Proc. of IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL2013), pp. 316-321, May 2013.
  54. Yuma Inoue, Takahisa Toda, and Shin-ichi Minato: "Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams," In Proc. of Permutation Patterns 2013, pp. 43-44, July 2013.
  55. Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, and Shin-ichi Minato: "Enumeration of Region Partitioning for Evalcuation Planning based on ZDD," In Proc. of International symposium on Operation Research & its Applications (ISORA2013), pp. 64-71, Aug. 2013.
  56. Shuhei Denzumi, Koji Tsuda, Hiroki Arimura and Shin-ichi Minato: "Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams," In Proc. of Prague Stringology Conference 2013 (PSC2013), pp. 157-167, Sep. 2013.
  57. Shin-ichi Minato: "Z-Skip-Links for Fast Traversal of ZDDs Representing Large-Scale Sparse Datasets," In Proc. of  European Symposium on Algorithms 2013 (ESA 2013), (LNCS 8125, Springer), pp. 731-742, Sep. 2013.
  58. Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki Nagata: "Accelerating Graph Adjacency Matrix Multiplications with Adjacency Forest," In Proc. of 2014 SIAM International Conference on Data Mining (SDM 2014), pp. 1073-1081, Apr. 2014.
  59. Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato and Kunihiko Sadakane: "DenseZDD: A Compact and Fast Index for Families of Sets," In Proc. of Symposium on Experimental Algorithms (SEA 2014), (LNCS 8504, Springer), pp. 187-198, Jun. 2014.
  60. Ryutaro Kurai, Norihito Yasuda, Hiroki Arimura, Shinobu Nagayama, and Shin-ichi Minato: "Fast Regular Expression Matching Based On Dual Glushkov NFA," In Proc. of Prague Stringology Conference 2014 (PSC 2014), pp. 3-16, Sep. 2014.
  61. Shin-ichi Minato, Takeaki Uno, Koji Tsuda, Aika Terada, and Jun Sese: "A Fast Method of Statistical Assessment for Combinatorial Hypotheses Based on Frequent Itemset Enumeration," In Proc. of  The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2014 (ECML PKDD 2014), Part II, (LNAI 8725, Springer), pp. 422-436, Sep. 2014.
  62. Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi: "Rethinking Packet Classification for Global Network View of Software-Defined Networking," In Proc. of the 22nd IEEE International Conference on Network Protocols (ICNP 2014), pp. 296-307, Oct. 2014.
  63. Yuma Inoue and Shin-ichi Minato: "An Efficient Method for Indexing All Topological Orders of a Directed Graph," In Proc. of the 25th International Symposium on Algorithms and Computation (ISAAC 2014), (LNCS 8889, Springer), pp. 103-114, Dec. 2014.
  64. Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki Nagata: "BDD-constrained Search: A Unified Approach to Constrained Shortest Path Problems," In Proc. of  the 29th AAAI Conference on Artificial Intelligence (AAAI2015), pp. 1219-1225, Jan. 2015.
  65. Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi, and Shin-ichi Minato: "Enumerating Eulerian Trails via Hamiltonian Path Enumeration," In Proc. of 9th International Workshop of Algorithms and Computation (WALCOM2015), (LNCS 8973, Springer), pp. 161-174, Feb. 2015.
  66. Takahisa Toda, Shogo Takeuchi, Koji Tsuda, and Shin-ichi Minato: "Superset Generation on Decision Diagrams," In Proc. of 9th International Workshop of Algorithms and Computation (WALCOM2015), (LNCS 8973, Springer), pp. 317-322, Feb. 2015.
  67. Masaaki Nishino, Norihito Yasuda, Tsutomu Hirao, Shin-ichi Minato, Masaaki Nagata: "A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization," In Proc. of the 2015 Annual Conference of the North American Chapter of the ACL (NAACL-HLT 2015), pages 462–471, May 2015.
  68. Yuma Inoue and Shin-ichi Minato: "Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits," In Proc. of the 7th International Conference on Reversible Computation (RC 2015), (LNCS 9138, Springer), pp. 186-199, July. 2015.
  69. Shan Gao and Shin-ichi Minato: "Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations," In Proc. of the Second International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2015), (LNAI 9505, Springer), pp. 168-183, Nov. 2015.
  70. Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki Nagata: "Zero-suppressed Sentential Decision Diagrams," In Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), pp. 1058-1066, Feb. 2016.
  71. Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, and Shin-ichi Minato: "Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System," In Proc. of 19th Power Systems Computation Conference (PSCC 2016), pp. 1-7, Jun. 2016.
  72. Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, and Shin-ichi Minato: "Using PiDDs for Nearest Neighbor Optimization of Quantum Circuits," In Proc. of the 8th International Conference on Reversible Computation (RC 2016), (LNCS 9720, Springer), pp. 181-196, Jul. 2016.
  73. Hirofumi Suzuki, Sun Hao, and Shin-ichi Minato: "Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model," In Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), a Workshop session of Mathematical Modeling and Problem Solving, pp. 356-362, Jul. 2016.
  74. Reona Minoda, Yuzuru Tanaka, and Shin-ichi Minato: "Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking," In Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), pp. 65-71, Oct. 2016. (Best paper awarded)
  75. Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata: "Dancing with Decision Diagrams: A Combined Approach to Exact Cover," In Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), pp. 868-874, Feb. 2017.
  76. Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata: "Compiling Graph Substructures into Sentential Decision Diagrams," In Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), pp. 1213-1221, Feb. 2017.
  77. Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata: "BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems," In Proc. of Workshops at the 31st AAAI Conference on Artificial Intelligence, The AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt 2017), WS-17-14, pp. 944-950, Feb. 2017.
  78. Jun Kawahara, Takashi Horiyama, Keisuke Hotta, and Shin-ichi Minato: "Generating All Patterns of Graph Partitions within a Disparity Bound," In Proc. of  the 11th International Workshop of Algorithms and Computation (WALCOM2017), (LNCS 10167, Springer), pp. 119-131, Mar. 2017.
  79. Reona Minoda and Shin-ichi Minato: "Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking," In Proc. of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PEC 2017), pp.13-21, Jul. 2017. (Best paper awarded)
  80. Junpei Komiyama, Maskazu Ishihata, Hiroki Arimura, Takashi Nishibayashi and Shin-ichi Minato: "Statistical Emerging Pattern Mining with Multiple Testing Correction," In Proc. of the 23rd SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2017), pp. 897-906, Aug. 2017.
  81. Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato: "Fast Compilation of s-t Paths on a Graph for Counting and Enumeration," In Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), pp. 129-140. Sep. 2017.
  82. Gao Shan, Masakazu Ishihata, and Shin-ichi Minato: "Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation," In Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), pp. 117-128, Sep. 2017. 
  83. Reona Minoda, Masakazu Ishihata, and Shin-ichi Minato: "Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking," In Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), pp. 85-91, Nov. 2017.

総説

  1. 湊真一: "二分決定グラフに基づく論理関数処理の技法", 第5回 回路とシステム軽井沢ワークショップ, pp. 161-166, Apr. 1992.
  2. 湊真一: "計算機上でのBDDの処理技法", 情報処理, Vol. 34, No. 5, pp. 593-599, May 1993.
  3. 奥乃博, 湊真一: "算術論理式システムBEM-IIを使ってパズルを解こう", bit, Vol. 29, No. 4, pp. 67-77, 共立出版, Apr. 1997.
  4. 湊真一: "BDD(二分決定グラフ)とその応用", 応用数理, Vol. 9, No. 3, pp.194-206, 岩波書店, Mar. 1999.
  5. 湊真一: "論理合成技術", 情報処理学会システムLSI設計技術研究会, 情処研報 , SLDM-102, Nov. 2001.
  6. 宇野毅明, 湊真一, 竹田正幸: "情報爆発時代のための新しい超高速アルゴリズム", 情報処理, Vol. 49, No. 8, pp. 897-903, Aug. 2008.
  7. 湊真一: "D. E. Knuthの名著「The Art of Computer Programming」に、研究成果「ZDD」が掲載されたことについて," 北海道大学大学院情報科学研究科広報誌 IST NEWS, No. 18, pp. 1-2, July, 2009.
  8. 宮永喜一, 吉澤真吾, 湊真一: "メディア系異分野共同研究プロジェクト," 電子情報通信学会誌, Vol. 92, No. 10, pp. 833-840, Oct. 2009.
  9. 湊真一: "JST戦略的創造研究推進事業EARTOプロジェクトの採択について," 北海道大学大学院情報科学研究科広報誌 IST NEWS, No. 20, pp. 1-2, Jan, 2010.
  10. 佐藤泰介, 湊真一: "ベイジアンネットワークと離散構造処理系 (特集「ベイジアン・ネットワークの最先端」)," 人工知能学会誌 ,Vol.25, No.6, pp. 796-802, Nov. 2010.
  11. 湊真一, 有村博紀: "「おめでとうソサイエティ論文賞」ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法,"電子情報通信学会 情報・シ ステムソサイエティ誌, Vol. 15, No. 3, p. 15, Nov. 2010.
  12. 湊真一: "BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開," 電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, Vol. 4, No. 3, pp. 224-230, Jan. 2011.
  13. 湊真一: "配電網の最適経路を探索し、配電ロスを最小化へ 「超高速アルゴリズム」にできること," (独)科学技術振興機構 広報誌 JST NEWS, 2012年5月号, pp. 8-11, May, 2012.
  14. 湊真一: "BDD/ZDD の技法と離散構造処理系(特集「離散構造処理系―知能情報処理を支えるアルゴリズムの技法」)," 人工知能学会誌 ,Vol.27, No.3, pp. 232-238, May. 2012.
  15. 川原純, 斎藤寿樹, 湊真一: "ZDDを用いた新たな列挙手法(小特集「広がる列挙の技術 --- 列挙による問題解決アプローチ ---」)," 電子情報通信学会誌, Vol. 95, No. 6, pp. 505-511, Jun. 2012.
  16. 湊真一: "最先端の開拓者たち 湊真一氏 北海道大学大学院 情報科学研究科 教授 世界的権威が認めた超高速アルゴリズム 電力危機に挑む," 日経コンピュータ, Vol. 818 (2012年9月27日号), pp. 90-92, 日経BP社, Sep. 2012.
  17. 湊真一: "BDD/ZDD を用いたグラフ列挙索引化技法(特集 BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)," オペレーションズ・リサーチ, 日本オペレーションズ・リサーチ学会, Vol. 57, No. 11, pp. 597-603, Nov. 2012.
  18. 川原純, 湊真一: "グラフ列挙索引化技法の種々の問題への適用(特集 BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)," オペレーションズ・リサーチ, 日本オペレーションズ・リサーチ学会, Vol. 57, No. 11, pp. 604-609, Nov. 2012.
  19. 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘: "フロンティア法による電力網構成技術(特集 BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)," オペレーションズ・リサーチ, 日本オペレーションズ・リサーチ学会, Vol. 57, No. 11, pp. 610-615, Nov. 2012.
  20. 吉仲亮, 岩下洋哲, 川原純, 斎藤寿樹, 鶴間浩二, 湊真一: "種々のリンクパズルへの応用(特集 BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)," オペレーションズ・リサーチ, 日本オペレーションズ・リサーチ学会, Vol. 57, No. 11, pp. 616-622, Nov. 2012.
  21. 湊真一: "「今どきの若者」にとっての学会とは," コンピュータ ソフトウェア, 日本ソフトウェア科学会, Vol. 30, No. 1, p. 1, Mar. 2013.
  22. 湊真一: "「おねえさんの問題」の最先端 ― YouTube動画と世界記録 ―," 情報処理, Vol. 54, No.11, pp. 1152-1159, Oct. 2013.
  23. 湊真一: "受賞者の声 平成24年度FR誌ベストオーサー賞," 電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, Vol. 7, No. 3, p. 282, Jan. 2014.
  24. 湊真一: "二分決定グラフによる離散構造処理の概観(小特集「フカシギの数え方」から広がるアルゴリズムの理工学)," 電子情報通信学会誌, Vol. 97, No. 12, pp. 1074-1079, Dec. 2014.
  25. 川原純, 湊真一: "順列の圧縮列挙索引化とソーティング(小特集「フカシギの数え方」から広がるアルゴリズムの理工学)," 電子情報通信学会誌, Vol. 97, No. 12, pp. 1086-1090, Dec. 2014.
  26. 西野正彬, 安田宜仁, 平尾努, 湊真一, 永田昌明: "ご予算に合う最高の詰合せをすぐにつくれます ― 二分決定グラフを用いた組合せ最適化," NTT技術ジャーナル, Vol. 27, No. 9, pp. 30-33, Sep. 2015.
  27. 湊真一: "電力網に関連する研究の近況と今後の展望," "俯瞰ワークショップ報告書 エネルギーネットワーク・統合システム(EMS、スマートグリッド)," JST研究開発戦略センター, CRDS-FY2015-WR-14, pp. 83-88, Mar. 2016.
  28. 湊真一: "私は何がしたかったのか,そしてどのように進んできたのか(レクチャーシリーズ「つながりが創発するイノベーション」第7回)," 人工知能学会誌, Vol. 31, No. 3, pp. 452-463, May. 2016.
  29. 湊真一: "ERATO湊離散構造処理系プロジェクトのその後," LAシンポジウム会誌, Vol. 68, pp. 2-7, Feb. 2017. 
  30. 西野正彬, 安田宜仁, 湊真一, 永田昌明: "厳密被覆問題の高速な全解列挙法," NTT技術ジャーナル, Vol. 29, No. 9, pp. 13-16, Sep. 2017.

研究会、報告書等

  1. 湊 真一, 石浦 菜岐佐, 矢島 脩三: "論理関数の共有二分決定グラフによる表現とその効率的処理手法", 電子情報通信学会VLSI設計技術研究会/情報処理学会設計自動化研究会(共催), 信学技報 Vol. 89, No. 338, VLD89-80, pp. 39-45, Dec. 1989.
  2. 湊 真一: "共有二分決定グラフの「幅」に着目した変数の順序づけによるノード数削減法", 第4回 回路とシステム軽井沢ワークショップ, pp. 271-276, Apr. 1991.
  3. 湊 真一: "二分決定グラフからの非冗長積和論理の高速生成手法", 電子情報通信学会VLSI設計技術研究会/情報処理学会設計自動化研究会(共催), 信学技報 Vol. 91, No. 376, VLD91-107, pp. 25-32, Dec. 1991.
  4. 湊 真一: "BEM-II: 二分決定グラフを用いた算術論理式計算プログラム", 電子情報通信学会コンピュテーション研究会, 信学技報 Vol. 92, No. 447, COMP92-75, pp. 15-22, Jan. 1993.
  5. 湊 真一: "ゼロサプレス型BDDを用いた非明示的積和形表現の高速因数分解法", 電子情報通信学会VLSI設計技術研究会, 信学技報 Vol. 93, No. 504, VLD93-105, pp. 55-62, Mar. 1993.
  6. 湊 真一: "ゼロサプレス型二分決定グラフを用いた多項式の効率的処理手法", 情報処理学会DAシンポジウム論文集, Vol. 94, No. 5, pp. 9-14, Aug. 1994.
  7. D. Rotter, K. Hamaguchi, S. Yajima, and S. Minato: "Manipulation of Large-Scale Polynomials Using Binary Moment Diagrams", Kyoto University KUIS Technical Report, KUIS-96-0002, pp.1-8, Apr. 1996.
  8. V. Bertacco, S. Minato, P. Verplaetse, L. Benini, and G. De Micheli: "Decision Diagrams and Pass Transistor Logic Synthesis", Stanford University CSL Technical Report, No. CSL-TR-97-748, Dec. 1997.
  9. 湊 真一, G. De Micheli: "非冗長積和形生成とその因数分解による論理関数のSimple Disjunctive Decomposition", 情報処理学会DAシンポジウム論文集, Vol. 98, No. 9, pp. 251-256, Jul. 1998.
  10. Shin-ichi Minato: "An Implicit Method of Boolean Resubstitution in Multi-Level Logic Synthesis," In B. Becker, C. Meinel, S. Minato and F. Somenzi , editor, "Decision Diagrams - Concepts and Applications", Dagstuhl-Seminar-Report; 299 (99041), p.11, Jan. 1999.
  11. 湊 真一, 石原晋也: "BDDの規模によらず一定の実記憶の範囲内で動作するストリーム形式BDD処理アルゴリズム", 情報処理学会システムLSI設計技術研究会, 情処研報 Vol. 99, SLDM-93, Dec.1999.
  12. 井上 武, 谷 誠一郎, 湊 真一, 高橋 宏和, 小田部 悟士, 宮崎 敏明: "Flexcastによるインターマルチキャスティング方式の提案と日米映像配信実験", 電子情報通信学会ネットワークシステム研究会, 信学技報, Vol. 103, No. 122, NS2003-37, pp. 13-16, Jun. 2003.
  13. 石丸 勝洋,小倉 孝夫,井上 武,湊 真一,宮崎 敏明,青山 友紀: "JGNを介した大規模映像配信プラットフォーム", 電子情報通信学会 情報ネットワーク研究会, 信学技報, Vol. 103, No. 123, IN2003-21, pp. 31-36, Jun. 2003.
  14. 井上 武, 谷 誠一郎, 高橋 宏和, 湊 真一, 宮崎 敏明, 豊島 鑑: "Flexcastに基づくマルチキャストシステムの開発とその方式設計について", 電子情報通信学会ネットワークシステム研究会, 信学技報, NS2004-50, pp. 37-40, Jun. 2004.
  15. 湊 真一, 有村博紀: "ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの解析手法", 日本ソフトウェア科学会第4回データマイニングワークショップ予稿集, ISSN 1341-870X, No. 29, pp.41-46, Sep. 2004.
  16. S. Minato and H. Arimura: "Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs", Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-04-1, Dec, 2004.
  17. 高橋宏和, 湊 真一, 井上 武, 東條 弘, 豊島 鑑: "MulticastVNCを用いた講義ノート配信システムのトラフィック特性評価", 電子情報通信学会 2005総合大会, B-7-73, Mar. 2005.
  18. 湊 真一: "VSOP: ゼロサプレス型BDDに基づく「重み付き積和集合」計算プログラム", 電子情報通信学会コンピュテーション研究会, 信学技報 Vol. 105, No. 72, COMP2005-10, pp. 31-38, May. 2005.
  19. Shin-ichi Minato: "VSOP (Valued-Sum-Of-Products) Calculator Based on Zero-Suppressed BDDs", Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-05-3, May, 2005.
  20. S. Minato and M. Yoshioka: "Double-Decker RFID Tags -- Basic Structures and Applications", In Proc. of First Korea/Japan Joint Workshop on Ubiquitous Computing & Networking Systems (UbiCNS-2005), June 2005.
  21. 湊 真一, 高橋 宏和, 井上 武, 東條 弘, 豊島 鑑: "FlexcastとJavaAppletに基づくプログラマブルな多地点同報配信アプリケーションの実装法", 電子情報通信学会 情報ネットワーク研究会, 信学技報, IN2005-49, pp. 121-126, July 2005.
  22. 高橋 宏和, 井上 武, 東條 弘, 豊島 鑑, 湊 真一: "Flexcastを用いた講義ノート多地点同報配信システムの検討", 電子情報通信学会 情報ネットワーク研究会, 信学技報, IN2005-50, pp. 127-132, July 2005.
  23. 湊 真一: "ゼロサプレス型BDDに基づく組合せ集合の単純直交分解の抽出", 情報処理学会DAシンポジウム2005論文集, Vol. 2005, No. 9, pp. 175-180, Aug. 2005.
  24. 高橋宏和, 井上 武, 東條 弘, 豊島 鑑, 湊 真一: "トラヒックの平滑化とFECによる講義ノート映像品質の改善," 電子情報通信学会 2005ソサイエティ大会, B-7-31, Sep. 2005.
  25. S. Minato: " Finding All Simple Disjoint Decompositions in Frequent Itemset Data", Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-05-9, Sep., 2005.
  26. 湊 真一: "組合せ集合の単純直交分解の抽出と発見科学への応用", 人工知能学会 第61回 人工知能基本問題研究会 資料, SIG-FPAI-A503-06, pp. 33-39, Nov. 2005.
  27. S. Minato, H. Takahashi, T. Inoue, H. Tohjo, and K. Toyoshima: "A Framework of Programmable Multicast Applications Using Flexcast and Java Applet", Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-10, Jan. 2006.
  28. S. Minato, H. Arimura: "ZBDD-growth: An Efficient Method for Frequent Pattern Mining and Knowledge Indexing," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-12, Apr. 2006.
  29. S. Minato: "Symmetric Item Set Mining Using Zero-suppressed BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-14, May. 2006.
  30. R. Kurai, S. Minato, and T. Zeugmann: " N-gram Analysis Based on Zero-suppressed BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-16, Jun. 2006.
  31. S. Minato: "Generating Frequent Closed Item Sets Based on Zero-suppressed BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-17, Jul. 2006.
  32. Shin-ichi Minato: "Generating Frequent Closed Item Sets Using Zero-suppressed BDDs," Knowledge Media Technologies - First International Core-to-Core Workshop, In Klaus P. Jantke and Gunther Kreuzberger, Eds., Diskussionsbeitrage, Institut fur Medien und Kommunikationswisschaft, Technische Universitat Ilmenau No. 21, pp. 145-153, Jul. 2006.
  33. Shin-ichi Minato, Ken Satoh, and Taisuke Sato: "Compiling Bayesian Networks by Symbolic Probability Calculation Using Zero-suppressed BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-18, Jul. 2006.
  34. 岩崎 玄弥, 湊 真一, ツォイクマン トーマス: "データベース解析のためのゼロサプレス型二分決定グラフの簡単化について," FIT-2006 IEICE/IPSJ 第5回情報科学技術フォーラム, F-019, Sep. 2006.
  35. 岩崎 玄弥, 湊 真一, ツォイクマン トーマス: "データベース解析のためのゼロサプレス型二分決定グラフの簡単化に関する考察," 人工知能学会 人工知能基礎問題研究会 資料, SIG-FPAI-A601-13, pp. 65-70, Sep. 2006.
  36. S. Minato and K. Ito: "Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data," In Proc. of International Workshop on Data Mining and Statistical Science (DMSS-2006), pp. 70-76, Sep. 2006.
  37. S. Minato and H. Arimura: "Frequent Closed Item Set Mining Based on Zero-suppressed BDDs," In Proc. of International Workshop on Data Mining and Statistical Science (DMSS-2006), pp. 77-84, Sep. 2006.
  38. Shin-ichi Minato and Kimihito Ito: "Symmetric Item Set Mining Method Using ZBDDs and Application to Biological Data," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-06-22, Nov. 2006.
  39. 岩崎 玄弥, 湊 真一, ツォイクマン トーマス: "データベース解析のためのゼロサプレス型BDDの変数順序づけ方法とその評価," 電子情報通信学会 データ工学研究会 (DEWS 2007), 信学技報, DEWS2007 M4-6, March. 2007.
  40. 湊 真一: "データベースの頻出アイテム集合を表すゼロサプレス型BDDの変数順序付けの理論的考察", 電子情報通信学会コンピュテーション研究会, 信学技報 Vol. 106, No. 566, COMP2006-55 pp. 37-42, Mar. 2007.
  41. 湊 真一: "「共起成分の含意関係」を満たすアイテム集合のデータマイニング", 人工知能学会 第65回人工知能基本問題研究会 資料, SIG-FPAI-A603-10, pp. 53-58, Mar. 2007.
  42. 井上武, 湊真一, 上松仁, 豊島 鑑: "ネットワークによるフロー切り替えを行うマルチキャスト電子透かし方式の検討," 電子情報通信学会2007総合大会, B-7-4, Mar. 2007. 
  43. Shin-ichi Minato: "Itemset Mining Based on Cofactor Implication," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-25, May 2007.
  44. Shin-ichi Minato: "A Theoretical Study on Variable Ordering of ZBDDs for Representing Frequent Itemsets," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-27, May 2007.
  45. 湊 真一: "[招待講演] 二分決定グラフ(BDD)を活用したデータマイニング・知識発見技術の最近の話題", 電子情報通信学会 人工知能と知識処理研究会, 信学技報, Vol. 107, No. 78, AI2007-6, pp. 27-32, May 2007.
  46. 湊 真一: "「共起成分の含意関係」に基づくデータベースからの知識発見", 人工知能学会 第4回 データマイニングと統計数理研究会 (SIG-DMSM) 講演報告集, SIG-DMSM, July, 2007.
  47. S. Minato and N. Spyratos: "Keyword Query Processing Using Binary Decision Diagrams under a Taxonomy Model," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-28, Aug. 2007.
  48. S. Minato, N. Spyratos: "Combinatorial Keyword Query Processing under a Taxonomy Model Using Binary Decision Diagrams," In workshop note of Perspectives of Intelligent System's Assistance (PISA-2007), Aug. 2007.
  49. 岩崎玄弥, 湊 真一: Thomas Zeugmann: "頻出パタンマイニングのためのゼロサプレス型BDDの変数順序付け方法の高速化の検討," FIT-2007 IEICE/IPSJ 第6回 情報科学技術フォーラム, F-011, pp. 359-361, Sep. 2007.
  50. 礒松紘平, 湊 真一, Thomas Zeugmann: "頻出パタン集合を表現する二分決定グラフの変数順序改善法に関する実験と考察," FIT-2007 IEICE/IPSJ 第6回 情報科学技術フォーラム, F-012, pp. 363-365, Sep. 2007.
  51. 倉井龍太郎, 湊 真一: Thomas Zeugmann: "ゼロサプレス型BDDを用いた無順序 n-gram 表現法の性能評価," FIT-2007 IEICE/IPSJ 第6回 情報科学技術フォーラム, F-013, pp. 367-368, Sep. 2007.
  52. S. Minato, T. Uno, and H. Arimura: "Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-30, Oct. 2007.
  53. S. Yamashita, S. Minato, and D. M. Miller: "An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-07-33, Dec. 2007.
  54. Shin-ichi Minato: "Decision Diagram-Based Large-Scale Data Processing for Knowledge Discovery," In Proc. of 2008 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2008) , Hokkaido University, pp. 39-43, Jan. 2008.
  55. 立石 匡, 湊 真一: "二分決定グラフを用いた数独パズルの解探索と列挙," 情報処理学会第70回全国大会, 6ZK-10, pp. 5-253-5-254, Mar. 2008.
  56. 二木 克也, 湊 真一: "共起成分の含意関係に基づく文献データベースからの共著関係の抽出," 電子情報通信学会2008総合大会, D-4-3, 情報・システム講演論文集1, p. 42, Mar. 2008.
  57. 豊島鑑, 井上武, 上松仁, 高橋宏和, 仁科五月, 高木剛, 湊真一: "漏洩者の特定と配信停止が可能なマルチキャスト配信方式," 電子情報通信学会2008総合大会, BS-5-5, 通信講演論文集2, pp. S-66-S-65, Mar. 2008.
  58. 倉井龍太郎, 湊 真一, ツォイクマン トーマス: "ゼロサプレス型二分決定グラフによる圧縮と知識発見," 電子情報通信学会データ工学研究会, 信学技報, Vol. 108, No. 93, DE2008-10, pp. 53-57, June 2008.
  59. Shin-ichi Minato: "Efficient Method of Large-Scale Data Analysis Using BDD-based Data Compression (Invited Talk)," In Proc. of 2008 International Workshop on Multi-Media Signal Processing (IWMMSP 2008) , Hokkaido University, pp. 23-26, June 2008.
  60. M. Ishihata, Y. Kameya, T. Sato, and S. Minato: "Propositionalizing the EM algorithm by BDDs," Technical Report TR08-0004, Dept. of Computer Science, Tokyo Institute of Technology, June, 2008.
  61. 石畠正和, 亀谷由隆, 佐藤泰介, 湊真一: "BDD上の命題化確率計算に基づくEMアルゴリズム,"人工知能学会 第70回人工知能基本問題研究会 資料, July 2008.
  62. 齋藤高央, 湊真一, ツォイクマントーマス: "コルモゴロフ複雑性に基づく画像圧縮と分類に関する実験と考察," FIT-2008 IEICE/IPSJ 第7回 情報科学技術フォーラム, F-020, pp. 355-357, Sep. 2008.
  63. 礒松紘平, 湊 真一: "ベイジアンネットワークを表現するゼロサプレス型BDDの変数順序付けに関する実験と考察," FIT-2008 IEICE/IPSJ 第7回 情報科学技術フォーラム, F-050, pp. 433-435, Sep. 2008.
  64. Shin-ichi Minato: "ZBDD-Based Probabilistic Computation and Application for System Analysis," In Proc. of Workshop of SoC Design Methodologies, National Tsing Hua University, pp. 125-131, Sep. 2008.
  65. Shin-ichi Minato: "Application of Binary Decision Diagrams for Probabilistic System Analysis," In Proc. of the 10th International Joint Symposium between Hokkaido University and Chungnam National University, pp. 144-155, Oct. 2008.
  66. 礒松紘平, 湊 真一: "ベイジアンネットワークを表現するゼロサプレス型BDDの変数順序付け方法に関する考察,"人工知能学会 第72回 人工知能基本問題研究会資料, pp. 49-53, Nov. 2008.
  67. Shin-ichi Minato and Takeaki Uno: "Distinctive Frequent Itemset Mining from Time Segmented Databases Using ZDD-Based Symbolic Processing," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-09-37, Jan. 2009.
  68. Shin-ichi Minato: "Recent Progress on Decision Diagram-Based Large-Scale Data Processing for Knowledge Discovery," In Proc. of 2009 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2009) , Hokkaido University, pp. 55-60, Jan. 2009.
  69. 石畠正和, 亀谷由隆, 佐藤泰介, 湊真一: "否定枝を含むshared BDD 上で動作するEM アルゴリズム," 人工知能学会 第9回 データマイニングと統計数理研究会 (SIG-DMSM) 講演報告集, SIG-DMSM-A803, pp. 11-19, Mar, 2009.
  70. 金田悠作, 吉澤真吾, 湊真一, 有村博紀, 宮永喜一: "高速ストリーム処理のための文字列パターン照合手法とそのFPGA設計," 電子情報通信学会2009総合大会, D-4-18, 情報・システム講演論文集1, p. 36, Mar. 2009.
  71. 鈴木拡, 湊真一: "BDD/ZDDを用いたペントミノパズルの解の列挙," 電子情報通信学会コンピュテーション研究会, 信学技報 Vol. 109, No. 54, COMP2009-9, pp. 1-7, May. 2009.
  72. Shin-ichi Minato: "Recent Topics on BDDs/ZDDs for Data Mining and Knowledge Discovery" (Invited talk), The International Workshop on Data Mining and Statistical Science (DMSS 2009), July, 2009.
  73. 岡崎佑太, 湊真一: "頻出パタン抽出アルゴリズム「LCM over ZDDs」の変数順序付けの影響に関する考察," FIT-2009 IEICE/IPSJ 第8回 情報科学技術フォーラム, D-031, pp. 199-201, Sep. 2009.
  74. 金崎健之, 湊真一: "ベイジアンネットワークを表現するZDDの初期変数順序付け方法の改良, FIT-2009 IEICE/IPSJ 第8回 情報科学技術フォーラム, F-061, pp. 553-555, Sep. 2009.
  75. 湊 真一: "異分野共同研究プロジェクト「FPGA高速情報検索」の活動報告," 北海道大学グローバルCOEプログラム「知の創出を支える次世代IT基盤拠点」 第2回 若手研究者支援のための産学協同GCOE国内シンポジウム ダイジェスト集, p. 22, Sep. 2009.
  76. 金田悠作, 吉澤真吾, 湊真一, 有村博紀, 宮永喜一: "大規模ストリームデータ処理のための高速なハードウェア指向アルゴリズムの研究," 北海道大学グローバルCOEプログラム「知の創出を支える次世代IT基盤拠点」 第2回 若手研究者支援のための産学協同GCOE国内シンポジウムダイジェスト集, p. 61-62, Sep. 2009.
  77. Shin-ichi Minato and Yusaku Kaneta: "A Data Stream Processing System for a Multiple Regular Expression Matching using FPGA," Panel Session "Hardware Software Co-research for Efficient Information Processing," Abstract of Asia-Pacific Signal and Information Processing Association 2009 Annual Summit and Conference (APSIPA ASC 2009), p. 34, Oct. 2009.
  78. 二木克也, 湊真一: "共起成分の含意関係に基づくデータマイニングの実験と考察," 情報論的学習理論ワークショップ (IBIS 2009) テクニカルレポート集, pp. 99-104, Oct. 2009.
  79. 湊 真一: "ZDDによるベイジアンネットワーク推論の高速化," 人工知能学会 第75回人工知能基本問題研究会資料, SIG-FPAI-A902-16, pp. 93-98, Nov. 2009. (招待講演)
  80. Shin-ichi Minato: "Current and Future Work on Discrete Structure Manipulation for Knowledge Discovery," In Proc. of 2010 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2010) , Hokkaido University, pp. 46-49, Jan. 2010.
  81. 金在成, 吉澤真吾, 金田悠作, 湊真一, 有村博紀, 宮永喜一: "eラーニングと遠隔FPGAの連携による異分野共同研究環境の開発," 信学技報 Vol. 109, No. 393, VLD2009-74, CPSY2009-56, RECONF2009-59, pp. 31-34, Jan, 2010.
  82. 金田悠作, 吉澤真吾, 湊真一, 有村博紀, 宮永喜一: "効率良い正規表現照合のための並列ビット分配にもとづいたハードウェア指向アルゴリズム," 信学技報 Vol. 109, No. 393, VLD2009-90, CPSY2009-72, RECONF2009-75, pp. 131-136, Jan, 2010.
  83. 伝住周平, 有村博紀, 湊真一: "系列二分決定グラフを用いた部分文字列索引の構築," 第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010), E3-4, Feb. 2010.
  84. 岡崎佑太, 湊真一: "ZDDを用いた頻出パタン演算によるWebテキストデータからの知識発見," 第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010), I-2, Feb. 2010.
  85. 二木克也, 湊真一: "2個組アイテムのデータベースにおける共起成分の含意関係の性質について," 第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010), I-8, Feb. 2010.
  86. 鈴木拡, 湊真一: "ZDDを用いた立体ペントミノパズルの解の列挙," 情報処理学会創立50周年記念(第72回)全国大会, 3ZP-5, pp. 5-245-246, Mar. 2010.
  87. 金田悠作, 湊真一, 有村博紀: "並列ビット分配にもとづいた効率的な正規表現照合アルゴリズム," 電子情報通信学会2010総合大会, D-1-7, 情報・システム講演論文集1, p. 7, Mar. 2010.
  88. 高橋渉, 湊真一: "ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成," 人工知能学会 第77回人工知能基本問題研究会資料, SIG-FPAI-A904-05, pp.25-30, Mar. 2010.
  89. Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato: "Substring Indices Based on Sequence BDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-10-42, Apr. 2010.
  90. 金田悠作, 湊真一, 有村博紀: "非巡回正規表現に対する効率的なパターン照合," 信学技報, Vol. 110, No. 37, COMP2010-11, pp. 23-29, May 2010.
  91. Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga: "Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-10-45, Jun. 2010.
  92. 石畠正和, 亀谷由隆, 佐藤泰介, 湊 真一: "命題論理に基づく確率モデルのための二分決定グラフと順序符号化を用いた効率的なEMアルゴリズム," 信学技報, Vol. 110, No. 76, IBISML2010-23, pp. 155-165, Jun. 2010.
  93. Shin-ichi Minato: "Recent and Future Work on Decision Diagrams and Discrete Structure Manipulation," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-B-10-7, Jul. 2010.
  94. 岡崎佑太, 湊真一: "ZDDを用いた頻出パタン演算によるWebテキストデータからの知識発見とその評価," FIT-2010 IEICE/IPSJ 第9回 情報科学技術フォーラム, D-009, Vol. 2, pp. 111-113, Sep. 2010.
  95. 高橋渉, 湊真一: "ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成とその評価," FIT-2010 IEICE/IPSJ 第9回 情報科学技術フォーラム, D-009, Vol. 2, pp. 411-414, Sep. 2010.
  96. Shin-ichi Minato: "Recent Topics on Decision Diagrams and Discrete Structure Manipulation," In Proc. of 9th International Workshop on Boolean Problems (IWSBP 2010), pp. 103-112, Sep. 2010. (invited)
  97. Shin-ichi Minato: "Discrete Structure Manipulation for Discovery Science Problems," In Proc. of 25th Annual International Symposium on Computer and Information Sciences (ISCIS 2010), pp. 359-364, Sep. 2010. (invited)
  98. Shin-ichi Minato: "Discrete Structure Manipulation System and Applications for Uncertain Data Processing," In Proc. of 1st International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2010), p. 19, Nov. 2010. (invited)
  99. Shin-ichi Minato, Mikael Onsjo, and Osamu Watanabe: "Faster Evaluation of ZBDD Compressed Multi-Linear Functions with GPU Parallelism," Dept. of Math. and Comp. Sciences Research Reports, C-274, Tokyo Institute of Technology, Jan. 2011.
  100. Shin-ichi Minato: "Discrete Structure Manipulation Systems for Large-Scale Knowledge Processing," In Proc. of 2011 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2011) , Hokkaido University, pp. 59-62, Jan. 2011.
  101. Shin-ichi Minato: "PiDD: A New Decision Diagram for Manipulating Sets of Permutations," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-11-50, Feb. 2011.
  102. 河原吉伸, 津田宏治, 鷲尾隆, 武田朗子, 湊真一: "劣モジュラ性を用いた特徴集合列挙," 情報論的学習理論と機械学習研究会, 信学技報, Vol. 110, No. 476, IBISML2010-113, pp. 63-68, Mar. 2011.
  103. Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura and Shin-ichi Minato: "Counter Examples to the Conjecture on the Complexity of BDD Binary Operations," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-11-52, Apr. 2011.
  104. 湊真一: "πDD: 順列集合を演算処理する二分決定グラフ," 電子情報通信学会コンピュテーション研究会, 信学技報, Vol. 111, No. 20, COMP2011-4, pp. 25-32, Apr. 2011.
  105. 青木洋士, 山下茂, 湊真一: "逆順の系列集合を表すSeqBDDの構築," 電子情報通信学会コンピュテーション研究会, 信学技報, Vol. 111, No. 20, COMP2011-3, pp. 17-23, Apr. 2011.
  106. Shuhei Denzumi, Ryo Yoshinaka, Shin-ichi Minato, and Hiroki Arimura: "Efficient Algorithms on Sequence Binary Decision Diagrams for Manipulating Sets of Strings," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-11-53, Apr. 2011.
  107. 湊真一: "[招待講演] ERATO湊離散構造処理系プロジェクトの概要とシステム設計分野の研究について," 電子情報通信学会 リコンフィギャラブルシステム研究会, 信学技報, Vol. 111, No. 31, RECONF2011-11, pp. 61-66, May 2011.
  108. 湊真一: "[招待講演] ERATO湊離散構造処理系プロジェクトの概要と最近の研究状況について," 電子情報通信学会 情報ネットワーク研究会, 信学技報, Vol. 111, No. 146, IN2011-54, pp. 51-56, Jul. 2011.
  109. 斎藤寿樹, 川原純, 吉仲亮, 井上武, 湊真一: "高速なパスの列挙アルゴリズムを用いたネットワークの信頼性評価," 電子情報通信学会 情報ネットワーク研究会, 信学技報, Vol. 111, No. 146, IN2011-55, pp. 57-62, Jul. 2011.
  110. 井上武, 湊真一: "東日本大震災での短縮URLによるサーバ負荷分散とアクセス分析," 電子情報通信学会 情報ネットワーク研究会, 信学技報, Vol. 111, No. 146, IN2011-56, pp. 63-68, Jul. 2011.
  111. 吉仲亮, 川原純, 伝住周平, 有村博紀, 湊真一: "BDD Binary Operation is not in Input-Output Linear Time," 2011夏のLAシンポジウム, Jul. 2011.
  112. 湊真一: "DA分野から発展したBDD/ZDD技術の最近の研究状況について," 情報処理学会DAシンポジウム招待講演, Aug. 2011.
  113. 湊真一: "膨大な個数の順列データを処理する新しい二分決定グラフ," 第3回暗号フロンティア研究会, Sep. 2011.
  114. 湊真一: "大規模な離散構造データを扱うためのGPU利用法の検討," 電子情報通信学会 2011ソサイエティ大会, AI-1-5, Sep. 2011.
  115. 山田倫大, 湊真一: "順列集合を操作する効率的なデータ構造とアルゴリズムの研究について," 電子情報通信学会 2011ソサイエティ大会, BS-1-2, Sep. 2011.
  116. 湊真一: "BDD/ZDDを基盤とする離散構造処理系の技法と最近の展開," 日本ソフトウェア科学会第28回大会 招待講演, Sep. 2011.
  117. Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga: "Fast String Matching Hardwares Based on Bit-Parallel Method for Data Streams," Proc of 2011 International Symposium on Multimedia and Communication Technology (ISMAC 2011), Sep. 2011.
  118. Jun Kawahara, Toshiki Saitoh, Ryo Yoshinaka and Shin-ichi Minato: "Counting Primitive Sorting Networks by PiDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-11-54, Oct. 2011.
  119. 湊 真一: "ベイジアンネットワークとZDDに関する最近の研究状況について," 人工知能学会 第83回人工知能基本問題研究会資料, SIG-FPAI-B102-09, pp. 51-56, Nov. 2011. (招待講演)
  120. Shin-ichi Minato: "Prospective Research Direction on Discrete Structure Manipulation System," In Proc. of 2012 Interenational Symposium on Global COE Program of Center for Next Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2012) , Hokkaido University, pp. 60-63, Jan. 2012.
  121. Shin-ichi Minato: "Permutation Decision Diagrams (PiDDs) and Analysis of Primitive Sorting Networks," In Kenichi Morita and Robert Wille, editor, "Design of Reversible and Quantum Circuits (Dagstuhl Seminar 11502), " Dagstuhl Report, ISSN 2192-5283, Vol. 1, No. 12, p. 56, Mar. 2012.
  122. 湊真一: "フロンティア法:ZDDを用いた極めて高速なグラフ列挙索引化アルゴリズム," 電子情報通信学会2012総合大会, DK-2-1, pp. SS1-SS4, Mar. 2012.
  123. 吉仲亮, 岩下洋哲, 川原純, 斎藤寿樹, 鶴間浩二, 湊真一: "フロンティア法の種々のリンクパズル問題への応用," 電子情報通信学会 2012総合大会, DK-2-2, pp. SS5-SS8, Mar. 2012.
  124. 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘: "フロンティア法の電力網構成制御への応用," 電子情報通信学会2012総合大会, DK-2-3, pp. SS9-SS12, Mar. 2012.
  125. 山田倫大, 湊真一: "πDDのConjugacy Class計算への適用とその性能評価," 電子情報通信学会2012総合大会, DS-1-13, pp. S25-S26, Mar. 2012.
  126. 井上祐馬, 湊真一: "πDDの順列集合演算を用いたパンケーキ整列問題の解析法," 電子情報通信学会2012総合大会, DS-1-14, pp. S27-S28, Mar. 2012.
  127. 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘: "ZDDを用いた系統運用制約を満たす配電網構成の網羅的探索手法," 平成24年電気学会全国大会, 6-031, No.6, pp. 52-53, Mar. 2012.
  128. Norihiro Yamada and Shin-ichi Minato: "A πDD-Based Method for Generating Conjugacy Classes of Permutation Groups," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-12-56, Apr. 2012.
  129. Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto and Shin-ichi Minato: "Shared-Memory Parallel Algorithms for Frontier-Based Search," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-12-57, Apr. 2012.
  130. 青木洋士, 山下茂, 湊真一: "写像枝を用いた系列二分決定グラフ," 電子情報通信学会コンピュテーション研究会, 信学技報, Vol. 112, No. 21, COMP2012-4, pp. 23-28, Apr. 2012.
  131. 鮑若愚, 白井康之, 湊真一: "ユーザレビューに基づく多目的情報評価方法の提案," 2012年度人工知能学会全国大会(第26回), 1C1-R-5-5, Jun. 2012.
  132. 西野正彬, 安田宜仁, 湊真一, 片岡良治: "ZDDを用いた行列圧縮における演算高速化," 2012年度人工知能学会全国大会(第26回), 3I1-R-9-8, Jun. 2012.
  133. 川原純, 湊真一: "組合せ問題の解を列挙索引化するZDD構築アルゴリズムの汎用化," 電子情報通信学会コンピュテーション研究会, 信学技報, Vol. 112, No. 93, COMP2012-12, pp. 1-7, Jun. 2012.
  134. 伝住周平, 有村博紀, 湊真一: "系列二分決定グラフを操作するための豊富な演算体系の構築," 電子情報通信学会コンピュテーション研究会, 信学技報, Vol. 112, No. 93, COMP2012-13, pp. 9-16, Jun. 2012.
  135. Mathias Soeken, Robert Wille, Shin-ichi Minato, and Rolf Drechsler: "Using πDDs in the Design for Reversible Circuits," In Workshop Note of 4th Workshop on Reversible Computation (RC 2012), Jul. 2012.
  136. Shuhei Denzumi, Hiroki Arimura and Shin-ichi Minato: "A Compact Complete Inverted File Based on Sequence Binary Decision Diagrams," In Workshop Note of 15th Japan-Korea Joint Workshop on Algorithms and Computation, Jul. 2012.
  137. 湊真一: "[招待講演] フロンティア法:BDD/ZDDを用いた高速なグラフ列挙索引化の技法," 電子情報通信学会 情報ネットワーク研究会, 信学技報, Vol. 112, No. 134, IN2012-38, pp. 31-36, Jul. 2012.
  138. 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘: "[招待講演] フロンティア法を用いた電力網解析手法," 電子情報通信学会  情報ネットワーク研究会, 信学技報, Vol. 112, No. 134, IN2012-39, pp. 37-42, Jul. 2012.
  139. 湊真一: "[招待講演] フロンティア法:BDD/ZDDを用いた高速なグラフ列挙索引化アルゴリズム, " 電子情報通信学会 NetSci/CCS研究会 合同ワークショップ 発表資料, Aug. 2012.
  140. Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, and Yasuhiro Hayashi: "Loss Minimization of Power Distribution Networks with Guaranteed Error Bound," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-12-59, Aug. 2012.
  141. Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato: "ZDD-Based Computation of the Number of Paths in a Graph," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-12-60, Sep. 2012.
  142. Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, and Shin-ichi Minato: "Fast and Succinct Indices Based on Zero-Suppressed Binary Decision Diagrams," In Proc. of Third Workshop on Algorithms for Large-Scale Information Processing (ALSIP 2012), Nov. 2012.
  143. 岩下 洋哲, 川原 純, 湊 真一: "再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法 (VLSI設計技術)," 電子情報通信学会技術研究報告 : 信学技報, Vol. 112, No. 320, pp. 25-29, Nov. 2012.
  144. 湊真一: "[特別招待講演] ERATO湊離散構造処理系プロジェクトの概要と今後の展望について, " 電子情報通信学会 通信方式研究会, 信学技報, Vol. 112, No. 309, CS2012-70, pp. 35-40, Nov. 2012.
  145. 井上祐馬, 戸田貴久, 湊真一: "順列二分決定グラフを用いたパターン回避順列の列挙索引化," 情報処理学会アルゴリズム研究会, 情処研報, 2013-AL-143, No. 5, Mar. 2013.
  146. 岩下 洋哲, 中澤 吉男, 川原 純, 宇野 毅明, 湊 真一 : "最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ," 情報処理学会アルゴリズム研究会研究会, 情処研報, 2013-AL-143, No. 8, Mar. 2013.
  147. 湊真一: "大規模疎行列を扱うZDDの演算を高速化する飛び越しリンク構造," 電子情報通信学会コンピュテーション研究会, 信学技報, Vol. 112, No. 498, COMP2012-55, pp. 15-22, Mar. 2013.
  148. Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Kunihiko Sadakane, Shin-ichi Minato: "Succinct Indices Based on Zero-Suppressed Binary Decision Diagrams," 電子情報通信学会コンピュテーション研究会, 信学技報, Vol. 112, No. 498, COMP2012-56, pp. 23-30, Mar. 2013.
  149. Shin-ichi Minato: "Z-Skip-Links for Fast ZDD Traversal in Handling Large-Scale Sparse Datasets," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-63, Apr. 2013.
  150. Hiroaki Iwashita, Yoshio Nakazawa, Jun Kawahara, Takeaki Uno, and Shin-ichi Minato: "Efficient Computation of the Number of Paths in a Grid Graph with Minimal Perfect Hash Functions," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-64, Apr. 2013. 
  151. 青木洋士, 山下茂, 湊真一: "写像枝を用いた系列二分決定グラフの効率化," 情報処理学会アルゴリズム研究会, 情処研報, 2013-AL-144, No. 23, May 2013.
  152. S. Minato: "Recent Topics on BDD/ZDD-Based Discrete Structure Manipulation," In Proc. of Reed-Muller Workshop 2013 (RM2013), pp. 1-7, May 2013 (invited talk).
  153. 西野正彬, 安田宜仁, 湊真一, 永田昌明: "ZDDを用いたPersonalized PageRank の高速計算法," 2013年度人工知能学会全国大会(第27回), 2E5-OS-09b-3, Jun. 2013.
  154. 戸田貴久, 湊真一: "二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用," 2013年度人工知能学会全国大会(第27回), 2E5-OS-09b-4, Jun. 2013.
  155. Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato: "Graphillion: Software Library Designed for Very Large Sets of Graphs in Python," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-65, June 2013.
  156. Shin-ichi Minato: "Z-Skip-Links for Fast ZDD Traversal in Handling Large-Scale Sparse Datasets (Revised Ed.)," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-66, June 2013.
  157. Shin-ichi Minato: "Recent Research Activities on BDD/ZDD-based Discrete Structure Manipulation," In Poc. of 2013 International Workshop on Machine Learning and Applications to Biology (MLAB Sapporo 2013), p. 13, Aug. 2013.
  158. 瀧澤重志, 武知祥史, 大田章雄, 中野浩太郎, 加藤直樹, 井上武, 堀山貴史, 川原純, 湊真一: "ZDDを用いた都市の避難所割り当ての列挙," 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集 2013, pp. 66-67, Sep. 2013.
  159. 湊真一: "「フカシギの数え方」― ERATO湊離散構造処理系プロジェクトの概要と最近の話題," 生物物理若手の会 第53回夏の学校 予稿集, pp. 64-67, Sep. 2013.
  160. 湊真一: "BDD/ZDDを基盤とする離散構造処理系の最近の展開," (基礎・境界ソサイエティ関連贈呈式 特別講演), 電子情報通信学会 2013ソサイエティ大会 講演論文集 , AK-1, pp. SS-1 ~ SS-4, Sep. 2013.
  161. Yuma Inoue, Takahisa Toda, and Shin-ichi Minato: "Implicit Generation of Pattern-Avoiding Permutations Based on PiDD," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-67, Sep. 2013.
  162. 青木洋士, 戸田貴久, 湊真一: "巨大で疎な組合せ集合を表現するための三分索引化ZDD," 電子情報通信学会コンピュテーション研究会, 信学技報, Vol. 113, No. 252, COMP2013-32, pp. 1-8, Oct. 2013.
  163. Shin-ichi Minato: "Power of Enumeration --- State-of-the-art Algorithms for Tackling Combinatorial Explosion", In Proc. of the Workshop on Synthesis and Simulation Meeting and International Interchange (SASIMI-2013), I2, pp. 203-207, Oct. 2013. (invited talk)
  164. Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato: "Graphillion: ZDD-Based Software Library for Very Large Sets of Graphs," In Proc. of the Workshop on Synthesis and Simulation Meeting and International Interchange (SASIMI-2013), R4-6, pp. 237-242, Oct. 2013.
  165. Shin-ichi Minato: "The Art of Descrete Structure Manipulation Using BDDs/ZDDs and Applications for Network Analysis," In Proc. of the 14th RIES-Hokudai International Symposium (RIES 2013), pp. 43-45, Dec. 2013.
  166. Hiroshi Aoki and Shin-ichi Minato: "Walk Enumeration Using Sequence Binary Decision Diagrams, " In Proc. of the 14th RIES-Hokudai International Symposium (RIES 2013), P1-C, pp. 50-51, Dec. 2013.
  167. Rytaro Kurai, Takahisa Toda, Koji Tsuda, and Shin-ichi Minato: "Fast Frequent Pattern Enumeration for P-Value Calibration in Combinatorial Regulations," In Proc. of the 14th RIES-Hokudai International Symposium (RIES 2013), P35-C, pp. 103-104, Dec. 2013.
  168. Fiona Mukimba, Ryutaro Kurai, and Shin-ichi Minato: "An Evaluation of the LCM over ZDD algorithm based on Lake Victoria Fisheries Organiztion Database," In Proc. of the 14th RIES-Hokudai International Symposium (RIES 2013), pp. 122-123, Dec. 2013.
  169. Hiroaki Iwashita and Shin-ichi Minato: "Efficient Top-Down ZDD Construction Techniques Using Recursive Specifications," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-69, Dec. 2013.
  170. Shin-ichi Minato: "The Art of Discrete Structure Manipulation Based on BDDs and ZDDs," In Andrew V. Goldberg and Giuseppe F. Italiano and David S. Johnson and Dorothea Wagner, editor, "Algorithm Engineering (Dagstuhl Seminar 13391), " Dagstuhl Report, ISSN 2192-5283, Vol. 3, No. 9, p. 182, Jan. 2014.
  171. Takeru Inoue, Norihito Yasuda, Shunsuke Kawano, Yuji Takenobu, Shin-ichi Minato, and Yasuhiro Hayashi: "Verifying Distribution Networks for Secure Restoration by Enumerating All Critical Failures," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-70, Jan. 2014.
  172. 倉井龍太郎, 永山忍, 湊真一: "大規模な正規表現パタンを扱う高速テキスト検索手法," 2013冬のLAシンポジウム, Jan. 2013.
  173. 竹内聖悟, 戸田貴久, 津田宏治, 湊真一: "ZDDにおける単項演算並列化の一般的枠組みの提案," 人工知能学会 第92回人工知能基本問題研究会資料, SIG-FPAI-B303-14, pp. 71-78, Jan. 2014.
  174. 伝住周平, 津田宏治, 有村博紀, 湊真一: "DAGによる文字列集合の圧縮表現に対する効率的な索引アルゴリズム," 人工知能学会 第92回人工知能基本問題研究会資料, SIG-FPAI-B303-15, pp. 79-84, Jan. 2014.
  175. 鮑若愚, 白井康之, 湊真一: "就職活動学生向けの企業情報推薦システムの提案," 情報処理学会第76回全国大会, 4N-7, pp. 1-621~1-622, Mar. 2014.
  176. 細川拓也, 湊真一, ツォイクマントーマス: "ZDD とコルモゴロフ複雑性を利用したツイッターのユーザ分類," 情報処理学会第76回全国大会, 6L-2, pp. 1-407~1-408, Mar. 2014.
  177. ムハマド ホリルロハマン, 湊真一: "グラフの各頂点を高々2回まで通る経路の数え上げ," 電子情報通信学会2014総合大会, DS-1-10, pp. S-19~S-20, Mar. 2014.
  178. Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, and Kunihiko Sadakane: "A Compact and Fast Index Structure for Families of Sets," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-71, Apr. 2014.
  179. Shin-ichi Minato, Takeaki Uno, Koji Tsuda, Aika Terada, and Jun Sese: "Fast Statistical Assessment for Combinatorial Hypotheses Based on Frequent Itemset Mining," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-72, Apr. 2014.
  180. Norihito Yasuda, Masaaki Nishino, and Shin-ichi Minato, "On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree, " In workshop note of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2014), pp. 3-9, May 2014.
  181. Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato, "Three-way Indexing ZDDs for Large-scale Sparse Datasets," In workshop note of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2014), pp. 32-43, May 2014.
  182. Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato, "A General Framework for Parallel Unary Operations on ZDDs," In workshop note of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2014), pp. 56-67, May 2014.
  183. Yuma Inoue, Takahisa Toda, and Shin-ichi Minato, "Generating Permutations under Pattern Occurrence Constraints Using PiDDs," In workshop note of the fourth International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2014), pp. 80-90, May 2014.
  184. Ryutaro Kurai, Norihito Yasuda, Hiroki Arimura, Shinobu Nagayama, and Shin-ichi Minato: "Fast Regular Expression Matching Using Dual Glushkov NFA," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS Technical Reports, May 2014.
  185. Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, and Shin-ichi Minato: "Determination Method of the Configuration Minimizing Yearly Loss," In Proc. of the 20th International Conference on Electorical Engineering (ICEE 2014), T&DSP-2256, Jun. 2014.
  186. 倉井龍太郎, 安田宜仁, 有村博紀, 永山忍, 湊真一: "Dual Glushkov NFA を用いた正規表現マッチングの高速化," 2014夏のLAシンポジウム, Jul. 2014.
  187. Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi: "Packet Classification for Global Network View of Software-Defined Networking," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-74, Jul. 2014.
  188. Yuma Inoue and Shin-ichi Minato: "An Efficient Method of Indexing All Topological Orders for a Given DAG," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-75, Jul. 2014.
  189. 安田宜仁, 鈴木浩史, 岩下洋哲, 中澤吉男, 湊 真一: "ZDDに基づくグラフ列挙ツールGraphillionを用いたナンバーリンクの解法," 情報処理学会DAシンポジウム2014 アルゴリズムデザインコンテスト ポスターセッション, Aug. 2014.
  190. 高サン, 湊真一: "ベイジアンネットワークの確率計算のためのZDD分解法に関する実験と考察," FIT-2014 IEICE/IPSJ 第13回 情報科学技術フォーラム, A-009, 第1分冊, pp. 59-60, Sep. 2014.
  191. ムハマド ホリルロハマン, 湊真一: "グラフの各頂点を高々2 回まで通る経路数の下界の改善," FIT-2014 IEICE/IPSJ 第13回 情報科学技術フォーラム, A-017, 第1分冊, pp. 85-86, Sep. 2014.
  192. 竹延祐二, 河野俊介, 林泰弘, 安田宜仁, 湊真一: "系統構成切替による年間の配電損失最小化手法," 平成26年電気学会電力・エネルギー部門大会論文集, pp. 43-44, Sep. 2014.
  193. 竹延祐二, 河野俊介, 林泰弘, 安田宜仁, 湊真一: "分枝限定法を用いた系統構成切替による年間の配電損失最小化手法," 平成26年 電気学会 電力技術・電力系統技術合同研究会資料, PE-14-196/PSE-14-196, 分冊5, pp. 127-132, Sep. 2014.
  194. 井上武, 間野暢, 水谷后宏, 湊真一, 明石修: "MDDを用いたSDNグローバルビューのためのパケット分類手法," 電子情報通信学会情報ネットワーク研究会, 信学技報, Vol. 114, No. 207, IN2014-50, pp. 1-6, Sep. 2014.
  195. Jun Kawahara, Takeru Inoue, Hiroaki Iwashita and Shin-ichi Minato: "Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-76, Sep. 2014.
  196. 井上祐馬, 湊真一: "順列決定グラフ(πDD)を用いたオイラー路の高速な列挙索引化," 電子情報通信学会コンピュテーション研究会, 信学技報, Vol. 114, No. 238, COMP2014-30, pp. 25-29, Oct. 2014.
  197. Muhammad Kholilurrohman and Shin-ichi Minato: "An Efficient Algorithm for Enumerating Eulerian Paths," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-77, Oct. 2014.
  198. Yuma Inoue, Takahisa Toda and Shin-ichi Minato: "Generating Sets of Permutations with Pattern Occurrence Counts Using PiDDs," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-78, Oct. 2014.
  199. Hiroyuki Hanada, Shuhei Denzumi, Yuma Inoue, Hiroshi Aoki, Norihito Yasuda, Shogo Takeuchi and Shin-ichi Minato: "Enumerating Eulerian Trails Based on Line Graph Conversion," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-14-79, Oct. 2014.
  200. 湊真一: "ERATO湊離散構造処理系プロジェクトの主な研究成果と近況について," 第26回RAMPシンポジウム (RAMP2014)論文集, 日本オペレーションズ・リサーチ学会 常設研究部会 数理計画, pp. 105-112, Oct. 2014. (招待講演)
  201. Shan Gao, Shin-ichi Minato: "Factorization of ZDDs for Representing Bayesian Networks Based on d-Separation," 人工知能学会第96回人工知能基本問題研究会資料, SIG-FPAI-B403-2, pp. 7-12, Jan. 2015.
  202. Shin-ichi Minato: "Power of Enumeration — BDD/ZDD-Based Methods for Indexing Combinatorial Patterns," In Proc. of 9th International Workshop of Algorithms and Computation (WALCOM2015), (LNCS 8973, Springer), pp. XVIII- XIX, Feb. 2015. (Invited)
  203. 菅谷輝治, 戸田貴久, 湊真一: "ハイパーグラフにおける極大独立集合列挙のためのZDD構築手法," 電子情報通信学会コンピュテーション研究会, 信学技報, Vol. 114, No. 509, COMP2014-45, pp. 19-27, Mar. 2015.
  204. 鈴木浩史, 湊真一: "次数制約を満たす部分グラフを列挙するためのフロンティア法の効率化," 電子情報通信学会2015総合大会, DS-1-7, pp. S-13-14, Mar. 2015.
  205. 井上祐馬, 湊真一: "問題の性質を考慮した分解法に基づく決定グラフの選択," 電子情報通信学会2015総合大会, DS-1-12, pp. S-23-24, Mar. 2015.
  206. 鈴木浩史, 湊真一: "頂点誘導部分グラフを列挙索引化するフロンティア法," 電子情報通信学会コンピュテーション研究会, 信学技報, vol. 115, no. 15, COMP2015-3, pp. 15-20, Apr. 2015.
  207. 堀田敬介, 川原純, 堀山貴史, 湊 真一: "フロンティア法による連結成分列挙と選挙制度への応用," 選挙学会 総会 分科会J, May, 2015.
  208. 竹内聖悟, 藤本武彦, 安田宜仁, 湊真一: "BDD簡約化アルゴリズムの並列化," 2015年度人工知能学会全国大会(第29回), 1E2-4, May. 2015.
  209. 倉井龍太郎, 安田宜仁, 湊真一: "状態遷移の並列比較によるNFA照合高速化," 2015年度人工知能学会全国大会(第29回), 2E1-2, May. 2015.
  210. 湊真一: "(OS招待講演)BDD/ZDD処理系とSATソルバに関する研究の流れと最近の話題," 2015年度人工知能学会全国大会(第29回), 2H4-OS-03a-1, May. 2015.
  211. 竹内文登, 安田宜仁, 湊真一: "組合せ集合のmeet演算による共通因子抽出," 2015年度人工知能学会全国大会(第29回), 3C4-3, May. 2015.
  212. ムハマドホリルロハマン, 湊真一: "オイラー路の高速な列挙索引化アルゴリズム," 2015年度人工知能学会全国大会(第29回), 4E1-1, May. 2015.
  213. 湊真一: "離散構造処理系に関する最近の研究状況と今後の展望," 情報処理学会アルゴリズム研究会, 情処研報, 2015-AL-153, Jun. 2015. (招待講演)
  214. 竹延祐二, 安田宜仁, 河野俊介, 湊真一, 林泰弘: "系統構成を考慮した分散型電源の連系可能最大容量の決定手法," 平成27年電気学会電力・エネルギー部門大会論文集, 4-5-19, Aug. 2015.
  215. 安田宜仁, 竹延祐二, 河野俊介, 湊真一, 林泰弘: "網羅的な実行可能構成の列挙に基づく年間配電エネルギー損失最小化," 平成27年電気学会電力・エネルギー部門大会論文集, 4-6-13, Aug. 2015.
  216. 鈴木浩史, 孫浩, 湊真一: " ZDDの幅を制限したフロンティア法によるナンバーリンクの解探索," 情報処理学会DAシンポジウム2015 アルゴリズムデザインコンテスト ポスターセッション, Aug. 2015.
  217. 青木洋士, 安田宜仁, 湊真一: "系列二分決定グラフを用いた全頂点対ウォークの列挙と索引化," 電子情報通信学会コンピュテーション研究会, 信学技報, vol. 115, no. 205, COMP2015-21, pp. 35-39, Sep. 2015.
  218. 湊真一: "離散構造処理系プロジェクト―最近の話題と今後の展望," 電子情報通信学会2015ソサイエティ大会, BI-2-1, 通信講演論文集2, pp. SS-49 - SS-50, Sep. 2015.
  219. 川原純, 堀田敬介, 堀山貴史, 湊 真一: "m連結成分分割の高速列挙法と区割の比較," 日本オペレーションズ・リサーチ学会秋季研 究発表会, 1-A-4, Sep. 2015.
  220. 伊藤華, 井上祐馬, 湊真一: "ZDD のトップダウン構築における変数順序付法の考察," 第14回 情報科学技術フォーラム(FIT2015), A009, 第1分冊, pp. 115-116, Sep. 2015.
  221. 竹内文登, 鈴木浩史, 白石恒介, 安田宜仁, 湊真一: "MEET演算を用いた組合せ集合間の類似度の定義と応用," 第14回 情報科学技術フォーラム(FIT2015), F021, 第2分冊, pp. 329-330, Sep. 2015.
  222. Shin-ichi Minato: "The Art of Graph Algorithms Based on ``Power of Enumeration''," In Proc. of the 3rd International Symposium on Computing and Networking (CANDAR2015), Keynote 2, Dec. 2015. (Invited)
  223. 竹内文登, 西野正彬, 安田宜仁, 秋葉拓哉, 湊真一, 永田昌明: "制約を伴うDAG最短路問題の高速解法," 電子情報通信学会コンピュテーション研究会, 信学技報, vol. 115, no. 344, COMP2015-31, pp. 9-16, Dec. 2015.
  224. 安田宜仁, 湊真一, 竹延祐二, 林泰弘: "配電損失最小化問題のスケーラブルな厳密解法," 平成28年電気学会全国大会論文集, 6-156, Vol. 6, pp. 250-251, Mar. 2016.
  225. 竹延祐二, 河野俊介, 林泰弘, 安田宜仁, 湊真一: "大規模配電網における分散型電源連系可能最大容量の厳密解法," 平成28年電気学会全国大会論文集, 6-161, Vol. 6, pp. 259-260, Mar. 2016.
  226. Shin-ichi Minato: "Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation," In Proc. of IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL2016), p. 143, May, 2016. (Invited)
  227. 安田宜仁, 西野正彬, 湊真一: "ZDDを用いた多次元ナップサック問題の厳密解法," 2016年度人工知能学会全国大会(第30回), 1F3-3, Jun. 2016.
  228. 井上祐馬, 鈴木浩史, 伊藤華, 湊真一: "グラフの部分構造を列挙するZDD構築のための変数順序付けヒューリスティクス," 2016年度人工知能学会全国大会(第30回), 1D5-OS-02b-4, Jun. 2016.
  229. 鈴木浩史, 孫浩, 湊真一: "BDD/ZDDを用いたマインスイーパーの爆弾配置パタンの列挙," 2016年度人工知能学会全国大会(第30回), 1D5-OS-02b-3in2, Jun. 2016.
  230. 竹内文登, 西野正彬, 安田宜仁, 湊真一: "制約付き系列ラベリングの高速解法," 2016年度人工知能学会全国大会(第30回), 2L5-5in2, Jun. 2016.
  231. 蓑田玲緒奈, 湊真一:"モデル検査によるSmart Objectの近傍近接連携モデルの検証," 人工知能学会第101回人工知能基本問題研究会資料, SIG-FPAI-B504, pp. 7-14, Aug. 2016.
  232. 和佐州洋, 石畠正和, 宇野毅明, 湊真一: "列挙木とMCMCを組み合わせた部分グラフサンプリングアルゴリズムの構築," 人工知能学会第101回人工知能基本問題研究会資料, SIG-FPAI-B504, pp. 35-40, Aug. 2016.
  233. 鈴木浩史, 湊真一: "ZDDを用いたグラフ列挙索引化における頂点インデックスの追加," 人工知能学会第101回人工知能基本問題研究会資料, SIG-FPAI-B504, pp. 41-46, Aug. 2016.
  234. 井上祐馬, 湊真一: "順列のサイクルタイプ同値類分割に対する順列決定グラフの適用," 人工知能学会第101回人工知能基本問題研究会資料, SIG-FPAI-B504, pp. 47-52, Aug. 2016.
  235. 西野正彬, 安田 宜仁, 湊 真一, 永田 昌明: "グラフ部分構造列挙のためのゼロサプレス型項分岐決定図の効率的な構築法," 情報処理学会アルゴリズム研究会, 情処研報, 2016-AL-159, No. 2, pp. 1-8, Sep. 2016.
  236. 湊真一: "離散構造処理系プロジェクトと超高速グラフ列挙技法 (企画セッション「超高速グラフ列挙法と統計学への応用」)", 2016年度 統計学会連合大会講演報告集, p. 144, Sep. 2016.
  237. 川原純, 堀山貴史, 堀田敬介, 湊真一: "一票の格差が小さな選挙区の列挙 (企画セッション「超高速グラフ列挙法と統計学への応用」)", 2016年度 統計学会連合大会講演報告集, p. 146, Sep. 2016.
  238. 石丸亮, 青木洋士, 湊 真一: "グラフウォークを列挙する系列二分決定グラフの高速な生成法に関する実験と評価," 第15回情報科学技術フォーラム(FIT2016), A-009, 第1分冊, pp. 101-102, Sep. 2016.
  239. 鈴木慶介, 今井英幸, 張若霓, 瀧川一学, 湊 真一: "平行移動不変な非負値行列因子分解とその分析," 第15回情報科学技術フォーラム(FIT2016), F-004, 第2分冊, pp.175-176, Sep. 2016.
  240. 林大祐, 羽室行信, 岡田克彦, 湊真一: "株価データベースに対する週次パタンマイニングとその評価," 第15回情報科学技術フォーラム(FIT2016), F-032, 第2分冊, pp.241-242, Sep. 2016.
  241. 湊真一: "離散構造処理系に関する最近の研究と今後の展望," 電子情報通信学会2016ソサイエティ大会, AI-2-2, 基礎・境界/NOLTA講演論文集, p. SS-23, Sep. 2016. (Invited)
  242. Yuma Inoue and Shin-ichi Minato: "Acceleration of ZDD Construction for Subgraph Enumeration via Path-width Optimization," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-16-80, Oct. 2016.
  243. Shin-ichi Minato: "Recent Research Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation," In Proc. of the 11th International Workshop on Information Search, Integration, and Personalization (ISIP 2016), Nov. 2016.
  244. 高サン, 石畠正和, 湊 真一: "Separate Compilation of Bayesian Networks for Efficient Exact Inference," 人工知能学会第103回人工知能基本問題研究会資料, SIG-FPAI-B506-08, pp. 37-44, Mar. 2017.
  245. 竹内文登, 安田宜仁, 西野正彬, 湊真一: "論理制約を伴う最短路問題を解く動的計画法の空間計算量の削減," 情報処理学会第79回全国大会, 3H-02, Vol. 1, pp. 235-236, Mar. 2017.
  246. 鈴木浩史, 湊真一: "ZDDを用いた0-1多目的ナップサック問題のパレート解列挙," 情報処理学会第79回全国大会, 5A-04, Vol. 1, pp. 181-182, Mar. 2017.
  247. 井上祐馬, 湊真一: "複数の順列に共通して現れるパターンの列挙法," 情報処理学会第79回全国大会, 5A-05, Vol. 1, pp. 183-184, Mar. 2017.
  248. Hirofumi Suzuki and Shin-ichi Minato: "ZDD-Based Enumeration of Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems," Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-17-81, Jun. 2017.
  249. Keisuke Hotta, Jun Kawahara, Takashi Horiyama, and Shin-ichi Minato: "Enumeration and Evaluation for the Single-Seat Constituency System," Aural presentation at the 21st Conference of the International Federation of Operational Research Societies (IFORS2017), Jul. 2017.
  250. Shin-ichi Minato: "Decision Diagram-Based Enumeration Techniques and Applications for Statistical Data Analysis," In Book of Abst. of the 15th Conference of the International Federation of Classification Societies (IFCS-2017), p. 182, Aug. 2017.
  251. Jun Kawahara, Takashi Horiyama, Keisuke Hotta and Shin-ichi Minato: "Enumeration Algorithms for Politival Districting," In Book of Abst. of the 15th Conference of the International Federation of Classification Societies (IFCS-2017), p. 140, Aug. 2017.
  252. 鈴木浩史, 石畠正和, 湊真一: "フロンティア法による強連結な部分グラフの列挙," 人工知能学会第104回人工知能基本問題研究会資料, SIG-FPAI-B507, pp. 26-31, Aug. 2017.

ホームページに戻る
Last Update: Nov. 14, 2017

Valid HTML 4.01 Transitional