査読有り 筆頭著者 2012年 無限項書き換えシステムにおける 強頭部正規化可能性および一般生成性の自動反証 コンピュータソフトウェア 岩見 宗弘, 青戸 等人 巻 29 号 1 開始ページ 211 終了ページ 239 記述言語 日本語 掲載種別 研究論文(学術雑誌) エクスポート BibTeX RIS