「有限要素法」に関するサイレントキーワード「計算機援用証明」が含まれる科研費採択研究2件

【研究名】3次元領域におけるレイノルズ数の大きい流れの計算機援用証明
【研究代表者】劉 雪峰  新潟大学   自然科学系   准教授 	https://nrid.nii.ac.jp/ja/nrid/1000050571220/	 
【研究分担者】
中尾 充宏  早稲田大学  理工学術院  その他(招聘研究員)  	https://nrid.nii.ac.jp/ja/nrid/1000010136418/	
渡部 善隆  九州大学  情報基盤研究開発センター  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000090243972/	
荻田 武史  東京女子大学  現代教養学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000339615/	
小林 健太  一橋大学  大学院経営管理研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060432902/	
関根 晃太  千葉工業大学  情報科学部  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000080732239/	

【研究名】非線形現象解明に向けた計算機援用解析学の構築
【研究代表者】中尾 充宏  佐世保工業高等専門学校   校長 	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/