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

2026-04-19

日付別ニュース一覧

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

日付で読む
04/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
『好みの色を選べる：NIST の科学家らが、任意の波長のレーザーを開発』

『好みの色を選べる：NIST の科学家らが、任意の波長のレーザーを開発』

## Japanese Translation: NIST の科学者と協力者が、Scott Papp という NIST の物理学者をリーダーとして発表された「Monolithic 3D integration of tantalum pentoxide nonlinear photonics」という論文に詳述されているように、特殊な材料の複雑なパターンをシリコンウエハーに堆積させることで、統合光子デバイスのチップ作成における画期的手法を開発しました。この革新は、サイズ、コスト、電力に関する重要な歴史的制約を解決し、量子コンピューティングなどの高度な技術用のコンパクトで高品質なレーザーの実現を可能にします。酸化シリコン、リチウムニオブате、タンタル五酸化物（単一のレーザー色を多様な波長に変換しつつ過度の発熱を抑える材料）を含むマルチレイヤーアプローチを用いることで、チームはビールコスター程度のサイズのパターンに、約 10,000 の光子回路を備えた指先ほどの大きさのチップを約 50 個集積することに成功しました。以前是高品質なレーザーは特定の波長（例：980 nm の赤外線）のみに存在し、量子技術の利用が専門的な研究室に限定されていましたが、この画期的進展により、携帯型光原子時計や地震予測システムといった現場での応用が可能になります。光原子時計や量子コンピュータなどの量子技術には、ルビジウム（780 nm の赤）やストロンチウム（461 nm の青）など、異なる原子に合わせた特定の色のレーザーが多く必要とされますが、この新技術はそれを効果的に解決します。この技術は、効率的な光処理を必要とする産業において量子デバイスへのアクセスを民主化するだけでなく、研究機関と Octave Photonics などのスタートアップ間の協力を促進します。*Nature* に掲載されたこれらの発見は、光子機能と電気システムを統合する道を開き、人工知能から暗物質調査に至るまでの分野を変革する可能性があります。これにより、複雑な科学ツールが従来の実験室の外でも手頃な価格で利用できるようになります。

2026/04/19 5:54
Hacker News ↗
ボーイング社の B-52 ストラトフォートレス爆撃機に搭載された、スタートラッカー内の電気式傾斜計。

ボーイング社の B-52 ストラトフォートレス爆撃機に搭載された、スタートラッカー内の電気式傾斜計。

## Japanese 翻訳: アストロコンパスは、1960 年代の B-52 爆撃機向けに開発され、乗組員が手動で行っていた複雑な三角法の計算を自動化し、天体航法を画期的に変化させました。ジャミングに脆弱な現代デジタルシステムと異なり、この電気機械装置は、外部デジタル信号を使用せずに、シンクロン（変送機）および光増倍管を用いて恒星を追跡する信頼性の高い抗ジャミング方式を提供しました。恒星位置の物理的な追跡と天球のアナログモデルを組み合わせることで、システムはパイロットにリアルタイムでの航法更新を通じて正確な位置を決定することを可能にしました。 公式空軍年誌からのデータに基づいて動作し、この装置は時間や恒星の赤緯などの入力をノブで調整するマスターコントロールパネルを搭載していました。これらの設定は、安定したジャイロプラットフォームとガラスドーム型望遠鏡を含む組立体内の 19 のコンポーネントを駆動しました。アストロコンパスは「位置線」技術を使用し、測定された恒星の高度を計算された期待値と比較することで航空機の軌跡を特定しました。この自動化により、困難な手動手順はスムーズな電気機械プロセスへと変換され、爆撃機艦隊が重要な航法任務において、作戦能力とミッション安全性を大幅に向上させました。

2026/04/19 1:26
Hacker News ↗
Claude のデザインに関する考察と感情

Claude のデザインに関する考察と感情

## 日本語翻訳： 要約：中心的な論点是、Figma の専用でロックされたファイル形式がネイティブのスキーマを持たず、深いエイリアシングおよび未文書化されたプリミティブに依存を迫られること（例：946 色の変数を含むネストされたグループのあるファイル）であり、これがコードトレーニング済みの AI モデルが設計論理を正確に解釈することを妨げる。LLM はこれらの特定の不透明な Figma 構造ではなくコードに対してトレーニングされているため、「Figma Make」のような現在のツールは、設計ファイルが依然として規範的であると示唆することでユーザーを誤導し、実質的にワークフローを新しいエージェント時代と不相容の専用エコシステムにロックしている。その対応として、Claude Design とような新たなツールは、「HTML と JS をすべて徹底する」というアプローチを取り、コードと直接統合してレポジトリから AI エージェントへ供給される統一されたフィードバックループを創出する。著者は業界における分岐の予測を行う：一方は誠実なコード連結による生産ツールへの道筋、他方は Photoshop に似た制約のない探求環境への道筋となる。クリーンなコードからのこの転換を批判しつつも、著者は Sketch などの競合業者に対してネイティブ機能に安住するのではなく、粒子エフェクトやメッシュ変換などの特定機能を備えた革新を促し、Figma の形式が AI エージェントに必要なトレーニングデータへの含まれにくさを指摘している。 ## テキストを翻訳 （必要に応じて；そうでない場合は元のものを繰り返す）： ## Summary: The core argument is that Figma's proprietary, locked-down file format lacks a native schema, forcing reliance on deep aliasing and undocumented primitives (exemplified by files containing 946 color variables within nested groups) that prevent code-trained AI models from accurately interpreting design logic. Because LLMs were trained on code rather than these specific, opaque Figma structures, current tools like "Figma Make" are misleading users by suggesting the design file remains canonical, effectively locking workflows into a proprietary ecosystem incompatible with the emerging agentic era. In response, new tools like Claude Design adopt an "HTML and JS all the way down" approach, integrating directly with code to create a unified feedback loop where repositories feed AI agents. The author predicts a fork in the industry: one path toward honest, code-linked production tools, and another for unconstrained exploration environments similar to Photoshop. While criticizing this shift away from clean code, the author also urges competitors like Sketch to innovate with specific features (particle effects, mesh transforms) rather than resting on native capabilities, noting that Figma's format prevents its inclusion in necessary training data for AI agents.

