プログラムがどう動けばいいか記述するための言語

またはそれに関する #研究分野