Noriaki Yoshimasa

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this study, we propose a tiny Lisp system that runs on an embedded education board. Before learning embedded programming with C, students used a Lisp system in order to get used to the control of the devices on the hardware. Through a three-week class, novice students was able to write programs such as a roulette game and a robot arm controller.
An extended telephone system to avoid a phone fraud was introduced by Yamamoto et al. In this study, we prove that the extended telephone system is equivalent to the original telephone system at a level of abstraction. We conduct an automatic proof with the Alloy analyzer. After describing specifications of telephone systems in I/O-automaton, we translate(More)
  • 1