プログラミング言語（プログラミングげんご、英: programming language）とは、コンピュータプログラムを記述するための形式言語である。