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