著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) "宮下, 尚 and 山口, 哲 and 岩ヶ谷, 崇 and 易, 軍",Towards Type System by Computer Algebra Systems in Programming Language (Extended Abstract),数理解析研究所講究録,1880-2818,京都大学数理解析研究所,2014-12,1927,,128-130,https://cir.nii.ac.jp/crid/1050282810820545664,