← ホームに戻る24 件のニュース

2026-05-17

日付別ニュース一覧

カードをクリックすると全文、Hacker Newsのリンクから元記事へ移動できます。

日付で読む
05/172026-05-1705/162026-05-1605/152026-05-1505/142026-05-1405/132026-05-1305/122026-05-1205/112026-05-1105/102026-05-1005/092026-05-0905/082026-05-0805/072026-05-0705/012026-05-0104/302026-04-3004/292026-04-2904/282026-04-2804/272026-04-2704/262026-04-2604/252026-04-2504/242026-04-2404/232026-04-2304/222026-04-2204/212026-04-2104/202026-04-2004/192026-04-1904/182026-04-1804/172026-04-1704/162026-04-1604/142026-04-1404/132026-04-1304/122026-04-1204/112026-04-1104/102026-04-1004/092026-04-0904/082026-04-0804/072026-04-0704/062026-04-0604/052026-04-0504/032026-04-0304/022026-04-0204/012026-04-0103/312026-03-3103/302026-03-3003/292026-03-2903/282026-03-2803/272026-03-2703/262026-03-2603/252026-03-2503/242026-03-2403/232026-03-2303/222026-03-2203/212026-03-2103/202026-03-2003/192026-03-1903/182026-03-1803/172026-03-1703/162026-03-1603/152026-03-1503/142026-03-1403/132026-03-1303/122026-03-1203/112026-03-1103/102026-03-1003/092026-03-0903/082026-03-0803/072026-03-0703/062026-03-0603/052026-03-0503/042026-03-0403/032026-03-0303/022026-03-0203/012026-03-0102/282026-02-2802/272026-02-2702/262026-02-2602/252026-02-2502/242026-02-2402/232026-02-2302/222026-02-2202/212026-02-2102/202026-02-2002/192026-02-1902/182026-02-1802/172026-02-1702/162026-02-1602/142026-02-1402/132026-02-1302/122026-02-1202/112026-02-1102/102026-02-1002/092026-02-0902/082026-02-0802/072026-02-0702/062026-02-0602/052026-02-0502/042026-02-0402/032026-02-0302/022026-02-0202/012026-02-0101/312026-01-3101/302026-01-3001/292026-01-2901/282026-01-2801/272026-01-2701/262026-01-2601/252026-01-2501/242026-01-2401/232026-01-2301/222026-01-2201/212026-01-2101/202026-01-2001/192026-01-1901/182026-01-1801/172026-01-1701/162026-01-1601/152026-01-1501/142026-01-1401/132026-01-1301/122026-01-1201/112026-01-1101/102026-01-1001/092026-01-0901/082026-01-0801/072026-01-0701/062026-01-0601/052026-01-0501/042026-01-0401/032026-01-0301/022026-01-0201/012026-01-0112/302025-12-3012/292025-12-2912/282025-12-2812/272025-12-2712/262025-12-2612/252025-12-2512/242025-12-2412/232025-12-2312/222025-12-2212/212025-12-2112/202025-12-2012/192025-12-1912/182025-12-1812/172025-12-1712/162025-12-1612/152025-12-1512/142025-12-1412/132025-12-1312/122025-12-1212/112025-12-1112/102025-12-1012/092025-12-0912/082025-12-0812/072025-12-0712/062025-12-0612/052025-12-0512/042025-12-0412/032025-12-03
MCP はようページ

MCP はようページ

## Japanese Translation: HybridLogic は、ユーザーが直面している摩擦(直接ブラウザ経由で Model Context Protocol (MCP) サーバーにアクセスすると、生の JSON を伴う 401 Unauthorized エラーが表示されるという混乱を引き起こす問題)を解消しました。根本的な原因は、ユーザーが MCP エンドポイントをブラウザで開こうとするのではなく、LLM クライアントに統合しようとしていた点にあります。エンジニアらは、軽量かつ「ハック的」なリダイレクトを実装し、Accept ヘッダーが text/html を示すが application/json または text/event-stream を示さない場合に GET /mcp リクエストに対して HTML ページを返すようにしました。このページは、ユーザーがブラウザで表示する代わりにサーバーを LLM クライアントに追加することを案内します。デプロイ以降、サポートチケットは大幅に減少し、顧客サクセスの満足度が向上し、統合も早まりました。この解決策には運用負荷は一切必要なく、すべてのクライアントに対してコネクタを構築することなく、MCP 仕様の制限を補完するための手動アプローチの有効性を検証しました。AI も追跡もなく Luke Lanchester が作成した HybridLogic のホームページでは、顧客がより素早く環境整備を開始できるようになり、進化している仕様と現実世界のオンボーディングの間の不満に対処しています。

2026/05/17 7:25
キオクシアとデルが、薄型の 2 ラックユニット(2 RU)サーバーに 10 ピタバイトのストレージを収容することに成功。

キオクシアとデルが、薄型の 2 ラックユニット(2 RU)サーバーに 10 ピタバイトのストレージを収容することに成功。

## Japanese Translation: Dell は、AMD EPYC 9005 プロセッサを搭載し、最大 5 個の 400 Gbps NIC をサポートする新型 PowerEdge R7725xd サーバーに、Kioxia の高容量 QLC SSD「LC9」を統合しました。1 台あたりに E3.L フォーマットの 245.76 TB NVMe ドライブを 40 個使用することで、コンパクトな 2 RU フットプリント内で驚異的な 9.8 ペタバイトの総容量を実現しています。Dell の「コンピューティングおよびネットワーク担当執行副社長」Arun Narayanan氏によれば、この設計は AI インフラのスケーリングに不可欠なストレージ密度と電源効率を最適化しています。また、Kioxia アメリカの SSD 事業部の「執行副社長兼統括経営責任者」Neville Ichhaporia氏は、「顧客は物理空間のごく一部で巨大なインジェストストリームを展開することで、総保有コスト(TCO)を大幅に改善できます」と指摘しており、このサーバーを 20 台搭載したラックでは最大 196 PB のストレージを収容可能です。Micron(6600 ION)、SanDisk(UltraQLC SN670)、SK Hynix の Solidigm(AIN D)が独自の 256 TB クラスのドライブを開発し、Samsung は 1 PB のロードマップへ進んでいる中で、Dell がこのコンパクトな QLC 技術を採用することは、現代の AI デプロイメントに不可欠な高密度ストレージソリューションへの中道的な歩みとなります。 ## 欠落している要素(ある場合): * 競合他社の特定の製品名(Micron 6600 ION、SK Hynix AIN D、SanDisk UltraQLC SN670)および Samsung のロードマップ詳細は省略されています。 ## 推測・飛躍(ある場合): 重要なのは無し;要約は提供された点を正確に反映しており、根拠のない主張を行っていません。