2026/04/19 4:19
Hacker News ↗
Modern Common Lisp with FSET

Modern Common Lisp with FSET

## Japanese Translation: この文書は、Scott L. Burson 氏（2026 年）による FSet v2.4.2 マニュアルのバージョン 1.0 を提示するものである。本内容において、明確に大型言語モデルを使用して内容を生成したことはないと記述されている。著者のスタイルは、顕著にダッシュとセミコロンを多用する傾向を示している。ソフトウェアはクリエイティブ・コモンズ CC BY-NC-SA 4.0 ライセンスの下で公開されており、非商用利用のみを許可し、元著者へのクレジット表示を義務付け、派生物についても同様の条件を維持することを要求している。バグ報告や問題については、Common-Lisp.Net の GitLab インスタンスまたは GitHub を通じて提出されるべきである。本マニュアルには将来のリリース予定日や機能ロードマップは提供されていない。エンドユーザーはソフトウェアを展開する前に非商用利用およびクレジット表示の条件に従う必要があるし、コードベースを修正する開発者はライセンスの同一条件厳守に準拠することが法的遵守を確保するために不可欠である。

2026/04/15 23:38
Hacker News ↗
DigitalOcean から Hetzner に移行すること

DigitalOcean から Hetzner に移行すること

## 日本語翻訳： トルコ発のソフトウェア企業が、DigitalOcean から専用 Hetzner サーバーへのシームレスなゼロダウンタイム移行を成功させ、巨額の経費削減と大幅なハードウェアアップグレードを実現しました。特に印象的なのは、月次費用を 1,432 ドルからわずか 233 ドルへ削減しつつ、旧型の vCPU/SSD スペックを、NVMe ストレージを搭載した高性能 AMD EPYC プロセッサへとインフラストラクチャをアップグレードしたことです。この移行は、GitLab や Neo4j などのクリティカルなアプリケーションを多数利用者に提供するという複雑な生産環境において、大きな中断なしに実行されました。 本プロジェクトは、248 GB のデータをマルチスレッドバックアップと rsync を用いて高速に移動させる堅固な 6 段階移行戦略に基づいていました。主要な技術的なハイライトとしては、データベースシステムを MySQL 5.7 からバージョン 8.0 へ、オペレーティングシステムを CentOS 7 から AlmaLinux 9.7 へとアップグレードしたことです。チームは、`mysql.user` テーブルのスキーマ不一致の解消、再пликаケーション時の重複キーエラーを冪等な実行モードで対処し、SUPER プライバリジの取り消しによるセキュリティ脆弱性の是正など、複数の重要な技術的障壁を克服することに成功しました。DNS プロパゲーション期間がわずか 5 分であったにも関わらず、サービスは安定していました。同チームは、この費用対効果の高いアプローチを他者に複製できるよう、Python 製の移行スクリプトを GitHub でオープンソース化しています。

2026/04/18 22:29
Hacker News ↗
# KDEnlive の現状について **ご留意事項:** ご提示いただいたタイトル「State of KDEnLive」は、見出しまたはトピックラベルとして機能しているものと推測されます。現状の状況、バージョンアップデート、あるいは具体的な機能に関する追加文脈をご提供いただかれますと、当該タイトルのもとに具体的なコンテンツを作成することが可能となります。 進展のためには、下記情報をご提示いただけますでしょうか： - 現在のバージョン情報（例："KDEnlive 24.08"） - 直近のリリース以降の具体的な変更点（例："新規エフェクトの実装"、"バグ修正"、"パフォーマンス向上"） - 強調してお知らせ希望する特定の問題点または発表事項 --- **【詳細が提供される際】のコンテンツ形式の例：** 1. **バージョンアップデート** - 2024 年 8 月 15 日に KDEnlive 24.08 をリリースしました。 - ハイレゾリューション動画のリエンコーディングにおいて、著しいパフォーマンス向上を達成しています。 2. **新規機能** - OpenFX プラグインへの対応を追加し、互換性をさらに強化しました。 - より滑らかな再生を実現する、新しいタイムラインスクラビングモードを導入しました。 3. **バグ修正** - 長尺のプロジェクトにおいて音声トラックが時折同期を失っていた問題を解決しました。 - フィルタープレビューモジュールにおけるメモリーリークを修正しました。 以上のようでご詳細をお知らせください。それに基づき、さらにお手伝いいたします。

# KDEnlive の現状について **ご留意事項:** ご提示いただいたタイトル「State of KDEnLive」は、見出しまたはトピックラベルとして機能しているものと推測されます。現状の状況、バージョンアップデート、あるいは具体的な機能に関する追加文脈をご提供いただかれますと、当該タイトルのもとに具体的なコンテンツを作成することが可能となります。 進展のためには、下記情報をご提示いただけますでしょうか： - 現在のバージョン情報（例："KDEnlive 24.08"） - 直近のリリース以降の具体的な変更点（例："新規エフェクトの実装"、"バグ修正"、"パフォーマンス向上"） - 強調してお知らせ希望する特定の問題点または発表事項 --- **【詳細が提供される際】のコンテンツ形式の例：** 1. **バージョンアップデート** - 2024 年 8 月 15 日に KDEnlive 24.08 をリリースしました。 - ハイレゾリューション動画のリエンコーディングにおいて、著しいパフォーマンス向上を達成しています。 2. **新規機能** - OpenFX プラグインへの対応を追加し、互換性をさらに強化しました。 - より滑らかな再生を実現する、新しいタイムラインスクラビングモードを導入しました。 3. **バグ修正** - 長尺のプロジェクトにおいて音声トラックが時折同期を失っていた問題を解決しました。 - フィルタープレビューモジュールにおけるメモリーリークを修正しました。 以上のようでご詳細をお知らせください。それに基づき、さらにお手伝いいたします。

