プログラムデータムの背景グリーンプログラミングバイナリコーディング行列ベクトル