2026/05/17 2:12
Windows Subsystem for Linux(WSL)

Windows Subsystem for Linux(WSL)

## Japanese Translation: WSL9x は、再ブートなしで Windows 9x カーネル内に最新の Linux カーネル バージョン 6.19 を協調的に実行する革新的なプロジェクトです。標準的な仮想化とは異なり、本システムはユーザースペースではなくスーパーバイザーモード(リング 0)で動作し、Windows 9x API を直接呼び出すことで古いオペレーティングシステムの深刻なハードウェア制限を回避します。このシームレスな統合は、以下の 3 つの主要コンポーネントにより実現されています:修正済み Linux カーネル(win9x-um-6.19 ブランチから)、専用 VxD ドライバ、DOS ベースのクライアントプログラム (`wsl.com`) です。特に重要なのは、元々の中断ベクトルテーブルでは適切なシステムコールに不十分なため、`int 0x80` の相互作用を効率的に管理するためにはジェネラルプロテクションフォルトハンドラへの依存である点です。Linux カーネルはユーザモード Linux から派生しており、リング 0 で実行するように変更されています。複雑な Windows 9x カーネル統合とコンテキストスイッチング論理の大部分はこのカスタムレイヤーに存在します。環境を設定するには、クライアントを起動する前にANSI ドライバ(例:`nnansi.com`)をロードし、色などのターミナル出力機能をサポートする必要があります。また、利用可能なシステムを作成するには、事前にインストール済み Windows 9x ベースイメージ (`hdd.base.img`) からハードディスクイメージ (`hdd.img`) を構築して生成する必要があります。本書全体は GPL-3 ライセンスの下で配布されており、ユーザーにはソフトウェアを修正し共有する明確な法的権利が保証され、そのオープンソース性が維持されています。

2026/05/13 19:37
私は、オープンソースプロジェクトのバウンティ(報酬)を活用して収益を得ようと、Claude にその方法を試みました。

私は、オープンソースプロジェクトのバウンティ(報酬)を活用して収益を得ようと、Claude にその方法を試みました。

## 日本語訳: 本分析の主な結論は、Algora などのプラットフォームにある公開型のオープンソース・ブounty(賞金)市場が実質的に飽和状態に達したという点である。監督下のない AI エージェントが 16.88 ドルの GitHub 賞金を獲得するという viral な主張を再現しようとした試みは失敗に終わり、その理由としてより速く動作する競合エージェントが存在し、これらが数分で利用可能な issue の大半を入手してしまうため、メンテナンスパイプラインが解決策の質にかかわらず遅れた提出を拒否するようになったからである。このボトルネックにより、「熟した」候補者(14 日以上も沈黙があり、開かれた PR が存在しない issue)は公開ボード上でますます不足している。80 の新しい issue の分析では、大半の有効な候補者はすでに_claimed_されていたか、ロックアウトされていることが確認され、元々の viral な勝利はおそらく公開の「ファイアホース(情報流)」ではなくプライベートプラットフォームから来たと考えられる。さらに、他者が利益性の高い "$506 の稼働率" を引用するが、これは定額制サブスクリプションで 30 の並列エージェントを想定したものであり、単スレッドのトークンコストは試行ごとの経済性を非収益的であるものとしている。したがって、組織側は bounty を無許可で奪い取られた場合に対処するため、予約ラベルの使用、採用ゲートの導入、およびインタビューなしでのブounty 獲得を禁じるアカウント禁止策などに取り組んでいる。将来的な成功には、プライベートプログラム(例:HackerOne や Bugcrowd)への焦点シフトと、自律的な Claim を Fleet を通じて試みる前に信頼されたコントリビューターとなることを優先する必要がある。`scout.py` というツールは Algora ラベル付きの issue を列挙するために構築され、市場が spam であり、飽和した試み、およびロックアウトされた issue に支配されており、AI エージェントにとっての利用可能な機会が少ないことが示されている。

2026/05/17 7:13
Bazel に、コンテンツ定義によるチャンキング機能が追加されました。

Bazel に、コンテンツ定義によるチャンキング機能が追加されました。

## Japanese Translation: BuildBuddy の新しいリモートキャッシュ機能は、Bazel 8.7 または 9.1+ で `--experimental_remote_cache_chunking` フラグを有効にする場合、コンテンツ定義チャンキング(CDC)を使用してデータ転送コストとストレージコストを大幅に削減します。従来の手法ではわずかなソースコードの変更であっても全体として新しいファイルとみなされ、バイナリ、バンドル、またはアーカイブの完全な再アップロードが強制されるのに対し、CDC は大規模な出力内容を固定位置ではなくコンテンツハッシュに基づいてチャンクに分割することで知能的に対応します。BuildBuddy の自身のリポジトリでのテストでは、CDC が書き込まれたバイトの約 85%を重複排除し、わずか 2 週間で約 300 TiB の重複データを削減するとともに、ディスクキャッシュの使用量を 40%削減しました。このシステムは、`SplitBlob`(読み込み用)および `SpliceBlob`(書き込み用)という新しいリモート API を通じて実現しており、クライアントは欠けているチャンクのみを転送できるようにしています。BuildBuddy はこれらのチャンクを標準的な CAS エントリとして保存し、元の blob のダイジェストをキーとして再構成メタデータを紐付け、バazel の結合キャッシュを利用してチャンク化されたパスを重複するメモリー内のコピーなしに調整します。このアプローチはリンキングやパッケージングなどバイト安定性の高いタスクには非常に効果的ですが、tar.gz などの圧縮フォーマットのようにコンテンツが頻繁に変化する形式では効率が低くなります。

2026/05/14 5:57
『Halt and Catch Fire』

『Halt and Catch Fire』

