住宅開発の裏にある数学:なぜ新しい住宅を建設するのがそれほど難しいのか

2025-04-13

新しい住宅の建設と資金調達は、市場と規制の障壁に満ちた複雑なプロセスです。この記事では、住宅開発に関わる財務計算の謎を解き明かし、十分な住宅供給を創出する上での課題に関する洞察を提供することを目指しています。

続きを読む

アメリカにおける無料税務ソフトウェアの戦い:Direct Fileでは不十分な理由

2025-04-13

アメリカの納税者は長年、TurboTaxのような独自の税務ソフトウェアに依存しており、自由を損なっています。IRSは無料の電子申告サービスであるDirect Fileを提供していますが、これはフリーソフトウェアではなく、透明性、セキュリティ、修復可能性が不足しています。この記事は、納税者の権利保護、データセキュリティの確保、システムの持続可能性と包括性の向上のため、IRSにDirect Fileをフリーソフトウェアにするよう促しています。また、IRSコミッショナーに手紙を書いて変更を求めることを推奨しています。

続きを読む
テクノロジー

iOS 18.4 環境音:Apple Musicサブスクリプション不要

2025-04-13
iOS 18.4 環境音:Apple Musicサブスクリプション不要

iOS 18.4は、コントロールセンターに新しい環境音機能を追加し、睡眠、リラックス、集中、ウェルビーイングといったモードを提供します。驚くべきことに、Apple Musicのサブスクリプションなしで使用できます。著者はこの機能を探求する中で、ミュージックアプリのインストールが必要で、*.flacファイルはサポートされていないことを発見しました。この記事では、ffmpegコマンドラインツールまたはXLD/Audio Converterソフトウェアを使用して*.flacファイルをAppleのロスレスフォーマット*.m4aに変換する方法を詳しく説明し、変換スクリプトを共有しています。最終的に、著者は変換した音楽をケーブル経由でiPhoneに同期し、Apple Musicによる音楽ファイルへの潜在的な干渉を避けるために、ケーブルによる転送を推奨しています。

続きを読む
開発 環境音

NABショーでGPSとATSC 3.0の10ns同期タイミング技術が登場

2025-04-13

今年のNABショーで、驚くべき発見がありました。u-blox GPSレシーバーとATSC 3.0テレビ信号を用いた、±10nsの精度でパルス同期を実現する精密な時間同期技術です。BPS(Broadcast Precision Synchronization)と呼ばれるこの実験的なタイミング標準は、米国のATSC 3.0展開に統合される可能性があります。GPSに対する信頼性の高い地上バックアップを提供し、様々な妨害に対する耐性を高めることで、メディア、電力網、5G通信などに不可欠な技術です。さらに、ショーでは、内蔵PPS入出力コネクタを搭載したコンシューマー向けIntelマザーボードも展示され、精密な時間同期技術の普及が加速していることを示しています。

続きを読む
テクノロジー

B2Bマーケットプレイス:社内開発かスピンアウトか?

2025-04-13
B2Bマーケットプレイス:社内開発かスピンアウトか?

取引を効率化するためにB2Bマーケットプレイスを構築する企業は、所有構造を慎重に検討する必要があります。新しい研究によると、完全所有はより大きな制御とサプライヤーへのアクセスを提供しますが、規制上のハードルやチャネルの競合を引き起こす可能性もあります。目標に応じて、スピンアウトまたは独立したスタートアップが効果的である可能性があります。この記事では、純粋なスタートアップ、社内部門、企業スピンアウトの3つの一般的なモデルを検討し、長所と短所を比較検討します。社内市場は安全とリソースを提供し、外部市場は柔軟性とイノベーションを優先します。最適な選択は、市場の断片化、独立性の費用と便益、外部パートナーや投資家の価値に依存します。

続きを読む

お腹が空くと?脳は栄養情報を無視する!

2025-04-13
お腹が空くと?脳は栄養情報を無視する!

