Verified eigenvalue evaluation for Laplace operator on arbitrary polygonal domain (科学技術計算アルゴリズムの数理的基盤と展開--RIMS研究集会報告集)