Communications of the ACM (CACM)は、コンピューティングの専門家のスキルと仕事のパフォーマンス向上に焦点を当てた新しい実践セクションへの投稿を募集しています。このセクションでは、技術的な進歩、開発プラクティス、組織構造、成功したシステムの例、その他の関連トピックに関する記事を歓迎します。記事は幅広く適用可能で洞察に富んでおり、高度に専門的なコンテンツや特定のテクノロジーに関する詳細なチュートリアルは避ける必要があります。投稿は10ページ（約6000語）に制限されており、以前ブログに投稿されていた場合がありますが、正式には他の場所で公開されていません。著者は著作権を保持します。潜在的な著者は、投稿前に共同議長に連絡することをお勧めします。
続きを読む
UCバークレーの研究者たちは、モジュール式の3Dプリントギアボックスを搭載し、5000ドル以下の価格を実現したオープンソースヒューマノイドロボット「バークレーヒューマノイドライト」を発表しました。このロボットは、入手しやすく、カスタマイズしやすい設計となっており、標準的な3Dプリンターで部品を製造できます。厳格なテストにより、3Dプリントアクチュエータの耐久性が検証されました。強化学習ベースの運動制御システムは、シミュレーションからハードウェアへのゼロショットポリシー転送に成功しました。ハードウェア、コード、トレーニングフレームワークをオープンソース化することで、このプロジェクトはヒューマノイドロボット開発の民主化を目指しています。
続きを読む
世界最大のファスナーメーカーであるYKKが、自動開閉ファスナーのプロトタイプを発表しました。このモーター駆動の驚異は、内蔵モーターとギア機構を使用して、有線リモコンのボタンを押すだけで自動的に開閉します。現在、サイズは大きく、主に産業用途（大型膜構造や仮設シェルターの接続を実証済み）を想定していますが、YKKは将来的な小型化による消費者向け利用を想定しています。この技術は、特に移動の自由が制限されている人々にとって、ファスナーとのインタラクションに革命を起こす可能性を秘めていますが、普及には安全機構の開発が必要です。
続きを読む
長年にわたる陰謀論として、スマートフォンが常に個人の会話を盗聴しているという説があります。2024年のCox Media Groupの「アクティブリスニング」システムの暴露はこれを煽りましたが、このシステムは音声アシスタントの起動後にアップロードされた音声データの断片しか使用しておらず、24時間体制の監視ではありませんでした。Facebookなどの企業は、膨大なデータセットと洗練されたアルゴリズムを利用して、ユーザーのニーズを予測し、ターゲット広告を提供します。これは、単なる盗聴よりもはるかに複雑で不安を掻き立てるプロセスです。研究によると、スマートフォンは常にマイクを監視しているわけではありませんが、他の方法で収集されたデータは依然として非常に懸念事項です。
続きを読む
著者は、ミレニアムの変わり目に出版された、英国の最悪の場所を風刺的に描いたシリーズ「Crap Towns」について振り返る。一般からの推薦と著者自身の調査に基づいたこのシリーズは、英国の社会問題を揶揄した。現在、著者は、このような本が現代社会で出版できるかどうか疑問を抱いている。アイデンティティ政治の高まりとユーモアに対する寛容性の低下により、シリーズの風刺が物議を醸す可能性があるという懸念がある。これは、社会的なユーモアの変化する状況への省察を促す。シリーズを時代遅れまたは不快なものと批判する人もいる一方、著者はユーモアが社会進歩の潤滑油であり、批判的なユーモアは社会問題を暴き出すことができると主張する。最終的に、著者は、時代が変わっても「Crap Towns」の本質は残っており、新たな文脈への適応が必要であると結論づける。
続きを読む
著者のTavian Barnesは、既存のビルドシステム（Autoconf、CMake、Mesonなど）のコンフィグレーションフェーズの非効率性を批判しています。コンフィグレーションフェーズはビルドフェーズよりもはるかに時間がかかります。彼はMakefileベースの並列化ソリューションを提案し、コンフィグレーションプロセスを同時に実行可能な複数のタスクに分割することで、効率を大幅に向上させます。中心となるアイデアは、makeの並列処理能力を利用して、元々は直列だったコンパイラテストタスクを並列化することで、コンフィグレーション時間を38秒から0.4秒に短縮することです。この記事では、ヘルパースクリプト、Makefileの記述テクニック、並列化戦略を含む実装の詳細を説明しています。ビルド速度の向上を目指す開発者にとって、この情報は貴重なものです。
続きを読む
Comcastは、2025年第1四半期に18万3000人の住宅向けブロードバンド顧客を失いました。これは前年より大幅に増加しています。Mike Cavanagh社長は、価格の透明性と顧客体験の悪さをその理由として挙げました。これを受けて、Comcastは価格体系を簡素化し、新規顧客に5年間の価格保証を提供することで、顧客維持率の向上を目指しています。収益の増加にもかかわらず、発表後、Comcastの株価は3.7％下落しました。
続きを読む
英国のフードデリバリー企業Deliverooは、米国の競合DoorDashから全株式取得を目的とした36億ドルの株式交換による買収提案を受けたことを発表しました。Yahoo Financeの市場分析番組「Market Domination Overtime」では、専門家がニュースを分析し、両社とフードデリバリー市場全体への影響について議論しました。
続きを読む
サイモンズ生態神経科学協力プロジェクト（SCENE）は、年間800万ドル以上の資金で、脳が感覚運動情報を効率的に統合する方法を調査するために開始されました。神経科学と機械学習の第一人者を結集したこの学際的なプロジェクトは、生態心理学の原理を活用し、脳がアフォーダンス（環境における行動の可能性）をどのようにコード化するかを重点的に研究します。齧歯類やコウモリから人間まで、複数の種にわたる研究を行い、認知の基本原理を発見し、脳の理解におけるギャップを埋めることを目指しています。
続きを読む
最近のレポートは、ギリシャの若者たちの急成長するテクノロジー分野での才能を強調しています。学生チームは、宇宙航空、ロボット工学、自動車工学の国際コンテストで大きな成功を収めています。例えば、ASATは常にヨーロッパのトップ学生チームの1つにランクインしています。bitLabチームはWRO 2024で銀メダルを獲得し、ヨーロッパチャンピオンにも輝き、その実力を示しました。NTUAのLegged Robots TeamやAUTHのRobotics Labなどの研究室を擁する多くの大学も積極的に取り組んでいます。この成功は、ギリシャの若い世代の革新的な能力を示すだけでなく、ギリシャの技術発展への希望の光であり、ギリシャの技術力に関する先入観を覆すものです。
続きを読む
著者は、スマートフォンで撮影した森の小道のビデオを、ウェブブラウザで探索できるインタラクティブな仮想世界に変換するために、ニューラルネットワークを訓練しました。従来のビデオゲームとは異なり、この世界は、事前に定義されたジオメトリ、照明、アニメーションではなく、以前の画像と制御入力に基づいて新しい画像を生成するニューラルネットワークに依存しています。初期モデルの限界を克服し、著者はトレーニング方法とネットワークアーキテクチャを改良して、比較的スムーズなインタラクティブエクスペリエンスを実現しました。これは、ニューラルネットワークを使用して仮想世界を生成するという新しいアプローチを示しており、より現実的で便利な世界構築の未来を約束しています。
続きを読む
このリストは、アジアやアフリカから南北アメリカやヨーロッパまで、世界中のすべての独立した主権国家と地域をほぼ網羅したリストです。その包括的な性質から、地理データベースの構築、国際貿易調査の実施、グローバルスタディなど、様々な用途に役立ちます。
続きを読む
Googleは、2011年と2012年に発売された初代および2世代目のNest Learning Thermostat、そして2014年発売の欧州版Nest Learning Thermostatに対するソフトウェアアップデートの終了を発表しました。10月25日以降、スマートフォンやGoogleアシスタントからの遠隔操作はできなくなりますが、サーモスタット本体での温度調整やスケジュール変更は可能です。Googleは、今後ヨーロッパで新しいNestサーモスタットを発売する予定はないとも述べていますが、現行の第3世代モデルとNest Thermostat Eは在庫限りで販売を継続します。また、最新のNestサーモスタットのユーザー向けに、Google Homeアプリからスケジュールを作成・調整できる機能が年末までに追加される予定です。ユーザーへの配慮として、Googleは代替サーモスタットの割引を提供しています。この動きは、スマートホームデバイスの寿命に関する懸念を引き起こし、ソフトウェアサポートがその寿命にどれほど重要であるかを示しています。
続きを読む
このチュートリアルでは、tscircuitを使用してRaspberry Pi Picoで制御される3x5 LEDマトリックスの構築方法を詳しく説明し、WiFiによるリモート制御を可能にします。回路設計、部品選択（WS2812B LED）、接続方法（LEDのデイジーチェーン接続）、PCBレイアウト、そして最終的なウェブインターフェースによる制御を網羅しています。情報を表示したり、データの視覚化やインタラクティブな通知システムを作成するためのLEDマトリックスを作成する方法を学びましょう。
続きを読む
この本は、基本的な構文から高度な機能まで、D言語プログラミングの包括的なガイドを提供します。明確な章立てで、変数、データ型、演算子、制御フロー、関数、クラス、オブジェクト指向プログラミング、テンプレート、並行処理など、D言語の中核となる概念を段階的に説明します。多くのコード例と練習問題が含まれており、読者がD言語のプログラミング技術を習得するのに役立ちます。初心者と経験豊富なプログラマーの両方にとって適しています。
続きを読む
著者は、Aiderで単一のプロンプトを使用して、エクスポートオプションを含む完全に機能するロゴ作成ツールを生成しました。コードスニペットは、LLMがフォントリンク、依存関係、インラインCSSスタイルを生成する能力を示しており、リンクされたCDNライブラリの最新のSHAハッシュさえも含まれています。しかし、Sonnet 3.7を使用してコードを拡張すると、プロジェクトの複雑さが大幅に増加し、最終的にコンパイルできないコードになりました。著者は、ClaudeやGPT-4oなどのさまざまなLLMにおけるコード生成と拡張機能の違い、コンテキストウィンドウサイズ、出力制限などの要因がLLMアプリケーションに与える影響を探求しています。LLMのコンテキストウィンドウと出力制限の限界が、重要な課題として強調されています。
続きを読む
Microsoftは、Recall機能をハイライトとしたCopilot+ PCをリリースします。このリリースには、自然言語処理を搭載した改良されたWindows検索と、「Click to Do」も含まれ、画像からのテキスト抽出、画面上のコンテンツ検索、そして迅速な要約/書き換えが可能です。Copilot+ PCは、毎秒40兆回以上の演算が可能なNPU（ニューラルプロセッシングユニット）を必要とし、現在はQualcomm Snapdragon X EliteおよびPlusチップ、Intel Core Ultra 200Vシリーズ、AMD Ryzen AI 300シリーズプロセッサがサポートされています。Recallと強化された検索はArmとx86の両方で利用可能ですが、「Click to Do」の一部の機能は現在、Armベースのシステムのみに限定されています。
続きを読む
この記事では、強力なデバッグテクニックである差分コードカバレッジ分析を紹介します。成功したテストと失敗したテストのコードカバレッジを比較することで、バグのあるコードを迅速に特定できます。著者はGoの`math/big`ライブラリを例に、`go test`と`go tool cover`を使ってカバレッジレポートを生成し、`diff`を使って差分を比較する方法を示しています。これにより、テストの失敗原因となるコードセグメントを効率的に特定し、従来の方法と比較してデバッグ時間を大幅に削減できます。15,000行以上のコードのうち数行のコードのバグを見つけることで、このテクニックが示されています。
続きを読む
arXivLabsは、共同研究者がarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsと連携する個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータのプライバシーというarXivの価値観を共有しています。arXivはこれらの価値観にコミットしており、これらの価値観を共有するパートナーのみと連携しています。arXivコミュニティに役立つプロジェクトのアイデアをお持ちですか？arXivLabsについて詳しく学びましょう。
続きを読む
数十万点もの政策文書の新たな分析により、米国の政党が科学文献を使用する方法に驚くべき違いがあることが明らかになりました。民主党主導の議会委員会と左派シンクタンクは、共和党の対応者よりもはるかに多くの研究論文を引用する傾向があります。この研究では、民主党と左派グループは、影響力の高い研究を引用する可能性が高く、両陣営が同じ研究やトピックを引用することはめったにないこともわかりました。Science誌に掲載されたこの研究は、民主党が主導する委員会の文書は、共和党が主導する委員会の文書よりも、科学を引用する可能性が約1.8倍高かったことを示しています。
続きを読む
このプロジェクトは、Lean定理証明器を使用して、バートランド・ラッセルのプリンキピア・マテマティカの第1巻を形式化することを目的としています。目標は、形式化が書籍の対応する定理と明確に整合するようにし、混乱を避けることです。このプロジェクトは、ラッセルの証明を厳密に追跡し、追加の記述を最小限に抑えています。より一般的な三段論法の形式を処理するための新しい戦術`Syll`も作成されました。プリンキピア・マテマティカは「壮大な失敗」と見なされていますが、著者は形式化プロセスを有益なものだと感じました。
続きを読む
XPrize財団は、1億ドル規模のカーボン除去コンペティションの受賞者を発表しました。ヒューストンに拠点を置くスタートアップ企業Mati Carbonは、砕いた玄武岩を農場に散布して大気中のCO2を隔離する、改良型岩石風化技術により、5000万ドルの最優秀賞を受賞しました。Mati Carbonのデータドリブンなアプローチ、厳格な検証プロセス、ソフトウェアプラットフォームは、審査員を感銘させました。直接空気捕捉や海洋ベースのソリューションは、1000トンの除去閾値を達成しませんでしたが、いくつかの企業がマイルストーン賞を受賞し、その進歩を強調しました。カーボン除去技術のスケールアップは、気候変動対策に不可欠です。
続きを読む
このレビューは、エドウィン・フランクの著書『フィクションより奇妙：20世紀小説の生涯』を探求し、激動の世界における小説の進化を考察しています。フランクは、20世紀の小説は、19世紀の小説にはない同性愛、アルコール依存症、アンチヒーロー、マジックリアリズムなどのテーマを取り入れることで、主題の範囲を広げたと主張しています。しかし、このレビューは、20世紀の小説の深みが、ディケンズやトルストイなどの19世紀の古典作品を凌駕していないことも示唆しています。この文章は、小説の未来と読者への懸念で締めくくり、人間の性質と感情に深く関わってきた文学形式の可能性のある喪失を嘆いています。
続きを読む
Curryは、宣言型のマルチパラダイムプログラミング言語であり、関数型プログラミング（ネストされた式、高階関数、強い型付け、遅延評価）と論理型プログラミング（非決定性、組み込み検索、自由変数、部分的なデータ構造）の機能をシームレスに組み合わせています。単一パラダイムの言語と比較して、Curryは、論理指向計算のための最適化された評価や、ユーザー定義関数による柔軟で非決定的なパターンマッチングなどの追加機能を提供します。
続きを読む
デビュー作で物議を醸したのち、マクレーンは翌年2作目となる『私の友達アナベル・リー』を発表。日本製の磁器人形との友情を描いたこのプロト・シュルレアリスム作品は、批評家から無視された。その後の人生は、ジャーナリストとしての活動、経済的な苦境（借金による逮捕も経験）、44歳年上のキャロライン・M・ブランソンとの長期的な同棲など、波乱に満ちたものだった。彼女は結婚、家族、性、宗教など、型にはまらない自身の考えを書き続け、謎めいた、そして物議を醸す遺産を残した。
続きを読む
インターネットは、ユーザーの注意を巡る戦場となり、アルゴリズムはユーザー体験よりもエンゲージメントを優先しています。この記事では、コントロールを取り戻す方法としてRSSを推奨しています。信頼できる情報源のフィードを選択的に購読することで、ユーザーは情報をフィルタリングし、自分自身でコンテンツをキュレーションできます。RSSリーダーの使用は、単なる集約ではなく、意図的なエンゲージメントのスキルと実践であり、自分の注意を所有することを可能にします。
続きを読む
GS-Calcは、デスクトップソフトウェアにおける「ビッグデータ」の意味を再定義する最新のスプレッドシートです。数百万行、数千列の巨大なCSVおよびXLSXファイルを容易に処理し、ワークシートとサブフォルダーの数は無制限です。テキストファイルの読み込み、コピー＆ペースト、VLOOKUP/MATCH関数などのタスクにおけるパフォーマンス最適化は、他のスプレッドシートソリューションを大きく上回ります。さらに、GS-Calcは、堅牢なピボットテーブル、モンテカルロシミュレーション、正規表現のサポート、Pythonとの統合など、強力な機能を提供しており、大規模なデータ分析に最適なツールとなっています。
続きを読む
この記事では、カリフォルニア州南部のモハーベ砂漠に伝わるユッカマンの長く続く伝説と、それに似た未確認生物の目撃情報について探ります。1970年代以降、8フィートの高さで毛むくじゃらで赤い目をした生き物の目撃情報が、軍事基地、国立公園、そして人里離れた地域から報告されています。先住民はこれらの生き物を超自然的な存在とみなしていましたが、現代の報告ではビッグフットのような生き物として描かれています。この記事では、エリザベス湖の翼のある獣や近くの鉱山の「セメントモンスター」などの歴史的な類似例についても掘り下げ、地理、歴史、そしてフォークロアを織り交ぜて、魅力的なミステリー物語を展開します。
続きを読む
Magnitudeは、Webアプリケーションのための革新的なオープンソースのエンドツーエンドテストフレームワークです。視覚的AIエージェントがインターフェースを「見て」、変更に適応します。自然言語で簡単にテストケースを作成し、強力な推論エージェントによる計画と調整、高速なビジュアルエージェントによる信頼性の高い実行が可能です。ローカルまたはCI/CDパイプラインでテストを実行し、テスト中に発生する問題を自動的に処理します。MagnitudeはGemini 2.5 pro、Anthropic、OpenAIなど、様々なLLMモデルをサポートし、無料のビジュアルモデルMoondreamを提供します。テストの作成と実行を大幅に簡素化します。
続きを読む
数百万ダウンロードと4.9星の評価を獲得したMeta Questの大ヒットソーシャルゲーム「Gym Class」が拡大中！Unityでキャラクターのアニメーションシステムの設計、開発、実装をリードする経験豊富なアニメーションエンジニアを募集しています。この役割には、UnityとC#の専門知識、モバイルゲームアニメーションの経験、IK、アニメーションブレンド、ステートマシンの深い理解、モバイルパフォーマンス最適化のスキルが必要です。あなたは高性能チームを率いて、ゲームにおけるキャラクターの動きの未来を形作ります。
続きを読む