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