1. No category

精度保証付き数値計算の力学系への応用について