主催: 経営情報学会
著者所属:千葉工業大学
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
問題解決を行う方法論の中に, 形式的アプローチによる問題解決の方法論研究が進められている. その問題解決にはゴール探索だけではなく, データの取り扱いも重要な処理になる. 本論文では特に対象をデータ処理システムとして, モデル理論の視点からデータの取り扱いについて具体的な例を導入しながら説明を行う.
すでにアカウントをお持ちの場合 サインインはこちら