パズルで学ぶプログラミング

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

このコースは、現代標準中国語（マンダリン）の入門4部構成のうち、第1学期にあたります。学習者は、言語の文化的背景を探求しながら、発音の習得、基礎的な読み書きスキル、そして日常的なトピックに関する簡単な会話に焦点を当てて学びます。

このコースでは、医療分野における機械学習を紹介し、臨床データの特徴や、機械学習を通じたリスク分類、疾患進行モデリング、精密医療、診断、サブタイプ発見、および臨床ワークフローの改善について学習します。

この課程は、幾何学的な折り畳みを分析し設計するアルゴリズムに重点を置いています。学生は、折り畳み可能な構造の再構成、リンクと折り紙、3次元多面体の展開および折り畳みなどを学習することになります。

このコースでは、微分方程式とMATLAB® ODEツールボックスについて深く掘り下げます。学習者は微分方程式の原理と応用を理解し、MATLABを活用した問題解決能力を養うことができます。

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

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

この講義を通じて、基本ソートアルゴリズム（Basic Sorting Algorithms）、高度なソートアルゴリズム（Advanced Sorting Algorithms）、特殊目的のソートアルゴリズム（Special Purpose Sorting Algorithms）、実務上の考慮事項（Practical Considerations）などの核心概念を体系的に学習することができます。

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

この講義を通じて、ツリーの基本概念およびデータ構造、探索アルゴリズム、ツリー活用アルゴリズム、高度なツリー構造と応用、実務的な問題解決戦略など、核心となる概念を体系的に学習することができます。

このコースでは、計算問題の数学的モデリングについて紹介します。一般的なアルゴリズム、アルゴリズムのパラダイム、およびこれらの問題を解決するために使用されるデータ構造を扱います。

このコースでは、スケーラブルで高性能なソフトウェアシステムの構築について、実践的なプロジェクトベースの導入を提供します。学習者は、最新のコンピューティングプラットフォームを効果的に活用するためのパフォーマンス分析、アルゴリズム手法、および最適化について探究します。