Studies on Abstract Concept Acquisition in Programming Languages for Hearing Impaired

作者提出了一种适用于听障小学生的C语言测评方法。该方法以顺序执行、条件转移和While语句循环等基本控制结构为重点，检查计算机指令的获取级别。从对听障学生和听障学生的评估结果中发现，听障学生构建问题的编程模型的能力较弱。学生倾向于学习样本程序的模式，而不是它的结构。这些对听障学生学习抽象概念的心理模型的了解，不仅有助于改进程序设计语言的教学方法，而且有助于改进数学高级抽象概念的教学方法。对于程序设计语言Hyperlogo，受函数式程序设计语言最新研究成果的影响，作者对其语法进行了重新设计。这带来了描述算法的能力和程序的可读性。根据这种新的语法，作者可以使用这种严格的数学模型来检查语言的数学计算模型，可以期望对程序的有效性进行检查和对代码进行优化。因此，Hyperlog成为一种具有丰富的语法结构、可接受的执行速度和良好的数学语义高阶能力的程序设计学习语言。

The authors developed a method of evaluation for elementary C language students of hearing impaired. The method examine acquisition level of instructions of computer focused on basic control structure such as sequential execution, conditional branch and loop by while statement. From result of the evaluation for both hearing impaired and hearing students, the authors found that hearing impaired students have less ability to construct programming models of the problem. The students have tendency to learn the patterns of the sample program rather than its structure. These knowledge of mental model of the hearing impaired students at learning abstract concepts may help improving not only educational method of programming languages but also educational method of high-level abstract concepts in mathematics.For programming language Hyperlogo, the authors re-designed its syntax influenced by the latest research result of functional programming languages. This brings abilities of describing algorithms and readability of programs. According to this new syntax, the authors may examine mathematical computation model of the language Using this strict mathematical model, validity checking of the program and optimization of the code can be expected. As the result, Hyperlog becomes programming learning language which has rich syntactic structure, acceptable execution speed and good higher-order ability which comes from mathematical semantics.