@article{weko_4824_1, author = "野寺,隆", title = "精度保証付き数値計算とその応用:パソコンの精度保証付き数値計算ソフトウェア", journal = "情報処理", year = "1990", volume = "31", number = "9", month = "sep" }