『デデキントの切断とは、リヒャルト・デデキントが考案した手続きで、実数論の基礎付けに用いられる概念です』 文系女子大学生を悩ませるイヤーワームの正体とは？ 空色杯第18回参加作品です。