making_everything_else_subject_to_constraints - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)