整数線形分数半ベクトル二層問題の解法 | Synapse