計算機援用計算量的安全性の定式化に関する一検討 A