2026/07/09 20:16

Show HN：Wyrm ― オープンソースの正しさエンジンを用いて、触覚で代数問題を解く

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

要約▶

Japanese Translation:

Wyrm-Math は、iOS および Android 向け的手勢操作に基づく代数アプリ「Wyrm Math」を通じて、モバイル数学における画期的な成果を象徴しています。このアプリケーションは、依存関係も DOM サポートもない純粋な TypeScript で記述された厳密な符号式代数エンジンを動力源としています。そのエンジン operates on（動作する）核心となる不変条件として、「条件付き正当性」を採用しており、ここでは等式の検証を行う従来の計算機とは異なり、法則的な書き換え遷移のみが実行可能で、変数を定義しない点などを近似値ではなく「未定義」として扱い、条件（例：分母がゼロでないこと）を 1 級の仮定として保持します。演算は bigint を介した有理数を用いて厳密に実施され、浮動小数点数誤差を防ぎつつ、未定義の点を単なる近似値ではなく「未定義」として扱います。エンジンでは不変な AST（抽象構文木）を採用し、安定したノード ID も確保しており、引き算や除法のノードを使用しない設計となっています。これには線形方程式、冪、二次方程式などを網羅する約 25 件の豊富なルールのセットを伴い、x²=9 といった場合分けも対応しています（例：x²=9 のようなケースの分割）。レイアウトジオメトリは静的な計量表を用いてこれらの木構造をアニメーション付きの記号に変換し、制限事項、拡張、固定された変数などを追跡するための判定システムを併用します。開発プロセスでは

pnpm

、Vitest、fast-check を使用しており、MIT ライセンスの下でオープンソース化されています。また、誤りを生じやすい近似手法ではなく、すべての論理的パスを保持するシステムへと置き換えられ、その導出ログはポインタナビゲーションを通じてアクセス可能となっています。

本文

Wyrm-Math: 厳密な条件付き妥当性を保証する符号計算エンジン

wyrm-math は、ドラッグ＆ドロップ操作や数学的変形を通じて方程式を可視化・操作するための高性能な計算エンジンです。ユーザーは等号の項を移動させたり、指数に触れて展開させたりできますが、システムは「合法的な手順のみを可能にし、違法な手順を物理的に不可能にする」という不変則に基づいて動作します。

特徴と設計思想

条件付き妥当性 (Conditional Soundness)
- 方程式は検証されず、再定義ルールによってのみ変形されます。
- 操作の前後で**「仮定（Assumptions）」**が視覚化され、第一級市民として扱われます。
- 除外条件（例：$b \neq 0$）や外れ解を生む操作は禁止されることはありませんが、必ずしも保証されないことを明示的な仮定として表現します。
技術スタックと互換性
- 純粋な TypeScript で実装され、外部依存関係はありません。
- DOM を使用せず、Node.js、ブラウザ、Web Worker、ネイティブ Web View など、環境に制限されず動作します。
- iOS / Android アプリ「Wyrm Math」のバックエンドエンジンとしても機能しています。
ライセンスと収益モデル
- エンジン自体は MIT ライセンス。
- 開発の収益源は、「Wyrm Math」というアプリの販売により賄われています。

実装例

import {
  parseEquation, Derivation,
  enumerateMoves, ruleById, layoutNode, exprToString,
} from "wyrm-math";

const d = new Derivation(parseEquation("2x + 3 = 11"));

// ユーザーが合法的に行える操作の列挙
const moves = enumerateMoves(d.current);

// 「3」を等号の右側にドラッグして移動させる
// UI が Move を選択し、エンジンが合法性を保証（事前条件チェック済み）
const move = moves.find((m) => m.ruleId === "move-term-across")!;
d.apply(ruleById(move.ruleId), move.location, move.params);

console.log(exprToString(d.current.equation)); // 出力：2x = 11 + -3

// デザイン用のメトリックテーブルからの配置済みボックス取得
const layout = layoutNode(d.current.equation);

内部構成（API グループ）

公開 API は

src/index.ts

