竹北彌月禮盒. CORAL 66. Notre dame journal of formal logic scopus impact factor 2022.

九州 ポール と は.