#記述集合論 コンピュータサイエンス 2023