トマエ関数

トマエ関数とは、 にちなんで名づけられた関数であり、ポップコーン関数、雨滴関数などの多くの別名を持ち、次のように定義される。
この関数はディリクレの関数を修正したものである。