ラマヌジャングラフ,有限上半平面上の保型形式