ソフトウェアシステムのパフォーマンスエンジニアリング

このコースでは、安全なコンピュータシステムの設計と実装に焦点を当て、さまざまな脅威モデルやセキュリティ技術を探究します。学習者は、最新の研究論文から得られる知見を活用しながら、オペレーティングシステムのセキュリティ、ネットワークプロトコル、ハードウェアセキュリティなどのトピックに取り組みます。

このコースでは、コンピュータサイエンスにおけるデータ構造の基本的な役割を探求し、効率的なアルゴリズムを開発する上での重要性を強調します。学習者は、動的グラフ、メモリ階層、ハッシュなどの高度なトピックを学ぶとともに、この分野における現在の研究動向にも取り組みます。

このコースは、重要な場面でのスピーキング能力を向上させるためのいくつかのルールを学ぶことに焦点を当てています。学習者は面接、論文審査、口述試験など、さまざまな状況における効果的な発表方法を身につけることができます。

このコースでは、コンパイラ設計と最適化手法に焦点を当て、高水準プログラミング言語の実装の複雑さを深く掘り下げます。学習者は、MIPS実行可能マシンコードを生成するコンパイラをJava®で構築する実践的なプロジェクトに取り組みます。

このコースでは、古典的および現代的なアプローチの両方に焦点を当て、システム工学の包括的な入門知識を提供します。受講者は、ステークホルダー分析、要件定義、システムアーキテクチャ、設計の最適化といった主要な概念を探求し、これらの原則を実際のプロジェクトに適用します。

このコースでは、ポーカー理論の複雑さと、投資管理およびトレーディングにおけるポーカー分析の応用について探求します。学習者は、ポーカーと金融環境の両方に対する理解を深めることができる意思決定の枠組みや戦略を詳しく学びます。

このコースでは、特定の問​​題を効率的に解決できないことを証明するための実践的な側面を探求し、さまざまな計算量クラスにおける計算の困難性を示すための帰着（リダクション）や手法に焦点を当てます。学習者は興味深い問題に取り組み、アルゴリズムの限界についてより深い理解を深めることができます。

このコースでは、対話型証明、多証明者対話型証明、および確率的に検証可能な証明に焦点を当て、コンピュータサイエンスにおける証明の進化を探求します。学習者は、暗号技術を活用して、これらの高度な証明システムを計算量的に妥当な非対話型引数（SNARGs）へと変換する方法を学びます。

このコースでは、理論と応用の両面からディープラーニングの基礎を扱います。トピックには、ニューラルネットワークのアーキテクチャ（MLP、CNN、RNN、グラフネットワーク、トランスフォーマー）、ディープラーニングにおける幾何学と不変性、誤差逆伝播法と自動微分、高次元における学習理論と汎化、そしてコンピュータビジョン、自然言語処理、ロボティクスへの応用が含まれます。

このコースでは、主要な概念とその相互関係に焦点を当てた、線形代数学を教えるための革新的なアプローチを提示します。学習者は魅力的なビデオコンテンツを通じて、基礎的なトピックを探索し、線形代数の構造と応用についての洞察を得ることができます。

このコースでは、計算問題の数学的モデリングと、それを解決するために使用される一般的なアルゴリズム、アルゴリズムのパラダイム、およびデータ構造を紹介します。アルゴリズムとプログラミングの関係を強調し、基本的な性能測定および分析手法を紹介します。

このコースでは、理数・工学系の初等離散数学を扱い、コンピュータサイエンスに役立つ数学的ツールや証明手法に焦点を当てます。学習者は、論理記号、集合、関係、グラフ理論、状態機械、アルゴリズムなどのトピックを探索します。

このコースでは、ディープラーニングについてスピーディーに解説し、非構造化データを含む複雑な問題に対する実践的なモデル構築に焦点を当てます。学習者は、ディープニューラルネットワーク、畳み込みネットワーク、トランスフォーマー、そしてChatGPTやMidjourneyのような生成モデルについて探求します。

このコースでは、グラフ理論と加法的組合せ論の古典的および現代的な発展を扱い、両方の主題を繋ぐトピックやテーマに焦点を当てます。また、現在の研究テーマや未解決問題についての紹介も含まれます。

