アイバーソンの記法

アイバーソンの記法はケネス・アイバーソンにちなんで名づけられた記法。Pが真ならば1で偽ならば0である。

[math][P] = \begin{cases} 1 & \mbox{if } P \mbox{ is true;} \\ 0 & \mbox{otherwise.} \end{cases}[/math]

参照

• Donald Knuth, "Two Notes on Notation", American Mathematical Monthly, Volume 99, Number 5, May 1992, pp. 403–422. (テンプレート:TeX, テンプレート:Arxiv)
• Kenneth E. Iverson, "A Programming Language", New York: Wiley, p. 11, 1962.

関連項目

• クロネッカーのデルタ
• 指示関数