ＢＣＨ符号と同じように・・・ってGR(4,m)は整域じゃないんだって！ Peterson法じゃなきゃあいいのか？ ・・・って一意分解整域じゃないんだって！ 設定距離からして不明。それでももしかするとGR/2GR〜F2（同相）を考えればどうにかできるんじゃないか、と…