論理包含、含意、内含（implication）

分岐命令 - 機械語、マシン語（machine language）

制御構造（control flow、control structure）

ヨーダ記法 - If文内の条件式で定数を左辺に置くプログラミングスタイル