## Japanese Translation: 「Halt and Catch Fire」(以下 HCF)という用語は、標準的なリセット操作では回復できない状態に CPU を停止させるマシンコードを指します。この項書の語源の一端は、特定の無効なオペコードを検出すると磁気コアメモリへのアクセスを継続的に実行し、結果として IBM System/360 が過熱して文字通り火を引くようになったことにあります。1977 年に BYTE マガジンに掲載されたジェリー・ウーラー(Gerry Wheeler)の『未文書化された M6800 インストラクション』では、Motorola 6800 のオペコード $9D および $DD がチップをハードウェアカウンタのように振る舞わせることを指摘しており、メモリを順次読みながらリセットまでカウントし続ける効果を表すこととしてウーラーは「Halt and Catch Fire」という助覚語(mnemonic)を考案しました。他のエンジニアも独自の愛称を使用しており、例えばデイヴィッド・J・アガンス(David J. Agans)はオペコード DD を「Drop Dead」インストラクションと呼んでいました。1985 年の IEEE アーティクルでは、内部で HACOF という愛称を持つ不正な MC6800 オペコードについても言及されており、これは顧客が RAM のスキャンを許可して修理コストを支払わせないようにする機能として利用されていました。技術的には、これらのオペコードはプログラムカウンタを無限に増やし続けながらメモリードアウトを発行し、初期システムでは不安定なビデオハードウェアにより視覚的な「ノイズ(snow)」として現れる場合があります。現代の分析では、カウントパターンの開始前に短い遅延が観察されることが示されています。Motorola を主要な例としましたが、類似の振る舞いは 6502 の不正なオペコードにも存在し、後にファズジングによって発見された Pentium(F00F)および最新の x86 プロセッサでも確認されています。「Halt and Catch Fire」はかつて、「EPI」、「DC」、「CRN」などの他のプログラミング界のユーモアに基づく 3 文字の助覚語と並んで集められていました。現在、研究者や愛好家はこれらの文書化されていないオペコードをスキャン、実験室的測定、歴史的研究を通じて引き続き調査しており、これは高レベルの抽象化が存在しても、生なマシンコードが潜在的なシリコン上の問題を露呈させ得、それが機能特性へと転換する可能性があるか、あるいはセキュリティ脆弱性を引き起こす可能性もあることを示唆しています。

2026/05/17 3:16
Tailwind から距離を置き、CSS の構造化について学ぶようになりました。

Tailwind から距離を置き、CSS の構造化について学ぶようになりました。

## Japanese Translation: Tailwind CSS を 8 年間使用した後、著者は保守負荷の増大に対処しビルドシステムの複雑性を低減するために、2 つの長期運用ウェブサイトを見送りを语义 HTML およびバニラ CSS に移行しました。この哲学的な転換は、「Tailwind と CSS の女性性」という論文における「重厚なフレームワークがコアとなる CSS 専門知識を損なう」という懸念から発せられ、巨大なファイルへの依存や外部ライブラリへの依存を避けることを目指しています。 新しいアーキテクチャはユーティリティクラスよりも语义構造を優先しつつ、重要な機能を精選して保持しています:Tailwind のリセットスタイル(例:`box-sizing`)や `.sr-only` といった特定のユーティリティは一貫性の確保のためそのまま維持され、色は集約された `colours.css` ファイルで定義され、Tailwind に由来するフォントサイズの変数も併せて定義されます。不整合なマージンを使用せずに効率的にスペースを扱うために、「owl セレクター」戦略が採用され、レスポンシブデザインでは従来のメディアクエリではなく CSS Grid の機能(例:`auto-fit`)が依存しています。 将来への展望として、プロジェクトは共通パターンを集約し最小限のグローバルベーススタイルへと統合するためのボトムアップのアプローチを計画しています。開発ワークフローにはネイティブ ES モジュールが利用され、本番コードは静的な Go バイナリ `esbuild` を用いてバンドルされます。この戦略により、グローバル CSS ルールの最小化でサイト間の一貫性が確保されるとともに、巨大で最適化されていないファイルの蓄積を防止し、将来の保守のための持続可能なモデルを確立します。

2026/05/16 18:14
第三つのハード・プロブレム

第三つのハード・プロブレム

## 日本語翻訳: 本文で扱われている核心的課題は「ツリーマッピング」であり、複雑な情報のネットワークを硬直した階層に強制する際に、元々の接続が必ず歪んでしまうという困難な問題である。ツリーはデータベースの B ツリーやコンパイラのアブストラクト・シンタックスツリーなどの形式的構造を通じて物理空間を表現することには自然に適応しているが、重要なリンクを犠牲にして思想的な微妙さを捉えられないことが多い。組織化と複雑さの間にあるこの緊張関係を管理するためには、開発者がツリーベースのモデルを採用する際に、どの関係性を平坦化するか、あるいは捨てるかを意図的に決定せねばならない。この必要性は、生物学が単純な特性からクラディスティクスへ移行した歴史的変化、文学による都市計画への人工性の批判、そして Google の Bazel ビルドシステムのような工学上のジレンマなどによって示される。現在の影響範囲にはデータベースモデリング、Rust の借用チェックアロガの論理、`node_modules` などのディレクトリレイアウトが含まれる。今後、この分野はノード間のリンクをどのように削除するかについて決断を下すことで、構造的秩序と情報の複雑さのバランスを目指していく。究極的には、より優れた戦略により、業界はデータを構造化するプロセスにおいて重要な関係を失うことなく膨大なデータを整理することが可能となる。

2026/05/14 22:00
アニセル・ボルテメータ式時計

アニセル・ボルテメータ式時計

