ディリクレ核 2025年4月8日 ディリクレ核の性質 \[ \lim_{n\rightarrow\infty}D_{n}\left(x\right)=2\pi\mathrm{comb}_{2\pi}\left(x\right) \]