新しい研究によると、空腹になると、食べ物の美味しさに意識が向き、栄養情報は無視されがちになり、それが不健康な食生活につながる可能性があることがわかりました。眼球運動追跡と計算モデルを用いた研究で、空腹は高カロリー食品に関連する報酬を増幅し、栄養表示ラベルの重要性を低下させることが明らかになりました。これは、栄養表示ラベルの表示だけでは、空腹による不健康な食生活に対抗するには不十分であることを示唆しています。介入策は、健康情報を視覚的に際立たせるか、注意を健康情報に向けることに焦点を当てるべきです。

続きを読む
テクノロジー 空腹 食の選択 栄養

p2panda:ローカルファースト、プライバシーを尊重するP2Pアプリ構築のためのモジュール式ツールキット

2025-04-13

p2pandaは、モジュール式のオープンソースプロジェクトであり、開発者がモダンで、プライバシーを尊重し、安全なローカルファーストアプリケーションを構築することを可能にします。モジュール式設計により、コンポーネントの選択と既存システムとのシームレスな統合に柔軟性があります。BLAKE3、Ed25519、STUNなどの既存のライブラリと標準を活用することで、不安定または一時的な接続であっても、コラボレーション、暗号化、アクセス制御を保証します。中核は「ブロードキャストのみ」アーキテクチャであり、オフラインファーストであるだけでなく、短波、パケット無線など、ポストインターネット通信インフラストラクチャとも互換性があります。ピアの検出、データ同期、大規模ファイル転送、データストレージ、ストリーム処理のためのツールを提供します。

続きを読む
開発

革命的な小便器のデザインが、何百万ガロンもの水の無駄を削減する可能性

2025-04-13
革命的な小便器のデザインが、何百万ガロンもの水の無駄を削減する可能性

科学者たちは、公共トイレでの尿の飛散を大幅に削減できる新しい小便器のデザインを考案しました。現在、米国では毎日推定100万リットルの尿が公共トイレにこぼれており、衛生上の問題や清掃資源の無駄を引き起こしています。PNAS Nexusに掲載された新しい研究では、「Cornucopia」と「Nautilus」という2つの革新的な小便器のデザインの詳細が説明されており、尿の衝突角度を変えることで飛散を大幅に削減します。この革新は、コスト削減、衛生状態の改善、そしてかなりの節水を約束します。特にNautilusのデザインは、清掃の容易さと様々なユーザーへのアクセシビリティが評価されています。

続きを読む
テクノロジー 衛生 節水

100万年前のマンモスゲノム、失われた遺伝的多様性を明らかに

2025-04-13
100万年前のマンモスゲノム、失われた遺伝的多様性を明らかに

画期的なゲノム研究により、100万年以上前にわたるマンモス系統における、長らく失われていた遺伝的多様性の宝庫が発見されました。研究者たちは、初期及び中期更新世に遡る標本を含む、34の新たにシーケンスされたマンモスのミトコンドリアゲノムを分析しました。Molecular Biology and Evolution誌に掲載されたこの前例のないデータセットは、マンモスの進化史に関する知見を明らかにし、過去の遺伝的多様性の特性評価における古代DNAの威力を示しています。その知見は、主要なマンモス系統の古代シベリア起源を支持し、個体群動態がどのように異なる遺伝子系統の拡大と縮小を形作ったかを強調しています。この研究は、改良された分子時計年代測定フレームワークも導入し、古代DNA研究の限界を押し広げ、絶滅危惧種に関する将来の研究のための強力なツールを提供します。

続きを読む
テクノロジー

メイン州、トランプ政権に対し農業省資金差し押さえの差し止め命令取得

2025-04-13
メイン州、トランプ政権に対し農業省資金差し押さえの差し止め命令取得

連邦判事が、トランプ大統領とメイン州知事ジャネット・ミルズの間で女子スポーツにおけるトランスジェンダーアスリートをめぐる衝突を受け、メイン州から差し押さえられていた連邦資金の凍結解除をトランプ政権に命じた。トランプ大統領のトランスジェンダーアスリートを禁止する大統領令を受け、農業省など複数の省庁が資金削減を脅迫。ミルズ知事は謝罪を拒否し、法的闘争に発展。メイン州は、農業省が資金削減前に適切な手続きを取らなかったと主張。この資金は、生徒の給食を含む学校プログラムに使用されていた。裁判所はメイン州の主張を認め、この問題における連邦政府と州政府の権限をめぐる継続的な対立を浮き彫りにした。

