| ソフトウェアサイエンス概論Ｉ
[ GB11001 ] Introduction to Software and Computing Science 1 |
対象：1学年 | ||
| 第２学期 | 金２ (3A403) | 1単位 | 担当教員：井田哲雄, 北川高嗣, 櫻井鉄也, 亀山幸義 |
| 週 | 講義内容 |
|---|---|
| 第1週 | ソフトウェアサイエンスの位置付け
（担当： 亀山幸義）
ソフトウェアサイエンスの歴史，考え方， 学問分野としての位置付けについて解説する． |
| 第2週 | 統合智と感性智
(担当： 北川高嗣)
今までの情報科学は， 分析智と論理智を重視してきた． 情報通信技術は，他分野に大きな影響を与え， 技術基盤のみならず，産業基盤， 社会基盤となりつつある．全ての人々が， コミュニケーションの手段として， マスメディアに代わる情報検索・獲得の手段として， コンピュータネットワークを使うようになった． このパラダイムシフトの担い手としての情報科学の側面， メタレベルシステムとKansei(感性)情報処理について 概説する． |
| 第3週 | メディアの進化と新しい情報環境の可能性
(担当： 北川高嗣) 昨今のWEB2.0に総称される Blog，SNS を契機とした CGM (Consumer Generated Media)は， 全く新しい世界の見え方を提供しつつある． 一見漠然としたWEB2.0の実体をグローバル・ イノベーションの観点から整理し， WEB2.0の後に来るもの， 特に携帯端末を機軸としたモバイルネットワークと 自動認識技術を基礎としたユビキタスコンピューティン グが， 創り出しつつある新たな情報環境の有様を概観する． |
| 第4週 | 数理モデリングとアルゴリズム
(担当：櫻井鉄也） 実世界の多様な現象を記述するためのモデリングと， デジタル処理のための離散化や近似手法について 概説する．また，数理的なアルゴリズムを コンピュータ上で実行するために 便利なプログラム言語や可視化ツール， MathMLやLaTeXによる数理ドキュメントの検索や 記述などについても紹介する． |
| 第5週 | 計算科学とシミュレーション
(担当：櫻井鉄也） 計算科学は理論科学， 実験科学に次ぐ第３の科学として注目されている． そこではコンピュータを用いた大規模計算が 重要な役割を果たす． バイオインフォマティクス，ナノシミュレーション， 素粒子物理，自動車の振動解析， Webページのランキングなど大規模問題が現れる例を 示し，そこで用いられているアルゴリズムや 計算手法などを紹介する． |
| 第6週 | WWW と HTML (担当： 井田哲雄)
WWW (World-Wide Web) の歴史，考え方， 原理について実例をまじえて解説する．また， WWW ページの記述言語である HTML を例にとり， データ構造とは何かについて解説する． |
| 第7週 | JAVAと AJAX (担当： 井田哲雄)
プログラミング言語として JAVA言語を取り上げ，アプレットを利用した ウェブプログラミング，AJAX について解説する． |
| 第8週 | ソフトウェアの仕様と正しさ (担
当： 亀山幸義) ソフトウェアの正しさとは何か を考えた後，ソフトウェアの仕様記述と検証の手法につ いて述べる．キーワード： 要求仕様，仕様記述，正当 性，検証． |
| 第9週 | プログラム言語と型システム
(担当： 亀山幸義) 現代のプログラム言語における型システムについて述べ， 型システムを利用したソフトウェアの信頼性向上 について解説する．キーワード： データ型とデータ構造，型検査と型推論， プログラムの静的検査． |
| 第10週 | オートマトンとモデル検査(担当：
亀山幸義) オートマトンなどの状態遷移系による情報システムのモ デル化と， モデル検査法によるシステム検証の手法について 述べる．キーワード： 有限オートマトン、モデル検 査，状態爆発問題，抽象化，時相論理． |