Webtagr - テクノロジーニュースダイジェスト

エンドユーザーがプログラミング可能なAIの解き放ち：Universalisの紹介

2025-08-10

本論文では、広範なプログラミングの専門知識がなくても、知識労働者がAIの力を活用できるように設計された新しいプログラミング言語Universalisを紹介します。Universalisは、ニューラルコンピューターAutomindでの実行に最適化され、一連の分析ツールによって補完されるコードの可読性を優先しています。ライプニッツの普遍科学のビジョンに触発されたこの言語は、自然言語とコードを組み合わせることで、基本的なExcelの数式にしか慣れていないユーザーにとってもアクセスしやすくなっています。条件文、一括処理、クエリ理解などの高度な機能をサポートし、Universalisは堅牢なAIの安全性を確保するために、事前条件と事後条件を組み込んでおり、論理的な正確性と倫理的なコンプライアンスを保証しています。

(queue.acm.org)

AI AIプログラミング言語

WebAssemblyとDOMサポート：Glueコードの未来

2025-07-23

WebページやDOMなどのAPIと統合する必要性を考慮すると、WebAssembly（Wasm）がWebアプリケーションで本当に本番環境で使用できるかどうかが議論されています。この記事では、WasmがDOMに直接アクセスする必要はなく、既存のJavaScript APIとコンパイラが生成したGlueコードでシームレスな統合が可能であると主張しています。将来、Web APIを直接呼び出すメカニズムが追加される可能性がありますが、そのためには膨大な労力が必要です。現在、WasmはJavaScript関数のインポート（例：`console.log`）と、JavaScriptオブジェクト配列のインデックスを巧みに使用してオブジェクト参照を管理することで、JavaScriptとの柔軟なやり取りを実現しています。このアプローチは純粋なWasmではありませんが、パフォーマンスを効果的に向上させます。例外処理、ブロッキングI/O、ガベージコレクションなどの機能の継続的な改善により、WasmとJavaScriptの統合効率がさらに向上しています。著者は、Wasmの焦点はプログラムのパフォーマンス向上にあり、JavaScriptを完全に排除することではないと結論付けています。WebAssemblyの未来は、パフォーマンスやコードサイズを犠牲にすることなく、JavaScriptとの相互運用性をさらに向上させるための、コンポーネントモデルとツールチェーンの改良です。

(queue.acm.org)

開発

あなたのマウスはデータベース：非同期データストリームとRx

2025-04-10

この記事では、Rx（Reactive Extensions）を用いた非同期データストリームの処理方法について探求しています。著者は、現代のWebアプリケーションとモバイルアプリケーションが非同期およびリアルタイムのデータストリームに大きく依存していることを指摘し、Rxがこれらのストリームを調整およびオーケストレーションするためのエレガントな方法を提供すると述べています。従来のデータベース技術とRxを比較することで、Rxが非同期計算をファーストクラスの市民としてどのように扱うか、そして効率的なデータストリームの構成と変換のために流暢なAPIを使用する方法を説明しています。最後に、著者は簡単なAjax自動補完の例を用いてRxの強力な機能を示し、Rxとモナドの関係にも簡単に触れています。

(queue.acm.org)

開発

50年にわたるオープンソースソフトウェアサプライチェーンのセキュリティ：Multicsからxz攻撃まで

2025-04-07

この記事は、過去50年間にわたるオープンソースソフトウェアサプライチェーンセキュリティの課題を探ります。1974年のMulticsセキュリティ評価で特定された潜在的なバックドアから、2024年のxz圧縮ライブラリのバックドア攻撃まで、問題は依然として存在しています。Goプログラミング言語の中核開発者であるRuss Coxは、自身の経験と業界の事例に基づいて、ソフトウェアサプライチェーン攻撃と脆弱性の定義、ソフトウェアサプライチェーンの複雑さ、防御を強化する方法について議論しています。これには、ソフトウェア認証、再現可能なビルド、脆弱性の迅速な発見と修正、脆弱性の予防戦略などが含まれます。この記事は、オープンソースソフトウェアの資金不足を強調し、プロジェクトを悪意のある行為者に対して脆弱にしていることを、xz攻撃を例に挙げて説明しています。最終的に、著者は、進化する脅威に対処するために、オープンソースの資金増加とセキュリティの改善を訴えています。

(queue.acm.org)

テクノロジー

AWSにおけるシステムの正確性：形式手法と半形式手法の活用

2025-04-01

Amazon Web Services (AWS)は、顧客が完全に信頼できる信頼性の高いサービスを提供することに尽力しています。そのため、セキュリティ、耐久性、整合性、可用性の最高水準を維持する必要があり、システムの正確性がこれらの優先事項達成の礎となっています。当初、AWSは重要なシステムのモデリングにTLA+言語を使用し、開発の初期段階で微妙なバグを特定し、排除しました。成長に伴い、AWSは開発者にとってより使いやすい状態マシン言語であるP言語を導入し、Amazon S3のストロングコンシステンシーへの移行など、分散システムのモデリングと分析に使用しました。また、プロパティベーステスト、決定性シミュレーション、ファジングなどの軽量手法も広く使用されています。さらに、AWSはシステムの堅牢性を強化するために、FIS（Fault Injection Service）を立ち上げました。重要なセキュリティ境界については、CedarやFirecrackerの開発に見られるように、形式的証明を使用して正確性を保証しています。この多面的なアプローチは、信頼性を確保するだけでなく、パフォーマンスの最適化とコスト削減にもつながります。

(queue.acm.org)

開発システムの正確性