長岡亮介 数学 tecum