← 2026-03-02 の一覧へ戻るホーム
**Show HN:** 私は15歳です。AI エージェントの責任を問うために、134,000 行を一括で公開しました。

2026/03/02 7:36

**Show HN:** 私は15歳です。AI エージェントの責任を問うために、134,000 行を一括で公開しました。

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

元のHacker News記事へ ↗
要約▶

Japanese Translation:

サマリー:

Nobulexは、MITライセンスのオープンソースプロトコルを導入し、自律AIエージェントが意図する行動を宣言し、それに従ったことを証明し、逸脱に対して責任を負うことを可能にします。中心となる機能は決定論的な監査関数 

verify(covenant, actionLog)
であり、エージェントのログアクションが契約書（covenant）に記載されたコミットメントと一致するかどうかをチェックします。このシステムは六つのプリミティブ―Identity（固有エージェントID）、Covenant（行動契約）、Attestation（意図の証明）、Action Log（記録されたアクション）、Verification（準拠確認）、Enforcement（違反に対する処罰メカニズム）―に依存しています。EnforcementはTrusted Execution Environment（TEE：安全なハードウェアモジュール）の内部で実行されるか、ブロックチェーン上のステーキングとスラッシングを通じて実施できます。Cedarからインスパイアされたドメイン固有言語とW3C DID標準に基づき、NobulexはEthereum Sepoliaで 
CovenantRegistry
、
StakeManager
、
SlashingJudge
などのスマートコントラクトをデプロイします。TypeScript のデモスクリプトでは、エージェントの作成、契約書設定、実施、および準拠確認が示されています。将来的にはSDKパッケージの拡張、ミドルウェア追加、チェーンサポートの拡大、文書化とアウトリーチによる採用促進を目指します。このフレームワークは開発者にAIエージェントへの検証可能な責任追跡機能を埋め込む手段を提供し、企業が責任を軽減し、AI/暗号資産分野を規制期待と整合させるのに役立ちます。

サマリー骨格

本文の主旨（メインメッセージ）
Nobulexは、自律AIエージェントが暗号的な行動コミットメントを通じて自らの行動を宣言し、証明し、責任を負うことを可能にするオープンソースでMITライセンスのプロトコルです。

根拠／理由（何故こう言われるか）
中心となる監査関数 

verify(covenant, actionLog)
は決定論的に準拠ステータスを返し、Identity、Covenant、Attestation、Action Log、Verification、Enforcement の六つの主要プリミティブがシステムを支えています。二段階保証モデルはTEEミドルウェアまたはステーキング／スラッシングを用いて規則を執行します。

関連ケース／背景（文脈・過去事例・周囲情報）
Nobulex は Cedar に触発されたDSL と W3C DID 標準を構築基盤にし、Ethereum Sepolia 上で 

CovenantRegistry
、
StakeManager
、
SlashingJudge
などのコントラクトをデプロイしています。デモスクリプトは単一の TypeScript ファイル内でエージェント作成、契約執行、および準拠チェックを示します。

今後起こり得ること（将来開発／予測）
さらなる開発では 

@nobulex/sdk
、
cli
、
elizaos-plugin
などのプラットフォームパッケージの拡張、追加ミドルウェア統合、および Sepolia を超えたオンチェーンサポートの可能性が検討されます。ホワイトペーパー、開発者ガイド、ピッチデック、NIST RFI 応答は今後のアウトリーチと採用活動を示唆しています。

影響（ユーザー／企業／産業）
自律エージェントの開発者は検証可能な準拠機能を組み込むことができ、企業は暗号的ログを通じて SLA を執行し責任を軽減できます。広く AI/暗号資産業界は再利用可能なアカウンタビリティフレームワークを手に入れ、規制との整合性を高めることが期待されます。

本文

Nobulex – AI エージェントのアカウンタビリティ・プリミティブ

信頼不要な検証を備えた暗号学的行動コミットメント。

概要

