タグ

leditorのブックマーク (3,226)

  • 「AIが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ… 高まる思考力、疲れ知らずの働き者。人間に残された仕事は? | NEWSjp

    2026年が明けてすぐに「人工知能(AI)が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。近年のAIの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。専門家は「2026年はAIが安定して数学の未解決問題を解けるようになった最初の年といえる」と話す。 この勢いで超難問とされるリーマン予想も攻略してしまうのか? AIによる数学の可能性を探った。(共同通信=浅見英一) ▽世界的数学者が「AIが自律的に証明した」と宣言 1月、米カリフォルニア大のフィールズ賞数学者、テレンス・タオ氏が自身のSNSで、約50年も未解決だった「エルデシュ問題728番」という数学の予想について「AIが自律的に解決した」と宣言した。 エルデシュ問題は、20世紀ハンガリーの大数学者ポール・エルデシュが生涯に残した問題の数々を指し、千近くある。728番はその一つで、(a+b-n)の階

    「AIが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ… 高まる思考力、疲れ知らずの働き者。人間に残された仕事は? | NEWSjp
    leditor
    leditor 2026/05/03
  • ジョセフ・ヒース『資本主義が嫌いな人のための経済学』勝手に紹介文 - 清く正しく小賢しく

    このたび、ジョセフ・ヒースの著書『資主義が嫌いな人のための経済学』が早川書房で文庫化されます。既にハードカバーをお持ちの方もいらっしゃるかもしれませんが、吉川浩満さんによるアツい解説と、文庫版のために書き下ろされた序文がついてくるので、改めて買って損なしです。ぜひ手に取ってみてください。 そしてなんと、不肖わたくし、文庫版書下ろし序文「ポピュリズムの時代に」の翻訳を担当させていただきました! ジョセフ・ヒース『資主義が嫌いな人のための経済学〔新版〕』 資主義が嫌いな人のための経済学〔新版〕 (ハヤカワ文庫NF) 作者:ジョセフ ヒース 早川書房 Amazon そういうわけで、この記事では私なりに書の内容や魅力を紹介してみたいと思います。 書の特徴 書の概要 ヒースの世界に分け入る 書が気に入ったら 書の特徴 書の特徴はなんといっても、「哲学者が書いた経済学入門書」であるこ

    ジョセフ・ヒース『資本主義が嫌いな人のための経済学』勝手に紹介文 - 清く正しく小賢しく
    leditor
    leditor 2026/05/03
  • SKILL.md AGENTS.md AgentSkills 完全整理ノート(備忘録)

    エグゼクティブサマリー この記事は、AIコーディングツールまわりで増えがちな AGENTS.md、CLAUDE.md、GEMINI.md、SKILL.md、agents系ファイルをどう分けるか、という話です。 結論はかなりシンプルで、「常に読ませるもの」「必要なときだけ読ませるもの」「役割を持つ別エージェント」を分けると扱いやすいです。 AGENTS.md を共通ルールの正にしつつ、ツール固有ファイルは薄くし、手順は SKILL.md、役割分担は agents系ファイルに逃がす、という点です。 今回のキーメッセージはこれです。 常時ルールは AGENTS.md ツール固有の入口は薄くする 手順は SKILL.md 役割分担は agents系ファイル 結論 まずは、この理解で十分かなと思います。 書くもの 一言でいうと 向いている内容

    SKILL.md AGENTS.md AgentSkills 完全整理ノート(備忘録)
    leditor
    leditor 2026/05/03
  • 三角初華Diggy-MO'説は紛れもなく真実──あるいは永遠のものは果たしてあるのだろうか|馬耳東風

    時は2023年、Cru(SOUL'd OUT及びDiggy-MO'のファン)である僕は悲観していました。 「Diggy、今何してるのかなぁ…」 Diggy-MO'は2018年を最後に新曲もライブもやらなくなり、ほとんど音沙汰がなくなっていたのです。 しかしファンクラブを確認していると、ある時を境に怒涛のお仕事情報が更新されていったのです。 「Ave Mujica『黒のバースデイ』の作詞をDiggy-MO'が担当」 「Ave Mujica『ふたつの月~Deep Into The Forest~』の作詞をDiggy-MO'が担当」 「Ave Mujica『Choir ‘S’ Choir』の作詞をDiggy-MO'が担当」 …… $${\large\bf なんだこれ!?}$$ $${\textmd{Yo, wazz up?! I'm from S.O}}$$ $${\textmd{…You kn

    三角初華Diggy-MO'説は紛れもなく真実──あるいは永遠のものは果たしてあるのだろうか|馬耳東風
    leditor
    leditor 2026/05/02
  • 東京大学の研究により、白髪が単なる老化現象ではなく、損傷した幹細胞のガン化を防ぐための「防衛メカニズム」であるという衝撃的な事実が明らかに

    Kosuke @kosuke_agos 東京大学の研究により、白髪が単なる老化現象ではなく、損傷した幹細胞のガン化を防ぐための「防衛メカニズム」であるという衝撃的な事実が明らかになりました。 ストレスや睡眠不足によるダメージから身体を守るため、細胞の老化プロセスを自律的に防止する事象です。 その衝撃の全貌と頭皮の最適化を3つのポイントにまとめました。 1. 細胞の『自律的停止』 白髪の正体は、色素を生み出す幹細胞が損傷した際、それがガン化するという構造的な問題を防ぐために細胞分裂を物理的に停止させるメカニズムです。身体がシステムのエラーを検知し、安全装置を自律的に稼働させています。 2. 防衛の『強制稼働』 慢性的なストレス、睡眠不足、栄養不足という摩擦コストが蓄積すると、このプロセスは劇的に加速します。来の寿命を迎える前に、環境的なダメージによって防衛システムが強制稼働させられている状

    東京大学の研究により、白髪が単なる老化現象ではなく、損傷した幹細胞のガン化を防ぐための「防衛メカニズム」であるという衝撃的な事実が明らかに
    leditor
    leditor 2026/05/02
  • けっこう実用的。「OpenCode」×ローカルLLMで“無料Claude Code”してみた

    けっこう実用的。「OpenCode」×ローカルLLMで“無料Claude Code”してみた2026.05.02 13:0029,747 かみやまたくみ オープンソースのAIコーディングエージェント「OpenCode」をローカルLLM「Gemma-4-26b-a4b」で動かして簡単なゲームを作っているところ Image: かみやまたくみ AIでいろんなことができる反面、料金もけっこうかかるように。 個人的に最近すごーく気になっています。新しいAIアプリやサービスを導入したくても、コストが厳しいことが多い。 気づいたら「安く使えて実用性もあるAIやアプリはないかな?」と日々探すようになっていました。 そんな中、なかなかいい組み合わせを見つけました。 オープンソースのAIコーディングエージェント「OpenCode」をGoogleの最新ローカルLLM「Gemma 4」と組み合わせて使ってみたら、

    けっこう実用的。「OpenCode」×ローカルLLMで“無料Claude Code”してみた
    leditor
    leditor 2026/05/02
  • 運動が苦手、絵を描くのが苦手...世の中には努力だけではどうにもならないものが山ほどあるのになぜ勉強だけは許されず本人の努力不足とか怠慢だと言われるのか

    アニサキス @munou0613 「ピアノが苦手」「運動が苦手」「絵を描くのが苦手」だとか、この世には努力云々じゃ片付けられない限界ってものがそれぞれに存在してるのに、なんで『勉強ができない』奴は努力不足だとか怠慢だとか言われなきゃいけないの? たまたま苦手なことの中に『勉強』があっただけなのに、なんで? 2026-04-30 18:59:59 アニサキス @munou0613 甘えてる、怠けてる、苦労してない、って言うけど、よくよく考えたらじゃあ「苦労しなきゃいけない理由」ってなんだ。 「不幸な奴は藻掻いて幸せを手に入れろ!」「できない事がある奴は諦めず克服しろ!」みたいなの見ると、まずそうなる。 努力を選ばなかった人間が怠け者になるのもよく分からない。 x.com/munou0613/stat… 2026-05-02 11:01:26

    運動が苦手、絵を描くのが苦手...世の中には努力だけではどうにもならないものが山ほどあるのになぜ勉強だけは許されず本人の努力不足とか怠慢だと言われるのか
    leditor
    leditor 2026/05/02
  • 戦争や社会問題を扱った名曲

    ミュージシャンに党派性の踏み絵を踏ませたがる態度はわけわからん。下品。 おまえらに言われんでもミュージシャンはもう楽曲で語っとる。というわけでみんなの思う戦争や社会問題を扱った名曲をブコメで教えてね。 まず、私からのおすすめは↓ ZORN『戦争と少女』 (Prod. Nujabes) https://www.youtube.com/watch?v=MNdp_xlxsFI

    戦争や社会問題を扱った名曲
    leditor
    leditor 2026/05/01
  • GW中に「Claude Code」を一気に学びたい人のための記事・動画ガイド|梶谷健人

    この連休に「Claude Code」を一気に勉強しようと思っている人向けに、「これを上から順番に見切ったらClaude Codeにめちゃくちゃ詳しくなれる」という記事・動画ガイドを作りました。 14のステップごとに記事・動画を紹介しており、「まず全体像をつかみ、土台を整え、育て方を学び、応用とチーム展開まで広げる」という流れを押さえられるようになっています。 ぜひ「このGWこそはClaude Codeを学ぶぞ」と思っていた方はご活用ください。 連休明けには「Claude Codeが自分の業務環境の真ん中に座っている」という状態になっているはずです。 1. 2026年、もはやClaude Codeはエンジニア以外も全員が使うべきツールになったなぜ非エンジニアこそClaude Codeを使うべきなのかを全体像から解説した記事です。プロジェクトフォルダ/`CLAUDE.md`/Skillsの三層

    GW中に「Claude Code」を一気に学びたい人のための記事・動画ガイド|梶谷健人
    leditor
    leditor 2026/05/01
  • 【完全版】Claude Code運用40選|KAWAI

    Claude Codeは、便利なチャットではありません。 設定、文脈、検証、自動化、並列化まで設計すると、日々の作業環境そのものになります。 この記事では、手元にあるClaude Code運用メモを土台に、Anthropic公式ドキュメント、Claude Help Center、GitHub Actions、MCP、Hooks、Skills、Subagents、非対話モード、情報収集ワークフローまで整理しました。 この記事は全文無料(期間限定)で閲覧できます。 見出し画像はAIで生成しました。 プロンプトはこの記事に掲載中。 Claude Codeは「会話相手」ではなく「作業環境」ですClaude Codeを使いこなせない原因の多くは、プロンプトの上手さではありません。作業環境として扱えていないことです。 公式ベストプラクティスでも、Claude Codeはファイルを読み、コマンドを実行し

    【完全版】Claude Code運用40選|KAWAI
    leditor
    leditor 2026/04/30
  • 大規模案件のSlackにAI社員3人を常駐させたら、2年目が参画1週間で設計根本に踏み込んだ

    実際の画面とは異なるサンプルイメージです チームのSlackAI社員を3人常駐させています。 社員5人で、2週間動かしました。 誤解を招きそうだからちゃんと書いておきます。 2週間です。半年でも1年でもなく、2週間。 それでも書きたくなるくらいのことが起きたので、この記事を書いています。 SIerの大規模開発で扱う資料は毎週溜まります。 仕様書の背景、顧客の痛点、過去の判断の残り香。 新しく参画したメンバーは、これを数週間かけて読み込むのがいつもの景色です。 そこに、このAI社員3人が入りました。 すると、2年目のメンバーが参画1週間でSKILLを直し、2週間で設計根に疑問を出してきた。 正直、びびりました。 自己紹介・大規模現場の話を軽く 私はNTTデータグループ 技術革新統括部のITアーキテクト(課長代理)で、大規模システムのモダナイゼーションに携わっています。 全社の高難度案件

    大規模案件のSlackにAI社員3人を常駐させたら、2年目が参画1週間で設計根本に踏み込んだ
    leditor
    leditor 2026/04/29
  • 【実録】ソニーの「8年間の部品保有」とは何だったのか。フラッグシップ機TA-ZH1ES、生産終了から3年半で修理拒絶された記録|Taka

    【実録】ソニーの「8年間の部品保有」とは何だったのか。フラッグシップ機TA-ZH1ES、生産終了から3年半で修理拒絶された記録 はじめにこれは、ソニーの高級据え置き型ヘッドホンアンプ「TA-ZH1ES」が、生産終了からわずか約3.5年で修理を拒絶された記録です。 私自身はすでに自力で問題を解決していますが、同様の被害者を減らすという公益目的のため、また一人のソニーファンとして感じた不誠実さを残すため、事実をベースに発信します。 前提:メーカーの「8年間の約束」家電メーカーは通常、生産終了後も一定期間修理ができるよう「補修用性能部品」を保有しています。機の取扱説明書には、はっきりとこう記されています。 「当社ではヘッドホンアンプの補修用性能部品(製品の機能を維持するために必要な部品)を、製造打ち切り後8年間保有しています。ただし、故障の状況その他の事情により、修理に代えて製品交換をする場合

    【実録】ソニーの「8年間の部品保有」とは何だったのか。フラッグシップ機TA-ZH1ES、生産終了から3年半で修理拒絶された記録|Taka
    leditor
    leditor 2026/04/29
  • オーバーラップ社の決算資料を読むと、作家に求められるものがもはや「マンガなどの脚本」になっており「小説家」に割り当てられるパイは縮小の一途を辿りそう

    大石ロミー (taskey) @oishi_romy IP創出カンパニー「taskey」のクリエイター社長。 「21世紀、世界でもっとも読まれる物語を生み出す」 peepアプリ事業、マンガIP事業を展開。Tencentグループと資業務提携し、グローバルでヒットする作品を生み出すことに全力投球中🔥 著書『監禁区域レベルX』『無双のツガイ』等。 taskey.co.jp/recruit/specia… 大石ロミー (taskey) @oishi_romy 【小説家は何屋さんになっていくのか】 先日投稿したオーバーラップさんの決算資料に関するポストに、大きな反響をいただきました。感想を見てみると、「異世界系(いわゆるなろう系)へのジャンルの偏り」や、ラインナップが「ラノベのコミカライズ」で占められている点に注目が集まっていたようです。 現在の異世界系ジャンルにおいては、ノベル単体というよりも

    オーバーラップ社の決算資料を読むと、作家に求められるものがもはや「マンガなどの脚本」になっており「小説家」に割り当てられるパイは縮小の一途を辿りそう
    leditor
    leditor 2026/04/28
  • 中国でも科学者9人が次々と「謎の死」…米国では11人が相次ぎ死亡

    中国でも科学者9人が次々と「謎の死」…米国では11人が相次ぎ死亡 ▲写真=UTOIMAGE 米国で最近、宇宙・航空・原子力分野を研究していた科学者11人が次々と死亡したり行方不明になったりする中、中国でもここ数年で複数の科学者が謎の死を迎えていたことが報じられた。 【写真】「中国人研究者ら、不当な調査受け米入国拒否された」 中国外交部がSNSで注意喚起 23日(現地時間)にニューズウィークが報じたところによると、中国人工知能AI)国防分野の中心的な科学者だった馮暘赫・国防科技大学教授は2023年7月1日未明、北京で交通事故に遭い、突然の死を遂げた。 当時、中国最大の科学系オンラインコミュニティー「科学網(Sciencenet.cn)」の訃報では、馮教授について「公務遂行中に犠牲になった」と表現し、馮教授の遺体は中国共産党の高官などが眠る北京の特別な墓地(八宝山革命公墓)に埋葬された。こ

    中国でも科学者9人が次々と「謎の死」…米国では11人が相次ぎ死亡
    leditor
    leditor 2026/04/28
  • Anthropicはなぜ異次元の速度で開発できるのか|すてぃお

    「Anthropic(Claudeを作っている会社)、開発が速すぎる」 最近、周りのエンジニアと話していると、この話題がよく出ます。僕も同じことを思っていて、いろいろ調べているうちに、単に「AIを使っているから速い」という一言では説明できない構造があることが見えてきました。 例えば、下記になります。 2026年Q1の3ヶ月で120以上の機能をリリース(18時間に1機能) エンジニア1人あたり1日約5PR(Pull Request、コードの変更を提出する単位) 社内では毎日60〜100回のリリース Claude Coworkは約10日で構築 Claude DesignはOpus 4.7のリリース翌日に公開 普通のソフトウェア開発企業の感覚からすると、明らかに異次元です。この記事では、公開されているインタビューや内部研究、関係者の発言をもとに、「なぜこんなことが可能なのか」というのを調べた限り

    Anthropicはなぜ異次元の速度で開発できるのか|すてぃお
    leditor
    leditor 2026/04/28
  • 腐敗によって失われた30年 — 日本の凋落

    腐敗によって失われた30年 — 日本の凋落
    leditor
    leditor 2026/04/28
  • アニメ映画『がんばっていきまっしょい』の音楽について - srgy

    2024年のアニメ映画 『がんばっていきまっしょい』 。 この作品には劇伴や主題歌はもちろん、それ以外にも様々な種類の音楽が使われています。 それらについて詳しく まとめてみました。 目次 劇伴(サウンドトラック) 主題歌・挿入歌 劇中曲 伊予の酒造り唄 NO ID. / scatterbrain ノンクレジット楽曲 Brand New World / Helios+trope rewards(feat.棗いつき) / Room97 Notice Me / あまねく天音 Last Hour / Red Cat Blue ワルツ 第9番 変イ長調 作品69-1 / フレデリック・ショパン Happy Holiday Cafe / STAR DUST BGM Afternoon coffee / STAR DUST BGM Flower (Vocal ver.) / BILL JAKE BEA

    アニメ映画『がんばっていきまっしょい』の音楽について - srgy
    leditor
    leditor 2026/04/27
  • 「新人がAIに聞いたまま資料を出して来る」ことに嘆いている40代社員に対して、「ワークスロップ」という概念を紹介する人が登場する

    元山文菜@書籍「無くせる会社のムダ作業」発売中 @ayana_motoyama 「新人がAIに聞いたまま資料を出してくる!AIが出したものを俺が添削して戻したら、それをまたAIに読ませて戻ってくる。」と泣いてる同世代(40代半ば)が結構いて、「なんで、ちゃんと内容チェックしてくれないんだよ!なんで、ちゃんと自分なりに直して出してこないの…俺とAIの橋渡ししてるんならアイツいらなくなっちゃうだろ。何回言ってもそのまま出してくるから、もうAI禁止なのかな…」って嘆いてるんですが、多分、新人の子は内容チェックしてるんですよ。きっと自分なりに直してもいると思う。ただ普通に考えてAIの知識は既に私たちを超えてる。我々がAIの矛盾に気づくのは単に歳を重ねてるからに過ぎなくて、自分よりレベルが高い資料が出てきたら何をどう直して良いのか分からないと思う。AIに任せて思考停止しちゃってるわけではなくて、自分

    「新人がAIに聞いたまま資料を出して来る」ことに嘆いている40代社員に対して、「ワークスロップ」という概念を紹介する人が登場する
    leditor
    leditor 2026/04/27
  • 米国で核や宇宙関連の機密研究に関わる科学者10人以上が死亡・行方不明、FBIが調査開始

    米国で核、航空宇宙分野の機密研究にかかわった科学者ら少なくとも10人の死亡、失踪が相次ぎ、相互の関連性や犯罪に巻き込まれた可能性をめぐる臆測が飛び交っている/Jim Watson/AFP/Getty Images (CNN) 米マサチューセッツ工科大学(MIT)の原子核物理学者が、自宅前で撃たれ死亡した。元空軍少将は家を出たまま行方不明になり、航空宇宙エンジニアはハイキング中に姿を消した。 米国で核、航空宇宙分野の機密研究にかかわった科学者ら少なくとも10人の死亡、失踪が相次ぎ、相互の関連性や犯罪に巻き込まれた可能性をめぐる臆測が飛び交っている。 米連邦捜査局(FBI)はこのほど、科学者の失踪と死亡について、エネルギー省や国防総省、連邦・地方レベルの捜査機関と共同で関連性を調べていると発表した。 これとは別に、与党・共和党が主導する下院監視委員会は先週、科学的な機密情報を知り得る立場にあっ

    米国で核や宇宙関連の機密研究に関わる科学者10人以上が死亡・行方不明、FBIが調査開始
    leditor
    leditor 2026/04/27
  • 政府はなんで頑なに国民に本当のことを伝えないの? 石油足りないのはもう..

    政府はなんで頑なに国民に当のことを伝えないの? 石油足りないのはもう明らかなのに、なんで代替調達が可能みたいな感じで言ってんの? アメリカから一隻タンカーが来たくらいで大きくニュースにしてなんか大丈夫そうに見せようとしてるし それやればやるほど不安になるんだけど

    政府はなんで頑なに国民に本当のことを伝えないの? 石油足りないのはもう..
    leditor
    leditor 2026/04/27