@inproceedings{weko_134227_1, author = "河辺,義信 and 真野,健 and 小暮,潔", title = "アクタモデルのπ計算に基づく意味づけ : エージェントの形式化に向けて", booktitle = "全国大会講演論文集", year = "1998", volume = "第57回", number = "ソフトウェア科学・工学", pages = "262--263", month = "oct" }