査読有り 2018年9月1日 可逆プログラミング言語R-WHILEの可逆チューリング完全性 電子情報通信学会論文誌 D 巻 J101-D 号 9 開始ページ 1372 終了ページ 1375 記述言語 日本語 掲載種別 エクスポート BibTeX RIS