長坂建二
整数論向き超高精度言語イザベル(ISABELLE)
1982年06月号