## Japanese Translation: このプロジェクトでは、Baomain の汎用 65C5 パネル電圧計を 3 個再利用し、時刻を連続的に表示するユニークなデジタル時計を導入します。通常のデジタル時計が秒ごとに数字を点滅させるのとは異なり、本設計では AVR128DB28 マイコンとソフトウェア制御の高周波パルス列を用いてアナログメーターを滑らかに駆動させ、ハードウェア DAC を使用せずに動作します。各メーターは Amazon で約 9 ドルで販売されており、MCU、結晶振子(ECS-80-18-4X-CKM)を含むその他の部品を加えると、合計費用は約 27 ドルです。時計はタイマー中断を介して 10 Hz カウンターを進めるとともに、出力ピン PC0~PC2 を手動で切り替えることでメーターの位置を設定します。背面の時定調整用プッシュボタンは PD6 および PD7 で制御されます。製作には CNC で加工された前面・背面パネルが採用されており、側面の曲線形状はスチームジグを使用せずに木材内部にノッチを切り込み曲げる方法で作成し、外部合板テンプレートで組み立て後にニトロセルロールラッカーで密封されています。独自のカスタム印刷用 PDF テンプレートは、時計盤には 13 の区画(0~12)、分計・秒計にはそれぞれ 61 の区画(00~60)を定義し、滑らかな連続運動を可能にします。2019 年のバージョンに基づいて改訂され、本改良版はアクセシビリティと精度を向上させ、一般の工業部品から機能的アートを作成するためのアファードルブーイストへの手段を提供します。11:59:59 の円滑なロールオーバーを示す動画デモが利用可能です。 ## Text to translate: This project introduces a unique digital clock built by repurposing three generic Baomain 65C5 panel voltmeters to display time continuously. Unlike standard digital clocks that flicker numbers between seconds, this design uses an AVR128DB28 microcontroller and software-controlled high-frequency pulse trains to drive the analog gauges smoothly without hardware DACs. Each meter is priced at about $9 on Amazon; including the MCU, crystal (ECS-80-18-4X-CKM), and other components, the total cost is around $27. The clock advances a 10 Hz counter via timer interrupts and manually toggles output pins PC0–PC2 to set meter positions, while PD6 and PD7 control pushbuttons on the back for time setting. Construction features CNC-milled front and back faces; curved side walls were formed by cutting internal notches in wood to allow bending without a steam jig, then assembled with an external plywood template and sealed with nitrocellulose lacquer. Custom printable PDF templates define hour divisions (13 divisions: 0–12) for the hour gauge and 61 divisions (00–60) for minute and second gauges to enable smooth continuous motion. Building on a 2019 iteration, this revised version improves accessibility and precision, offering hobbyists an affordable way to create functional art from common industrial parts. A video demonstration of the seamless rollover at 11:59:59 is available.

2026/05/17 7:45
デルタ・メモリ:大規模言語モデルのための効率的なオンラインメモリ

デルタ・メモリ:大規模言語モデルのための効率的なオンラインメモリ

## Japanese Translation: 本論の核心は、コアアーキテクチャを変更せず、長期動作エージェントシステムを大幅に強化する軽量なメモリ機構である「δ-mem」の導入にあります。過去の情報圧縮を $8\times8$ の固定サイズ状態行列化し、生成時にロウアウト(readout)によって低ランク補正を適用することで、フルファインチューニングやバックボーン置換に伴う高計算コストを回避します。この手法は、既存の非δ-mem ベースラインに対して正確に $15\%$ の性能向上を実現し、フrozen バックボーンとの比較ではスコアが $1.10$ 倍、最も強力なベースラインとの比較では $1.15$ 倍という超過 $10\%$ の向上を達成します。MemoryAgentBench や LoCoMo など専門ベンチマークで検証され(それぞれ $1.31\times$ と $1.20\times$ のスコアを得る)、メモリ負荷の高いタスクにおいて極めて有効であることが示されました。従来の文脈拡張や明示的なモデル修正を必要とする手法とは異なり、δ-mem は最小限の関連記憶状態を用いてフrozen フルアテンションバックボーンを増幅します。この革新により、開発者は一般能力とベンチマーク結果を効率的に向上させられ、システム全体再訓練のオーバーヘッドなしで長期記憶改善を目指す既存モデルに対する基礎的なアップグレードを提供します。

2026/05/16 18:30
Frontier AI は、開形式のコンテスト・フォーマット(CTF)を実現しました。

Frontier AI は、開形式のコンテスト・フォーマット(CTF)を実現しました。

## 日本語翻訳: 著者(2021 年から CTF に参入し、HCKSYD でソロで 2 時間以内に優勝し、TheHackersCrew を率いて 2025 年秋まで全球トップ 10 にランクインし、Emu Exploit などを含むチームを指導する)は、高度な AI モデルによって駆動されるfundamental な変容が、オープンなオンラインキャプチャー・ザ・フラグ(CTF)サイバーセキュリティに起きていると主張する。GPT-4 を用いると、多くの中程度の難易度のチャレンジが今や「ワンショット」可能となり、CLI ツーリングを備えた Claude Opus 4.5 は、CTFd API を使用して中程度および一部の高度なチャレンジの解決を 1 時間以内にオーケストレーションできるという。Frontier モデルである GPT-5.5 Pro などについては、「Insane」級の難易度を持つアクティブ・リークレス・ヒープ・パwn チャレンジさえワンショット可能であると報告されており、そのため小規模な CTF 主催者は、48 時間イベントで生成されるほとんどのコンテンツを解決できると推定される。 この変化は、オープンなコンペティションを人工的な「課金で勝つ」環境に変え、成功が人間によるセキュリティスキルよりもトークン予算やエージェントのオーケストレーションに依存するようになっている。Aliases Robotics 製の alias1 を代表とする専門的なサイバーセキュリティ大規模言語モデル(LLM)は、一般化された Frontier モデルと比較して自動的解決のためにそれほど relevance が低いものとなっている。したがって、CTFTime ランキングボードはもはや真の人間スキルを反映しておらず、伝説的なチームが出現しづらくなり、目に見える進捗は低下し、チャレンジ作成者の複雑なパズルのデザインに対するインセンティブが減少している。初心者は AI エージェントによってその成長が見え隠れするため動機付けが失われ、本質的なセキュリティの直感を養う前に新しいプレイヤーをツールの依存へと追いやりつつある。主催者が AI を阻止しようと試みる(拒否文字列、プロンプトインジェクション耐性、トレーニングカットオフ制限など)ことは一時的な摩擦のみを提供し、多くの場合人間にとって推測に基づくか不快なチャレンジにつながる。 その影響はアマチュアコンテストを超えている。DEF CON ファイナルのようなトップティアのイベントですら完全に自己防衛することはできず、自動化されたエージェントに支配される予選により、真に必要な資格を持つファイナリストプールが減少する。その結果、ISC 参加者やバグバンティ専門家、Pwn2Own 競合者など的高機能な専門家はオープンなオンラインシーネに関心を失い、長期的には人材とコミュニティの士気の浸食を招くリスクがある。しかし著者は、競争形式が実質的に「死んでいる」とも言える一方で、学習プラットフォームとしての picoGym や HackTheBox などは教育に焦点を当てた安全な代替手段を提供しており、より広いサイバーセキュリティコミュニティは SecTalks や学生会議のような学習機会および社会的イベントを通じて依然として活力を保っていることを強調する。

2026/05/16 16:01
『ファーム!』——誤解:アルベール・カミュの全ノートブックの新訳

『ファーム!』——誤解:アルベール・カミュの全ノートブックの新訳

