@article{oai:nagoya.repo.nii.ac.jp:00018998,
 author = {近藤, 悟 and 酒井, 正彦 and 坂部, 俊樹 and 草刈, 圭一郎 and 西田, 直樹 and KONDO, Satoru and SAKAI, Masahiko and SAKABE, Toshiki and KUSAKARI, Keiichirou and NISHIDA, Naoki},
 issue = {392},
 journal = {電子情報通信学会技術研究報告SS, ソフトウェアサイエンス},
 month = {Dec},
 note = {プログラム生成系GeneSysは一階述語論理で記述された仕様からの実行可能なプログラム生成を目的とした手法である.本論文では,GeneSysで否定記号を含む論理式を扱うために既存の変換規則を拡張し,否定記号を用いた仕様からのプログラム生成の例を示す.また,否定記号に関連する変換規則などを新たに追加し,これによりプログラムの生成が可能になる例を示す., Program-Generation System GeneSys has been proposed, which generated executable programs from first order equational specifications without negation. In this paper, we extend conversion rules of GeneSys in order to handle formulas with negation, and show a program-generation example from a specification with negation. We also propose new conversion rules related to negation and give a example that indicates benefits of the new rules.},
 pages = {43--48},
 title = {プログラム生成系GeneSysにおける等式仕様への否定の導入},
 volume = {107},
 year = {2007}
}