高浜忠彦
チューリングとディジタル計算機の起源
1974年01月号