## Japanese Translation: ## まとめ： Kdenlive は、2025 年を通じて安定性、パフォーマンス、使いやすさを最優先し、新しい主要機能を導入する前の堅牢な基盤を確保することに注力しました。この戦略的な焦点は、自動マスク機能と背景除去用のオブジェクトセグメンテーションプラグインを追加、同時におよそ 300% の向上を実現した音声波形生成のパフォーマンスにおいて顕著に現れています。その後続のリリースでは致命的なクラッシュの修正やユーザーインターフェースの強化が進められ、25.08.0 で HiDPI ディスプレイ向けのオーディオミキサー再設計が導入され、25.12.0 では新しいウェルカム画面、モニターミニマップの向上、タイラーへの SVG サポートが実装されました。本プロジェクトは、2002 年まで遡るアーカイブを復活させつつ、現代型 CMS を採用した Web サイトのリニューアルにより、その歴史的なアイデンティティを強化するとともに、OpenTimelineIO への貢献や MLT デベロッパーとの協業深化を通じてアップストリーム協力も深めました。将来展望として、26.04 ではモニターミラーリング、アニメーション遷移プレビューなどのアップグレードが予定されており、高度なトリミングツールの開発、カラービット深度の向上（10/12 ビット）、Microsoft Store での利用に向けたネイティブ MSVC コンパイルによるサポートが続々と進展しています。2025 年における累計ダウンロード数は 1,150 万件を超え、NGI Zero Commons グランツによる支援のもと活発なコミュニティ貢献が受け入れられており、これらの取り組みにより、ユーザーはより柔軟なワークフローと優れたプロジェクト携帯性を享受し続けることができます。

2026/04/18 20:42
Hacker News ↗
取引業者たちは、イラン戦争に関する極めてタイミングのよい賭けに、10 億ドル以上の資金を投入しました。

取引業者たちは、イラン戦争に関する極めてタイミングのよい賭けに、10 億ドル以上の資金を投入しました。

## Japanese Translation: 要約：暗号解析アナリティクスの分析は、予測市場である Polymarket などのプラットフォーム上で取引を行う投資家が、重大な地政学的事象から利益を得るために非公開の内部情報を活用していることを示す不安なパターンを浮き彫りにしている。具体的には、米国によるイランへの空爆数日前にそれぞれ 10 万ドルずつ賭けたアカウントや、「Magamyman」というユーザーがアятоラーの排除に関するベッティングを行ってその暗殺直後に55 万3,000 ドル以上を利益として得たケースが含まれる。これらの事象の後、合計 120 万ドルもの収益を得た疑わしい内部関係者 6 名が特定された。さらに、ドナルド・トランプ大統領が休戦宣言および生産的な協議をそれぞれ発表する数時間前ならびに 15 分前に、価格下落を予測する巨額の原油先物賭け（合計9億5,000 万ドルおよび5,800 万ドル）が行われた。ジョシュア・ミッツ氏による論文では、2024 年末から 2026 年初頭までの間に 20 万組の疑わしいウォレットと市場ペアをスクリーニングし、取引者の勝率はほぼ 70% に達し、総勝利額は 1 億 4,300 万ドルであると見出されている。ホワイトハウスは特定の告発を根拠のないものとして否定したが、連邦法では政府職員が非公開情報を利活用して利益を得ることを禁止しており、CFTC コミッショナーのマイケル・セリグ氏は「当局者は法の全力に直面することになる」と警告している。Craig Holman（Public Citizen）が提出した苦情もこれらの見解を支持し、疑わしいタイミングおよび金額について言及している。この状況は、カリフォルニア州ネバダで禁止され、アリゾナ州において未ライセンス契約罪で刑事告訴されているプラットフォーム Kalshi が直面した法的トラブルとほぼ同様のものとなっている。しかしながら、CFTC が多数を占めるパネルを形成するまでの間、新しい規制規則は一旦保留されている。これらの慣行が規制なしに続いた場合、予測市場に対する公衆の信頼が崩壊し、企業の存続性を脅かし、当局者を重大な法定リスクに晒す恐れがある。

2026/04/19 3:36
Hacker News ↗
[Show HN] MDV：データ対応で Docs、ダッシュボード、スライドを統括できるマークダウンスーパーセット

[Show HN] MDV：データ対応で Docs、ダッシュボード、スライドを統括できるマークダウンスーパーセット

## Japanese Translation: MDV は、カスタムコードを必要とせずにチャート、KPI カード、テーブル、スタイル付き領域などのリッチメディア文書、ダッシュボード、スライドを作成することを可能にする Markdown の超集合です。厳密な CommonMark を基盤とし、YAML フロントマター、データ/ビジュアル用フェンスブロック、レイアウト用の「:::」コンテナ、自動生成目次用の「::::」の 4 つの追加機能を持っています。セレクターやクラスを使用せず、テーマと名前付きスタイルでデフォルトを定義することでこの必要を取り除いています。ツールはインライン SVG チャート（JavaScript ランタイムを使用しない）を備えた自立型 HTML ファイルをレンダリングし、PDF 出力もサポートします。ユーザーは VS Code で並列プレビュー機能を利用してプロジェクトに相互作用できます。 最初に行うことは、リポジトリをクローンする（`git clone <repo> mdv`）、`npm install` を実行し、プロジェクトをビルドすることです。例のレンダリングは CLI 経由で行います（例：`node packages/mdv-cli/dist/index.js render examples/09-full-report.mdv`）。 whereas 自動リロード付きライブプレビューを開始するには、preview コマンドを使用します（`node packages/mdv-cli/dist/index.js preview ...`）。ドキュメントには「Getting Started」「Syntax Reference」「Charts & Stats」「Data handling」「Themes & Styles」「CLI usage」「VS Code extension」などのセクションが記載されています。マーケットプレイスは拡張機能の公開に使用され、`examples/` ディレクトリには 10 つのサンプルファイルが含まれ、そのレンダリング出力は `examples/out/` にあります。現在はバージョン 1（プレリリース）であり、Node.js バージョン 20 以上が必要です。詳細な仕様とロードマップは `docs/superpowers/specs/2026-04-18-mdv-format-design.md` に記載されています。

2026/04/19 0:24
Hacker News ↗
マイケル・ラビンは亡くなりました。

マイケル・ラビンは亡くなりました。

