A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

Une ontologie des savoirs lexicologiques pour l'élaboration d'un module de cours en didactique du lexique

L'amélioration de la maitrise du français langue première chez les élèves du primaire au Québec dépend de plusieurs facteurs. L'enseignant peut jouer un rôle dans ce processus, sa formation universitaire lui fournissant les connaissances nécessaires afin d'encadrer le développement des compétences langagières de l'élève. Une de ces compétences joue un rôle privilégié dans l'utilisation et la maitrise de la langue, il s'agit de la compétence lexicale, la capacité à comprendre et à utiliser les unités du lexique, aussi bien à l'oral qu'à l'écrit. Afin d'encadrer le développement de la compétence lexicale en français langue première des élèves du primaire, les enseignants doivent eux-mêmes posséder un bon niveau de compétence lexicale, mais aussi détenir un certain nombre de connaissances sur le fonctionnement du lexique lui-même, c'est-à-dire des connaissances métalexicales. Le référentiel québécois de la profession enseignante (MEQ, 2001b) ne détaille pas les connaissances métalexicales que doit posséder l'enseignant pour mener les tâches associées à ses activités d'enseignement/apprentissage du lexique. En outre, la plupart des universités québécoises n'offrent pas de cours dédiés explicitement à la didactique du lexique. Pourtant, ce sont dans les cours de didactique que sont dispensées les connaissances théoriques et pratiques nécessaires au futur enseignant pour assumer les tâches de planification et de pilotage des activités d'apprentissage et d'évaluation des compétences des élèves. La relative absence de cours de didactique du lexique en formation initiale pourrait s'expliquer par le fait qu'il s'agit d'une discipline encore jeune dont les fondements théoriques et pratiques sont en cours de développement. Cette thèse en didactique du français langue première s’intéresse donc aux contenus linguistiques de référence de la didactique du lexique, ainsi qu’à la formation des maitres au primaire dans cette même discipline. Le travail de recherche effectué afin de tenter de remédier au problème soulevé a permis la réalisation de deux objectifs complémentaires. Le premier a consisté en la construction d’une ontologie des savoirs lexicologiques, qui permet de représenter à l’intérieur d’une hiérarchie de notions l’ensemble des connaissances disciplinaires de référence de la didactique du lexique. Cette représentation a ensuite été utilisée pour spécifier et structurer les contenus d’un module de cours en didactique du lexique visant le développement des connaissances métalexicales chez les futurs enseignants du primaire au Québec. L’ontologie et le module de cours produits ont été évalués et validés par des experts de chacun des domaines concernés. L’évaluation de l’ontologie a permis de vérifier la méthode de construction de celle-ci, ainsi que différents aspects relatifs à la structuration des concepts dans l’ontologie. L’évaluation du module de cours a quant à elle montré que les contenus de cours étaient pertinents, les méthodes pédagogiques employées appropriées et le matériel de cours développé bien conçu. Cela nous permet d'affirmer que le module de cours en didactique du lexique se présente comme un apport intéressant à la formation des futurs enseignants du primaire en français langue première au Québec. La recherche dans son ensemble présente enfin une contribution pertinente à la didactique du lexique, son caractère original résidant entre autres dans le fait d’avoir développé un mécanisme d’exploitation d’une base de connaissances (ontologie des savoirs lexicologiques) pour la conception didactique (module de cours en didactique du lexique).

L’enseignement de la distinction entre le passé composé et l’imparfait et l’utilisation de ces temps verbaux en classe d’immersion française : observations et proposition didactique

La présente étude avait pour objectif de décrire comment est enseignée (si elle l’est effectivement) la distinction d’emploi entre le passé composé et l’imparfait, une distinction aspectuelle posant problème aux apprenants du français langue seconde, dans trois classes de 3e à 5e années en immersion française précoce aux Territoires du Nord-Ouest et de décrire l’utilisation que font les enseignantes de ces temps verbaux. À partir de dix-neuf heures d’observation en classe et d’entretiens menés avec deux enseignantes, nous avons élaboré une proposition didactique basée sur la réflexion guidée avec exemples positifs et négatifs de Nadeau et Fisher (2006) mettant en évidence le contraste d’emploi entre le passé composé et l’imparfait. Cette proposition didactique fournit aux enseignantes une façon de l’enseigner alors qu’elles ne le font pas à ces niveaux, et aux apprenants, un intrant où la fréquence des emplois atypiques est plus grande que dans le discours de leur enseignante.

