情報科学研究科平成27年度授業日程表（東京サテライト）開講期科目番号 I453G I213 I444 I447 I485F I451G I111 I114 I115 I118 I119 I120 Ⅰ I470F 期 I416 I452G I443 I455 I451H I454G I411 I468 I212 I235 I463H I414 I460H I457G I459G Ⅱ I458G 期 I216 I226 I234 I466 I211 I450H I111 I114 I115 I118 I119 Ⅲ I120 期 I459H I460G I482F I461G I232 I454H I445 I461H 授業科目名形式仕様記述（基礎）離散信号処理特論組込みソフトウェア工学データベース特論知覚情報処理特論設計モデル検証（基礎）アルゴリズムとデータ構造基礎情報数学デジタル論理と計算機構成グラフとオートマトン理論情報統計学基礎論理数学統合アーキテクチャ並列処理設計モデル検証（応用）ソフトウェア検証論情報セキュリティ応用サービス価値創造論形式仕様記述（応用）認識処理工学特論ダイナミクスのモデリング情報解析学特論ゲーム情報学特論 ITサービスアーキテクチャ論自然言語処理論Ⅱ ビジネスとエスノグラフィソフトウェアパターン並行システムの検証と実装実装モデル検証計算量の理論と離散数学コンピュータネットワーク特論ソフトウェア環境構成論国際標準化概論数理論理学サービスイノベーション論アルゴリズムとデータ構造基礎情報数学デジタル論理と計算機構成グラフとオートマトン理論情報統計学基礎論理数学デザイン戦略論性能モデル検証実践的アルゴリズム特論アスペクト指向開発情報理論サービスサイエンス論分散システム論情報産業サービス化論担当教員石川浅野岸小川・丸川鵜木吉岡・田辺・宇佐美上原 Preining 金子・井口東条赤木・[森川] 寺内田中（清）井口吉岡・田原青木面中村・香月來間小谷前園・本郷吉高飯田・池田松塚白井伊藤鷲崎・鄭・高橋初谷田辺・Artho 面・宮地丹敷田染村小川小坂・船橋・西岡上原 Preining 金子・井口東条赤木・[森川] 寺内永井長谷川(哲)・藤本・宇佐美上原鷲崎・鄭・高橋松本林・上林 Defago 神田・赤津・湯浦日程 4月 1日（水）～ 6月10日（水） 4月10日（金）～ 5月16日（土） 4月11日（土）～ 4月19日（日） 4月11日（土）～ 6月 6日（土） 4月11日（土）～ 5月31日（日） 4月12日（日）～ 5月28日（木） Web講義：配信期間4月20日～9月30日 Web講義：配信期間4月20日～9月30日 Web講義：配信期間4月20日～9月30日 Web講義：配信期間4月20日～9月30日 Web講義：配信期間4月20日～9月30日 Web講義：配信期間4月20日～9月30日 5月 9日（土）～ 5月30日（土） 5月29日（金）～ 7月31日（金） 6月 5日（金）～ 7月31日（金） 6月 7日（日）～ 8月 2日（日） 6月 7日（日）～ 8月 8日（土） 6月 8日（月）～ 6月13日（土） 6月10日（水）～ 7月29日（水） 6月12日（金）～ 8月 1日（土） 6月12日（金）～ 7月25日（土） 6月13日（土）～ 8月 2日（日） 6月13日（土）～ 8月 8日（土） 6月15日（月）～ 6月20日（土） 6月20日（土）～ 8月 8日（土） 8月 3日（月）～ 8月 8日（土） 8月25日（火）～ 10月20日（火） 8月27日（木）～ 10月15日（木） 8月28日（金）～ 10月23日（金） 9月 5日（土）～ 12月 5日（土） 9月 5日（土）～ 10月11日（日） 9月 6日（日）～ 10月 4日（日） 10月 9日（金）～ 2月 5日（金） 10月10日（土）～ 12月26日（土） 10月19日（月）～ 10月24日（土） Web講義：配信期間10月19日～3月31日 Web講義：配信期間10月19日～3月31日 Web講義：配信期間10月19日～3月31日 Web講義：配信期間10月19日～3月31日 Web講義：配信期間10月19日～3月31日 Web講義：配信期間10月19日～3月31日 11月 9日（月）～ 11月14日（土） 11月 9日（月）～ 1月18日（月） 11月 7日（土）～ 12月26日（土） 11月10日（火）～ 1月 5日（火） 12月 4日（金）～ 1月23日（土） 12月 7日（月）～ 12月12日（土） 12月12日（土）～ 2月 7日（日） 12月14日（月）～ 12月19日（土） Ⅳ 期 I236 I472F I478F I453H I473F I465H I450G I466H 論理推論と知識表現コデザインプロジェクト管理･品質管理製造業のサービス化論集積回路特論長谷川（忍）若林井澤・砂塚角金子インターネットサービスシステム論神田・山上・高橋田辺・石川・粂野・櫻庭ソフトウェア工学基礎理論マーケティング論山岡・白肌 1月 9日（土）～ 3月 5日（土） 1月 9日（土）～ 1月10日（日） 1月30日（土）～ 1月31日（日） 2月 1日（月）～ 2月 6日（土） 2月19日（金）～ 3月19日（土） 2月29日（月）～ 3月 5日（土）未定（2～3月を予定）未定（3月を予定） ※科目番号の後の記号は以下を示す。 I4xxF：コース専門講義科目 I4xxG：先端ソフトウェア工学コース（国立情報学研究所開講）コース専門講義科目 I4xxH：技術・サービス経営コース（情報科学）コース専門講義科目