タグ

2026年7月18日のブックマーク (16件)

  • 「NV2」の開発失敗で窮地に陥ったNVIDIAを救ったセガ。CEOのジェンスン・フアン氏が語ったセガとの友情秘話

    「NV2」の開発失敗で窮地に陥ったNVIDIAを救ったセガ。CEOのジェンスン・フアン氏が語ったセガとの友情秘話 ライター:西川善司 GiGO秋葉原3号館。6階のレトロゲームフロアを貸し切ってイベントが行われた 2026年7月15日,東京・秋葉原のGiGO秋葉原3号館で,NVIDIAとセガの約30年にわたる関係を振り返る招待制ファンイベントが開催された。一般営業中のゲームセンターを会場とした小規模なイベントで,招待されたメディアは約20人,一般参加者は約50人だった。一般参加者の多くは,セガやNVIDIAのファンだ。 イベントに登壇したのは,NVIDIAの創業者兼CEOであるJensen Huang(ジェンスン・フアン)氏のほか,セガからは代表取締役会長CEOの里見治紀氏,代表取締役社長COOの内海州史氏,元代表取締役社長の入交昭一郎氏,そしてバーチャファイターやデイトナUSAを手がけたセ

    「NV2」の開発失敗で窮地に陥ったNVIDIAを救ったセガ。CEOのジェンスン・フアン氏が語ったセガとの友情秘話
  • 皇室典範改正 象徴天皇制の根幹を傷つけた

    【読売新聞】 戦後80年にわたって育まれてきた国民と象徴天皇の絆を無にするかのような、あまりに多くの欠陥を抱えた乱暴な制度変更である。 国会と政府は直ちに、現在の皇室をいかに継承していくかを正面から検討し、皇室典範再改正を急がねばな

    皇室典範改正 象徴天皇制の根幹を傷つけた
  • 「Claude Fable 5」サブスクに統合 Max・Team Premiumプラン対象

    米Anthropicは7月17日(現地時間)、最上位AIモデル「Claude Fable 5」を20日から有料プラン「Max」「Team Premium」の標準機能にすると発表した。両プランでは、利用上限の50%までFable 5を追加費用なしで使える。 一方、「Pro」「Team Standard」の各プランでは、月額料金とは別に課金される「使用クレジット」(従量課金)での利用となる。対象ユーザーには100ドル分のクレジットを1回限り付与する。 Fable 5は、6月9日に公開された最上位“Mythosクラス”のAIモデル。米政府の輸出規制による提供停止を経て7月1日に再開した後は、プラン内で使える期限を当初の7日から12日、19日へと2度延長してきた。今回の発表は19日の期限直前に当たり、期限付きの無償提供をプラン階層による線引きに改めた形だ。 Anthropicは公式Xで「Fable

    「Claude Fable 5」サブスクに統合 Max・Team Premiumプラン対象
  • 世界の少子化は二つの普遍的経路に沿って進む

    理化学研究所(理研)脳神経科学研究センター理研CBS-トヨタ連携センター計算論的集団力学連携ユニットの板尾健司客員研究員(東北大学学際科学フロンティア研究所助教)は、各国の人口データを分析し、世界中の少子化について、平均寿命と粗出生率(1,000人当たりの出生数)の間に二つの普遍的な関係を発見し、それらを引き起こす支配的なメカニズムの候補を提案しました。 研究成果は、シンプルかつ普遍的な枠組みで少子化を理解するとともに、少子化対策の効果を理論的に予測することを可能にし、今後の人口政策に貢献することが期待されます。 今回、板尾客員研究員は、237の国と地域における平均寿命と粗出生率の関係を分析し、少子化の過程には、平均寿命と粗出生率が反比例する相[1]Iと、平均寿命が伸びるにつれて粗出生率が指数的に減少する相IIがあることを発見しました。そして、各国の寿命と出生率の変化の軌跡は、二つの普遍

    世界の少子化は二つの普遍的経路に沿って進む
  • 最近の AI コーディングで実践している、設計を中心とした開発の進め方

    AI コーディングエージェントの自律性が向上し、複数のエージェントを並行して動かすことが日常になったことで、開発の中で最も時間を使う工程が実装から設計へ移りつつあります。この記事では、設計セッション、Git worktree を使った並列実行、自律的な検証、AI によるコードレビューなど、最近の私が実践している開発の進め方を紹介します。 以前「AI音トーク:エンジニア仕事、これからどうなる?」という記事で、AI コーディングエージェントを利用するようになったことで、コードを書く時間が減り、設計について考える時間が増えたと書きました。その後、AI モデル自身の性能やエージェントを動かすハーネスがさらに改善され、複数のエージェントを並行して動かすことが日常になりました。この傾向は以前よりもさらに強くなっていると感じています。 現在では、自分でコードを書くことはほとんどありません。だから

    最近の AI コーディングで実践している、設計を中心とした開発の進め方
  • IUT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会

  • Leanによる形式化は、長期的な検証や説明責任を可能にする記録装置となり得るか? - 新一の「心の一票」:楽天ブログ

    2026.01.01 Leanによる形式化は、長期的な検証や説明責任を可能にする記録装置となり得るか? カテゴリ:研究関連の現状報告 ​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​昨年後半のLean関連活動 ​前回の記事​では、定理証明支援系ソフトLeanに関連した活動が昨年後半、(私を含め)私の周辺において益々活発になっていることについてご報告しましたが、今回の記事では、少なくとも私の現在の認識において、このような活動に関わることにどのような意義があるかについて検証し、解説していきたいと思います。 ただし、誤解がないように明記しておきますと、「活動に関わる」と言っても、私自身はこれまでそういう計算機のプログラミングの世界とは

    Leanによる形式化は、長期的な検証や説明責任を可能にする記録装置となり得るか? - 新一の「心の一票」:楽天ブログ
    cu39
    cu39 2026/07/18
  • 新年のご挨拶2026 - 新一の「心の一票」:楽天ブログ

    2026.01.01 新年のご挨拶2026 カテゴリ:年頭所感 ​​​​​​​​​​​​ブログ閲覧者の皆様、明けましておめでとうございます。 年もよろしくお願いいたします。 昨年は ・3月には、宇宙際タイヒミューラー理論に関する国際的な​研究集会​を開催し、 ・4月には、スコットランドのICMSで開催された​遠アーベル幾何に関する研究集会​で、オンラインで講演しました。また ・7月には、東京にあるZEN大学の​ZEN数学センター​で開催された、​遠アーベル幾何と計算機による形式化に関する研究集会​にオンラインで出席し、 ・10月には、数理研で開かれた、松眞氏の還暦祝いを兼ねた​研究集会​に(対面で)出席し、最近のグロタンディーク・タイヒミューラー群(GT)関連の研究について​講演​を行ないました。 この中でも、10月に公開した報告書​[Rpt25]​の§3でご報告した通り、7月の東京

    新年のご挨拶2026 - 新一の「心の一票」:楽天ブログ
    cu39
    cu39 2026/07/18
  • 数学難問ABC予想、望月新一教授の証明の問題点「絞り込めた」 ZEN大学 - 日本経済新聞

    ZEN大学やオランダのユトレヒト大学などは17日、数学の難問「ABC予想」に関連する理論が持つ問題点を絞り込んだと発表した。今後、問題点をどのように解決できるかが焦点となる。同日東京都内で国際共同研究の中間発表会を開いた。プロジェクトに参加する米カリフォルニア大学サンディエゴ校のキラン・ケドラヤ教授は「問題とされている部分の証明が、プロジェクトの取り組みで補われる可能性がある」と話した。共

    数学難問ABC予想、望月新一教授の証明の問題点「絞り込めた」 ZEN大学 - 日本経済新聞
  • 目標は「公言して追い込む」VS「秘めて淡々と動く」心理学で判明した正解 - STUDY HACKER(スタディーハッカー)|社会人の勉強法&英語学習

    「目標は宣言すると達成しやすくなる」 「有言実行こそが成功の近道だ」 ビジネス書でも研修でも、くり返しそう説かれてきました。毎年1月になれば、SNS転職英語学習副業開始といった目標宣言であふれます。 たしかに、宣言が背中を押してくれる場面もあるでしょう。でも、宣言した直後にかえってやる気が失せた経験はありませんか。 じつは宣言には、効く人と、逆効果になる人がいます。同じ人でも、目標の種類によって効いたり効かなかったりします。 大事なのは、自分がどちらなのかを見極めること。公言して自分を追い込むのが向くのか、黙って淡々と進めるのが向くのか。心理学と行動科学の研究から、その分かれ目を整理します。 よく言われる「宣言すると叶う」は、たしかに正しい ところが、宣言でやる気が消える人もいる 【自己診断】あなたは「宣言して動く人」? 「黙って動く人」? よくある質問(FAQ) Q. 目標を宣言し

    目標は「公言して追い込む」VS「秘めて淡々と動く」心理学で判明した正解 - STUDY HACKER(スタディーハッカー)|社会人の勉強法&英語学習
  • 冥王星フライバイを行った「ニューホライズンズ」、過去最長の眠りから目覚める 地球から95億キロの彼方で

    2015年7月、探査機「ニューホライズンズ」が冥王星と最大の衛星カロンに接近する様子を描いた想像図/Johns Hopkins University Applied Physics Laboratory/Southwest Research Institute (CNN) 冥王星や太陽系の遠方の天体をかつてなく詳しく調査した米航空宇宙局(NASA)の探査機「ニューホライズンズ」が、過去最長の眠りから目を覚ました。ニューホライズンズはいま、地球から95億キロ離れた場所を飛行している。 ニューホライズンズが予定通り休止モードに入ったのは2025年8月7日。先月23日になり、メインコンピューターに保存されていたコマンドを使って活動を再開した。 米ジョンズホプキンス大学応用物理学研究所のミッション管制官は、ニューホライズンズの状態は良好で、休眠中に収集したデータを氷の天体が集まる領域「カイパーベル

    冥王星フライバイを行った「ニューホライズンズ」、過去最長の眠りから目覚める 地球から95億キロの彼方で
  • メディチ家当主急死の真相が440年越しでDNA分析により明らかに

    by Peter Paul Rubens 1587年、ルネサンス期のイタリアで銀行家・政治家として台頭したメディチ家の当主フランチェスコ1世・デ・メディチが、トスカーナ州のポッジョ・ア・カイアーノにある別荘で急死しました。この死については弟による毒殺説もささやかれていましたが、フランチェスコ1世の遺骨から抽出した古代DNAの分析により、死の真相が明らかになりました。 Ancient DNA analyses of remains of the Medici family (16th century) provide insights into the genetic variation of Plasmodium falciparum: iScience https://www.cell.com/iscience/fulltext/S2589-0042(26)01746-3 Genetic

    メディチ家当主急死の真相が440年越しでDNA分析により明らかに
  • 国会図書館で「著作者本人です」と言ったら不思議な空気になった|事務員G

    その日僕は国会図書館にいました。 日中のありとあらゆる、そのすべてが揃うと言っても過言じゃない、図書館界の頂点のような存在です。 普通の図書館なら棚に並べられているを自分で探して見つけますが、さすがは国会図書館。一部の新聞や地図を除き、は全く並べられていません。 そのかわり目当てのを検索するパソコンが置かれた机がおびただしい量並んでいて、実際に手に取りたいは申込みをして書架に取りに行ってもらうスタイルになっています。 僕が国会図書館に行った理由は、とある譜面を確認したかったからです。 自分が10年以上前に書いた自作曲の譜面なのですが、東京の自分の家には無く、実家にしかありません。しかし仕事の都合でなるべく早く、その時書いた譜面を確認する必要が出てしまったのです。 言うまでもなく、その譜面は国会図書館にちゃんと保管されていました。日での出版物は国会図書館に納入することが発行者に

    国会図書館で「著作者本人です」と言ったら不思議な空気になった|事務員G
  • ダチョウの平和 - Wikipedia

    ダチョウの平和(ダチョウのへいわ)とは、明白な事実を無視することによって、それが存在しないかのように振る舞うことを指す、英語由来の比喩表現、慣用句[1]。この言葉は「ダチョウは危機が迫った時に、その大きな身体は晒したまま、頭のみを砂の中に隠して、やり過ごそうとする習性がある」という言説に由来するが[2]、実際にはそのような習性はない。英語では一般に Ostrich policy(オストリッチ・ポリシー)と言い、日語では「事なかれ主義」や「自己欺瞞」とも訳される[3]。 日のことわざに、似たものとして「頭隠して尻隠さず」がある。これはキジが敵から逃れようと草むらの中に隠れるものの、長い尾が飛び出し、隠れきれていないことに由来する(雉の草隠れ)[4]。

    cu39
    cu39 2026/07/18
  • 茹でガエル - Wikipedia

    熱せられたコンロ上の鍋の取ってに座るカエル[1] 茹でガエル(ゆでガエル、英語: Boiling frog)とは、緩やかな環境変化下においては、それに気づかず致命的な状況に陥りやすいという警句。生きたカエルを突然熱湯に入れれば飛び出して逃げるが、水に入れた状態で常温からゆっくり沸騰させると危険を察知できず、そのまま茹でられて死ぬという説話に基づく。茹でガエル現象(ゆでガエルげんしょう)[2]、茹でガエルの法則(ゆでガエルのほうそく)とも呼ばれる。 19世紀のいくつかの実験を基に、加熱が十分に穏やかであれば、この説話は再現可能な事実だと考えられていた[3][4]。しかし、現代の生物学の見地においては、これはありえないとされている。カエルや他の変温動物においては、場所移動による自然な体温調節は、野生で生き残るためには必須な能力であり、徐々に加熱されてもカエルは飛び出して逃げ出してしまう[2]。

    茹でガエル - Wikipedia
    cu39
    cu39 2026/07/18
  • 「最初の3日間のウィッシュリスト登録は、そのほとんどが日本からのものだった」浸水対策シム『DrainSim』【開発者インタビュー】 | Game*Spark - 国内・海外ゲーム情報サイト

    「最初の3日間のウィッシュリスト登録は、そのほとんどが日本からのものだった」浸水対策シム『DrainSim』【開発者インタビュー】 | Game*Spark - 国内・海外ゲーム情報サイト
    cu39
    cu39 2026/07/18