## Japanese Translation: シカゴ大学の出版社は、ライアン・ブルームによる新訳『アルベール・カミュ 完全版ノートブック』を刊行した(2026 年、712 ページ)。本書には、1935 年から 1959 年にかけてのこれまで出版されていた 3 つのノートブック巻に加え、1949 年の南アメリカ随筆や 1933 年の読書メモが含まれており、特に 1988 年に発見された未発表の 1938 年から 1942 年のオーラン・ノートブック入稿が収録されている。これらのノートブックから、カミュが『ストレンジャー(異客)』および『シスифスの神話』を直接的で個人的な文体で執筆していた様子が明らかになり、それらの作品への新たな示唆が得られる:1938 年 6 月までに『不死の悦び』の草稿を完了し、メンタージャン・グランイエールの批判を受けて 6 ヶ月以上にわたって改訂して『ストレンジャー』として仕上げている;1939 年 2 月にはカフカの小説に関するエッセイで『シスィフォスの神話』の土台を作っていた。カミュは一貫して「不条理哲学者」と称されることを拒否し、『シスィフォス』の冒頭で「不条理哲学」と「不条理感」の違いを明確にし、本書を形而上学ではなく文学的アプローチとして位置づけた。また芸術家と哲学者を区別しており、両者は同じ経験から出発するが、哲学者はその経験を概念へと説明・解決させるのに対し、芸術家は生活への体験と記述を通じて閉じを拒むという。公的にはカミュのイメージは 1940 年代以来、ファンと批評家によって実存主義者か不条理哲学者として固定されており、この誤読はサールの『存在と空虚』で『悪心情』へのレビューにおける「思想(シスィフォス)」と感情(ストレンジャー)」という偽の対立を前提とすることや、1945 年のシモーヌ・ド・ボーヴォワールによる実存主義的な攻撃、1946 年にクノップ出版からの英語版が『実存主義小説』シリーズとして市場投入されたこと、『シスィフォス』の英語版出版が遅れて 1955 年まで待たされたことなどで強化された。これらのノートブックはカミュをまず作家としての真なるアイデンティティを取り戻し、50 年以上にわたる古いカテゴリーから自由な clearer 視点を提供する学術者のための資料となる。

2026/05/14 9:30
Show HN: ロックスカイ(Rocksky)——AT プロトコルを利用した音楽のスコッブリングと発見プラットフォーム

Show HN: ロックスカイ(Rocksky)——AT プロトコルを利用した音楽のスコッブリングと発見プラットフォーム

## Japanese Translation: Rocksky は、AT Protocol に基づく革新的な分散型音楽追跡・発見プラットフォームとして登場します(rocksky.app)。centralized サービスの堅実な代替手段を提供し、Last.fm および ListenBrainz 互換の API を提供して scrobbling が可能となり、Spotify や Jellyfin などの人気アプリケーションとシームレスに統合されます。本システムは、最近再生履歴タイムライン、ストーリーズビュー、再生統計、パーソナライズされたチャート(上位アーティスト・トラック)、シャウトボックスや好みに基づくソーシャルツールなどを含む機能でユーザーを支援します。検索には MeiliSearch が採用されており、瞬時の結果を得られます。 ユーザーフレンドリーな体験の背後には、Node.js (v22+)、Deno、Rust、Go、Turbo、Wasm Pack、DuckDB を活用する高度な技術基盤が存在し、パフォーマンスと信頼性を確保しています。Rocksky のセットアップには、`tangled.org` または `tangled.sh` からリポジトリをクローンし、依存関係(`turbo`、`bun`)をインストール、環境変数を設定(Spotify 認証情報を含む、開発者ダッシュボード経由)、データベースマイグレーションを実行、Docker コンテナを起動する手順が含まれます。このプロセスは、コントロールを求める開発者を対象に最適化されており、分析、Jetstream、MusicBrainz、フィード、Spotify セットアップなど多様なサービス向けの `turbo dev` や `bun run` などの特定の開発コマンドが用意されています。 将来の計画も同様に野心的で、Discord/App エコシステムとの Webhook 連携、コミュニティ主導の高度なフィードアルゴリズム、Last.fm ミラーリング、Rocksky Connect、複数ソースのライブラリサポート(Google Drive、Dropbox など)、セルフホスト化ストリーミング機能、クロスデバイス設定同期を導入予定です。このオープンモデルを採用することで、Rocksky はデータがデバイス間を同期し、グローバルな開発者コミュニティからの貢献を通じて機能を継続的に拡張するエコシステムを育みます。フィードバックは、統一されたリポジトリまたは Discord サーバーを通じて提供可能で、`CONTRIBUTING.md` に記載の手順に従い、Pull Request を歓迎します。

2026/05/17 2:00
私たちはこの世界を必要以上に複雑にしてしまいました。

私たちはこの世界を必要以上に複雑にしてしまいました。

## 日本語訳: 2026 年 5 月 16 日に執筆された本文は、現実を操作し環境を害しながら無自覚的な身体的ストレス(歯ぎしや血圧上昇など)を引き起こす現代技術と支配法則への挫絶を表しています。AGIに関するドキュメンタリーを参照して著者は、技術が人類の救世主であるという信念を批判しており、高度な学習は理解ではなく破壊をもたらすと論じます。人類が原生状態から自然に発展したとする見解を拒否し、本当のベースラインの実態はシンプルさであったと示唆します。著者は現在のかかわりの多い世界では狂気とみなされるであろう電子機器や労働からの断絶を提唱し、自然(鳥、風、水を観察するなど)によって定義され、空腹を感じたら食べ、喜んだら笑うといった単純な衝動に根ざしたミニマリスト的な存在へと帰還することを提案します。本文はこれらの考え方が Hacker News で議論されているという注記で締めくかれています。

2026/05/16 17:25
週末に完了できる 3D ガウス放射

週末に完了できる 3D ガウス放射

