ブーリアングレブナ基底の時間割作成問題への応用 (数式処理 : その研究と目指すもの)

References