ディリクレの函数