Mathy で計算を自動化しよう

2026/09/21 23:49

Mathy で計算を自動化しよう

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

要約▶

日本語訳:

Mathy は、既存の知識を強化すること(新しい概念の学習ではなく)に特化し、精神的な流暢さと間隔反復を通じて算術事実に素早く習熟することを支援する、無料でアカウント不要のモバイルアプリです。約 2 ヶ月かけて数十回の改訂を経て開発され、Junyao Ye 氏が作成した FSRS アルゴリズムを使用して、選定された固定された事実、式、パラメータ化された問題ファミリーから安定した評価結果を得られるように、確定的なレビュースケジュールを管理します。アプリは値や構文をチェックする前に、分数、小数、パーセントなどのさまざまな数値形式を決定論的な解析規則を使って正規化します。このアプリは完全にオフラインで動作し、すべての練習、評価、スケジューリング、進捗をデバイスまたはブラウザ上にローカルに保存しており、クラウド同期はまだ利用できませんが、将来のアップデートで導入される予定です。ユーザーは Math Academy(Common Core 基準)に対応するトピックを閲覧でき、パフォーマンスに基づいたパーソナライズされたレビュースケジュールを受け取ることができます。既存機能には「タイムトライアルサプリント」チャレンジ、「60 セコンド・サプリントモード」、XP、メダル、ストリークといった軽いゲーム化要素が含まれており、Domain > Topic > Concept > Recall target にマッピングされたグラフ構造内でのみ整理されています。以前は Anki のようなツールでは移動中における素早いドリルに必要な利便性が欠けていましたが、Mathy はこれらの課題に対応しています。ウェブ版は mathy.game で利用可能で、iOS アプリは現在 App Store の審査中です。今後の計画には、オプショナルなクラウドバックアップ/同期、リーダーボード/競技会、XP 同期のための Math Academy インテグレーション、およびこれらの社会的機能を支援するための潜在的な低コストの有料プラン(〜1 ドル/月)が含まれています。現在の制限事項には、クロスデバイス同期の欠如、ローカルストレージがクリアされる場合のデータ喪失の可能性、そして高度なトピックにおけるカバーギャップが含まれます。

本文

「Mathy」プロジェクト完了報告:自動化された数学演習ツール

最終的に長年検討してきた個人プロジェクト「Mathy」が完成しました。 iOS や Web ブラウザで完全無料かつアカウント登録不要で使用可能です。

開発の動機と背景

  • Math Academy の活用: 数学学習には「Math Academy」が最も優れていると考えており、日常的に利用しています。
  • 隙間時間の有効活用: Anki より手軽で、移動中の短時間で苦手分野を補完できるツールが必要でした。
  • 生産性の向上: スクロール時間ではなく、「何かを作り上げている」という充実感を得ることを目的としています。
  • 「自動化」の哲学:
    • 機能するほど利用頻度は下がるという直感的ではない法則に基づいています。
    • トピックが完全に習得(自動化)されたら、推奨練習間隔は数週間以上へ広げられます。
    • 「何らかのものを作り上げたい」という欲求からスタートしました。

開発経緯と課題

  • アイデアの蓄積: 三角関数の暗記難易度の高まりなどから必要性を再認識し、過去にメモしてきたアイデアを製品要件(PRD)化しました。
  • シンプルさの追求: 「エージェント型コーディング」などで複雑なプロジェクトに取り組んできた経験を活かし、「シンプルで使いやすい製品」を作ることを意識しました。
  • 開発プロセス:
    • コアアプリの開発自体は数日で完了。
    • 実機での調整、UX の改善により、数週間かかりました(現在も未整備な点があります)。
    • 「心地よさ」と「コンテンツのタイミング」を最適化するために、移動中の時間などを活用して継続的な改良を行いました。

動作原理と仕組み

  • 学習フロー:
    1. Math Academyなどで概念を学びます。
    2. テーマを選択し、Mathy がFSRS アルゴリズムで最適な復習タイミングを提案します。
    3. タイムリミット付きの「スプリント」チャレンジを行い記録を更新します(将来的に他者対戦も予定)。
  • アプローチ:
    • 診断テストなし: ユーザー自身が学年・コース・トピックを選択します(Math Academy との内容整合を推奨)。
    • 最小有効用量: 毎日練習するのではなく、「自動化された状態(自動的)」の維持を目指します。
    • 柔軟性: 習熟度が高いほど必要な練習時間が短縮され、暇つぶし程度の利用も可能になります。

プラットフォームとデータ管理

  • 技術スタック: React Nativeを採用し、iOS(iPhone/iPad)と Web ブラウザの両方で動作します。
    • 将来的にネイティブ iOS および Android アップへの移行を検討しています。
  • データプライバシー:
    • アカウント不要。練習・採点・進捗データはすべて**ローカル(端末内)**に保存されます。
    • 無料利用のため、バックエンドサーバーや登録制を排除しました。
    • ※ヘルプ送信やフィードバックにはインターネット接続が必要です。
  • データの永続性:
    • 現在、デバイスごとのデータ保存です。削除やクリアすると消えます。
    • ※将来予定: アカウント機能の追加による複数端末同期、ミニ競技会などの導入を検討中です(現状はローカル限定/MVP)。

