科目名 情報科学講究X
単位数 2.0
担当者 教授 井上 智生
履修時期 前期
履修対象 1、2、3年次
講義形態 講義
講義の目的 コンピュータ技術、ネットワーク技術、それらの融合技術及び運用技術分野において高度な専門的知識・技能・能力を身につける。
到達目標 (1) 課題を正確に理解し、論理的に説明できる。
(2) 課題の内容を適切に把握し、その課題を解決するため、従来の研究結果等を解析、活用することができる。
(3) 従来の研究結果等に基づいた論証を適切に展開でき、適切な結果が導き出せる。
受講要件 特になし
履修取消の可否
履修取消不可の理由
事前・事後学修 教員より適宜個別に指示する。
講義内容 高度情報化社会において、コンピュータシステムによるサービスを安全で安心して利用できる (ディペンダブル 頼りになる)ことは必要不可欠である。しかしながらその実現は、コンピュータシステムが高機能化・複雑化するにつれて困難となっている。本講義では、特に、今日のコンピュータシステムの基本構成要素の 1 つである大規模集積回路 (LSI) の設計に着目し、ディペンダブルな LSI の設計法に関する講述、研究指導を行う。
期末試験実施の有無 実施しない
評価方法・基準 研究活動と発表により総合的に評価する。
教科書等 教員より適宜個別に指示する。
担当者プロフィール 明治大学大学院工学研究科博士前期課程修了。明治大学大学院工学研究科博士後期課程中退。奈良先端科学技術大学大学院情報科学研究科助手、広島市立大学情報科学部助教授を経て、現在に至る。
講義に関連する実務経験 1990年4月-1992年3月 松下電器産業株式会社 (現パナソニック株式会社)
     半導体研究センターに勤務 マイクロプロセッサの開発に従事
課題や試験に対するフィードバック 教員より適宜個別に指導を行う。
アクティブ・ラーニング
キーワード ディペンダブル・コンピューティング、信頼性、安全性、フェール・オペラビリティ、ユーザビリティ
備考