無限の重みと円柱における最小化の単調性を持つノイマンラプラスの主固有値の最適化 | Synapse