主催: 経営情報学会
千葉工業大学
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
問題解決を行う方法論の中に, 形式的アプローチによる問題解決の方法論の研究があり, データ処理の取り扱いの重要性については "モデル理論によるデータ処理システムの設計 (高木徹)" にて説明が行われるが, 本論ではその実装に焦点を当てる. 実装に際して Z を導入した際の利点を生かし, web 上の情報システムの実装例を行ったことについて説明する.
すでにアカウントをお持ちの場合 サインインはこちら