理論的保証を備えたグラフレベルタスクのための一般化可能で表現力豊かなグラフニューラルネットワークに向けて | Synapse