{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1040862776831249664.json","@type":"Project","projectIdentifier":[{"@type":"KAKEN","@value":"23K20810"},{"@type":"JGN","@value":"JP23K20810"},{"@type":"URI","@value":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23K20810/"}],"jpcoar:awardTitle":[{"@language":"ja","@value":"3次元領域におけるレイノルズ数の大きい流れの計算機援用証明"},{"@language":"en","@value":"Computer-assisted solution verification for 3D flows with large Reynolds numbers"}],"field":[{"keyword":[{"language":"ja","textList":["小区分12040:応用数学および統計数学関連"]},{"language":"en","textList":["Basic Section 12040:Applied mathematics and statistics-related"]}]}],"dc:language":"ja","description":[{"type":"outline_of_research_initial","notation":[{"@language":"ja","@value":"この研究では、３次元空間内を動く流体（液体や気体）の複雑な動きを新しい計算援用証明法で解析しています。特に、新たな誤差解析の理論とスーパーコンピュータを用いた計算法を開発し、レイノルズ数の大きい流れの効率的な検証方法を確立することを目指しています。このような流れの研究には、世界中の数学者が大きな関心を寄せており、本研究が成功すると、この学問領域に大きな影響を与える成果をもたらすことが期待されています。"}]}],"researcher":[{"@id":"https://cir.nii.ac.jp/crid/1420001326210778880","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"50571220"},{"@type":"NRID","@value":"1000050571220"},{"@type":"CINII_AUTHOR_ID","@value":"DA16677238"},{"@type":"URI","@value":"https://ci.nii.ac.jp/author/DA16677238#entity"},{"@type":"URI","@value":"https://viaf.org/viaf/NII%7CDA16677238"},{"@type":"NRID","@value":"9000018200298"},{"@type":"NRID","@value":"9000415231401"},{"@type":"NRID","@value":"9000405874523"},{"@type":"NRID","@value":"9000010379327"},{"@type":"NRID","@value":"9000415204812"},{"@type":"NRID","@value":"9000415171228"},{"@type":"NRID","@value":"9000240090190"},{"@type":"NRID","@value":"9000415231629"},{"@type":"NRID","@value":"9000242089694"},{"@type":"NRID","@value":"9000415311785"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/read0147790"}],"foaf:name":[{"@language":"ja","@value":"劉 雪峰"},{"@language":"en","@value":"Liu Xuefeng"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"東京女子大学"}],"role":"principal_investigator"},{"@id":"https://cir.nii.ac.jp/crid/1420001326215929856","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"00339615"},{"@type":"NRID","@value":"1000000339615"},{"@type":"ORCID","@value":"0000-0002-9346-2452"},{"@type":"CINII_AUTHOR_ID","@value":"DA19114209"},{"@type":"URI","@value":"https://ci.nii.ac.jp/author/DA19114209#entity"},{"@type":"URI","@value":"https://viaf.org/viaf/NII%7CDA19114209"},{"@type":"NRID","@value":"9000018651034"},{"@type":"NRID","@value":"9000005408118"},{"@type":"NRID","@value":"9000409502828"},{"@type":"NRID","@value":"9000283625765"},{"@type":"NRID","@value":"9000253151029"},{"@type":"NRID","@value":"9000290139252"},{"@type":"NRID","@value":"9000326657754"},{"@type":"NRID","@value":"9000415188259"},{"@type":"NRID","@value":"9000020207204"},{"@type":"NRID","@value":"9000238156767"},{"@type":"NRID","@value":"9000415169277"},{"@type":"NRID","@value":"9000005407478"},{"@type":"NRID","@value":"9000252807511"},{"@type":"NRID","@value":"9000283786952"},{"@type":"NRID","@value":"9000297475644"},{"@type":"NRID","@value":"9000326657756"},{"@type":"NRID","@value":"9000010609853"},{"@type":"NRID","@value":"9000256484057"},{"@type":"NRID","@value":"9000018984695"},{"@type":"NRID","@value":"9000242089706"},{"@type":"NRID","@value":"9000297475649"},{"@type":"NRID","@value":"9000240090204"},{"@type":"NRID","@value":"9000240090194"},{"@type":"NRID","@value":"9000021978377"},{"@type":"NRID","@value":"9000297475637"},{"@type":"NRID","@value":"9000241190647"},{"@type":"NRID","@value":"9000021255044"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/read0118840"}],"foaf:name":[{"@language":"ja","@value":"荻田 武史"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"早稲田大学"}],"role":"co_investigator_buntan"},{"@id":"https://cir.nii.ac.jp/crid/1030003658321405701","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"10136418"},{"@type":"NRID","@value":"1000010136418"},{"@type":"CINII_AUTHOR_ID","@value":"DA1139737X"},{"@type":"URI","@value":"https://ci.nii.ac.jp/author/DA1139737X#entity"},{"@type":"URI","@value":"https://viaf.org/viaf/NII%7CDA1139737X"},{"@type":"NRID","@value":"9000410925559"},{"@type":"NRID","@value":"9000242089698"},{"@type":"NRID","@value":"9000261041078"},{"@type":"NRID","@value":"9000410925553"},{"@type":"NRID","@value":"9000260231465"},{"@type":"NRID","@value":"9000261053000"},{"@type":"NRID","@value":"9000410925556"},{"@type":"NRID","@value":"9000410925542"},{"@type":"NRID","@value":"9000260198494"},{"@type":"NRID","@value":"9000017553553"},{"@type":"NRID","@value":"9000410925476"},{"@type":"NRID","@value":"9000238156765"},{"@type":"NRID","@value":"9000287170625"},{"@type":"NRID","@value":"9000020005879"},{"@type":"NRID","@value":"9000415182766"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/read0172417"}],"foaf:name":[{"@language":"ja","@value":"中尾 充宏"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"早稲田大学"}],"role":"co_investigator_buntan"},{"@id":"https://cir.nii.ac.jp/crid/1420001326211766400","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"60432902"},{"@type":"NRID","@value":"1000060432902"},{"@type":"NRID","@value":"9000283786938"},{"@type":"NRID","@value":"9000415167862"},{"@type":"NRID","@value":"9000239228922"},{"@type":"NRID","@value":"9000018651059"},{"@type":"NRID","@value":"9000410925552"},{"@type":"NRID","@value":"9000001845251"},{"@type":"NRID","@value":"9000415187772"},{"@type":"NRID","@value":"9000252842910"},{"@type":"NRID","@value":"9000415188746"},{"@type":"NRID","@value":"9000396112203"},{"@type":"NRID","@value":"9000002360379"},{"@type":"NRID","@value":"9000415190021"},{"@type":"NRID","@value":"9000415192379"},{"@type":"NRID","@value":"9000015270767"},{"@type":"NRID","@value":"9000250756152"},{"@type":"NRID","@value":"9000297475652"},{"@type":"NRID","@value":"9000415160382"},{"@type":"NRID","@value":"9000002653791"},{"@type":"NRID","@value":"9000400195394"},{"@type":"NRID","@value":"9000242118789"},{"@type":"NRID","@value":"9000003186188"},{"@type":"NRID","@value":"9000392844188"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/kenta_kobayashi"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/read0045891"}],"foaf:name":[{"@language":"ja","@value":"小林 健太"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"一橋大学"}],"role":"co_investigator_buntan"},{"@id":"https://cir.nii.ac.jp/crid/1420845751166597888","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"80732239"},{"@type":"NRID","@value":"1000080732239"},{"@type":"ORCID","@value":"0000-0002-9201-0964"},{"@type":"CINII_AUTHOR_ID","@value":"DA18875061"},{"@type":"URI","@value":"https://ci.nii.ac.jp/author/DA18875061#entity"},{"@type":"URI","@value":"https://viaf.org/viaf/NII%7CDA18875061"},{"@type":"NRID","@value":"9000242089690"},{"@type":"NRID","@value":"9000400195408"},{"@type":"NRID","@value":"9000316693846"},{"@type":"NRID","@value":"9000412548317"},{"@type":"NRID","@value":"9000400195402"},{"@type":"NRID","@value":"9000297475648"},{"@type":"NRID","@value":"9000411101458"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/koutasekine"}],"foaf:name":[{"@language":"ja","@value":"関根 晃太"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"千葉工業大学"}],"role":"co_investigator_buntan"},{"@id":"https://cir.nii.ac.jp/crid/1420282801202474880","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"90243972"},{"@type":"NRID","@value":"1000090243972"},{"@type":"NRID","@value":"9000018651040"},{"@type":"NRID","@value":"9000242089697"},{"@type":"NRID","@value":"9000267764441"},{"@type":"NRID","@value":"9000018651056"},{"@type":"NRID","@value":"9000020434883"},{"@type":"NRID","@value":"9000342439766"},{"@type":"NRID","@value":"9000024871251"},{"@type":"NRID","@value":"9000392844190"},{"@type":"NRID","@value":"9000240090192"},{"@type":"NRID","@value":"9000410925544"},{"@type":"NRID","@value":"9000283787016"},{"@type":"NRID","@value":"9000377398683"},{"@type":"NRID","@value":"9000415218208"},{"@type":"NRID","@value":"9000297475622"},{"@type":"NRID","@value":"9000283787023"},{"@type":"NRID","@value":"9000020511477"},{"@type":"NRID","@value":"9000415234230"},{"@type":"NRID","@value":"9000000969963"},{"@type":"NRID","@value":"9000415182767"},{"@type":"NRID","@value":"9000415140651"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/read0171902"}],"foaf:name":[{"@language":"ja","@value":"渡部 善隆"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"九州大学"}],"role":"co_investigator_buntan"}],"since":"2024-04-01","until":"2025-03-31","institution":[{"institutionIdentifier":[{"@type":"NII","@value":"0032652"}],"notation":[{"@language":"ja","@value":"東京女子大学"},{"@language":"en","@value":"Tokyo Woman's Christian University"}]},{"institutionIdentifier":[{"@type":"NII","@value":"0013101"}],"notation":[{"@language":"ja","@value":"新潟大学"},{"@language":"en","@value":"Niigata University"}]}],"fundingProgram":[{"jpcoar:funderName":[{"@language":"ja","@value":"科学研究費助成事業"},{"@language":"en","@value":"Grants-in-Aid for Scientific Research"}]}],"url":[{"@id":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23K20810/","notation":[{"@value":"KAKEN"}]}],"createdAt":"2021-04-28","modifiedAt":"2026-01-16","foaf:topic":[{"@id":"https://cir.nii.ac.jp/all?q=%E3%83%8A%E3%83%93%E3%82%A8%E3%83%BB%E3%82%B9%E3%83%88%E3%83%BC%E3%82%AF%E3%82%B9%E6%96%B9%E7%A8%8B%E5%BC%8F","dc:title":"ナビエ・ストークス方程式"},{"@id":"https://cir.nii.ac.jp/all?q=%E8%A8%88%E7%AE%97%E6%A9%9F%E6%8F%B4%E7%94%A8%E8%A8%BC%E6%98%8E","dc:title":"計算機援用証明"},{"@id":"https://cir.nii.ac.jp/all?q=%E5%9B%BA%E6%9C%89%E5%80%A4%E5%95%8F%E9%A1%8C%E3%81%AE%E5%8E%B3%E5%AF%86%E8%A9%95%E4%BE%A1","dc:title":"固有値問題の厳密評価"},{"@id":"https://cir.nii.ac.jp/all?q=%E7%B2%BE%E5%BA%A6%E4%BF%9D%E8%A8%BC%E4%BB%98%E3%81%8D%E6%95%B0%E5%80%A4%E8%A8%88%E7%AE%97","dc:title":"精度保証付き数値計算"},{"@id":"https://cir.nii.ac.jp/all?q=%E9%9D%9E%E7%B7%9A%E5%BD%A2%E5%81%8F%E5%BE%AE%E5%88%86%E6%96%B9%E7%A8%8B%E5%BC%8F","dc:title":"非線形偏微分方程式"},{"@id":"https://cir.nii.ac.jp/all?q=%E5%8E%B3%E5%AF%86%E8%A8%88%E7%AE%97%E3%83%A9%E3%82%A4%E3%83%96%E3%83%A9%E3%83%AA","dc:title":"厳密計算ライブラリ"},{"@id":"https://cir.nii.ac.jp/all?q=%E9%9D%9E%E8%87%AA%E5%B7%B1%E5%85%B1%E5%BD%B9%E4%BD%9C%E7%94%A8%E7%B4%A0","dc:title":"非自己共役作用素"},{"@id":"https://cir.nii.ac.jp/all?q=%E8%BB%B8%E5%AF%BE%E7%A7%B0%E8%A7%A3","dc:title":"軸対称解"},{"@id":"https://cir.nii.ac.jp/all?q=%E3%83%8A%E3%83%93%E3%82%A8%E3%83%BB%E3%82%B9%E3%83%88%E3%83%BC%E3%82%AF%E3%82%B9%E6%96%B9%E7%A8%8B%E5%BC%8F%E3%81%AE%E5%AE%9A%E5%B8%B8%E8%A7%A3","dc:title":"ナビエ・ストークス方程式の定常解"},{"@id":"https://cir.nii.ac.jp/all?q=%E8%A8%88%E7%AE%97%E6%A9%9F%E6%8F%B4%E7%94%A8%E8%A8%BC%E6%98%8E%E6%B3%95","dc:title":"計算機援用証明法"},{"@id":"https://cir.nii.ac.jp/all?q=%E9%9E%8D%E7%82%B9%E5%9E%8B%E3%81%AE%E5%9B%BA%E6%9C%89%E5%80%A4%E5%95%8F%E9%A1%8C","dc:title":"鞍点型の固有値問題"},{"@id":"https://cir.nii.ac.jp/all?q=%E4%B8%A6%E5%88%97%E8%A8%88%E7%AE%97","dc:title":"並列計算"},{"@id":"https://cir.nii.ac.jp/all?q=Divergence-free%E6%9D%A1%E4%BB%B6","dc:title":"Divergence-free条件"},{"@id":"https://cir.nii.ac.jp/all?q=Hypercircle%E6%B3%95","dc:title":"Hypercircle法"},{"@id":"https://cir.nii.ac.jp/all?q=%E6%9C%89%E9%99%90%E8%A6%81%E7%B4%A0%E6%B3%95","dc:title":"有限要素法"}],"product":[{"@id":"https://cir.nii.ac.jp/crid/1360023712848489856","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1007/s13160-025-00696-4"},{"@type":"URI","@value":"https://link.springer.com/content/pdf/10.1007/s13160-025-00696-4.pdf"},{"@type":"URI","@value":"https://link.springer.com/article/10.1007/s13160-025-00696-4/fulltext.html"}],"notation":[{"@value":"Error estimates for the fully-discrete Petrov-Galerkin method of a linear parabolic problem"}]},{"@id":"https://cir.nii.ac.jp/crid/1360306905640051584","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1137/24m165096x"}],"notation":[{"@value":"Verified Error Bounds for Matrix Decompositions"}]},{"@id":"https://cir.nii.ac.jp/crid/1390301485437518976","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.14495/jsiaml.16.69"},{"@type":"URI","@value":"https://www.jstage.jst.go.jp/article/jsiaml/16/0/16_69/_pdf"}],"notation":[{"@language":"en","@value":"Rigorous domain triangulation for the finite element computation"}]},{"@id":"https://cir.nii.ac.jp/crid/1360306905176923776","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1007/s10543-024-01020-1"},{"@type":"URI","@value":"https://link.springer.com/content/pdf/10.1007/s10543-024-01020-1.pdf"},{"@type":"URI","@value":"https://link.springer.com/article/10.1007/s10543-024-01020-1/fulltext.html"}],"notation":[{"@value":"On a quality measure for interval inclusions"}]},{"@id":"https://cir.nii.ac.jp/crid/1360865815683010560","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1016/j.jde.2023.09.016"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S0022039623006009?httpAccept=text/xml"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S0022039623006009?httpAccept=text/plain"}],"notation":[{"@value":"Shape optimization for the Laplacian eigenvalue over triangles and its application to interpolation error analysis"}]},{"@id":"https://cir.nii.ac.jp/crid/1360298755636348416","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1016/j.cam.2023.115164"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S0377042723001085?httpAccept=text/xml"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S0377042723001085?httpAccept=text/plain"}],"notation":[{"@value":"Projection-based guaranteed <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" display=\"inline\" id=\"d1e719\" altimg=\"si276.svg\"><mml:msup><mml:mrow><mml:mi>L</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:math> error bounds for finite element approximations of Laplace eigenfunctions"}]},{"@id":"https://cir.nii.ac.jp/crid/1360580229808693248","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1016/j.cam.2022.114521"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S0377042722002564?httpAccept=text/xml"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S0377042722002564?httpAccept=text/plain"}],"notation":[{"@value":"Inclusion method of optimal constant with quadratic convergence for <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" display=\"inline\" id=\"d1e2144\" altimg=\"si2.svg\"><mml:msubsup><mml:mrow><mml:mi>H</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msubsup></mml:math>-projection error estimates and its applications"}]},{"@id":"https://cir.nii.ac.jp/crid/1360298757427505152","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1007/s10915-023-02097-6"},{"@type":"URI","@value":"https://link.springer.com/content/pdf/10.1007/s10915-023-02097-6.pdf"},{"@type":"URI","@value":"https://link.springer.com/article/10.1007/s10915-023-02097-6/fulltext.html"}],"notation":[{"@value":"Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces"}]},{"@id":"https://cir.nii.ac.jp/crid/1360017669144160384","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1007/s13160-023-00639-x"},{"@type":"URI","@value":"https://link.springer.com/content/pdf/10.1007/s13160-023-00639-x.pdf"},{"@type":"URI","@value":"https://link.springer.com/article/10.1007/s13160-023-00639-x/fulltext.html"}],"notation":[{"@value":"Another computer-assisted proof of unimodality of solutions for Proudman–Johnson equation"}]},{"@id":"https://cir.nii.ac.jp/crid/1360294643735772544","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1016/j.cnsns.2021.106223"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S1007570421004883?httpAccept=text/xml"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S1007570421004883?httpAccept=text/plain"},{"@type":"DOI","@value":"10.48550/arxiv.2101.03727"}],"notation":[{"@value":"Computer-assisted proof for the stationary solution existence of the Navier–Stokes equation over 3D domains"}]},{"@id":"https://cir.nii.ac.jp/crid/1360017282438993920","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1016/j.cad.2022.103236"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S001044852200029X?httpAccept=text/xml"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S001044852200029X?httpAccept=text/plain"}],"notation":[{"@value":"Robust Algebraic Curve Intersections with Tolerance Control"}]},{"@id":"https://cir.nii.ac.jp/crid/1360580232174662784","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1515/cmam-2022-0218"},{"@type":"URI","@value":"https://www.degruyterbrill.com/document/doi/10.1515/cmam-2022-0218/xml"},{"@type":"URI","@value":"https://www.degruyterbrill.com/document/doi/10.1515/cmam-2022-0218/pdf"},{"@type":"DOI","@value":"10.48550/arxiv.2001.09820"}],"notation":[{"@value":"Guaranteed Lower Eigenvalue Bounds for Steklov Operators Using Conforming Finite Element Methods"}]},{"@id":"https://cir.nii.ac.jp/crid/1360306906068486400","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1016/j.camwa.2025.01.008"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S0898122125000082?httpAccept=text/xml"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S0898122125000082?httpAccept=text/plain"}],"notation":[{"@value":"Constructive error estimates for a full-discretized periodic solution of heat equation by spatial finite-element and time spectral method"}]},{"@id":"https://cir.nii.ac.jp/crid/1360298755634392960","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1007/s00211-022-01304-0"},{"@type":"URI","@value":"https://link.springer.com/content/pdf/10.1007/s00211-022-01304-0.pdf"},{"@type":"URI","@value":"https://link.springer.com/article/10.1007/s00211-022-01304-0/fulltext.html"}],"notation":[{"@value":"Fully computable a posteriori error bounds for eigenfunctions"}]},{"@id":"https://cir.nii.ac.jp/crid/1970304959901122193","@type":"Book","resourceType":"図書(book)","productIdentifier":[{"@type":"NCID","@value":"BD07754377"},{"@type":"ISBN","@value":"9789819735761"},{"@type":"URI","@value":"https://ci.nii.ac.jp/ncid/BD07754377#entity"}],"notation":[{"@language":"en","@value":"Guaranteed computational methods for self-adjoint differential eigenvalue problems"}]},{"@id":"https://cir.nii.ac.jp/crid/1360588379397301888","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1186/s13663-025-00790-9"},{"@type":"URI","@value":"https://link.springer.com/content/pdf/10.1186/s13663-025-00790-9.pdf"},{"@type":"URI","@value":"https://link.springer.com/article/10.1186/s13663-025-00790-9/fulltext.html"}],"notation":[{"@value":"A computer-assisted proof for solutions of Elkouh’s equation related to Navier–Stokes equations"}]},{"@id":"https://cir.nii.ac.jp/crid/1360298757428989952","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1016/j.cam.2023.115061"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S0377042723000055?httpAccept=text/xml"},{"@type":"URI","@value":"https://api.elsevier.com/content/article/PII:S0377042723000055?httpAccept=text/plain"}],"notation":[{"@value":"Guaranteed local error estimation for finite element solutions of boundary value problems"}]},{"@id":"https://cir.nii.ac.jp/crid/1360298754831375360","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.1186/s13660-022-02841-w"},{"@type":"URI","@value":"https://link.springer.com/content/pdf/10.1186/s13660-022-02841-w.pdf"},{"@type":"URI","@value":"https://link.springer.com/article/10.1186/s13660-022-02841-w/fulltext.html"},{"@type":"DOI","@value":"10.48550/arxiv.2112.02778"}],"notation":[{"@value":"Error-constant estimation under the maximum norm for linear Lagrange interpolation"}]}],"dataSourceIdentifier":[{"@type":"KAKEN","@value":"23K20810"}],"grant":{"grantIdentifier":[{"@type":"NII","@value":"69"}],"jpcoar:fundingStream":[{"@language":"ja","@value":"基盤研究(B)"},{"@language":"en","@value":"Grant-in-Aid for Scientific Research (B)"}]},"allocationClassification":[{"notation":[{"@language":"ja","@value":"基金"},{"@language":"en","@value":"Multi-year Fund"}]},{"notation":[{"@language":"ja","@value":"補助金"},{"@language":"en","@value":"Single-year Grants"}]}],"projectStatus":"project_closed","allocationAmount":{"totalCost":{"amount":"17160000","currency":"JPY"},"breakdownCost":[{"notation":[{"@language":"ja","@value":"直接経費"},{"@language":"en","@value":"Direct Cost"}],"amount":"13200000","currency":"JPY"},{"notation":[{"@language":"ja","@value":"間接経費"},{"@language":"en","@value":"Indirect Cost"}],"amount":"3960000","currency":"JPY"}]}}