Using secondary school maths to demystify AI

2025/12/13 1:32

Using secondary school maths to demystify AI

RSS: https://news.ycombinator.com/rss

要約

Japanese Translation:

カムプ(CAMMP)研究セミナーは7月に開催され、既存の授業にAIコンテキストを組み込み、実践的でカリキュラム連動のワークショップを提供することで、中学校数学が人工知能を解明できることを示しました。
参加者はプライバシー意思決定ツリー(ソーシャルネットワーク上)、Netflixレコメンデーションシステム(k‑近傍法)、N‑gram単語予測、寿命回帰、および17〜18歳の生徒向け交通信号を分類する高校向けサポートベクターマシンレッスンなど、多様なAIトピックを探求しました。すべての活動はプログラミング不要のインタラクティブJupyterノートブックを使用し、学生はコードの空欄を埋めるだけでシミュレーションを実行できます。
研究者ステファン・キンドラーは、入力1、隠れ層3つ、出力1のトイ人工ニューラルネットワークをデモし、ANNが単なる数学関数であり「考える」ものではないことを示しました。ワークショップでは、バイアス、データ多様性、プライバシー、AIエラーの実世界への影響などの社会的・倫理的問題も取り上げました。
JupyterノートブックとトイANNシミュレーションはCAMMPウェブサイトで無料公開(ユーザー名「cammp_YOURPSEUDONYM」)されています。次回セミナーは2026年1月27日17:00–18:30 GMTに予定され、サロメイ・アフゥア・アドーによるオフライン型ニューラルネットワーク指導が行われます。
数学を通じてAIを教えることで、STEMへの関心を喚起し、教師がカリキュラム目標を達成し、社会的・倫理的影響を理解できる数理リテラシーの高い学習者を育成することを目的としています。

本文

学校におけるAIと数学 ― CAMMPセミナーからの洞察

多くの若者が個人利用・学習目的で AI を活用している今、学校は「何をどのように教えるか」を模索しています(英国青少年の AI 利用状況は 2025 年夏データ参照)。重要な問いは、AI の仕組みをどこまで技術的に説明すべきかです。特に「AI ツールが思考している」という naïve な誤解を払拭したいときには重要です。本月の研究セミナーでは、既存の算数・数学授業に AI の文脈を取り入れ、核心概念を教えながら科目をより興味深く、関連性のあるものにする方法を検討しました。


CAMMP 研究セミナー(7 月)

CAMMP(Computational and Mathematical Modeling Program)からの発表者

  • マルティン・フランク教授(Prof. Dr. Martin Frank)
    カールスルーエ工科大学(KIT)創設者、ドイツ
  • サラ・ショーンブロット准教授(Assistant Prof. Dr. Sarah Schönbrodt)
    オーストリア・ザルツブルク大学
  • 研究員 ステファン・キンダーラー(Research Associate Stephan Kindler)
    KIT、ドイツ

彼らは中等学校で既に教えている数学が AI を解明する手段になると論じました。ニューラルネットワークはしばしばブラックボックスと見なされますが、チームは学力レベルの算数を用いて AI の基本要素を説明する方法を開発しました。

サラ・ショーンブロットからの主なポイント

  • 数学は AI スキルに不可欠

    • 機械学習はデータ駆動で、特に統計学が基盤です。
    • 本格的な機械学習手法を用いることで、教室で扱う算数概念を生きたものにできます。
    • 教師向けに実際の問題と関連データが揃っています。
  • AI 文脈は数学を魅力化

    • 従来の抽象的な例題を、学生の生活に直結する AI ベースの事例へ置き換えます。
    • 具体例:
      • SNS のプライバシー → 決定木
      • Netflix のレコメンド → k‑近傍法
      • 単語予測 → N‑gram
      • 寿命予測 → 回帰・ニューラルネットワーク
  • サポートベクターマシン(SVM)ワークショップ(17–18 歳向け)

    1. 二つのクラス(緑/赤信号)のデータ点をプロット。
    2. クラスを最適に分離する直線を見つける。
    3. 分離線に対して新しいデータを分類。
    4. テストデータ・混同行列で統計的妥当性を検証。
    5. 制限事項と倫理問題を議論。
    6. 三次元データ(3 色信号)へ拡張。

このアクティビティにより、学生は直線・分類・ベクトルの概念と、AI の誤差が社会・倫理に与える影響(例:自動車が赤信号を読み違えるケース)を学びます。

  • カリキュラムとの整合性
    サラはワークショップ内容とオーストリア/ドイツの数学教科課程とのリンクを強調しました。

ステファン・キンダーラーからの主なポイント

  • おもちゃ型人工ニューラルネットワーク(ANN)

    • 入力1、ノード3、出力1 の単純構造。
    • 学生はオンラインシミュレータで重みとバイアスを変化させることで出力がどう変わるか検証。
    • 天気予測データとモデルを比較し、より多くのノードが必要であることを発見 ― ANN は意識的なシステムではなく調整可能な数学関数です。
  • AI と数学教育の相互利益

    • 数学は AI の理解を深め、AI は人間が設計する役割を際立たせます。
    • AI 文脈を取り入れることで授業が豊かになり、学際的学習と教員指導力の向上につながります。

個人的感想

