物理法則を利用した動的形態のプログラミング言語の開発