Ishihara Yuki

College of Science and Technology Department of MathematicsAssistant Professor

Degree

  • Mar. 2016
  • Mar. 2018
  • Mar. 2021

Research Keyword

  • Groebner basis
  • Primary Decomposition
  • Modular Techniques
  • Parametric Ideal Computation
  • Symbolic-Numeric Hybrid Approach

Field Of Study

  • Natural sciences, Algebra, Computer Algebra
  • Informatics, Information theory

Career

  • Apr. 2024 - Present
    Nihon University, College of Science and Technology Department of Mathematics, 助教
  • Apr. 2021 - Mar. 2024
    Tokyo University of Science, Faculty of Science, Division 1 Department of Applied Mathematics, 嘱託助教

Member History

  • Jun. 2026 - Present
    Program Committee, Computer Algebra in Scientific Computing 2026 (CASC 2026)
  • Apr. 2026 - Present
  • Jul. 2025 - Present
    Scientific Committee, SCML: A Publishing Forum for Symbolic Computation and Machine Learning
  • Jul. 2024 - Present
  • Apr. 2022 - Present
  • Dec. 2025 - Mar. 2026
  • Sep. 2022 - Jun. 2024
  • Dec. 2023 - Mar. 2024

Award

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

Paper

  • Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
    Hiroshi Kera; Nico Pelleriti; Yuki Ishihara; Max Zimmer; Sebastian Pokutta
    The Thirty-Ninth Annual Conference on Neural Information Processing Systems (NeurIPS 2025), Dec. 2025, Refereed, Not invited
  • Effective Hilbert’s Irreducibility Theorem for Primary Ideals
    Yuki Ishihara; Kazuhiro Yokoyama
    Lecture Notes in Computer Science, Nov. 2025, Refereed, Not invited
    Lead
  • 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, Refereed, Not invited
  • Primary Decomposition of Symmetric Ideals
    Yuki Ishihara
    COMMENTARII MATHEMATICI UNIVERSITATIS SANCTI PAULI, 2024, Refereed, Not invited
    Lead
  • Learning to compute Gröbner bases
    Hiroshi Kera; Yuki Ishihara; Yuta Kambe; Tristan Vaccon; Kazuhiro Yokoyama
    Advances in Neural Information Processing Systems 37, 2024, Refereed, Not invited
  • Efficient Localization at a Prime Ideal Without Producing Unnecessary Primary Components
    Yuki Ishihara
    Mathematics in Computer Science, Sep. 2022, Refereed
    Lead
  • Modular Techniques for Intermediate Primary Decomposition
    Yuki Ishihara
    Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, Jul. 2022, Refereed
    Lead
  • Computation of a Primary Component of an Ideal from Its Associated Prime by Effective Localization
    Yuki Ishihara; Kazurhiro Yokoyama
    Communications of the Japan Society for Symbolic and Algebraic Computation, Dec. 2020, Refereed, Not invited
    Lead
  • Modular techniques for effective localization and double ideal quotient
    Yuki Ishihara
    Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, Jul. 2020, Refereed, Not invited
    Lead
  • 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, Jul. 2020, Refereed, Not invited
  • Effective Localization Using Double Ideal Quotient and Its Implementation.
    Yuki Ishihara; Kazuhiro Yokoyama
    Computer Algebra in Scientific Computing - 20th International Workshop(CASC), 2018, Refereed, Not invited
    Lead
  • Complexities of Text from the Points of View of Lexical and Syntactic Characteristics:Quantitative Analysis of Linguistic Features of Primary School Textbooks
    Arai Teiko; Bunji Kyosuke; Ishihara Yuki; Matsuzaki Takuya; Kageura Kyo
    Mathematical Linguistics, 2017, Refereed, Not invited

