@article{weko_5633_1,
   author	 = "永田,守男",
   title	 = "数式処理：数式処理技術の利用法",
   journal	 = "情報処理",
   year 	 = "1986",
   volume	 = "27",
   number	 = "4",
   month	 = "apr"
}