## Japanese Translation: 本テキストは、写真リアルティスな 3D シーンを画像データセットから再構築する機械学習ベースの手法である 3D ガウシアンスプラット(3DGS)の教育的実装を紹介しています。レンダリングされた画像と真の写真を最小限の差にすることでこの目的を達成します。従来の三角形を使用するのではなく、この簡易化されたレンダラーは約 1,000 行の C++ コードに基づいて、「ガウシアンスプラット」と呼ばれる確率分布を 2D スクリーン空間に投影した構成要素から成るシーンをレンダリングします。 システムは、Supersplat リポジトリにある `.ply` 形式の複雑なデータを読み込み、これを幾何学情報を中心点、透明度、視点依存色のための球調和関数、回転・スケールパラメータ(四元数と対数空間のスケールとして保存されて対称性を確保する)を格納する `GaussianSplat` オブジェクトにパースします。光沢素材上でリアルなライティングを実現するために、レンダラーは単一の RGB 値ではなく球調和関数を利用します。 技術的には、各 3D ガウシアン分布は線形近似(ヤコビアン)を使用して 2D スクリーン空間に投影され、2D コバリアンス行列が導出されます。スプラットは分布の質量の約 99.7% をカバーする四角形として描画され、固有値分解に基づいて中心点からオフセットされた頂点を持っています。これらの四角形内の各フラグメントは球調和関数を使用して着色され、特定のガウシアン減衰関数に従ってアルファブレンドされます。半透明性を扱うために、CPU はフレームごとにカメラ空間の深さでスプラットをソートして、奥から手前へ描画します。この教育的なバージョンは、元.tile ベースの CUDA レイザライザーではなく、GPU によるソートと標準的な OpenGL を使用しており、核心となる数学的原則の明確さを最優先しています。

2026/05/14 4:38
ギリシャ文字カード

ギリシャ文字カード

## Japanese Translation: 本教育プロジェクトは、従来のテキストの後ろに絵を隠すだけの手法を越え、オブジェクトのシルエットを文字の形状に直接結び付けることで、幼児に対するギリシャ語教育への画期的なアプローチを導入します。海外での家族の多言語学習の旅に触発されたこのイニシアチブは、「GreekLex」という現代ギリシャ語 35,304 語からなるデータベースを活用し、文字数が 3 から 10 の間であり、出現回数が少なくとも 100 回以上の用語を抽出しました。生成 AI ツール(ChatGPT および gpt-image-1.5)を用いて、「Object cards」(オブジェクトと大きな文字を含むカードセット)と「Alphabet cards」(文字のみを表示するカードセット)の 2 つの別々のカードセットを作成しました。すべてのイラストは、Eric Carle の作品に似た子供向けスタイルで描かれており、オブジェクトの形状が文字の形状を反映するようにするため(例:オリーブの木がエプシロンの形をしているなど)、具体的なプロンプトが使用されています。この方法は、乳幼児向けの 3 つのインタラクティブなゲームを通じて語彙の急速な習得をサポートします:視覚的なトリックの学習(2 セッションで約 18 単語)、記憶マッチングゲーム、そして正しい識別によって親が架空の火に近づけ、誤答では後ろに引かされる物理的な「火ゲーム」です。文字の暗記ではなく、視的な類似性を通じた直感的な文字理解を促すことで早期言語学習を革命することを目的としており、これらはギリシャ語向けに登場する初の此类カードセットであるとして提示されています。これは、形状対応に依存しない一般的な英語向けデッキとの対比です。

2026/05/16 20:53
記録的なクマ襲撃が需要を押し上げ、日本のロボット「狼」が売却される事態となった。

記録的なクマ襲撃が需要を押し上げ、日本のロボット「狼」が売却される事態となった。

## 日本語翻訳: 日本では、死傷者を出したクマ襲撃の急増と毎日の住宅侵入という事象から、大田精機社の「モンスターウルフ」という生体機械式熊よけ装置への需要が前例のない高まりを見せています。この緊急性は、製品が手作業で作られているため納期が2~3ヶ月待ちになるという状況につながっており、これは通常年間販売量を大きく上回る水準です。同装置は2016年に鹿や猪など的小型動物から農地を守るためのニッチなツールとして市場投入されましたが、以前は噓まくりの商品と見なしられがちでした。しかし、記録的なクマ統計( sighting 数が5万頭を超え、捕殺数は前年比約3倍に増加)の後に農村部の安全確保に不可欠なものへと転換しました。本製品はリアルな人工ファーを採用し、点滅するLED目玉と、50種類もの猛獣音声を発声・ブロードキャストするという機能を備えています。今後の展望として、同社はアクティブパトロールを行うためホイールの搭載や、ハイカー向けのハンドヘルド版のリリースなど、大規模な製品アップグレードを計画しています。これらの開発は、此类の装置をノベルティアイテムとして捉えることからの転換を象徴しており、現在進行形の日本の野生生物危機に対する重要な安全インフラとして位置づけられています。

2026/05/17 4:10
HTML リスト

HTML リスト

## Japanese Translation: 本記事は、データを整理しユーザーとのインタラクションを意味的に強化するために HTML リスト要素を使用するベストプラクティスを示し、不要な回避策を用いることを避ける。5 つの特定のリストタイプ—that is、順序付き(`<ol>`)、非順序付き(`<ul>`)、説明(`<dl>`)、メニュー(`<menu>`)、および制御リスト(`<select>` または `<input>` と `<datalist>` を使用)—を特定する。制御フィールドについては、固定の選択肢には `multiple` および `<optgroup>` などの属性を持つ `<select>` を使用することを指定し、視覚的な区切りとして `<select>` 内に `<hr>` を使用できることを述べる。提案では、`<datalist>` と `<input>` をペアリングするよう推奨するが、開発者は `<datalist>` 内の `<option>` 要素に `value` 属性を付与すべきではなく、これにより不整合が発生することを避けるべきである。このセットアップは、`week` および `range` と同様の特定のタイプにも対応する。<datalist> を range インプットと組み合わせる場合、ブラウザ固有の CSS 調整(Chrome/Safari では `attr()` を使用、Firefox では手動で高さおよび疑似要素の計算を行う)が必要となる。順序付けについては、DOM の順序を変更せずに番号付けシーケンスを制御するには `reversed` 属性を使用し、連続性を管理するには `start` 属性を使用する。説明リスト(`<dl>`)はメタデータおよび JSON のデバッグに推奨されるが、`<menu>` 要素はコマンドリスト(ツールバーなど)に専用すべきであり、`aria-role` を付与すべきではない。これらのガイドラインに従うことで、チームは異なる環境で堅牢かつアクセスibelで互換性のある Web アプリケーションを確保できる。

2026/05/17 1:58
加速——高演算能力向けの埋め込み型言語による配列計算

加速——高演算能力向けの埋め込み型言語による配列計算

