179 followers 国家理性ちゃん @pacopaco_pa J-STAGE Articles - 計算機科学における論理的検証 https://t.co/Uu63jBBMNH 12 Aug 2020 Reply Repost Favourite