産業革新機構が割高な価格でメモリ株を買うのも実質的には税金投入だよ。