アレフ・ゼロ_宣言型言語の本質 - 共立出版コンピュータサイエンス誌『bit』