Deakstadieđáhus: Music theory for computer musicians