@inproceedings{weko_121862_1, author = "近藤,祐史 and 野田,松太郎", title = "数式処理と区間演算の結合とその応用", booktitle = "全国大会講演論文集", year = "1992", volume = "第45回", number = "基礎理論及び基礎技術", pages = "37--38", month = "sep" }