石原 侑樹

理工学部 数学科助教

学位

  • 学士(理学), 東京理科大学, 2016年03月
  • 修士(理学), 立教大学, 2018年03月
  • 博士(理学), 立教大学, 2021年03月

研究キーワード

  • グレブナー基底
  • 準素イデアル分解
  • モジュラー技法
  • パラメータ付きイデアル計算
  • 数値数式融合計算

研究分野

  • 自然科学一般, 代数学, 計算機代数
  • 情報通信, 情報学基礎論, 数式処理

経歴

  • 2024年04月 - 現在
    日本大学, 理工学部 数学科, 助教
  • 2021年04月 - 2024年04月
    東京理科大学, 理学部第一部 応用数学科, 嘱託助教

委員歴

  • 2024年07月 - 現在
    理論分科会運営委員長, 日本数式処理学会
  • 2022年04月 - 現在
    代表会員, 日本数式処理学会
  • 2022年09月 - 2024年06月
    広報委員, 日本数式処理学会
  • 2023年12月 - 2024年03月
    選挙管理委員, 日本数式処理学会

受賞

  • 2018年
    一般社団法人日本数式処理学会, 日本数式処理学会若手研究者賞
    二重イデアル商を用いた Effective Localization
    石原侑樹

論文

  • Learning to Compute Gröbner Bases
    Hiroshi Kera; Yuki Ishihara; Yuta Kambe; Tristan Vaccon; Kazuhiro Yokoyama
    The Thirty-Eighth Annual Conference on Neural Information Processing Systems (NeurIPS 2024), 2024年12月, 査読有り
  • Computing Endomorphism Rings of Supersingular Elliptic Curves by Finding Cycles in Concatenated Supersingular Isogeny Graphs
    Yuta Kambe; Akira Katayama; Yusuke Aikawa; Yuki Ishihara; Masaya Yasuda; Kazuhiro Yokoyama
    COMMENTARII MATHEMATICI UNIVERSITATIS SANCTI PAULI, 2024年, 査読有り, 通常論文
  • Primary Decomposition of Symmetric Ideals
    Yuki Ishihara
    COMMENTARII MATHEMATICI UNIVERSITATIS SANCTI PAULI, 2024年, 査読有り, 通常論文
  • Efficient Localization at a Prime Ideal Without Producing Unnecessary Primary Components
    Yuki Ishihara
    Mathematics in Computer Science, 2022年09月, 査読有り
    筆頭著者
  • Modular Techniques for Intermediate Primary Decomposition
    Yuki Ishihara
    Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, 2022年07月, 査読有り
    筆頭著者
  • Computation of a Primary Component of an Ideal from Its Associated Prime by Effective Localization
    石原侑樹; 横山和弘
    Communications of the Japan Society for Symbolic and Algebraic Computation, 2020年12月, 査読有り, 通常論文
    筆頭著者
  • Modular techniques for effective localization and double ideal quotient
    Yuki Ishihara
    Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, 2020年07月, 査読有り, 通常論文
    筆頭著者
  • On FGLM algorithms with tropical Gröbner bases
    Yuki Ishihara; Tristan Vaccon; Kazuhiro Yokoyama
    Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, 2020年07月, 査読有り, 通常論文
  • Effective Localization Using Double Ideal Quotient and Its Implementation.
    Yuki Ishihara; Kazuhiro Yokoyama
    Computer Algebra in Scientific Computing - 20th International Workshop(CASC), 2018年, 査読有り, 通常論文
    筆頭著者
  • テキストの読みを困難にする特徴の計量分析:小・中理科教科書を対象として
    新井 庭子; 分寺 杏介; 石原 侑樹; 松崎 拓也; 影浦 峡
    計量国語学, 2017年, 査読有り, 通常論文

