信州大学信州大学ホーム 

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

お問い合せ

教材システム

作成教材一覧に戻る

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

ジャンル:>情報工学

画面写真 科目名:Protocol Verification(I)
担当:和崎克己
日本語版英語版中国語版
並列プロセスのモデル化、プロセス並列合成、Basic/Full-LOTOSについて講述し、toolbox を用いたプロトコル検証の演習を行う。

ジャンル:>情報工学

画面写真 科目名:ソケットプログラミング
担当:不破泰
日本語版英語版中国語版
この演習では、UNIXソケットを使用したネットワークプログラミングの作成方法について、実際にプログラムを作成しながら学習 します。ソケットというのは、コンピュータのネットワーク上のアドレスであるIPアドレスと、そのIPアドレスにおける補助アドレスであるポート番号の組合せの事です。そして、通信プログラムから見ると、このソケットはプログラムと外のネットワークとをつなぐ端点となります。
通信プログラムは、このソケットに対するデータのやりとりを記述することで完成します。
演習では、ソケットプログラミングに必要な基本的な概要と基礎を学び、その後実際に幾つかのソケットプログラムを作成します。演習を受講するにあたり、プログラミングはC言語とUNIXソケットインタフェースを使用するため、LinuxやMacOSといったUNIX系の開発環境が必要です。
また、 C言語の知識とコンピュータネットワークの知識が必要です。

ジャンル:>情報工学

画面写真 科目名:IT技術演習 -PICNIC-
担当:和崎克己
日本語版英語版中国語版
PIC CPU+ネットワークインターフェースキット(PICNIC)を用いたホームセキュリティシステムを作成する。
ここで作成するホームセキュリティシステムとは,家屋やビルのドアの開閉状態や室温を、遠隔地からチェックできるようにするものである。また、PICNICの出力を遠隔から制御することにより、接続された機器の電源などの入り切りを行う。
データの制御には、PICNICのファームウェアに実装された簡易Webサーバ機能を利用して行う。ユーザからはwebブラウザもしくはhttpのGETメソッドを発行できるクライアントを利用して操作する。

ジャンル:>情報工学

画面写真 科目名:IT技術演習 -FPGA演習-
担当:新村正明
日本語版英語版中国語版
FPGAによるシステム開発とコンピュータアーキテクチャの実装を,独自CPUの設計を例に実習する.

ジャンル:>情報工学

画面写真 科目名:IT技術演習 -IP電話-
担当:國宗永佳
日本語版英語版中国語版
VoIPを実現するために必要なプロトコル(SIP, RTP)を用いて、組込コンピュータ上でIP電話端 末プログラムの作成を行う。

ジャンル:>情報工学

画面写真 科目名:HDL入門
担当:新村正明
日本語版英語版中国語版
Verilog HDLによるシステム記述とFPGAによる実装の基礎について学習する.

ジャンル:>情報工学

画面写真 科目名:データベース ユニバーサルデザイン化アイコン
担当:海尻賢二
日本語版英語版中国語版
データベースの基礎を学び、SQLを用いたデータベース操作が出来る能力を身につける。

ジャンル:>情報工学

画面写真 科目名:画像処理
担当:岡本正行
日本語版英語版中国語版
各種画像処理で用いられる手法と理論的背景を理解する。また実習を通して画像処理アルゴリズムのプログラミングを行い、処理手法をソフトウェアで実現する手法を習得する。

ジャンル:>情報工学

画面写真 科目名:コンピュータグラフィクス
担当:丸山稔
日本語版英語版中国語版
本授業では3次元コンピュータグラフィックス技術の基礎を学ぶ。コンピュータグラフィクス(CG)は、リアルな3次元物体の映像をコンピュータを用いて作成するための技術であり、映画・ゲームなどの娯楽映像分野のみならず、医学、教育訓練等の分野、また、人間とコンピュータとのインタフェースのための要素技術としても重要である。

ジャンル:>環境工学

画面写真 科目名:環境工学
担当:北澤君義
日本語版英語版中国語版
ページトップへ戻る

工学系5

ジャンル:>情報工学

画面写真 科目名:公理体系(院)
担当:師玉康成
日本語版英語版中国語版
以下の事柄について学習する。
  • 命題論理
  • 命題論理の公理系
  • 述語論理
  • 述語論理の公理系
  • 導出原理

ジャンル:>情報工学

画面写真 科目名:確率論(院) ユニバーサルデザイン化アイコン
担当:中村八束
日本語版英語版中国語版
以下の事柄について学習する.
  • 命題論理
  • 命題論理の公理系
  • 述語論理
  • 述語論理の公理系
  • 導出原理

ジャンル:>情報工学

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

ジャンル:>情報工学

画面写真 科目名:コンピュータネットワーク(院)
担当:山崎浩
日本語版英語版中国語版
コンピュータネットワークの基本的考え方を学ぶ。
  • OSI7階層モデル
  • 通信方式
  • 同期方式
  • データ伝送制御(ポーリング、トークン、CSMA/CD)
  • 誤り制御
  • プロトコル(基本型データ伝送制御手順、HDLC)

ジャンル:>情報工学

画面写真 科目名:ニューラルネットワーク(院)
担当:師玉康成
日本語版英語版中国語版
階層型ニューラルネットワークの数理と応用法を理解し、実際の工学に現われる最適化問題に適用できるようにする。
  • パーセプトロン
  • 階層型ニューラルネットワーク
  • BP法、最小化問題、近似問題

ジャンル:>情報工学

画面写真 科目名:計算理論 (院)
担当:山本博章
日本語版英語版中国語版
計算量の理論、アルゴリズム理論に関する以下の項目について講義する。
  • チューリング機械、ランダムアクセス機械
  • 時間計算量、領域計算量
  • 決定可能性
  • 完全問題
ページトップへ戻る

作成教材一覧に戻る

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