Los métodos de enseñanza en ELE : el método comunicativo revisado

Cette étude se focalise sur la révision de l’approche communicative des manuels d’enseignement de l’espagnol comme langue étrangère (ELE) et, plus particulièrement, sur celle des manuels utilisés dans les institutions scolaires du Québec. D’un point de vue historique, les premières inquiétudes liées à l’enseignement et à l’acquisition de langues secondes sont apparues dans l’Antiquité. Pendant des siècles, l’enseignement fondé sur la répétition de structures a prédominé, mais une fois le Moyen Âge passé, d’autres avancées pédagogiques sont nées. Par exemple, au XVIIe siècle, des études sur la question, inspirées de penseurs comme Montaigne et Locke, ont révélé que l’apprentissage formel de la langue n’était pas utile et que les apprenants avaient besoin d’une motivation pour apprendre. Le XXe siècle a été caractérisé par le déploiement de propositions méthodologiques à utiliser dans l’enseignement de langues secondes, et c’est ainsi que des méthodes telles que Directe, Audio-linguistique, Apprentissage communautaire de la langue et Approche naturelle ont surgi. Au milieu du XXe siècle s’est développée en Europe une proposition basée sur les besoins communicatifs des étudiants et ce qui, au début, était connu comme l’approche notionnelle fonctionnelle a évolué et est devenu l’enseignement communicatif. Une telle approche concerne essentiellement l’usage de la langue et accorde moins d’importance aux connaissances linguistiques. Elle a pour objectif principal que l’étudiant-parlant développe des habiletés interprétatives et expressives de la langue objet. En nous appuyant sur un cadre théorique de l’enseignement des langues et en analysant les manuels Nuevo ELE, Prisma et Español en marcha (niveaux A1-B2), nous prétendons vérifier la présence de l’approche communicative dans ces manuels afin de pouvoir démontrer que dans les activités dites communicatives, il y a différentes applications possibles des méthodes traditionnelles de l’enseignement de langues secondes et que, par conséquent, l’approche communicative réunit plusieurs propositions qui proviennent d’autres méthodes. Mot-clés : Espagnol langue étrangère (ELE), approche communicative, analyse de manuels, Nuevo ELE, Prisma, Español en marcha.

La importancia de las tecnologías de información y comunicación (TIC) en la didáctica del español como lengua extranjera (ELE)

La bibliographie comprends des adresses web consultables en ligne

Pratiques d’individualisation en enseignement primaire au Québec visant à faciliter l’intégration des élèves handicapés ou des élèves en difficulté au programme de formation générale

