Hisaharu Tanaka

Opengate on OpenFlow: System Outline

Open gate is a user authentication gateway system for network in the environment opened to public. This system has been operating for controlling the campus-wide open network in Saga University since 2001. In this research, we propose to implement hOpengateh onto next-generation network hOpen Flowh and show how to distribute the load by access.

An implementation of a remote blackboard presenter system for remote lessons in conventional blackboard based style with rich media environment

We have developed a remote blackboard presenter system. The system works with the Digital Video Transfer System (DVTS). The system enables capturing, automatic transmitting and automatic presentation of high-quality images of a blackboard for the blackboard based lessons. In this paper, we described details of the system.

The Simple and Compact Remote Telescope System

A remote telescope is a remote controllable astronomical telescope system via the Internet. There were already several remote telescope systems. However, all such systems are big and special ones. We have developed a simple and compact remote telescope system. We used a commercial Vixen equatorial telescope, a compact CCD video camera and a small Linux box for the new remote telescope. It is easy to carry and install the remote telescope.

Formal Proofs for Automata and Sticker Systems

We implemented operations appeared in the theory of automata using the Coq proof-assistant. A language which contains infinite elements is defined using ssreflect (a Small Scale Reflection Extension for the Coq system). We also implemented the modules for sticker systems. Paun and Rozenberg introduced a concrete method to transform an automaton to a sticker system in 1998. One of our aims is to present formal proofs of the correctness of their transformation. We modified some of their definitions to improve their insufficient results. We note that all of our formulation are written in Coq and we show some examples of machine-checkable proofs.

Development of a Field Work Type Topographical Map Experiential Learning Support System

We have developed a field work type topographical map learning support system using mobile terminals. Our system is a field work type system that learners move around a set up multiple check points. They enable to learn topographical map at each check point. Features are points which learners can answer characteristic quizzes according to check points about a topographical map on places. Moreover, learners can receive advices from teachers and find situations of other learners by server communication. We expect these motivate learners.

A tele-control project over IPv6 in technical high schools

In this project, technical high school students try to develop tele-control systems such as robot, an electronic fan, small model house and so on over the IPv6 environment. During the project, the students can touch and explore one of the latest technologies. All students looked interested in IPv6. We believe the technical high school students are expected to play important role in the coming ubiquitous stage. Our project demonstrates an example of education to establish ubiquitous world.