• ソフトウェアの品質やテスト・レビューなどの検証技術についての基礎知識を必要とする方，業務等で実践はしているが，より体系的，俯瞰的な理解を必要とする方．

• ソフトウェア開発における検証工程の役割と意義を理解する
• ソフトウェアの品質とディペンダビリティ，ディペンダビリティを達成するための開発・検証技術について理解する
• テスト技法，テストケース設計，カバレッジなどの概念を理解する

• ソフトウェア検証技術の基礎
• ソフトウェア品質とディペンダビリティ
• ソフトウェアの動的検証
• ソフトウェアの静的検証

• 授業への取り組みと理解度確認のための小テストによって評価する

• 27,500円（税込）
  （HEPT コンソーシアム会員は受講料が異なります．お申し込み画面で会員であることを選択してください．不明点はお問い合わせください．）

-

• ソフトウェア・ネットワーク・物理プロセスのダイナミクスを一体として捉えて，科学的方法に基づいて組込みシステムのモデリングをする予定のある方，または将来的に業務への展開予定がある方．

• 組込みシステムの特性を説明できる．
• 組込みシステムの構成を理解している．
• 組込みシステムの振舞いのモデリング・設計方法について知っている．

• 連続系，離散系，ハイブリッドシステム
• 状態機械の合成
• 並行計算
• プロセッサ，メモリ，IO

• 授業への取り組みと修了テストによって評価する．

• Lee, E.A. and Seshia, S.A.: Introduction to Embedded Systems ? A Cyber-Physical Systems Approach,available from 〈http://LeeSeshia.org〉.

• 27,500円（税込）
  （HEPT コンソーシアム会員は受講料が異なります．お申し込み画面で会員であることを選択してください．不明点はお問い合わせください．）

-

• 安全にデータを管理・利用するための手法とその原理に興味がある方．

1. 情報セキュリティに関する基礎的事項を理解している．
2. データベースにおける代表的なプライバシ保護技術を理解している．
3. 暗号化データベースとその要素技術、実現のための課題について知っている．

• 情報セキュリティの基礎（暗号，認証技術など）
• データベースにおけるプライバシ保護
• 暗号化データベース

• 授業への取り組みと，演習成果物の完成度により評価する．

• 岡本栄司「暗号理論入門第2版」共立出版(2002)
• 森山大輔，西巻陵，岡本龍明「公開鍵暗号の数理」共立出版 (2011)
• 光成滋生「クラウドを支えるこれからの暗号技術」秀和システム(2015)
• 佐久間淳「データ解析におけるプライバシー保護」講談社 (2016)
• 菊池浩明，上原哲太郎「ネットワークセキュリティ」オーム社 (2017)
• 石原靖哲，清水將吾「データベースと情報検索」数理工学社 (2018)

• 27,500円（税込）
  （HEPT コンソーシアム会員は受講料が異なります．お申し込み画面で会員であることを選択してください．不明点はお問い合わせください．）

-

• 分散システムの設計や運用を行う予定のある方，または将来的に業務への展開予定がある方や，その原理に興味がある方．

• ネットワークプロトコル参照アーキテクチャの役割を説明できる．
• クライアントサーバや，サービス指向アーキテクチャについて説明できる．
• RPC を使ったプロセス間通信の仕組みや，分散オブジェクトの仕組みを理解し，分散アプリケーションの開発を実施できる．
• クラウドコンピューティングの概念を理解する．
• クラウドインフラを利用し，構築と運用に必要な要素技術を理解する．

• 分散システムの概念
• プロトコル，通信，要素機能
• クラウドコンピューティングの概念
• クラウド基盤上でのサーバ構築
• ソケットプログラミング，RPC プログラミング
• サーバサイドプログラミング，Web サービス開発

• 授業への取組みと，演習成果物の完成度により評価する．

• アンドリュー・S.・タネンバウム (著) 「分散システム-原理とパラダイム」 ピアソン・エデュケーション
• 水野 忠則 (監修) 「分散システム（未来へつなぐデジタルシリーズ）」 共立出版

• 27,500円（税込）
  （HEPT コンソーシアム会員は受講料が異なります．お申し込み画面で会員であることを選択してください．不明点はお問い合わせください．）

-

• IoT収集データを分析するための基盤ソフトウェアに興味がある方や構築方法に興味がある方 ．

• IoT デバイスからセンサデータを収集する仕組みを理解できる．
• 収集したデータを分析するための基盤を構築できる．
• 収集したデータに対する簡単な分析プログラムを記述できる．

• IPネットワークの知識を有することが望ましい．
• 「分散システムとクラウド技術」を受講していることが望ましい （必須ではない）
• クラウドに関する概念や，ネットワークプログラミングの基礎知識を有していることを前提とする．

• IoT デバイスの構成，組み立て
• 分散システム基盤を利用したセンサデータ収集・蓄積
• 取得データ分析演習

• 授業への取組みと，演習成果物の完成度により評価する．

• 27,500円（税込）
  （HEPT コンソーシアム会員は受講料が異なります．お申し込み画面で会員であることを選択してください．不明点はお問い合わせください．）

-