2014年 ミルナー不変量計算のための非可換多項式処理 学習院大学計算機センター年報 久保山哲二, 安原晃, 磯上貞雄, 城所弘泰, 村上登志男 巻 号 34 開始ページ 97 終了ページ 100 エクスポート BibTeX RIS