PROBLEM TO BE SOLVED: To quicken a processing speed in multiplication of a matrix and a vector using a ZDD (Zero-suppressed binary Decision Diagram).;SOLUTION: A matrix vector product arithmetic unit for calculating a product Xq of a binary matrix X of N lines M columns and an M-dimensional real number vector q includes: data storage means for storing array data in which a ZDD corresponding to the binary matrix X divided by line division units L is expressed as an array using a node ID as an index; arithmetic data storage means for storing arithmetic data in the case of calculating a matrix vector product; arithmetic execution means for preparing N pieces of storage areas for storing output data in the arithmetic data storage means and N×L+1 pieces of storage areas for storing temporary calculation results, and for using the N pieces of storage areas and the N×L+1 pieces of storage areas on the basis of the array data to calculate the product Xq; and output means for outputting the data stored in the N pieces of storage areas as the value of the product Xq calculated by the arithmetic execution means.;COPYRIGHT: (C)2014,JPO&INPIT
展开▼