MISC

  • Computing Gröbner Basis Using Machine Learning
    Ishihara Yuki
    Bulletin of the Japan Society for Industrial and Applied Mathematics, Mar. 2026, Not refereed, Not invited
    Lead
  • イデアル計算の機械学習に向けた基底のランダム生成—日本数式処理学会第34回大会報告
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, 2026, Not refereed, Not invited
    Lead
  • 零次元根基イデアルの素イデアル分解と記号的固有値法
    照井章; 石原侑樹; 小原功任; 田島慎一
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, Dec. 2025, Not refereed, Not invited
  • Event Report of “Speeding Up of Symbolic Computation and Its Application to Solving Industrial Problems 2”
    Ishihara Yuki
    Bulletin of the Japan Society for Industrial and Applied Mathematics, 25 Sep. 2025
  • パラメトリック準素イデアルの代入後の準素性—齋藤友克先生記念特別研究会報告
    石原 侑樹; 横山 和弘
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, Jun. 2025, Not refereed, Not invited
    Lead
  • パラメトリック準素分解とヒルベルト幾何—2023年度合同分科会報告
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, Jun. 2024
  • 対称イデアルの準素分解アルゴリズム—A Primary Decomposition Algorithm for Symmetric Ideals—Computer Algebra : Foundations and Applications
    石原 侑樹
    数理解析研究所講究録, May 2024
  • Gröbner basis computation via learning.
    Hiroshi Kera; Yuki Ishihara; Tristan Vaccon; Kazuhiro Yokoyama
    Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), 2024
  • 数値計算を利用した準素成分の候補の計算—日本数式処理学会第32回大会報告
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, Jan. 2024
  • パラメータ付きのイデアル操作の計算について—On Computations of Ideal Operations with Parameters—Computer Algebra : Foundations and Applications
    石原 侑樹
    数理解析研究所講究録, Jun. 2023
  • 有限体上の計算を利用した準素イデアル分解—日本数式処理学会第31回大会報告
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, Jan. 2023
  • 極大独立集合による局所化について—On Localization by Maximal Independent Set—Computer Algebra : Foundations and Applications
    石原 侑樹
    数理解析研究所講究録, Jun. 2022
  • 素イデアルによる局所化のアルゴリズム—日本数式処理学会第30回大会報告
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, Apr. 2022
  • コロナ禍の国際会議
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, Jan. 2021
  • A New Algorithm for Primary Decomposition Using Double Ideal Quotient (Computer Algebra : Theory and its Applications)
    石原 侑樹
    数理解析研究所講究録, Dec. 2019, Not refereed, Not invited
  • 数値計算を用いたイデアルの効果的な局所化操作 (分科会報告 2018年度理論分科会&システム分科会合同研究会報告)
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, Jul. 2019, Not refereed, Not invited
  • 二重イデアル商を用いたEffective Localization (第27回日本数式処理学会大会報告)
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, Jan. 2019, Not refereed, Not invited
  • Extを用いた準素イデアル分解の計算 (第26回日本数式処理学会大会報告)
    石原 侑樹
    数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation, May 2018, Not refereed, Not invited

Lectures, oral presentations, etc.

  • ★Modular techniques for effective localization and double ideal quotient
    Yuki Ishihara
    The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2020,, Jul. 2020
  • ★On FGLM Algorithms with Tropical Gröbner bases
    Yuki Ishihara; Tristan Vaccon; Kazuhiro Yokoyama
    The 45th International Symposium on Symbolic and Algebraic Computation, Jul. 2020
  • ★Effective Localization Using Double Ideal Quotient and Its Implementation
    Yuki Ishihara; Kazuhiro Yokoyama
    The 20th International Workshop on Computer Algebra in Scientific Computing, Sep. 2018, Not invited
  • Efficient techniques for primary decomposition of symmetric ideals
    Yuki Ishihara
    28th International Workshop on Computer Algebra in Scientific Computing, Sep. 2026, Not invited
  • 機械学習を用いた多項式イデアルの学習
    石原侑樹
    可換代数と組合せ論セミナー, Jul. 2026, Invited
  • Efficient Dataset Generation for Bases of Zero-Dimensional Ideals
    Yuki Ishihara; Kazuhiro Yokoyama
    Symbolic Computation and Machine Learning 2026 (SCML 2026), Jul. 2026, Not invited
  • 飽和イデアルの高速化と対称イデアルの準素分解
    石原侑樹
    日本数式処理学会第35回大会, Jun. 2026, Not invited
  • Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
    Hiroshi Kera; Nico Pelleriti; Yuki Ishihara; Max Zimmer; Sebastian Pokutta
    Conference on Parsimony and Learning, Mar. 2026, Not invited
  • Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
    Hiroshi Kera; Nico Pelleriti; Yuki Ishihara; Max Zimmer; Sebastian Pokutta
    The Thirty-Ninth Annual Conference on Neural Information Processing Systems, Dec. 2025, Not invited
  • Effective Hilbert’s Irreducibility Theorem for Primary Ideals
    Yuki Ishihara; Kazuhiro Yokoyama
    Computer Algebra in Scientific Computing, Nov. 2025, Not invited
  • 零次元イデアルの根基の素イデアル分解と記号的固有値法
    照井章; 石原侑樹; 小原功任; 田島慎一
    RIMS 共同研究(公開型) Computer Algebra - Foundations and Applications, Nov. 2025, Not invited
  • グレブナー基底入門
    石原侑樹
    日本数式処理学会 第17期 分科会合同オープンレクチャー, Nov. 2025, Not invited
  • グレブナー基底と機械学習
    石原侑樹
    記号計算の高速化と産業課題解決への応用3, Nov. 2025, Not invited
  • グレブナー基底を学習するためのデータセット生成
    石原侑樹
    数学ソフトウェアとフリードキュメント 38, Sep. 2025, Invited
  • Symmetric Gröbner Bases and Primary Decomposition
    Yuki Ishihara
    Deepening and Applications of Computational Algebraic Geometry via Gr¨obner bases, Sep. 2025, Not invited
  • Computer Algebra with Deep Learning
    Yuki Ishihara
    Math & Computer Seminar (RIKEN iTHEMS), Sep. 2025, Invited
  • 零次元根基イデアルの素イデアル分解と記号的固有値法
    照井章; 石原侑樹; 小原功任; 田島慎一
    日本数式処理学会第34回大会, Jun. 2025, Not invited
  • イデアル計算の機械学習に向けた基底のランダム生成
    石原侑樹
    日本数式処理学会第34回大会, Jun. 2025, Not invited
  • パラメータ付きイデアルを用いた基底の生成
    石原侑樹
    理科大計算機代数セミナー, May 2025, Not invited
  • 多項式イデアルの準素分解とその計算
    石原侑樹
    IMI暗号学セミナー&代数学セミナー(合同開催), May 2025, Invited
  • 零次元根基イデアルの素イデアル分解と記号的固有値法
    照井章; 石原侑樹; 小原功任; 田島慎一
    Risa/Asir Conference 2025, Mar. 2025, Not invited
  • 同種写像問題に対する攻撃法の比較:自己準同型環計算による攻撃 vs. 中間一致攻撃
    神戸祐太; 片山瑛; 相川勇輔; 石原侑樹; 安田雅哉; 横山和弘
    2025年 暗号と情報セキュリティシンポジウム(SCIS2025), Jan. 2025, Not invited
  • 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, Dec. 2024, Not invited
  • パラメトリック準素分解と有理関数体上の準素分解
    石原侑樹
    理科大計算機代数セミナー, Sep. 2024, Invited
  • パラメトリック準素イデアルの代入後の準素性
    石原侑樹, 横山和弘
    齋藤友克先生記念特別研究会, Sep. 2024, Not invited
  • Computation of Saturation for Primary Decomposition of Symmetric Ideals
    Yuki Ishihara
    Computer Algebra in Scientific Computing, Sep. 2024, Not invited
  • 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, Aug. 2024, Not invited
  • パラメトリック準素分解とヒルベルト幾何
    石原侑樹
    日本数式処理学会2023年度合同分科会, Jan. 2024, Not invited
  • 同種写像グラフ上のサイクル探索による同種写像求解法の高効率化
    神戸祐太; 片山瑛; 相川勇輔; 石原侑樹; 安田雅哉; 横山和弘
    2024年暗号と情報セキュリティシンポジウム(SCIS2024), Jan. 2024, Not invited
  • A Primary Decomposition Algorithm for Symmetric Ideals
    Yuki Ishihara
    RIMS 共同研究(公開型) Computer Algebra — Theory and its Applications, Dec. 2023, Not invited
  • Gröbner basis computation using Transformers
    Hiroshi Kera; Yuki Ishihara; Yuta Kambe; Tristan Vaccon; Kazuhiro Yokoyama
    第26回情報論的学習理論ワークショップ (IBIS2023), Oct. 2023, Not invited
  • Parametric Ideal Operations
    Yuki Ishihara
    10th International Congress on Industrial and Applied Mathematics (ICIAM 2023), Aug. 2023, Not invited
  • 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, Aug. 2023, Not invited
  • 数値計算を利用した準素成分の候補の計算
    石原侑樹
    日本数式処理学会第32回大会, Jun. 2023, Not invited
  • Primary Decompositions for Symmetric Ideals
    Yuki Ishihara
    Risa/Asir Conference 2023, Mar. 2023, Not invited
  • On Computations of Ideal Operations with Parameters
    Yuki Ishihara
    日本数学会 2023 年度年会, Mar. 2023, Not invited
  • Report on the Implementation of Computing Endomorphism Rings of Supersingular Elliptic Curves
    神戸祐太; 片山瑛; 相川勇輔; 石原侑樹; 安田雅哉; 横山和弘
    2023 Symposium on Cryptography and Information Security, Jan. 2023, Not invited
  • On Computations of Ideal Operations with Parameters
    Yuki Ishihara
    RIMS 共同研究(公開型) Computer Algebra — Theory and its Applications, Dec. 2022, Not invited
  • Modular Techniques for Intermediate Primary Decomposition
    Yuki Ishihara
    The International Symposium on Symbolic and Algebraic Computation (ISSAC) 2022, Jul. 2022, Not invited
  • Intermediate Primary Decomposition by Modular Techniques
    Yuki Ishihara
    日本数式処理学会第31回大会, Jun. 2022, Not invited
  • モジュラー技法を用いた中間準素分解
    石原侑樹
    Risa/Asir Conference 2022, Mar. 2022, Not invited
  • 極大独立集合による局所化について
    石原侑樹
    RIMS 共同研究(公開型) Computer Algebra — Theory and its Applications, Dec. 2021, Not invited
  • Efficient Localization at a Prime Ideal Without Producing Unnecessary Primary Components
    Yuki Ishihara
    Computer Algebra in Scientific Computing (CASC) 2021, Sep. 2021, Not invited
  • Double Ideal Quotient and Its Application
    Yuki Ishihara
    Applications of Computer Algebra 2021, Jul. 2021, Not invited
  • 素イデアルによる局所化のアルゴリズム
    石原侑樹
    日本数式処理学会第30回大会, Jun. 2021, Not invited
  • モジュラー技法を用いた素因子の判定
    石原侑樹
    Risa/Asir Conference 2021, Mar. 2021, Not invited
  • Modular Techniques を用いた効率的な局所化操作の計算
    石原侑樹
    Software in Mathematics Demonstration Track in Hakata Workshop 2020, Feb. 2020, Not invited
  • Modular 計算を利用した効率的な局所化操作
    石原侑樹
    Risa/Asir Conference 2019, Mar. 2019, Not invited
  • A New Algorithm for Primary Decomposition Using Double Ideal Quotient
    石原侑樹
    RIMS 共同研究(公開型) Computer Algebra — Theory and its Applications, Dec. 2018, Not invited
  • 数値計算を用いたイデアルの効率的な局所化操作
    石原侑樹
    日本数式処理学会2018年度基礎理論分科会&システム分科会合同研究会, Sep. 2018, Not invited
  • 二重イデアル商を用いた Effective Localization
    石原侑樹
    日本数式処理学会 第27回大会, Jun. 2018, Not invited
  • 二重イデアル商を用いた局所化操作とその実装
    Risa/Asir Conference 2018,, Mar. 2018, Not invited
  • 計算機代数とグレブナー基底について
    石原侑樹
    第一回数理新人セミナー, Feb. 2018, Not invited
  • Extを用いた準素イデアル分解の計算
    石原侑樹
    日本数式処理学会 第26回大会, Jun. 2017, Not invited

