2025.7.3「研究室としての研究テーマ」を更新しました．「はじめて学ぶ集合と位相」の重版が決定しました（誤植等修正中）．