記事一覧
-
日本ラグビー、外国出身選手の出場制限を強化へ
2025-05-13 21:53
スポーツ日本ラグビーリーグワンは2026-27シーズンから、日本育ちの選手を最低8人起用する新ルールを導入します。対象には日本代表経験30キャップ以上の外国出身選手を除く一方、一定の教育歴がない選手は起用が制限されます。日本人選手の育成促進が目的ですが、代表経験のある外国出身選手の将来に影響を与える可能性があります。
-
マリ暫定政権、すべての政党を解散へ
2025-05-13 21:53
国際マリの暫定大統領アシミ・ゴイタは、すべての政党および政治団体を解散する法令に署名しました。背景には民主化運動の高まりや政権批判の広がりがあり、首都バマコでは反政府活動家の誘拐も相次いでいます。政党関係者は憲法裁判所への異議申し立てを表明しており、政情は一層混迷を深めています。
-
インド、トランプの停戦仲介と貿易取引主張を否定
2025-05-13 21:53
国際インド政府は、米国のトランプ大統領がインドとパキスタンの停戦を貿易取引と引き換えに仲介したという発言を否定しました。外務省報道官は、米高官と首脳の間で連絡はあったが、貿易の話題はなかったと明言。インドはカシミール問題の二国間解決原則を強調し、トランプによる第三者仲介を拒否しています。
-
民主党系20州がトランプ政権の資金条件に異議申し立て
2025-05-13 21:53
政治民主党系の州司法長官20名が、トランプ政権による連邦資金と移民政策の交換条件を違憲とし、2件の連邦訴訟を提起しました。政権側は移民協力がなければ交通や災害支援の資金を停止すると通達しており、州側は憲法に反し行政権限の乱用だと主張しています。訴訟はロードアイランド州の連邦裁判所に提出されました。
-
米上院報告、トランプ政権ががん研究予算を31%削減と指摘
2025-05-13 21:53
医療・健康米上院の報告書によると、トランプ政権は2025年初頭にがん研究予算を前年同期比で31％削減し、1,660件の助成金が打ち切られました。特に国立がん研究所とNIHの予算が大きく減額され、研究活動や臨床試験に深刻な影響が出ています。サンダース議員は「科学への戦争」と批判。政権側は「合理化と効率化の一環」と反論しています。
-
カナダ新政権、米国に対抗し主権防衛を宣言
2025-05-13 21:53
国際カナダのマーク・カーニー新首相は、米国との新たな経済・安全保障関係の構築を掲げ、国家主権の断固たる防衛を誓いました。トランプ大統領による関税や併合発言への対応が選挙の争点となり、カーニー政権は経済再建とAI産業振興に注力する構えです。カナダ国内ではトランプ政権への警戒感が広がっています。
-
イランと欧州、核合意再交渉に向けた会談へ
2025-05-13 21:52
国際イランと英仏独の3か国は、2015年の核合意再建を巡りイスタンブールで会談を行う予定です。米国との第5次交渉も控えており、欧州側は国連制裁の再発動（スナップバック）を視野に入れています。イラン側も欧州の意図を見極める狙いがあり、地域の安全保障や外交戦略に大きく影響する重要な局面です。
-
トランプ大統領のカタール製大統領専用機受領に懸念広がる
2025-05-13 21:52
政治トランプ大統領がカタールからの400億円相当のボーイング747型機の受け取りを希望していることに対し、共和・民主両党から懸念の声が上がっています。安全保障や利益相反、憲法上の問題が指摘されており、議会では司法省の説明責任を求める声も強まっています。ホワイトハウスは現在、贈与の詳細を調整中としています。
-
トランプ大統領、シリア制裁解除を発表
2025-05-13 21:52
国際トランプ大統領は、サウジアラビアでの演説でシリアへの制裁を全面解除すると発表しました。新政権のアフマド・アル＝シャラー大統領との首脳会談も予定されており、米シリア関係は大きな転換期を迎えています。制裁解除は人道支援や復興投資の活性化を促す一方で、過去の過激派との関係を巡る懸念も残されています。
-
イスラエル、ハマス壊滅まで停戦応じずと表明
2025-05-13 21:52
国際イスラエルのネタニヤフ首相は、ガザ戦争をハマス壊滅まで続ける方針を改めて強調し、たとえ人質解放があっても恒久的な停戦には応じないと述べました。トランプ政権との間には停戦に向けた温度差が生じており、現地では病院への攻撃で民間人の死傷も報告されています。人道危機の深刻化が懸念される中、停戦交渉の行方が注視されています。
-
ゼレンスキー、プーチンとの直接会談を要求
2025-05-13 21:52
国際ウクライナのゼレンスキー大統領は、今週予定されているイスタンブールでの和平協議にプーチン大統領が出席しなければ参加しないと表明しました。米国のトランプ大統領が主導するこの協議は、30日間の無条件停戦を目指しており、米国とEUはプーチン不在の場合には追加制裁も視野に入れています。
-
トランプ政権、移民追放に敵国人法を初適用
2025-05-13 21:35
政治米連邦裁判所は、トランプ政権による敵国人法の使用を認め、ベネズエラの犯罪組織「トレン・デ・アラグア」の構成員とされる移民の追放が可能となった。判決は、通知と異議申立ての機会を条件に合法としたが、適用には慎重論も出ている。最高裁は3月に政府の主張を一部支持している。
-
民主党内で弾劾提案に激しい反発
2025-05-13 21:26
政治民主党のシュリ・サネダール下院議員がトランプ大統領の弾劾決議を強行に提出し、党内で激しい怒りを呼んでいる。多くの議員がこの動きを自己中心的と非難し、来年の予備選を意識したパフォーマンスと見ている。一部の民主党議員は共和党の動議に賛成する可能性もあるとされる。
-
ユナイテッドヘルスの株価急落がダウ平均を圧迫
2025-05-13 21:00
経済S&P500が好調な一方で、ダウ平均の伸びが鈍い背景にはユナイテッドヘルスの株価急落がある。同社のCEO辞任を受けて株価は1か月で48％も下落し、ダウの構成に大きな影響を与えた。ダウ構成の不均衡さも改めて浮き彫りとなった。
-
StripeデータでMRRを正確に算出するSQL手法
2025-05-13 20:47
経済Stripeデータから正確な月次経常収益（MRR）を算出するには、単純なAPI利用では不十分です。Definiteでは、請求履歴や割引、プランの課金期間を考慮した高度なSQL変換手法を用いて、実態に即したMRRを計算しています。非月次課金プランを月単位に正規化し、再アクティベーションやチャーン、拡張・縮小の収益変化を明確に把握可能とする方法を紹介。データ抽出から時系列の変換、最終指標の算出まで網羅しています。
-
C++でジャンプテーブルを実現するメタプログラミング手法
2025-05-13 20:45
科学・技術この記事では、C++でバリアディックなswitch文を実現するための複数の手法を紹介。ジャンプテーブルやディスパッチテーブル、マクロ展開、再帰的switch、fold式などを用いた実装例を比較し、コンパイラ最適化の観点からも検討されている。C++26で導入が検討されている拡張ステートメントによる最適化の可能性にも触れ、現代的なC++における高速かつ柔軟な分岐処理の実現手段を探る内容となっている。
-
Starcloud、宇宙空間にデータセンターを構築へ
2025-05-13 20:13
科学・技術スタートアップ企業Starcloudは、宇宙空間にデータセンターを構築するプロジェクトを発表しました。初号機は来年打ち上げ予定で、搭載されるGPU性能は従来の100倍に達する見込みです。将来的にはギガワット級スケールを目指し、地上の電力・水資源の制約や規制を回避しながらAIモデルのトレーニングを継続可能にする計画です。スペースXやエアバスの経験者らが中核メンバーとして参画しています。
-
グラフ理論で言語処理問題を解決するまでの試行錯誤
2025-05-13 20:09
科学・技術著者はプログラムのグラフ構造を効率的なlet束縛に変換する問題に取り組み、1年以上にわたる試行錯誤を経て最終的に「Lowest Single Common Ancestor（LSCA）」というグラフ理論概念を用いた解決法に辿り着いた。初期の実装は正しくてもパフォーマンスに問題があり、線形時間で解ける理論と既存のHaskellライブラリを活用することで、よりシンプルで効率的な実装を実現した。問題解決の過程を通して「運は準備された心に宿る」と語っている。
-
LLMでリアルタイム知識グラフを構築する方法
2025-05-13 19:48
IT・ネットCocoIndexを使い、LLMで文書からエンティティの関係や言及を抽出し、Neo4jにリアルタイム知識グラフとして構築する方法を紹介する技術記事。Markdown文書をソースとし、PostgreSQLと連携して増分処理を実現。LLMにより要約や関係抽出を行い、グラフDBに反映。記事では、PythonとCocoIndex APIを用いた実装例や、Graph構築、エンティティの分類、クエリ例が具体的に解説されている。ドキュメントから意味ある構造を構築したい開発者向け。
-
logitloom：トークンの生成過程を可視化するツール
2025-05-13 19:30
科学・技術logitloomは、言語モデルが生成するトークンの選択肢を木構造として可視化するWebツールです。ユーザーは任意のプロンプトを入力し、モデルがどのように出力候補を展開するかを視覚的に追跡できます。DeepseekやHyperbolicなど複数のAPIに対応し、ログ確率の確認や枝の追加・再生成が可能。研究やLLMの挙動理解に有用なツールであり、教育やデバッグ用途にも適しています。現在は開発中でライセンス未定。