Au Québec, des ressources considérables sont investies pour assurer la réussite scolaire des élèves handicapés et en difficulté, tant au plan des apprentissages, de la socialisation que de la qualification. Pour des raisons évoquées d’équité et d’accès à la formation générale, les politiques éducatives privilégient l’intégration de ces élèves en classe ordinaire (Ministère de l'Éducation, 2008; Ministère de l'Éducation du Québec, 1999, 2004a). Ces politiques appellent de profonds changements dans l’organisation scolaire et conduisent inévitablement les enseignants à adopter des pratiques d’individualisation de leur enseignement. En dépit de l’importance de l’individualisation de l’enseignement pour favoriser la réussite des élèves intégrés, les pratiques pédagogiques mises en œuvre par les enseignants québécois demeurent méconnues. Cette étude vise à obtenir un portrait de ces pratiques. Plus spécifiquement, cette étude vise à obtenir des données sur la fréquence d’utilisation de certaines pratiques, à étudier leur compréhension conceptuelle et appliquée par les enseignants, ainsi qu’à identifier des facteurs personnels et organisationnels pouvant expliquer les différences entre les enseignants. Sur la base de la littérature disponible, une typologie des pratiques d’individualisation a été produite, regroupant quatre pratiques : la différenciation pédagogique, l’enseignement de stratégies, l’accommodation et la modification. Puis, un questionnaire élaboré aux fins de cette étude, permettant d’évaluer empiriquement la prégnance de ces quatre pratiques, a été rempli par 138 enseignants provenant de 35 commissions scolaires du Québec. Parmi ces enseignants, treize ont été sélectionnés et interviewés sur la base des exemples de leurs pratiques mentionnées dans les questions ouvertes du sondage. Fondée sur un devis mixte de type concourant et imbriqué (Creswell, 2003), cette recherche combine une stratégie d’analyse quantitative des données issues du questionnaire à des analyses de contenu des entrevues, de nature qualitative. Les résultats convergent vers trois niveaux de prise en charge de l’hétérogénéité en classe: nuancée, mécanique et réactive. Seuls les enseignants qui ont une prise en charge nuancée démontrent une compréhension et une utilisation des pratiques conformes au cadre conceptuel. Suivant cette hypothèse formulée à partir des données d’entrevue, les résultats d’une ANOVA ont permis de conclure que le tiers des répondants au sondage (n=41) utilisant le plus fréquemment la différenciation pédagogique fait une utilisation significativement peu fréquente de la pratique de la modification. Enfin, des analyses de régression ont révélé que parmi les autres facteurs prédisant l’utilisation des pratiques se trouvent la participation à des activités de formation continue, le niveau d’enseignement, le nombre d’élèves dans le groupe et le nombre d’élèves en difficulté avec des plans d’intervention. Les résultats de cette recherche indiquent un niveau de connaissance inégal des pratiques étudiées chez les enseignants, ainsi qu’une mise en œuvre déficiente des ressources nécessaires à l’intégration scolaire des élèves handicapés ou en difficulté.

Cross-Linguistic Transfer (CLT) in Bilingual Speakers : Neural Correlates of Language Learning

Le but de cette thèse est d'étudier les corrélats comportementaux et neuronaux du transfert inter-linguistique (TIL) dans l'apprentissage d’une langue seconde (L2). Compte tenu de nos connaissances sur l'influence de la distance linguistique sur le TIL (Paradis, 1987, 2004; Odlin, 1989, 2004, 2005; Gollan, 2005; Ringbom, 2007), nous avons examiné l'effet de facilitation de la similarité phonologique à l’aide de la résonance magnétique fonctionnelle entre des langues linguistiquement proches (espagnol-français) et des langues linguistiquement éloignées (persan-français). L'étude I rapporte les résultats obtenus pour des langues linguistiquement proches (espagnol-français), alors que l'étude II porte sur des langues linguistiquement éloignées (persan-français). Puis, les changements de connectivité fonctionnelle dans le réseau langagier (Price, 2010) et dans le réseau de contrôle supplémentaire impliqué dans le traitement d’une langue seconde (Abutalebi & Green, 2007) lors de l’apprentissage d’une langue linguistiquement éloignée (persan-français) sont rapportés dans l’étude III. Les résultats des analyses d’IRMF suivant le modèle linéaire général chez les bilingues de langues linguistiquement proches (français-espagnol) montrent que le traitement des mots phonologiquement similaires dans les deux langues (cognates et clangs) compte sur un réseau neuronal partagé par la langue maternelle (L1) et la L2, tandis que le traitement des mots phonologiquement éloignés (non-clang-non-cognates) active des structures impliquées dans le traitement de la mémoire de travail et d'attention. Toutefois, chez les personnes bilingues de L1-L2 linguistiquement éloignées (français-persan), même les mots phonologiquement similaires à travers les langues (cognates et clangs) activent des régions connues pour être impliquées dans l'attention et le contrôle cognitif. Par ailleurs, les mots phonologiquement éloignés (non-clang-non-cognates) activent des régions usuellement associées à la mémoire de travail et aux fonctions exécutives. Ainsi, le facteur de distance inter-linguistique entre L1 et L2 module la charge cognitive sur la base du degré de similarité phonologiques entres les items en L1 et L2. Des structures soutenant les processus impliqués dans le traitement exécutif sont recrutées afin de compenser pour des demandes cognitives. Lorsque la compétence linguistique en L2 augmente et que les tâches linguistiques exigent ainsi moins d’effort, la demande pour les ressources cognitives diminue. Tel que déjà rapporté (Majerus, et al, 2008; Prat, et al, 2007; Veroude, et al, 2010; Dodel, et al, 2005; Coynel, et al ., 2009), les résultats des analyses de connectivité fonctionnelle montrent qu’après l’entraînement la valeur d'intégration (connectivité fonctionnelle) diminue puisqu’il y a moins de circulation du flux d'information. Les résultats de cette recherche contribuent à une meilleure compréhension des aspects neurocognitifs et de plasticité cérébrale du TIL ainsi que l'impact de la distance linguistique dans l'apprentissage des langues. Ces résultats ont des implications dans les stratégies d'apprentissage d’une L2, les méthodes d’enseignement d’une L2 ainsi que le développement d'approches thérapeutiques chez des patients bilingues qui souffrent de troubles langagiers.

