おとなりアンテナ | おすすめページ
2025-06-26包括圏はなぜ「包括」圏なのか?雑記/備忘あー、そういうことかぁ!僕は、用語の語源にあまりこだわらないので、「包括圏」の語源は知らなかったし、調べることもしませんでした。「なんでか知らんけど、『包括圏』って呼ぶのね」で済ませていました。語源や逸話を知らないと概念を理解できないわけ…包括圏はなぜ「包括」圏なのか?
達人プログラマーを目指して読者になる