@inproceedings{weko_91456_1,
   author	 = "太田,昌孝",
   title	 = "量子化と包摂(ユニフィケーション)",
   booktitle	 = "第51回プログラミング･シンポジウム予稿集",
   year 	 = "2010",
   volume	 = "2010",
   number	 = "",
   pages	 = "133--138",
   month	 = "jan"
}