学習アルゴリズムと問題生成

  • FSRS(Free Spaced Repetition Scheduler)採用:
    • Junyao Ye 氏開発のアルゴリズムで記憶の状態を決定し、復習タイミングを計算します。
    • Mathy 独自のキュー管理ポリシーにより、弱点分野や混乱しやすい問題などを最適な順序で学習に組み込みます。
  • 問題生成の原則:
    • 新しい概念を教えるのではなく、「既存知識の自動化」専用です。
    • 心算で解ける範囲(3〜5 秒以内)や直接的な暗記プロセスのみを対象とします。
    • Math Academy の教育コンテンツは高品質ですが、決定論的に検証できないものは除外し、**固定値またはパラメータ化された「問題ファミリー」**を使用しています。

ユーザーインターフェースと検証

  • 直感的な提示: 明確なタイポグラフィと数学書式で問題を提示します。
  • 決定論的検証:
    • シッフル順序が異なっても、同じ問題は常に同一の答えキーへ到達します。
    • 内部ではすべての問題に安定した ID を付与し、完全一致の問題の特定やデバッグを容易にしています。
  • 入力値の正規化:
    • 「1/2」「0.5」「50%」「2/4」などはすべて等価として認識されます。
    • 文法エラーの場合は、「無効な形式エラー」と明確に通知します。
    • ※特定の形式(小数のみなど)を問う問題も存在します。

「自動化」の測定と評価指標

  • 単発正答以上の追跡: 時間経過に伴う繰り返しの正確さを重視します。
  • 閾値設定: 精度、回答速度、間隔、ヒント(キュー)のカバレッジなどを基準にしています。
  • 改善ルール: 低下が見られた際はスラップ(一時停止)や再導入レビューを行う仕組みがあります。
  • クラウド同期の必要性: 正確なユーザー経験モデルのためにもう一つのクラウド機能追加理由です。

トピック構成とコンテンツ

  • 階層構造: 「ドメイン > トピック > 概念 > 暗記ターゲット > プロンプトバリエーション」というグラフ構造で管理されています。
  • カバー範囲: 学年・コースパスにマッピングし、重複を避けつつバランスよく素材を提供します。
  • 教材の選定: Common Core に準拠し、短時間で自動化練習に適した内容のみを含みます(有意な空白/ギャップはあえて残しています)。
  • ゲーミフィケーション要素: レベル、XP(経験値)、メダル、ストリーク(連続達成記録)などの「楽しさ・没頭性」を演出する仕組みを採用しました。
    • 「オン・トラック(推奨スケジュール順)」という記録は、練習不要な日でもカウントされます。
    • **「60 秒スプリントモード」**などが特に人気を集めています。

開発への気づきと今後の展望

残りの課題(「最後の 10%」)

コアアプリの構築は早かったものの、以下の点に時間と労力を注いでいます。

  • コンテンツの質: カバレッジ範囲や問題文の記述、難易度、バリエーションのさらなる向上。
  • UI/UX: 特に高度なトピックにおけるモバイル端末での表示最適化(フォームファクター)。

予想外の楽しさ

複雑なプロジェクトよりも**「フロントエンド(表示層)」に焦点を当てたシンプルなアプリ作り**の方が、開発者としての喜びが大きいと感じています。

次のステップとロードマップ

  • アカウント機能の実装: 進捗データバックアップと複数端末同期の実施。
  • コンテンツの向上: 特に高度なトピックに対するカバー範囲とバリエーションの拡充。
  • リマインダー機能: セッション間隔(数日〜数週間)に合わせた通知の実装。
  • 対戦・リーダーボード: 一定の利用者数を達成した場合の多人数プレイ導入。
  • Math Academy との統合(願望リスト):
    • 練習で少量の XP を獲得する機能。
    • 自動化が必要な分野を自動的に同期させる機能。
    • Math Academy コースへの提案機能。

有料化の可能性について

現在完全無料ですが、人気が出た場合やクラウド/同期機能を導入した場合、月額約 1 ドル程度のオプションプランを検討しています。

同じ日のほかのニュース

一覧に戻る →

2026/09/23 1:29

Claude Opus 5.5

