著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"村本, 大起 and 佐藤, 亮介 and 鵜林, 尚靖 and 亀井, 靖高",ランキング関数の回帰推定による関数型言語の停止性検証,情報処理学会論文誌プログラミング（PRO）,1882-7802,,2020-10-23,13,4,27-27,https://cir.nii.ac.jp/crid/1050004953500915328,