MISC

  • パラメトリック準素分解とヒルベルト幾何—2023年度合同分科会報告
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 2024年06月
  • 対称イデアルの準素分解アルゴリズム—A Primary Decomposition Algorithm for Symmetric Ideals—Computer Algebra : Foundations and Applications
    石原 侑樹
    数理解析研究所講究録, 2024年05月
  • 数値計算を利用した準素成分の候補の計算—日本数式処理学会第32回大会報告
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 2024年01月
  • パラメータ付きのイデアル操作の計算について—On Computations of Ideal Operations with Parameters—Computer Algebra : Foundations and Applications
    石原 侑樹
    数理解析研究所講究録, 2023年06月
  • 有限体上の計算を利用した準素イデアル分解—日本数式処理学会第31回大会報告
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 2023年01月
  • 極大独立集合による局所化について—On Localization by Maximal Independent Set—Computer Algebra : Foundations and Applications
    石原 侑樹
    数理解析研究所講究録, 2022年06月
  • 素イデアルによる局所化のアルゴリズム—日本数式処理学会第30回大会報告
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 2022年04月
  • 二重イデアル商を用いた新しい準素分解のアルゴリズム
    石原 侑樹
    数理解析研究所講究録, 2019年12月, 査読無し, 通常論文
  • 数値計算を用いたイデアルの効果的な局所化操作 (分科会報告 2018年度理論分科会&システム分科会合同研究会報告)
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 2019年07月, 査読無し, 通常論文
  • 二重イデアル商を用いたEffective Localization (第27回日本数式処理学会大会報告)
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 2019年01月, 査読無し, 通常論文
  • Extを用いた準素イデアル分解の計算 (第26回日本数式処理学会大会報告)
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 2018年05月, 査読無し, 通常論文