Nobulex はオープンソースプロトコル（MIT）で、自治型 AI エージェントが「何をするか」「何をしないか」を宣言し、その遵守を証明し、失敗した場合には経済的罰則を受けることを可能にします。HTTPS が e‑commerce を信頼できるようにしたのと同様に、Nobulex はエージェント行動を信頼できるものにします。

コアインサイト

ニューラルネットワークそのものは直接監査できませんが、宣言されたコミットメントに対する実際の行動を監査できます。

verify(covenant, actionLog) → { compliant: boolean, violations: Violation[] }
  • 常に決定可能で、確定的かつ効率的です。

クイックスタート

npm install @nobulex/identity @nobulex/covenant-lang \
           @nobulex/middleware @nobulex/verification

import { createDID } from '@nobulex/identity';
import { parseSource } from '@nobulex/covenant-lang';
import { EnforcementMiddleware } from '@nobulex/middleware';
import { verify } from '@nobulex/verification';

// 1. エージェントのアイデンティティを作成
const agent = await createDID();

// 2. DSL で covenant を記述
const spec = parseSource(`
  covenant SafeTrader {
    permit read;
    permit transfer (amount <= 500);
    forbid transfer (amount > 500);
    forbid delete;
  }
`);

// 3. ミドルウェアで強制
const mw = new EnforcementMiddleware({ agentDid: agent.did, spec });

await mw.execute(
  { action: 'transfer', params: { amount: 300 } },
  async () => ({ success: true })
); // → 実行可

await mw.execute(
  { action: 'transfer', params: { amount: 600 } },
  async () => ({ success: true }) // 実際には走らない
); // → covenant によってブロック

// 4. 遵守を検証
const result = verify(spec, mw.getLog());
console.log(result.compliant);   // true
console.log(result.violations);  // []

六つのプリミティブ

#プリミティブ概要パッケージ
1IdentityW3C DID (did:nobulex:) + Ed25519 キー
@nobulex/identity
2CovenantCedar 風 DSL: permit / forbid / require
@nobulex/covenant-lang
3AttestationVC でエージェントと covenant を結びつける
@nobulex/core-types
4Action LogSHA‑256 ハッシュチェーンで改ざん検知可能な記録
@nobulex/action-log
5VerificationDeterministic な 
verify(covenant, log)
@nobulex/verification
6Enforcementオンチェーンでのステーキング／スラッシング（段階的）
@nobulex/contracts

二層保証モデル

Tierメカニズム保証内容適用場面
1TEE ミドルウェア (Intel SGX / AMD SEV)禁止行動は物理的に実行不可高リスク: 金融、医療、法務
2ステーキング／スラッシング（オンチェーン）違反が経済的非合理化になる一般用途: 商取引・データアクセス

アーキテクチャ

┌───────────────────── Platform ────────────────────┐
│ cli · sdk · elizaos-plugin                         │
├────────────────────────────────────────────────────┤
│ Covenant Primitives                                 │
│   ┌──────────┐  ┌──────────────┐  ┌────────────┐     │
│   │ identity │  │ covenant‑lang│  │ action‑log │     │
│   └──────────┘  └──────────────┘  └────────────┘     │
│                                                     │
│   ┌─────────────────┐  ┌────────────────────┐  ┌───────────────┐
│   │ middleware      │  │ verification       │  │ composability │
│   │ (pre‑exec)      │  │ (post‑hoc)         │  │ (trust graph) │
│   └─────────────────┘  └────────────────────┘  └───────────────┘
│                                                     │
│   ┌─────┐  ┌─────────────────┐                      │
│   │ tee │  │ contracts       │                      │
│   │(SGX)│  │ (Solidity)      │                      │
│   └─────┘  └─────────────────┘                      │
├────────────────────────────────────────────────────┤
│                    Foundation                        │
│ core-types · crypto · evm                           │
└────────────────────────────────────────────────────┘

Covenant DSL

