On being a PhD student of Robert Harper

The Robert Harper Festschrift includes articles by three of Bob’s students and colleagues—Karl Crary, Andrzej Filinski, and Jonathan Sterling. Each of these articles touches on themes that are central to Bob’s research: module system design, proof-directed program development, and (to use Bob’s term) “computational trinitarianism”. In this foreword to the Festschrift, we have additionally compiled reminiscences of Bob Harper from his PhD students. We invited them to reflect on their experiences working with and learning from Bob. We believe these reminiscences, presented in chronological order of dissertation date, deliver a most fitting tribute to Bob in honor of his 64th birthday.

Organization of training based on a system-activity approach in obtaining secondary general education

The teaching and methodological manual presents theoretical and practical aspects of the implementation of the system-activity approach in obtaining secondary general education, materials for conducting classes and self-study within the module "System-activity approach as a methodological basis of the Federal State Educational Standard of General Education" under the program "Achieving meta-subject educational results of students by means of teaching academic subjects". For teachers and trainees of the advanced training system, senior teaching staff and teachers interested in the implementation of the system-activity approach in educational activities.

Prototype Automation of Air Conditioning Treatment in the Grinding Area Aneka Cocoa Based on IoT

A good work environment will affect the level of productivity of workers in a company. The operation of the refrigeration machine in the cocoa powder grinding area is very important in production. The indicators for the operation of the cooling machine are dust density, ambient temperature and wind speed. With control on the indicator will increase efficiency. In this study, the indicator is controlled with a GP2Y1010AUF0F dust sensor, a DHT22 temperature sensor, a DS18B20 sensor, and a wind speed sensor as sensor inputs. Furthermore, the sensor will be processed by the Node M CU ESP826 module. System output will be displayed on LED and android. The results of this study indicate the accuracy of the dust sensor is 96.12%, the DHT22 temperature sensor is 99.80%, the DS18B20 temperature sensor is 99.57% and the speed sensor is 95.89%. In this prototype, we can monitor the temperature of the air velocity of dust particles in the engine and the temperature of the engine cooler together and closely monitored.

Graceful Language Extensions and Interfaces

<p>Grace is a programming language under development aimed at education. Grace is object-oriented, imperative, and block-structured, and intended for use in first- and second-year object-oriented programming courses. We present a number of language features we have designed for Grace and implemented in our self-hosted compiler. We describe the design of a pattern-matching system with object-oriented structure and minimal extension to the language. We give a design for an object-based module system, which we use to build dialects, a means of extending and restricting the language available to the programmer, and of implementing domain-specific languages. We show a visual programming interface that melds visual editing (à la Scratch) with textual editing, and that uses our dialect system, and we give the results of a user experiment we performed to evaluate the usability of our interface.</p>

Graceful Language Extensions and Interfaces

<p>Grace is a programming language under development aimed at education. Grace is object-oriented, imperative, and block-structured, and intended for use in first- and second-year object-oriented programming courses. We present a number of language features we have designed for Grace and implemented in our self-hosted compiler. We describe the design of a pattern-matching system with object-oriented structure and minimal extension to the language. We give a design for an object-based module system, which we use to build dialects, a means of extending and restricting the language available to the programmer, and of implementing domain-specific languages. We show a visual programming interface that melds visual editing (à la Scratch) with textual editing, and that uses our dialect system, and we give the results of a user experiment we performed to evaluate the usability of our interface.</p>

MODULE SYSTEM AND TOOLS FOR DEVELOPING WRITING SKILLS OF LAW STUDENTS

A module system, one of the biggest institutional factors of the educational system, and under this system, the main objective is to investigate the factors of the development of students' writing skills, to give them a worthy assessment and to develop important conclusions within the framework of scientific research. This article provides information on the most used module system today and the factors behind the development of writing skills in it. Today, the introduction of a module system into the educational system, through which, using various advanced pedagogical technologies, along with the progress in the educational system, is able to demonstrate the mistakes and shortcomings that are being made, improving writing skills, speech activity, communicative competence of students studying in the legal direction remains one of the biggest requirements. The evaluation of students’ writing skills in English, as well as other foreign languages, the improvement of this system with the help of modern methods are among the most important tasks. The constant increase in the English language proficiency, writing and communicative competence of students, especially students of law educational institutions, as well as the most important system of their assessment is more important than ever. Their specific methodological basis, in the process of studying alternative methods and options for evaluation, it should be noted that for language learners, students, those who want to acquire a certain specialty, the assessment is based on the work carried out, requiring the performance of authentic tasks with the application of oral or written communication skills. And the writing speech is a manifestation of oral speech in the form of a graphic image, and the psychophysiological connotations of oral speech are preserved in the form of written speech.

FUNDAMENTALS OF EXPANSION OF EDUCATIONAL SUBJECTS IN THE CREDIT-MODULE SYSTEM OF TEACHING

The article analyses the basics of teaching the expansion of subjects in the credit-modular system of education.