3,670 followers ぴあのん @piano2683 @yotsunva そういえばFourman & Hyland論文読んだことありますか?層トポスにおける実数の話が主に扱われてます。 https://t.co/mDyHfS48kO 24 Nov 2023 Reply Repost Favourite
2,052 followers だいたい全部まなぶ @R_O_R_I_J_O https://t.co/XuX1vXfc7f これかな 29 May 2022 Reply Repost Favourite