続きを読む

OmniSVG:統一スケーラブルベクトルグラフィックス生成モデル

2025-04-13
OmniSVG:統一スケーラブルベクトルグラフィックス生成モデル

OmniSVGは、事前トレーニング済みのビジョンランゲージモデル(VLM)を活用した、エンドツーエンドのマルチモーダルSVGジェネレーターの最初のファミリーです。単純なアイコンから複雑なアニメキャラクターまで、複雑で詳細なSVGを生成できます。このプロジェクトでは、MMSVG-IconとMMSVG-Illustrationのデータセットと研究論文を公開しました。今後の計画には、コードと事前トレーニング済みモデル、MMSVG-Characterデータセット、および技術レポートを含むプロジェクトページの公開が含まれます。

続きを読む

ポケットサイズの強力マシン:ARグラスとミニPCによるモバイルワークステーション

2025-04-12
ポケットサイズの強力マシン:ARグラスとミニPCによるモバイルワークステーション

旅行中のかさばるノートPCにうんざりした著者は、軽量なKhadas Mind 2SミニPC、Xreal One ARグラス、大容量モバイルバッテリーを組み合わせたポータブルワークステーションを試してみました。このセットアップにより、カフェ、飛行機、ホテルの部屋など、どこでもデュアルモニターのような体験を楽しむことができました。ARグラスは、調整可能な透明度とウルトラワイドディスプレイモードによる没入型の体験を提供します。著者は、ハードウェアの組み合わせ、使用感、モバイルワークフロー全体について詳細に説明し、この新しいコンピューティングアプローチの長所と短所について議論しています。

続きを読む

英国王立郵便:郵便ポストを荷物対応にアップグレード

2025-04-12
英国王立郵便:郵便ポストを荷物対応にアップグレード

英国王立郵便のCEO、エマ・ギルソープは、手紙の量が減少し、荷物の量が急増する中、顧客の利便性を最大化するために、英国の郵便ポストを荷物対応にアップグレードすると発表しました。バーコードラベルが付いた、ポストに入るサイズの荷物であれば、どのポストにも投函できます。これは、ジャージー島とガンジー島での成功した試験運用に続くものです。英国最初の郵便ポストは1853年に登場しましたが、1859年に2サイズの緑色の円筒形ポストが採用されるまで、標準化されていませんでした。

続きを読む

YAMLの「ノルウェー問題」:なぜNOがFalseと解釈されるのか

2025-04-12
YAMLの「ノルウェー問題」:なぜNOがFalseと解釈されるのか

YAMLのブール値の解析には、「ノルウェー問題」として知られるイライラするような欠陥があります。YAMLがISO 3166-1 ALPHA-2コードNO(ノルウェー)をブール値falseとして解析するため、データ解析エラーが発生する可能性があります。この記事ではこの問題について説明し、エスケープのために二重引用符を使用するか、StrictYAMLなどのライブラリを使用してこの問題を回避することを提案しています。YAMLにおけるその他の問題のある値には、.0で終わるバージョン番号が数値に変換されることや、'Null'のような文字列がNULLに変換されることが含まれます。

続きを読む

ウェブサイトのアンチスクレイピング:Anubis の仕組み

2025-04-12
ウェブサイトのアンチスクレイピング:Anubis の仕組み

AI企業による積極的なウェブサイトスクレイピングに対抗するため、Anubisと呼ばれるアンチスクレイピングシステムが実装されました。Anubisは、Hashcashに似た作業証明(PoW)メカニズムを使用しており、個々のユーザーへのオーバーヘッドは最小限ですが、大規模なスクレイパーのコストは大幅に増加します。これは一時的な解決策であり、最終的な目標はヘッドレスブラウザを特定してブロックし、正当なユーザーに対してPoWを必要としないようにすることです。Anubisは最新のJavaScript機能を必要とするため、JShelterなどのプラグインを無効にしてください。

続きを読む

アセンブリ言語:LLM時代でも依然として重要か?

2025-04-12
アセンブリ言語:LLM時代でも依然として重要か?

