交互リーマン型関数及びその一般化に対する高速収束級数公式 | Synapse