数式の二次元構造を直感的に扱うためのシステムの開発