ホーム > 大学院版 > 情報理工学系研究科

Home > Graduate > Information Science and Technology

情報理工学系研究科 Information Science and Technology

Codesort Course Titlesort Lecturersort Semestersort Week/Periodsort
4810-1103
自然言語処理システム論
Advanced Natural Language Processing
相澤 彰子
Akiko Aizawa
A1A2 月曜2限
Mon 2nd

単位 Credit:2
教室 Room: 理7号館 214号室 Faculty of Science Bldg.7 Room#214
講義使用言語 Language:日本語 Japanese
4810-1109
計算機言語システム論
Computation Languages Systems
小林 直樹
Naoki Kobayashi
A1A2 火曜2限
Tue 2nd
計算機言語システム論

計算モデル、型システムなどのプログラミング言語の基礎理論と、その言語処理系、プログラム検証などへの応用について、最新のトピックを交えながら解説する。今年度は特に、並行計算モデルに焦点を当て、並行計算の代表的なモデルであるCCS、π計算をとりあげ、操作的意味、仕様記述のための様相論理、検証手法(双模倣、モデル検査、型システム)、セキュリティプロトコルへの応用などについて概説する。

単位 Credit:2
他学部 Other Faculty:可 YES
教室 Room: 理7号館 214号室 Faculty of Science Bldg.7 Room#214
講義使用言語 Language:日本語 Japanese
4810-1111
アルゴリズム論
Algorithmics
今井 浩
Hiroshi Imai
S1S2 木曜3限
Thu 3rd

単位 Credit:2
他学部 Other Faculty:可 YES
教室 Room: 理7号館 007号教室 Faculty of Science Bldg.7 Room#007
講義使用言語 Language:日本語 Japanese
4810-1123
GIF-CS5023L1
計算生物物理
Computational Biophysics
清水 謙多郎
Kentaro Shimizu
S1 月曜2限
Mon 2nd
計算生物物理

バイオインフォマティクスおよび計算生物物理の最新のトピックスのいくつかについて、それらの理論と応用を理解する。

単位 Credit:1
他学部 Other Faculty:可 YES
教室 Room: 農学部2号館 化学第3講義室 Faculty of Agriculture Bldg.2 Lecture Room No.3,Faculty of Agriculture
講義使用言語 Language:日本語 Japanese
4810-1130
メディア情報学
Multimedia Interface
五十嵐 健夫
Takeo Igarashi
A1A2 木曜2限
Thu 2nd
メディア情報学 (Media Informatics)

HCI(human-computer-interaction)分野の最近の論文を輪講形式で読む。 HCIの 最近のトピックスに関する見識を深めるとともに、英語の論文読解、発表・議論 の訓練を行う。

単位 Credit:2
他学部 Other Faculty:可 YES
教室 Room: 理7号館 007号教室 Faculty of Science Bldg.7 Room#007
講義使用言語 Language:日本語 Japanese
4810-1132
ゲノム機能情報解析特論
Information Analysis for Functional Genomics
中井 謙太
Kenta Nakai
S1S2 水曜2限
Wed 2nd
ゲノム機能情報解析特論

授業の目標・概要*必須 (Course Objectives/Overview) 多細胞生物の個々の細胞は各々がその個体全体に関する生物学的全情報(ゲノム情報)を保有しているが、その情報はDNAの分子構造(塩基配列)という形で記録され、そこに構造情報が遺伝暗号によって記載された種々のタンパク質が主要な生命現象を司っている。本講義は、ゲノム情報とはいかなるもので、どのような情報がどのような形で書かれているのか、ゲノムの塩基配列やタンパク質のアミノ酸配列・三次元立体構造からどこまで機能情報が読み取られているのか、などの疑問に、なるべく予備知識を要求しないで答えていくことで、受講者にゲノム情報のコンピュータ解析(バイオインフォマティクス)の入門的な理解を与えることを目標としている。

単位 Credit:2
他学部 Other Faculty:可 YES
教室 Room: 理7号館 214号室 Faculty of Science Bldg.7 Room#214
講義使用言語 Language:日本語/英語 Japanese/English
4810-1142
プログラミング代数特論
Algebra of Programming
高野 明彦
A1A2 金曜2限
Fri 2nd

単位 Credit:2
他学部 Other Faculty:可 YES
教室 Room: 理7号館 007号教室 Faculty of Science Bldg.7 Room#007
講義使用言語 Language:日本語 Japanese
4810-1149
配列解析アルゴリズム特論
Algorithms for Sequence Analysis
渋谷 哲朗
Tetsuo Shibuya
S1S2 木曜4限
Thu 4th

単位 Credit:2
他学部 Other Faculty:可 YES
教室 Room: 理7号館 007号教室 Faculty of Science Bldg.7 Room#007
講義使用言語 Language:日本語 Japanese
4810-1166
量子計算論
Introduction to Quantum Computation
Raymond Rudy
S1S2 金曜5限
Fri 5th
Quantum Computing

This course gives introduction to the theory and applications of quantum computing. The course covers broad topics ranging from the basics of quantum mechanics and quantum algorithms (e.g., the Shor’s prime factorization and the Grover’s search) to recent advances of algorithms for noisy intermediate-scale quantum devices as well as their possible applications in machine learning and optimization. The course also introduces how to implement quantum algorithms using open-source framework of quantum computing.

単位 Credit:2
他学部 Other Faculty:可 YES
教室 Room: 理7号館 214号室 Faculty of Science Bldg.7 Room#214
講義使用言語 Language:英語 English
4810-1169
戦略ソフトウェア特論
Strategic Software
稲葉 真理
Mari Inaba
S1S2 火曜3限
Tue 3rd

単位 Credit:2
他学部 Other Faculty:可 YES
教室 Room: 理7号館 214号室 Faculty of Science Bldg.7 Room#214
講義使用言語 Language:日本語 Japanese

open allclose all

この結果をMIMA Searchで可視化する

1-10 / 211 Results

Pagetop

マイリストを使うと、自身が興味を持つ科目をチェックできます。 チェックした科目は随時マイリストを開くことにより確認できます。 マイリストを使うためにはログインをしてください。 You can store courses which you are interested in into My List. You can view them at any time by opening My List page. Please sign in in order to use mylist.

Googleアカウントを使ってログイン
Sign in with Google account
Twitterアカウントを使ってログイン
Sign in with Twitter account