@inproceedings{weko_91449_1,
   author	 = "小川,美樹 and 鴨,浩靖 and 新出,尚之",
   title	 = "汎用的な証明図作成支援ソフトの構築",
   booktitle	 = "第51回プログラミング･シンポジウム予稿集",
   year 	 = "2010",
   volume	 = "2010",
   number	 = "",
   pages	 = "73--78",
   month	 = "jan"
}