Psychologie de la musiquevignette|Modèle psychologique de la perception des hauteurs. La psychologie de la musique est une branche de la psychologie expérimentale consacrée à l'étude de la perception des sons musicaux. C'est un domaine des neurosciences annexe de la musicologie et de la musicothérapie.
Cognitive musicologyCognitive musicology is a branch of cognitive science concerned with computationally modeling musical knowledge with the goal of understanding both music and cognition. Cognitive musicology can be differentiated from other branches of music psychology via its methodological emphasis, using computer modeling to study music-related knowledge representation with roots in artificial intelligence and cognitive science. The use of computer models provides an exacting, interactive medium in which to formulate and test theories.
Théorie de la musiqueUne théorie de la musique est un ensemble de règles décrivant le système musical d'une culture particulière. Le corpus mondial de textes théoriques concernant la musique est immense. Chaque culture musicale possède ses propres formes. Les théories de la musique regroupent des ensembles de notions concernant la production et l'organisation des sons musicaux, qui ne définissent pas nécessairement tous de la même façon le temps, le caractère distinctif de chaque son, et les relations entre sons successifs ou simultanés.
Musique algorithmiqueDepuis le démarrage de la réflexion sur la composition assistée par ordinateur, première expérimentation musicale utilisant l’outil informatique, les systèmes de composition se sont tour à tour préoccupés d’infléchir ou de laisser l’initiative à la machine, et, parallèlement, de libérer totalement l’homme de certaines tâches de régulation, ou de lui laisser une part importante de création. Pour tenter de réduire la proportion de hasard, l'ordinateur fut utilisé pour ses fonctions de contrôle de l’automation.
R (langage)R est un langage de programmation et un logiciel libre destiné aux statistiques et à la science des données soutenu par la R Foundation for Statistical Computing. Il fait partie de la liste des paquets GNU et est écrit en C, Fortran et R. GNU R est un logiciel libre distribué selon les termes de la licence GNU GPL. Le site officiel fournit des binaires pour Linux, Windows et macOS, et des portages existent pour d'autres systèmes d'exploitation.
Set theory (music)Musical set theory provides concepts for categorizing musical objects and describing their relationships. Howard Hanson first elaborated many of the concepts for analyzing tonal music. Other theorists, such as Allen Forte, further developed the theory for analyzing atonal music, drawing on the twelve-tone theory of Milton Babbitt. The concepts of musical set theory are very general and can be applied to tonal and atonal styles in any equal temperament tuning system, and to some extent more generally than that.
Théorie VSEPRLa théorie VSEPR (sigle de l'anglais Valence Shell Electron Pair Repulsion, en français RPECV : « répulsion des paires électroniques de la couche de valence ») est une méthode destinée à prédire la géométrie des molécules en s'appuyant sur la théorie de la répulsion des électrons de la couche de valence. Elle est aussi connue sous le nom de « théorie de Gillespie » (ou théorie de Nyholm-Gillespie). Ce sont les Britanniques Nevil Sidgwick et Herbert Powell de l'Université d'Oxford qui ont proposé en 1940 une corrélation entre la géométrie moléculaire et le nombre des électrons de valence.
Système de fichiersLe terme système de fichiers (abrégé « FS » pour File System, parfois filesystem en anglais) désigne de façon ambigüe : soit l'organisation hiérarchique des fichiers au sein d'un système d'exploitation (on parle par exemple du file system d'une machine unix organisé à partir de sa racine (/) ) soit l'organisation des fichiers au sein d'un volume physique ou logique, qui peut être de différents types (par exemple NTFS, , FAT32, ext2fs, ext3fs, ext4fs, zfs, btrfs, etc.
Musique assistée par ordinateurthumb|Station MAO avec ordinateur, clavier maître, séquenceur et enceintes La musique assistée par ordinateur (MAO) regroupe l'ensemble des utilisations de l'informatique comme outil associé à la chaîne de création musicale depuis la composition musicale jusqu'à la diffusion des œuvres, en passant par la formation pédagogique au solfège et la pratique d'instruments. La MAO fait son apparition auprès d'un public élargi dans les années 1970, lorsque les premières idées de synthétiseur associées à l'ordinateur, Synclavier et Fairlight, voient le jour.
Transformational theoryTransformational theory is a branch of music theory developed by David Lewin in the 1980s, and formally introduced in his 1987 work, Generalized Musical Intervals and Transformations. The theory—which models musical transformations as elements of a mathematical group—can be used to analyze both tonal and atonal music. The goal of transformational theory is to change the focus from musical objects—such as the "C major chord" or "G major chord"—to relations between musical objects (related by transformation).
MésomérieEn chimie, la mésomérie désigne une délocalisation d'électrons dans les molécules conjuguées, que l'on représente par une combinaison virtuelle de structures aux électrons localisés appelées mésomères ou formes de résonance. Faute de moyens graphiques plus simples pour les décrire correctement, la mésomérie est donc une représentation simplifiée des systèmes moléculaires, qui sont plus précisément décrits par des approches de chimie quantique. Le terme « mésomérie » est dû à Ingold.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
MusicologieLa musicologie (en Musikwissenschaft) est l'étude scientifique de la musique. Elle forme un domaine des sciences humaines. Un chercheur qui participe à cette étude est un musicologue. Le terme provient du grec et . La musicologie commence à se constituer en tant que champ disciplinaire au dans le sillage du développement de la critique musicale avec des revues dédiés et de premiers essais de théorisation. Au , la musicologie se divise en trois disciplines principales : la musicologie historique, la théorie et l'analyse musicale, et l'ethnomusicologie, complétées par de nombreuses disciplines annexes.
Molécule hypervalenteUne molécule hypervalente est une espèce chimique considérée comme comportant un atome qui, en ayant plus de huit électrons dans sa couche de valence, ne respecte pas la règle de l'octet. L'ion triiodure , le trifluorure de chlore , l'ion phosphate , le pentachlorure de phosphore , l'hexafluorure de soufre ou encore l'heptafluorure d'iode sont des exemples de molécules hypervalentes. Ce concept a été introduit en 1969 par Jeremy I. Musher pour les molécules formées par les éléments des colonnes 15 à 18 dans tous leurs états d'oxydation autres que l'état le plus bas.
Géométrie moléculaire octaédriqueEn chimie, une géométrie moléculaire octaédrique est la géométrie des molécules où un atome central, noté A, est lié à six atomes, groupe d'atomes ou ligands, notés X, formant un octaèdre régulier. Cette configuration est notée AX6E0 selon la théorie VSEPR. Les angles de liaison sont de 90° lorsque tous les substituants sont les mêmes, et la structure est alors un octaèdre parfait appartenant au groupe ponctuel de symétrie Oh.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Systematic musicologySystematic musicology is an umbrella term, used mainly in Central Europe, for several subdisciplines and paradigms of musicology. "Systematic musicology has traditionally been conceived of as an interdisciplinary science, whose aim it is to explore the foundations of music from different points of view, such as acoustics, physiology, psychology, anthropology, music theory, sociology, and aesthetics.
Instrument de musiqueright|thumb|280px|Fresque étrusque de la tombe des Léopards à Monterozzi en Italie. right|thumb|280px|Planche illustrée d'instruments de musique extraite du "Systematische Bilder-Gallerie zur allgemeinen deutschen Real Encyclopädie in lithographirten Blättern" (1842) Un instrument de musique est un objet pouvant produire un son contrôlé par un musicien — que cet objet soit conçu dans cet objectif, ou bien qu'il soit modifié ou écarté de son usage premier.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
