情報工学とかでは式・文の定義ってどーゆー風になってんのかな。
そっちの学科でも定義はスルーして対象言語だけ学習するもの?