Rchr
J-GLOBAL ID:200901020036165552
Update date: May. 07, 2024
Minato Shin-ichi
ミナト シンイチ | Minato Shin-ichi
Affiliation and department:
Other affiliations (1):
-
National Institute of Informatics
Visiting Professor
Homepage URL (1):
https://www.lab2.kuis.kyoto-u.ac.jp/minato/
Research field (6):
Human interfaces and interactions
, Database science
, Information networks
, Computer systems
, Information theory
, Intelligent informatics
Research keywords (11):
Discrete Structure Manipulation
, データマイニング・知識処理
, 論理最適化
, データ構造とアルゴリズム
, データマイニング
, knowledge processing
, data mining
, Data mining.
, Logic verification
, Logic optimization
, Data structures and algorithms
Research theme for competitive and other funds (27):
- 2020 - 2025 Creation and Organization of Innovative Algorithmic Foundations for Leading Social Innovations
- 2020 - 2025 Research on Integrated Techniques of Enumeration and Optimization Based on Discrete Structure Manipulation Systems
- 2020 - 2025 Algorithmic Foundations Based on Large-Scale Discrete Structures
- 2020 - 2025 Research Initiatives on Algorithmic Foundations for Social Advancement
- 2018 - 2024 学習/数理モデルに基づく時空間展開型アーキテクチャの創出と応用
- 2016 - 2020 Next-generation semi-structured data mining technologies for real-world knowledge infrastructures
- 2017 - 2019 Statistically Sound Pattern Mining
- 2015 - 2019 Research on Fundamental Algorithms of Discrete Structure Manipulation Systems
- 2013 - 2017 Establishing the foundation of discrete mathematics in the field of architecture and urban planning and its application to large-scale optimization
- 2012 - 2017 A Multifaced Approach Toward Understanding the Limitations of Compuation
- 2012 - 2016 Development of Next-Generation Semi-structured Data Mining for Large-Scale Knowledge Base Formation
- 2011 - 2015 Proposing compact representations for coalitional games
- 2009 - 2015 Minato Discrete Structure Manipulation System Project
- 2012 - 2012 Research on Asymptotically Succinct BDD Data Structures
- 2008 - 2011 Research on database analysis algorithms using very large-scale monolithic memory space
- 2008 - 2011 Next-Generation Semi-structured Data Mining for Large-Scale Knowledge Base Formation
- 2009 - 2010 情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究
- 2008 - 2010 二分決定グラフに基づく大規模ベイジアンネットワーク解析処理法の研究
- 2007 - 2009 Predicting Antigenic Changes of Influenza Viruses by Discovering Patterns of Viral Evolution
- 2007 - 2008 情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究
- 2005 - 2007 Research for Efficient Algorithms of Large-Scale Database Analysis Based on Binary Decision Diagrams
- 2005 - 2007 Efficient Pattern Discovery from Massive Semi-Structured Data for Knowledge Infrastructure Formation on the Web
- 2004 - 2007 論理関数表現のモデルとシンボリックアルゴリズム
- 2006 - 2006 情報ネットワークにおける大規模知識処理のための超高速アルゴリズムの研究
- 2004 - 2005 最適パターン発見に基づく大規模半構造データからの知的情報獲得システムの開発
- 2004 - 大規模な組合せ論理データの効率的処理アルゴリズムとその応用
- 2004 - Efficient manipulation algorithms of large-scale combinatorial logic function data, and their applications.
Show all
Papers (207):
-
Shou Ooba, Jun Kawahara, Shin-ichi Minato. Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram Operations. Proceedings of the 16th International Conference on Agents and Artificial Intelligence. 2024
-
Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka. Sorting balls and water: Equivalence and computational complexity. Theor. Comput. Sci. 2023. 978. 114158-114158
-
Kengo Nakamura, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato. CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints. Proc of 21st International Symposium on Experimental Algorithms (SEA 2023). 2023. 11-20
-
Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato. Exact and Efficient Network Reliability Evaluation per Outage Scale,. IEEE International Conference on Communication, (ICC 2023). 2023
-
Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato. A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure. roc. of 2023 IEEE International Conference on Computer Communications (INFOCOM2023). 2023
more...
MISC (165):
-
松尾亮祐, ルディー・レイモンド, 湊真一, 山下茂. 量子回路の観測のための決定グラフの最適化. 情報処理学会 第9回量子ソフトウェア研究発表会. 2023
-
NAKAMURA Kengo, NISHINO Masaaki, YASUDA Norihito, MINATO Shin-ichi. CompDP: A Framework for Concurrent Subgraph Counting under Connectivity Constraints. Proceedings of the Annual Conference of JSAI. 2023. JSAI2023. 2I5OS9b03-2I5OS9b03
-
OOBA Shou, KAWAHARA Jun, MINATO Shin-ichi. On construction of decision diagrams representing Boolean functions given as monadic second-order logic formulas. Proceedings of the Annual Conference of JSAI. 2023. JSAI2023. 2I4OS9a04-2I4OS9a04
-
Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono, Ryuhei Uehara. On the Computational Complexity of Generalized Common Shape Puzzles. CoRR. 2023. abs/2305.10749
-
周文爍, 川原純, 湊真一. ZDDによるパターン頻度表を用いた頻出アイテム集合マイニングの追加データ処理手法. 情報処理学会第85回全国大会講演論文集. 2023. 1-243-1-244
more...
Books (31):
-
基礎からわかるアルゴリズム
ニュートンプレス 2022 ISBN:9784315525489
-
2019年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
基盤(S)離散構造処理系プロジェクト 2020
-
基礎から学ぶ情報理論 第2版
ムイスリ出版 2020 ISBN:9784896412871
-
2018年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
基盤(S)離散構造処理系プロジェクト 2019
-
2017年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
基盤(S)離散構造処理系プロジェクト, 2018
more...
Lectures and oral presentations (20):
-
革新的アルゴリズム基盤(AFSA)プロジェクトと人工知能基本問題
(人工知能学会研究会資料 人工知能基本問題研究会 2022)
-
BDDs and ZDDs: My Memories on the Shoulders of Giants
(Special Session of Bryant Discoveries Day, SAT 25th International Conference on Theory and Applications of Satisfiability Testing (SAT2022) 2022)
-
学術変革領域研究(A)「アルゴリズム基盤」(AFSA プロジェクト)の概要と近況について
(日本科学振興協会第1 回総会・キックオフミーティング 2022)
-
学変(A) アルゴリズム基盤(AFSA)プロジェクトの概要と最近の活動状況について
(情報処理学会第84回全国大会 企画シンポジウム「革新的アルゴリズム基盤の構築に向けて」 2022)
-
A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems
(5th International Workshop on Enumeration Problems and Applications (WEPA2022) 2022)
more...
Works (6):
-
YouTube アニメーション動画(監修) 「フカシギの数え方 おねえさんといっしょ! みんなで数えてみよう!」
湊 真一 2012 - 現在
-
Graphillion
2012 - 現在
-
北海道大学総合博物館 企画展示 「フカシギの数え方」
湊 真一 2013 - 2014
-
日本科学未来館 研究成果展示 「フカシギの数え方」
湊 真一 2012 - 2013
-
Knuth; The Art of Computer Programming への研究成果の掲載、および同書の校訂作業への協力
2008 -
more...
Education (6):
- 1994 - 1995 Kyoto University
- - 1995 Kyoto University Graduate School, Division of Engineering
- - 1990 Kyoto University Graduate School, Division of Engineering
- 1984 - 1988 Kyoto University Faculty of Engineering
- - 1988 Kyoto University Faculty of Engineering
- Kyoto University
Show all
Professional career (1):
- Dr. Eng. (Kyoto University)
Work history (23):
- 2023/04 - 現在 京都大学 情報環境機構 副機構長
- 2023/04 - 現在 情報学科・専攻協議会 会長
- 2021/06 - 現在 情報処理学会 理事
- 2018/04 - 現在 Hokkaido University Research Institute for Electronic Science Visiting Professor
- 2018/04 - 現在 京都大学 Graduate School of Informatics Professor
- 2017/10 - 現在 Science Council of Japan Member
- 2014/04 - 現在 National Institute of Informatics Visiting Professor
- 2010 - 現在 Waseda University Research Institute for Advanced Network Technology Adjunct Researcher
- 2020/04 - 2021/03 Kyoto University Faculty of Engineering School of Informatics & Mathematical Science
- 2018/06 - 2020/06 IPSJ Director Board
- 2015/05 - 2018/03 National Institute of Advanced Industrial Science and Technology (AIST) Artificial Intelligence Research Center Visiting Reseacher
- 2010/10 - 2018/03 Hokkaido University Graduate School of Information Science and Technology Professor
- 2009/10 - 2015/03 Japan Science and Technology Agency (JST) ERATO MINATO Discrete Structure Manipulation System Project Research Director
- 2012/11 - 2013/03 Tokyo Institute of Technology
- 2004/03 - 2010/09 Hokkaido University Graduate School of Information Science and Technology Associate Professor
- 1998 - 2004 NTT 未来ねっと研究所 研究主任, 主任研究員
- 1998 - 2004 Senior Researcher,NTT Network Innovation Laboratories
- 1999 - 2001 慶応義塾大学 湘南藤沢キャンパス 非常勤講師
- 1999 - 2001 Lecturer,Keio University Shonan-Fujisawa-Campus
- 1990 - 1998 NTT LSI研究所 研究員, 研究主任
- 1990 - 1998 Researcher,NTT LSI Laboratories
- 1997/01 - 1997/12 スタンフォード大学 客員研究員
- 1997 - Visiting Scholar,Stanford University
Show all
Committee career (27):
- 2023/05 - 現在 科学技術振興機構 ACT-X「次世代AI・数理情報」アドバイザー
- 2023/04 - 現在 文部科学省 科学技術・学術審議会 情報委員会 委員
- 2022/10 - 現在 科学技術振興機構 CRDS分野別委員会(AI・情報分野)委員
- 2021/10 - 現在 科学技術振興機構 ERATO ポストオフィサー
- 2020/09 - 現在 科学技術振興機構 創発的研究支援事業 創発アドバイザ
- 2021/05 - 2025/05 情報処理学会 理事
- 2022/03 - 2023/04 国際科学技術財団 日本国際賞 審査委員会「エレクトロニクス・情報・通信」分野 部会委員
- 2019/07 - 2021/11 稲盛財団 京都賞先端技術部門専門委員
- 2020/06 - 2021/05 情報処理学会 英文論文誌JIP 編集長
- 2016/06 - 2021/03 科学技術振興機構 ACT-I 「情報と未来」 アドバイザ
- 2018/05 - 2020/05 情報処理学会 理事
- 2014/06 - 2020/05 電子情報通信学会 コンピュテーション研究専門委員
- 2014/04 - 2020/03 科学技術振興機構 さきがけ「社会と調和した情報基盤技術の構築」 アドバイザ
- 2012 - 2014 電子情報通信学会 論文特集号編集委員
- 2010 - 2014 人工知能学会 評議員
- 2007 - 2014 電子情報通信学会 情報ネットワーク研究専門委員会
- 2011/06 - 2012/05 稲盛財団 京都賞先端技術部門専門委員
- 2010 - 2012 情報処理学会 論文特集号編集委員
- 2010 - 2012 電子情報通信学会 論文特集号編集委員
- 2009 - 2011 電子情報通信学会 論文特集号編集委員
- 2008 - 2010 電子情報通信学会 論文特集号編集委員
- 2007 - 2009 電子情報通信学会 論文特集号編集委員
- 2006 - 2008 電子情報通信学会 論文特集号編集委員
- 2005 - 2007 情報処理学会 論文特集号編集委員
- 2005 - 2007 電子情報通信学会 論文特集号編集委員
- 2004 - 2006 情報処理学会 論文特集号編集委員
- 2004 - 2006 電子情報通信学会 論文特集号編集委員
Show all
Awards (14):
- 2022/04 - 文部科学省 科学技術分野の文部科学大臣表彰 科学技術賞(研究部門) 離散構造処理アルゴリズムの基盤技術の研究
- 2021/05 - 情報処理学会 論文編集委員会 論文編集貢献賞
- 2019/05 - 日本計算機統計学会 論文賞
- 2017/05 - 人工知能学会 研究会優秀賞
- 2013/09 - 電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review ベストオーサー賞
- 2012/03 - 電子情報通信学会 情報ネットワーク研究会 研究賞
- 2010 - 電子情報通信学会 情報・システムソサイエティ論文賞(先見論文)
- 2009 - 人工知能学会研究会優秀賞
- 2006 - 人工知能学会研究会優秀賞
- 2000 - 山下記念研究賞
- 2000 - システムLSI設計技術研究会 研究賞
- 1992/09 - 電子情報通信学会 75周年記念論文優秀賞
- 1992 - 回路とシステム軽井沢ワークショップ奨励賞
- 1992 - 全国大会奨励賞
Show all
Association Membership(s) (5):
JAPANESE SOCIETY OF COMPUTATIONAL STATISTICS
, JSAI
, IEEE (CAS)
, IEICE
, IPSJ
Return to Previous Page