ESPerへの道_論理型オブジェクト指向言語ESP⑩_最後の試練 - 共立出版コンピュータサイエンス誌『bit』