다음 중 조합색인을 창안하고 유니텀(uniterm)시스템에 불리언 논리를 결합시킨 인물은?