コンピュータ言語において、条件分岐を指示する命令。高級言語では一般に論理IF文やブロックIF文という形で使用される。言語では、ブロックIF文は不要なので、論理IF文の形で実装されている。昔のFORTRANでは、算術IF文というのが使用されていた。分岐するというものである。アセンブラでは、一般に各種のフラグによって分岐する。下記のようなものがある。沖電気が販売していたパソコンのシリーズの名称。アスキーのソフト部門とサムシンググッドとが合体してできた企業。交換するためのプロトコル。ワークではOSPFが使用される。