有限時間特異性の包括的記述に向けた

数学解析・計算機援用解析の展開