安定結婚問題を解く安定マッチングはTinderができる50年以上前から存在した
しかし、缶詰は(理論上の)雇用を生んだが、安定マッチングは50年間の機会損失を生んだ。
缶切りが出来るまでの50年間で缶詰を上手いこと開ける職人が出現してもおかしくないので存在するとして、彼らは50年間職業を得た。缶切りを発明してしまったことでその職を失った。人類は缶ジュースのプルタブを見るたびに自責の念にかられるべき。
一方で安定マッチングがTinderに応用されるまで弱者男性は理論値の最高効率で恋愛をする機会を失った。
人類は常にアクセルベタベタ踏み踏みの最高速度で発展し、我々はその恩恵を享受しまくるべきなのだが、往々にして怠ける。
しかし、怠惰がもたらす結果はマチマチなので、人類は勤労の重要性を学ぶことができない。
缶開け職人に缶ビールで献杯し、弱者男性の墓には坊さんを安定マッチングさせましょう。アフターサービスというやつですわ。
缶詰と缶切りの時差
安定マッチングについて
安定マッチングとGale-Shapleyアルゴリズム | 高校数学の美しい物語
安定マッチング=Gale–Shapleyアルゴリズムは1950年代には現れていた
Gale–Shapley algorithm - Wikipedia
The Algorithm for Love – How Tinder Has Improved its Matching Markets System : Networks Course blog for INFO 2040/CS 2850/Econ 2040/SOC 2090