キーワード
採択課題等実績
| 氏名（ふりがな） | 川久保 和雄 （かわくぼ かずお） |
| 所属 | 経営学科 |
| 職名 | 教授 |
| kawakubo | |
| 学歴 | 1975.3. 京都大学工学部情報工学科卒業 |
| 1977.3. 京都大学大学院工学研究科修士課程情報工学専攻修了 | |
| 1983.12. 米国 カリフォルニア大学ロサンゼルス校大学院計算機科学研究科修士課程修了 | |
| 学位・資格 | 1977.3. 工学修士 |
| 1983.12. 計算機科学修士 | |
| 略歴 | 1977.4. 日本国有鉄道入社 |
| 1979.4. 同 鉄道技術研究所信号研究室研究員 | |
| 1985.3. 同 同 信号通信研究室主任研究員 | |
| 1986.4. 福山大学助教授(工学部) | |
| 2009.4. 福山平成大学教授(経営学部) | |
| 2017.4. 福山平成大学副学長・経営学部長 | |
| 所属学会 | 電子情報通信学会、情報処理学会、中四国商経学会 |
| 専門分野 | 情報工学、経営情報学 |
| 研究テーマ | コンピュータシステムの高信頼化 |
| 論理設計の形式的検証 | |
| 研究テーマの キーワード | 計算機工学 フォールトトレランス 高信頼性 |
| 主な授業科目 | コンピュータ入門、経営学演習 |
| 主な学内役職・委員 | 副学長 |
| 経営学部長 | |
| 入試委員長 | |
| 社会活動 | 福山市廃棄物減量等推進審議会委員 |
| 共同研究・科研費 採択課題等実績 | |
| その他の実績 | |
| webページのURL | |
| 更新日時 | 2018/05/25_15:18:47 |
| 1 | 著者 | Kazuo Kawakubo, Koji Tanaka, Hiromi Hiraishi | ||||
| 論文題目 | Formal Verification of Totally Self-Checking Properties of Combinational Circuits | |||||
| 掲載誌 | IEICE Transactions on Information and Systems | |||||
| 巻,号,頁 | Vol.E-80-D, No.1,pp.57-62 | 発行年月 | 1997.1 | |||
| 2 | 著者 | Kazuo Kawakubo, Koji Tanaka, Hiromi Hiraishi | ||||
| 論文題目 | Formal Verification of Self-Testing Properties of Combinational Circuits | |||||
| 掲載誌 | Proceedings of the 5th IEEE Asian Test Symposium | |||||
| 巻,号,頁 | pp.119-122 | 発行年月 | 1996.11 | |||
| 3 | 著者 | Kazuo Kawakubo, Hiromi Hiraishi | ||||
| 論文題目 | An Application of Regular Temporal Logic to Verification of Fail-Safeness of a Comparator for Redundant System | |||||
| 掲載誌 | IEICE Transactions on Information and System | |||||
| 巻,号,頁 | Vol.E-76-D,No.7、pp.763-770 | 発行年月 | 1993.7 | |||
| 4 | 著者 | Kazuo Kawakubo, Hiromi Hiraishi | ||||
| 論文題目 | Formal Verification of Fail-Safeness of a Comparator for Redundant System Using Regular Temporal Logic | |||||
| 掲載誌 | Proceedings of the 1st IEEE Asian Test Symposium | |||||
| 巻,号,頁 | pp.2-7 | 発行年月 | 1992.10 | |||