信州大学信州大学ホーム 

現代的教育ニーズ取組支援プログラム(現代GP)信州発“学び”のビッグバンプロジェクト

お問い合せ

教材システム

作成教材一覧に戻る

ユニバーサルデザイン化アイコン ・・・ユニバーサルデザイン化された教材
工学系1

ジャンル:情報工学>基礎

画面写真 科目名:集合論
担当:中村八束
日本語版英語版中国語版
論理学の知識をベースにして数学の構造を理解し、集合、写像の概念を学ぶ。

ジャンル:情報工学>基礎

画面写真 科目名:集合論演習
担当:師玉康成
日本語版英語版中国語版
公理的集合論を題材に、Mizarと呼ばれる数学証明の自動チェックシステムを用いて、「証明法」についての演習を行う。

ジャンル:情報工学>基礎

画面写真 科目名:代数学
担当:中村八束
日本語版英語版中国語版
以下の事柄について学習する。
  • 二項代数、半群、モノイド
  • 群、環、多項式環、ブール環、ブール多項式環
  • イデアル、商環、多項式環の商環、ブール多項式環の商環

ジャンル:情報工学>基礎

画面写真 科目名:ブール代数
担当:師玉康成
日本語版英語版中国語版
ブール代数系の学習を通して、情報工学に現われる代数的構造の取り扱いと、その数理的処理に習熟する。
  • ブール代数の公理 ・集合代数
  • ブール代数の諸定理
  • ストーンの同型定理

ジャンル:情報工学>基礎

画面写真 科目名:線形代数 ユニバーサルデザイン化アイコン
担当:師玉康成、酒井雄二
日本語版英語版中国語版
以下の事柄について学習する。
  • 行列の演算(実数・複素行列の演算、有限体上の行列演算)
  • 行列式
  • 固有値、固有ベクトル
  • 行列の対角化、ジョルダン標準形
  • 線形空間、線形写像、基底
  • その他

ジャンル:情報工学

画面写真 科目名:公理体系
担当:師玉康成
日本語版英語版中国語版
以下の事柄について学習する。
  • 行列の演算(実数・複素行列の演算、有限体上の行列演算)
  • 行列式
  • 固有値、固有ベクトル
  • 行列の対角化、ジョルダン標準形
  • 線形空間、線形写像、基底
  • その他

ジャンル:情報工学

画面写真 科目名:情報論理学
担当:中村八束
日本語版英語版中国語版
ポーランドで開発されたMizarと呼ぶ数理言語を学び、これを用いて論理学の活用を実践的に学ぶ。

ジャンル:情報工学

画面写真 科目名:情報理論
担当:アサノ・デービッド
日本語版英語版中国語版
情報を数学的に扱い、効率よく表現したり、伝送したりするための理論
  • 情報理論とは?
  • 確率論
  • 情報源符号化
  • 情報源符号
  • 各種情報量
  • 通信路の符号化
  • 符号理論

ジャンル:情報工学

画面写真 科目名:確率論 ユニバーサルデザイン化アイコン
担当:中村八束
日本語版英語版中国語版
以下の事柄について学習する。
  • 事象
  • 確率
  • 条件付き確率
  • 同時確率
  • マルコフ連鎖
  • モーメント
  • 分散関数
  • 確率密度関数
  • 同時確率分布
  • 各種分布関数(正規分布、二項分布、一様分布、ポアッソン分布)
  • 大数の法則

ジャンル:情報工学

画面写真 科目名:グラフ理論
担当:中村八束
日本語版英語版中国語版
以下の事柄について学習する。
  • 無向と有向
  • Valance and Degree
  • Chain、Path、CIrcuit
  • Eiler Circuit
  • Cut Edge、 Tree、Rank
  • 2色グラフ、ペトリネット
  • カラーペトリネット

ジャンル:情報工学

画面写真 科目名:Optimization(学部)
担当:師玉康成
日本語版英語版中国語版
最適化の数理と方法を理解し,実際の工学に現われる最適化問題に適用できるように する。
  • 線形計画問題
  • 非線形計画問題
  • 整数計画問題
  • ネットワーク最適化問題
  • ゲーム理論

ジャンル:情報工学

画面写真 科目名:パターン認識と学習
担当:丸山稔
日本語版英語版中国語版
パターン認識(パターン識別)への応用を中心に 以下の項目について講義を行なう。
  • Bayesの定理(統計的パターン識別の初歩)
  • 確率密度関数の推定
  • 線形識別関数(パーセプトロン、Fisher's Linear Discriminant)
  • 非線形識別関数(ニューラルネットワーク、Radial Basis Function)
  • パラメータ最適化アルゴリズム
  • 汎化とVC次元
  • support vector machineとその応用(文字認識、顔画像認識etc)
  • boostingとその応用(文書識別etc)

ジャンル:情報工学

画面写真 科目名:離散時間システム
担当:師玉康成
日本語版英語版中国語版
離散動的システムの数学表現を習得し、それによる系の挙動の定量的・定性的理解が可能になるようにする。
  • 状態方程式
  • 行列の対角化とジョルダンの標準形
  • 同値変換の系
  • 可制御性
  • 可観測性
  • ケーリー・ハミルトンの定理
  • 不変部分空間
  • カルマンの分解

ジャンル:情報工学

画面写真 科目名:暗号理論(整数論)
担当:中村八束
日本語版英語版中国語版
  • 整数の合同
  • フェルマーの小定理と公開暗号鍵方式

ジャンル:情報工学

画面写真 科目名:符号理論(誤り訂正符号等)
担当:不破泰
日本語版英語版中国語版
情報ネットワークにおける符号理論について、誤り訂正符号を中心に論じる。
  • ハミング距離
  • パリティ符号
  • ハミング符号
ページトップへ戻る

作成教材一覧に戻る

信州大学ホーム イベント予定環境マインド・教育研究・GP&COE信大人百科キャンパスフォトライブラリー附属病院附属図書館
個人情報の保護情報公開のご案内このサイトについてシンボルマークについて
Copyright (C)2006 Shinshu University All rights reserved.