最近在看一些哲學的科普文章時
看到了外延與內涵的區別
外延就是某個名詞代表的東西的集合
我一聽就想到一個經典的梗圖
https://i.imgur.com/Q1xQqBh.jpg
「L'Arc的破曉晨鐘」和「鋼彈00的op1」的外延是相同的
它們代表的都是同一個集合，裡面只有一個元素，就是那首特定的歌
但你真的會說這兩句話的意思一樣嗎
很可能不會，因為說「L'Arc的破曉晨鐘」很可能代表他是因為樂團去聽的
而聽「鋼彈00的op1」的人就是看卡通的肥宅
所以內涵不太一樣
說到外延，資工系最愛從別的領域偷名詞過來了
之前曾聽過有人把一個程式的 input output 對應關係說成外延
而內涵則是那個程式的程式碼
兩個程式，如果相同的輸入會對應到相同的輸出，那他們的外延就相同
舉例來說，在 Leetcode 上的同一題，不同的人會上傳不同的程式碼
如果是 AC 的話，那他們的輸入輸出對應是相同（至少在定義域是測資的情況下）
這些有不同程式碼的程式是相同的嗎？好像可以又好像不行
我覺得這個關於程式的外延內涵比喻還蠻有趣的