## Japanese Translation: Data.Array.Accelerate は、マップ、リダクション、置換などのパラメータ付き集団演算を用いて、多次元の規則的な配列に対する高性能計算のための埋め込み言語を定義する。同ライブラリは LLVM PTX を用いた NVIDIA GPU(グラフィックス処理ユニット)における CUDA 対応のコンパイル機能を有し、最適化機能として robust な性能を発揮する。また、マルチコア CPU 上での実行も可能である。Hackage および GitHub(AccelerateHS/accelerate)からアクセス可能で、インストールには GHCup ツールチェーンが用いられる。BLAS や FFT などの科学計算エコシステムとシームレスに統合される。エコシステムには `accelerate-llvm-native`(CPU)、`accelerate-llvm-ptx`(GPU)、`accelerate-bignum`、`accelerate-fft`、`accelerate-blas` など、ドメイン固有のツールや各種 I/O ユーティリティ(`accelerate-io*`)などを含む多数の追加パッケージが含まれる。使用可能な例は多岐にわたり、単純な点積計算から LULESH ベンチマーク、分子動力学ソルバー、N-体シミュレーション、エッジ検出やレイ・トレーシングなどのグラフィックスアプリケーションまでをカバーする。プロジェクトはコア開発者である Trevor McDonell および Manuel Chakravarty の指導のもと、より広いコミュニティによって支えられており、継続的な新機能の統合と要望された機能の実装を通じて、迅速なイノベーションを可能にする動的な環境を提供する。ただし、API はまだ安定していない点に注意が必要であり、完全な成熟に至るまでインターフェースの一部は変更の対象となり得るため、ライブラリの進化に合わせてコードの適応が求められる。 ## Text to translate: Data.Array.Accelerate defines an embedded language for high-performance computing on multi-dimensional regular arrays using parameterised collective operations like maps, reductions, and permutations. It compiles computations online to run on multicore CPUs or CUDA-enabled NVIDIA GPUs (compute capability 3.0+), utilizing LLVM PTX for graphics processing units as part of its robust optimization capabilities. The library is accessible via Hackage and GitHub (AccelerateHS/accelerate) and relies on the GHCup toolchain for installation, integrating seamlessly with scientific ecosystems like BLAS and FFT. Its ecosystem includes extensive add-on packages such as `accelerate-llvm-native` for CPUs, `accelerate-llvm-ptx` for GPUs, and domain-specific tools like `accelerate-bignum`, `accelerate-fft`, `accelerate-blas`, and various I/O utilities (`accelerate-io*`). Users can leverage this framework with a vast array of examples ranging from simple tasks like dot products to complex benchmarks including LULESH, molecular dynamics solvers, N-body simulations, and graphics applications like edge detection and ray-tracing. Led by core developers Trevor McDonell and Manuel Chakravarty along with the broader community, the project supports a dynamic environment for rapid innovation through continuous integration of new capabilities and requested features. However, users should note that the API is not yet stable; parts of the interface remain subject to change before full maturity is reached, requiring developers to adapt their code as the library evolves.

2026/05/16 22:42
DeepSeek-V4-Flash の登場により、LLM の方向づけ(スティーアリング)が再び注目を集めています。

DeepSeek-V4-Flash の登場により、LLM の方向づけ(スティーアリング)が再び注目を集めています。

## Japanese Translation: DeepSeek V4 Flash は、Antirez の DwarfStar 4 という特別製のランナーと組み合わせることで有望なローカルコーディングツールとして浮上しています。DwarfStar 4 は「ステアリング」機能を導入しており、この機能は制御パネルのようなスライダーを通じて内部モデルのアクティベーションを直接操作することを可能にします。これにより、プロンプトだけに依存せず、「簡潔さ」などを調整するような振る舞いへの誘導が可能になります。この手法は、直接的な重みの変更やファインチューニングよりも低いリスクで学習済み振る舞いを変更するための実用的な代替手段を提供します(例:安全拒否の排除など)。OpenAI などの大手企業は、通常 API ユーザーが内部アクティベーションへのアクセスを持たないため重み調整を優先しますが、オープンソースコミュニティはこのギャップ埋め合いを始めつつあります。専門家たちは、現在のステアリングの限界を半年以内には超えることができれば、研究者たちがより多くのオープンウェイトが利用可能になるにつれてこれらの技術を特定モデル機能の強化に積極的に適用すると予測しています。究極的には、この技術は業界標準をアーキテクチャベースの知能への依存からベクターベースの制御システムへとシフトさせ、軽量なランタイム調整を可能にし、重大な計算コストをかけずにコア機能をより強力なものに置換することを有効に行うでしょう。 ## Text to translate: DeepSeek V4 Flash emerges as a promising local coding tool when paired with Antirez's DwarfStar 4, a specialized runner that introduces "steering" capabilities. Steering allows users to directly manipulate internal model activations via control-panel-like sliders, guiding behavior—such as adjusting "succinctness"—without relying solely on prompts. This method offers a practical alternative for changing trained behaviors (e.g., removing safety refusals) with lower risk than direct weight alteration or fine-tuning. While major companies like OpenAI typically prioritize weight adjustments because their API users lack access to internal activations, the open-source community is beginning to bridge this gap. Experts predict that if current steering limits are surpassed within six months, researchers will eagerly apply these techniques to enhance specific model features as more open weights become available. Ultimately, this technology could shift industry standards from relying on architecture-based intelligence to a vector-based control system, enabling lightweight runtime adjustments and effectively replacing core capabilities with stronger ones without heavy computational costs.

2026/05/16 23:58
そのから約 50 年後、シカゴで放送されていた WKRP はついに実在のラジオ局へと姿を変えました。

そのから約 50 年後、シカゴで放送されていた WKRP はついに実在のラジオ局へと姿を変えました。

