Efficiency@Social_Choice_Function - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)