Profiles and Activities
Profile
|
|
||||||||||||||||
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) |