新しいプログラミング・パラダイム⑩_Miranda_ - 共立出版コンピュータサイエンス誌『bit』