インターネットとWWWが提供する地球規模の 計算環境を利用したソフトウェア開発では、 LAN間のバリア、物理的距離の差、 移動端末の存在を考慮しなければならない。 Ambient算法は、このようなグローバルな 計算環境で働くプログラムに理論的な基礎を 与えるために提案された計算モデルであり、 その基本概念は、計算が行われる 場所をモデル化するambient（計算環境） である。 ambientは局所的なプロセスを持ち、 ambientの中に、あるいは外に移動できる。
このようなAmbient算法の計算を理解し、 分析するためには、記号列としての項の 変化を示すだけでは十分でない。 本研究では、Ambient算法の計算を直感的に 捉えやすくするために、計算の過程を アニメーションで表示するシステムを 開発する。