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