## Japanese Translation: マイケル・オーサー・ラビン（1931–2026）は、ドイツのブレスラウ（現在はポーランドのカトヴィツェ）に生まれ、94歳の時にイスラエルのラアナーナで死去した先駆的な計算機科学家である。彼は1956年にアロンゾ・チャーチのもとでプリンストン大学から博士号を取得し、のちにハーバード大学でゴードン・メーケイ教授を務め、名誉退任後も Columbia 大学で2007年春に暗号学を講義した。ラビンは1976年に計算複雑性への貢献および非決定性機械の導入に対する功績により、ダナ・スコットと共同学者として ACM チューリング賞を受賞した。彼の研究は確立された主要な理論的成果を含み、 probabilistic automata（1960 年）、polynomial time（1966 年）、無限木オートマトンおよび単項二価次数論の決定可能性（1969 年）に及びます。また、彼は複数の革新的アルゴリズムと暗号システムを開発しました：Miller–Rabin 素数判定法（1975 年、一般化リーマン予想を仮定しないランダム化アルゴリズムによる素数検査）、Rabin 署名アルゴリズム（1978 年、整数分解の非効率性をセキュリティ要件とする非対称暗号系）、さらにリチャード・カープとともにローリングハッシュを用いた効率的な Rabin–Karp 文字列探索アルゴリズム（1987 年）。彼の早期のリーダーシップとしては、29歳でヘブライ大学の数学研究所長に就任し、33歳までにフルプロフェッサーに昇格したことが挙げられます。彼は多数の栄誉を授与されおり、Weizmann プライズ（1959 年）、IEEE コンピュータ・サ ociety チャールズ・バベッジ賞（2000 年）、イスラエル賞（1995 年）、Dan David プライズ（2010 年）が含まれます。彼のメンターであるアロンゾ・チャーチが引き継いだ伝統を踏襲し、リチャード・カープといった巨匠たちとの協力の中で革新の黄金期を生き抜いたラビンの業績は、依然としてアルゴリズムの効率性を分析し、我々が日常的に依存するデジタル世界のセキュリティと効率性を確保するための重要な基準となっています。

2026/04/16 3:07
Hacker News ↗
大学の准教授が、AI で作成された作業を抑制するためにタイプライターに切り替えた

大学の准教授が、AI で作成された作業を抑制するためにタイプライターに切り替えた

## Japanese Translation: 2026 年 3 月 20 日（金曜日）に、コーネル大学の教員である Grit Matthias Phelps 氏は、ニューヨーク州イサカにあるドイツ語のクラスで手動式タイプライターを紹介しました。これは、デジタルからの distraction および生成 AI に過度に依存する傾向に対抗するため、学期にわたるアナログ課題の一部として行われました。学生たちが最小限の関与にもかかわらず文法的に完璧な作業を生産することに失望した Phelps 氏は、自動校正、スペルチェッカー、デリートキー、オンライン辞書、および電話の使用を禁止する「無スクリーン」方針を施行しています。 タイプライターは每学期一度使用され、学術的誠実さを維持するため旧式のテスト方法への広範な傾向の一部として利用されています。Phelps 氏は古着屋とオンラインマーケットプレイスから数十台のヴィンテージ機械を購入しました。うち一部はドイツ配列を持ち、他は QWERTY キーボードを使用しています。教員たちは紙を手動で送り込み、文字を汚すことなくキーを打つなどの技術を説明し、学生たちに AI や即席の修正に頼らず意図的に考えるよう導いています。コンピュータサイエンス専攻の学生である Ratchaphon Lertdamrongwong 氏らは、通知による distraction が減り、真摯な関与への転換を報告しました。また、マッシェロ・ポペルカ姓二年生（ペンで校正した）やケサリーン・モン姓一年生（破損した腕により不完全なタイピングを行った）のような他の学生も、書き込む物理的プロセスと間違いの価値を受け入れました。 エラーが学習の一部であることを強調するために、学生たちは校訂済みのデジタル同等物ではなく、鉛筆の記号、誤記、余分なシートに満ちた下書き書類を保持します。セッション中に、Phelps 氏の 7 歳と 9 歳の幼い子供たちさえも「テックサポート」として服務し、電話が持ち去られないように確保しています。この学期にわたる演習は、ますますデジタル化する世界で本物の書き方の習慣を取り戻すことを目指しており、アソシエートド・プレスはその教育報道が民間財団からの財政的支援を受けており、かつすべての内容について独自に責任を負うと明かしています。

2026/04/19 4:00
Hacker News ↗
PgQue：ゼロ・ブロート PostgreSQL キュー

PgQue：ゼロ・ブロート PostgreSQL キュー

## Japanese Translation: PgQue は、管理プロバイダー（RDS、Aurora、Supabase など）を含むすべてのプラットフォームで動作するように設計された、軽量な純粋な PL/pgSQL キューシステムとして、長年存在した PgQ アーキテクチャを再活性化させます。その主な利点は、C 拡張機能、共有ライブラリ、外部デーモン、または厳しいプロバイダーの承認が必要とされないことであり、これによりインフラストラクチャの複雑性が大幅に減少するとともに、堅牢な ACID 準拠およびトランザクション安全性が保証されます。PGMQ や pg-boss といった競合ソリューションがロック機構に依存しているのに対し、PgQue は独自のネイティブファンアウト機能を備えており、消費者は共有イベントログに対してそれぞれ個別のカーソルを保持します。スナップショットベースのバッチ処理と TRUNCATE レイアウトを採用することでパフォーマンス劣化を防ぎ、ベンチマークによりデータ肥大化なしで約 86,000 イベント/秒の高い挿入率を達成することが確認されました。エンドツーエンド配信遅延はデフォルトで通常約 1～2 秒（マイクロ秒スケーリングの一回呼び出しあたり）であり、将来的にはサブ秒間配送を実現するためのロジカルデコーディングベースのウェイクアップ機能の導入を目指しています。言語非依存な SQL API は内蔵リトライロジックとデッドレターキューをサポートし、複雑な外部フレームワークに限定されていた高度なメッセージング機能を備えたポータブルソリューションを開発者に提供します。インストールには 1 つの SQL ファイル（`sql/pgque.sql`）と、`pg_cron` または外部スケジューラによって駆動される定期的なタイカーが必要で、読み取り、書き込み・消費、管理の 3 つの役割を作成します。Apache-2.0 ライセンス（PgQ から派生したコードを含む）の下にあり、Python、Go、TypeScript の複数のドライバとサンプルライブラリをサポートしています。

2026/04/19 1:50
Hacker News ↗
AI の状況を示すグラフ（2026 年）

