計算量と並列処理:Karpとの会見 - 共立出版コンピュータサイエンス誌『bit』