covenant SafeTrader {
  permit read;
  permit transfer (amount <= 500);
  forbid transfer (amount > 500);
  forbid delete;
  require counterparty.compliance_score >= 0.8;
}
  • forbid が優先: マッチする 
    forbid
    は許可を上書きし、行動をブロックします。
  • 未マッチのアクションはデフォルトで拒否されます。
  • 条件式は数値・文字列・真偽値に対して 
    >
    , 
    <
    , 
    >=
    , 
    <=
    , 
    ==
    , 
    !=
    をサポート。

コアパッケージ (9)

パッケージ説明
@nobulex/core-types
六つのプリミティブに対する TypeScript インターフェース
@nobulex/identity
W3C DID 作成、Ed25519 署名、DID ドキュメント管理
@nobulex/covenant-lang
Lexer・Parser・Compiler・Serializer
@nobulex/action-log
Merkle 証明付きハッシュチェーンアクションログ
@nobulex/middleware
実行前の強制（禁止アクションをブロック）
@nobulex/verification
後処理での確定的遵守チェック
@nobulex/composability
Covenant 互換性、エージェントマッチング、信頼トポロジー
@nobulex/tee
SGX・TDX・SEV‑SNP 用 TEE アテステーション（DID バインディング）
@nobulex/contracts
Solidity ステーキング／スラッシング契約 + TS バインディング

プラットフォームパッケージ

パッケージ説明
@nobulex/sdk
すべてのプリミティブを統合した API
@nobulex/cli
コマンドライン (
nobulex init
, 
verify
, 
deploy
, 
inspect
)
@nobulex/elizaos-plugin
ElizaOS プラグイン: アクション、評価器、プロバイダー

オンチェーン契約 (Solidity)

Ethereum Sepolia にデプロイされた 3 つのコントラクト：

コントラクト用途
CovenantRegistry
Covenant ハッシュを登録し重複を防止
StakeManager
Covenant への ETH ステーク、違反時にロック／スラッシング
SlashingJudge
違反提出・ペナルティ計算（段階的）

ライブデモ

npx tsx demo/covenant-demo.ts

スクリプト内で 2 つのエージェントを作成し、covenant を書き、ミドルウェアで強制、禁止転送をブロック、遵守検証まで一連の流れを実行します。

開発

git clone https://github.com/agbusiness195/NOBULEX.git
cd NOBULEX
npm install
npx vitest run    # 6,062 tests, 112 files, 0 failures

ドキュメント

  • ホワイトペーパー – プロトコル仕様の正式文書
  • Getting Started – 開発者向けガイドとコード例
  • Pitch Deck – 12 スライドでまとめた概要
  • NIST RFI Response – AI エージェントセキュリティ立ち位置

比較表

BitcoinEthereumNobulex
信頼対象金銭転送コントラクト実行エージェント行動
信頼メカニズムプルーフ・オブ・ワークプルーフ・オブ・ステークプルーフ・オブ・コンプライアンス
検証対象取引の有効性状態遷移行動コミットメント
保証金銭的信頼契約上の信頼エージェントの信頼

リンク

ライセンス: MIT

同じ日のほかのニュース

一覧に戻る →

2026/02/25 5:08

**誰とでも上手に話す方法 – なぜそれが重要なのか** 1. **本物の笑顔から始める** - 温かい表情はオープンさを示し、相手に安心感を与えます。 2. **開放的な質問を投げかける** - 「いい一日だった？」ではなく「今週で特に印象に残ったことは何ですか？」と尋ねると、より深い対話が生まれます。 - 開放的な質問は会話の幅を広げます。 3. **積極的に聴く** - 頭を縦に振り、目線を合わせ、相手の言葉をパラフレーズすることで関心を示します。 4. **共通点を見つける** - 共有できる趣味や経験は瞬時に信頼感を生み出します。 5. **名前を使う** - 会話の中で相手の名前を数回繰り返すと、結び付きを強めます。 6. **身振りをリラックスさせる** - 腕を組むことは避け、少し前かがみになることで関心を示します。 7. **自分のことも少し語る** - 脆弱性を共有することで相互理解と信頼が育まれます。 8. **ポジティブに締めくくる** - 交流を明るい雰囲気で終えると、次回の接触につながります。 --- ### このスキルを習得すべき理由 - **より強固な関係を築ける** – 個人的・職業的な場面問わず、良好なコミュニケーションは絆を深めます。 - **ネットワーキングの機会が広がる** – 聴き手として真摯に関わる人は記憶に残ります。 - **自信が高まる** – 会話をスムーズに進められると、社交不安が軽減します。 - **チームワークが向上する** – 明確で敬意のある対話は協力を円滑にします。 - **影響力が拡大される** – 上手な会話術を持つ人は、説得・リーダーシップが自然と発揮できます。 誰とでも上手に話す技術を身につければ、より豊かな人間関係、広がる機会、そしてあらゆる社会的場面で自信ある存在感へとつながります。