大規模言語モデル(LLM)の時代においても、アセンブリ言語を学ぶことは依然として価値があります。この記事では、DeepSeekによるNvidiaのPTX中間言語を用いたネットワーク操作の高速化という文脈において、アセンブリ言語の関連性を考察しています。高水準言語やLLMはコードを生成できますが、アセンブリ言語の理解はコンピュータの動作メカニズムを深く理解し、高水準言語のコードのデバッグに役立ちます。この記事では、7種類のアセンブリ言語(レトロな6502、Z80、8086、68000、そして最新のx86-64、ARM、RISC-V)を比較し、学習教材、学習曲線、使いやすさ、アクセス可能性、楽しさの観点から評価しています。最終的に、明確な学習パス、豊富なリソース、そして将来性から、RISC-Vが初心者にとって最適な選択肢であると結論付けています。

続きを読む
開発

Rust GPU:ShadertoyシェーダーをRustへ移植

2025-04-12

Rust GPUを使うと、GPUプログラム(シェーダー)をRustで記述できます。作者はいくつかの一般的なShadertoyシェーダーをRustに簡単に移植しました。Rust GPUはRustコードをSPIR-Vにコンパイルし、Vulkanワークフローにシームレスに統合されます。このプロジェクトは、トレイト、ジェネリクス、マクロなどのRustの機能を活用し、CPUとGPU間のデータ共有を簡素化します。さらに、このプロジェクトはwgpuとnagaの問題を修正することで、エコシステムに貢献しました。

続きを読む
開発

Chrome 136、23年間にわたるブラウザ履歴スニッフィング脆弱性をついに解消

2025-04-12
Chrome 136、23年間にわたるブラウザ履歴スニッフィング脆弱性をついに解消

CSSの:visited擬似クラスを利用してユーザーの閲覧履歴をスニッフィングする23年間存在した脆弱性が、Chrome 136でついに解消されます。リンクの色をチェックしてページが閲覧済みかどうかを判断する以前の緩和策は不十分でした。Chrome 136は、新しい「パーティショニング」メカニズムを導入し、閲覧履歴をリンクのURL、トップレベルドメイン、フレームのオリジンに関連付けることで、サイト間の閲覧履歴へのアクセスを防ぎます。このブレークスルーは、ブラウザのプライバシー保護において大きな進歩であり、攻撃者と防御者による長年にわたるいたちごっこに終止符を打ちます。

続きを読む
テクノロジー

IBM PCの「小さな家」文字の謎:DEL(0x7F)の起源

2025-04-12
IBM PCの「小さな家」文字の謎:DEL(0x7F)の起源

この記事では、IBM PCのコードページ437におけるコードポイント0x7F(DELキー)が「小さな家」として表示される謎について探ります。CP437の起源と、IBMが未定義の制御文字に「真剣でない」グラフィック文字を追加した決定をたどります。「家」が家庭用コンピューターの象徴であること、削除キーとの関係、WangやBlissymbolicsなどの他のシステムにおける起源、そして誤認されたギリシャ文字デルタといった複数の理論を探求します。最終的に、この記事では、IBM内部のコミュニケーションの不備が、この永続的な曖昧性の原因である可能性を示唆しています。元の意図に関係なく、「小さな家」はPCのASCIIアートにおいて新たな命を吹き込まれ、純粋に視覚的な要素となっています。

続きを読む
テクノロジー

設定言語の5つのレベル:単純な文字列からチューリング完全性まで

2025-04-12

この記事では、ファイル内の単純な文字列から本格的なプログラミング言語まで、設定言語の5つのレベルを探ります。著者は、適切なレベルを選択することが重要であり、シンプルさを維持し、過剰な設計を避けるために、可能な限り低いレベルを選択することを主張しています。各レベルの特徴、利点、欠点、潜在的な問題(循環依存など)は、現実世界の例を用いて説明されています。この記事は、不必要な複雑さを避けるために、さまざまなシナリオで賢明な選択を行うことを推奨して結論づけています。

続きを読む
開発

arXivLabs:コミュニティとの協力による実験プロジェクト

2025-04-12
arXivLabs:コミュニティとの協力による実験プロジェクト

