デジタル通信原理 II

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

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

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

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

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

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

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

このコースでは、革新的な技術を通じて金融テクノロジー（フィンテック）がどのように金融サービス業界を変革しているかを探求します。学習者は、AI、ブロックチェーン、オープンAPIなどの主要なトレンドを学び、進化する市場環境や規制環境についての洞察を深めます。

このコースでは、非デジタルゲームの設計と分析に関する実践的な側面に焦点を当てます。学習者は、チームで協力してオリジナルのゲームを制作、開発、テストしながら、さまざまなゲームジャンルを探求し、ゲームのメカニクスやルールについての洞察を深めます。

関数解析は、有限次元を超えたノルム空間における線形および非線形問題の研究と解決を探求します。学習者は、ノルム空間、完備性、汎関数、スペクトル定理などの主要な概念を深く掘り下げ、さまざまな数学的および物理的文脈に適用可能な洞察を得ることができます。

このコースでは、暗号技術、ゲーム理論、ネットワークアーキテクチャに重点を置き、ビットコインやその他の暗号資産の設計と機能について探究します。学習者は実践的なプログラミング課題に取り組み、進化し続けるこれらのシステムへの理解を深めます。

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

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

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

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

このコースでは、複素関数、微分方程式、線形代数を深く掘り下げ、これらの不可欠な数学的概念を包括的に理解することができます。学習者は、数学や工学の高度な研究に不可欠な基礎理論とその応用について探究します。

このコースでは、成長と発展の動的なモデルを重視し、移住、近代化、技術変化などのトピックを探求します。学習者は、所得分配、制度の変化、金融市場の機能に焦点を当てながら、発展途上国における経済理論と実世界への応用との相互作用を学びます。

このコースでは、人工知能の基本原則を探究し、理論的な概念と実践的な応用の両方に焦点を当てます。学習者は、アルゴリズム、機械学習の手法、そしてAI技術がもたらす倫理的影響について学びます。

このコースでは、脳と認知機能を理解するための定量的アプローチを紹介します。受講者は、ニューロンの数学的記述、刺激に対する反応、および神経科学における基礎的なデータ分析ツールについて探求します。

このコースは、核酸やタンパク質の配列および構造解析の基礎に重点を置いた計算生物学の入門編です。また、複雑な生物学的システムの解析についても紹介します。本コースで扱うトピックには、配列アラインメント、モチーフ検索、構造モデリング、構造予測、ネットワークモデリングに使用される原理や手法、および現在注目されている研究分野が含まれます。

このコースでは、デジタル通信システムという視点を通して、電気工学とコンピュータ科学の主要な概念を紹介します。学習者は、インターネットを含む現代の通信技術を支えるビット、信号、パケットといった基礎的なレイヤーについて探求します。

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

このコースでは、通貨と金融の領域におけるブロックチェーン技術の変革的な可能性について探究します。学習者は、金融セクターにおける現在および将来の応用に焦点を当てながら、ブロックチェーン、分散型台帳、およびスマートコントラクトの基礎を学びます。

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