>>414
数学基礎論とかかな？解析学の計算もできるようにしてある、とかも考えてます。