課程
横断型教育プログラム
共通授業科目
学部・研究科
学年
学期
時限
曜日
講義使用言語
実務経験のある教員による
授業科目
分野
授業カタログとは 授業カタログとは
JP EN
課程
横断型教育プログラム
共通授業科目
学部・研究科
学年
学期
時限
曜日
講義使用言語
実務経験のある教員による
授業科目
分野
HOME 検索結果
学内で開催されるオンライン授業の情報漏えい防止のため,2020年4月4日以降は授業カタログの更新を見合わせています
計算機言語論
詳細を見る MIMA Search
プログラムの自動検証の理論について講義を行う.特に,高階モデル検査という発展的話題を通して,形式言語理論やプログラミング言語理論がプログラム検証にどう応用されるのかの理解することを目標とする.
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
0510083
FSC-IS4083L1
計算機言語論
小林 直樹
S1
月曜3限
マイリストに追加
マイリストから削除
言語情報処理I[学際言語科学コース]
詳細を見る MIMA Search
・Python既習者を対象に,Pythonを用いて統計学の基礎を学びます。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
08C1516
FAS-CA4G15S1
言語情報処理I[学際言語科学コース]
川崎 義史
S1 S2
水曜5限
マイリストに追加
マイリストから削除
計算機構成論
詳細を見る MIMA Search
情報科学はコンピュータの上に成り立っており、高度な情報システムの実現には、コンピュータそのものの構成と動作原理を理解することが重要である。本講義では、マイクロプロセッサ(CPU)やメモリ等のハードウェア・回路の動作原理と、それらの機能をソフトウェア階層に提供するための命令セットアーキテクチャ等の抽象...
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
0510019
FSC-IS3019L1
計算機構成論
高前田 伸也
S1 S2
金曜2限
マイリストに追加
マイリストから削除
言語処理系論
詳細を見る MIMA Search
プログラムをコンピュータで実行するための言語処理系について、特にプログラムを機械語コードに翻訳するコンパイラを中心に学ぶ。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
0510015
FSC-IS3015L1
言語処理系論
小林 直樹
S1 S2
木曜2限
マイリストに追加
マイリストから削除
計算言語学
詳細を見る MIMA Search
本講義では、計算言語学あるい自然言語処理と呼ばれる研究分野の基礎を扱い、特に、計算機を用いて多様な言語現象をどのようにモデル化するか、また、モデル化した結果を利用して、様々な言語処理応用をどのように実現するかに焦点を当てて、体系的な知識を身につけることを目的とする。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
4840-1044
計算言語学
吉永 直樹
A1 A2
月曜4限
マイリストに追加
マイリストから削除
言語情報処理II[学際言語科学コース]
詳細を見る MIMA Search
日本語や英語など,日常的な言語(自然言語)を工学的な立場から捉え,それらを計算機で処理し,文書分類,情報検索,機械翻訳,自動要約等を可能とするための技術である「自然言語処理」について,その概要を学ぶ.言語を扱うための基礎として,単語,文,テキストなど,言語を構成するものの分類や構造や意味を理解す...
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
08C1517
FAS-CA4G16S1
言語情報処理II[学際言語科学コース]
加藤 恒昭
A1 A2
集中
マイリストに追加
マイリストから削除
言語情報処理I[言語態・テクスト文化論コース]
詳細を見る MIMA Search
・Python既習者を対象に,Pythonを用いて統計学の基礎を学びます。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
08C1620
FAS-CA4H19S1
言語情報処理I[言語態・テクスト文化論コース]
川崎 義史
S1 S2
水曜5限
マイリストに追加
マイリストから削除
生命情報表現論
詳細を見る MIMA Search
ゲノム研究の進展により生命科学は仮説駆動型からデータ駆動型の科学に変貌しつつある。このような科学を推進するには、多種多様で複雑なデータや知識を計算機でうまく扱えるようにすることが不可欠である。本講義では、その基礎となる理論や技術について解説する。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
0560562
FSC-BI3B42L1
生命情報表現論
角田 達彦
A2
月曜3限
マイリストに追加
マイリストから削除
計算機プログラミング
詳細を見る MIMA Search
ビックデータ解析技術、人工知能技術の利活用が社会で進む中で、それらの基礎となるデータ分析技術は情報処理技術を学ぶ上で重要となっている。本授業では、データ分析・データマイニングの基礎について学ぶとともに演習を通して実際にデータを分析するプロセスを学ぶ。本授業は、学部後期課程におけるデータサイエンス...
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
31588
CAS-GC1F42L1
計算機プログラミング
森 純一郎
S1 S2
月曜5限
マイリストに追加
マイリストから削除
言語科学基礎論I
詳細を見る MIMA Search
Liliane Haegeman (2006) Thinking Syntactically: A Guide to Argumentation and Analysis (Blackwell, ISBN: 9781405118538) を用いた統語論の入門。 生成統語論研究で見いだされてきた種々の言語データの分析を通して、統語分析への入門を試みると同時に、仮説検証のプロセスを身につけ、議論構築の基礎を学ぶ。科学...
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
31M200-0201S
GAS-LI6A11L1
言語科学基礎論I
稲葉 治朗
S1 S2
水曜4限
マイリストに追加
マイリストから削除
1 2 3 4 5

1-10 / 全10215件