話し方

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

このコースでは、市場機会の特定と定量化、そして技術ベースの新しい企業の構想、計画、立ち上げのプロセスを扱います。学生はスタートアップのための詳細なビジネスプランを作成します。

このコースでは、芸術と社会的責任の交差点を探求し、意図的な攪乱がいかにして抑圧のシステムに挑戦できるかに焦点を当てます。学習者は、創造的な実践や教育的戦略を通じて、リソースへのアクセスや世界的な水危機といった重要な課題に取り組みます。

このコースでは、ドナルド・ショーンが提唱した「リフレクティブ・プラクティス（省察的実践）」のアプローチを紹介し、専門家が自身の知識をいかに実務の現場と効果的に結びつけることができるかに焦点を当てます。学習者は、認知リソースを強化し、専門的な実践を向上させるために、学習とイノベーションの理論を探求します。