TAAM			WITNESS
	空港面から空域、航空路運用効率をトータルに評価できる、世界で唯一の空港・空域用設計・評価システムです。			物・情報の流れを時間の経過を追ってシミュレーションを行い様々なプロセスの最適化を可能にする生産・物流・ビジネスプロセスシミュレーションツールです。空港面運用計画検討や空港業務改善などに役立ちます。

CHIP			AMPL
	CHIPは仏COSYTEC社が開発した制約論理プログラミング言語です。各種の制約条件や優先順位が設定でき、作業員や搬送機械、航空機の駐機場（スポット）割当などの運用計画の作成や詳細な分析が可能です。			AMPLは、離散および連続変数における線形（LP）および非線形最適化問題(NLP)のための包括的でパワフルな代数モデリング言語です。 Gurobi Optimizerとのコラボレーションにより、最強のモデリング環境を実現します。

Gurobi Optimizer			AIMMS
	Gurobi Optimizerは、数理最適化（線形計画法／整数計画法）の最新技術を取り入れた、最高性能の線形／整数計画ソルバーです。数理最適化においてだけではなく、マルチコアプロセッサーへも対応など、最新のハードウェア性能を充分に発揮できるように設計されています。			最適化アプリケーションおよびプランニングアプリケーション構築のための、応用開発モデリングツールです。 Gurobi Optimizerとのコラボレーションにより、最強のモデリング環境を実現します。