平成15年度授業科目概要
専 門 科 目
情報量、エントロピー、情報源符号化、画像圧縮、JPEG、MPEG
情報量、エントロピー、情報源符号化、画像圧縮、JPEG、MPEG
共通鍵暗号系、アクセス制御、セキュリティモデル、公開鍵暗号系
通信路のモデル化、線形符号、復号操作、実用的な符号
有限オートマトン、文脈自由言語、計算可能性、チューリング機械
並列計算モデル、基本的な並列アルゴリズム、P完全性、分散アルゴリズム
組合せ回路の設計、算術演算回路、順序回路の設計、ハードウェアの設計検証
コンピュータの設計とテスト、システムオンチップの設計とテスト
データベース理論、分散システムとミドルウェア
計算量理論、ランダム計算モデル、項型計算モデル、並行計算モデル
計測技術、計測信号の解析法、画像情報の解析法、画像情報の生成法
計測技術、計測信号の解析法、画像情報の解析法、画像情報の生成法
画像計測、画像処理、センシングシステム、AD・DA変換
音声言語学、音声分析・合成、音声認識、HMMによる遺伝子解析
音声言語学、音声分析・合成、音声認識、HMMによる遺伝子解析
実環境での音声認識、音声分析合成、音声規則合成、マルチモーダルインタフェース
知識の表現、述語論理、帰納学習
探索アルゴリズム、知識表現と推論、機械学習
画像認識、画像理解システム、知的画像処理
自然言語の形態素解析、構文解析、文法理論、意味論
ソフトウェア計算モデル、プログラミングパラダイム、プロセス間通信のプログラミング
ソフトウェア設計、ソフトウェア分析/設計法、オブジェクト指向、協調分散型ソフトウェア
ソフトウェア保守、コード解析、利用プロセスの計測、ソフトウェア開発管理支援
関係データベース、XMLとデータベース、データベースの論理設計/物理設計、情報検索
コンピュータネットワーク、階層型プロトコル、データリンク技術、通信プロトコル
プロトコルの概念と階層、大規模高速ネットワーク、サーバ/クライアントモデル、マルチメディア通信システム
無線通信システム、移動通信システム、無線LAN、ディジタル放送、無線伝搬路特性
情報通信ネットワーク、交換システム、公衆通信網とインターネット、次世代ネットワーク
最小2乗法、静的な最適化問題、動的システムの最適化、最適フィルタリング
最小2乗法、静的な最適化問題、動的システムの最適化、最適フィルタリング
通信ネットワークのモデリング、通信トラヒック理論、トラヒックモデリング
ダイナミカルシステムのモデリング、線形システム解析、線形制御系理論
非線形システム制御理論、H \制御理論、最適レギュレータ
パターン認識・理解、ディジタル画像処理、統計的パターン識別、コンピュータビジョン
知能ロボット、マニピュレーション、センシング、プラニング
ユーザーインターフェース、コンピュータインタラクション、バーチャルリアリティ
小脳の内部モデル、視覚の計算理論、報酬の予測と行動学習、情報と利己的遺伝子、メディア進化論
微生物ゲノムの構造、ゲノム配列決定、トランスクリプトーム解析、質量分析法
構造生物学の実験的方法、細胞内シグナル伝達、相互作用の特異性、構造変化と分子機能制御
データベースモデル、XMLとデータベース、データマイニング、生命情報データベース
ゲノム進化学、ヒト遺伝学、生命システム解析
統計的学習理論、遺伝子・タンパク質機能解析、神経細胞・脳機能のモデル
生体イメージング、分子・細胞イメージング
HMMによる配列解析、グラフ理論と遺伝子ネットワーク、蛋白質の局在予測、ゲノム創薬
情報科学の基礎・応用について最新の話題に関連したテーマを選び、本学内あるいは学術研究都市内等の民間企業で実習を行う。
プログラミング演習:C言語によるプログラミングを習得するための(演習を中心とした)実習。
「先端情報科学特論」では、情報科学分野の先端的・タイムリーなテーマに関して講義する。
基 礎 科 目
アルゴリズムとデータ構造、探索、ソーティング、グラフアルゴリズム、マッチング
コンピュータの構造、動作原理、ブール代数、組合せ回路、順序回路
オペレーティングシステム、CPUスケジューリング、主記憶の管理、仮想記憶、入出力、ファイルシステム、言語処理系、OS
情報理論、計算機の構造、プログラミング言語、オペレーティングシステム、UNIXの基礎
細胞を構成する分子、遺伝情報、細胞の構築、細胞のダイナミクス
遺伝子配列解析、相同性解析と比較ゲノム、構造ゲノム、遺伝子発現解析
科学における規範の問題、倫理学、生命倫理学、環境倫理学
論文執筆の諸相、文の連携、パラグラフの展開、Abstract
アセンブル演習、BLASTファミリー演習、モチーフ解析、遺伝子発現解析演習
一 般 科 目
行列、固有値、固有ベクトル、抽象ベクトル空間、Taylor展開、微積分、ベクトル空間、Fourier展開
フーリエ解析とラプラス変換、微分方程式、複素解析
確率空間、期待値とモーメント、確率変数と分布の収束、確率的シミュレーション
数の性質、集合・写像・関係、順列と組合せ、漸化式
英語コミュニケーション能力の養成
科学技術論文作成能力の養成
英語研究発表と討論能力の養成
考古学における考古資料の数量化分析・遺跡遺物の整理・管理等へのコンピュータ(情報処理)の導入・ソフトの開発論を教授、研究していく。
精神と身体(特に脳神経系)がどのような関係にあるのかという心身問題に関する最近の学説を検討する。
ベンチャーズインフラ、ビジネス構築の実際、ベンチャ企業経験者による体験談、ビジネスゲームによるベンチャ企業の疑似体験研修、学生ベンチャ企業体験者数名によるパネル討論、ベンチャ企業見学、簡易事業計画書の作成、ビジネスプランの発表
知的財産権、特許の基礎知識から権利取得まで、保護領域の拡大−ソフトウェアの保護(特許・著作権)−
国際標準(グローバルスタンダード)、工業標準を巡る国際環境、標準化の意義、標準行政の現状、標準化の課題及び国際標準の動きと日本の対応等、情報技術分野における標準化の動向についての具体的事例
情報技術者として備えておくべき倫理と法について講義する。
計算機利用講習
履修単位は付かないが希望者全員を対象としてXウィンドウを用いた文書の作成・編集と電子メールのやり取りをEmacsLaTeXを利用して行なえるようにする。