綾小路綾乃 "離散数学「ものを分ける理論」..." 2025年9月17日