この商品をご覧のお客様は、こんな商品もチェックしています。
- 戦国武将 丹羽氏次・氏重
-
価格:1,540円(本体1,400円+税)
【2026年06月発売】
- 会話の0.2秒を言語学する
-
価格:1,760円(本体1,600円+税)
【2025年08月発売】
- 読む技法
-
価格:1,100円(本体1,000円+税)
【2025年11月発売】
- 眠れなくなるほど面白い 図解 国宝の話
-
価格:1,089円(本体990円+税)
【2026年03月発売】
- 思考実験大全
-
価格:2,178円(本体1,980円+税)
【2025年09月発売】

























[BOOKデータベースより]
「論理トレーニングから始めて、システム理論の基礎を学びながら、その応用として情報システムを開発する」ための教科書。情報システムをソフトウェア工学の対象ではなく、システム理論の対象としている。2007年に刊行された『形式手法モデル理論アプローチ―情報システム開発の基礎』の改訂第2版。
第5章 システム開発環境を実現する(言語CAST(Computer Acceptable Set Theory);言語CASTの解説およびMTA‐SDKの所在;開発実行環境の入手と設置;MTA‐SDKクイックスタート;システム開発環境の操作)
第6章 問題解決システムを開発する(問題解決システム;狼、山羊、キャベツの川渡し問題;水差し問題;巡回セールスマン問題)
第7章 業務処理システムを開発する(業務処理システム;業務処理システムのモデル;業務処理システムの開発;開発例1:書店売掛管理システム;開発例2:酒問屋のシステム)
第8章 シミュレーションシステムを開発する(価格調整システムのシミュレーション;二体力学系のシミュレーション;モデリングの基礎)