arXivLabsは、共同研究者がarXivの新しい機能を直接ウェブサイト上で開発および共有できるフレームワークです。arXivLabsに関わる個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータプライバシーというarXivの価値観を受け入れています。arXivはこれらの価値観に尽力しており、それらを遵守するパートナーとのみ協力しています。arXivコミュニティに価値を追加するプロジェクトのアイデアをお持ちですか?arXivLabsの詳細をご覧ください。

続きを読む
開発

Zod v4ベータ版:高速、小型、高効率な型検証

2025-04-12
Zod v4ベータ版:高速、小型、高効率な型検証

1年以上のアクティブな開発の後、Zod v4がベータ版としてリリースされました!より高速で、より小型で、tsc効率が向上し、長らく要望されていた機能が実装されています。Zod 4は、長年の設計上の制約を解決し、長らく要望されていた機能の基盤を築き、Zodの最も多くの票を集めた未解決の問題のうち9個をクローズする、まったく新しい内部アーキテクチャを使用しています。さらに、新しい姉妹ライブラリである@zod/miniは、バンドルサイズを大幅に削減する、ツリーシェイク可能な関数型APIを提供します。Zod 4は、新しいメタデータシステム、JSON Schema変換、改良された識別子付きユニオンのサポート、その他多くの改善も導入しています。

続きを読む
開発 型検証

CERN、将来型円形衝突型加速器に関する実現可能性調査報告書を発表

2025-04-12
CERN、将来型円形衝突型加速器に関する実現可能性調査報告書を発表

長年の集中的な作業を経て、CERNとその国際パートナーは、将来型円形衝突型加速器(FCC)の実現可能性調査を完了しました。この報告書は、物理的目標、エンジニアリング、環境への影響、費用など、潜在的なプロジェクトの様々な側面を詳細に説明しています。FCCは、2040年代に大型ハドロン衝突型加速器(LHC)の後継となる、約91kmの円周を持つ粒子衝突型加速器を提案しています。主要な科学的目標には、ヒッグスボソンやその他の基本粒子のより深い調査が含まれ、宇宙の謎を解き明かすことを目指しています。この報告書は、FCCの電子陽電子衝突型加速器段階の費用を150億スイスフランと推定しており、建設には約12年かかるとされています。このプロジェクトは、持続可能性と公衆の関与を重視しています。この報告書はCERN理事会によって審査され、FCCの将来に関する決定は2028年頃に行われる予定です。

続きを読む
テクノロジー 衝突型加速器

トランプ政権、仮想通貨詐欺捜査部門を閉鎖

2025-04-12
トランプ政権、仮想通貨詐欺捜査部門を閉鎖

トランプ政権下、米国司法省は、仮想通貨詐欺を捜査していた国家仮想通貨執行チーム(NCET)を即時閉鎖しました。これは、ホワイトカラー犯罪と金融犯罪の取り締まりを縮小し、麻薬密売と移民関連の人身売買との闘いに資源を集中させる、トランプ政権の取り組みの一環です。政権は仮想通貨を不正行為に使用している犯罪者を摘発すると主張していますが、専門家は重要な資源の転用を懸念しています。トランプ政権は、司法省はデジタル資産の規制機関としては機能すべきではなく、テロ、麻薬密売などの犯罪に関与する個人や組織に焦点を当てるべきだと主張しています。

続きを読む
テクノロジー 司法省

Evidence:強力なデータ可視化アプリ構築フレームワーク

2025-04-12
Evidence:強力なデータ可視化アプリ構築フレームワーク

Evidenceは、データ可視化アプリケーションを構築するための強力なフレームワークです。様々なチャートの種類(折れ線グラフ、棒グラフ、散布図、ヒートマップなど)、地図、入力コンポーネント、UI要素を含む豊富なコンポーネントライブラリを備えています。SQLクエリを含む複数のデータソースをサポートし、AWS Amplify、Azure Static Appsなど、クラウドサービスやセルフホスティングなど、さまざまなデプロイオプションを提供します。開発者は、インタラクティブなデータ可視化アプリを簡単に作成し、カスタムコンポーネントとプラグインで機能を拡張できます。

続きを読む
開発

デザインの不変の力:古代から現代へ

2025-04-12
デザインの不変の力:古代から現代へ

