Rchr
J-GLOBAL ID：200901020036165552   Update date: Aug. 10, 2024

Minato Shin-ichi

ミナト シンイチ | Minato Shin-ichi
Affiliation and department：
Kyoto University Graduate School of Informatics

About Kyoto University Graduate School of Informatics


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)：
  • 2024 - 2029 Research on solvable regions of theoretically uncomputable/difficult classes
  • 2024 - 2028 離散数学、グラフアルゴリズム、グラフ理論の横断的研究
  • 2023 - 2027 Automatic classification and recognition of singularities and its application
  • 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
Show all
Papers (216)：
  • Ryosuke MATSUO, Shin-ichi MINATO. A Complete Library of Cross-Bar Gate Logic with Three Control Inputs. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2024. E107-A. 3. 566-574
  • Mutsunori Banbara, Shin-ichi Minato, Hirotaka Ono 0001, Ryuhei Uehara. On the Computational Complexity of Generalized Common Shape Puzzles. SOFSEM. 2024. 55-68
  • 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. 641-648
  • Ryosuke Matsuo, Rudy Raymond, Shigeru Yamashita, Shin-ichi Minato. Optimizing Decision Diagrams for Measurements of Quantum Circuits. Proc. of the 29th Asia South Pacific Design Automation Conference (ASPDAC 2024). 2024. 134-139
  • INOUE Takeru, YASUDA Norihito, NABESHIMA Hidetomo, NISHINO Masaaki, DENZUMI Shuhei, MINATO Shin-ichi. International Competition on Graph Counting Algorithms 2023. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2024. advpub
ｍore...
MISC (174)：
  • Hiromi Emoto, Yuni Iwamasa, Shin-ichi Minato. On the sizes of BDDs and ZDDs representing matroids. CoRR. 2024. abs/2404.14670
  • 江本洸海, 岩政勇仁, 湊真一. マトロイドを表すBDD/ZDDについて. 電子情報通信学会2024総合大会. 2024. DS-2-03
  • 古渡健太, 川原純, 湊真一. コンテナ積載計画問題へのゼロサプレス型二分決定グラフの応用. 日本オペレーションズ・リサーチ学会2024年春季研究発表会. 2024. 2-D-11
  • 吉浩, 川原純, 湊真一. 0-1整数線形計画問題の実行可能解を列挙するZDDの生成法とその評価. 情報処理学会第86回全国大会講演論文集. 2024. 1-227-1-228
  • Shin-ichi Minato. Recent Research Activities on Algorithmic Foundations for Social Advancement. WALCOM. 2024. 1-8
ｍore...
Books (32)：
  • 生成AIの論点 : 学問・ビジネスからカルチャーまで
    青弓社 2024 ISBN:9784787235374
  • 基礎からわかるアルゴリズム
    ニュートンプレス 2022 ISBN:9784315525489
  • 2019年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
    基盤(S)離散構造処理系プロジェクト 2020
  • 基礎から学ぶ情報理論 第2版
    ムイスリ出版 2020 ISBN:9784896412871
  • 2018年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
    基盤(S)離散構造処理系プロジェクト 2019
ｍore...
Lectures and oral presentations  (21)：
  • Recent Research Activities on Algorithmic Foundations for Social Advancement
    (18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024) 2024)
  • 革新的アルゴリズム基盤(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)
ｍore...
Works (6)：
  • YouTube アニメーション動画(監修) 「フカシギの数え方 おねえさんといっしょ! みんなで数えてみよう!」
    湊 真一 2012 - 現在
  • Graphillion
    2012 - 現在
  • 北海道大学総合博物館 企画展示 「フカシギの数え方」
    湊 真一 2013 - 2014
  • 日本科学未来館 研究成果展示 「フカシギの数え方」
    湊 真一 2012 - 2013
  • Knuth; The Art of Computer Programming への研究成果の掲載、および同書の校訂作業への協力
    2008 -
ｍore...
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 (28)：
  • 2023/05 - 現在 科学技術振興機構 ACT-X「次世代AI・数理情報」アドバイザ
  • 2023/04 - 現在 文部科学省 科学技術・学術審議会 情報委員会 委員
  • 2022/10 - 現在 科学技術振興機構 CRDS分野別委員会(AI・情報分野)委員
  • 2021/10 - 現在 科学技術振興機構 ERATO プログラムオフィサー
  • 2020/09 - 現在 科学技術振興機構 創発的研究支援事業 創発アドバイザ
Show all
Awards (15)：
  • 2024/06 - 情報処理学会 フェロー 離散構造処理アルゴリズムに関する先駆的研究と人材育成および学会運営への貢献
  • 2022/04 - 文部科学省 科学技術分野の文部科学大臣表彰 科学技術賞(研究部門) 離散構造処理アルゴリズムの基盤技術の研究
  • 2021/05 - 情報処理学会 論文編集委員会 論文編集貢献賞
  • 2019/05 - 日本計算機統計学会 論文賞
  • 2017/05 - 人工知能学会 研究会優秀賞
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

TOP

BOTTOM