## Japanese Translation: シンシナティの FM ラジオ局が、正式名称は"The Oasis"ですが、象徴的な呼出符号"WKRP"を取得しました。これは、北カロライナ州レaleigh の非営利団体から売却され、資金調達のキャンペーンの一環としてオークションにかけられていたものです。この取得により、クラシックなテレビsitcomへの本物のトリビュートとなることを目指しています。先週の開局を祝して、同局はこの番組の有名な主題歌を 6 時間放送し、その後は 1960 年代から 1980 年代までの厳選されたロックヒット曲のカットアップレイリストを流れ続ける予定で、これはオリジナルの 1978-82 年のシリーズに登場した音楽を反映しています。さらに、プログラムディレクターであるアンディ・トラヴィス役を演じた元俳優のゲイリー・サンディが、復活ブランドのプロモーションスポットを収録し、本物の雰囲気を一層強化しています。エピソードとサウンドトラックのアーカイブはオンライン(YouTube を含む)で引き続き利用可能ですが、このイニシアチブは歴史的な放送文化と現代のラジオ運営を組み合わせた独自のリアルワールドの体験を生み出します。同局は厳密にその時代固有のフォーマットに従い、逸脱することなく、WKRP のレガシーを成功裏に甦らせ、リスナーがスクリーンやストリーミングプラットフォームを通じてではなく、ライブで懐かしいサウンドトラックを聴けるようになっています。支援者向けに、Open Culture は PayPal、Patreon、Venmo(@openculture)を通じて寄付を受け付けています。読者は、MTV の"120 Minutes"用のプレイリスト、'WKRP in Cincinnati'で放送された全曲カタログ(202 曲)、MTV Rewind の 40,000 に及ぶビデオコレクションなどの関連コンテンツも閲覧できます。

2026/05/13 1:47
ロジック・テオリスト(Logic Theorist)定理証明機の再現プログラムにおける IPL-I バージョン

ロジック・テオリスト(Logic Theorist)定理証明機の再現プログラムにおける IPL-I バージョン

## Japanese Translation: 論理理論マシンは、アルレー・ニューエール、ハーバート・サイモン、クラフ・ショウが 1955 年頃に *Principia Mathematica* の系からシステムを自動化するために開発した人工知能の画期的な成果です。当初はサイモンの家族と大学院生の助けを得て手動でシミュレーションされ、最初に実行されたのはハードウェア上ではなく、 jamais にハードウェア上で実行されなかった IPL-I と呼ばれる疑似コードによるものでした。最初のハードウェア実装では JOHNNIAC で IPL-II が使用され、1956 年 8 月に初めて証明を生成しました。現代の愛好家は、歴史的な写写錯誤を補正したまま *Principia Mathematica* の定理から Python スクリプトを用いて論理を忠実に実装したオリジナルプログラムを複製・研究することができ、これらには *Principia Mathematica* の定理を実行するインタープリター、証明を抽出する処理routine、オリジナルコードと写写されたコードの整合性を保証するための検証ツールが含まれています。该系统は 5 つの公理(*1.2–*1.6)および分離(detachment)(*1.11)や置換を含む推論規則に基づき、*2.05/*2.06 の定理によって正当化されたチェーン法を利用して、(p → q) および (q → r) から (p → r) のような帰結を導出します。保存活動により、これらの基礎となる AI メソッドが学習と教育の目的でアクセス可能であり、ニューエールとサイモンの仕事に関する追加リソースは CMU デジタルコレクションアーカイブで見ることができます。

2026/05/13 10:54
キヤンバー(YC W23)では、創業者向けマーケティング担当者への採用を開始いたしました。

キヤンバー(YC W23)では、創業者向けマーケティング担当者への採用を開始いたしました。

## Japanese Translation: 以下の改訂サマリーは、明確性を保ちながら特定の指標、パートナー企業、責任事項、特性および適用詳細を統合し、欠落していた要素に対処しています: 「AI ネイティブなドキュメントプラットフォームである Kyber は、Y Combinator の後援を得て保険などの規制産業にサービスを提供しており、現在、「創設マーケター」の求人をしており、コンテンツおよびコミュニティ戦略の統括を求められています。創業からわずか 18 ヶ月で売上は 40 倍以上の成長を見せ、収益性を達成し、Guidewire、Majesco、Twilio Sendgrid といった大手との提携も実現しました。当プラットフォームはテンプレートの 80% を統合し、作成時間を 65% 削減することで効率化を推進しています。この重要な役目は、「自動化ツール(Claude Cowork や n8n など)と創造性を組み合わせて、退屈せずスケーリングできる『AI 駆動型オペレーター』」を採用することを求めています。理想的な候補者は、魅力的な体験デザイン(例:Claims Circle ディナー)、ビデオケーススタディの制作、口コミエンジン構築ならびにカンファレンスを伴うハイプロファイルな旅行管理を行えることが求められます。必須となる資質には、混沌の中に thrive する能力、強いデザインスキル(例:Canva)、そして「退屈な」出力を避ける姿勢が挙げられます。応募には簡単な推薦状の添付が必要であり、即時に anna@askkyber.com までご送付ください。」

2026/05/16 21:01
「Futhark」の入門指南

「Futhark」の入門指南

## Japanese Translation: Futhark は、GPU 実験を目的に設計された IT ランゲージであり、「Parallel Programming in Futhark」書籍および基本計算から複雑な科学シミュレーションに至る厳選された例を通じて、単純なプログラムから高度な並列計算プロジェクトまでの構造化された学習経路を提供しています。汎用言語とは異なり、多様な例(图形処理:「Diving Beet 粒子シミュレーター」、高パフォーマンスシステム:「Futball のボール衝突回避」、フラクタル:「Futswirl」、モンテカルロ法による πの推定)を通じてハードウェアアクセラレーションへの直感的理解を提供します。言語エコシステムは、Dex(依存型 typed フルンシャル配列言語)からのポートによって恩恵を受け、初心者がインタラクティブなウェブカメラフィルター(Futcam)やブルートフォースレイトレーサー(Futracer)を構築するための堅牢な基盤を提供しています。主な機能には、自動微分、アレイ、タプル、レコード、並列処理、総和型、ループ、そして AD ベンチマーク行列乗算、Radix/Merge ソート、複素数、乱数、ガウシアンぼかしなどの高度なトピック、および Python インテグレーションが含まれます。Literate Futhark は、ビデオ生成、ファイル I/O、gnuplot プロットングをサポートします。科学計算の例には、格子ボルツマン法(Palathark)、Peter Shirley のレイ 트레이シング書籍、Filecoin 用の Poseidon ハッシュ関数を実装する Neptune などがあります。OCaml-GPU ワードカウント例などの外部ツールは相互運用性を示し、Pareas コンパイラやリアルタイム非実装の BVH レイトレーシングなどの高度なプロジェクトは専門的なアプリケーションを強調しています。究極的には、Futhark は理論的なコンピュータサイエンスと実用的な GPU 利用を結びつけ、単純なスクリプトから高パフォーマンスシミュレーションまでを容易に可能にします。

2026/05/16 18:50