ラダー・ロジック
ラダー・ロジックまたはラダー言語（ラダーげんご）は論理回路を記述するための手法で、現在多くのプログラマブルロジックコントローラ(PLC)で採用されているプログラム言語である。ラダー図という場合もある。本来は、リレーによる論理回路を記述するために考案されたものである。ラダーという名前は、この言語のプログラムが2本の並行するレール（母線）とその間に渡されるラングによって梯子（ラダー）のように見えることに由来する。ラダー言語はハードウェア記述言語とは別のものと扱われている。