数学の記述方式をそのままプログラムの一部に使えるような言語はできないのかな