MINATO Shin-ichi

J-GLOBAL         Last updated: Jun 16, 2019 at 17:41
 
Avatar
Name
MINATO Shin-ichi
URL
http://www.lab2.kuis.kyoto-u.ac.jp/minato/
Affiliation
Kyoto University
Section
Graduate School of Informatics
Job title
Professor
Degree
Dr. Eng.(Kyoto University)
Other affiliation
National Institute of Informatics
ORCID ID
0000-0002-1397-1020

Profile

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

Research Areas

 
 

Academic & Professional Experience

 
Apr 2018
 - 
Today
Professor, Graduate School of Informatics, 京都大学
 
Apr 2018
 - 
Today
Visiting Professor, Research Institute for Electronic Science, Hokkaido University
 
Oct 2017
 - 
Today
Member, Science Council of Japan
 
May 2015
 - 
Today
Visiting Reseacher, Artificial Intelligence Research Center, National Institute of Advanced Industrial Science and Technology (AIST)
 
Apr 2014
 - 
Today
Visiting Professor, National Institute of Informatics
 
Jun 2018
 - 
Jun 2020
Director Board, IPSJ
 
Oct 2010
 - 
Mar 2018
Professor, Graduate School of Information Science and Technology, Hokkaido University
 
2010
 - 
Today
Adjunct Researcher, Research Institute for Advanced Network Technology, Waseda University
 
Oct 2009
 - 
Mar 2015
Research Director, ERATO MINATO Discrete Structure Manipulation System Project, Japan Science and Technology Agency (JST)
 
Mar 2004
 - 
Sep 2010
Associate Professor, Graduate School of Information Science and Technology, Hokkaido University
 
1998
 - 
2004
 Senior Researcher,NTT Network Innovation Laboratories
 
1999
 - 
2001
 Lecturer,Keio University Shonan-Fujisawa-Campus
 
1990
 - 
1998
 Researcher,NTT LSI Laboratories
 
1997
   
 
 Visiting Scholar,Stanford University
 

Education

 
 
 - 
1995
Graduate School, Division of Engineering, Kyoto University
 
 
 - 
1990
Graduate School, Division of Engineering, Kyoto University
 
 
 - 
1988
Faculty of Engineering, Kyoto University
 

