@techreport{oai:ipsj.ixsq.nii.ac.jp:00022200,
 author = {日野, 克重 and Katsushige, Hino},
 issue = {10(1991-SE-083)},
 month = {Feb},
 note = {日常的世界観にもとづく実行可能な仕様記述言語NAIVEを提案する．当言語は，実世界を自然かつ直接的に記述することを目標とした言語である．本稿では，当言語について，その背後にある世界観，言語仕様，および記述例を中心に述べる．, A executable specification language NAIVE is proposed. We can develop reactive and complicated software systems more easily using the language NAIVE. In this paper, the world view behind the language NAIVE, the language specification of NAIVE, and some examples of description in NAIVE are presented.},
 title = {日常的世界観にもとづく言語NAIVEによる実行可能な仕様記述},
 year = {1992}
}