小松勇作
コンピュータと証明
1973年01月号