## Japanese Translation: Anthropic は、新しい Claude 5.5 ファミリーにおける初モデルである Claude Opus 5.5 を導入しました。このモデルは、エリート「Fable」モデルと同等の性能を維持しつつ、大幅なコスト削減(一般的なタスクでは最大 40% のコスト低減、特定のコーディングタスクでは出力速度向上に伴い約 51% のコスト削減)を提供します。このリリースは、Anthropic が「フロンティアを調整する」という戦略的転換を示すものであり、外部評価機関である Frontier Design と METR による検証也得到了確認です。性能向上により、企業は数週間かかっていた大規模なコード移行を数日(例:68 万行のコード移行が 1 日以内に完了)で実行可能にされ、約 40 の複雑な Web ページの読み込み時間を改善できます。 安全性とセキュリティは最優先事項であり、Opus 5.5 はアライメントスコアの向上、プロンプトインジェクションに対する耐性、そして不可逆的な動作が起きる可能性の低減を示しています。サイバーセキュリティ対策として、Fable 5.1 と同等の safeguards が導入されており、多くのタスクは高レベルのセキュリティを持つ Opus 4.8 ルートされ、Cyber Verification Program を通じてアクセス範囲を拡大しています。生命科学のような専門分野も、Life Sciences Verification Program により高度な生物学安全プロトコルを利用できます。価格設定は Opus 5 のレートから引き下げられ、100 万トークンあたり $4/$20 と変更されました。これにより、アジェンティックコーディングタスクにおけるハイエンド性能が、以前のコストのわずか几分额で利用可能となりました。さらに、すべてのプランの購読ユーザーには、5 時間の使用制限増およびレートリミットのリセット特典が提供されます。最後に、ディストイテーション攻撃を緩和するため、2026 年 8 月 31 日以降に新規作成された API アカウントでは「保存された思考」機能が有効化され、トップティアモデルと同等の堅牢なサイバーセキュリティ対策が確保されています。結局のところ、このリリースはエリート AI 能力を民主化し、コスト削減の大幅増、セキュリティの強化、および事業拡大準備のある企業にとっての運用柔軟性の向上をもたらします。

2026/09/23 2:46

「我々はFBIをハッキングした」:ハッカーたちは、彼らがFBIのすべての職員に関するデータを入手していると主張している。

## Japanese Translation: ShinyHunters というハッキンググループは、複数の FBI 関連サービスの侵入に成功し、全ての現在在职員および申請者に関する包括的なデータを盗んだと主張している。同グループの代表者は 404 Media にこの事案を確認した上で、「盗まれた情報には、氏名、自宅住所、電話番号、エージェント配偶者に関するデータなどといった個人情報も含まれている」と述べている。今回の漏洩は深刻なものであり、ShinyHunters は国家安全保障や対諜報活動への危害を目的としてデータを悪用することが知られているため、もしこのデータが悪意ある行為者に入手されると、FBI の職員が物理的な安全に直ちに脅かされ、国外の諜報機関が Am りカンの運用手法を理解するために今回の侵入を悪用する可能性もある。また、同グループのネットワーク内に存在する犯罪者は、過去に盗まれた記録を利用して法執行官を物理的に特定・追跡し、威嚇しており、エージェントとその配偶者に対して深刻な脅威となっている。専門家らは、FBI の職員や内部関係者に対し、直ちに Signal(ID: joseph.404)または電子メール(joseph@404media.co)を通じて 404 Media に連絡するよう要請している。今回の侵入の具体的な範囲に関する詳細な技術情報は、404 Media プラットフォームの有料会員(あるいは同プラットフォームの無料会員)のみが閲覧できるまま制限されている。

2026/09/22 22:52

OpenAI の GPT–6「Astra」が、2005 年以来解決されなかったエニグマの暗号文を解読した

## Japanese Translation: 2026 年 9 月 15 日、GPT–6 Astra は、1941 年 7 月 10 日に送信されたドイツ軍エニigma暗号の文 MVUEH を成功裡に復号化し、2005 年以来続く謎を解決した。カーター・レファーは、AI にクリプトセルラーリサーチウェブページの未解読メッセージを分析させるよう指示を与えたところ、AI は MVUEH(Nr. 172)を選択して対象とした。AI は独自に開発された Python および C++ ソフトウェアを使用してエニigmaの設定をシミュレートし、以前に解決済みの文 Nr. 173 (SIPVX) との関係性を特定するとともに、平文のパターン「ROSENOW ROSENOW」を crib(推測文)として利用した。最も重要なのは、AI が暗号文における微妙な転記エラーを検出した点であり、その中には第 72 の文字で発生した異常なローターの回転など、以前の人間による試みを阻害しかねる要因が含まれていた。従来の同様のメッセージに対する失敗が鍵の未考慮や差異などに起因していたのに対し、Astra はこの独特なローター構成および不具合を 2 日以内に克服し、人間研究者が数ヶ月かかる結果を得た。復号化の後、研究者たちは連邦アーカイフ(特に巻 RS 3–3/20a および RS 3–3/63b)から関連するアーカイブログを発見し、残りの無線電文の全巻について分析を完全に自動化した。フロデ・ヴァイエルユッドのような専門家らは、以前は数ヶ月かかっていたタスクが数日で完了したことは事実であるが、AI は専門家の暗号解析官にとって強力なパートナーでありながら、絶え間ない人間の介入を必要としないとして指摘した。9 月 19 日のアップデートでは、この成果を「非常に驚くべきこと」と形容し、ヴァイエルユッドは同様の画期的成果に感銘を受けていることを表明した。