この記事では、建築デザインにおける「機能に従う形態」という概念と、異なる時代に見られる不変の精神を探っています。ル・コルビュジエやルイ・サリバンなどの建築の巨匠は、パルテノン神殿、ゴシック様式の大聖堂、現代の高層ビル、電話、飛行機、自動車など、古典的な構造物がすべて「想像力と理性」を組み合わせたデザイン精神を体現していると主張しました。これらのデザインの背景には、技術の進歩にもかかわらず、同じ永遠の原理が存在します。

続きを読む

OSにおけるAI:実用性より宣伝効果?

2025-04-12
OSにおけるAI:実用性より宣伝効果?

マイクロソフト、アップル、グーグルは、マイクロソフトのCopilotやアップルのApple Intelligenceなど、AIをオペレーティングシステムに積極的に統合しようとしています。しかし、この記事では、それが実用性よりも宣伝効果の方が大きいと主張しています。ユーザーは、不要な機能や広告、侵入的なAI機能のない、安定した、プライバシーを保護し、カスタマイズ可能なOSを好みます。AIアシスタントは特定の分野(プログラミングなど)で価値がありますが、OSへの強制的な統合はユーザーエクスペリエンスを犠牲にし、テクノロジー企業によるデータ収集を容易にします。理想的なOSは、安定性、プライバシー、軽量性、カスタマイズ性を備え、AIツールはオプションのスタンドアロンアプリとして提供されるべきであり、OSのコア機能ではありません。

続きを読む
テクノロジー

3億光年彼方のブラックホールが目覚める:既存理論への挑戦

2025-04-12
3億光年彼方のブラックホールが目覚める:既存理論への挑戦

科学者たちが、地球から3億光年離れた超巨大ブラックホールが目覚める様子をリアルタイムで観測することに初めて成功しました。このブラックホールは、おとめ座のSDSS1335+0728銀河の中心に位置し、「Ansky」という愛称が付けられています。2019年末、Anskyは断続的な明るいエネルギー閃光を放出し始め、その後、規則的なX線バーストが観測され、準周期噴火(QPE)と呼ばれる現象を示しました。このQPEは、これまで観測されたものよりもはるかに強力で持続時間が長く、ブラックホールのライフサイクルに関する既存の理論に疑問を投げかけています。研究者たちは、この噴火は、星の死ではなく、近くの星間ガスによる降着円盤の乱れに起因する可能性があると示唆しています。この発見は、ブラックホールの進化を理解するための貴重なデータを提供します。

続きを読む
テクノロジー

ドイツの無条件ベーシックインカム実験:フルタイム勤務は継続、幸福度向上

2025-04-12
ドイツの無条件ベーシックインカム実験:フルタイム勤務は継続、幸福度向上

3年間におよぶドイツの実験で、122人の参加者に月額1200ユーロの無条件ベーシックインカムが支給されました。驚くべきことに、参加者は労働時間を減らすどころか、仕事への満足度が向上し、転職や更なる教育を受けようとする傾向が高まりました。この研究は、無条件ベーシックインカムが経済活動を減少させるどころか、参加者の精神的および肉体的健康を改善し、特に女性はより大きな自律性を経験したことを示しました。この実験は、ベーシックインカムが労働意欲を低下させるという従来の考え方に異議を唱え、将来の政策決定に貴重な洞察を提供します。

続きを読む
その他

中国、初の商用空飛ぶタクシーを承認

2025-04-12
中国、初の商用空飛ぶタクシーを承認

中国民用航空局(CAAC)は、億航ホールディングスとその子会社に対し、広東省と合肥市で商用空飛ぶタクシーの運行を承認しました。これは、自律型航空輸送における大きな進歩です。時速最大130km、航続距離35kmの2人乗り電気自動車は、高度なAI飛行制御アルゴリズムと冗長通信システムを使用して、交通渋滞と大気汚染を軽減することを目的としています。最初は観光ルートで使用され、その後、都市間ルートや都市間ルートに拡大し、既存の交通網と統合される予定です。この動きは、世界のUAM開発に影響を与え、数十億ドルをこのセクターに投入し、多くの雇用を創出すると予想されています。

続きを読む
1 2 311 312 313 315 317 318 319 595 596