Rchr
J-GLOBAL ID:200901020036165552   Update date: Feb. 24, 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 学習/数理モデルに基づく時空間展開型アーキテクチャの創出と応用
Show all
Papers (205):
  • 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
  • YAMADA Kentaro, MINATO Shin-ichi, TAMURA Naoyuki, BANBARA Mutsunori. Solving Power Distribution Network Problems with Answer Set Programming. Computer Software. 2023. 40. 2. 2_3-2_18
more...
MISC (163):
  • 松尾亮祐, ルディー・レイモンド, 湊真一, 山下茂. 量子回路の観測のための決定グラフの最適化. 情報処理学会 第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
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
Show all
Committee career (27):
  • 2023/05 - 現在 科学技術振興機構 ACT-X「次世代AI・数理情報」アドバイザー
  • 2023/04 - 現在 文部科学省 科学技術・学術審議会 情報委員会 委員
  • 2022/10 - 現在 科学技術振興機構 CRDS分野別委員会(AI・情報分野)委員
  • 2021/10 - 現在 科学技術振興機構 ERATO ポストオフィサー
  • 2020/09 - 現在 科学技術振興機構 創発的研究支援事業 創発アドバイザ
Show all
Awards (14):
  • 2022/04 - 文部科学省 科学技術分野の文部科学大臣表彰 科学技術賞(研究部門) 離散構造処理アルゴリズムの基盤技術の研究
  • 2021/05 - 情報処理学会 論文編集委員会 論文編集貢献賞
  • 2019/05 - 日本計算機統計学会 論文賞
  • 2017/05 - 人工知能学会 研究会優秀賞
  • 2013/09 - 電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review ベストオーサー賞
Show all
Association Membership(s) (5):
JAPANESE SOCIETY OF COMPUTATIONAL STATISTICS ,  JSAI ,  IEEE (CAS) ,  IEICE ,  IPSJ
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page