## Japanese Translation: 記事は、日常的な公共の会話が消えつつあると主張し、その崩壊が社会的絆や個人の幸福を脅かすと警告しています。まず、70代の女性が空席の電車内で対話を始めるという鮮烈な逸話と、ソウル出身のウェイトレスがレストランで見知らぬ客と会話をするエピソードを紹介し、まだ存在する「無言のコード」がどのように人々をつなげているかを示しています。著者はテクノロジー（タッチスクリーンやリモートワーク）、パンデミックによる制限、そして強化された社会規範がこのコードを締め付け、「グローバル・レラショナル・リセッション」（Esther Perel が呼ぶ）を招いていると考察しています。 個人的な障壁としては、神経多様性、内向性、目線の不快感、小談嫌いなどが挙げられ、専門家の警告も併せて紹介されます。Dr. Jared Cooney Horvath は Gen Z の認知遅延を指摘し、Dr. Rangan Chatterjee は低自尊心と子どもの会話スキルの低下との関連性を示唆しています。ソーシャルメディアでの実験（例：「見知らぬ人と話す」動画）はパフォーマンス化し、疎外感を高めると批判されています。 研究は恐怖論に対抗します。バージニア大学の調査では、人々が見知らぬ人と話すことへの不安を過大評価していると示され、実際には短時間の交流を期待以上に楽しむケースが多いと報告されています。スタンフォード大学/Prof. Jamil Zaki の研究は、学生が「許可」と「アプローチしやすさ」のリマインダーを必要としており、疲労や失望の恐れは誇張されていることを付け加えています。 トレンドを逆転させるために記事では低リスク戦術を提案しています：人間味のある行動、社会的合図の読み取り、「ノー・ジム・フリー」カードの提供、そして日常的な小談の奨励。習慣を失うと社会分断が深まり、回復すればメンタルヘルス、職場チームワーク、コミュニティ結束が向上する可能性があります。読者に対し、衰退が不可逆的になる前に今すぐ会話を始めるよう促しています。 ## Text to translate ** The article argues that casual public conversation is vanishing—an erosion that threatens social bonds and personal well‑being. It begins with two vivid anecdotes: a woman in her 70s striking up dialogue on an empty train carriage, and a waitress from Seoul engaging a stranger at a restaurant, illustrating the everyday “unwritten code” that still allows strangers to talk. The author reflects on how technology (touchscreens, remote work), pandemic restrictions, and reinforced social norms have tightened this code, leading to what Esther Perel calls a *global relational recession*. Personal barriers are highlighted—neurodivergence, introversion, eye‑contact intolerance, and small‑talk aversion—alongside expert warnings: Dr. Jared Cooney Horvath notes Gen Z’s cognitive lag, while Dr. Rangan Chatterjee links low self‑worth to poor conversational skills in children. Social‑media experiments (e.g., “talking to strangers” videos) are critiqued for being performative and alienating. Research counters the fear narrative: a University of Virginia study shows people overestimate their anxiety about talking to strangers; most actually enjoy brief interactions more than expected. A Stanford/Prof. Jamil Zaki study adds that students need permission and reminders of approachability, and fears of exhaustion or disappointment are exaggerated. To reverse the trend, the article suggests low‑stakes tactics: humanising acts, reading social cues, giving “get‑out‑of‑jail‑free” cards, and encouraging everyday small talk. Losing this habit could deepen societal division; restoring it can improve mental health, workplace teamwork, and community cohesion. The piece urges readers to start conversations now—before the decline becomes irreversible.

