1983年度_ACMチューリング賞受賞記念講演_ソフトウェア研究に思う_信用を信用することができるだろうか