[logic-ml] 量子ソフトウェア研究会