@techreport{weko_97961_1, author = "後藤,勇樹 and 藤田,恵 and 新出,尚之", title = "不確実性に対処可能なTeleo-reactive Programの意味論とその応用", year = "2014", institution = "京都大学数理解析研究所, 奈良女子大学大学院人間文化研究科, 奈良女子大学研究院自然科学系情報科学領域", number = "2", month = "jan" }