Profiles and Activities : National University Corporation Fukushima University


Hiroaki Kaminaga(Professor)
Affiliated Specialty Division Division of Human Support System
Specialized Field of Study Software Engineering
Final Academic Background School of Engineering,Tohoku University
Academic Degree Doctor of Engineering (Tohoku University)

Courses In Charge

Computer Engineering
An introduction to computer system. Topics include: expression of information; logical function and circuit; computer architecture; OS; computer network.
Programming II
The grammar of C language and programming processes, such as making a source program, compiling, debugging, and running, are studied through the preparation of the C programs.
Physics II (Electromagnetism)
An introduction to electricity and magnetism. Topics include: point charges; Coulomb's law; electrostatic field and potential; Gauss' law; conductors; magnetostatics; Ampere's law; Biot-Savart law; Lorentz force; time varying fields; Faraday's law; Lenz's law; Maxwell's equations.

Main Research

Software engineering
"Software engineering" is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software. Kaminaga Lab. mainly focuses on software verification based on the methematical logic,requirements analysis,testing, etc.

Recent Writings, etc.

1. 「LOTOS仕様の効率的な等価性判定法」,電子情報通信学会論文誌Vol.J73-D-I No.2(1990.2)
2. 「ソフトウェア工学の基礎知識」,昭晃堂(1997.4)
3. 「基礎情報リテラシー」,アイ・ケイコーポレーション(2003.4)
4. "A Visual Bookmark Sharing System Considering Retrieval Scenes and Its Evaluations",Proceedings of the IEEE 21st International Conference on Advanced Information Networking and Applications(May,2007)