2021年3月4日 Kolmogorov問題に対する計算機援用証明における最大値ノルム評価とその応用 日本応用数理学会2021年研究部会連合発表会 (オンライン) 小林 健太, 渡部 善隆 開催年月日 2021年3月4日 - 2021年3月5日 記述言語 日本語 会議種別 口頭発表(一般)