@article{oai:nagoya.repo.nii.ac.jp:00019001, author = {長島, 正憲 and 酒井, 正彦 and 坂部, 俊樹 and 西田, 直樹 and 草刈, 圭一朗 and NAGASHIMA, Masanori and SAKAI, Masahiro and SAKABE, Toshiki and NISHIDA, Naoki and KUSAKARI, Keiichirou}, issue = {343}, journal = {電子情報通信学会技術研究報告SS, ソフトウェアサイエンス}, month = {Dec}, note = {以前に我々が提案したプログラム生成系GeneSysは,一階述語論理式で表現された仕様から実行可能なプログラムを生成するが,変換過程の論理式が複雑になりやすい欠点がある.本稿では,仕様の表現方法を条件付き等式(ホーン節)に制限し,単純かつ直観的なプログラム生成系の構築を目指す.その上で,プログラム生成のいくつかの実例を挙げる., Program-generation system GeneSys, which we have ever proposed, generates executable programs from first order equational specifications. The system is, however, apt to create complicated formulas during transformation. Instead, in this paper, we use conditional equations (Horn clauses) as specifications to try constructing a more simple and more intuitive system. On that basis, we give examples of program generation.}, pages = {37--42}, title = {条件付き等式の変換に基づくプログラム生成}, volume = {109}, year = {2009} }