このコースでは、行列微積分の不可欠な概念を深く掘り下げ、機械学習や大規模最適化におけるその応用に焦点を当てます。学習者は、行列とその因数分解の微分を理解し計算するための手法を学び、現代のコンピューティングにおける複雑な数学的操作に取り組む能力を高めることができます。

このコースは、計算可能性と計算複雑性理論に重点を置いています。学習者は、正規言語、文脈自由言語、決定可能および決定不能問題、再帰関数論などを扱うことになります。

このコースは、コンピュータサイエンスと工学のための基礎離散数学を扱います。数学的な定義と証明、そして適用可能な方法に重点を置き、論理記号、証明方法、集合、関係、グラフ理論など、さまざまなトピックを学習します。

このコースでは、非デジタルゲームの設計と分析に関する実践的な指導を行います。学生は、スポーツ、ゲーム番組、運任せのゲーム、カードゲーム、校庭での遊び、ボードゲーム、ロールプレイングゲームなど、さまざまなジャンルのゲームデザインを分析・比較するためのテキスト、ツール、参考文献、および歴史的背景について学びます。

このコースは、組合せ論や理論計算機科学における基本的かつ強力な手法である確率論的手法の大学院レベルの入門書です。学習者は、組合せ論的オブジェクトの存在を証明する方法や、正の確率を持つランダムな構成を検証する方法を探求します。

このクラスでは、人間の言語の本質に関する基本的な疑問への答えを提示します。受講者はコース全体を通して、人間の言語がいかに複雑でありながら規則に基づいた精神的システムとして機能しているかを検証し、言語習得、言語の歴史的変化、言語の危機といったトピックを探求します。

このコースでは、古典的および現代的なアプローチの両方に焦点を当て、システム工学の包括的な入門知識を提供します。受講者は、ステークホルダー分析、要件定義、システムアーキテクチャ、設計の最適化といった主要な概念を探求し、これらの原則を実際のプロジェクトに適用します。

このコースは、効率的なアルゴリズムの設計および分析手法を重点的に扱う中級アルゴリズムコースです。学習者は分割統治法、動的計画法、強欲アルゴリズムなど、さまざまなアルゴリズム設計パラダイムを習得することになります。

この講義を通じて、キューの基本概念および特徴、キューの活用分野、キュー関連の問題解決戦略、実務例題コード（Python）、高度なキュー活用技法など、核心概念を体系的に学習することができます。

この講義を通じて、スタックの基本原理および実装、スタックの応用：関数呼び出し（Call Stack）、スタックの応用：数式計算、スタックの応用：括弧の整合性チェック（Parenthesis Matching）、スタックの応用：Undo/Redo機能の実装など、核心となる概念を体系的に学習することができます。

この講義を通じて、基本探索アルゴリズム、グラフ探索アルゴリズム、木探索アルゴリズム、高度な探索技法、性能最適化および考慮事項などの核心概念を体系的に学習することができます。

この微積分学のコースでは、一変数関数の微分と積分を扱い、無限級数に関する簡単な議論で締めくくります。このコースは、物理学、工学、経済学など、さまざまな科学分野の基礎となります。

このコースは解析学の入門編であり、数学の定理を証明する方法と証明の書き方を学ぶことを目的としています。また、微積分学の定理を厳密に証明する方法についても扱います。

このコースでは、数え上げ、生成関数、確率などを中心に、離散応用数学の主要なトピックを扱います。学習者は数学的概念に取り組むとともに、執筆課題を通じて効果的なコミュニケーションについても学びます。

このコースは、アルゴリズムパズルとコンピュータプログラミングを結びつけ、魅力的な課題を解決しながらコーディングを学ぶことができます。学習者は、さまざまなパズルに取り組みながらPythonの構文とセマンティクスを探索し、楽しく実践的な方法でプログラミングスキルを高めることができます。

このコースはプログラミング経験がほとんどない学生を対象としており、問題解決におけるコンピュータの役割を理解することに重点を置いています。学生はPython 3プログラミング言語を使用して、簡単なプログラムを作成する自信を養うことができます。