2020.09.18 トヨタ系やNVIDIAが注目、数学的に欠陥ゼロのソフト開発 | 日経クロステック（xTECH） https://xtech.nikkei.com/atcl/nxt/column/18/00001/04594/