物理世界をモデリングするプログラミング言語ってないかな。