リーマン多様体上のラプラス固有関数に対する鋭い局所バーンシュタイン推定 | Synapse