インターネット大学院カリキュラム

　　インターネット大学院の教材に御興味を持たれた皆様へ

　IT大学院の掲示板等でご案内していますように、CAIや教材には、アクセス制限を設けておりません。どうぞご自由に試用してみてください。なお、学籍番号やご氏名を入力して頂く際には、ご自分のみわかる「番号」や「ニックネーム」など、個人情報が漏れる心配の無いようなものを使用ください。当IT大学院の入試を受けられる方でしたら、受験番号をお使い頂いても結構です。

　ご自分の学習結果は記録され、その進度は　http://server1.int-univ.com/CaiSupport/　にて、ご確認頂けます。

　特に、入学をご希望の方は、入学後の学習を円滑に進めて頂くためにも、このCAI 教材などを事前に進めて頂くことを、お勧めいたします。入学後、各自の希望調査を行い、個別の学力や知識に応じて、指導教官と協議の上、学生ご本人に、受講科目を決めて頂きます。その際、上記のように事前に学習をされていれば、入学後の学習がより円滑・効果的にできるものと考えます。無論、これは強制ではなく、一般入試、社会人特別選抜試験などに資するものではありません。

　ご多忙な社会人の方々の貴重なお時間を、より有効にお使い頂くための、ご提案です。

　インターネット大学院の基本的なカリキュラムとその履修順序，これらのカリキュラムを履修することにより取得出来る読替科目について説明します．

　カリキュラムは，従来の大学に来ていただいて授業を受ける形式のものと，インターネットを用いて在宅で授業を受ける形式の２種類があります．従来の授業形式のカリキュラムは[従来のカリキュラム]をご覧ください．ここでは，インターネットにより受けることが出来るカリキュラムについて説明します．

本インターネット大学院のカリキュラムの目的は，Q&AのQ11でも説明させていただいた下記の事柄です．

　　インターネット大学院のカリキュラムの目的

(1)最低限のハード，ソフトの技術力を身につけ，簡単なＩＴ関連商品なら自分で設計製作できるようにします．

(2)また，広い情報学（ネットワークの知識，その応用法などの他，統計学やＯＲ，その他の数理的手法も含む）の教養も身につくようにします．

(3)更に，論理学などを基礎から学び，実生活への活用法を習得します．更に学ぶ意欲があれば博士課程に進学できるような，論理学的思考能力を身につけます．

(4)最後に，各自が特に学びたい分野の目標を持っていてそれが標準カリキュラムに無い場合，外部講師なども適宜依頼し，各自がその分野で自活できることを目標にして，最高の内容を学べるようにします．

履修の流れ

インターネット大学院では，様々なスキルをお持ちの方が入学されます．このため，まず目的の(1)を実現するため，下記カリキュラム表の中の「IT技術者になるための最低限の知識・技能の習得」科目をインターネット上のCAIにより履修していただきます．すでにIT技術のスキルをお持ちの方はこれらのCAIはすぐに修了されるはずです．IT関連のスキルをこれから学ばれる方にとっては，ここでじっくり学んでいただきます．

続いて，目的(2),(3)の情報学，論理学を学んでいただくために，下記カリキュラム表の中の「広義の情報学の習得」科目から，いくつかを選択して履修していただきます．なお，カリキュラムの決定は皆さんの希望の出来るだけ沿いますが，研究遂行のためにご希望以外の科目をこちらで指定させていただく場合もあります．

上記の履修以外に，目的(4)および修士論文のための研究に必要な知識習得のための講義履修があります．これは，修士論文指導を行う教官の指示で履修していただきます．

　　カリキュラムの決定方法
カリキュラムは上記の通り基本的に皆さんに履修していただくものと，相談して決定するものに分かれます．このカリキュラム決定のための予備調査を本年度中に行い，その後場合によっては電話やNetMeeting等を用いて話し合い，個別に対応して４月に決定していくことにしています．

修士論文指導教官について

修士論文指導教官についても，カリキュラム決定のための予備調査の中で皆さんのご希望をお聞きしながら決定していきます．しかし，まだ具体的な希望が無い方も大勢おられると思います．そこで，次のようにしました．

(1) 下記の５名の教官は，学生の希望があれば人数に制限を設けず指導教官になります．

　中村　八束　教授，　師玉　康成　教授、不破　泰　教授
　和崎　克己　助教授，カワモトポーリンナオミ助教授

　各教官の研究内容はＨＰをご覧ください．

