プログラミング言語
コンピュータ言語のうちプログラミングに使うもの。一般的にチューリング完全であることが求められる。