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

授業計画や教室は変更となる可能性があるため、必ずUTASで最新の情報を確認して下さい。
UTASにアクセスできない方は、担当教員または部局教務へお問い合わせ下さい。
計算機実験I
詳細を見る MIMA Search
理論・実験を問わず、学部〜大学院〜で必要とされる現代的かつ普遍的な計算機の素養を身につける; UNIX 環境に慣れる(シェル、ファイル操作、エディタ); ネットワークの活用(リモートログイン、共同作業); プログラムの作成(C 言語、コンパイラ、プログラム実行); 基本的な数値計算アルゴリズム・数値計算の常識を学ぶ; 科学技術文書作成に慣れる(LaTeX, グラフ作成) Acquire modern and universal computer literacy required for the undergraduate to graduate courses, both theoretical and experimental; become familiar with the UNIX environment (shell, file operations, editors); networking (remote login, collaboration); programming (C language, compilers, program execution); learn basic numerical algorithms and numerical calculation common sense; become familiar with scientific and technical documentation (LaTeX, drawing graphs)
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
0515091
FSC-PH3G11E1
計算機実験I
藤堂 眞治
S1 S2
水曜2限
マイリストに追加
マイリストから削除
計算天文学I
詳細を見る MIMA Search
天文学で必要とされるデータ処理および基礎的な微分方程式の解法を解説するとともに、実際に計算機を用いた実習も行う。前半では、計算機の使い方、LaTexによる文書の作成法、描画ソフトの使い方、Fortran と C の基礎、統計解析 (データへのフィッティング)、乱数を学び、後半では、星の内部構造を題材にして、常微分方程式の数値解法 (初期値問題、境界値問題、固有値問題) を学ぶ。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
0520031
FSC-AS3131L1
計算天文学I
藤井 通子
S1 S2
木曜4限
マイリストに追加
マイリストから削除
計算機システム
詳細を見る 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. Operating System 3. データベースシステム 4. プログラミング言語 5. 分散・並列処理 6. セキュリティ 7. ソフトウェア工学
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
30349
CAS-GC1F43L1
計算機システム概論
森畑 明昌
S1
火曜2限、金曜2限
マイリストに追加
マイリストから削除
計算機プログラミング
詳細を見る MIMA Search
本講義は、データを扱うためのモデルについて学ぶことを目的とする。 前半では、プログラミングの基礎となる代表的なデータ構造、例えば、リスト、スタック、キューなどが活用できるようになる。後半ではデータ分析の基礎となる代表的な方法論、例えば、線形分類や相関分析などが活用できるようになる。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
31006
CAS-GC1F42L1
計算機プログラミング
松島 慎
S1 S2
木曜5限
マイリストに追加
マイリストから削除
計算機言語システム論
詳細を見る MIMA Search
計算モデル、型システムなどのプログラミング言語の基礎理論と、その言語処理系、プログラム検証などへの応用について、最新のトピックを交えながら解説する。今年度は特に、並行計算モデルに焦点を当て、並行計算の代表的なモデルであるCCS、π計算をとりあげ、操作的意味、仕様記述のための様相論理、検証手法(双模倣、モデル検査、型システム)、セキュリティプロトコルへの応用などについて概説する。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
4810-1109
GIF-CS5009L1
計算機言語システム論
小林 直樹
A1 A2
火曜3限
マイリストに追加
マイリストから削除
計算機実験II
詳細を見る MIMA Search
計算機実験Iで身に付けた知識をもとに、より高度な数値計算手法・アルゴリズムを学び、物理学における具体的な問題への応用を通して実践的な知識と経験を身につける Building on the knowledge acquired in Computer Experiments I, learn more advanced numerical methods and algorithms and gain practical knowledge and experience through application to specific problems in physics
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
0515092
FSC-PH3G12E1
計算機実験II
藤堂 眞治
A1 A2
金曜5限
マイリストに追加
マイリストから削除
電算機応用I
詳細を見る MIMA Search
統計解析環境Rを用いて,データに基づく適切な判断や推測,予測を行うことができる知識と技術の習得を目指す。統計学の理論とソフトウェアでの実践の理解が相補的に進むよう実際的な問題やデータ例を取り上げ,Rでの実行方法と出力の見方,分析の留意点などを解説する。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
04255506
FLE-XX4313L1
電算機応用I
中村 健太郎
S1 S2
金曜2限
マイリストに追加
マイリストから削除
計算機構成論
詳細を見る MIMA Search
情報科学はコンピュータの上に成り立っており、高度な情報システムの実現には、コンピュータそのものの構成と動作原理を理解することが重要である。本講義では、マイクロプロセッサ(CPU)やメモリ等のハードウェア・回路の動作原理と、それらの機能をソフトウェア階層に提供するための命令セットアーキテクチャ等の抽象化技術を中心に、計算機アーキテクチャ(コンピュータアーキテクチャ)に関する知識と技術の習得を目的とする。
時間割コードを開く
時間割コードを閉じる
時間割/共通科目コード
コース名
教員
学期
時限
0510019
FSC-IS3019L1
計算機構成論
高前田 伸也
S1 S2
金曜2限
マイリストに追加
マイリストから削除
1 2 3 4 5

1-10 / 全2217件