Effets de l’enseignement réciproque sur la compréhension en lecture d’élèves allophones immigrants nouvellement arrivés en situation de grand retard scolaire au secondaire

Le présent mémoire expose les effets de l’enseignement réciproque sur la compréhension en lecture en français langue seconde d’élèves allophones immigrants nouvellement arrivés en situation de grand retard scolaire, scolarisés dans des classes d’accueil au secondaire. Deux groupes expérimentaux et un groupe contrôle ont pris part à la recherche. Deux modèles d’intervention en enseignement réciproque ont été proposés aux groupes expérimentaux, soit une intervention traditionnelle ou une intervention qui favorise l’ouverture aux langues maternelles. Un questionnaire administré en grand groupe ainsi que des entretiens individuels menés auprès de 11 élèves sous forme d’études de cas ont permis de mesurer les effets des interventions et de présenter des portraits de lecteurs. Les résultats au questionnaire valident que les interventions ont eu des effets significatifs sur la compréhension en lecture des élèves des groupes expérimentaux comparativement aux élèves du groupe contrôle. De plus, les 11 études de cas vont dans le même sens et révèlent que les élèves des groupes expérimentaux, au post-test, se sont améliorés dans la mise en place des stratégies cognitives et métacognitives. Finalement, lorsque les deux groupes expérimentaux sont comparés entre eux, les deux présentent des gains significatifs sur le plan de la compréhension en lecture. Cependant, le groupe ayant participé à des interventions avec une ouverture aux langues maternelles présente des changements de perceptions plus positifs et explicites à l’égard de la relation, en lecture, entre les langues.

Dificultades en el uso de las preposiciones en estudiantes francófonos de ELE

Ce projet de maîtrise se consacre à l’apprentissage des prépositions espagnoles chez les élèves francophones. L’identification et l’analyse des erreurs les plus fréquentes dans l’usage des prépositions par des francophones nous permettrons d’élaborer des exercices pratiques qui rendraient leur apprentissage moins difficile. Nous croyons que la difficulté dans l’utilisation des prépositions chez les étudiants réside en partie dans le fait de ne pas connaître leur emploi exact. Nous commencerons donc par présenter l’emploi des principales prépositions en espagnol à partir du Manual de la Nueva gramática de la lengua española et d’autres études. L’enseignement de la grammaire dans les cours d’espagnol comme langue étrangère (ELE) au Québec suit les règles établies par le Cadre européen commun et le Plan curricular de l’Institut Cervantès. Les étudiants développent leur compétence grammaticale de manière inductive; ils sont amenés à comprendre les règles par eux-mêmes et à créer leurs propres hypothèses qu’ils confirment ou réfutent après grâce à quelques explications formelles de l’enseignant et des exercices de pratique. Par contre, cette tendance à laisser l’apprentissage de la grammaire entre les mains des étudiants peut aussi amener à la fossilisation de leurs erreurs si les explications et la pratique ne sont pas suffisantes. Les erreurs sont perçues comme un point de départ pour comprendre où résident les difficultés des étudiants et permettent aux enseignants d’apporter les changements nécessaires à leurs méthodes d’enseignement. Notre révision de quelques investigations réalisées avec la méthode de l’analyse des erreurs, nous permet de cerner les raisons pour lesquelles les francophones commettent autant d’erreurs dans l’utilisation des prépositions espagnoles. Notre analyse de l’enseignement et de la pratique des prépositions dans trois manuels qui s’utilisent actuellement dans les cégeps et les universités du Québec nous permet de voir que les prépositions ne se pratiquent pas assez, surtout au niveau intermédiaire. Nous proposons donc des exercices pratiques qui permettront aux étudiants de pratiquer les prépositions de manière plus efficace.

