1 線形代数学. 2 履修にあたって 電子情報システム学科 必修 2005 年度１セメスタ開講 担当 草苅良至 （電子情報システム学科） 教官室： G I 511 内線： 2095 質問等は上記のいずれかに行なうこと。 注意計算用のノートを準備すること。

統計学 第３回 西山. 第２回のまとめ 確率分布＝決まっている分布の 形 期待値とは平均計算 平均＝合計 ÷ 個数から卒業！ 平均＝割合 × 値の合計 同じ平均値でも 同じ分散や標準偏差でも.
第1章 場合の数と確率 第1節　場合の数 　2　 場合の数　（第2回）.
数理統計学　　第９回 西山.
第1章 場合の数と確率 第1節　場合の数 　3　 順列　（第3回）.
１ 正の数・負の数 ２章　正の数・負の数の計算 §１　正の数・負の数の加法 　　　・減法　　（８時間）
統計解析 第7回 第6章 離散確率分布.
離散数学入門 （集合論、ベン図） 情報システム学科 中田豊久.
第1章 場合の数と確率 第1節　場合の数 　3　 順列　（第1回）.
計算技術研究会 C言語講座 第３回 Loops (ｆｏｒ文　ｗｈｉｌｅ文）.
統計学　　第７回 西　山.
ファジィ論理と ファジィ構造モデリング 北海道工業大学 情報デザイン学科 三田村　保.
３ 二次方程式 １章　二次方程式 §２　二次方程式と因数分解 　　　　　　　　（３時間）.
第１回 担当：　西山 統計学.
第1章 場合の数と確率 第1節　場合の数 　2　 場合の数　（第1回）.
プログラミング 平成２４年１０月２３日 森田　彦.
３ 一次関数 １章　一次関数とグラフ §３　一次関数の式を求めること 　　　　　　　　　（３時間）.
データ構造とアルゴリズム論 第４章 レコード構造を使った処理－クラスの利用
C言語　配列 2016年　吉田研究室.
統計学 オリエンテーション　　 担当：　西山.
論理式の表現を数学的に取り扱いやすくするために代数学の助けを借りる.
数理統計学　　第８回 第2章のエクササイズ 西山.
数理統計学　　第８回 西山.
香川大学工学部 富永浩之 情報数学１ 第2-1章 合同式の性質と計算 香川大学工学部 富永浩之
４ 関数 y＝ax 2 １章　関数とグラフ §３　関数 y＝ax 2 の値の変化 　　　　　　　　（５時間）
統計学　　第６回 西山.
本時の目標 正の数・負の数の加法と減法の混じった計算のしかたを理解し、その計算ができるようにする。
１ 式の計算 １章　式の計算 §２　単項式の乗法・除法 　　　　　　　　（２時間）.
プログラミング 平成２５年１２月１０日 森田　彦.
数理論理学　第11回 茨城大学工学部情報工学科 佐々木　稔.
数理統計学 第4回 西山.
形式言語とオートマトン Formal Languages and Automata 第４日目
2. 論理ゲート と ブール代数 五島 正裕.
述語論理と∀（全称）∃（存在） ３回の講義の概観： 命題論理 （真理値） （公理と推論規則） 述語論理 （モデルと解釈）
述語論理と∀（全称）∃（存在） ３回の講義の概観： 命題論理 （真理値） （公理と推論規則） 述語論理 （モデルと解釈）
第1章 場合の数と確率 第1節　場合の数 　2　 場合の数　（演習）.
ディジタル回路 2. ブール代数 と 論理ゲート 五島 正裕.
第５回 今日の目標 §１．６ 論理演算と論理回路 ブール代数の形式が使える 命題と論理関数の関係を示せる
ネットワークプログラミング論 平成28年10月31日 森田　彦.
データ構造とアルゴリズム論 第４章 レコード構造を使った処理－クラスの利用
データ構造とアルゴリズム論 第３章 ファイルを用いたデータ入出力２
数理論理学　第3回 茨城大学工学部情報工学科 佐々木　稔.
　２ 文字の式 １章　文字を使った式 §１　数量を文字で表すこと 　　　　　　　　（３時間）.
　２ 文字の式 １章　文字を使った式 §４　式の計算 　　　　　　　　（４時間）.
第2章　教材開発の方法 第２節　三種類の自作テキスト教材 　　２.　一斉授業プログラム 教科書32-39頁の解説です.
数理統計学 西　山.
ネットワークプログラミング論 平成２８年１２月１９日 森田　彦.
数理統計学 オリエンテーション　　 担当：　西山.
プログラミング言語論 第１０回 練習問題解答例 情報工学科　篠埜　功.
ねらい「二次方程式の解き方を理解する。」
計算の理論 I ε-動作を含むNFA 月曜３校時 大月 美佳.
９．通信路符号化手法１ （誤り検出と誤り訂正の原理）
3-1 指令格式 2019/4/25 第3章 MCS-51指令分析.
計算の理論 I ー閉包性ー 月曜３校時 大月 美佳.
データ構造とアルゴリズム論 第４章 レコード構造を使った処理－クラスの利用
モデル検査（５） CTLモデル検査アルゴリズム
電気回路学I演習 2012/11/16 (金) I1 I2 問1 Z0 V1 V2 問2 I1 I2 V1 Z0 V2 Z,Y,K行列の計算
論理回路 第４回
データ構造とアルゴリズム (第5回) 静岡大学工学部 安藤和敏
統計学　　第９回 西　山.
第14回 前半：ラムダ計算（演習付） 後半：小テスト
論理回路 第5回
香川大学創造工学部 富永浩之 情報数学１ 第2-1章 合同式の性質と計算 香川大学創造工学部 富永浩之
情報コミュニケーション入門b 第９回 表計算ソフト入門（３）
数値解析　第6章.
課題　１.
計算の理論 I ー 正則表現 ー 月曜３校時 大月 美佳.
計算の理論 I ー ε-動作を含むNFA ー 月曜３校時 大月 美佳.
立命館大学 情報理工学部 知能情報学科 谷口忠大
プログラミング 平成２８年１０月１８日 森田　彦.