[仕事の話なので、いずれ、加筆修正の上、本業のページに移動の予定]最近の論文[1]から数年前の私の仕事[2]がやや唐突に参照されているのをみつけた。[1]では、Bishop流構成的数学でDiniの定理はBrouerの fan theorem （日本語はなんだろう）と同値であり、…