数理と情報が別になっていたらいいんだけどね。