穴を使って「属性検索」する昔のカード技術

エッジノッチドカード（edge-notched card）