Orgodynamik als Konzept und Methode einer transpersonal orientierten Forschungs- und Lehrpraxis pädagogisch-psychologischer Bewusstseinsschulung in der Erwachsenenbildung

In der vorliegenden Dissertation geht es um die Dokumentation, theoretische Begründung und Auswertung des in 25 Jahren Praxis entwickelten Curriculums der Bewusstseinsschulung und -weitung der Orgodynamik. Dabei geht es insbesondere um den Vergleich und die forschungsorientierte Verknüpfung verschiedener Traditionen der Bewusstseinsbildung, der ihnen zugrunde liegenden Konzepte und anthropologischen Dimensionen im Schnittfeld pädagogischer, psychologischer und spiritueller Perspektiven. In Anlehnung an das von Fuhr/Dauber (2002) entwickelte Modell, der Praxisentwicklungsforschung, welche die Verflechtung von Theorie und Praxis ansteuert, wird der orgodynamische Ansatz wissenschaftlich dokumentiert und theoretisch begründet. Über eine induktive Vorgehensweise werden die historischen Wurzeln konzeptionell dargelegt, die verborgenen Paradigmen herausgearbeitet, sowie das Curriculum erläutert und ausgewertet. In einem ersten theorieorientierten Kapitel wird das orgodynamische Methodenspektrum in seinem Grundmodell und den vier zentralen Dimensionen (mentale, körperliche, emotionale, energetische Dimension) aufgezeigt und mit theoretischen Hintergrundkonzepten verglichen und verknüpft. Die vier sich überlappenden Methodengruppen der mental, körperlich, emotional und energetisch orientierten Bewusstseinsarbeit werden differenziert dargestellt und in ihrer Beziehung zueinander diskutiert. Anhand eines Modells (Methodenrad) wird die multi-dimensionale Perspektive des Methodenspektrums, in einer nichthierarchischen Zuordnung sichtbar. Im zweiten theorieorientierten Hauptteil werden zunächst die zentralen vier Paradigmen der Orgodynamik (Präsenz, Multidimensionalität, Flow/Fließendes Gewahrsein, Bezogenheit) vorgestellt, theoretisch und praxisbezogen entfaltet und in einer Paradigmen-Landkarte zueinander in Beziehung gesetzt. Dabei werden die kategorialen Ausführungen durchgehend an Praxisbeispielen veranschaulicht und im Blick auf drei vorgestellte Zugänge zur Bewusstseinsweitung (Immersion, Integration und Dekonstruktion) exemplarisch didaktisch kommentiert. Im dritten Hauptteil wird das Curriculum im Zusammenhang mit einer Auswertungsmatrix erläutert. Diese dient als Überprüfungsinstrument. Mit ihrer Hilfe werden die verschiedenen methodischen Zugangsweisen und Arbeitsformen dieses Ansatzes, exemplarisch anhand von 2 Ausbildungswochen, im Blick der Multidimensionalität dokumentiert. Damit wird diese multidimensional angelegte Praxis exemplarisch bis in methodische Details nachvollziehbar und in dialogisch-selbstreflexiver Form überprüfbar. Exemplarisch werden in einem Exkurs erste Itemvorschläge gemacht, welche die wissenschaftliche Anschlussfähigkeit an neuere Forschung im transpersonalen Bereich aufzeigen. Das innere Anliegen der vorliegenden Arbeit zeigt in der Verschränkung von Theorie und Praxis, dass die Paradigmen der Orgodynamik, Präsenz, Multidimensionalität, fließendes Gewahrsein und bewusste Bezogenheit vier pädagogisch umgesetzte Paradigmen für eine Bewusstseinserforschung in der Erwachsenenbildung sind. Stichworte: Multidimensional, Bewusstseinserforschung, Bewusstseinsweite, Präsenz, bewusste Bezogenheit, Flow/Fließendes Gewahrsein, das „Größere“, Immersion, Integration, Dekonstruktion, pädagogische Paradigmen, Erwachsenenbildung, Multidimensionales Methodenspektrum, Orgodynamik, Körpertherapie. ---------------------------

