410書誌情報情報数学はじめの一歩論理と集合 = Mathematics in Informatics,the First Step:Logic and Sets著者長谷川貴之 著出版社共立出版出版年2026年ISBN9784320116177分類410 数学国立国会図書館サーチで確認する