AI の状況を示すグラフ（2026 年）

## Japanese Translation: 2026年のスタンフォード AI アレックスレポートは、モデル開発において民間企業が決定的な優位性を確立したことを明らかにしており、主要リリースの90%以上を民間企業が担うようになり、過去には学術界が主導していた状況から大きく変化している。米国における前例のない5810億ドルの投資と、2021年以降に世界計算能力が30倍に増加したことを原動力としており、市場はNvidiaのようなハードウェア大手や中国の産業ロボットリーダー企業に大きく依存している。「Humanity's Last Exam」などのベンチマークでの breakthrough に加え、AI システムはアナログ時計を読むなどの基本的な視覚タスクでも依然として苦労しており（一部のモデルでは約8.9% の精度に留まるなど）、技術的な制約が残っている。この技術的急成長は労働市場を再形成し、初級ソフトウェア職での減少を招きつつ、中途キャリア職は安定化しており、失業率の上昇の中で作業員がスキルアップを迫られている。世論は地域によって異なる；欧州や南米では AI の利点に對してより楽観的になりつつある一方、政府規制への信頼については米国および一部の欧州で最も低い水準である。今後、業界の優位性と計算能力の拡大は、現在の推移に基づくと2026年4月まで続きそうだ。

2026/04/19 2:12
Hacker News ↗
コルテックス M 搭載プロセッサにおける浮動小数点処理に関する趣事談

コルテックス M 搭載プロセッサにおける浮動小数点処理に関する趣事談

## 日本語訳： nRF52840 プロセッサには浮動小数点演算ユニット（FPU）が搭載されていますが、Zephyr のデフォルト設定では FPU を無効にしてソフトウェアエミュレーションに依存します。記事は、リンカリング時に互換性のないアプリケーションバイナリインターフェース（ABI）バリエーション（`soft`、`softfp`、`hard`）を混在させることが、コンパイラが浮動小数点引数に対して異なるレジスタ規約を期待しているため、リンカーの不一致や実行時の NOCP 使用障害などの致命的なエラーを引き起こすと指摘しています。安定性を確保するためには、開発者は `CONFIG_FPU` カーネルオプションとライブラリ関数を使用するリンカ `-mfloat-abi` フラグを一致させる必要があります。FPU を最適化のために即席で有効にする動的アプローチも存在します（例：実行の直前、特定の関数内で有効化）。しかし、指令の実行中に FPU が無効になっている場合、使用障害を防ぐためには極めて注意が必要です。結局のところ、ハードウェアサポートとコンパイラフラグを適切に設定することで即時クラッシュを防止し、安全なファームウェアの実行を保証します。

2026/04/17 19:32
Hacker News ↗
Opus の 4.7 から 4.6 へのインフレ率は、およそ 45% です。

Opus の 4.7 から 4.6 へのインフレ率は、およそ 45% です。

## Japanese Translation: 本記事は、Anthropic の Opus モデル（バージョン 4.6 および 4.7）に対する匿名化されたリクエストトークンデータを用いた、コミュニティから提供された実用的な比較を提示しています。billchambers.me でホストされており、このソースはプライバシー保護のため、匿名の提出 ID のみを保存しています。本内容は Anthropic との関係性や後援を受けていない旨が明記されており、これらの独立した見解を公式の主張と区別するものです。本資料には背景の文脈、将来の見通し、または業界への影響に関する分析が含まれていないため、読者はこれらの結果を科学的指標として検証されたものではなく、ユーザー体験の中立な集計として扱うべきです。

2026/04/19 1:05
Hacker News ↗
ユーコードス（YC S17）は、建築業界の生産性を高めることを支援するため、SDR（セールズ開発担当者）を採用しています。

ユーコードス（YC S17）は、建築業界の生産性を高めることを支援するため、SDR（セールズ開発担当者）を採用しています。

## Japanese Translation: ## 要約: 現在、要約を作成することはできません。元の本文が提供されていないためです。元の記事、レポート、またはデータセットがないため、抽出すべき主要な要点、論点、または証拠はなく、背景状況や関連事例を特定することはできません。その結果として、今後の展開、ユーザーや企業への影響、およびあらゆる技術用語は不明のままです。明確で正確かつ読者に親しみやすい要約を作成し、不必要な詳細に言及せずに主メッセージに焦点を当てるために、関連するコンテンツをご提供ください。

2026/04/19 2:01
Hacker News ↗
Show HN: SmallDocs – フラストレーションのない Markdown の導入方法

Show HN: SmallDocs – フラストレーションのない Markdown の導入方法

## Japanese Translation: SmallDocs は、コマンドラインエージェントが生成する `.md` ファイルの閲覧と共有における課題を解決するために作られた、プライバシーを最優先とした CLI および Web アプリケーションツールです。100% のローカル制御でマダックファイルを即座にプレビューして共有できるように設計されています。 `sdocs-dev` をインストールすると、 `sdoc path/to/file.md` を実行することでブラウザ上でファイルを開くことができ、本ツールは単なるクライアントサイドレンダリングエンジンとして機能します。コンテンツは URL フラグメント内に圧縮された Base64 データとして保存されるため、デバイス外へ送出されず、リモートサーバーとも接しません。ユーザーは各ファイルの YAML Front Matter の先頭で複雑なスタイルやグラフのレンダリングを指定でき、共有された URL に沿ってセキュリティを保ったままスタイルと可視化データを安全に伝搬させることができます。SmallDocs は、ローカルエージェントファイル（例： `~/.claude/CLAUDE.md` または `~/.codex/AGENTS.md` ）に構成行を追加してエージェントワークフローへの統合を促しており、CLI の初期使用時にこれらの行を自動追加するためのオプションのセットアップフェーズも用意されています。 `sdoc schema` や `sdoc charts` といったコマンドでさらなる機能や冒険的な例題にアクセスでき、ドキュメントの詳細は CLI を介して入手可能です。今後の展望として、SmallDocs はプリスタイルされた文書の安全な共有を簡素化し、将来のワークフローにおけるマダックコンテンツのレンダリング方法を変革することを目標としています。

2026/04/15 20:29
Hacker News ↗
Show HN: Remoroo。長時間稼働するコーディングエージェントにおけるメモリ管理の問題に取り組んでいます。

