対象年度	年度	2017	期	(週1ｺﾏ)春期	開講時限	水5
開講学部・学科等	大学院
科目コード	042000500		科目ナンバー
授業名	情報通信Ⅰ
英文授業名	Information Communication Ⅰ
担当教員	守谷　哲夫

授業形態	講義
	e-learning利用		その他：
担当形態	単独
関連する授業
	当科目履修前に履修して おくことが望ましい科目
	後続関連授業
教職課程科目
テーマ・キーワード	コンピュータサイエンスの理論的基礎

授業の概要・ねらい	コンピュータサイエンスの理論的基礎として重要なさまざまの数学的概念, すなわち、コンピュータで解くさまざまな問題を数学的に定式化して議論するための概念を 学ぶ。 主なテーマは、集合、写像、関係、再帰、および言語である。
到達目標	集合、写像、論理、数学的帰納法、2項関係、言語などの基礎的知識を身につける。
教科書と準備するもの	A basis for theoretical computer science, by M.A.Arbib, A.J.Kfoury, R.N.Moll, 1981 by Springer-Verlag New York Inc.
参考書	授業中に指示
評価の基準	初歩的な集合演算、論理演算、言語の演算が自在にできる。 (80%) 単射、全射、全単射の概念の違いを正しく理解している。(80%) 再帰の概念を正しく理解している。関係、特に2項関係の概念を 正しく理解している。(80%) 以上の点について、その到達度によって評価を行う。
具体的評価方法	授業中での発言、発表　８０％ レポート　２０％　 で評価する。 平常点には、授業内での発言回数や、発言内容、受講態度、課題の提出 状況などを総合的に判断する。

授業評価アンケート フィードバック・ 受講生へメッセージ	説明の仕方を検討し、受講生の興味を引くものになるよう工夫を します。
単位互換
特記

第1回	内容	ガイダンス 授業内容全体に対する説明
	授業時間外における学修（予習・復習等）	(予習)シラバスを読んでおくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記
第2回	内容	Chapter 1 sets, Maps and Relation 1.1 sets (1)
	授業時間外における学修（予習・復習等）	(予習)教科書1.1(3ページまで)を予め読んでおくこと。疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記
第3回	内容	Chapter 1 sets, Maps and Relation 1.1 sets (2)
	授業時間外における学修（予習・復習等）	(予習)教科書1.1(6ページまで)を予め読んでおくこと。疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記
第4回	内容	Chapter 1 sets, Maps and Relation 1.1 sets (Exercises)
	授業時間外における学修（予習・復習等）	(予習)1.1のExercisesについて予め解答を試みること。疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。 。
	授業実施特記
第5回	内容	Chapter 1 sets, Maps and Relation 1.2　Exponent and series
	授業時間外における学修（予習・復習等）	(予習)教科書1.2　Exponent and seriesを予め読んでおくこと。 疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記
第6回	内容	Chapter 1 sets, Maps and Relation 1.2　Exponent and series　Exercise
	授業時間外における学修（予習・復習等）	(予習)1.2のExercisesについて予め解答を試みること。 疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記
第7回	内容	Chapter 1 sets, Maps and Relation 1.3　Maps and Relation(1)
	授業時間外における学修（予習・復習等）	(予習)教科書1.3　Maps and Relation(18ページまで)を予め読んでおくこと。 疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記
第8回	内容	Chapter 1 sets, Maps and Relation 1.3　Maps and Relation(2)
	授業時間外における学修（予習・復習等）	(予習)教科書1.3　Maps and Relation(21ページまで)を予め読んでおくこと。 疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記
第9回	内容	Chapter 1 sets, Maps and Relation 1.3　Maps and Relation(3)
	授業時間外における学修（予習・復習等）	(予習)教科書1.3　Maps and Relation(27ページまで)を予め読んでおくこと。 疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記
第10回	内容	Chapter 1 sets, Maps and Relation 1.3　Maps and Relation　Exercises
	授業時間外における学修（予習・復習等）	(予習)1.2のExercisesについて予め解答を試みること。 疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記
第11回	内容	Chapter 2 Inductuion, String and Languages 2.1Induction on Natural numbers, 2.2 The strings over an Arbitrary set
	授業時間外における学修（予習・復習等）	(予習)教科書　2.1及び2.2を予め読んでおくこと。 疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記
第12回	内容	Chapter 2 Inductuion, String and Languages 2.3 Languages and Automata
	授業時間外における学修（予習・復習等）	(予習)教科書2.3を予め読んでおくこと。 疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記
第13回	内容	Chapter 2 Inductuion, String and Languages 2.4　Context-free Grammars
	授業時間外における学修（予習・復習等）	(予習)教科書2.4を予め読んでおくこと。 疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記
第14回	内容	Chapter 2 Inductuion, String and Languages 2.5　Processing　Lists
	授業時間外における学修（予習・復習等）	(予習)教科書2.5を予め読んでおくこと。 疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記
第15回	内容	Chapter 2 Inductuion, String and Languages Exercises
	授業時間外における学修（予習・復習等）	(予習)Chapter 2のExercisesについて予め解答を試みること。 疑問点をA4のレポート用紙1枚程度にまとめておくこと。 (復習)授業で解決できなかった疑問点について整理し,不明な点をA4のレポート用紙１枚程度にまとめておくこと。
	授業実施特記