計算の品質研究部会OSプログラム： 9/18（月） 8:50〜12:00
座長：陳小君（弘前大・理工），宮島信也（早大・理工総研）
時間 講演者・題目 8:50- 9:20 宮島信也（早大・理工総研），荻田武史（JST／早大・理工）, 大石進一（早大・理工）
実対称行列の各固有対の高速な精度保証法9:20-9:50 太田貴久（早大・理工），荻田武史（JST／早大・理工）, 大石進一（早大・理工）
悪条件行列の行列式の精度保証法9:50-10:20 山中脩也（早大・理工学），荻田武史（JST／早大・理工）, 大石進一（早大・理工）
高精度内積演算の並列化について10:20-10:30 （休憩） 10:30-11:00 橋本弘治（JSPS/京大・情報学）
鞍点型問題に対する前処理について11:00-11:30 木村拓馬（弘前大・理工）, 陳小君（弘前大・理工）
線形鞍点問題の精度保証付き計算およびその応用11:30-12:00 陳小君（弘前大・理工）
球面デザインの数値的検証法