その他の研究業績等

基本情報

氏名 小林　領
氏名（カナ） コバヤシ　リョウ
氏名（英語） Ryo Kobayashi
所属 人文社会学部 経営学科 経営情報コース
職名 准教授
researchmap研究者コード
researchmap機関

タイトル・テーマ 

A method of verified computation for convex programming

					

					

						

							

								

									
単著・共著の別 

									
								

							

						

						
共著

					

					

						

							

								

									
発行又は発表の年月 

									
								

							

						

						
201609

					

					

						

							

								

									
発表学会等の名称 

									
								

							

						

						
The 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics(SCAN2016), UPPSALA UNIVERSITY, Sweden

					

					

						

							

								

									
概要 

									
								

							

						

						
著者：Ryo Kobayashi, Takuma Kimura, Shin'ichi Oishi
スウェーデンで開催された精度保証分野における国際学会にて、数理計画法（最適化問題）の一つである凸計画問題に対する精度保証付き数値積分法を提案した．いくつかの応用問題に提案方法を適用し、その有効性を示した．本研究を学会にて発表した．