{"@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/1040299749902355328.json","@type":"Project","projectIdentifier":[{"@type":"KAKEN","@value":"24H00694"},{"@type":"JGN","@value":"JP24H00694"},{"@type":"URI","@value":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24H00694/"}],"jpcoar:awardTitle":[{"@language":"ja","@value":"計算機援用「超」ホモトピー法---精度保証付き数値計算の新次元---"}],"field":[{"keyword":[{"language":"ja","textList":["中区分60:情報科学、情報工学およびその関連分野"]},{"language":"en","textList":["Medium-sized Section 60:Information science, computer engineering, and related fields"]}]}],"dc:language":"ja","description":[{"type":"outline_of_research_initial","notation":[{"@language":"ja","@value":"微分方程式に対する精度保証付き数値計算の有力な解法に，既知の情報を出発点として，微小なステップを踏みながら最終目標に到達するホモトピー法があります．本研究は，計算機援用証明により，既知の結果と摂動の情報を用いて，最終目標だけでなく，ホモトピー経路の存在も精度保証付きで一気に低コストで検証する「超」ホモトピー法の構築と，非線形関数方程式の解の存在証明への応用・展開を目的とします．"}]}],"researcher":[{"@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":"principal_investigator"},{"@id":"https://cir.nii.ac.jp/crid/1420564276180250880","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"00163832"},{"@type":"NRID","@value":"1000000163832"},{"@type":"NRID","@value":"9000415167863"},{"@type":"NRID","@value":"9000415217530"},{"@type":"NRID","@value":"9000415187773"},{"@type":"NRID","@value":"9000415188747"},{"@type":"NRID","@value":"9000001007467"},{"@type":"NRID","@value":"9000396112204"},{"@type":"NRID","@value":"9000415190022"},{"@type":"NRID","@value":"9000415192380"},{"@type":"NRID","@value":"9000345433848"},{"@type":"NRID","@value":"9000415211860"},{"@type":"NRID","@value":"9000415160383"},{"@type":"NRID","@value":"9000334740350"},{"@type":"NRID","@value":"9000001845320"},{"@type":"NRID","@value":"9000403031214"},{"@type":"NRID","@value":"9000394962303"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/read0171441"}],"foaf:name":[{"@language":"ja","@value":"土屋 卓也"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"大阪大学"}],"role":"co_investigator_buntan"},{"@id":"https://cir.nii.ac.jp/crid/1420282801195280384","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"20613342"},{"@type":"NRID","@value":"1000020613342"},{"@type":"ORCID","@value":"0000-0002-2599-5409"},{"@type":"NRID","@value":"9000286632905"},{"@type":"NRID","@value":"9000006379434"},{"@type":"NRID","@value":"9000411264704"},{"@type":"NRID","@value":"9000415160222"},{"@type":"NRID","@value":"9000413336359"},{"@type":"NRID","@value":"9000331470265"},{"@type":"NRID","@value":"9000415184859"},{"@type":"NRID","@value":"9000415181958"},{"@type":"NRID","@value":"9000347162291"},{"@type":"NRID","@value":"9000411233945"},{"@type":"NRID","@value":"9000278483592"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/7000027519"}],"foaf:name":[{"@language":"ja","@value":"宮路 智行"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"京都大学"}],"role":"co_investigator_buntan"},{"@id":"https://cir.nii.ac.jp/crid/1420001326219613952","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"30546429"},{"@type":"NRID","@value":"1000030546429"},{"@type":"NRID","@value":"9000242089696"},{"@type":"NRID","@value":"9000248206628"},{"@type":"NRID","@value":"9000415218207"},{"@type":"NRID","@value":"9000410925474"},{"@type":"NRID","@value":"9000297475621"},{"@type":"NRID","@value":"9000021649577"},{"@type":"NRID","@value":"9000240090186"},{"@type":"NRID","@value":"9000415182768"},{"@type":"NRID","@value":"9000415140652"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/7000009333"}],"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"}],"since":"2024-04-01","until":"2029-03-31","institution":[{"institutionIdentifier":[{"@type":"NII","@value":"0017102"}],"notation":[{"@language":"ja","@value":"九州大学"},{"@language":"en","@value":"Kyushu University"}]}],"fundingProgram":[{"jpcoar:funderName":[{"@language":"ja","@value":"科学研究費助成事業"},{"@language":"en","@value":"Grants-in-Aid for Scientific Research"}]},{"funderIdentifier":[{"@type":"CROSSREF","@value":"10.13039/501100001691"}],"jpcoar:funderName":[{"@language":"ja","@value":"科学研究費助成事業"}]}],"url":[{"@id":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24H00694/","notation":[{"@value":"KAKEN"}]}],"createdAt":"2024-04-05","modifiedAt":"2026-04-10","foaf:topic":[{"@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=%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=%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=%E6%9C%89%E9%99%90%E8%A6%81%E7%B4%A0%E6%B3%95","dc:title":"有限要素法"},{"@id":"https://cir.nii.ac.jp/all?q=%E5%B0%84%E5%BD%B1%E8%AA%A4%E5%B7%AE%E8%A9%95%E4%BE%A1","dc:title":"射影誤差評価"},{"@id":"https://cir.nii.ac.jp/all?q=%E9%9D%9E%E7%B7%9A%E5%BD%A2%E9%96%A2%E6%95%B0%E6%96%B9%E7%A8%8B%E5%BC%8F","dc:title":"非線形関数方程式"},{"@id":"https://cir.nii.ac.jp/all?q=%E9%9D%9E%E7%B7%9A%E5%BD%A2%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=%E7%B7%9A%E5%BD%A2%E4%BD%9C%E7%94%A8%E7%B4%A0%E3%81%AE%E9%80%86%E4%BD%9C%E7%94%A8%E7%B4%A0","dc:title":"線形作用素の逆作用素"}],"product":[{"@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/2120589364926202368","@type":"OtherWorks","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"HDL","@value":"https://hdl.handle.net/2324/7402145"}],"notation":[{"@language":"en","@value":"Stability analysis of Kolmogorov flow by an eigenvalue excluding method"}]},{"@id":"https://cir.nii.ac.jp/crid/1390864899861300096","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.2969/jmsj/90989098"},{"@type":"NDL_BIB_ID","@value":"033768600"},{"@type":"NDL_CALL_NUMBER","@value":"Z53-A209"},{"@type":"URI","@value":"http://id.ndl.go.jp/bib/033768600"},{"@type":"URI","@value":"https://ndlsearch.ndl.go.jp/books/R000000004-I033768600"},{"@type":"DOI","@value":"10.48550/arxiv.2309.00273"}],"notation":[{"@language":"en","@value":"Hadamard variation of eigenvalues with respect to general domain perturbations"}]},{"@id":"https://cir.nii.ac.jp/crid/1360025430182775936","@type":"Article","resourceType":"学術雑誌論文(journal article)","productIdentifier":[{"@type":"DOI","@value":"10.21136/am.2024.0047-24"},{"@type":"URI","@value":"https://am.math.cas.cz/full/69/5/am69_5_3.pdf"}],"notation":[{"@value":"Error estimation for finite element solutions on meshes that contain thin elements"}]}],"dataSourceIdentifier":[{"@type":"KAKEN","@value":"24H00694"},{"@type":"IRDB","@value":"oai:irdb.nii.ac.jp:01211:0007231353_JGN_7E5r02TBkOBh3BLSgV1f41h6jmz"}],"grant":{"grantIdentifier":[{"@type":"NII","@value":"68"}],"jpcoar:fundingStream":[{"@language":"ja","@value":"基盤研究(A)"},{"@language":"en","@value":"Grant-in-Aid for Scientific Research (A)"}]},"allocationClassification":[{"notation":[{"@language":"ja","@value":"補助金"},{"@language":"en","@value":"Single-year Grants"}]}],"projectStatus":"granted","allocationAmount":{"totalCost":{"amount":"47580000","currency":"JPY"},"breakdownCost":[{"notation":[{"@language":"ja","@value":"直接経費"},{"@language":"en","@value":"Direct Cost"}],"amount":"36600000","currency":"JPY"},{"notation":[{"@language":"ja","@value":"間接経費"},{"@language":"en","@value":"Indirect Cost"}],"amount":"10980000","currency":"JPY"}]}}