に集約され、以下の 10 つの機能グループに整理されています。

グループ	主な機能と特徴
表現木 (Expression trees)	不変な抽象構文木（AST）を使用。N-ary Sum/Productを採用し、減算や除算の節ノードを持たず、$a-b$ は `Sum(a, Neg(b))` と表現します。
厳密算術 (Exact arithmetic)	大きな整数 (bigint) および有理数を使用。浮動小数点はありません。$\sqrt{2}$ などは近似値ではなく「未定義の点」として扱われます。
評価 (Evaluation)	`truthValue(equation, env)` は、サンプル点で厳密な関係判定を行います（ `=` , `<` , `≤` など）。片方が未定義の場合は `undefined` を返します。
解析と出力 (Parsing & printing)	`parseEquation` ⇄ `exprToString` で丸め出し性質をテスト可能です。暗黙的な乗算や累乗に対応しますが、小数は拒絶します。
判断と仮定 (Judgments & assumptions)	基本単位は `{ assumptions, equation }` です。制限（解の喪失）、拡張（新解の獲得）、固定点（ユーザーの前提）を管理します。棄却された仮定は削除されません。
ルールと導出 (Rules & derivations)	`Rule.apply` だけが方程式を変化させます。導出ログは付加専用木であり、アンロード操作はポインタ移動のみです。分岐（場合分け）はライブな兄弟節にフォークされます。
組み込みルール (Built-in rules)	線形方程式、分配法則、指数法則、不等式処理など、約 25 のルールを備えます。すべてのルールのプロパティテストで仮定の下での解集合尊重を保証します。
移動列挙 (Move enumeration)	`enumerateMoves` は、ハンドル付きの全合法な機能（アフォードンス）を返します。「x=0」をピン留めすると、「x で割る」操作は自動的に無効化されます。
レイアウト幾何学 (Layout geometry)	`layoutNode` は木構造を分数、上付き文字などで配置されたボックスにマッピングします。子ツリーの幾何学は文脈依存せず独立しており、ID キー付けによるアニメーションを実現します。
ルール作成ツールキット	再構築時の ID 保持、不変則修復、差分帳簿管理、新ルールの仮定ライフサイクルクエリを提供します。詳細は `ARCHITECTURE.md` を参照ください。

デザインコミットメント

厳密さ (Exactness)
- すべての算術は bigint 有理数で実行されます。未定義となる点（ゼロ除算、無理数の根など）は近似的ではなく「未定義」として扱われます。
安定した ID (Stable ids)
- すべてのノードに安定した ID が付与され、操作によって子ツリーの ID は保持されます。これにより、レンダラーが剛体としてノードを移動・アニメーションさせることができます。
条件付き妥当性 (Conditional soundness)
- 制限ルールに対しては、仮定を満たさない置換を拒絶し真実の保持を保証します。
- 拡張ルールについては、「解を失わない」ことを弱体化チェックとし、
```
checkSolution
```
  が獲得義務をカバーします。
和集合 (Disjunction)
- 分岐ルール（例：$x^2 = 9 \Rightarrow x=3 \lor x=-3$）は、元の解集合との和集合となる複数の結果を返します。導出ツリーはすべての腕をライブに保ちます。

開発ガイド

ビルドとテストには以下のコマンドを使用してください。

pnpm install
pnpm test        # vitest + fast-check（プロパティテストがプロジェクトの魂）
pnpm typecheck
pnpm build       # dist/ を出力（ESM + d.ts）

重要: エンジンは DOM フリーに保たれている必要があります。
```
tsconfig.json
```
には DOM ライブラリを記載しなくてはいけません。
テスト
```
test/boundary.test.ts
```
は、ソースコードをブラウザグローバル変数でスキャンします。

同じ日のほかのニュース

一覧に戻る →

2026/07/11 7:30

エインシュタインの特殊相対性理論が重元素の化学結合に規則を与える、新しい研究で示された

