プログラム (コンピュータ)
コンピュータプログラム（英：computer program）とは、コンピュータに対する命令（処理）を記述したものである。コンピュータが機能を実現するためには、CPUで実行するプログラムの命令が必要である。
コンピュータが、高度な処理を人間の手によらず遂行できているように見える場合でも、コンピュータは設計者の意図であるプログラムに従い、忠実に処理を行っている。実際には、外部からの割り込み、ノイズなどにより、設計者の意図しない動作をすることがある。また設計者が、外部からの割り込みの種類を網羅的に確認していない場合もある。
概要
1940年代から1950年代にかけての計算機械のいくつかは、おこないたい計算（データ処理）の種類に応じた手順について、各構成要素間の電気的配線を直接に接続することでプログラムされていた。これをワイヤードロジック（布線論理）によるプログラミングという。この方法では、パッチパネル部分をモジュール化してまるごと交換するなどといったような手法もないでもないが、異なった計算をさせたい場合ごとに、配線を変更するという手間が必要である。特に、ENIACが（運用開始時には）この方式だったということは歴史上よく言及される。
ワイヤードロジックは、制御の論理が、電気的な配線によって直接進行するという点で速度の点ではすぐれているため、論理を変更する必要がないASICや、プロセッサ自身の内部では速度の点などでは有利な手法であり、現代のマイクロプロセッサ、特にいわゆるRISCでは多用されている。
一方、初期のコンピュータではEDSACにおいて初めて「実用的に」実現されたプログラム内蔵方式（※： 「ノイマン型」の記事も参照のこと）では、プログラムは主記憶装置に記憶される（「内蔵」される）。プログラム内蔵方式のコンピュータでは、プロセッサ（特にCPU）の動作は、主記憶装置から読み込まれるプログラムによって制御される。
プログラムを作ることをプログラミングと言い、プログラミングをする人をプログラマという。プログラミングには一般に、プログラミング言語と呼ばれている形式言語である人工言語がもっぱら使われる。プログラミング言語が対応できないような特殊機能などを使う場合などにはアセンブリ言語により機械語を使ったり、直接、プロセッサを制御する機械語バイナリコードを作成することもある。プログラミング言語で書かれたプログラム（コード）をソースコードと呼ぶ。ソースコードのことを、「プログラムの設計図」と「わかりやすく」呼ぶ一部マスコミなどがあるが、例えば3Dプリンタ等が設計図をそのまま解釈して物を造ってくれることは無いように、設計図とは本質的に違うものである。
なお、嘗ては「算譜（略: 譜)」という和製漢語が用いられていた（他に、データは「算料」、テストデータは「試料」、テストプログラムは「試譜」等）が、今日ではほぼ廃れている。また、「次第書き」「次第立て」という開いた表現も作られた。
プログラミング言語を変換する、あるいは解釈実行する、といった処理をするプログラムを、プログラミング言語処理系という。処理系の類型としてコンパイラやインタプリタなどがある。コンパイラとインタプリタの関連は、二村射影により定式化されている。
プログラムは、実現する機能によって、コンピュータ自体の動作を制御するオペレーティングシステムなどのシステムプログラムと、表計算ソフトなど使用者が目的とする作業そのものを行うアプリケーションプログラムに大別される。
プログラムとライブラリ
プログラムは単体ではタスクを完遂できないこともある。特にソフトウェアライブラリが必要な場合が多い。ライブラリは単独では機能せず、プログラムから使われるソフトウェアコンポーネントを集めたものである。もしあるプログラムに、他の多くのプログラムでも共通に使える一般的処理があれば、それらをライブラリとすることで、プログラムの共通化を図ることが出来る。