Show HN: Remoroo。長時間稼働するコーディングエージェントにおけるメモリ管理の問題に取り組んでいます。

## Japanese Translation: Remoroo は、推測に依存せずにコードの変更を編集、テスト、評価、保持または元に戻すために夜間に実行されるローカルで自律的な研究エンジンです。従来のコーディングエージェントとは異なり、Remoroo は厳格な検証システムとして機能します：ユーザーは簡素な仕様ファイル（例：program.md）で目標を定義し、プロジェクトを指定すると、実験が自動的に実行され、その結果が厳密な基準に対して検証されます。SSSL（帯域付き注意機構）やメモリー制約付き多目的検証といった高度なアーキテクチャ検索手法に基づいた Remoroo は、プライバシー保護および機密データへの完全なコントロールを確保するために完全にユーザーのマシン上で動作します。セットアップは迅速で、インストールにかかる時間はわずか 30 秒であり、プラットフォームは無料で実験用の月間クレジットを含むオープンな価格モデルを提供しています。手動の試行錯誤を検証された体系的な研究ループに変換することで、Remoroo は開発者がコードを直ちに反復し、夜間にそれを改善することを可能にします。

2026/04/14 22:51
Hacker News ↗
アリ科学者が、アリがアリザナ砂漠で見られる巨大なアリを掃除している「清潔好きのアリ」を発見した。

アリ科学者が、アリがアリザナ砂漠で見られる巨大なアリを掃除している「清潔好きのアリ」を発見した。

## 日本語翻訳: 今回初めて、科学者たちはアリゾナ州東南部の砂漠において、微小なコノアリがはるかに大きなシロアリ（実際にはハーパーアリ）を掃除するという、異種間のユニークなパートナーシップを発見した。これは以前の昆虫の行動に関する仮説に挑むものであり、海水族館の清道夫魚と同様に振る舞う。これらの小さな*Dorymyrmex*（記述されていない新種のアリの一種）は、立ち上がっている*Pogonomyrmex barbatus* ハーパーアリに乗り移り、その体や顎から食物粒子やゴミを除去しながらも、攻撃を引き起こさずにいる。今週、『Ecology and Evolution』誌に掲載されたマーク・モフェットの観察記録では、チリカワ山脈で行われた調査で、数日間にわたって少なくとも 90 回の這樣的活動が確認されたことが示されている。これらのセッションは 15 秒未満から 5 分以上まで変動し、近くにごろりと置かれた死体の試料を無視していた。研究者らは、清道夫アリたちがシロアリ（ハーパーアリ）の種子収集の作業中に集めたエネルギー豊富な残骸を食べるものと考えられている。単一のコロニー内での相互ケアとは異なり、この相互作用は両種がアクセスしにくい部位でも衛生状態を維持し、感染症を減少させるのに役立つ可能性があるという、新規の共生関係を代表するものである。この発見は陸上生態系の生態学的知識を広げ、顕微的な砂漠マイクロハビタットのための保全戦略を洗練させるには、実験室研究のみならず、小さな自然の詳細を観察することが重要であることを示している。

2026/04/16 4:46
Hacker News ↗
Intel 80386 のメモリ・パイプライン機構についてご質問でしょうか？ **メモリ・パイプライン（Memory Pipeline）** とは、CPU がメモリアクセスを高速化する技術で、複数のインストラクションを並列的に処理するため、メモリアクセスのオーバーヘッドを軽減します。Intel 80386 では初めてこの機構が採用され、1979 年にリリースされた x86 アーキテクチャ史上重要なステップとなりました。 具体的な仕組みや詳細な技術内容についてさらに説明が必要でしたら、お知らせください！

Intel 80386 のメモリ・パイプライン機構についてご質問でしょうか？ **メモリ・パイプライン（Memory Pipeline）** とは、CPU がメモリアクセスを高速化する技術で、複数のインストラクションを並列的に処理するため、メモリアクセスのオーバーヘッドを軽減します。Intel 80386 では初めてこの機構が採用され、1979 年にリリースされた x86 アーキテクチャ史上重要なステップとなりました。 具体的な仕組みや詳細な技術内容についてさらに説明が必要でしたら、お知らせください！

## 日本語翻訳: インテル製 80386 は、単純な逐次処理ではなく、仮想メモリの管理を効率的に行うための複合的な並列マイクロアーキテクチャ機能を活用することで驚異的な速度を実現しています。その核心的な戦略は、処理を順次行うのではなく、複数のタスクを同時に実行することにあります。具体的には、プロセッサは事前計算とパイプライン化を用いて、論理アドレスから実アドレスへの変換を約 1.5 クロックサイクルで完了させます。セグメンテーションは記述子キャッシュによって反復的なテーブル参照を回避し、制限値チェックは線形アドレス計算と並行して実行されます。「Early Start」という最適化手法により、前の命令のサイクル中に処理を開始することでスループットが約 9% 向上しますが、この複雑さが後に生産チップにおいて POPAD バグを引き起こす要因となりました。歴史的に、これらの技術は元のチップが Companion キャッチングチップ（補助キャッシュチップ）を活用して大幅な速度向上（30% から 40%）を実現することを可能にしました。現在では、現代の FPGA インプルメンテーションがこのような動作の多くを再現しており、DOS や Doom のようなアプリケーションを高周波数で実行することが可能です。特に、一つのコアは現在 DE10-Nano で 75 MHz で動作しています。しかし、現在の FPGA デザインではブロック RAM 内の厳格なハードウェアタイミング制約のため、完全なアドレスパイプライン化を実行略することはよくあります。並列性がレガシーチップの設計をどのように推進したかを理解することが依然として重要であり、これは「Early Start」のような技術がもたらす強力なパフォーマンス利点と、最適化の際に過度な複雑性を追加することによって引き起こされる安定性バグなどの歴史的リスクの両方を浮き彫りにしています。

2026/04/15 1:00
Hacker News ↗
Amiga グラフィックス・アーカイブ

Amiga グラフィックス・アーカイブ

