12/02/24 09:05:01.41
ｽﾚﾘﾝｸ(math板:660番)
>鶏のようなlofさんの型理論
「鶏のような」ってMartinのこと？
ちなみにlofじゃなくてlo"f(loef)ね。
12/02/24 09:05:01.41
ｽﾚﾘﾝｸ(math板:660番)
>鶏のようなlofさんの型理論
「鶏のような」ってMartinのこと？
ちなみにlofじゃなくてlo"f(loef)ね。
12/02/24 09:05:01.41
ｽﾚﾘﾝｸ(math板:660番)
>鶏のようなlofさんの型理論
「鶏のような」ってMartinのこと？
ちなみにlofじゃなくてlo"f(loef)ね。