研究者
J-GLOBAL ID：200901020036165552   更新日: 2024年08月10日

湊 真一

ミナト シンイチ | Minato Shin-ichi
所属機関・部署：
京都大学大学院 情報学研究科

京都大学大学院 情報学研究科 について


職名： 教授
その他の所属（所属・部署名・職名） (1件)：
  • 国立情報学研究所  客員教授
ホームページURL (1件)： https://www.lab2.kuis.kyoto-u.ac.jp/minato/
研究分野 (6件)： ヒューマンインタフェース、インタラクション ,  データベース ,  情報ネットワーク ,  計算機システム ,  情報学基礎論 ,  知能情報学
研究キーワード (11件)： 離散構造処理系 ,  データマイニング・知識処理 ,  論理最適化 ,  データ構造とアルゴリズム ,  データマイニング ,  knowledge processing ,  data mining ,  Data mining. ,  Logic verification ,  Logic optimization ,  Data structures and algorithms
競争的資金等の研究課題 (27件)：
  • 2024 - 2029 理論的に計算不能・計算困難なクラスの可解領域の研究
  • 2024 - 2028 離散数学、グラフアルゴリズム、グラフ理論の横断的研究
  • 2023 - 2027 情報と数学の協働による特異点自動分類および認識と応用
  • 2020 - 2025 社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化
  • 2020 - 2025 離散構造処理系に基づく列挙と最適化の統合的技法の研究
全件表示
論文 (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, 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
もっと見る
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
もっと見る
書籍 (32件)：
  • 生成AIの論点 : 学問・ビジネスからカルチャーまで
    青弓社 2024 ISBN:9784787235374
  • 基礎からわかるアルゴリズム
    ニュートンプレス 2022 ISBN:9784315525489
  • 2019年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
    基盤(S)離散構造処理系プロジェクト 2020
  • 基礎から学ぶ情報理論 第2版
    ムイスリ出版 2020 ISBN:9784896412871
  • 2018年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
    基盤(S)離散構造処理系プロジェクト 2019
もっと見る
講演・口頭発表等 (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)
もっと見る
Works (6件)：
  • YouTube アニメーション動画(監修) 「フカシギの数え方 おねえさんといっしょ! みんなで数えてみよう!」
    湊 真一 2012 - 現在
  • Graphillion
    JST ERATO湊離散構造処理系プロジェクト 2012 - 現在
  • 北海道大学総合博物館 企画展示 「フカシギの数え方」
    湊 真一 2013 - 2014
  • 日本科学未来館 研究成果展示 「フカシギの数え方」
    湊 真一 2012 - 2013
  • Knuth; The Art of Computer Programming への研究成果の掲載、および同書の校訂作業への協力
    2008 -
もっと見る
学歴 (6件)：
  • 1994 - 1995 京都大学 工学研究科 情報工学専攻 博士後期課程(社会人)
  • - 1995 京都大学
  • - 1990 京都大学
  • 1984 - 1988 京都大学 工学部 情報工学科
  • - 1988 京都大学
全件表示
学位 (1件)：
  • 博士(工学)
経歴 (23件)：
  • 2023/04 - 現在 京都大学 情報環境機構 副機構長
  • 2023/04 - 現在 情報学科・専攻協議会 会長
  • 2021/06 - 現在 情報処理学会 理事
  • 2018/04 - 現在 北海道大学 電子科学研究所 客員教授
  • 2018/04 - 現在 京都大学 大学院 情報学研究科 教授
全件表示
委員歴 (28件)：
  • 2023/05 - 現在 科学技術振興機構 ACT-X「次世代AI・数理情報」アドバイザ
  • 2023/04 - 現在 文部科学省 科学技術・学術審議会 情報委員会 委員
  • 2022/10 - 現在 科学技術振興機構 CRDS分野別委員会(AI・情報分野)委員
  • 2021/10 - 現在 科学技術振興機構 ERATO プログラムオフィサー
  • 2020/09 - 現在 科学技術振興機構 創発的研究支援事業 創発アドバイザ
全件表示
受賞 (15件)：
  • 2024/06 - 情報処理学会 フェロー 離散構造処理アルゴリズムに関する先駆的研究と人材育成および学会運営への貢献
  • 2022/04 - 文部科学省 科学技術分野の文部科学大臣表彰 科学技術賞(研究部門) 離散構造処理アルゴリズムの基盤技術の研究
  • 2021/05 - 情報処理学会 論文編集委員会 論文編集貢献賞
  • 2019/05 - 日本計算機統計学会 論文賞
  • 2017/05 - 人工知能学会 研究会優秀賞
全件表示
所属学会 (5件)：
日本計算機統計学会 ,  人工知能学会 ,  IEEE (CAS) ,  電子情報通信学会 ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM