• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Asai Taisei  浅井 大晴

ORCIDConnect your ORCID iD *help
Researcher Number 80979823
Other IDs
Affiliation (Current) 2026: 山形大学, その他部局等(小白川), プロジェクト教員(講師)
2026: 山形大学, その他部局等, プロジェクト教員(講師)
Affiliation (based on the past Project Information) *help 2023 – 2025: 早稲田大学, 理工学術院, 講師(任期付)
Review Section/Research Field
Principal Investigator
Basic Section 12040:Applied mathematics and statistics-related / 0201:Algebra, geometry, analysis, applied mathematics,and related fields
Keywords
Principal Investigator
分岐理論 / 精度保証付き数値計算 / 計算機援用証明 / 特異関数 / 全解探索
  • Research Projects

    (2 results)
  • Research Products

    (6 results)
  •  複数パラメータ依存の分岐を伴う数理モデルの精度保証付き数値計算Principal Investigator

    • Principal Investigator
      浅井 大晴
    • Project Period (FY)
      2025 – 2029
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 12040:Applied mathematics and statistics-related
    • Research Institution
      Waseda University
  •  Construction of an automatic search tool with verification for mathematical models with singularityPrincipal Investigator

    • Principal Investigator
      浅井 大晴
    • Project Period (FY)
      2023 – 2025
    • Research Category
      Grant-in-Aid for Research Activity Start-up
    • Review Section
      0201:Algebra, geometry, analysis, applied mathematics,and related fields
    • Research Institution
      Waseda University

All 2025 2024 2023

All Presentation

  • [Presentation] Rigorous Numerical Computation: Bridging Verified Methods with Discrete Mathematics2025

    • Author(s)
      Taisei Asai
    • Organizer
      Waseda Workshop on Discrete Mathematics and Related Topics 2025
    • Invited
    • Data Source
      KAKENHI-PROJECT-23K19016
  • [Presentation] 精度保証付き数値計算2024

    • Author(s)
      浅井大晴
    • Organizer
      第5回分野横断研究交流会
    • Invited
    • Data Source
      KAKENHI-PROJECT-23K19016
  • [Presentation] 計算機援用によるエノン型方程式の正値対称解の多重性解析2024

    • Author(s)
      浅井大晴, 田中一成, 大石進一
    • Organizer
      日本応用数理学会2024年度年会
    • Data Source
      KAKENHI-PROJECT-23K19016
  • [Presentation] エノン型方程式の解の多重性の考察: 全解探索アプローチの適用2024

    • Author(s)
      浅井大晴, 田中一成, 田中敏, 大石進一
    • Organizer
      RIMS共同研究(公開型)「計算科学に資する数値解析学の展開」
    • Invited
    • Data Source
      KAKENHI-PROJECT-23K19016
  • [Presentation] Numerical verification for multiple positive even solutions for the Henon-type equation2024

    • Author(s)
      Taisei Asai, Kazuaki Tanaka, and Shin’ichi Oishi
    • Organizer
      The 43rd JSST Annual International Conference on Simulation Technology & The 23rd Asia Simulation Conference
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K19016
  • [Presentation] エノン型方程式の正値対称解の多重性に関する考察-計算機援用アプローチ2023

    • Author(s)
      浅井 大晴
    • Organizer
      RIMS共同研究(公開型) 新時代における高性能科学技術計算法の探究
    • Invited
    • Data Source
      KAKENHI-PROJECT-23K19016

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi