Hisaharu Tanaka

According to our database, Hisaharu Tanaka authored at least 12 papers between 1997 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Formalization of proofs using relational calculus.

Yoshihiro Mizoguchi, Hisaharu Tanaka, Shuichi Inokuchi

Proceedings of the 2016 International Symposium on Information Theory and Its Applications, 2016

2013

Formal Proofs for Automata and Sticker Systems.

Hisaharu Tanaka, Issei Sakashita, Shuichi Inokuchi, Yoshihiro Mizoguchi

Proceedings of the First International Symposium on Computing and Networking, 2013

Development of a WiFi Users' Information Indicating System with AR.

Kenzi Watanabe, Masatoshi Imai, Hisaharu Tanaka, Makoto Otani

Proceedings of the Seventh International Conference on Complex, 2013

Development of Network User Authentication System Using OpenFlow.

Shohei Yamashita, Hisaharu Tanaka, Yoshiaki Hori, Makoto Otani, Kenzi Watanabe

Proceedings of the 2013 Eighth International Conference on Broadband and Wireless Computing, 2013

Development of Lecture Videos Delivery System using HTML5 Video Element.

Hiroki Mori, Hisaharu Tanaka, Yoshiaki Hori, Makoto Otani, Kenzi Watanabe

Proceedings of the 2013 Eighth International Conference on Broadband and Wireless Computing, 2013

2012

Opengate on OpenFlow: System Outline.

Mitsuhiro Suenaga, Makoto Otani, Hisaharu Tanaka, Kenzi Watanabe

Proceedings of the 2012 Fourth International Conference on Intelligent Networking and Collaborative Systems, 2012

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

Takaaki Fukuda, Hisaharu Tanaka, Kenzi Watanabe, Yasuhisa Okazaki

Proceedings of the 2012 Third International Conference on Emerging Intelligent Data and Web Technologies, 2012

Development of Geographical Location Estimation System for WiFi Users in Campus.

Kenzi Watanabe, Hisaharu Tanaka, Makoto Otani

Proceedings of the Sixth International Conference on Complex, 2012

2010

The Simple and Compact Remote Telescope System.

Kenzi Watanabe, Makoto Otani, Hisaharu Tanaka, Masami Okyudo

Proceedings of the CISIS 2010, 2010

2004

A Tele-Control Project over IPv6 in Technical High Schools.

Yusuke Takamori, Kouta Tsukamoto, Takatoshi Nakamura, Shigenori Yamada, Toshihide Yamashita, Takafumi Suetsugu, Toshihiko Ogata, Masaaki Mizoguchi, Ryuichiro Nishimura, Makoto Otani, Hiroyuki Egashira, Hisaharu Tanaka, Kenzi Watanabe, Hiroki Kondo

Proceedings of the 2004 Symposium on Applications and the Internet Workshops (SAINT 2004 Workshops), 2004

2002

An Implementation of a Remote Blackboard Presenter System for Remote Lessons in Conventional Blackboard Based Style with Rich Media Environment.

Kenzi Watanabe, Norihiko Sumi, Toyonori Aimori, Makoto Otani, Hisaharu Tanaka, Yasuhisa Okazaki, Toshihiro Hayashi, Hiroki Kondo

Proceedings of the International Conference on Computers in Education, 2002

1997

Global Educational Database on The WWW(World-Wide Web) and Its Application in School.

Masatoyo Ohshima, Yasuhisa Okazaki, Hisaharu Tanaka, Hiroki Kondo, Hiroshi Nokita, Hidekatsu Hara, Hirofumi Momii, Kenzi Watanabe

Proceedings of WebNet 97, 1997