ChatGPT 前に 5 年間 AI と機械学習を教えてきた経験から、データ駆動技術を基本ブロックへ分解できる資料が欲しかったです。CAMMP のプレゼンはまさにその要望を満たし、複雑なアイデアを中学生レベルの数学で表現することで「AI は魔法ではなく数学だ」と実感できました。


今後の予定

  • CAMMP リソースを探る

    • セミナー録画を視聴。
    • CAMMP ウェブサイト を訪問。
    • Jupyter ノートブック(ユーザー名:
      cammp_YOURPSEUDONYM
      、パスワードは任意)を利用。
    • おもちゃ型 ANN シミュレーションに挑戦。
  • 追加読書
    数学授業で AI を扱う研究論文はここにあります。


次回セミナー

テーマ: ニューラルネットワークのオフライン(ノン・プラグ)アプローチ
講師: サロメイ アフウァ アドー(Salomey Afua Addo)
日付と時間: 2026 年 1 月 27 日(火)17:00–18:30 GMT

参加登録は下記ボタンから。詳細をお送りし、ぜひご出席ください。


今後のセミナー予定表はオンラインで公開;過去のセミナーは前回セミナーページで確認できます。

同じ日のほかのニュース

一覧に戻る →

2025/12/13 5:57

GNU Unifont

2025/12/13 7:02

Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig

## Japanese Translation: uvm32 は、単一の C ファイルで書かれたミニマリストで依存関係を持たない仮想マシンサンドボックスです。 STM32L0 のような非常に小型のマイクロコントローラ上で動作し、4 KB 未満のフラッシュと 1 KB の RAM を使用します。静的割り当てのみで非同期設計となっています。 この VM は RISC‑V のサブセットを実装しており、軽量な管理インタフェースを公開しています。「if‑this‑then‑that」ロジックのために Lua、Duktape、MicroPython などの軽量スクリプトエンジンを置き換え、信頼できないコンポーネントや不安定な部品をサンドボックス化し、ターゲットコンパイラなしでモダン言語の「一度書けばどこでも実行できる」スクリプトを書けるようにすることが目的です。 主な特徴: - バイトコードアプリは C、Zig、Rust、またはアセンブリで記述可能。 - 非ブロッキングでシンプルな実行モデル。安全かつ最小限の型付けを備えた FFI を使用し、ホスト IO(stdio/ネットワーク)は想定していません。 - デザインは高速よりも安全性を優先しています。 - すべてのソースコードは `uvm32/` ディレクトリにあります。最小限のホスト例は `host‑mini` にあり、より高度なホストは `host/`、`host-parallel`、`host-arduino` にあります。 サンプルアプリケーションは VM の機能を示しています(C: helloworld, heap, conio, lissajous, maze, fib, sketch; Zig: zig‑mandel, zigtris, zigalloc, zigdoom; Rust: rust‑hello; アセンブリ: hello‑asm)。 ビルドとテスト用の Dockerfile が提供されており、`make dockerbuild`、`make dockershell` で構築・起動し、その後 `make` を実行してサンプルをコンパイル・実行します。ドキュメントはヘッダファイル `uvm32/uvm32.h` と `doc/README.md` にあります。本プロジェクトは MIT ライセンスで公開されています。

2025/12/13 5:15

Rats Play DOOM

## Japanese Translation: > **概要:** > 著者らは、ラットがDOOMをプレイできる完全にオープンソースの仮想現実装置をリリースしました。ゼロから構築されたこのシステムには、ハードウェア設計・ファームウェア・ソフトウェアがGitHubに掲載されており、他研究室でも簡単に再現または改良できます。バージョン 1(v1)はニューヨークのヴィクトール・トー氏によって開発され、ラットにDOOMコリドーを走行させるよう訓練しました。この実装はViceとPC Gamerで紹介されました。 > > 改良版(v2)はよりモジュラー化され、180°×80°の視野を持つ折りたたみ可能なAMOLEDスクリーン、新しいボールドライバー、強化された給餌器、ゲームイベントに同期した正確な10 µLの砂糖水投与が可能な改良リワード回路を備えています。追加センサーとランニングマシンのボール周囲に設置された光学フロー運動捕捉システムでトラッキング精度が向上しています。 > > ソフトウェアはPythonベースのモジュラースタック(arena_scenario.py)で、PC上で実行され、Raspberry PiとTCP経由で通信します。Piはリアルタイムセンサー読み取り・ボール駆動・リワード制御を担当します。すべてのコンポーネントはGitHubに文書化されており、3Dプリント可能なパーツや回路図も公開されています。 > > チーム(ヴィクトール・トー=ゲーマーラットコーチ、サンドル・マクラ=電気技師、アコス・ブラシュェク=ドキュメントリード)は、ラットが約2週間で慣れることを示しましたが、完全な訓練はまだ完了していません。 > > 現在の制限として、自動キャリブレーションスイートが無いため、ユーザーはセンサーの整列とリワードタイミングを手動で検証する必要があります。 > > 今後の課題は完全な訓練プロトコルの完成、キャリブレーションツールの改良、および他の行動タスクや種へ装置を拡張することです。低コストで完全にオープンなプラットフォームを提供することで、このプロジェクトは世界中の神経科学研究室の参入障壁を下げ、動物VR実験に依存する研究のスピードアップに寄与できる可能性があります。