Reception of Pascal in the history of sciences...

In particular computer science and technologies. With references to the history of philosophy and the social sciences

Computers and philosophy. A proof of infinity in the XVII th century.

"When we think of the origins of computers we think of...

Constructionist Attempts at Supporting the Learning of Computer Programming: A Survey

Although programming is often seen as a key element of constructionist approaches, the research on learning to program through a constructionist strategy is somewhat limited, mostly focusing on how to bring the abstract and formal nature of programming languages into \u201cconcrete\u201d, possibly tangible objects, graspable even by children with limited abstraction power. We survey the literature in programming education and analyse some programming languages designed to help novices from a constructionist perspective

Introducing Computational Thinking in K-12 Education: Historical, Epistemological, Pedagogical, Cognitive, and Affective Aspects

Introduction of scientific and cultural aspects of Computer Science (CS) (called "Computational Thinking" - CT) in K-12 education is fundamental. We focus on three crucial areas. 1. Historical, philosophical, and pedagogical aspects. What are the big ideas of CS we must teach? What are the historical and pedagogical contexts in which CT emerged, and why are relevant? What is the relationship between learning theories (e.g., constructivism) and teaching approaches (e.g., plugged and unplugged)? 2. Cognitive aspects. What is the sentiment of generalist teachers not trained to teach CS? What misconceptions do they hold about concepts like CT and "coding"? 3. Affective and motivational aspects. What is the impact of personal beliefs about intelligence (mindset) and about CS ability? What the role of teaching approaches? This research has been conducted both through historical and philosophical argumentation, and through quantitative and qualitative studies (both on nationwide samples and small significant ones), in particular through the lens of (often exaggerated) claims about transfer from CS to other skills. Four important claims are substantiated. 1. CS should be introduced in K-12 as a tool to understand and act in our digital world, and to use the power of computation for meaningful learning. CT is the conceptual sediment of that learning. We designed a curriculum proposal in this direction. 2. The expressions CT (useful to distantiate from digital literacy) and "coding" can cause misconceptions among teachers, who focus mainly on transfer to general thinking skills. Both disciplinary and pedagogical teacher training is hence needed. 3. Some plugged and unplugged teaching tools have intrinsic constructivist characteristics that can facilitate CS learning, as shown with proposed activities. 4. Growth mindset is not automatically fostered by CS, while not studying CS can foster fixed beliefs. Growth mindset can be fostered by creative computing, leveraging on its constructivist aspects

Hienojakoiset staattiset pääsyrajoitteet Java-ohjelmien osien eristyneisyyden takaajina

Java-kielessä ohjelmaelementti voi olla saatavissa kaikkialla, vain aliluokissa sekä esittelevässä pakkauksessa, vain esittelevässä pakkauksessa tai vain esittelevässä luokassa. Saatavuustasojen jaottelua voidaan pitää karkeana. On olemassa tapauksia, joissa ohjelmaelementin saatavuuden täytyy olla laajempi kuin saatavuuden todellinen tarve vaatisi. Seurauksena abstraktioiden sisäiset toteutusyksityiskohdat ovat näkyvissä laajemmalle kuin on tarpeen, mikä yleensä johtaa ohjelman sisäisten riippuvuuksien lisääntymiseen heikentäen sen modulaarisuutta. Optimaalisen saatavuuden mahdollistamiseksi esitän ratkaisuksi kytkettävää pääsynvalvontaa. Se soveltaa kytkettävien tyyppijärjestelmien ideaa pääsynvalvontaan. Kytkettävä tyyppijärjestelmä on ohjelmointikielestä erillinen staattinen tyyppijärjestelmä, jonka toteutus on kytkettävissä tarpeen mukaan ohjelmointikieleen valinnaisena laajennoksena. Tutkielmassa esitän suunnitelmat kytkettävästä pääsynvalvontajärjestelmästä pääsymääreineen sekä kytkettävän pääsynvalvontakehyksen toteutuksesta Javalle. Osoitan kytkettävän pääsynvalvonnan mahdollistavan optimaalisen saatavuuden soveltamalla suunnittelemaani pääsynvalvontajärjestelmää tapauksiin, joissa Javan pääsynvalvontajärjestelmä osoittautuu karkeaksi. Kytkettävän pääsynvalvontakehyksen suunnitelman pohjalta rakennettu prototyyppi osoittaa ratkaisun olevan käytännössä toteutettavissa. Suunnitellut pääsymääreet hyödyntävät monipuolisesti erilaisia saatavuusperusteita. Yksinkertaisen perusarkkitehtuurin ansiosta eri pääsymääreiden yhteiskäyttö on ongelmatonta. Kytkettävä pääsynvalvonta osoittautuu ilmaisuvoimaiseksi ja valinnaisuutensa ansiosta joustavaksi välineeksi täydentämään ohjelmointikielen omaa pääsynvalvontaa