Thompson rewrote QED in BCPL for Multics.
トンプソンはMultics向けにBCPLでQEDを書き直した。