Abstract. MINWii, a new serious video game targeting Alzheimer and demented patients, is a simple Music Therapy tool usable by untrained care givers. Its objective is to improve patients' self-image (renarcissization) to reduce behavioral symptoms, which are an important cause of institutionalization. With MINWii, elderly gamers use Wiimotes to improvise or play predefined songs on a virtual keyboard. We detail our design process, which addresses the specific features of dementia: this iterative refinement scheme, built upon qualitative, small scale experiments in a therapeutic environment, led to a shift of MINWii's original focus from creativity to reminiscence. A large majority of our patients, with mild to moderate dementia, expressed a strong interest in our system, which was confirmed by feedback from the care givers. A fully controlled usability study of MINWii is currently under way, which should lead to future research assessing its actual therapeutic impact.
We describe jsCcoq, a new platform and user environment for the Coq
interactive proof assistant. The jsCoq system targets the HTML5-ECMAScript 2015
specification, and it is typically run inside a standards-compliant browser,
without the need of external servers or services. Targeting educational use,
jsCoq allows the user to start interaction with proof scripts right away,
thanks to its self-contained nature. Indeed, a full Coq environment is packed
along the proof scripts, easing distribution and installation. Starting to use
jsCoq is as easy as clicking on a link. The current release ships more than 10
popular Coq libraries, and supports popular books such as Software Foundations
or Certified Programming with Dependent Types. The new target platform has
opened up new interaction and display possibilities. It has also fostered the
development of some new Coq-related technology. In particular, we have
implemented a new serialization-based protocol for interaction with the proof
assistant, as well as a new package format for library distribution.Comment: In Proceedings UITP 2016, arXiv:1701.0674
Après avoir motivé la nécessité d ’introduire des outils interactifs pour l’enseignement en informatique musicale et, plus généralement, dans les disciplines scientifiques, nous décrivons jsCoq, notre nouvelle interface utilisateur pour le logiciel de preuve mathématique Coq. Cet outil fournit aux enseignants un moyen efficace pour concevoir et mettre en œuvre des cours qui combinent textes, audio, images et preuve interactive de théorèmes. Nous présentons deux études de cas d’utilisation dans le domaine audio et les résultats d’une évaluation de jsCoq sur le terrain.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.