## Japanese Translation: このウェブサイトは、コモドール・アミガのグラフィック作品を専用デジタルアーカイブとして提供し、アーティスト、ゲーム、ロゴ、出版物、シーナースPECIALなカテゴリなどを有しています。最近の追加には、アイランドグラフィックス（2024年11月）の初期画像コレクション、シーナー・フェイスからの新投稿（2023年10月）、そしてロバート・J・スピルコ氏による『アミガ・ヤールブウク』1987年に初掲載された歴史的な高分解能画像（2023年9月）が含まれています。また、1988年のカラーサイクルング競技会から収集された大量のアミガ・マガジン画像が追加され、CRTディスプレイ上のファイルサイズ問題に対応するため、アニメーションWEBPファイルをMP4に変換されました。このアーカイブはドイツ語出版物に掲載されていた競技会の投稿を保存しており、1990年代において多くの作品で手作業によるピクセルアートが3Dレンダリングやフォトコラージュに取って代わられたという品質の変化について言及しています。2023年8月以降の更新はリストされていませんが、ディスプレイ技術からサイバーストックアサルト556までの多様なトピックを扱った「記事」セクションが含まれており、1990年代中盤以降の資料が減少している状況に配慮しつつ、歴史的保存と技術的洞察のバランスを保っています。

2026/04/18 15:20
Hacker News ↗
4 ビット浮動小数点形式 FP4

4 ビット浮動小数点形式 FP4

## Japanese Translation: # 概要： ニューラルネットワークは、大規模な AI モデルのメモリ使用量を最適化するために FP8 および FP4 のような超低精度フォーマットを採用する傾向が高まっています。このトレンドは C 言語と Python ライブラングの双方によって支えられています。Python の`float` は一般的に 64 ビットの二重精度を指しますが、専門的な縮小精度フォーマットが台頭しています。現在最も重要な進展は、1 つのビットを指数部、1 つのビットをマンティス部に用いる 4 ビット浮動小数点数（FP4）の E2M1 サブセットへの採用であり、これは計算タスクに適した非一様値分布を利用することで、従来の一様間隔配置や極端なケース（E3M0 の対数スケールまたは E0M3 の線形スケールなど）とは異なり、限られたメモリに多くのパラメータを圧縮して格納することを可能にします。符号付き 4 ビット数の場合、最初のビットが符号を表し、その後の構成によって値は約 -6 から +6 まで、0.5 刻みで表現でき、指数部がゼロのときに零および小数部分を特別に扱います。Python の`pychop`ライブラリなどのツールが現在これら E2M1 フォーマットを実装していますが、分野は NF4 とような将来のフォーマットへ進化しており、それらは大規模言語モデルに見られる特定の重みの分布にさらに適切に合わせて設計されており、モデルがより複雑になるにつれて計算効率を維持しながら精度も過度に損なわずに行えます。

2026/04/19 2:21
Hacker News ↗
FFT アルゴリズムの理解（2013 年）

FFT アルゴリズムの理解（2013 年）

## Japanese Translation: 高速フーリエ変換（FFT）は、離散フーリエ変換（DFT）の計算量を二次 $\mathcal{O}[N^2]$ からほぼ線形 $\mathcal{O}[N\log N]$ に削減することにより、信号解析を革新します。これは数学的対称性と再帰的分離（クージー・トキー法で先駆された）によって実現され、 naive な実装と比較して 1000 倍以上の性能向上をもたらします。Python は再帰的な `FFT_recursive` やベクトライズされた `FFT_vectorized` バージョンといった教育用的ツールを提供しますが、NumPy（`numpy.fft`）や SciPy（`scipy.fftpack`）のような最適化されたライブラリ——これらは FFTPACK などのレガシーな Fortran コードに依存していることが多い——ははるばる高速です（例：$N=1024$ の場合、約 25 µs 対比で>1 ms）。これらのライブラリは小規模な配列も効率的に扱い、メモリ使用量を最小化するとともに、単純な radix-2 を超えた高度な分割をサポートします。将来の作業では Bluestein や Rader のアルゴリズムなどの変種を用いて非 2 のべき乗のサイズへの拡張が検討されていますが、今日の高パフォーマンスタスクにおいて最も実践的なソリューションは、確立された最適化ライブラリを依存し続けることです。

2026/04/15 11:29
Hacker News ↗
フジックス OS

フジックス OS

## Japanese Translation: Fuzix OS バージョン 0.4 は、以前「N8VEM」として知られていたものが、「Retrobrew」というブランドに再変更され、リトロコンピューティング愛好家にとって大きな転換点となる`.a.out`形式のような統一されたバイナリフォーマットの導入を特徴としています。このアップデートは開発を簡素化するため、新しい簡略化されたターゲット（例えば、`make diskimage`）を導入すると同時に、RC2014 バスシステムを「RCbus」と改称しています。しかし、プロジェクトは Tester が不足した理由から、Pentagon や Pentagon 1024 のような特定のレガシーエミュレータのサポートを終了しました。一方、それらのクローンハードウェアへの完全なサポートは維持されています。本リリースでは、ZX Spectrum（DivIDE/DivMMC セットアップを含む）など、クラシックな 8 ビット機向けにネットワーキングおよびメモリバンキング機能を拡張していますが、非常に具体的なバージョンを必要とする不確かなツールチェーンによる継続的な不安定性を導入しました。特に、6502 などの旧式 CPU における浮動小数点サポートは現時点では利用不能であり、それを有効化するには新しいソフトウェアルーチンを追加する必要があります。エコシステムには、安定したポート（ARM M0/M4 シリーズ、Z80 シリーズ、および複数の Motorola チップなど）と、進行中または廃止された実験的なポート（ESP32 および EZ80 など）が混在しています。本質的に、このバージョンはエミュレーションの Landscape をより明確なアイデンティティの下に統合しますが、不安定なツールチェーンによる潜在的なビルド失敗をユーザーが管理する必要があり、かつ実験的なポートが安定するのを待つ必要があることを求めています。

2026/04/19 0:24
Hacker News ↗
人工知能を用いた情報戦において、イランが優勢であり、現在勝利している状況にあります。

人工知能を用いた情報戦において、イランが優勢であり、現在勝利している状況にあります。

