このコミュニティ投稿では、プログラミングと数学の両方で高度な概念を探求するのに役立つ、非常に魅力的なゲームやインタラクティブな環境(無料で入手可能)へのリンクを載せたいと思います。他に楽しい場所をご存知でしたら、ぜひ下に投稿してください。楽しんでください！ リーン: 数学がどのように証明され、形式化されるかを学ぶのに役立つ、非常に魅力的なプログラミングパズルのコレクションです。5*7=7*5の硬さを同じように見ることはもう二度とありません。 NandGame: 自分で一からプロセッサを作ればいいのです(NANDもよりシンプルな回路で作られています)。とても中毒性があり、とても楽しいです! クアンタム・フライトラップ: ここでようやく量子計算の理解が得られます。カラフルで無限、魅力的で、数学的に非常に深みがあります。 スクラッチ: 楽しい方法でプログラミングを学びましょう。 ユークリデア: 定規とコンパスでの作り方を学びましょう。以前は学校の教育の一部でしたが、今はアプリになっています。楽しくてとても有益でした。 平面性: それが確かに平面であることを示すグラフ埋め込みを探してみてください。 おおっと: 究極のセルラーオートマトン探検家。 もっと深く知りたいなら: セージマス: これはPython構文を用いた強力なコンピュータ代数システムです。コースに理想的で、SageMathの構文は一般的な数学的議論にずっと近いです。私はSageMathで授業を教えるのが好きです。 GeoGebra: 証明や計算、インターナティブアプレットなどもできます。これは未卒業数学のさまざまな側面を学ぶ楽しい方法です。 ウルフラムのデモンストレーションプロジェクト: 非常に高度なトピックを理解するのに役立つ数学アプレットのコレクションです。Mathematicaは動作させるのに必要ありませんが、自分でアプレットを設計するには必要です。 『証明の仕組み』(ヘザー・マクベス著): これはインタラクティブなGitHubリポジトリ付きの本で、Leanの構造や構文をより包括的に学べます。 『An Illustrated Theory of Numbers』(マーティン・H・ワイスマン著): これは初等数論とその応用に関する教科書です。これらのアプリケーションは、ウェブサイトから無料のJupyterノートブックのコレクションとして提供されており、重要な概念を教えてくれます。 グラフィカル線形代数: 代数の深い概念を学ぶための図解付き、ある程度インタラクティブな方法で学びます。 HomotopyContinuation.jl: これは、代数幾何学(連結成分、ホモトピー継続法)から非常に複雑な概念を学ぶ非常に美しくインタラクティブな方法です(ジュリアと共に)。また、応用から得られる非常に特殊な代数系への応用も可能です。その途中でジュリアを学べるよ。 Mathamaze: これはヘレナ・ヴェリルによる体験です。美しい幾何学、タイル、パターン。本当に素晴らしいです。 説明が難しいです: N:忍者の道: 数学が難しいと思うなら。忍耐は身をもって学びましょう。警告:非常に依存性が高い ハイパーローグ: ローグライク環境で双曲幾何学を学べます。