(to Japanese page)
Shin-ichi Minato is a Professor
School of Information Science and Technology,
He also serves a Research Director of ERATO
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
Computer Science Department
of Stanford University in 1997.
He was a Senior Researcher of NTT
Laboratories in 1999. From 1999
to 2000, he concurrently served a Visiting Lecturer at
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.
From 2014, he serves a Visiting Professor at National Institute of Informatics.
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 Apr. 2013, and at
Hokkaido University Museum from July 2013 to Apr. 2014. He served
Workshop Chair of ALSIP-2008
and Co-organizer of ALSIP-2011, 2012, and 2014 . He was
project member of Hokkaido
University Global COE program from 2007 to 2011. He is also
in "ELC" project
from 2012 to 2016. He is a
member of IEICE,
a senior member of IPSJ,
and a member of IEEE and JSAI.
This animation video
shows the numbers of all simple paths in the grid graphs up to 16x16.