An efficient middle-level framework for quantum circuit simulation on multiple simulator platforms (コンピュータシステム)