Undefined値
計算可能性理論では、式の未定義性はexpr↑で表され、定義性はexpr↓で表される。