研究分野: 非アルキメデス順序体を応用した神学作用の分析とシミュレーション