ラプラスオペレーターに対するザレンバ問題のスペクトル関数の推定について | Synapse