Courses

  • Apr. 2025 - Present
  • Sep. 2024 - Present
  • Sep. 2024 - Present
  • Apr. 2024 - Present
  • Apr. 2024 - Present
  • Sep. 2024 - Jan. 2025
  • Sep. 2024 - Jan. 2025
  • Apr. 2024 - Jul. 2024
  • Apr. 2024 - Jul. 2024
  • Information Science 4
    Oct. 2023 - Mar. 2024
    Rikkyo University
  • Information Science 2
    Oct. 2023 - Mar. 2024
    Rikkyo University
  • Senior Seminar(Assistant)
    Apr. 2022 - Mar. 2024
    Tokyo University of Science
  • Fundamentals of Computer Mathematics (Exercises)
    Apr. 2021 - Mar. 2024
    Tokyo University of Science
  • Information Science 3
    Apr. 2023 - Sep. 2023
    Rikkyo University
  • Information Science 1
    Apr. 2023 - Sep. 2023
    Rikkyo University
  • Introduction to Applied Mathematics
    Apr. 2023 - Aug. 2023
    Tokyo University of Science
  • Selected topics in Applied Mathematics 2
    Sep. 2022 - Mar. 2023
    Tokyo University of Science
  • Introduction to Applied Mathematics
    Jun. 2022 - Aug. 2022
    Tokyo University of Science
  • Exercises in Mathematical Information Theory 2
    Apr. 2022 - Jul. 2022
    Rikkyo University
  • Exercises in Introduction to Linear Algebra
    Apr. 2022 - Jul. 2022
    Rikkyo University
  • Exercises in Mathematical Information Theory 1
    Apr. 2022 - Jul. 2022
    Rikkyo University
  • Introduction to Computers
    Apr. 2022 - Jun. 2022
    Tokyo University of Science
  • Exercises in Differential and Integral Calculus 1
    Sep. 2021 - Mar. 2022
    Rikkyo University

