総合的研究論理学で学ぶ数学−思考ツールと / 長岡　亮介　著