課程
横断型教育プログラム
共通授業科目
学部・研究科
学年
学期
時限
曜日
講義使用言語
実務経験のある教員による
授業科目
授業カタログとは 授業カタログとは
JP EN
課程
横断型教育プログラム
共通授業科目
学部・研究科
学年
学期
時限
曜日
講義使用言語
実務経験のある教員による
授業科目
HOME 検索結果
学内のオンライン授業の情報漏洩防止のため,URLやアカウント、教室の記載は削除しております。
最終更新日:2026年4月20日

授業計画や教室は変更となる可能性があるため、必ずUTASで最新の情報を確認して下さい。
UTASにアクセスできない方は、担当教員または部局教務へお問い合わせ下さい。
計算機プログラミング
詳細を見る MIMA Search
本講義は、データを扱うためのモデルについて学ぶことを目的とする。 前半では、プログラミングの基礎となる代表的なデータ構造、例えば、リスト、スタック、キューなどが活用できるようになる。後半ではデータ分析の基礎となる代表的な方法論、例えば、線形分類や相関分析などが活用できるようになる。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
31024
CAS-GC1F42L1
計算機プログラミング
松島 慎
S1 S2
木曜5限
マイリストに追加
マイリストから削除
計算機構学
詳細を見る MIMA Search
「剛体折紙」を主な題材とし、立体形状の変形機構について、モデル化、解析、デザインの手法を学ぶ。これらの問題解決のため、ベクトルを用いた幾何拘束の表現、行列を用いた剛体変形の表現、微小変形モデル、球面の幾何学、図法幾何学、数値計算による機構解析などの数理手法を学ぶ。 授業全体後半はプロジェクト型として、形状や動きの観察から新たな現象を発見し、問いを立て協働を通してデザインを行う。 Using " rigid origami" as the main subject of study, participants will learn methods of modeling, analysis, and design of mechanisms of 3-D shape transformation. To solve these problems, participants learn mathematical methods such as representation of geometric constraints using vectors, representation of rigid body deformation using matrices, infinitesimal deformation models, geometry of spherical surfaces, descriptive geometry, and mechanism analysis by numerical calculation. The second half of the course is project-based, where students discover new phenomena through observation of shapes and movements, formulate questions, and design through collaboration.
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
3714-159
GEN-AR5p28L3
計算機構学
舘 知宏
S1 S2
月曜2限
マイリストに追加
マイリストから削除
計算数理I
詳細を見る MIMA Search
様々な数学的な概念を,具体的に数値を計算するという立場から研究する分野を数値解析と言う. 本講義は,数値解析への入門を目的とし,大学1年および2年次に学んだ微分積分学や線形代数学に現れる諸問題,例えば,非線形方程式,固有値問題,定積分,常微分方程式,最適化(関数の最小化)などを,コンピュータを用いて数値的に解くための方法とその背後にある数学理論の解説を行う.
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
0505042
FSC-MA3353L1
計算数理I
齊藤 宣一
S1 S2
金曜2限
マイリストに追加
マイリストから削除
計算機システム概論
詳細を見る MIMA Search
計算機システムは現代の情報化社会の基盤となっています。本講義では、計算機システムについて、様々な側面から、それがどのように構成されているか、それを設計・利用する上で理解しなければならない基本原理は何か、ということを学びます。 具体的に扱うトピックは以下の通りです。 1. 計算機アーキテクチャと高速化技術 2. Operating System 3. データベースシステム 4. プログラミング言語 5. 分散・並列処理 6. セキュリティ 7. ソフトウェア工学
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
30360
CAS-GC1F43L1
計算機システム概論
森畑 明昌
S1
火曜2限、金曜2限
マイリストに追加
マイリストから削除
計算機システム
詳細を見る MIMA Search
コンピュータの基礎的なハードウエア、ソフトウエアの構造と動作について講義する Discuss basic structures and behaviors of computer hardware and software. This lecture will be done in Japanese.
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
0510003
FSC-IS2003L1
計算機システム
吉本 芳英
A1 A2
火曜4限
マイリストに追加
マイリストから削除
計算機言語論
詳細を見る MIMA Search
プログラムの自動検証の理論について講義を行う.特に,高階モデル検査という発展的話題を通して,形式言語理論やプログラミング言語理論がプログラム検証にどう応用されるのかの理解することを目標とする.
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
0510083
FSC-IS4083L1
計算機言語論
小林 直樹
S1
月曜3限
マイリストに追加
マイリストから削除
計算数理[スポーツ科学コース]
詳細を見る MIMA Search
様々な数学的な概念を,具体的に数値を計算するという立場から研究する分野を数値解析と言う. 本講義は,数値解析への入門を目的とし,大学1年および2年次に学んだ微分積分学や線形代数学に現れる諸問題,例えば,非線形方程式,固有値問題,定積分,常微分方程式,最適化(関数の最小化)などを,コンピュータを用いて数値的に解くための方法とその背後にある数学理論の解説を行う.
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
08E1442
FAS-EA4F41L1
計算数理[スポーツ科学コース]
齊藤 宣一
S1 S2
金曜2限
マイリストに追加
マイリストから削除
計算数理[数理自然科学コース]
詳細を見る MIMA Search
様々な数学的な概念を,具体的に数値を計算するという立場から研究する分野を数値解析と言う. 本講義は,数値解析への入門を目的とし,大学1年および2年次に学んだ微分積分学や線形代数学に現れる諸問題,例えば,非線形方程式,固有値問題,定積分,常微分方程式,最適化(関数の最小化)などを,コンピュータを用いて数値的に解くための方法とその背後にある数学理論の解説を行う.
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
08E1025
FAS-EA3B26L1
計算数理[数理自然科学コース]
齊藤 宣一
S1 S2
金曜2限
マイリストに追加
マイリストから削除
計算物理学
詳細を見る MIMA Search
計算物性科学の体系、方法などを学ぶ。 /Introduction to the computational condensed matter physics including various computational methods
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
47100-89
GFS-AM6E03L2
計算物理学
求 幸年
S1 S2
月曜5限
マイリストに追加
マイリストから削除
計算物理学
詳細を見る MIMA Search
計算物性科学の体系、方法などを学ぶ。 /Introduction to the computational condensed matter physics including various computational methods
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
3752-085
GEN-AP5216L3
計算物理学
求 幸年
S1 S2
月曜5限
マイリストに追加
マイリストから削除
1 2 3 4 5

1-10 / 全571件