記事一覧
-
型制約付きコード生成：LLMによる型安全な出力の実現
2025-05-13 22:15
科学・技術大規模言語モデル（LLM）はコード生成で成果を挙げてきましたが、型エラーなどによりコンパイル不能な出力も多く見られます。本研究では、型システムを利用した「型制約付きデコーディング」により、LLMが生成するコードの型安全性を担保する手法を提案しました。独自のプレフィックスオートマトンや型探索を用い、TypeScriptなど実用言語にも拡張可能な形で実装され、HumanEvalやMBPPといったベンチマークで高い効果を示しました。
-
Zigのメモリ安全性を再評価する
2025-05-13 22:12
科学・技術ZigはCと比較して多くのメモリ安全性の改善を備えているが、Rustほどの体系的な防御機構は持たない。スライスやタグ付きユニオン、オーバーフロー検出などのチェックが標準で提供される一方で、依然として解放後の使用やポインタ無効化といった典型的なバグが容易に発生する。Rustのような証明可能なメモリ安全性とは異なり、Zigは利便性や高速起動を重視し、サンドボックス化や小型WASM実行に適している可能性がある。コンタイム機能は新たな抽象化を可能にし、今後の言語設計に影響を与える可能性がある。
-
ホンダ、米関税の影響で70％の減益見通し
2025-05-13 22:06
経済ホンダは2025年度の純利益が前年比70％減の2,500億円になると予測しました。トランプ大統領による自動車関税が業績に大きく影響しており、年間で約4,500億円のコスト増になると見込んでいます。ただし、ホンダは米国で販売する車両の6割以上を現地生産しており、同業他社と比べて影響は比較的軽微とみられています。
-
陸上自衛隊と韓国海兵隊が初の合同訓練へ
2025-05-13 22:03
国際陸上自衛隊は6月にフィリピンで実施される多国間訓練「カマンダグ」において、初めて韓国海兵隊との共同訓練を実施すると発表しました。両国の防衛協力強化の一環で、日米韓三国の連携にもつながります。訓練では津波災害を想定し、救助活動や搬送などを行う予定です。
-
映画監督ロバート・ベントン氏、92歳で死去
2025-05-13 22:01
文化・芸術映画『クレイマー、クレイマー』や『ボニーとクライド』で知られる米国の名監督ロバート・ベントン氏が92歳で死去しました。アカデミー賞を3度受賞し、俳優からも信頼された存在でした。彼の作品はアメリカ映画の歴史において重要な転換点を築き、私生活でも映画業界に多大な影響を与え続けました。
-
アジア太平洋貿易使節、関税時代の多国間協力を協議へ
2025-05-13 22:00
国際アジア太平洋経済協力会議（APEC）の貿易使節が韓国・済州島で会合を開き、トランプ政権の関税政策への対応やWTO改革、自由貿易圏構想などを議論します。会合では米韓の2国間協議も予定されており、関税を背景に保護主義が強まる中、地域内の協調が焦点となります。
-
日産、7工場閉鎖と2万人削減へ
2025-05-13 21:59
経済日産自動車は2024年度決算で6,709億円の最終赤字を計上し、再建を加速するために世界で7つの工場を閉鎖し、2万人超の人員削減を行うと発表しました。これは当初計画の2倍以上の削減規模となり、業績不振からの早期回復を目指す決断とみられます。大規模な構造改革により競争力の再構築が問われています。
-
日産、6,709億円の赤字と2万人削減を発表
2025-05-13 21:59
経済日産自動車は2024年度決算で6,709億円の純損失を計上し、全従業員の15％にあたる約2万人の削減を実施すると発表しました。グローバル市場の不確実性や米国関税の影響が収益を圧迫しており、工場の統廃合やEV強化などを柱に再建を進めます。ホンダとの合併交渉も頓挫しており、単独での生き残りを模索しています。
-
マイクロソフトが全従業員の約3%を削減へ
2025-05-13 21:58
経済マイクロソフトは全従業員の約3％にあたる約6,000人のレイオフを実施すると発表しました。これは過去2年で最大の規模で、管理職層の削減が中心です。AIインフラへの投資は継続しており、企業構造の効率化を目的としています。売上は好調である一方、組織の再編を進めており、LinkedInやXbox部門にも影響が及びます。
-
ソフトバンクG、1.15兆円の黒字 AI事業に注力
2025-05-13 21:58
経済ソフトバンクグループは2024年度に1.15兆円の純利益を計上し、3年ぶりの黒字決算となりました。AIへの積極的な投資が功を奏し、米国のStargateプロジェクトや半導体企業Ampereの買収などを通じてAI事業を強化しています。CEOの孫正義氏は、人工超知能の到来を見据えた成長戦略を強調しています。
-
米関税でゲーム機の価格上昇、業界に波紋
2025-05-13 21:58
IT・ネットトランプ政権の対中関税の影響で、ソニーとマイクロソフトがゲーム機の価格引き上げを実施しました。さらに、ゲームソフトの価格も上昇傾向にあり、マリオカートなどの新作が過去最高値で販売される見通しです。開発コストの高騰と利益確保が背景にあり、今後は定額制サービスや低価格なインディー作品への注目も高まっています。
-
YCがGoogleを独占と非難、スタートアップへの影響を指摘
2025-05-13 21:57
政治Y Combinatorは、米司法省のGoogleに対する独占禁止訴訟に関し、Googleが検索とAI領域における競争を妨げているとする意見書を提出した。GoogleがiPhoneのデフォルト検索エンジンになるためにAppleに多額の支払いを行っていることや、自社の検索インデックスをLLMの訓練に開放しない点を問題視。YCはGoogleの分社化を求めるのではなく、まずは反競争的行動の是正を訴えているが、最終的には分離措置も選択肢に含める姿勢を示している。
-
元幼稚園職員、少年のわいせつ動画撮影で逮捕
2025-05-13 21:57
社会徳島県美馬市の公立幼稚園に勤務していた元職員が、宿泊施設の更衣室で少年の裸を無断で撮影し、児童ポルノとして販売していたとして逮捕されました。押収されたSDカードには数千人規模の被害が記録されている可能性があります。容疑者は過去5年間で約300万円の収益を得ていたと供述しています。
-
カナダとドイツ、アイスホッケー世界選手権で3連勝
2025-05-13 21:54
スポーツカナダとドイツは、アイスホッケー世界選手権でそれぞれ3連勝を達成しました。カナダはシドニー・クロスビーの今大会初得点を含む5得点でフランスを完封。ドイツもノルウェーに5-2で快勝し、グループB首位に立ちました。ハンガリーはカザフスタンに勝利し、大会初勝利を飾るなど、各国の熱戦が続いています。
-
NBAプレーオフ、負傷者続出で波乱の展開に
2025-05-13 21:54
スポーツNBAプレーオフで主力選手の怪我が相次いでおり、ボストン・セルティックスのジェイソン・テイタムがアキレス腱断裂で今季絶望となりました。他にもカリー、リラード、レブロンらの負傷も報じられ、戦力の欠如が勝敗を左右しています。各チームは満身創痍の状態で適応を強いられており、今季のプレーオフはまさに“生き残り”の戦いとなっています。
-
ゴルフ全米プロ選手権で世界トップ3が同組に
2025-05-13 21:54
スポーツ全米プロゴルフ選手権の初日、ローリー・マキロイ、スコッティ・シェフラー、ザンダー・シャウフェレの世界ランキング上位3名が同組でプレーすることが決まりました。これは2022年以来の試みで、競技の注目度がさらに高まっています。大会ではジョーダン・スピースとパトリック・リードの因縁の再共演にも注目が集まっています。
-
ブラジルの伝説マルタ、対日本戦で代表復帰
2025-05-13 21:54
スポーツ39歳のサッカー選手マルタが、9か月ぶりにブラジル女子代表に復帰し、日本との親善試合2戦に臨むことが発表されました。マルタは史上最多のW杯得点記録を持つ6度のFIFA年間最優秀選手で、今回は7月のコパ・アメリカへ向けた調整の一環とされています。監督は「若手への刺激となる」とその意義を語りました。
-
アンディ・マリー、ジョコビッチのコーチ職を退任
2025-05-13 21:54
スポーツ元世界王者アンディ・マリーは、ノバク・ジョコビッチのコーチ職を退任すると発表しました。昨年11月からの異例のタッグでしたが、ジョコビッチの不調が続いたことから6か月での契約終了に至りました。両者はお互いに感謝を述べ、友情の深化も語られました。
-
シナーとアルカラス、ローマで勝利し準々決勝へ
2025-05-13 21:54
スポーツ男子テニスのイタリア国際で、世界1位のヤニック・シナーが復帰戦で好調なクレーコート選手チェルンドロを下し、準々決勝進出を決めました。シナーは1月の全豪オープン以来の公式戦。カルロス・アルカラスもカチャノフを破り、ドレイパーとの再戦に臨みます。女子ではパオリーニが2014年以来のイタリア人準決勝進出を果たしました。
-
MLBがピート・ローズとジョー・ジャクソンを殿堂入り対象に復帰
2025-05-13 21:54
スポーツMLBは、故ピート・ローズとジョー・ジャクソンの永久追放処分を解除し、両者が野球殿堂の候補として再評価されることを発表しました。マンフレッド・コミッショナーは「死後においては競技の健全性への脅威は存在しない」と説明。ローズは歴代最多安打記録を持つ名選手で、ジャクソンは1919年のブラックソックス事件で追放されていました。2028年の殿堂入りが初の可能性です。