## 日本語訳： 4 月 17 日（2026 年）に発表された「文化 | ドゥームスクロールの預言者」という記事は、抑圧的な政権からの国家プロパガンダの不条理さと、現代メディア文化における皮肉なユーモアの間に類似性を指摘している。同記事の中心には、2003 年のアメリカによるイラク侵攻時のスッタン・フセインの情報大臣ムハンマド・サーエード・アル・サファフがいる。彼はバグダッドの屋上に立ち、背後から兵士たちが明瞭に逃走しているにもかかわらず、都市は安全であり敵が自殺をしていると虚偽を主張し、それが神からの懲罰として放送された。記事はこの「殺人的な」過去の政権における露骨で信ぴょう性のない欺瞞と今日の環境を対比させている：過去のプロパガンダはその不条理さゆえに説得力を持たなかったのに対し、現代の聴衆は blatant な嘘に対する信念よりも、無関心の皮肉な態度で政治的な絶望を消費する「ドゥームスクロール」を行っている。

2026/04/19 3:38
Hacker News ↗
「圏論イラストレートド ～順序関係～」

「圏論イラストレートド ～順序関係～」

## 日本語訳: 本文は、整列集合、部分順序、および束の基礎的な数学的構造について説明し、抽象的な代数的法則を実世界の実例（ソートされた配列、色の混合、数論など）と関連付けています。核心的な区別は、反射性、推移性、反対称性といった性質にあります；具体的には、あらゆる要素対が比較可能かどうかによって、その順序が「全順序」か単に「部分順序」かが決定されます。束は、任意の 2 つの要素に対して join（最小の上界）と meet（最大の下界）の両方を要求します。本文はまた、最大元および最小元についても触れ、すべての構造においてこれらが存在するとは限らないことを指摘しています。これらの関係性を視覚化するためには、ハーゼ図がよく用いられます。この枠組みは圏論にも接続しており、準順序が細い圏として機能し、推移性が合成を表し、反射性が恒等射影を与えるという事実を強調しています；したがって、圏の積操作は meet に対応し、和は join に対応します。将来の利用においては、分布束の分析にビークホフの表現定理や、準順序における等价類を崩壊させて標準的な順序へと単純化する構造などが関与する可能性があります。

2026/04/18 15:40
Hacker News ↗
浮動小数点数の等価比較を行っても問題ありません。

浮動小数点数の等価比較を行っても問題ありません。

## Japanese Translation: 最も重要な知見は、浮動小数点比較は通常、任意のエプシロン閾値ではなく正確な等式に基づいて行うべきであるという点であり、これらはしばしば深刻なバグを招くものである。これらの計算における不正確さはランダムさに起因するのではなく、決定論的な数学的法則および非結合性によるものであり、適合しない許容誤差値を使用することは転移性のような本質的な性質を損なう。この脆弱性は、小さな数値を扱う際に精度が失われるような場合など、レンダリングエラーやアプリケーションクラッシュといった連鎖的故障を引き起こす。一般的な落とし穴には、NaN を生成する単純な Slerp 実装や、データモデルを表現層と正しく混合せず適切に動作しないグリッドベースの移動ロジックなどが含まれる。これらの問題を解決するためには、開発者はデータモデルと視覚的な論理を分離し、線形系の解を安定化させるために部分ピボットを実装する必要がある。将来の改善策としては、入力を固定されたグリッドに丸めたり、静的な定数ではなくスケールに基づいて動的に許容誤差値を導出したりすることが推奨される。これらの厳格な実践を採用することで、射線とボックスの交点計算や凸包計算といった重要な領域でデバッグが困難なエラーを防ぎ、浮動小数点算術の真の代数的性質に依存するのではなく誤った閾値推測に頼ることなく、より堅牢なソフトウェアを提供できるようになる。

2026/04/15 1:00
Hacker News ↗
[Show HN] 私は、互いに重なり合わない区間の集合上で動作する計算機を開発しました。

[Show HN] 私は、互いに重なり合わない区間の集合上で動作する計算機を開発しました。

## 日本語翻訳： 改善されたバージョンが、詳細なキーポイントを反映させるために推奨されます。主要な欠落要素をすべて取り入れつつ、メインメッセージを明確に保つために再作成したサマリーは以下の通りです： ## 改訂版サマリー： このテキストは、間隔ユニオン演算（Interval Union Arithmetic）を実装する専門的な計算機について記述しており、単一の実数ではなく区間の和集合上で動作し、数学的不確実性を効果的に処理します。区間 `[a, b]` は `a` と `b` の間に含まれ、かつ `a` および `b` 自体を含むすべての数を示し、和集合 `[a, b] U [c, d]` は不連続な区間の集合を表します。主な利点は、システムが演算に対して閉じており、ゼロを含む区間でも割り除法が可能であること（例：`2 / [-2, 1] = [-∞, -1] U [2, +∞]`）です。また、入力から計算されたあらゆる真の実数値結果が出力和集合に含まれることを保証しており、不確実性の表現を支援します（例：`50 * (10 + [-1, 1]) = [450, 550]`）。 フルプレシジョンモードでは、ツールは IEEE 754 ダブル精度浮動小数点数に対して外向き丸めを使用し、すべての真の無限精度値が計算された出力範囲内に厳密に含まれるようにします。入力は柔軟です：ユーザーは角括弧構文 `[a, b]` を使用して区間を入力することも、または単なる数値を入力することもでき、フルプレシジョンモードでは後者は狭い区間として解釈されます。サポートされている演算には足し算（`+`）、引き算（`-`）、掛け算（`*`）、割り算（`/`）、およびべき乗（`^`）が含まれます。サポートされている関数には三角関数（`tan`、`cos`、`sin`）、対数（`log10`）、根（`sqrt`）、絶対値（`abs`）、そして境界（`lo(A)`、`hi(A)`）、および包囲殻（`hull(A)`）が含まれます。 このツールには現在既知のバグが存在し、間隔計算機とそれを支える「not-so-float」エンジンともにオープンソースであり、GitHub でバグ報告が受け付けられています。今後のアップデートでは、フルプレシジョン制御を分割すること、`ans`（答え）変数を追加すること、交差演算子を導入すること、`U` の演算子優先度を微調整すること、空の和集合入力に対応することを計画しています。全体的に、この計算機は従来の手法では処理できない不確実性及び特異点を含む複雑なシナリオへの解決を可能にするため、計算数学を発展させます。

2026/04/18 10:15
Hacker News ↗