講演・口頭発表等

  • ★Modular techniques for effective localization and double ideal quotient
    石原侑樹
    The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2020, 2020年07月
  • ★On FGLM Algorithms with Tropical Gröbner bases
    石原侑樹, Tristan Vaccon, 横山和弘
    The 45th International Symposium on Symbolic and Algebraic Computation, 2020年07月
  • ★Effective Localization Using Double Ideal Quotient and Its Implementation
    石原侑樹; 横山和弘
    The 20th International Workshop on Computer Algebra in Scientific Computing, 2018年09月, 通常論文
  • 零次元根基イデアルの素イデアル分解と記号的固有値法
    照井章; 石原侑樹; 小原功任; 田島慎一
    Risa/Asir Conference 2025, 2025年03月, 通常論文
  • 同種写像問題に対する攻撃法の比較:自己準同型環計算による攻撃 vs. 中間一致攻撃
    神戸祐太; 片山瑛; 相川勇輔; 石原侑樹; 安田雅哉; 横山和弘
    2025年 暗号と情報セキュリティシンポジウム(SCIS2025), 2025年01月, 通常論文
  • Learning to compute Gröbner bases
    Hiroshi Kera; Yuki Ishihara; Yuta Kambe; Tristan Vaccon; Kazuhiro Yokoyama
    The Thirty-Eighth Annual Conference on Neural Information Processing Systems, 2024年12月, 通常論文
  • パラメトリック準素分解と有理関数体上の準素分解
    石原侑樹
    理科大計算機代数セミナー, 2024年09月, 招待有り
  • パラメトリック準素イデアルの代入後の準素性
    石原侑樹, 横山和弘
    齋藤友克先生記念特別研究会, 2024年09月, 通常論文
  • Computation of Saturation for Primary Decomposition of Symmetric Ideals
    Yuki Ishihara
    Computer Algebra in Scientific Computing, 2024年09月, 通常論文
  • Gröbner basis computation via learning
    Kera Hiroshi; Yuki Ishihara; Tristan Vaccon; Kazuhiro Yokoyama
    SCSS 2024 the 10th International Symposium on Symbolic Computation in Software Science, 2024年08月, 通常論文
  • パラメトリック準素分解とヒルベルト幾何
    石原侑樹
    日本数式処理学会2023年度合同分科会, 2024年01月, 通常論文
  • 同種写像グラフ上のサイクル探索による同種写像求解法の高効率化
    神戸祐太; 片山瑛; 相川勇輔; 石原侑樹; 安田雅哉; 横山和弘
    2024年暗号と情報セキュリティシンポジウム(SCIS2024), 2024年01月, 通常論文
  • 対称イデアルの準素分解アルゴリズム
    石原侑樹
    RIMS 共同研究(公開型) Computer Algebra — Theory and its Applications, 2023年12月, 通常論文
  • Gröbner basis computation using Transformers
    Hiroshi Kera; Yuki Ishihara; Yuta Kambe; Tristan Vaccon; Kazuhiro Yokoyama
    第26回情報論的学習理論ワークショップ (IBIS2023), 2023年10月, 通常論文
  • Parametric Ideal Operations
    Yuki Ishihara
    10th International Congress on Industrial and Applied Mathematics (ICIAM 2023), 2023年08月, 通常論文
  • Solving the supersingular isogeny problem over Fp via the Deuring correspondence
    Yuta Kambe; Akira Katayama; Yusuke Aikawa; Yuki Ishihara; Masaya Yasuda; Kazuhiro Yokoyama
    Mathcrypt 2023, 2023年08月, 通常論文
  • 数値計算を利用した準素成分の候補の計算
    石原侑樹
    日本数式処理学会第32回大会, 2023年06月, 通常論文
  • 対称イデアルの準素分解
    石原侑樹
    Risa/Asir Conference 2023, 2023年03月, 通常論文
  • パラメータ付きのイデアル操作の計算
    石原侑樹
    日本数学会 2023 年度年会, 2023年03月, 通常論文
  • 超特異楕円曲線の自己準同型環計算の実装報告
    神戸祐太; 片山瑛; 相川勇輔; 石原侑樹; 安田雅哉; 横山和弘
    2023年 暗号と情報セキュリティシンポジウム(SCIS2023), 2023年01月, 通常論文
  • パラメータ付きのイデアル操作の計算について
    石原侑樹
    RIMS 共同研究(公開型) Computer Algebra — Theory and its Applications, 2022年12月, 通常論文
  • Modular Techniques for Intermediate Primary Decomposition
    石原侑樹
    The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2022, 2022年07月, 通常論文
  • 有限体上の計算を利用した準素イデアル分解
    石原侑樹
    日本数式処理学会第31回大会, 2022年06月, 通常論文
  • モジュラー技法を用いた中間準素分解
    石原侑樹
    Risa/Asir Conference 2022, 2022年03月, 通常論文
  • 極大独立集合による局所化について
    石原侑樹
    RIMS 共同研究(公開型) Computer Algebra — Theory and its Applications, 2021年12月, 通常論文
  • Efficient Localization at a Prime Ideal Without Producing Unnecessary Primary Components
    Yuki Ishihara
    Computer Algebra in Scientific Computing (CASC) 2021, 2021年09月, 通常論文
  • Double Ideal Quotient and Its Application
    Yuki Ishihara
    Applications of Computer Algebra 2021, 2021年07月, 通常論文
  • 素イデアルによる局所化のアルゴリズム
    石原侑樹
    日本数式処理学会第30回大会, 2021年06月, 通常論文
  • モジュラー技法を用いた素因子の判定
    石原侑樹
    Risa/Asir Conference 2021, 2021年03月, 通常論文
  • Modular Techniques を用いた効率的な局所化操作の計算
    石原侑樹
    Software in Mathematics Demonstration Track in Hakata Workshop 2020, 2020年02月, 通常論文
  • Modular 計算を利用した効率的な局所化操作
    石原侑樹
    Risa/Asir Conference 2019, 2019年03月, 通常論文
  • 二重イデアル商を用いた準素イデアル分解の新しいアルゴリズム
    石原侑樹
    RIMS 共同研究(公開型) Computer Algebra — Theory and its Applications, 2018年12月, 通常論文
  • 数値計算を用いたイデアルの効率的な局所化操作
    石原侑樹
    日本数式処理学会2018年度基礎理論分科会&システム分科会合同研究会, 2018年09月, 通常論文
  • 二重イデアル商を用いた Effective Localization
    石原侑樹
    日本数式処理学会 第27回大会, 2018年06月, 通常論文
  • 二重イデアル商を用いた局所化操作とその実装
    Risa/Asir Conference 2018,, 2018年03月, 通常論文
  • 計算機代数とグレブナー基底について
    石原侑樹
    第一回数理新人セミナー, 2018年02月, 通常論文
  • Extを用いた準素イデアル分解の計算
    石原侑樹
    日本数式処理学会 第26回大会, 2017年06月, 通常論文

