論文等リスト

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

著書（一部執筆）

  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, Dec. 1999.
  3. Shin-ichi Minato: "Data Mining  Using Binary Decision Diagrams," In T. Sasao and J. Butler, editor, "Progress in Representation of Discrete Functions (Synthesis Lectures on Digital Circuits and Systems)," chapter 5, pp. 97-109, Morgan & Claypool Publishers, May 2010.

編著

  1. 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.
  2. 湊真一(監修): "2010年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録," ERATO湊離散構造処理系プロジェクト, 1-525p, ISSN 2186-1846, June 2011.

学位論文

  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. 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., 2012. (to appear)

著書（論文形式，査読つき）

  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.

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

  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, pp. 139-150, Springer, 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," 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," 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," 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," 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," 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," 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," 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," 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," 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," 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," 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," Proc of 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011), LNAI 7047 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," 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," Proc of The 24th Australasian Joint Conference on Artificial Intelligence (AI2011), LNAI 7106, pp. 203-212, Dec. 2011.

総説

  1. 湊 真一: "二分決定グラフに基づく論理関数処理の技法", 第５回 回路とシステム軽井沢ワークショップ, 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. 湊 真一: "論理代数と論理関数," 電子 情報通信学会「知識ベース」, 電子情報通信学会, 1群-8編-1章, pp. 1-30, Mar, 2011.

