パターンマッチングを超えた学習?LLMにおける数学的理解の評価 | Synapse