担当経験のある科目_授業

  • コンピュータ概論B
    2024年09月 - 2025年01月
    日本大学
  • 情報科学4
    2024年09月 - 2025年01月
    立教大学
  • 計算機入門2演習
    2024年09月 - 2025年01月
    立教大学
  • 代数学幾何学D
    2024年09月 - 2025年01月
    日本大学
  • コンピュータ概論A
    2024年04月 - 2024年07月
    日本大学
  • 情報科学2
    2024年04月 - 2024年07月
    立教大学
  • 計算機入門1演習
    2024年04月 - 2024年07月
    立教大学
  • 代数学幾何学C
    2024年04月 - 2024年07月
    日本大学
  • 情報科学4(情報ネットワーク論実習)
    2023年10月 - 2024年03月
    立教大学
  • 情報科学2(情報システム論実習)
    2023年10月 - 2024年03月
    立教大学
  • 卒業研究(指導補助)
    2022年04月 - 2024年03月
    東京理科大学
  • コンピュータ数学基礎(演習)
    2021年04月 - 2024年03月
    東京理科大学
  • 情報科学3(情報ネットワーク論)
    2023年04月 - 2023年09月
    立教大学
  • 情報科学1(情報システム論)
    2023年04月 - 2023年09月
    立教大学
  • 応用数学入門
    2023年04月 - 2023年08月
    東京理科大学
  • 応用数学特別講義2
    2022年09月 - 2023年03月
    東京理科大学
  • 応用数学入門
    2022年06月 - 2022年08月
    東京理科大学
  • 情報数理2演習
    2022年04月 - 2022年07月
    立教大学
  • 線形代数学入門演習
    2022年04月 - 2022年07月
    立教大学
  • 情報数理1演習
    2022年04月 - 2022年07月
    立教大学
  • コンピュータ入門
    2022年04月 - 2022年06月
    東京理科大学
  • 微分と積分1演習
    2021年09月 - 2022年03月
    立教大学

所属学協会

  • 2023年04月 - 現在
    日本応用数理学会
  • 2021年10月 - 現在
    日本数学会
  • 2017年05月 - 現在
    日本数式処理学会

共同研究・競争的資金等の研究課題

  • 数値数式融合計算による準素分解の高速化
    日本学術振興会, 科学研究費助成事業 若手研究, 2022年04月01日 - 2027年03月31日
    石原 侑樹
  • 記号計算の高速化と産業課題解決への応用2
    九州大学 マス・フォア・インダストリ研究所, 2024年度IMI共同利用研究計画 若手・学生研究-短期共同研究, 2024年04月 - 2025年03月
    石原侑樹; 深作亮也; 池松泰彦; 神戸祐太; 岩根秀直; 伊藤勝; 小林宗広; 湯野剛史; 計良宥志; 庵智幸
  • 記号計算の高速化と産業課題解決への応用
    九州大学 マス・フォア・インダストリ研究所, 2023年度IMI共同利用研究計画 若手・学生研究-短期共同研究, 2023年04月 - 2024年03月
    石原侑樹; 深作亮也; 池松泰彦; 神戸祐太; 岩根秀直; 伊藤勝; 小林宗広; 湯野剛史; 計良宥志
  • 限量子消去の効率的なアルゴリズムの構築と産業課題解決への応用
    九州大学 マス・フォア・インダストリ研究所, 2022年度IMI共同利用研究計画 若手・学生研究-短期共同研究, 2023年04月 - 2024年03月
    石原侑樹; 深作亮也; 池松泰彦; 神戸祐太; 岩根秀直
  • 二重イデアル商を用いた計算可換代数の新領域の開拓
    日本学術振興会, 日本学術振興会若手研究者海外挑戦プログラム, 2019年10月 - 2020年01月