@article{oai:ipsj.ixsq.nii.ac.jp:00071439,
 author = {新名, 庸生 and 佐藤, 雅彦 and 馬谷, 誠二 and 八杉, 昌宏 and 湯淺, 太一 and Yasunari, Niina and Masahiko, Sato and Seiji, Umatani and Masahiro, Yasugi and Taiichi, Yuasa},
 issue = {5},
 journal = {情報処理学会論文誌プログラミング（PRO）},
 month = {Dec},
 note = {プログラミング言語Zには簡潔で厳密なセマンティックが与えられており，将来的にはZで記述したプログラムついてもその数学的，論理的性質を素直に記述，証明できる言語になることを目指している．今回はZのコア言語となるpure Zと，Javaで書かれたLisp処理系JAKLDを基にしたpure Zの実装を紹介する．JAKLDは携帯電話でも動くコンパクトさと改造しやすさからpure Zの実装に適している．今回のpure Zの実装は今後の拡張に備え，コンパクトさと改造のしやすさを引き継いだ実装になっている．, The programming language Z is given a simple and strict semantics, and we expect we will be able to easily describe mathematical and logical properties of programs written in Z in the future. In this search, we introduce a core language of Z called pure Z and its implementation based on JAKLD, a Lisp system written in Java. JAKLD is suitable for the purpose because it is so compact that some versions of it runs on mobile phones and designed so that it will be easy to add, delete, and modify its functionalities. Our implementation of pure Z keeps the compactness and easiness for the next extension.},
 pages = {31--31},
 title = {構成的理論に基づいたプログラミング言語Zとその実装},
 volume = {3},
 year = {2010}
}