(2) 指導教官を決めることが出来ない方は，暫定的に上記５名の教官のうちの誰かを指導教官とすることが可能です．この場合，１年経って２年次に進級するときに指導教官を別の教官（教官Ａ）に変えたい場合，学生本人と教官Ａとの事前協議の上で，教官Ａが受入可ということであれば指導教官を変えることもできます。

(3) 修士論文のテーマについては，大学院設置基準１６条２項と本学の規定により、「特定の課題」を修士研究とすることができます。例えば(1)であげた教官を指導教官とした場合には，「ＩＴ遠隔ホームコントローラーの製作」といった、此方で用意した課題をやって戴ければこれを修士研究とすることもできます。現時点で研究テーマが決まっていなくても安心してください．

インターネット上で受けることが出来る授業カリキュラムについて

　大学院では，大きく分けて次の４つの部門のカリキュラムを学んでいただきます．

（１）IT技術者になるための最低限の知識・技能の習得
　　　　　　（Home Controller / e-コマース）
　　　～最低限のハード，ソフトの技術力の習得、
　　　　　　　　　　　　　　　　簡単なＩＴ関連商品の開発能力の獲得～
（２）広義の情報学の習得
　　　（ネットワークの知識，その応用法などの他，統計学やＯＲ，
　　　　　　　　　　　　　　　　その他の数理的手法も含む）
（３）論理学などを基礎から学び，実生活への活用法を習得
　　　（博士課程進学可能なレベルの論理学的思考能力の習得）
（４）修士論文

各部門毎の授業カリキュラムを下表に示します．

