(to Japanese page)
Shin-ichi Minato is a Professor
School of Information Science and Technology,
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 at Algorithm Laboratory in
has been a Professor since Oct. 2010. From 2015, he leads Large-Scale Knowledge
Laboratory. From Apr. 2016 to Mar. 2020, he
also serves a Research Director of JSPS
Structure Manipulation System Project, From 2011, he is also an
Adjunct Researcher at
Institute for Advanced Network Technology of Waseda University.
From 2014, he also serves a Visiting Professor at National Institute of Informatics.
From 2015, he also serves a Visiting Reseacher at Artificial
Intelligence Research Center of National Institute of
Advanced Industrial Science and Technology （AIST).
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 The 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. From Oct. 2009 to
Mar. 2016, he
served a Research Director of ERATO
Research for Advanced Technology) MINATO
Discrete Structure Manipulation System Project, executed by JST (Japan Science and
Technology Agency). 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.