Affiliated academic society

  • Apr. 2023 - Present
    The Japan Society for Industrial and Applied Mathematics
  • Oct. 2021 - Present
    日本数学会
  • May 2017 - Present
    日本数式処理学会

Research Themes

  • 包括的グレブナー基底系に基づく耐量子計算機暗号の安全性解析手法の新たな創出
    日本学術振興会, 科学研究費助成事業, Jun. 2026 - Mar. 2029
    池松 泰彦; 石原 侑樹
  • 数値数式融合計算による準素分解の高速化
    日本学術振興会, 科学研究費助成事業 若手研究, 01 Apr. 2022 - 31 Mar. 2027
    石原 侑樹
  • 記号計算の高速化と産業課題解決への応用4
    九州大学 マス・フォア・インダストリ研究所, 2026年度IMI共同利用研究計画 若手・学生研究-短期共同研究, Apr. 2026 - Mar. 2027
    石原侑樹; 深作亮也; 池松泰彦; 神戸祐太; 岩根秀直; 伊藤勝; 小林宗広; 湯野剛史; 計良宥志; 庵智幸; 小松瑞果; 鎌田斗南
  • 記号計算の高速化と産業課題解決への応用3
    九州大学 マス・フォア・インダストリ研究所, 2025年度IMI共同利用研究計画 若手・学生研究-短期共同研究, Apr. 2025 - Mar. 2026
    石原侑樹; 深作亮也; 池松泰彦; 神戸祐太; 岩根秀直; 伊藤勝; 小林宗広; 湯野剛史; 計良宥志; 庵智幸; 小松瑞果
  • Grӧbner基底を主軸とする計算代数幾何学の深化と応用
    京都大学数理解析研究所, RIMS共同研究 (グループ型A), Sep. 2025 - Sep. 2025
    工藤桃成; 石原侑樹; 神戸祐太; 計良宥志; 小松瑞果; 土谷昭善; 横山和弘
  • 記号計算の高速化と産業課題解決への応用2
    九州大学 マス・フォア・インダストリ研究所, 2024年度IMI共同利用研究計画 若手・学生研究-短期共同研究, Apr. 2024 - Mar. 2025
    石原侑樹; 深作亮也; 池松泰彦; 神戸祐太; 岩根秀直; 伊藤勝; 小林宗広; 湯野剛史; 計良宥志; 庵智幸
  • 記号計算の高速化と産業課題解決への応用
    九州大学 マス・フォア・インダストリ研究所, 2023年度IMI共同利用研究計画 若手・学生研究-短期共同研究, Apr. 2023 - Mar. 2024
    石原侑樹; 深作亮也; 池松泰彦; 神戸祐太; 岩根秀直; 伊藤勝; 小林宗広; 湯野剛史; 計良宥志
  • 限量子消去の効率的なアルゴリズムの構築と産業課題解決への応用
    九州大学 マス・フォア・インダストリ研究所, 2022年度IMI共同利用研究計画 若手・学生研究-短期共同研究, Apr. 2022 - Mar. 2023
    石原侑樹; 深作亮也; 池松泰彦; 神戸祐太; 岩根秀直
  • 二重イデアル商を用いた計算可換代数の新領域の開拓
    日本学術振興会, 日本学術振興会若手研究者海外挑戦プログラム, Oct. 2019 - Jan. 2020