プログラム言語（プログラミング言語）は、コンピュータに命令を与えるために人間が記述する人工言語です。さまざまな観点で分類されます。
| 分類の観点 | 区分 |
|---|---|
| 水準 | 低水準言語（機械語・アセンブリ）／高水準言語（C・Java・Python） |
| パラダイム | 手続き型・オブジェクト指向・関数型・論理型 |
| 実行方式 | コンパイラ（コンパイル型）／インタプリタ（インタプリタ型） |
人間に近い書き方ほど高水準、機械語に近いほど低水準です。たとえば家計簿アプリを作るなら、生産性の高い高水準言語（Python など）を選ぶ、というように目的に応じて使い分けます。
試験では 「低水準/高水準」「コンパイル型/インタプリタ型」という分類軸が問われます。
