抄録
本論文では, 高原らの研究グループが開発してきた CAST 言語とそのユーザモデルの実行環境について, 現在実行可能な環境とその整備の状況について説明する. CAST 言語とは Computer Acceptable Set Theory の略であり, ユーザが数理論理と素朴集合論を言語としてモデルを記述し, その上で CAST 言語へコンパイルすることでそのモデルが実行される. 対象としているモデルは問題解決システムと業務処理システムであり, それらをある種の定型化し, 記述のフォーマットを決定することで CAST の文法を決定している. また本論文ではその実装例も紹介する.
