「数値解析」に関するサイレントキーワード「計算機援用証明」が含まれる科研費採択研究4件

【研究名】非線形現象解明に向けた計算機援用解析学の構築
【研究代表者】中尾 充宏  佐世保工業高等専門学校   校長 	https://nrid.nii.ac.jp/ja/nrid/1000010136418/	 
【研究分担者】
栄 伸一郎  九州大学  マス・フォア・インダストリ研究所  教授  	https://nrid.nii.ac.jp/ja/nrid/1000030201362/	
田端 正久  早稲田大学  理工学術院  教授  	https://nrid.nii.ac.jp/ja/nrid/1000030093272/	
長藤 かおり  九州大学  マス・フォア・インダストリ研究所  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000040326426/	
村重 淳  公立はこだて未来大学  システム情報科学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000040302749/	
山本 野人  電気通信大学  電気通信学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000030210545/	
渡部 善隆  九州大学  情報基盤研究開発センター  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000090243972/	
【研究連携者】     
大石 進一  早稲田大学  理工学術院  教授  	https://nrid.nii.ac.jp/ja/nrid/1000020139512/	

【研究名】数値的検証法から計算機援用解析学の構築へ向けての総合的研究
【研究代表者】中尾 充宏  九州大学   大学院数理学研究院   教授 	https://nrid.nii.ac.jp/ja/nrid/1000010136418/	 
【研究分担者】
田端 正久  九州大学  大学院数理学研究院  教授  	https://nrid.nii.ac.jp/ja/nrid/1000030093272/	
今井 仁司  徳島大学  工学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000080203298/	
土屋 卓也  愛媛大学  理学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000163832/	
西田 孝明  早稲田大学  理工学術院  教授  	https://nrid.nii.ac.jp/ja/nrid/1000070026110/	
陳 小君  弘前大学  理工学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000070304251/	
大石 進一  早稲田大学  理工学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000020139512/	

【研究名】精度保証付き数値計算法の新展開を目ざしての総合的研究
【研究代表者】中尾 充宏  九州大学   大学院・数理学研究院   教授 	https://nrid.nii.ac.jp/ja/nrid/1000010136418/	 
【研究分担者】
大石 進一  早稲田大学  理工学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000020139512/	
今井 仁司  徳島大学  工学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000080203298/	
磯 祐介  京都大学  大学院・情報学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000070203065/	
山本 哲朗  早稲田大学  理工学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000080034560/	
西田 孝明  京都大学  大学院・理学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000070026110/	

【研究名】精度保証付き数値計算とその計算理工学への応用に関する総合的研究
【研究代表者】中尾 充宏  九州大学   大学院・数理学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000010136418/	 
【研究分担者】
室田 一雄  京都大学  数理解析研究所  教授  	https://nrid.nii.ac.jp/ja/nrid/1000050134466/	
西田 孝明  京都大学  大学院・理学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000070026110/	
大石 進一  早稲田大学  理工学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000020139512/	
山本 哲朗  愛媛大学  理学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000080034560/	
三井 斌友  名古屋大学  大学院・人間情報学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000050027380/