数独問題のイデアル構造による階層付けとブーリアングレブナ基底による並列計算 (数式処理とその周辺分野の研究 : RIMS研究集会報告集)