Published Papers

 
Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, and Koji Kurihara
Japanese Journal of Statistics and Data Science (JJSD)   2(1) 241-262   Jun 2019   [Refereed]
A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic
Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, and Koji Kurihara
Proc. of SIAM International Conference on Data Mining (SDM2019)   91-99   May 2019   [Refereed]
Exact Computation of Strongly Connected Reliability by BDDs
Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato
Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018)   281-295   Dec 2018   [Refereed]
Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, and Yasuhiro Hayashi
International Journal of Electrical Power & Energy Systems   105 867-876   Dec 2018   [Refereed]
Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity
Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, and Tamiki Komatsuzaki
Proc. of 7th International Conference on the Theory and Practice of Natural Computing (TPNC 2018   111-123   Dec 2018   [Refereed]
FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search
akashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki and Masanao Yamaoka
Proc. of IEEE CAS 2018 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2018)      Dec 2018   [Refereed]
Shan Gao, Masakazu Ishihata, Shin-ichi Minato
Artificial Inteligence   33(6A) A-I35.1-15   Nov 2018   [Refereed]
Hirofumi Suzuki and Shin-ichi Minato
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   E101-A(9) 1375-1382   Sep 2018   [Refereed]
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin‑ichi Minato
Behaviormetrika   45(2) 423-450   Jun 2018   [Refereed]
Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, and Shin-ichi Minato:
IEEE Trans. Smart Grid   9(3) 1986-1996   May 2018   [Refereed]
Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams
Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato
Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018)   585-594   Apr 2018   [Refereed]
Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi
Computer Communications   116 101-117   Jan 2018   [Refereed]
Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata
IEICE Transactions on Information and Systems   E100-D(12) 2945-2952   Dec 2017   [Refereed]
Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking
Reona Minoda, Masakazu Ishihata, and Shin-ichi Minato
Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017)   85-91   Nov 2017   [Refereed]
Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, and Shin-ichi Minato
IEICE Trans. Fundamentals   E100-A(9) 1773-1784   Sep 2017   [Refereed]
Fast Compilation of s-t Paths on a Graph for Counting and Enumeration
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato
Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017)   129-140   Sep 2017   [Refereed]
Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation
Gao Shan, Masakazu Ishihata, and Shin-ichi Minato
Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017)   117-128   Sep 2017   [Refereed]
Shin-ichi Minato
IEICE Transactions on Information and Systems   E100-D(8) 1556-1562   Aug 2017   [Refereed][Invited]
Statistical Emerging Pattern Mining with Multiple Testing Correction
Junpei Komiyama, Maskazu Ishihata, Hiroki Arimura, Takashi Nishibayashi and Shin-ichi Minato
Proc. of the 23rd SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2017)   897-906   Aug 2017   [Refereed]
Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking
Reona Minoda and Shin-ichi Minato
Proc. of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PEC 2017)   13-21   Jul 2017   [Refereed]
Reona MINODA and Shin-ichi MINATO
IEICE Transactions on Information and Systems   E100-D(6) 1172-1181   Jun 2017   [Refereed]
Generating All Patterns of Graph Partitions within a Disparity Bound
Jun Kawahara, Takashi Horiyama, Keisuke Hotta, and Shin-ichi Minato
Proc. of the 11th International Workshop of Algorithms and Computation (WALCOM2017)   LNCS 20267 119-131   Mar 2017   [Refereed]
Dancing with Decision Diagrams: A Combined Approach to Exact Cover
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata
Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017)   868-874   Feb 2017   [Refereed]
Compiling Graph Substructures into Sentential Decision Diagrams
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata
Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017)   1213-1221   Feb 2017   [Refereed]
BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems
Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata
Proc. of Workshops at the 31st AAAI Conference on Artificial Intelligence, The AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt 2017)   944-950   Feb 2017   [Refereed]
Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking
Reona Minoda, Yuzuru Tanaka, and Shin-ichi Minato
Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016)   65-71   Oct 2016   [Refereed]
Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, and Shin-ichi Minato
Proc. of the 8th International Conference on Reversible Computation (RC 2016)   181-196   Jul 2016   [Refereed]
Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model
Hirofumi Suzuki, Sun Hao, and Shin-ichi Minato
Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16)   356-362   Jul 2016   [Refereed]
Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, and Shin-ichi Minato
Proc. of 19th Power Systems Computation Conference (PSCC 2016)   1-7   Jun 2016   [Refereed]
A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato
International Journal on Software Tools for Technology Transfer (STTT)   18(1) 57-66   Feb 2016   [Refereed]
Zero-suppressed Sentential Decision Diagrams
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki Nagata
Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016)   1058-1066   Feb 2016   [Refereed]
Shan Gao and Shin-ichi Minato
Proc. of the Second International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2015)   168-183   Nov 2015   [Refereed]
Yuma Inoue,Shin-ichi Minato
Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings   9138 186-199   Jul 2015   [Refereed]
A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization
Masaaki Nishino, Norihito Yasuda, Tsutomu Hirao, Shin-ichi Minato, Masaaki Nagata
Proc. of the 2015 Annual Conference of the North American Chapter of the ACL (NAACL-HLT 2015)   462-471   May 2015   [Refereed]
Takahisa Toda,Shogo Takeuchi,Koji Tsuda,Shin-ichi Minato
WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings   317-322   2015   [Refereed]
Hiroyuki Hanada,Shuhei Denzumi,Yuma Inoue,Hiroshi Aoki,Norihito Yasuda,Shogo Takeuchi,Shin-ichi Minato
WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings   161-174   2015   [Refereed]
Masaaki Nishino,Norihito Yasuda,Shin-ichi Minato,Masaaki Nagata
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA.   1219-1225   2015   [Refereed]
Takeru Inoue,Norihito Yasuda,Shunsuke Kawano,Yuji Takenobu,Shin-ichi Minato,Yasuhiro Hayashi
IEEE Trans. Smart Grid   6(2) 843-852   2015   [Refereed]
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato
Journal of Discrete Applied Mathematics      2015   [Refereed]
Shuhei Denzumi,Jun Kawahara,Koji Tsuda,Hiroki Arimura,Shin-ichi Minato,Kunihiko Sadakane
Experimental Algorithms - 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014. Proceedings   187-198   2014   [Refereed]
Ryutaro Kurai,Norihito Yasuda,Hiroki Arimura,Shinobu Nagayama,Shin-ichi Minato
Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, September 1-3, 2014   3-16   2014   [Refereed]
Masaaki Nishino,Norihito Yasuda,Shin-ichi Minato,Masaaki Nagata
Proceedings of the 2014 SIAM International Conference on Data Mining, Philadelphia, Pennsylvania, USA, April 24-26, 2014   1073-1081   2014   [Refereed]
Shin-ichi Minato,Takeaki Uno,Koji Tsuda,Aika Terada,Jun Sese
Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part II   422-436   2014   [Refereed]
Norihito Yasuda,Masaaki Nishino,Shin-ichi Minato
Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers   504-510   2014   [Refereed]
Shogo Takeuchi,Takahisa Toda,Shin-ichi Minato
Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers   494-503   2014   [Refereed]
Hiroshi Aoki,Takahisa Toda,Shin-ichi Minato
Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers   457-469   2014   [Refereed]
Yuma Inoue,Shin-ichi Minato
Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings   103-114   2014   [Refereed]
Takeru Inoue,Toru Mano,Kimihiro Mizutani,Shin-ichi Minato,Osamu Akashi
22nd IEEE International Conference on Network Protocols, ICNP 2014, Raleigh, NC, USA, October 21-24, 2014   296-307   2014   [Refereed]
Takeru Inoue,Keiji Takano,Takayuki Watanabe,Jun Kawahara,Ryo Yoshinaka,Akihiro Kishimoto,Koji Tsuda,Shin-ichi Minato,Yasuhiro Hayashi
IEEE Trans. Smart Grid   5(1) 102-111   2014   [Refereed]
Yuma Inoue,Takahisa Toda,Shin-ichi Minato
IEICE Transactions   97-A(6) 1171-1179   2014   [Refereed]
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato
Journal on Software Tools for Technology Transfer (STTT)      2014   [Refereed]
Shin-ichi Minato
In Proc. of European Symposium on Algorithms 2013 (ESA 2013)   LNCS 8125 731-742   Sep 2013   [Refereed]
Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams
Shuhei Denzumi, Koji Tsuda, Hiroki Arimura and Shin-ichi Minato
In Proc. of Prague Stringology Conference 2013 (PSC2013)   157-167   Sep 2013   [Refereed]
Recent Research Activities on BDD/ZDD-based Discrete Structure Manipulation
Shin-ichi Minato
In Poc. of 2013 International Workshop on Machine Learning and Applications to Biology (MLAB Sapporo 2013)   13-13   Aug 2013   [Invited]
Enumeration of Region Partitioning for Evalcuation Planning based on ZDD
Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, and Shin-ichi Minato
In Proc. of International symposium on Operation Research & its Applications (ISORA2013)   64-71   Aug 2013   [Refereed]
Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams
Yuma Inoue, Takahisa Toda, and Shin-ichi Minato
In Proc. of Permutation Patterns 2013   43-44   Jul 2013   [Refereed]
Shin-ichi Minato
IEICE Trans. Inf. & Syst.   E96-D(7) 1419-1429   Jul 2013   [Refereed][Invited]
AOKI HIROSHI, MINATO SHIN'ICHI, MINATO SHIN'ICHI, YAMASHITA SHIGERU
電子情報通信学会技術研究報告   113(50(COMP2013 9-18)) 149-156   May 2013
Recent Topics on BDD/ZDD-Based Discrete Structure Manipulation
Shin-ichi Minato
In Proc. of Reed-Muller Workshop 2013 (RM2013)   1-7   May 2013   [Invited]
Laura Tague, Mathias Soeken, Shin-ichi Minato and Rolf Drechsler
In Proc. of IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL2013)   316-321   May 2013   [Refereed]
MINATO SHIN'ICHI, MINATO SHIN'ICHI
電子情報通信学会技術研究報告   112(498(COMP2012 52-62)) 15-22   Mar 2013
Succinct Indices Based on Zero-Suppressed Binary Decision Diagrams
Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Kunihiko Sadakane, Shin-ichi Minato
112(498) 23-30   Mar 2013
Yuma Inoue, Takahisa Toda, Shin-ichi Minato
IPSJ SIG Notes   2013(5) 1-8   Feb 2013
Pattern avoiding permutation is a permutation whose subsequences don't match a certain order. Pattern avoiding permutation is discussed on not only theoretical areas but also application areas, for example, floorplan for compacting VLSI. In this p...
MINATO Shin-ichi
Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto and Shin-ichi Minato   LNCS 7748 170-181   Feb 2013   [Refereed]
Using PiDDs in the Design of Reversible Circuits (Work-In-Progress)
Mathias Soeken, Robert Wille, Shin-ichi Minato, and Rolf Drechsler
In Robert Gluck and Tetsuo Yokoyama, editors, "Reversible Computation, 4th International Workshop RC 2012 Revised Papers,"   LNCS 7581 197-203   Feb 2013   [Refereed]
電子情報通信学会技術研究報告 : 信学技報   112(320) 25-29   Nov 2012
Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato
Information Processing Letters   112(16) 636-640   Aug 2012   [Refereed]
Takeru Inoue and Shin-ichi Minato
IEICE Trans. Communications, special section on "Future Internet Technologies Against Present Crises"   E95.B(7) 2210-2221   Jul 2012   [Refereed]
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga
IEICE Transactions on Information and Systems   95(7) 1847-1857   Jul 2012   [Refereed]
KAWAHARA Jun, SAITOH Toshiki, MINATO Shinichi
The Journal of the Institute of Electronics, Information, and Communication Engineers   95(6) 505-511   Jun 2012
Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, and Shin-ichi Minato
Proc. of 16th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2012), (LNAI 7301, Springer)   7301 183-194   May 2012   [Refereed]
Minato Shin-ichi
Journal of Japanese Society for Artificial Intelligence   27(3) 232-238   May 2012   [Refereed][Invited]
Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, and Shin-ichi Minato
Algorithms   5(2) 176-213   Apr 2012   [Refereed]
Synthesis of Semi-Classical Quantum Circuits
Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller
Journal of Multi-Valued Logic & Soft Computing   18(1) 99-113   Jan 2012   [Refereed]
Masakazu Ishihata, Taisuke Sato and Shin-ichi Minato
Proc. of The 24th Australasian Joint Conference on Artificial Intelligence (AI2011), (LNAI 7106, Springer)   203-212   Dec 2011   [Refereed]
Hiroshi Aoki, Shigeru Yamashita and Shin-ichi Minato
Proc. of 2011 IEEE International Confenrece on Granular Computing   54-59   Nov 2011   [Refereed]
SAKURAI Yuko,UEDA Suguru,IWASAKI Atsushi,MINATO Shin‐Ichi,YOKOO Makoto
Proc. of 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011), (LNAI 7047, Springer)   7047 4-18   Nov 2011   [Refereed]
High-speed String and Regular Expression Matching on FPGA
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura
Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011      Oct 2011   [Refereed]
Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato
Proc. of Tenth ACM SIGPLAN Erlang Workshop   90-91   Sep 2011   [Refereed]
Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato
Proc. of Prague Stringology Conference 2011 (PSC2011)   147-161   Aug 2011   [Refereed]
MINATO Shin‐ichi
Proc. of 14th International Conference on Theory and Applications of Satisfiability Testing (SAT-2011) (LNCS 6695, Springer)   90-104   Jun 2011   [Refereed]
MINATO Shin‐ichi
New Gener Comput   29(2) 223-238   Apr 2011   [Refereed][Invited]
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura and Yoshikazu Miyanaga
Proc. of the 2010 International Conference on Field-Programmable Technology (FPT'10)   21-28   Dec 2010   [Refereed]
Sato Taisuke, Minato Shin-ichi
Journal of Japanese Society for Artificial Intelligence   25(6) 796-802   Nov 2010   [Refereed][Invited]
KANETA Yusaku,MINATO Shin‐ichi,ARIMURA Hiroki
Lect Notes Comput Sci   6393 372-384   2010   [Refereed]
MIYANAGA Yoshikazu, YOSHIZAWA Shingo, MINATO Shin-ichi
The Journal of the Institute of Electronics, Information, and Communication Engineers   92(10) 833-836   Oct 2009   [Refereed]
YAMASHITA Shigeru, MINATO Shin-ichi, MILLER D. Michael
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences   91(12) 3793-3802   Dec 2008   [Refereed]
Recently much attention has been paid to quantum circuit design to prepare for the future “quantum computation era.” Like the conventional logic synthesis, it should be important to verify and analyze the functionalities of generated quantum circu...
UNO Takeaki, MINATO Shinichi, TAKEDA Masayuki
IPSJ Magazine   49(8) 897-903   Aug 2008   [Refereed]
IWASAKI Haruya, MINATO Shin-ichi, ZEUGMANN Thomas
The IEICE transactions on information and systems (Japanese edetion)   91(3) 608-618   Mar 2008   [Refereed]
MINATO Shin‐ichi,UNO Takeaki,ARIMURA Hiroki
Lect Notes Comput Sci   5012 234-246   2008   [Refereed]
MINATO Shin-ichi, ITO Kimihito
Transactions of the Japanese Society for Artificial Intelligence   22(2) 156-164   Nov 2007   [Refereed]
In this paper, we present a method of finding symmetric items in a combinatorial item set database. The techniques for finding symmetric variables in Boolean functions have been studied for long time in the area of VLSI logic design, and the BDD (...
MINATO Shin-ichi, ARIMURA Hiroki
Transactions of the Japanese Society for Artificial Intelligence   22(2) 165-172   Nov 2007   [Refereed]
Frequent item set mining is one of the fundamental techniques for knowledge discovery and data mining. In the last decade, a number of efficient algorithms for frequent item set mining have been presented, but most of them focused on just enumerat...
MINATO Shin-ichi, ARIMURA Hiroki
The IEICE transactions on information and systems (Japanese edetion)   89(2) 172-182   Feb 2006   [Refereed]
MINATO Shin‐ichi
Lect Notes Comput Sci   4265 321-326   2006   [Refereed]
MINATO Shin‐ichi
Lect Notes Comput Sci   4012 169-181   2006   [Refereed]
INOUE Takeru, TANI Seiichiro, TAKAHASHI Hirokazu, MINATO Shinichi, MIYAZAKI Toshiaki, TOYOSHIMA Kan
The transactions of the Institute of Electronics, Information and Communication Engineers. D-I   88(2) 272-291   Feb 2005   [Refereed]
Minato Shin-ichi
Bulletin of the Japan Society for Industrial and applied Mathematics   9(3) 194-206   Sep 1999   [Refereed][Invited]
Manipulation of Boolean functions is one of the fundamental research subject in Computer Science. Many real-life problems in digital system design and testing can be expressed as a sequence of operations on Boolean functions. Recently, BDDs (Binar...

Misc

 
Decomposing a Graph into Unigraphs
Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, Yu Nakahata
arXiv preprint arXiv:1904.09438      May 2019
湊真一
電気学会全国大会講演論文集(CD-ROM)   2019 ROMBUNNO.H4‐6   Mar 2019   [Invited]
加藤剛, 湊真一
情報処理学会研究報告(Web)   2019(AL-171) Vol.2019‐AL‐171,No.7,1‐7 (WEB ONLY)   Jan 2019
湊真一
電子情報通信学会技術研究報告   118(268(COMP2018 21-30)(Web)) 55 (WEB ONLY)   Oct 2018   [Invited]
西野正彬, 井上武, 安田宜仁, 湊真一, 永田昌明
NTT技術ジャーナル   30(9) 16‐19   Sep 2018
高橋翔哉, 湊真一, 瀧川一学
情報処理学会研究報告(Web)   2018(AL-169) Vol.2018‐AL‐169,No.6,1‐7 (WEB ONLY)   Aug 2018
鈴木浩史, 中野裕太, 住谷陽輔, 湊真一, 前田理
情報処理学会研究報告(Web)   2018(AL-169) Vol.2018‐AL‐169,No.7,1‐6 (WEB ONLY)   Aug 2018
湊真一, 川原純, 水田正弘, 石岡文生, 栗原考次
情報処理学会研究報告(Web)   2018(AL-169) Vol.2018‐AL‐169,No.3,1‐8 (WEB ONLY)   Aug 2018
SUZUKI Hirofumi, ISHIHATA Masakazu, MINATO Shin-ichi
Proc. of JSAI   2018(0) 4K2OS16b03-4K2OS16b03   Jun 2018
Network design is an important issue for several services and systems such as transportation and telecommunication, and is formulated as network design problem using graph structures. Given a graph and constraints, the goal of the problem is to fi...
大畑 翔平, 湊 真一
人工知能基本問題研究会   106 15-19   Mar 2018
湊 真一
情報処理   59(3) 243-247   Feb 2018
ZDD(ゼロサプレス型二分決定グラフ)は,組合せを要素とする離散的な集合データを計算機上で効率よく扱うためのデータ構造である.ZDDは元々は1990年代にVLSI設計自動化の分野で考案され発展した技法であるが,2000年代以降は,データベース解析,制約充足,組合せ最適化,統計データ処理など,さまざまな用途に広く応用されている.最近,DAシンポジウムにおいてナンバーリンク問題を題材としたアルゴリズムデザインコンテストが開催されることになり,著者らのグループはZDDを用いたソルバを作成して,初...
金森 憲太朗, 石畠 正和, 湊 真一, 有村 博紀
人工知能基本問題研究会   105 50-57   Jan 2018
林 大祐, 羽室 行信, 岡田 克彦, 湊 真一
人工知能基本問題研究会   105 33-39   Jan 2018
戸田 貴久、, 斎藤 寿樹, 岩下 洋哲, 川原 純, 湊 真一
コンピュータ ソフトウェア   34(3) 97-120   Aug 2017
列挙問題とは,与えられた条件を満たす対象(解)をすべて求める問題であり,電力網解析など社会のさまざまな問題への応用がある.さまざまな組合せ列挙問題に対して,問題の解集合を表現するデータ構造ZDDを高速に求める方法(トップダウンZDD構築法)を通して元の問題を効率的に解く汎用的な手法の研究が近年盛んに行われている.本論文ではトップダウンZDD構築に焦点を絞り,基礎となるアルゴリズムから,複雑な問題制約に対処するための発展的手法,プログラミングツールTdZddの基本的な使い方,さらに,具体的な...
鈴木 浩史, 石畠 正和, 湊 真一
人工知能基本問題研究会   104 26-31   Aug 2017
間野 暢, 井上 武, 水谷 公宏, 湊 真一, 明石 修
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   117(129) 13-18   Jul 2017
坂上 晋作, 石畠 正和, 湊 真一
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   117(110) 43-48   Jun 2017
TODA Takahisa, SAITOH Toshiki, IWASHITA Hiroaki, KAWAHARA Jun, MINATO Shin-ichi
Computer Software   34(3) 3_97-3_120   2017
Combinatorial enumeration problems are to find all combinations of items (solutions) that satisfy given constraints. There are many applications to various problems that are closely related to real-life such as power distribution network analysis....
蓑田 玲緒奈, 湊 真一
人工知能基本問題研究会   101 7-14   Aug 2016
和佐 州洋, 石畠 正和, 宇野 毅明, 湊 真一
人工知能基本問題研究会   101 35-40   Aug 2016
鈴木 浩史, 湊 真一
人工知能基本問題研究会   101 41-46   Aug 2016
井上 祐馬, 湊 真一
人工知能基本問題研究会   101 47-52   Aug 2016
湊 真一
人工知能 : 人工知能学会誌 : journal of the Japanese Society for Artificial Intelligence   31(3) 452-463   May 2016
青木 洋士, 安田 宜仁, 湊 真一
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   115(205) 35-39   Sep 2015
Minato Shin-ichi
Proceedings of the Society Conference of IEICE   2015(2) "SS-49"-"SS-50"   Aug 2015
Takeuchi Fumito, Suzuki Hirofumi, Shiraishi Kousuke, Inoue Yuma, Minato Shin-ichi
情報科学技術フォーラム講演論文集   14(2) 329-330   Aug 2015
Ito Hana, Inoue Yuma, Minato Shin-ichi
情報科学技術フォーラム講演論文集   14(1) 115-116   Aug 2015
鈴木 浩史, 湊 真一
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   115(15) 15-20   Apr 2015
SUGAYA Teruji, TODA Takahisa, MINATO Shin-ichi
IEICE technical report. Theoretical foundations of Computing   114(509) 19-27   Mar 2015
In this paper, we present an efficient algorithm to enumerate aximal independent sets in hypergraph. In the presented algorithm, we employed data structure Dancing links to efficiently operate removal and restoration of hypergraph vertics and Zero...
Suzuki Hirofumi, Minato Shin-ichi
Proceedings of the IEICE General Conference   2015(1) "S-13"-"S-14"   Feb 2015
Inoue Yuma, Minato Shin-ichi
Proceedings of the IEICE General Conference   2015(1) "S-23"-"S-24"   Feb 2015
SUZUKI HIROFUMI, MINATO SHIN'ICHI
電子情報通信学会大会講演論文集(CD-ROM)   2015 ROMBUNNO.DS-1-7   Feb 2015
INOUE YUUMA, MINATO SHIN'ICHI, MINATO SHIN'ICHI
電子情報通信学会大会講演論文集(CD-ROM)   2015 ROMBUNNO.DS-1-12   Feb 2015
倉井 龍太郎, 安田 宜仁, 湊 真一
人工知能学会全国大会論文集   29 1-4   2015
ホリルロハマン ムハマド, 湊 真一
人工知能学会全国大会論文集   29 1-4   2015
Shin-ichi Minato
Encyclopedia of Algorithms      2015   [Refereed]
NISHINO MASAAKI, YASUDA NORIHITO, HIRAO TSUTOMU, MINATO SHIN'ICHI, MINATO SHIN'ICHI, NAGATA MASAAKI
言語処理学会年次大会発表論文集(Web)   21st E7-2 (WEB ONLY)   2015
KAWAHARA Jun, MINATO Shin-ichi
The Journal of the Institute of Electronics, Information, and Communication Engineers   97(12) 1086-1090   Dec 2014
基礎的な離散構造の一つである順列(置換)は,ソーティングや順序付け,マッチング,レイアウト,符号化等,多くの実用的な問題で現れる.近年提案されたπDDは,多数の順列の集合を圧縮された状態で保持するデータ構造であり,二つの順列集合の和集合や共通集合を求める演算,二つの順列集合から任意に要素を取り出して積をとって得られる集合の計算等,各種集合演算をサポートする.本稿では,ルービックキューブの最小手順の計算やあみだくじの線の引き方の数え上げを題材に,πDDの基礎的な事柄について解説し,順列集合の...
MINATO Shin-ichi
The Journal of the Institute of Electronics, Information, and Communication Engineers   97(12) 1074-1079   Dec 2014
論理関数や集合などの基本的な離散構造データを効率良く演算処理することは,様々な応用分野に共通する基盤技術として非常に重要である.本稿ではBDD(Binary Decision Diagram,二分決定グラフ)及びZDD(Zero-suppressedBDD,ゼロサプレス型BDD)を用いた離散構造データの処理技法を概観する.まずBDDによるブール演算処理,ZDDによる組合せ集合の代数処理について述べ,次に文字列集合や順列集合への発展について述べる.更に最近注目されているグラフ列挙の手法や,そ...
INOUE Yuma, MINATO Shin-ichi
IEICE technical report. Theoretical foundations of Computing   114(238) 25-29   Oct 2014
An Eulerian trail is a trail containing all edges of a given graph exactly once. Although counting problem of Eulerian trails on an undirected graph is #P-Complete, a dynamic programming approach can solve this problem much better. In this paper, ...
TAKENOBU YUJI, KAWANO SHUNSUKE, HAYASHI YASUHIRO, YASUDA NORIHITO, MINATO SHIN'ICHI
電気学会電力技術研究会資料   PE-14(115-117.119-127.187-202) 127-132   Sep 2014
INOUE T., MANO T., MIZUTANI K., MINATO S., AKASHI O.
IEICE technical report. Information networks   114(207) 1-6   Sep 2014
In software-defined networking, applications are allowed to access a global view of the network so as to provide sophisticated functionalities. They commonly rely on packet classification, but unlike the conventional classification problem to sear...
TAKENOBU YUJI, KAWANO SHUNSUKE, HAYASHI YASUHIRO, YASUDA NORIHITO, MINATO SHIN'ICHI
電気学会電力・エネルギー部門大会論文集(CD-ROM)   2014 ROMBUNNO.P22   Sep 2014
Gao Shan, Minato Shin-ichi
情報科学技術フォーラム講演論文集   13(1) 59-60   Aug 2014
Kholilurrohman Muhammad, Minato Shin-ichi
情報科学技術フォーラム講演論文集   13(1) 85-86   Aug 2014
Kholilurrohman Muhammad, Minato Shin-ichi
Proceedings of the IEICE General Conference   2014(1) "S-19"-"S-20"   Mar 2014
安井 雄一郎, 藤澤 克樹, 竹内 聖悟, 湊 真一
ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集   2014 106-115   Dec 2013
AOKI Hiroshi, TODA Takahisa, MINATO Shin-ichi
IEICE technical report. Theoretical foundations of Computing   113(252) 1-8   Oct 2013
ZDDs are a data structure for combinations over item sets. They have been applied to many areas such as data mining. When ZDDs represent large-scale sparse datasets, they tend to have unbalanced form and fall into the deterioration of performance....
瀧澤重志, 武知祥史, 大田章雄, 中野浩太郎, 加藤直樹, 井上武, 堀山貴史, 川原純, 湊真一, 湊真一
日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集   2013 66-67   Sep 2013
戸田貴久, 戸田貴久, 湊真一, 湊真一
人工知能学会全国大会論文集(CD-ROM)   27th ROMBUNNO.2E5-OS-09B-4-4   Jun 2013
西野正彬, 安田宜仁, 湊真一, 永田昌明
人工知能学会全国大会論文集(CD-ROM)   27th ROMBUNNO.2E5-OS-09B-3-4   Jun 2013
DENZUMI Shuhei, KAWAHARA Jun, TSUDA Koji, ARIMURA Hiroki, MINATO Shin-ichi, SADAKANE Kunihiko
IEICE technical report. Theoretical foundations of Computing   112(498) 23-30   Mar 2013
In many real-life problems, we are often faced with manipulating families of sets. Manipulation of large-scale set families is one of the important fundamental techniques for web information retrieval, integration, and mining. For this purpose, a ...
IWASHITA Hiroaki, KAWAHARA Jun, MINATO Shin-ichi
IEICE technical report. Dependable computing   112(321) 25-29   Nov 2012
In recent years, new enumeration methods using zero-suppressed binary decision diagrams (ZDDs) has been attracting attention since Kunuth introduced a very fast algorithm to construct a ZDD representing all paths between two vertices in a graph. M...
MINATO Shin-ichi
IEICE technical report. Communication systems   112(309) 35-40   Nov 2012
Discrete structure manipulation is a fundamental technique for many problems solved by computers. Recently, BDD (Binary Decision Diagram) attracts a great deal of attention, because it efficiently manipulates basic data structures such as logic an...
INOUE Takeru, TAKANO Keiji, WATANABE Takayuki, KAWAHARA Jun, YOSHINAKA Ryo, KISHIMOTO Akihiro, TSUDA Koji, MINATO Shin-ichi, HAYASHI Yasuhiro
IEICE technical report. Information networks   112(134) 37-42   Jul 2012
The frontier-based method is a graph algorithm that efficiently finds all subgraphs satisfying given constraints on a graph. The output is provided as a zero-suppressed binary decision diagram (ZDD), which offers several useful techniques such as ...
MINATO Shin-ichi
IEICE technical report. Information networks   112(134) 31-36   Jul 2012
Discrete structure manipulation is a fundamental technique for many problems solved by computers. Recently, BDD/ZDD attracts a great deal of attention, because it efficiently manipulates basic data structures such as logic and sets. In order to or...
INOUE Takeru, TAKANO Keiji, WATANABE Takayuki, KAWAHARA Jun, YOSHINAKA Ryo, KISHIMOTO Akihiro, TSUDA Koji, MINATO Shin-ichi, HAYASHI Yasuhiro
電子情報通信学会技術研究報告. IN, 情報ネットワーク   112(134) 37-42   Jul 2012
DENZUMI Shuhei, ARIMURA Hiroki, MINATO Shin-ichi
IEICE technical report. Theoretical foundations of Computing   112(93) 9-16   Jun 2012
Manipulating large sequence data is important problem in string processing field. In this paper, we deal with sequence binary decision diagrams proposed by Loekito et al. in 2009. This data structure compactly and uniquely represents large set of ...
KAWAHARA Jun, MINATO Shin-ichi
IEICE technical report. Theoretical foundations of Computing   112(93) 1-7   Jun 2012
There are various combinatorial problems whose solutions can be represented as a family of sets. The Zero-suppressed Binary Decision Diagram (ZDD) is often used as the data structure for a family of sets. Once a ZDD which represents all solutions ...
電子情報通信学会技術研究報告 : 信学技報   112(93) 9-16   Jun 2012
青木 洋士, 山下 茂, 湊 真一
電子情報通信学会技術研究報告 : 信学技報   112(21) 23-28   Apr 2012
INOUE Takeru, TAKANO Keiji, WATANABE Takayuki, KAWAHARA Jun, YOSHINAKA Ryo, KISHIMOTO Akihiro, TSUDA Koji, MINATO Shin-ichi, HAYASHI Yasuhiro
Proceedings of the IEICE General Conference   2012(2) "SS-9"-"SS-12"   Mar 2012
Yamada Norihiro, Minato Shin-ichi
Proceedings of the IEICE General Conference   2012(1) "S-25"-"S-26"   Mar 2012
Yoshinaka Ryo, Iwashita Hiroaki, Kawahara Jun, Saitoh Toshiki, Tsuruma Koji, Minato Shin-ichi
Proceedings of the IEICE General Conference   2012(2) "SS-5"-"SS-8"   Mar 2012
Inoue Yuma, Minato Shin-ichi
Proceedings of the IEICE General Conference   2012(1) "S-27"-"S-28"   Mar 2012
Minato Shin-ichi
Proceedings of the IEICE General Conference   2012(2) "SS-1"-"SS-4"   Mar 2012
西野 正彬, 安田 宜仁, 湊 真一
人工知能学会全国大会論文集   26 1-4   2012
鮑 若愚, 白井 康之, 湊 真一
人工知能学会全国大会論文集   26 1-4   2012
湊 真一
人工知能基本問題研究会   83(0) 51-56   Nov 2011
Yamada Norihiro, Minato Shin-ichi
Proceedings of the Society Conference of IEICE   2011(1) "S-2"   Aug 2011
Minato Shin-ichi
Proceedings of the Society Conference of IEICE   2011(0) "SS-62"-"SS-63"   Aug 2011
MINATO Shin-ichi
IEICE technical report. Information networks   111(146) 51-56   Jul 2011   [Invited]
Discrete structure manipulation is a fundamental technique for many problems solved by computers. Recently, BDD (Binary Decision Diagram) attracts a great deal of attention, because it efficiently manipulates basic data structures such as logic an...
SAITOH T., KAWAHARA J., YOSHINAKA R., INOUE T., MINATO S.-i.
IEICE technical report. Information networks   111(146) 57-62   Jul 2011
Recently, novel algorithms that enumerate all possible paths on a graph have been proposed. They commonly take advantage of Zero-suppressed Binary Decision Diagram, or ZDD, which is an efficient data structure for representing family of sets. Thes...
INOUE Takeru, MINATO Shin-ichi
IEICE technical report. Information networks   111(146) 63-68   Jul 2011
Several servers providing disaster-related information often went down after Tohoku earthquake and tsunami, due to flash crowds caused by Twitter. URLs are usually shortened in Twitter by a URL shortener, since message length is strictly limited. ...
MINATO Shin-ichi
IEICE technical report   111(31) 61-66   May 2011   [Invited]
Discrete structure manipulation is a fundamental technique for many problems solved by computers. Recently, BDD (Binary Decision Diagram) attracts a great deal of attention, because it efficiently manipulates basic data structures such as logic an...
MINATO Shin-ichi
IEICE technical report. Theoretical foundations of Computing   111(20) 25-32   Apr 2011
Permutations and combinations are a couple of basic concepts in elementary combinatorics. Permutations appear in various problems such as sorting, ordering, matching, coding, and many other real-life situations. In this paper, we propose a new dec...
AOKI Hiroshi, YAMASHITA Shigeru, MINATO Shin-ichi
IEICE technical report. Theoretical foundations of Computing   111(20) 17-23   Apr 2011
A trie is a data structure representing a set of sequences by sharing the same prefixes between sequences. Thanks to this sharing, prefix searches on a trie is performed efficiently. Constructing a trie representing a set of reversed sequences is ...
KAWAHARA Y., TSUDA K., WASHIO T., TAKEDA A., MINATO S.
IEICE technical report   110(476) 63-68   Mar 2011
Selecting relevant features is a fundamental task in machine learning. Although many approaches have been investigated so far, regularized-learning with sparsity-inducing norms, such as LASSO, would be one of the most promising ones. In this paper...
Toshiki Saitoh, Jun Kawahara, Ryo Yoshinaka, Hiromu Suzuki, Shin-ichi Minato
IPSJ SIG Notes   2011(17) 1-6   Feb 2011
The listing of all paths in a given graph is a classical problem. Although there are known algorithms for the problem, the number of the solutions tends to be huge and the counting problem is #P-hard. Recently, Knuth has proposed an algorithm for ...
MINATO Shin‐ichi,ONSJOE Mikael,WATANABE Osamu
Res Rep Math Comput Sci Ser C Comput Sci (Web)   (274) WEB ONLY C-274   Jan 2011
Okazaki Yuta, Minato Shin-ichi
情報科学技術フォーラム講演論文集   9(2) 111-113   Aug 2010
Takahashi Wataru, Minato Shin-ichi
情報科学技術フォーラム講演論文集   9(2) 411-414   Aug 2010
ISHIHATA Masakazu, KAMEYA Yoshitaka, SATO Taisuke, MINATO Shin-ichi
IEICE technical report   110(76) 153-163   Jun 2010
We propose an EM algorithm on Binary Decision Diagrams (BDDs) with order encoding for propositional logic-based probabilistic models. The space/time complexities of our algorithm are proportional to the size of the BDD representing observations. I...
金田 悠作, 湊 真一, 有村 博紀
情報処理学会研究報告   2010(1)    Jun 2010
KANETA Yusaku, MINATO Shin-ichi, ARIMURA Hiroki
IEICE technical report. Theoretical foundations of Computing   110(37) 23-29   May 2010
A regular expression is acyclic if it is over the basis in Σ, dot "・", and union "|". In this paper, for the subclass of acyclic regular expressions, we give an efficient algorithm that solves the regular expression matching problem for an acyclic...
高橋 渉, 湊 真一
人工知能基本問題研究会   77(0) 25-30   Mar 2010
Suzuki Hiromu, Minato Shin-ichi
全国大会講演論文集   72(5) "5-245"-"5-246"   Mar 2010
Kaneta Yusaku, Minato Shin-ichi, Arimura Hiroki
Proceedings of the IEICE General Conference   2010(1)    Mar 2010
KANETA Yusaku, YOSHIZAWA Shingo, MINATO Shin-ichi, ARIMURA Hiroki, MIYANAGA Yoshikazu
IEICE technical report   109(395) 131-136   Jan 2010
In this paper, we study the regular expression matching problem for fast data stream processing. We present an efficient algorithm for based on new bit-parallel methods, called parallel scatter and gather exploiting bit-parallelism in a computer w...
KIM Jaseong, YOSHIZAWA Shingo, KANETA Yusaku, MINATO Shin-ichi, ARIMURA Hiroki, MIYANAGA Yoshikazu
Technical report of IEICE. VLD   109(393) 31-34   Jan 2010
Field programmable gate array (FPGA) can reconfigure logic circuits after production, which is embedded into electric instruments. Recently, researchers and engineers who do not engage in the field of LSI have developed exclusive computer by FPGA ...
KANETA Yusaku, YOSHIZAWA Shingo, MINATO Shin-ichi, ARIMURA Hiroki, MIYANAGA Yoshikazu
Technical report of IEICE. VLD   109(393) 131-136   Jan 2010
In this paper, we study the regular expression matching problem for fast data stream processing. We present an efficient algorithm for based on new bit-parallel methods, called parallel scatter and gather exploiting bit-parallelism in a computer w...
Ishihata Masakazu, Kameya Yoshitaka, Sato Taisuke, Minato Shin-ich
Transactions of the Japanese Society for Artificial Intelligence   25(3) 475-484   2010
We propose an Expectation-Maximization (EM) algorithm which works on binary decision diagrams (BDDs). The proposed algorithm, BDD-EM algorithm, opens a way to apply BDDs to statistical learning. The BDD-EM algorithm makes it possible to ...
湊 真一
人工知能基本問題研究会   75(0) 93-98   Nov 2009
Okazaki Yuta, Minato Shin-ichi
情報科学技術フォーラム講演論文集   8(2) 199-201   Aug 2009
Kanasaki Takeshi, Minato Shin-ichi
情報科学技術フォーラム講演論文集   8(2) 553-555   Aug 2009
SUZUKI Hiromu, MINATO Shin-ichi
IEICE technical report. Theoretical foundations of Computing   109(54) 1-7   May 2009
Binary Decision Diagram (BDD) is a graph-based representation of Boolean function. BDDs can compactly represent and efficiently manipulate large-scale Boolean function data. Zero-suppressed BDD (ZDD) is a special type of BDD, which is suitable for...
KANETA Yusaku, YOSHIZAWA Shingo, MINATO Shin-ichi, ARIMURA Hiroki, MIYANAGA Yoshikazu
Proceedings of the IEICE General Conference   2009(1)    Mar 2009
Isomatsu Kouhei, Minato Shin-ichi
情報科学技術フォーラム講演論文集   7(2) 433-435   Aug 2008
KURAI Ryutaro, MINATO Shin-ichi, ZEUGMANN Thomas
Technical report of IEICE. PRMU   108(94) 53-57   Jun 2008
In the present paper we propose a new method for clustering text data by using the Normalized Compression Distance and Zero-Suppressed BDDs. The Normalized Compression Distance can be considered as an approximation of the Normalized Information Di...
Minato Shin-ichi, Ishihara Shinya
情報処理学会研究報告. SLDM, [システムLSI設計技術]   30 133-140   Sep 2001
BDD-based programs commonly have the memory-overflow problem to manipulate large-scale BDDs. In this paper, we propose a new algorithm which never causes overflow nor swap out from the main memory in processing unlimited size of BDDs. The algorith...

Books etc

 
Applications of Zero-Suppressed Decision Diagrams (Synthesis Lectures on Digital Circuits and Systems)
T. Sasao and J. Butler, editor (Part:Contributor, The Power of Enumeration - BDD/ZDD-Based Algorithms for Tackling Combinatorial Explosion, chapter 3, pp. 49-62)
Morgan & Claypool Publishers   Nov 2014   
Encyclopedia of Algorithms
Ming-Yang Kao, editor (Part:Contributor, Counting by ZDD)
Sep 2014   
Reversible Computation," 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Shigeru Yamashita and Shin-ichi Minato (Part:Joint Editor)
Springer   Jul 2014   
Interdisciplinary advances in adaptive and Intelligent assistant Systems: concepts, techniques, applications, and Use
Shin-ichi Minato and Nicolas Spyratos (Part:Contributor, BDD-Based Combinatorial Keyword Query Processing)
IGI Global   Jan 2011   
Progress in Representation of Discrete Functions (Synthesis Lectures on Digital Circuits and Systems)
Shin-ichi Minato (Part:Contributor, Data Mining Using Binary Decision Diagrams)
Morgan & Claypool Publishers   May 2010   
New Frontiers in Applied Data Mining," PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008, Revised Selected Papers
S. Chawla, T. Washio, S. Minato, S. Tsumoto, T. Onoda, S. Yamada, A. Inokuchi (Part:Joint Editor)
Springer   Feb 2009   ISBN:978-3-642-00398-1
The VLSI Handbook
Shin-ichi Minato and Saburo Muroga (Part:Contributor, Binary Decision Diagrams)
CRC/IEEE Press   Dec 1999   
Binary Decision Diagrams and Applications for VLSI CAD
Shin-ichi Minato
Kluwer Academic Publishers   Nov 1996   
Representation of Discrete Functions
Shin-ichi Minato (Part:Contributor, Graph-Based Representations of Discrete Functions)
Kluwer Academic Publishers   May 1996   

Conference Activities & Talks

 
Algorithmic Techniques for Discrete Structure Manipulation and Application to Chemical Reaction Network Analysis [Invited]
Shin-ichi Minato
1st ICReDD International Symposium, Institute for Chemical Reaction Design and Discovery, Hokkaido University   13 Mar 2019   Institute for Chemical Reaction Design and Discovery, Hokkaido University
Decision Diagram-Based Techniquesfor Enumeration Problems and Applications [Invited]
Shin-ichi Minato
2nd International Workshop on Enumeration Problems & Applications (WEPA 2018)   8 Nov 2018   WEPA Organizing Committee
“BDD/ZDD-based enumeration techniques and real-life applications [Invited]
Shin-ichi Minato
EPFL Workshop on Logic Synthesis and Emerging Technologies   29 Sep 2017   EPFL
Power of Enumeration ― BDD/ZDD-Based Techniques for Solving Combinatorial Problems [Invited]
Shin-ichi Minato
The 10th Annual Symposium on Combinatorial Search (SoCS2017)   17 Jun 2017   SoCS Organizing Committee

Research Grants & Projects

 
Minato Discrete Structure Manipulation System Project
JST: ERATO
Project Year: Oct 2009 - Mar 2015    Investigator(s): MINATO Shin-ichi
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(A))
Project Year: 2008 - 2011    Investigator(s): Hiroki ARIMURA
(抄録なし)
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(B))
Project Year: 2008 - 2011    Investigator(s): Shin-ichi MINATO
(抄録なし)
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(B))
Project Year: 2007 - 2009    Investigator(s): Kimihito ITO
Human influenza viruses mutate from time to time, causing annual epidemics worldwide. Given the high mutation rate of the viral gene, it is difficult to select an effective vaccine strain prior to each influenza season. In order to elucidate the p...
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(特別推進研究)
Project Year: 2005 - 2007    Investigator(s): Hiroki ARIMURA
By rapid progress of network and storage technologies for the last decade, a huge amount of weakly structured electronic data of various types, called semi-structured data, become available over the Internet. In this research project, we study eff...

Patents

 
2006-190241
2006-190241
2009-237562