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

湊 真一

ミナト シンイチ | 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件)：
  • 2020 - 2025 社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化
  • 2020 - 2025 離散構造処理系に基づく列挙と最適化の統合的技法の研究
  • 2020 - 2025 大規模離散構造の理解と革新的アルゴリズム基盤の創出
  • 2020 - 2025 研究領域「革新的アルゴリズム基盤」の組織運営と研究推進
  • 2018 - 2024 学習/数理モデルに基づく時空間展開型アーキテクチャの創出と応用
全件表示
論文 (206件)：
  • Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram Operations. 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
もっと見る
MISC (163件)：
  • 松尾亮祐, ルディー・レイモンド, 湊真一, 山下茂. 量子回路の観測のための決定グラフの最適化. 情報処理学会 第9回量子ソフトウェア研究発表会. 2023
  • 中村 健吾, 西野 正彬, 安田 宜仁, 湊 真一. CompDP: 複数の連結性制約の下の部分グラフ数え上げを同時に行う動的計画法. 人工知能学会全国大会論文集. 2023. JSAI2023. 2I5OS9b03-2I5OS9b03
  • 大場 翔, 川原 純, 湊 真一. 単項二階論理式で与えられた論理関数を表す決定グラフの構築. 人工知能学会全国大会論文集. 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
もっと見る
書籍 (31件)：
  • 基礎からわかるアルゴリズム
    ニュートンプレス 2022 ISBN:9784315525489
  • 2019年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
    基盤(S)離散構造処理系プロジェクト 2020
  • 基礎から学ぶ情報理論 第2版
    ムイスリ出版 2020 ISBN:9784896412871
  • 2018年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
    基盤(S)離散構造処理系プロジェクト 2019
  • 2017年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録
    基盤(S)離散構造処理系プロジェクト, 2018
もっと見る
講演・口頭発表等 (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)
もっと見る
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 - 現在 京都大学 大学院 情報学研究科 教授
全件表示
委員歴 (27件)：
  • 2023/05 - 現在 科学技術振興機構 ACT-X「次世代AI・数理情報」アドバイザー
  • 2023/04 - 現在 文部科学省 科学技術・学術審議会 情報委員会 委員
  • 2022/10 - 現在 科学技術振興機構 CRDS分野別委員会(AI・情報分野)委員
  • 2021/10 - 現在 科学技術振興機構 ERATO ポストオフィサー
  • 2020/09 - 現在 科学技術振興機構 創発的研究支援事業 創発アドバイザ
全件表示
受賞 (14件)：
  • 2022/04 - 文部科学省 科学技術分野の文部科学大臣表彰 科学技術賞(研究部門) 離散構造処理アルゴリズムの基盤技術の研究
  • 2021/05 - 情報処理学会 論文編集委員会 論文編集貢献賞
  • 2019/05 - 日本計算機統計学会 論文賞
  • 2017/05 - 人工知能学会 研究会優秀賞
  • 2013/09 - 電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review ベストオーサー賞
全件表示
所属学会 (5件)：
日本計算機統計学会 ,  人工知能学会 ,  IEEE (CAS) ,  電子情報通信学会 ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM