課程
横断型教育プログラム
共通授業科目
学部・研究科
学年
学期
時限
曜日
講義使用言語
実務経験のある教員による
授業科目
分野
授業カタログとは 授業カタログとは
JP EN
課程
横断型教育プログラム
共通授業科目
学部・研究科
学年
学期
時限
曜日
講義使用言語
実務経験のある教員による
授業科目
分野
HOME 検索結果
情報数理科学VII
詳細を見る MIMA Search
機械学習手法の定式化を前半で学び、 それらの基礎となるパラメータ推定理論を後半で扱う。 演習では講義で扱ったアルゴリズムの実践を行う。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
08D1235
FAS-DA3D07L1
情報数理科学VII
松島 慎
A1 A2
水曜3限
マイリストに追加
マイリストから削除
生物科学特論VII
詳細を見る MIMA Search
多細胞生命システムの数理と物理の基礎と最近の発展を概説する。 微分方程式、確率分布、拡散方程式の特徴を理解する。 これらの式の性質に基づき、受講者が生命現象の仕組みを説明できるようになる。 これらの数理/物理で記述できそうな現象を、受講者が探しだせるようになる。 Mathematics and physics of multicellul...
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
0542050
FSC-BS4O31L1
生物科学特論VII
各教員
A1 A2 W
集中
マイリストに追加
マイリストから削除
情報数理科学IV
詳細を見る MIMA Search
プログラミング言語とその処理系を構成する基本的な概念を理解する。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
08D1204
FAS-DA3D04L1
情報数理科学IV
森畑 明昌
A1 A2
月曜4限
マイリストに追加
マイリストから削除
コンピュータ科学特別講義VII
詳細を見る MIMA Search
Model checking of concurrent programs with shared memory under SC or relaxed memory semantics has been an active area of research. One of the central problems in model checking concurrent programs is the state-space explosion due to the possibility of numerous number of interleavings of program e...
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
4810-1211
GIF-CS6079L1
コンピュータ科学特別講義VII
須田 礼仁
S2
集中
マイリストに追加
マイリストから削除
情報数理科学III(2)
詳細を見る MIMA Search
この講義で学ぶ内容は、3Sセメスターに行われる情報工学実験・システム計測実験の理解に必要な基礎理論を含むものである。また、3Aセメスターに行われる生物圏システム科学実験・地球圏システム科学実験で実際に化学分析をする際に必要なものであり、ここで行う試料の前処理法や化学反応に関する実験の理解に必要な...
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
08D1203902
FAS-DA4D03L1
情報数理科学III(2)
齋藤 晴雄
S1 S2
金曜2限
マイリストに追加
マイリストから削除
情報科学特論Ⅶ
詳細を見る MIMA Search
This short course focuses on methodologies for software testing and verification. It consists of 6 lectures, each with an assignment. Students will be given a one-unit credit if they submit reports for those assignments.
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
0510101
FSC-IS4101L3
情報科学特論Ⅶ
萩谷 昌己
A2
金曜4限
マイリストに追加
マイリストから削除
情報数理科学III
詳細を見る MIMA Search
「考えながら」合理的に行動する自律ロボットやソフトウェアエージェント等の知的システムについて解説する。特に、状況に応じて行動を計画・実行するシステムの構築方法を中心に講義を進める。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
08D1203
FAS-DA4D03L1
情報数理科学III
福永 アレックス
S1 S2
金曜4限
マイリストに追加
マイリストから削除
情報数理科学VI
詳細を見る MIMA Search
視覚情報に関わる処理としてディジタル画像の表現と操作に関する理論と実践について入門的な学習を行う.
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
08D1234
FAS-DA3D06L1
情報数理科学VI
山口 泰
A1 A2
火曜3限
マイリストに追加
マイリストから削除
基礎数理特別講義VII
詳細を見る MIMA Search
本講義の目標は、近年のBreakthroughであるBourgain-Li (2015)のEuler方程式の非適切性、およびそれに関連する乱流の数理的理解である。乱流に関しては、大規模数値計算によるNavier-Stokes乱流の研究:Goto-Saito-Kawahara (2017)に基づいている。 想定している数学知識は、微分積分・線形代数及びベクトル解析である。...
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
45901-48
基礎数理特別講義VII
米田 剛
S1 S2
水曜3限
マイリストに追加
マイリストから削除
情報数理科学III(1)
詳細を見る MIMA Search
数理科学的考え方を、プログラミングを行いつつ、習得する。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
08D1203901
FAS-DA4D03L1
情報数理科学III(1)
鈴木 建
S1 S2
月曜3限
マイリストに追加
マイリストから削除
1 2 3 4 5

1-10 / 全9628件