teaching timetable for psyc2021

This is the week by week timetable of classes for psyc2021 - Language and Memory

The value of using short-format podcasts to enhance learning and teaching

This paper presents the findings of a podcasting trial held in 2007-2008 within the Faculty of Economics and Business at the University of Sydney, Australia. The trial investigates the value of using short-format podcasts to support assessment for postgraduate and undergraduate students. A multi-method approach is taken in investigating perceptions of the benefits of podcasting, incorporating surveys, focus groups and interviews. The results show that a majority of students believe they gained learning benefits from the podcasts and appreciated the flexibility of the medium to support their learning, and the lecturers felt the innovation helped diversify their pedagogical approach and support a diverse student population. Three primary conclusions are presented: (1) most students reject the mobile potential of podcasting in favour of their traditional study space at home; (2) what students and lecturers value about this podcasting design overlap; (3) the assessment-focussed, short-format podcast design may be considered a successful podcasting model. The paper finishes by identifying areas for future research on the effective use of podcasting in learning and teaching.

Work less, teach better and get better feedback: why we tried innovative teaching methods

Speaker: Patrick McSweeney Organiser: Time: 15/10/2014 11:00-11:45 Location: B32/3077 Abstract Having started at Southampton in 2005 I have seen quite a few changes to the way courses are taught and studied. I will reflect on some of the interesting changes I have observed and suggest their causes. As a practical example I will talk about codestrom, a peer feedback tool for learning programming. We have found that this teaching method has improved the student experience and reduced the work load for the module team. Together we will discuss how this and other recent developments can enable other teaching innovations which benefit staff as well as students. Hopefully the new class of PhD students will be able to contribute from the point of view of having recently been undergraduate students here and else where.

Teaching listening comprehension.

Se trata de desarrollar en el aula habilidades de comprensión oral. En la primera parte se comienza por identificar y centrarse en dos cuestiones fundamentales : Qué conlleva escuchar en inglés en la vida real y qué problemas tienen los alumnos cuando se trata de escuchar en un idioma extranjero. El autor define las características de la escucha en la vida real, hace un análisis de los problemas experimentados por los estudiantes de idiomas, y discute las consideraciones que participan con éxito en la planificación de la escucha en la práctica del aula. La segunda parte contiene una variedad de ejercicios desde el nivel elemental al avanzado e ilustra las técnicas apropiadas para niños y adultos. Los ejercicios pueden ser utilizados tal como están o pueden servir de modelo para los profesores que deseen elaborar sus propios materiales. Tiene indice de actividades y bibliografía.

Pronunciation practice activities : a resource book for teaching English pronunciation.

Recurso para los profesores que buscan ideas sobre cómo se puede hacer más interesante la enseñanza de la pronunciación inglesa. Contiene una colección de actividades para una amplia gama de niveles, usando una variedad de métodos. Dividido en dos partes, la primera parte presenta información acerca de la fonética y la fonología como antecedentes de las actividades docentes. También se destacan algunos de los actuales ámbitos de debate y discusión en la enseñanza y el aprendizaje de la pronunciación en inglés. La segunda parte del libro contiene casi cien actividades divididas en ocho secciones. Va acompañado de un CD de audio como material de apoyo.