## Japanese Translation: ブラウン大学のライ・シェン・ワン教授率いる研究チームは、光電子分光法を用いて、炭素とビスマス分子を絶対零度に近い温度まで冷却させ、高校化学における基本的な法則を覆しました。『Science』に発表されたこの研究では、相対性理論が、ビスマスなどの非常に重い元素における結合形成に多大なる影響を与えることを、初めて直接的な実験的事実として示しました。従来のモデルでは三重結合は 1 つのシグマ結合と 2 つのパイ結合から構成されると予測されますが、相対論的効果（具体的にはスピン軌道結合）によりこれらの軌道タイプが混在したり「ばらつき」を示したりします。分析の結果、明確なシグマ結合とパイ結合ではなく、1 つのパイ結合と 2 つのハイブリッド型シグマ・パイ結合を持つ独自の配置が確認されました。この発見は数十年にわたる相対論的効果に関する理論を裏付けたものですが、教育カリキュラムや基礎的な科学的モデルの大幅な更新を必要とします。また、ビスマスは非毒性太陽電池や量子計算に関連するため、これらの発見は新たな技術応用の扉を開く可能性があり、科学者が高度な化学や材料科学に取り組む方法に画期的な転換をもたらすものです。 ## Text to translate: Improved Summary: Brown University chemists, led by Professor Lai-Shens Wang, have overturned a fundamental rule of high school chemistry using photoelectron spectroscopy on carbon-bismuth molecules cooled to near absolute zero. Published in *Science*, their study provides the first direct experimental proof that Einstein's theory of relativity drastically changes bond formation in very heavy elements like bismuth. While traditional models predict triple bonds consist of one sigma and two pi bonds, relativistic effects (specifically spin-orbit coupling) cause these orbital types to mix or "smear" together. Instead of distinct sigma and pi bonds, the analysis revealed a unique configuration with one pi bond and two hybrid sigma-pi bonds. This discovery validates decades-old theories about relativistic effects but necessitates major updates to educational curricula and foundational scientific models. Additionally, because bismuth is relevant to non-toxic solar cells and quantum computing, these findings could unlock new technological applications, marking a pivotal shift in how scientists approach advanced chemistry and material science.

2026/07/11 5:47

Apple が高圧的に訴訟を起こし、旧従業員が商標秘密の漏洩を訴える

