モデル理論アプローチにおける基本ファイル処理とその実装方法