@misc{oai:tsukuba.repo.nii.ac.jp:00051452, author = {石井, 大海 and ISHII, Hiromi}, month = {}, note = {2018, 【要旨】}, title = {Bidirectional Interplay between Mathematics and Computer Science: Safety and Extensibility in Computer Algebra and Haskell}, year = {2019}, yomi = {イシイ, ヒロミ} }