## 日本語翻訳: Apple は、米国カリフォルニア北区地方裁判所にOpenAI を告訴し、現在勤務中の従業員および元従業員を巻き込んだ調整された取り組みを通じて商標秘密を窃取したことを同社に非難している。原告は特に、元 Apple の副社長であるタン・タン氏と、シニアエンジニアのチャン・リュー氏を被告として特定しており、不適切な行為は 2024 年初頭およびそれぞれ 2026 年に Apple を離れる前から始まったと主張している。この問題は、ジョニー・アイブ氏のスタートアップである io を 65 億ドルで購入した OpenAI の買収が引き金となり、さらに 50 人以上の元 Apple 社員をその系列に加え、OpenAI に在籍する 400 人を超える現行従業員が以前 Apple との関連を持っていたことに起因して深刻化している。訴訟では、未公開技術に関する機密情報の盗難を経営層が日常業務として認めるという重大な不適切行為の詳細が含まれており、具体的な事例としては、セキュリティ上の脆弱性を活用してエンジニアリングファイル 1,000 ページ以上をダウンロードした事件、新しい従業員に対して「必要と知るだけ」の内部文書にセキュリティプロトコルを含む情報を配布した出来事、および採用面接中に現役 Apple 社員からハードウェア部品を購入するよう勧誘した行為などが挙げられる。また、OpenAI は信頼できるパートナーに対し独自開発されたメタルフィニッシング技術を誤って説明し、サプライヤーに対して内部用語を使用したことも非難されている。Apple はこれらの懸念を 2 月に提起したが、OpenAI から適切な調査がなされることはなかったと述べている。OpenAI が最初の消費者向けハードウェアデバイスの発売に向けて準備を進める中、この法的対立は遅延や損害をもたらす恐れがあり、才能ある労働者が競争相手の間で移動する際に高い情報漏洩リスクがあることへの懸念の中で、AI ハードウェア市場における商標秘密保護の重要な先例を設けるものとなる。 ## テキストを翻訳する: （必要に応じて；そうでない場合は元のテキストを繰り返す）： ## サマリー: Apple は、米国カリフォルニア北区地方裁判所に OpenAI を訴え、現在および元従業員による調整された取り組みを通じて商標秘密を窃取したと非難している。原告は特に、元 Apple の副社長であるタン・タン氏とシニアエンジニアのチャン・リュー氏を被告として特定しており、不適切な行為は 2024 年初頭およびそれぞれ 2026 年に Apple を離れる前から始まったと主張している。この問題は、ジョニー・アイブ氏のスタートアップである io を 65 億ドルで購入した OpenAI の買収が引き金となり、さらに 50 人以上の元 Apple 社員をその系列に加え、OpenAI に在籍する 400 人を超える現行従業員が以前 Apple との関連を持っていたことに起因して深刻化している。訴訟では、未公開技術に関する機密情報の盗難を経営層が日常業務として認めるという重大な不適切行為の詳細が含まれており、具体的な事例としては、セキュリティ上の脆弱性を活用してエンジニアリングファイル 1,000 ページ以上をダウンロードした事件、新しい従業員に対して「必要と知るだけ」の内部文書にセキュリティプロトコルを含む情報を配布した出来事、および採用面接中に現役 Apple 社員からハードウェア部品を購入するよう勧誘した行為などが挙げられる。また、OpenAI は信頼できるパートナーに対し独自開発されたメタルフィニッシング技術を誤って説明し、サプライヤーに対して内部用語を使用したことも非難されている。Apple はこれらの懸念を 2 月に提起したが、OpenAI から適切な調査がなされることはなかったと述べている。OpenAI が最初の消費者向けハードウェアデバイスの発売に向けて準備を進める中、この法的対立は遅延や損害をもたらす恐れがあり、才能ある労働者が競争相手の間で移動する際に高い情報漏洩リスクがあることへの懸念の中で、AI ハードウェア市場における商標秘密保護の重要な先例を設けるものとなる。

2026/07/11 0:59

QuadRF は壁を通してドローンを検知しWiFiも探知可能

## Japanese Translation: QuadRF は、Raspberry Pi 5 と FPGA を中心に構築された高度なフェーズドアレイ無線機であり、ピコ秒単位のタイミングによるリアルタイム信号処理およびビームフォーミングを実現しています。これは、壁を穿つ WiFi ペネトレーションや飛行中のドローン追尾といったアプリケーションを可能にします。動作周波数は 4.9 GHz から 6 GHz の範囲で、RP1 チップの MIPI レーンを通じてデコードされた RF データを 5 Gbps を超える速度でストリーミングし（低遅延 I/Q ストリーミングをサポート）、PCIe コネクタを開放することでストレージまたはネットワーク用途のために Daisy-chain 接続可能です。ユーザーは Pi ホスト WiFiホットスポット経由で http://quadrf/ にアクセスし、VNC ベースの操作方法を使用します；GNU Radio やカスタム AR ビジュアライザーが利用可能です。AR ビジュアライザーは周波数をカラフルな「blobs」としてマップ化し、チャンネルを同定します（例：5.5 GHz チャネル 100）。現在のインターフェースには自動利得制御（AGC）がないほか、テスト中の挙動はある程度不慣れに感じられますが、飛行中の DJI Mini Pro 4 ドローンを成功して追尾しました。開発者は Martin McCormick氏で、以前は SpaceX の Dishy チーム所属でした。このプロジェクトは、政府にのみ以前アクセス可能だった RF 能力を実証することでセキュリティ上のギャップを露呈することを目的としています。ハードウェアは Crowd Supply で 499 ドルという基本キットとして予約販売されています。ケーシングは当初 3D プリント製でしたが、後に射出成形への移行が予定されており、将来的にはモジュールをチェーンして高送出力（最大 1.15 MW EIRP）に到達できるようになる可能性があります。