Shin-ichi Minato
(湊 真一)Profile Information
- Affiliation
- Graduate School of Informatics, Kyoto University
- Visiting Professor, National Institute of Informatics
- Degree
-
Dr. Eng.(Kyoto University)
- J-GLOBAL ID
- 200901020036165552
- researchmap Member ID
- 5000070896
- External link
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 Interests
11Research Areas
6Major Research History
23Education
6-
Apr, 1994 - Mar, 1995
-
Apr, 1984 - Mar, 1988
Committee Memberships
27-
May, 2023 - Present
-
Apr, 2023 - Present
-
Oct, 2022 - Present
-
Oct, 2021 - Present
-
Sep, 2020 - Present
-
May, 2021 - May, 2025
-
Mar, 2022 - Apr, 2023
-
Jul, 2019 - Nov, 2021
-
Jun, 2020 - May, 2021
-
Jun, 2016 - Mar, 2021
-
May, 2018 - May, 2020
-
Jun, 2014 - May, 2020
-
Apr, 2014 - Mar, 2020
-
2012 - 2014
-
2010 - 2014
-
2007 - 2014
-
Jun, 2011 - May, 2012
-
2010 - 2012
-
2010 - 2012
-
2009 - 2011
Awards
14-
May, 2021
-
May, 2019
-
May, 2017
-
Mar, 2012
-
2009
-
2006
-
2000
-
2000
-
Sep, 1992
-
1992
-
1992
Papers
206-
Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram OperationsProceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
-
Theor. Comput. Sci., 978 114158-114158, Nov, 2023
-
Proc of 21st International Symposium on Experimental Algorithms (SEA 2023), 11-20, Jul, 2023 Peer-reviewedLast author
-
IEEE International Conference on Communication, (ICC 2023), May, 2023 Peer-reviewedLast author
-
roc. of 2023 IEEE International Conference on Computer Communications (INFOCOM2023), May, 2023 Peer-reviewedLast author
-
Computer Software, 40(2) 2_3-2_18, Apr, 2023 Peer-reviewed
-
IEICE Trans. Inf. Syst., 106(3) 272-283, Mar, 2023 Peer-reviewed
-
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2023
-
Transactions of the Japanese Society for Artificial Intelligence, 37(5) A-M23_1-11, Sep 1, 2022 Peer-reviewed
-
11th International Conference on Fun with Algorithms (FUN2022), 16-17, May, 2022 Peer-reviewed
-
Proc. of ACM/IEEE Design, Automation and Test in Europe Conference (DATE2022), 1077-1082, Mar, 2022 Peer-reviewedLast author
-
Proc. of 2021 IEEE Computer Society Annual Symposium on VLSI (ISVLSI2021), 96-101, Jul, 2021 Peer-reviewedLast author
-
Soft Comput., 25(3) 1731-1749, 2021 Peer-reviewed
-
Proc. of 2020 International Symposium on Nonlinear Theory and its Applications (NOLTA 2020), 413-416, Nov, 2020 Peer-reviewed
-
Proc of 18th Symposium on Experimental Algorithms (SEA2020), 9:1-9:14, Jun, 2020 Peer-reviewedLast author
-
Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 211-222, Mar, 2020 Peer-reviewedLast author
-
Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 273-285, Mar, 2020 Peer-reviewedLast author
-
J. Inf. Process., 28 903-910, 2020 Peer-reviewedLast author
-
Proc. of 25th International Symposium on Artificial Life and Robotics (AROB 25th 2020), Jan, 2020 Peer-reviewed
-
Journal of Information Processing, 28 354-368, 2020 Peer-reviewedLast author
Misc.
165-
情報処理学会 第9回量子ソフトウェア研究発表会, Jun, 2023
-
Proceedings of the Annual Conference of JSAI, JSAI2023 2I5OS9b03-2I5OS9b03, Jun, 2023
-
Proceedings of the Annual Conference of JSAI, JSAI2023 2I4OS9a04-2I4OS9a04, Jun, 2023
-
CoRR, abs/2305.10749, May, 2023
-
情報処理学会第85回全国大会講演論文集, 1-243-1-244, Mar, 2023 Last author
-
情報処理学会第85回全国大会講演論文集, 1-241-1-242, Mar, 2023 Last author
-
情報処理学会第85回全国大会講演論文集, 1-239-1-240, Mar, 2023 Last author
-
人工知能学会研究会資料 人工知能基本問題研究会, 122 05, Nov 10, 2022
-
Proc. of 5th International Workshop on Enumeration Problems and Applications (WEPA2022), Nov, 2022 Lead author
-
Newton = ニュートン : graphic science magazine, 42(11) 34-43, Oct, 2022 Invited
-
第21回情報科学技術フォーラム(FIT2022), A014, Sep, 2022 Last author
-
DAシンポジウム2022論文集, 2022 227-233, Aug 24, 2022
-
2022夏のLAシンポジウム, Jul, 2022
-
Proceedings of the Annual Conference of JSAI, JSAI2022 3F3GS903-3F3GS903, Jun, 2022
-
Proceedings of the Annual Conference of JSAI, JSAI2022 4F1OS8a02-4F1OS8a02, Jun, 2022
-
SYSTEMS, CONTROL AND INFORMATION, 66(5) 196-197, May 15, 2022
-
情報処理学会研究報告(Web), 2022-AL-187(1) 1-8, Mar, 2022 Lead authorCorresponding author
-
日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022), 40(2) 2_3-2_18, Mar, 2022
-
第84回全国大会講演論文集, 2022(1) 229-230, Mar, 2022
-
第84回全国大会講演論文集, 2022(1) 227-228, Mar, 2022 Last author
Books and Other Publications
31-
ニュートンプレス, May, 2022 (ISBN: 9784315525489)
-
基盤(S)離散構造処理系プロジェクト, Aug, 2020
-
ムイスリ出版, 2020 (ISBN: 9784896412871)
-
基盤(S)離散構造処理系プロジェクト, Sep, 2019
-
基盤(S)離散構造処理系プロジェクト,, Jul, 2018
-
共立出版, Jul, 2017
-
基盤(S)離散構造処理系プロジェクト,, Jun, 2017
-
基盤(S)離散構造処理系プロジェクト,, Jun, 2016
-
共立出版, 2016 (ISBN: 9784320111394)
-
ERATO湊離散構造処理系プロジェクト, Jun, 2015
-
森北出版, Apr 8, 2015 (ISBN: 4627852614)
-
森北出版, 2015 (ISBN: 9784627852617)
-
Morgan & Claypool Publishers, Nov, 2014
-
Sep, 2014
-
ERATO湊離散構造処理系プロジェクト, Jul, 2014
-
ERATO湊離散構造処理系プロジェクト, Jul, 2013
-
ムイスリ出版, 2013 (ISBN: 9784896412154)
-
ERATO湊離散構造処理系プロジェクト, Jul, 2012
-
ERATO湊離散構造処理系プロジェクト, Jun, 2011
Presentations
20-
人工知能学会研究会資料 人工知能基本問題研究会, Nov 10, 2022, 一般社団法人 人工知能学会
-
Special Session of Bryant Discoveries Day, SAT 25th International Conference on Theory and Applications of Satisfiability Testing (SAT2022), Aug 5, 2022 Invited
-
日本科学振興協会第1 回総会・キックオフミーティング, Jun 18, 2022
-
情報処理学会第84回全国大会 企画シンポジウム「革新的アルゴリズム基盤の構築に向けて」, Mar 3, 2022 Invited
-
5th International Workshop on Enumeration Problems and Applications (WEPA2022), Nov 23, 2022
-
13th International Conference on Reversible Computation (RC2021), Jul 8, 2021 Invited
-
International Workshop on Logic and Synthesis, Jul 29, 2020 Invited
-
KOCOON Workshop, Dec 18, 2019
-
情報処理学会第81回全国大会, Mar 15, 2019, 情報処理学会
-
1st ICReDD International Symposium, Institute for Chemical Reaction Design and Discovery, Hokkaido University, Mar 13, 2019, Institute for Chemical Reaction Design and Discovery, Hokkaido University Invited
-
人工知能学会 人工知能基本問題研究会 合同研究会企画シンポジウム, Nov 23, 2018, 人工知能学会 人工知能基本問題研究会
-
2nd International Workshop on Enumeration Problems & Applications (WEPA 2018), Nov 8, 2018, WEPA Organizing Committee Invited
-
第21回情報論的学習理論ワークショップ (IBIS 2018), Nov 5, 2018, 電子情報通信学会 IBIS-ML研究会 Invited
-
電子情報通信学会コンピュテーション研究会, Oct 26, 2018 Invited
-
進化計算シンポジウム 2017, Dec 9, 2017, 進化計算学会 Invited
-
EPFL Workshop on Logic Synthesis and Emerging Technologies, Sep 29, 2017, EPFL Invited
-
The 10th Annual Symposium on Combinatorial Search (SoCS2017), Jun 17, 2017, SoCS Organizing Committee Invited
-
国立情報学研究所オープンハウス2013基調講演, Jun 14, 2013, 国立情報学研究所 Invited
-
日本科学未来館 第11期メディアラボ トークイベ ント, Jan 19, 2013, 日本科学未来館 Invited
Teaching Experience
7-
Apr, 2020 - Present
-
Apr, 2018 - Present
Professional Memberships
5-
2020 - Present
-
2006 - Present
-
1992 - Present
-
1991 - Present
-
1988 - Present
Works
6-
Aug, 2012 - Present Educational material
-
2012 - Present Software
-
Jul, 2013 - Apr, 2014 Educational material
-
Aug, 2012 - Apr, 2013 Educational material
Research Projects
27-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Transformative Research Areas (A), Japan Society for the Promotion of Science, Nov, 2020 - Mar, 2025
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, Apr, 2020 - Mar, 2025
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Transformative Research Areas (A), Grant-in-Aid for Transformative Research Areas (A), Japan Society for the Promotion of Science, Nov, 2020 - Mar, 2025
-
Grants-in-Aid for Scientific Research Grant-in-Aid for Transformative Research Areas (A), Grant-in-Aid for Transformative Research Areas (A), Japan Society for the Promotion of Science, Nov, 2020 - Mar, 2025
-
CREST, 科学技術振興機構, Oct, 2018 - Mar, 2024
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, Apr, 2016 - Mar, 2020
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Young Scientists (B), Japan Society for the Promotion of Science, Apr, 2017 - Mar, 2019
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (S), Japan Society for the Promotion of Science, 2015 - 2019
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, Apr, 2013 - Mar, 2017
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area), Japan Society for the Promotion of Science, Jun, 2012 - Mar, 2017
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, Apr, 2012 - Mar, 2016
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2011 - Mar, 2015
-
ERATO, JST, Oct, 2009 - Mar, 2015
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Challenging Exploratory Research, Japan Society for the Promotion of Science, 2012 - 2012
-
Grants-in-Aid for Scientific Research(基盤研究(B)), 基盤研究(B), Ministry of Education, Culture, Sports, Science and Technology, 2008 - 2011
-
Grants-in-Aid for Scientific Research(基盤研究(A)), 基盤研究(A), Ministry of Education, Culture, Sports, Science and Technology, 2008 - 2011
-
科学研究費補助金(特定領域研究), 特定領域研究, 文部科学省, 2009 - 2010
-
科学研究費補助金(萌芽研究, 挑戦的萌芽研究), 萌芽研究, 挑戦的萌芽研究, 文部科学省, 2008 - 2010
-
Grants-in-Aid for Scientific Research(基盤研究(B)), 基盤研究(B), Ministry of Education, Culture, Sports, Science and Technology, 2007 - 2009
-
科学研究費補助金(特定領域研究), 特定領域研究, 文部科学省, 2007 - 2008