部門	科目名	説明	担当者	読替科目名
IT技術者になるための最低限の知識・技能の習得	マイクロコンピュータ（CPU・機械語・アセンブラ)	PIC CPUを用いて，CPUの仕組みと機械語，アセンブラ言語プログラミングについて学び，シーケンスプログラムを作成する． CPUアーキテクチャーメモリ，I/Oポートタイマー命令セットアセンブラ言語プログラミング	アサノ	情報基礎特論第１情報基礎特論第２情報基礎特論第３情報システム特論第２応用情報工学第３情報システム特論第１情報メディア学特論第１知能情報特論第１知能情報特論第２知能情報特論第３知能情報特論第４プログラミング特論情報計測特論第１情報基礎演習第１情報基礎演習第２情報基礎演習第３情報基礎演習第４知能情報演習第１知能情報演習第２知能情報演習第３知能情報演習第４知能情報演習第５
	マイクロコンピュータ演習	PIC CPUを用いた簡単な回路を作成し，プログラミングの演習を行う．回路作成演習回路図の見方，部品（抵抗，コンデンサ，トランジスタ・・・）半田付け回路チェック回路ディバッグ CPUへのプログラム書き込みディバッグ（貸し出す簡易オシロスコープの利用）	アサノ不破
	情報論理学	計算機ハードウエア、ソフトウエア技術の数学的基盤の一つである論理数学を学習する。特に、命題論理、述語論理を代数理論の枠組みで展開する。	中村
	論理回路	論理回路の基礎を学び，ディジタル回路の設計が出来る能力を身につける	井澤
	C言語（基礎）	Ｃ言語の基礎を学ぶ．変数入出力条件文繰り返しファイル操作配列関数	不破
	Ｃ言語（応用）	Ｃ言語の応用を学ぶ関数とプログラム構造（１）：関数とモジュール化の基本、宣言と定義、データ引渡し関数とプログラム構造（２）：記憶域クラス、変数のスコープ、再帰、プリプロセッサポインタ構造体プログラミングツール：アセンブラ、コンパイラ、リンケージエディタ、デバッガ分割コンパイル：make、GNU autoconf & automake	和崎
	Java言語(基礎)	Java言語の基礎を学ぶ属性とメソッド，クラスとインスタンスデータ型，配列，情報隠蔽，コマンドライン引数クラスライブラリとパッケージ，例外処理，ファイル実装の継承，インタフェースの実装ネットワーキングアプレット，Webテクノロジとの連携	和崎海谷
	CGI演習 (CGI演習では実習用サーバで実際にCGIを作成していただきます．その際，UNIXを使っていただきますので，その使い方についてUNIXの使い方で説明致します．）	Perl言語を学び，CGIを用いたシステムを構築できる能力を身につける HTML基礎 CGIの仕組み Perl言語実習（ブラウザへの表示）実習（ブラウザからのデータの引き渡し）実習（ブラウザから引き渡されたデータの活用）実習（アンケート収集システムの構築）応用演習（カウンタ）	不破
	CGＩ演習（応用）	PHP言語によるＷｅｂアプリケーション開発について学ぶ．	新村
	Linux入門	Linuxインストール Web，Mail,，FTPサーバ構築運用	山崎
	UNIX基礎	UNIXの基本的考え方とその操作方法について学ぶ	海谷
	情報通信ネットワーク (Webコンテンツでは，教科名は「コンピュータネットワーク」になっています．)	この授業では，コンピュータネットワークのプロトコルの話をします．プロトコルは通信を成り立たせるルールです．ここではこのルールの考え方を説明し，さらにその考え方がなぜ必要なのか，何をねらっているのかを説明します．この授業を受けた後，皆さんが自分でプロトコルが考えられるようになることがねらいです．プロトコルの階層化通信方式物理層の規格データ伝送制御方式データ伝送制御手順	不破
	コンピュータネットワーク（本コンテンツは，ネットワーク技術者養成教育プログラム開発委員会により作成されたもので，同委員会の了解を得てＩＴ大学院で使用しています．）	コンピュータネットワークの基本的考え方を学ぶ． OSI７階層モデル通信方式同期方式データ伝送制御（ポーリング，トークン，ＣＳＭＡ／ＣＤ）誤り制御プロトコル（基本型データ伝送制御手順，ＨＤＬＣ）	山崎
	データベース，SQL	データベースの基礎を学び，ＳＱＬを用いたデータベース操作が出来る能力を身につける．	海尻
IT技術演習	IT技術演習	PIC CPU＋ネットワークインターフェースキット（PICNIC）を用いたホームセキュリティシステムを作成する．　ここで作成するホームセキュリティシステムとは，家屋やビルのドアの開閉状態や室温を、遠隔地からチェックできるようにするものである。また、PICNICの出力を遠隔から制御することにより、接続された機器の電源などの入り切りを行う。　データの制御には、PICNICのファームウェアに実装された簡易Webサーバ機能を利用して行う。ユーザからはwebブラウザもしくはhttpのGETメソッドを発行できるクライアントを利用して操作する。	不破和崎
広義の情報学の習得	グラフ理論	無向と有向 Valance and Degree Chain, Path, CIrcuit Eiler Circuit Cut Edge, Tree, Rank ２色グラフ，ペトリネットカラーペトリネット	中村
	暗号理論（整数論）	整数の合同フェルマーの小定理と公開暗号鍵方式	中村
	情報セキュリティ特論 New!	ネットワーク社会の基礎となるセキュリティ技術について，暗号技術とその応用技術を中心に論じるセキュリティ概論暗号技術概論具体的な暗号技術暗号を用いたセキュリティ技術整数の合同フェルマーの小定理と公開暗号鍵方式	不破
	状態機械論	状態機械の定義出力と初期状態状態機械のソフトによる実現状態機械の論理回路による実現	中村
	集合論	論理学の知識をベースにして数学の構造を理解し、集合、写像の概念を学ぶ。	中村
	集合論演習	公理的集合論を題材に，Mizarと呼ばれる数学証明の自動チェックシステムを用いて，「証明法」についての演習を行う。	師玉
	代数学	二項代数、半群、モノイド群，環，多項式環，ブール環，ブール多項式環イデアル，商環，多項式環の商環，ブール多項式環の商環	中村
	ブール代数	ブール代数系の学習を通して，情報工学に現われる代数的構造の取り扱いと，その数理的処理に習熟する。ブール代数の公理集合代数ブール代数の諸定理ストーンの同型定理	師玉
	オートマトンと言語理論	有限オートマトンプッシュダウンオートマトン正規文法文脈自由文法	山本
	計算理論	計算量の理論，アルゴリズム理論に関する以下の項目について講義する．チューリング機械，ランダムアクセス機械時間計算量，領域計算量決定可能性完全問題	山本
	プログラミング言語特論	構文解析、特にｙａｃｃ，ｌｅｘの使い方および、ＵＭＬを使ったオブジェクト指向設計法について、実習を中心に学ぶ。　プログラミング言語（Ｃ）、UNIXの利用経験があること、またある程度のサイズのソフトウェアを作成した経験があることが前提となる。	海尻
	ソフトウェアプロセス論	プログラム開発における規模・スケジュール見積り，品質管理を10個の連続したプログラム開発を通して実習する．これによって，自分の生産プロセスを自分で制御し，契約された品質のものを契約通りの予算と期間で作ることが可能となる．	海谷
	Protocol Verification (I)	並列プロセスのモデル化、プロセス並列合成、Basic/Full-LOTOSについて講述し、toolbox を用いたプロトコル検証の演習を行う。	和崎
	符号理論（誤り訂正符号等）	情報ネットワークにおける符号理論について，誤り訂正符号を中心に論じる. ハミング距離パリティ符号ハミング符号	不破
	パターン認識と学習	パターン認識（パターン識別）への応用を中心に以下の項目について講義を行なう。 Bayesの定理（統計的パターン識別の初歩）確率密度関数の推定線形識別関数（パーセプトロン、Fisher's Linear Discriminant）非線形識別関数（ニューラルネットワーク、Radial Basis Function）パラメータ最適化アルゴリズム汎化とＶＣ次元 support vector machineとその応用（文字認識、顔画像認識etc） boostingとその応用（文書識別etc）	丸山
	ニューラルネットワーク論	階層型ニューラルネットワークの数理と応用法を理解し，実際の工学に現われる最適化問題に適用できるようにする。パーセプトロン階層型ニューラルネットワーク BP法,最小化問題，近似問題	師玉
	ニューラルネットワーク応用	パターン認識分野へのニューラルネットワークの適用方法を下記の２つの例を通して学ぶ。曲線の曲がり具合(屈曲度)の判定音符の構成規則に基づいた符頭と旗の判定	宮尾
	情報理論	情報を数学的に扱い、効率よく表現したり、伝送したりするための理論情報理論とは？確率論情報源符号化情報源符号各種情報量通信路の符号化符号理論	アサノ
	離散時間システム	離散動的システムの数学表現を習得し，それによる系の挙動の定量的・定性的理解が可能になるようにする。状態方程式行列の対角化とジョルダンの標準形同値変換の系可制御性可観測性ケーリー・ハミルトンの定理不変部分空間カルマンの分解	師玉
	Optimization	最適化の数理と方法を理解し，実際の工学に現われる最適化問題に適用できるようにする。線形計画問題非線形計画問題整数計画問題ネットワーク最適化問題ゲーム理論	師玉
	工学と微積	複雑な関数の微分微分と速度（ベクトルの微分）多変数関数の微分1 多変数関数の微分2 複雑な関数の積分パラメータ表示関数の積分多重積分線積分・ベクトルの積分テーラー展開簡単な微分方程式偏微分方程式ラグランジェの乗数法	中村
	線形代数	行列の演算（実数・複素行列の演算、有限体上の行列演算）行列式固有値、固有ベクトル行列の対角化、ジョルダン標準形線形空間、線形写像、基底その他	師玉酒井
	公理体系	命題論理命題論理の公理系述語論理述語論理の公理系導出原理	師玉
	確率論	事象確率条件付き確率・同時確率マルコフ連鎖モーメント分散関数・確率密度関数同時確率分布各種分布関数（正規分布，二項分布，一様分布，ポアッソン分布）大数の法則	中村
論理学などを基礎から学び，実生活への活用法を習得	情報証明論　　ミラー　（旧　情報論理学）	ポーランドで開発されたMizarと呼ぶ数理言語を学び，これを用いて論理学の活用を実践的に学ぶ	中村
論理学などを基礎から学び，実生活への活用法を習得	Mizar Lecture New!	本授業では， Mizar と呼ぶ数学の証明をコンピュータが検証するシステムを用いて，数学の証明を厳密に行う訓練をします．左欄にリンクが張られているページをごらん頂き，そこに記載のLecrure 1,2,3を学んでください．そして，Excersisesを使って練習をしてください．　Mizarについては，師玉教官による講義ノートも参考になります．ここに記載されている「Mizarによる証明記述法：掲示板」をよく読んでください．　単位の認定は，後日師玉教官より課題が「掲示板＃０」に出ますので，この課題をやって頂くことで認定します．	Artur
修士研究	修士論文	指導教官と相談の上、各自が学びたい分野を中心としてテーマを決め、2年間を通じて研究を行う		修士論文

カリキュラムの履修順序について

　上に挙げた各カリキュラムは，例えばカリキュラムＡを履修するためには前提としてカリキュラムBの履修が終わっていることといった相互の関係を持っています．この関係を下図に示します．
　ただし，実際のカリキュラム履修の順番については，指導教官とよく話し合った上で決定してください．

＊読替科目について
　インターネットで学んでいただくカリキュラムは，従来の授業のカリキュラムの枠にとらわれず幅広い分野を用意しています．また，その科目名は授業の内容を表すわかりやすい名称としています．しかしながら，大学院修了のために必要な単位科目としては，従来の授業名称の科目でなければなりません．このため，指導教官の裁量でインターネット上の科目名を従来の授業科目名に読み替える処置を行います．読替科目とは，この読替可能な科目のことです．つまり，指導教官と相談してインターネット上の科目を修了することで，ここで示す読替科目の単位を取得できます．