プログラム言語（プログラミング言語）とは、コンピュータに命令を与えるための形式化された言語です。人間がコンピュータに何をさせたいのかを伝えるために使用されます。 プログラミング言語は、記法と意味論の2つの部分で構成されています。記法は、言語のシンタックスとセマンティクスを指します。意味論は、言語の構文とセマンティクスを指します。構文は、言語の単語とフレーズの構造を指し、意味論は、言語の単語とフレーズの意味を指します。プログラム言語は、その用途や特徴によって分類することができます。一般的な分類方法としては、手続き型言語、関数型言語、論理型言語、オブジェクト指向言語などがあります。手続き型言語は、コンピュータに一連の手順を命令する言語です。C言語、Java、Pythonなどがこの分類に含まれます。関数型言語は、数学的関数を用いてプログラムを表現する言語です。Haskell、Lispなどがこの分類に含まれます。論理型言語は、命題論理や述語論理を用いてプログラムを表現する言語です。Prologなどがこの分類に含まれます。オブジェクト指向言語は、オブジェクトという概念を用いてプログラムを表現する言語です。C++、Java、Pythonなどがこの分類に含まれます。プログラミング言語は、コンピュータサイエンスの重要な概念の一つです。コンピュータに命令を与えるための形式化された言語であり、さまざまな用途や特徴によって分類することができます。