非可換群上に定義された行列冪関数に基づく決定問題について | Synapse