研究会、報告書等

  1. 湊 真一, 石浦 菜岐佐, 矢島 脩三: "論理関数の共有二分決定グラフによる表現とその効率的処理手法", 電子情報通信学会VLSI設計技術研究会/情報処理学会設計自動化研究会（共催）, 信学技報 Vol. 89, No. 338, VLD89-80, pp. 39-45, Dec. 1989.
  2. 湊 真一: "共有二分決定グラフの「幅」に着目した変数の順序づけによるノード数削減法", 第４回 回路とシステム軽井沢ワークショップ, 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. H. Okuno, S. Minato, and H. Isozaki: "On the Properties of Combination Set Operations", Information Procssing Letters, Elsevier, 66 (1998), pp. 195-199, 1998.
  10. 湊 真一, G. De Micheli: "非冗長積和形生成とその因数分解による論理関数のSimple Disjunctive Decomposition", 情報処理学会DAシンポジウム論文集, Vol. 98, No. 9, pp. 251-256, Jul. 1998.
  11. Bernd Becker, Christoph Meinel, Shin-ichi Minato, and Fabio Somenzi (editors): "Decision Diagrams - Concepts and Applications," Dagstuhl-Seminar-Report; 299, (99041), Jan. 1999.
  12. 湊 真一, 石原晋也: "BDDの規模によらず一定の実記憶の範囲内で動作するストリーム形式BDD処理アルゴリズム", 情報処理学会システムLSI設計技術研究会, 情処研報 Vol. 99, SLDM-93, Dec.1999.
  13. 井上 武, 谷 誠一郎, 湊 真一, 高橋 宏和, 小田部 悟士, 宮崎 敏明: "Flexcastによるインターマルチキャスティング方式の提案と日米映像配信実験", 電子情報通信学会ネットワークシステム研究会, 信学技報,  Vol.103, No.122, NS2003-37, pp. 13-16, Jun. 2003.
  14. 石丸 勝洋，小倉 孝夫，井上 武，湊 真一，宮崎 敏明，青山 友紀: "JGNを介した大規模映像配信プラットフォーム", 電子情報通信学会 情報ネットワーク研究会, 信学技報, Vol. 103, No. 123, IN2003-21, pp. 31-36, Jun. 2003.
  15. 井上 武, 谷 誠一郎, 高橋 宏和, 湊 真一, 宮崎 敏明, 豊島　鑑: "Flexcastに基づくマルチキャストシステムの開発とその方式設計について", 電子情報通信学会ネットワークシステム研究会, 信学技報, NS2004-50, pp. 37-40, Jun. 2004.
  16. 湊　真一, 有村博紀: "ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの解析手法", 日本ソフトウェア科学会第４回データマイニングワークショップ予稿集, ISSN 1341-870X, No. 29, pp.41-46, Sep. 2004.
  17. 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.
  18. 高橋宏和, 湊 真一, 井上 武, 東條 弘, 豊島 鑑: "MulticastVNCを用いた講義ノート配信システムのトラフィック特性評価", 電子情報通信学会 2005総合大会, B-7-73, Mar. 2005.
  19. 湊 真一: "VSOP: ゼロサプレス型BDDに基づく「重み付き積和集合」計算プログラム", 電子情報通信学会コンピュテーション研究会, 信学技報 Vol. 105, No. 72, COMP2005-10, pp. 31-38, May. 2005.
  20. 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.
  21. 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.
  22. 湊 真一, 高橋 宏和, 井上 武, 東條 弘, 豊島 鑑: "FlexcastとJavaAppletに基づくプログラマブルな多地点同報配信アプリケーションの実装法", 電子情報通信学会 情報ネットワーク研究会, 信学技報, IN2005-49, pp. 121-126, July 2005.
  23. 高橋 宏和, 井上 武, 東條 弘, 豊島 鑑, 湊 真一: "Flexcastを用いた講義ノート多地点同報配信システムの検討", 電子情報通信学会 情報ネットワーク研究会, 信学技報, IN2005-50, pp. 127-132, July 2005.
  24. 湊 真一: "ゼロサプレス型BDDに基づく組合せ集合の単純直交分解の抽出", 情報処理学会DAシンポジウム2005論文集, Vol. 2005, No. 9, pp. 175-180, Aug. 2005.
  25. 高橋宏和, 井上 武, 東條 弘, 豊島 鑑, 湊 真一: "トラヒックの平滑化とFECによる講義ノート映像品質の改善," 電子情報通信学会 2005ソサイエティ大会, B-7-31, Sep. 2005.
  26. 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.
  27. 湊 真一: "組合せ集合の単純直交分解の抽出と発見科学への応用", 人工知能学会 第61回 人工知能基本問題研究会 資料, SIG-FPAI-A503-06, pp. 33-39, Nov. 2005.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 岩崎 玄弥, 湊 真一, ツォイクマン トーマス: "データベース解析のためのゼロサプレス型二分決定グラフの簡単化について," FIT-2006 IEICE/IPSJ 第5回情報科学技術フォーラム, F-019, Sep. 2006.
  36. 岩崎 玄弥, 湊 真一, ツォイクマン トーマス: "データベース解析のためのゼロサプレス型二分決定グラフの簡単化に関する考察," 人工知能学会 人工知能基礎問題研究会 資料, SIG-FPAI-A601-13, pp. 65-70, Sep. 2006.
  37. 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.
  38. 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.
  39. 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.
  40. 岩崎 玄弥, 湊 真一, ツォイクマン トーマス: "データベース解析のためのゼロサプレス型BDDの変数順序づけ方法とその評価," 電子情報通信学会 データ工学研究会 (DEWS 2007), 信学技報, DEWS2007 M4-6, March. 2007.
  41. 湊 真一: "データベースの頻出アイテム集合を表すゼロサプレス型BDDの変数順序付けの理論的考察", 電子情報通信学会コンピュテーション研究会, 信学技報 Vol. 106, No. 566, COMP2006-55 pp. 37-42, Mar. 2007.
  42. 湊 真一: "「共起成分の含意関係」を満たすアイテム集合のデータマイニング", 人工知能学会 第65回人工知能基本問題研究会 資料, SIG-FPAI-A603-10, pp. 53-58, Mar. 2007.
  43. 井上武, 湊真一, 上松仁, 豊島　鑑: "ネットワークによるフロー切り替えを行うマルチキャスト電子透かし方式の検討," 電子情報通信学会2007総合大会, B-7-4, Mar. 2007.　
  44. 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.
  45. 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.
  46. 湊 真一: "[招待講演] 二分決定グラフ（BDD）を活用したデータマイニング・知識発見技術の最近の話題", 電子情報通信学会 人工知能と知識処理研究会, 信学技報, Vol. 107, No. 78, AI2007-6, pp. 27-32, May 2007.
  47. 湊 真一: "「共起成分の含意関係」に基づくデータベースからの知識発見", 人工知能学会 第4回 データマイニングと統計数理研究会 (SIG-DMSM) 講演報告集, SIG-DMSM, July, 2007.
  48. 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.
  49. 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.
  50. 岩崎玄弥, 湊 真一: Thomas Zeugmann: "頻出パタンマイニングのためのゼロサプレス型BDDの変数順序付け方法の高速化の検討," FIT-2007 IEICE/IPSJ  第6回 情報科学技術フォーラム, F-011, pp. 359-361, Sep. 2007.
  51. 礒松紘平, 湊 真一, Thomas Zeugmann: "頻出パタン集合を表現する二分決定グラフの変数順序改善法に関する実験と考察," FIT-2007 IEICE/IPSJ  第6回 情報科学技術フォーラム, F-012, pp. 363-365, Sep. 2007.
  52. 倉井龍太郎, 湊 真一: Thomas Zeugmann: "ゼロサプレス型BDDを用いた無順序 n-gram 表現法の性能評価," FIT-2007 IEICE/IPSJ  第6回 情報科学技術フォーラム, F-013, pp. 367-368, Sep. 2007.
  53. 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.
  54. 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.
  55. 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.
  56. 立石 匡, 湊 真一:  "二分決定グラフを用いた数独パズルの解探索と列挙," 情報処理学会第70回全国大会, 6ZK-10, pp. 5-253-5-254, Mar. 2008.
  57. 二木 克也, 湊 真一: "共起成分の含意関係に基づく文献データベースからの共著関係の抽出," 電子情報通信学会2008総合大会, D-4-3, 情報・システム講演論文集1, p. 42, Mar. 2008.
  58. 豊島鑑, 井上武, 上松仁, 高橋宏和, 仁科五月, 高木剛, 湊真一: "漏洩者の特定と配信停止が可能なマルチキャスト配信方式," 電子情報通信学会2008総合大会, BS-5-5, 通信講演論文集2, pp. S-66-S-65, Mar. 2008.
  59. 倉井龍太郎, 湊　真一, ツォイクマン トーマス: "ゼロサプレス型二分決定グラフによる圧縮と知識発見," 電子情報通信学会データ工学研究会, 信学技報, Vol. 108, No. 93, DE2008-10, pp. 53-57, June 2008.
  60. 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.
  61. 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.
  62. 石畠正和, 亀谷由隆, 佐藤泰介, 湊真一: "BDD上の命題化確率計算に基づくEMアルゴリズム,"人工知能学会  第70回人工知能基本問題研究会 資料, July 2008.
  63. 齋藤高央, 湊真一, ツォイクマントーマス: "コルモゴロフ複雑性に基づく画像圧縮と分類に関する実験と考察," FIT-2008 IEICE/IPSJ 第7回 情報科学技術フォーラム, F-020, pp. 355-357, Sep. 2008.
  64. 礒松紘平, 湊 真一: "ベイジアンネットワークを表現するゼロサプレス型BDDの変数順序付けに関する実験と考察," FIT-2008 IEICE/IPSJ 第7回 情報科学技術フォーラム, F-050, pp. 433-435, Sep. 2008.
  65. 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.
  66. 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.
  67. 礒松紘平, 湊 真一: "ベイジアンネットワークを表現するゼロサプレス型BDDの変数順序付け方法に関する考察,"人工知能学会  第72回 人工知能基本問題研究会資料, pp. 49-53, Nov. 2008.
  68. 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.
  69. 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.
  70. 石畠正和, 亀谷由隆, 佐藤泰介, 湊真一: "否定枝を含むshared BDD 上で動作するEM アルゴリズム," 人工知能学会  第9回 データマイニングと統計数理研究会 (SIG-DMSM) 講演報告集, SIG-DMSM-A803, pp. 11-19, Mar, 2009.
  71. 金田悠作, 吉澤真吾, 湊真一, 有村博紀, 宮永喜一: "高速ストリーム処理のための文字列パターン照合手法とそのFPGA設計," 電子情報通信学会2009総合大会, D-4-18, 情報・システム講演論文集1, p. 36, Mar. 2009.
  72. 鈴木拡, 湊真一: "BDD/ZDDを用いたペントミノパズルの解の列挙," 電子情報通信学会コンピュテーション研究会, 信学技報 Vol. 109, No. 54, COMP2009-9, pp. 1-7, May. 2009.
  73. 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.
  74. 岡崎佑太, 湊真一: "頻出パタン抽出アルゴリズム「LCM over ZDDs」の変数順序付けの影響に関する考察," FIT-2009 IEICE/IPSJ 第8回 情報科学技術フォーラム, D-031, pp. 199-201, Sep. 2009.
  75. 金崎健之, 湊真一: "ベイジアンネットワークを表現するZDDの初期変数順序付け方法の改良, FIT-2009 IEICE/IPSJ 第8回 情報科学技術フォーラム, F-061, pp. 553-555, Sep. 2009.
  76. 湊 真一: "異分野共同研究プロジェクト「FPGA高速情報検索」の活動報告," 北海道大学グローバルCOEプログラム「知の創出を支える次世代IT基盤拠点」 第2回 若手研究者支援のための産学協同GCOE国内シンポジウム ダイジェスト集, p. 22, Sep. 2009.
  77. 金田悠作, 吉澤真吾, 湊真一, 有村博紀, 宮永喜一: "大規模ストリームデータ処理のための高速なハードウェア指向アルゴリズムの研究," 北海道大学グローバルCOEプログラム「知の創出を支える次世代IT基盤拠点」 第2回 若手研究者支援のための産学協同GCOE国内シンポジウムダイジェスト集, p. 61-62, Sep. 2009.
  78. 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.
  79. 二木克也, 湊真一: "共起成分の含意関係に基づくデータマイニングの実験と考察," 情報論的学習理論ワークショップ (IBIS 2009) テクニカルレポート集, pp. 99-104, Oct. 2009.
  80. 湊 真一: "ZDDによるベイジアンネットワーク推論の高速化," 人工知能学会 第75回人工知能基本問題研究会資料, SIG-FPAI-A902-16, pp. 93-98, Nov. 2009. (招待講演）
  81. 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.
  82. 金在成, 吉澤真吾, 金田悠作, 湊真一, 有村博紀, 宮永喜一: "eラーニングと遠隔FPGAの連携による異分野共同研究環境の開発," 信学技報 Vol. 109, No. 393, VLD2009-74, CPSY2009-56, RECONF2009-59, pp. 31-34, Jan, 2010.
  83. 金田悠作, 吉澤真吾, 湊真一, 有村博紀, 宮永喜一: "効率良い正規表現照合のための並列ビット分配にもとづいたハードウェア指向アルゴリズム," 信学技報 Vol. 109, No. 393, VLD2009-90, CPSY2009-72, RECONF2009-75, pp. 131-136, Jan, 2010.
  84. 伝住周平, 有村博紀, 湊真一: "系列二分決定グラフを用いた部分文字列索引の構築," 第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010), E3-4, Feb. 2010.
  85. 岡崎佑太, 湊真一: "ZDDを用いた頻出パタン演算によるWebテキストデータからの知識発見," 第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010), I-2, Feb. 2010.
  86. 二木克也, 湊真一: "2個組アイテムのデータベースにおける共起成分の含意関係の性質について," 第2回データ工学と情報マネジメントに関するフォーラム(DEIM 2010), I-8, Feb. 2010.
  87. 鈴木拡, 湊真一: "ZDDを用いた立体ペントミノパズルの解の列挙," 情報処理学会創立50周年記念（第72回）全国大会, 3ZP-5, pp. 5-245-246, Mar. 2010.
  88. 金田悠作, 湊真一, 有村博紀: "並列ビット分配にもとづいた効率的な正規表現照合アルゴリズム," 電子情報通信学会2010総合大会, D-1-7, 情報・システム講演論文集1, p. 7, Mar. 2010.
  89. 高橋渉, 湊真一: "ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成," 人工知能学会 第77回人工知能基本問題研究会資料, SIG-FPAI-A904-05, pp.25-30, Mar. 2010.
  90. 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.
  91. 金田悠作, 湊真一, 有村博紀: "非巡回正規表現に対する効率的なパターン照合," 信学技報, Vol. 110, No. 37, COMP2010-11, pp. 23-29, May 2010.
  92. 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.
  93. 石畠正和, 亀谷由隆, 佐藤泰介, 湊　真一: "命題論理に基づく確率モデルのための二分決定グラフと順序符号化を用いた効率的なEMアルゴリズム," 信学技報, Vol. 110, No. 76, IBISML2010-23, pp. 155-165, Jun. 2010.
  94. 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.
  95. 岡崎佑太, 湊真一: "ZDDを用いた頻出パタン演算によるWebテキストデータからの知識発見とその評価," FIT-2010 IEICE/IPSJ 第9回 情報科学技術フォーラム, D-009, Vol. 2, pp. 111-113, Sep. 2010.
  96. 高橋渉, 湊真一: "ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成とその評価," FIT-2010 IEICE/IPSJ 第9回 情報科学技術フォーラム, D-009, Vol. 2, pp. 411-414, Sep. 2010.
  97. 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)
  98. 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)
  99. 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)
  100. 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.
  101. 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.
  102. 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.
  103. 河原吉伸, 津田宏治, 鷲尾隆, 武田朗子, 湊真一: "劣モジュラ性を用いた特徴集合列挙," 情報論的学習理論と機械学習研究会, 信学技報, Vol. 110, No. 476, IBISML2010-113, pp. 63-68, Mar. 2011.
  104. 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.
  105. 湊真一: "πDD: 順列集合を演算処理する二分決定グラフ," 電子情報通信学会コンピュテーション研究会, 信学技報, Vol. 111, No. 20, COMP2011-4, pp. 25-32, Apr. 2011.
  106. 青木洋士, 山下茂, 湊真一: "逆順の系列集合を表すSeqBDDの構築," 電子情報通信学会コンピュテーション研究会, 信学技報, Vol. 111, No. 20, COMP2011-3, pp. 17-23, Apr. 2011.
  107. 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.
  108. 湊真一: "[招待講演] ERATO湊離散構造処理系プロジェクトの概要とシステム設計分野の研究について," 電子情報通信学会 リコンフィギャラブルシステム研究会, 信学技報, Vol. 111, No. 31, RECONF2011-11, pp. 61-66, May 2011.
  109. 湊真一: "[招待講演] ERATO湊離散構造処理系プロジェクトの概要と最近の研究状況について," 電子情報通信学会 情報ネットワーク研究会, 信学技報, Vol. 111, No. 146, IN2011-54, pp. 51-56, Jul. 2011.
  110. 斎藤寿樹, 川原純, 吉仲亮, 井上武, 湊真一: "高速なパスの列挙アルゴリズムを用いたネットワークの信頼性評価," 電子情報通信学会 情報ネットワーク研究会, 信学技報, Vol. 111, No. 146, IN2011-55, pp. 57-62, Jul. 2011.
  111. 井上武, 湊真一: "東日本大震災での短縮URLによるサーバ負荷分散とアクセス分析," 電子情報通信学会 情報ネットワーク研究会, 信学技報, Vol. 111, No. 146, IN2011-56, pp. 63-68, Jul. 2011.
  112. 吉仲亮, 川原純, 伝住周平, 有村博紀, 湊真一: "BDD Binary Operation is not in Input-Output Linear Time," 2011夏のLAシンポジウム, Jul. 2011.
  113. 湊真一: "DA分野から発展したBDD/ZDD技術の最近の研究状況について," 情報処理学会DAシンポジウム招待講演, Aug. 2011.
  114. 湊真一: "膨大な個数の順列データを処理する新しい二分決定グラフ," 第3回暗号フロンティア研究会, Sep. 2011.
  115. 湊真一: "大規模な離散構造データを扱うためのGPU利用法の検討," 電子情報通信学会 2011ソサイエティ大会, AI-1-5, Sep. 2011.
  116. 山田倫大, 湊真一: "順列集合を操作する効率的なデータ構造とアルゴリズムの研究について," 電子情報通信学会 2011ソサイエティ大会, BS-1-2, Sep. 2011.
  117. 湊真一: "BDD/ZDDを基盤とする離散構造処理系の技法と最近の展開," 日本ソフトウェア科学会第28回大会 招待講演, Sep. 2011.
  118. 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.
  119. 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.
  120. 湊 真一: "ベイジアンネットワークとZDDに関する最近の研究状況について," 人工知能学会 第83回人工知能基本問題研究会資料, SIG-FPAI-B102-09, pp. 51-56, Nov. 2011. (招待講演）
  121. 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.
  122. 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.
  123. 湊真一: "フロンティア法：ZDDを用いた極めて高速なグラフ列挙索引化アルゴリズム," 電子情報通信学会2012総合大会, DK-2-1, pp. SS1-SS4, Mar. 2012.
  124. 吉仲亮, 岩下洋哲, 川原純, 斎藤寿樹, 鶴間浩二, 湊真一: "フロンティア法の種々のリンクパズル問題への応用," 電子情報通信学会 2012総合大会, DK-2-2, pp. SS5-SS8, Mar. 2012
  125. 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘: "フロンティア法の電力網構成制御への応用," 電子情報通信学会2012総合大会, DK-2-3, pp. SS9-SS12, Mar. 2012..
  126. 山田倫大, 湊真一: "πDDのConjugacy Class計算への適用とその性能評価," 電子情報通信学会2012総合大会, DS-1-13, pp. S25-S26, Mar. 2012.
  127. 井上祐馬, 湊真一: "πDDの順列集合演算を用いたパンケーキ整列問題の解析法," 電子情報通信学会2012総合大会, DS-1-14, pp. S27-S28, Mar. 2012.
  128. 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘: "ZDDを用いた系統運用制約を満たす配電網構成の網羅的探索手法," 平成24年電気学会全国大会, 6-031, No.6, pp. 52-53, Mar. 2012.
  129. 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.
  130. 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.
ホームページに戻る
Last Update: Apr 26, 2012

Valid HTML 4.01 Transitional