課程
横断型教育プログラム
共通授業科目
学部・研究科
学年
学期
時限
曜日
講義使用言語
実務経験のある教員による
授業科目
授業科目
分野
学内で開催されるオンライン授業の情報漏えい防止のため，2021年6月3日以降は授業カタログの更新を見合わせています
計算機言語システム論
計算モデル、型システムなどのプログラミング言語の基礎理論と、その言語処理系、プログラム検証などへの応用について、最新のトピックを交えながら解説する。今年度は特に、並行計算モデルに焦点を当て、並行計算の代表的なモデルであるCCS、π計算をとりあげ、操作的意味、仕様記述のための様相論理、検証手法（双模倣...
時間割／共通科目コード
コース名
教員
学期
時限
4810-1109
GIF-CS5009L1
計算機言語システム論
小林 直樹
金曜3限
マイリストに追加
マイリストから削除
計算機システム概論
計算機システムは現代の情報化社会の基盤となっています。本講義では、計算機システムについて、様々な側面から、それがどのように構成されているか、それを設計・利用する上で理解しなければならない基本原理は何か、ということを学びます。
具体的に扱うトピックは以下の通りです。
1. 計算機アーキテクチャと高速化技...
時間割／共通科目コード
コース名
教員
学期
時限
30376
CAS-GC1F43L1
計算機システム概論
森畑 明昌
火曜2限、金曜2限
マイリストに追加
マイリストから削除
言語学演習Ⅶ
言語における語の構造について、基礎知識と分析方法を習得する。基本的な概念を学習した上で、練習問題で分析力を身に付ける。世界の様々な言語における語の特徴も学ぶ。
時間割／共通科目コード
コース名
教員
学期
時限
04212167
FLE-HU4M03S1
言語学演習Ⅶ
白井 聡子
月曜4限
マイリストに追加
マイリストから削除
計算機構成論
情報科学はコンピュータの上に成り立っており、高度な情報システムの実現には、コンピュータそのものの構成と動作原理を理解することが重要である。本講義では、マイクロプロセッサ（CPU）やメモリ等のハードウェア・回路の動作原理と、それらの機能をソフトウェア階層に提供するための命令セットアーキテクチャ等の抽象...
時間割／共通科目コード
コース名
教員
学期
時限
0510019
FSC-IS3019L1
計算機構成論
高前田 伸也
金曜2限
マイリストに追加
マイリストから削除
数理言語情報論
データ科学の視点からの今日的な言語研究のあり方の一つを提示し、
その視点から今日の自然言語処理を再考する。
時間割／共通科目コード
コース名
教員
学期
時限
4820-1020
GIF-MA6304L1
数理言語情報論
田中 久美子
木曜2限
マイリストに追加
マイリストから削除
言語情報処理II[学際言語科学コース]
日本語や英語など，日常的な言語（自然言語）を工学的な立場から捉え，それらを計算機で処理し，文書分類，機械翻訳，質問応答等を可能とするための技術である「自然言語処理」について，その概要を学ぶ．言語を扱うための基礎として，単語，文，テキストなど，言語を構成する要素について，その構造や意味の扱いを理解...
時間割／共通科目コード
コース名
教員
学期
時限
08C1517
FAS-CA4G16S1
言語情報処理II[学際言語科学コース]
加藤 恒昭
集中
マイリストに追加
マイリストから削除
計算機構論II
プログラミング言語に関連する最近の話題トピックについて学習する．
今年度は「（深層学習を中心とした）機械学習プログラム・ソフトウェアの開発のサポート」をテーマとし，ソフトウェア科学・工学の広範な分野にまたがる下記の文献リストから，各人が興味があるものを選び輪講形式で発表する．内容の詳細や具体的な...
時間割／共通科目コード
コース名
教員
学期
時限
31D282-0220S
GAS-SS6B02L1
計算機構論II
森畑 明昌
月曜2限
マイリストに追加
マイリストから削除
計算機構論II
プログラミング言語に関連する最近の話題トピックについて学習する．
今年度は「（深層学習を中心とした）機械学習プログラム・ソフトウェアの開発のサポート」をテーマとし，ソフトウェア科学・工学の広範な分野にまたがる下記の文献リストから，各人が興味があるものを選び輪講形式で発表する．内容の詳細や具体的な...
時間割／共通科目コード
コース名
教員
学期
時限
31M282-0220S
GAS-SS6B02L1
計算機構論II
森畑 明昌
月曜2限
マイリストに追加
マイリストから削除
計算機プログラミング
ビックデータ解析技術、人工知能技術の利活用が社会で進む中で、それらの基礎となるデータ分析技術は情報処理技術を学ぶ上で重要となっている。本授業では、データ分析・データマイニングの基礎について学ぶとともに演習を通して実際にデータを分析するプロセスを学ぶ。本授業は、学部後期課程におけるデータサイエンス...
時間割／共通科目コード
コース名
教員
学期
時限
31427
CAS-GC1F42L1
計算機プログラミング
森 純一郎
月曜5限
マイリストに追加
マイリストから削除
31817
CAS-GC1F42L1
計算機プログラミング
森 純一郎
月曜5限
マイリストに追加
マイリストから削除
計算機言語論
プログラムの自動検証の理論について講義を行う．特に，高階モデル検査という発展的話題を通して，形式言語理論やプログラミング言語理論がプログラム検証にどう応用されるのかの理解することを目標とする．
時間割／共通科目コード
コース名
教員
学期
時限
0510083
FSC-IS4083L1
計算機言語論
小林 直樹
月曜3限
マイリストに追加
マイリストから削除
1-10 / 全8201件
