Katsunori Miura

Learn More
In large classes, teachers find it difficult to care about the personality and ability of individual students. One of the ways to grasp the learning state of students is to conduct a number of short tests during every class. If a system can automatically give the appropriate instructions and teaching materials to individual students based on the test(More)
All students (about 1000) at Sapporo Gakuin University are required to take a Computer Literacy course. At Hokkaido University, we teach courses, such as AI Programming, with approximately 100 students. By using automatic marking systems of our own design we can check student work and obtain the results immediately. It reduces our labor, enables us to grasp(More)
— In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and computation consists in successive reduction of problems by rule application. As long as meaning-preserving rewriting rules, called ET rules, with respect to given background(More)
— In the Equivalent Transformation (ET) computation model, a program is constructed by the successive accumulation of ET rules. A method by meta-computation by which a correct ET rule is generated has been proposed. Although the method covers a broad range in the generation of ET rules, all important ET rules are not necessarily generated. Generation of(More)
  • 1