the ratios of frequency in tonic waves. Chapter 3, "Music and Language," explains the fundamentals of grammar theory and the compositionality principle, which states that the semantics of a sentence can be composed in parallel to its syntactic structure. In turn, Chapter 4 explains the most prevalent score notation - the Berklee method, which originated at the Berklee School of Music in Boston - from a different point of view, namely, symbolic computation based on music theory. Chapters 5 and 6 introduce readers to two important theories, the implication-realization model and generative theory of tonal music (GTTM), and explain the essence of these theories, also from a computational standpoint. The authors seek to reinterpret these theories, aiming at their formalization and implementation on a computer. Chapter 7 presents the outcomes of this attempt, describing the framework that the authors have developed, in which music is formalized and becomes computable. Chapters 8 and 9 are devoted to GTTM analyzers and the applications of GTTM. Lastly, Chapter 10 discusses the future of music in connection with computation and artificial intelligence. This book is intended both for general readers who are interested in music, and scientists whose research focuses on music information processing. In order to make the content as accessible as possible, each chapter is self- contained.