@inproceedings{weko_135119_1,
   author	 = "池田,瑞穂 and 高田,喜朗 and 関,浩之",
   title	 = "インタラクティブシステム設計におけるタスクの形式的記述とその実現",
   booktitle	 = "全国大会講演論文集",
   year 	 = "1999",
   volume	 = "第58回",
   number	 = "ソフトウェア科学・工学",
   pages	 = "207--208
",
   month	 = "mar"
}