2026/03/02 6:33

量子力学の謎は、解明し始めているのでしょうか？

## Japanese Translation: ## 要約 ウオイチェフ・ズレク（Wojciech Zurek）の2025年の著書『Decoherence and Quantum Darwinism』は、**環境との普遍的な絡み合いによる量子コヒーレンスの急速な喪失であるデコヒーレンスと、新たに提唱された「Quantum Darwinism」という概念が組み合わさることで、推測的な仮説や崩壊メカニズムを導入せずに、量子力学から古典的現実がどのように生まれるかを説明する**と提案している。 - **仕組み：** デコヒーレンスは極めて短い時間スケール（例：塵粒であれば \(10^{-31}\) s）で起こり、重ね合わせ状態が多数の環境自由度に拡散する。これらの重ね合わせは実質的に観測不可能になる一方で、位置や電荷といった**ポインタ状態**（pointer states）は残存し、環境へ繰り返し写像される。 - **Quantum Darwinism：** こうした安定記録の拡散は自然選択に例えられ、最も頑強なポインタ状態が客観的に実在するとみなされる。これは多様な環境断片から多数の観測者がアクセスできるためである。例えば、太陽光子が塵粒の位置をマイクロ秒単位で約 \(10^7\) 回写像する実験は、システムに関する情報のほとんどが少数のコピーから取得可能であり、急速に飽和することを確認している。 - **解釈的バランス：** ズレクの枠組みは、認識論（コペンハーゲン）と実在論（多世界）の両方を調整し、デコヒーレンス以前の状態を「エピオニック」可能性として扱い、デコヒーレンス後にのみ観測可能になるとする。著書は標準量子力学内で測定問題を再構成し、追加的な仮説や実体論的存在を導入しない。 - **批評と称賛：** サリー・シュラプネル（Sally Shrapnel）は古典的現象の説明の優雅さを賞賛するが、デコヒーレンス以前の「量子基底」の性質は未だ不明である点に触れている。レナート・レンナー（Renato Renner）はQuantum Darwinism でも観測者間で結果に合意できないシナリオが存在し、解釈上の問題が残ると指摘している。 - **未解決課題：** 任意の測定でどのように特定の結果が選択されるか、量子―古典境界が正確にどこにあるか、およびより厳密な検証を設計する方法など、依然として課題が残っている。 ズレクの総合的見解は、偶発的な崩壊メカニズムを用いずに量子確率からユニークな古典世界がどのように現れるかについて、完全で検証可能な説明を提供している。

2026/03/02 6:56

ビッグブレックファーストが食欲と腸内環境を変える

## Japanese Translation: **要約** 28日間の無作為化試験では、19名の肥満成人を対象に、高繊維（HFWL）と高タンパク質（HPWL）の2種類の朝食が体重減少と腸内環境に与える影響を調査しました。すべての食事は提供され、両方のダイエットでカロリーは朝45％、午後35％、夕方20％に分配されました。HFWLを摂取した参加者は平均-4.87 kgとHPWLよりも多く体重が減少しました（-3.87 kg）。高繊維朝食は、ビフィドバクテリア、ファーセリカチュラ・レイボルジアなどの有益な腸内細菌へシフトし、すべてブチル酸生成菌でした。一方、高タンパク質朝食は一日を通じて主観的な空腹感をより効果的に抑制しました。これらの結果は、朝食の構成がカロリー制限下での満足感と腸内微生物叢に影響を与えることを示しています

**Show HN:** 私は15歳です。AI エージェントの責任を問うために、134,000 行を一括で公開しました。 | そっか～ニュース