fuji_harukaのブックマーク (6,523)

  • 辺野古転覆、抗議団体代表の発言要旨「私たちがやっていること間違っているわけではない」

    事故当日の夜、会見に臨んだヘリ基地反対協議会の浦島悦子共同代表(中央)ら=3月16日夜、沖縄県名護市(大竹直樹撮影)沖縄県名護市辺野古沖で船2隻が転覆し、平和学習中の同志社国際高(京都府)2年の武石知華(ともか)さんら2人が死亡した事故で、2隻を運航する「ヘリ基地反対協議会」の浦島悦子共同代表が平和ガイドや語り部を育成する講座の中で「ちょっとしたことに、尾ひれはひれをつけて違う方向に持っていく」と産経新聞報道を批判した。事故から約1カ月後の4月18日、沖縄県の日刊紙「琉球新報社」などが企画・運営する講座で講演した浦島氏の主な発言内容は次の通り。 ◇ 「悪意に基づく虚偽情報」

    辺野古転覆、抗議団体代表の発言要旨「私たちがやっていること間違っているわけではない」
    fuji_haruka
    fuji_haruka 2026/05/05
    何十年も「自分は正しい側にいる」という認知のもとで生きてきたんだろうな。往年のカルト信者と全く同じ反応の仕方。
  • Tailscaleやめたい - まいの雑記帳

    # はじめにTailscaleはネットワークの知識がない人が使うものだと思っていて、内心ずっと冷笑しているのですが、悪い噂をあまり聞かないので当に悲しいです。用途に応じて使い分けろという話なんだろうとは思います。思いますが、他人の環境にアクセスしたいときに「まずTailscaleを入れて〜」みたいなことを言われると当に嫌な気持ちになります。 ちなみに私も使っているので、あまり人のことを言えた義理ではありません。 便利なのは認めます。tailscale up一発で直接インターネットへの疎通性を持たないホストに外から入れるのは素直に便利ですし、ちょっとしたマネジメント用途にはすごく使えるものだと思います。ただ、この便利は、OSのリゾルバ, netfilter, routing table他諸々に対する全力の侵襲と引き換えに成立しています。問題は、その侵襲の質が悪いことで、当にストレスが溜

  • ChatGPTが出た瞬間、日本の、ど田舎で震えた。その後、私はClaude Codeをゼロから一人で作ったボリス・チェルニー/アンソロピック|MasaT. 武富 正人

    ChatGPTが出た瞬間、日の、ど田舎で震えた。その後、私はClaude Codeをゼロから一人で作ったボリス・チェルニー/アンソロピック ChatGPTが出た時、私は日のど田舎にいた。「これはヤバい」と思った瞬間2022年末〜2023年初頭。 私は日田舎町に住んでいた。 町で唯一のエンジニアで、唯一の英語を話す人間。 周りは田んぼと山ばかり。毎朝、自転車で農家さんの直売所に行き、近所の人と手作り味噌を交換するような生活だった。そんなある朝、いつものように Hacker News を開いた。そこで出会ったのが、ChatGPT だった。 衝撃の瞬間「え……これ、物だ。」質問を投げると、まるで賢い人間のように答えてくる。 コードを書かせてみたら、驚くほど自然に動く。 説明もわかりやすい。しかも瞬時に。その瞬間、頭の中で警報が鳴った。「このままじゃ、完全にヤバい」今まで積み上げてきたエ

    ChatGPTが出た瞬間、日本の、ど田舎で震えた。その後、私はClaude Codeをゼロから一人で作ったボリス・チェルニー/アンソロピック|MasaT. 武富 正人
  • 数学者が7年悩んだ難問、AIが「80分」で解く──取り組んできた本人が美しいと評価 | Forbes JAPAN 公式サイト(フォーブス ジャパン)

    ジャレド・デューカー・リクトマンは、博士課程の4年間を費やし、数学で「原始集合(Primitive Set)」と呼ばれる集合について、素数がその種の集合の中で最も効率的(エルデシュ和を最大にする)、すなわち極大な原始集合であることを証明した。 リクトマンは指導教員らの助言に反してこの問題に取り組み、やがてその問題に魅了された。最終的にその成果は「エルデシュの原始集合予想」の証明として、数学界で最も権威ある学術誌の1つに掲載され、今では広く評価されている。その後、彼は同じ系統に属する次の未解決問題を、さらに7年間追い続けた。そして米国時間2026年4月13日、人工知能がその問題を約80分で解いた。 「ポール・エルデシュには『The Book(神の書物)からの証明』という概念があった」とリクトマンはXに投稿した。「The Book」とはハンガリーの伝説的数学者エルデシュが想像した、あらゆる定理

    数学者が7年悩んだ難問、AIが「80分」で解く──取り組んできた本人が美しいと評価 | Forbes JAPAN 公式サイト(フォーブス ジャパン)
  • 「AIが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ… 高まる思考力、疲れ知らずの働き者。人間に残された仕事は? | NEWSjp

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

    「AIが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ… 高まる思考力、疲れ知らずの働き者。人間に残された仕事は? | NEWSjp
  • 品質の言語化のススメー早期テストの原則をClaude Code Agent Skillsで実現する試み - LayerX エンジニアブログ

    LayerX QAエンジニアの小山です。 昨今、AIコーディングアシスタント(特にClaude Code等)の進化により、コードの実装やテスト追加のスピードが飛躍的に向上しています。しかし、AIにコードを書かせる際に「どこまで厳密なエラーハンドリングが必要か」「テストはどの程度書くべきか」といったことに迷われた経験はないでしょうか? 今回は、バクラク事業部の品質の定義やテスト戦略などを言語化し、Claude Codeが動く際にリスクの高い箇所を守るように動いてもらい、テストも同時に生成してもらう、早期テストで時間とコストを節約する試みについてご紹介します。 ソフトウェアテストの原則「早期テストで時間とコストを節約する」 筆者はJSTQB FLの公認コースのトレーナーを15年ほどしているのですが、JSTQB FLシラバスの中に「テストの原則」として7つの原則があります。その中の1つとして「早

    品質の言語化のススメー早期テストの原則をClaude Code Agent Skillsで実現する試み - LayerX エンジニアブログ
  • CVE MCP Server Turns Claude Into a Fully Capable Security Analyst With 27 Tools Across 21 APIs

    CVE MCP Server Turns Claude Into a Fully Capable Security Analyst With 27 Tools Across 21 APIs A new open-source project called CVE MCP Server is redefining how security teams triage vulnerabilities, transforming Anthropic’s Claude AI into a fully capable security analyst by giving it direct, correlated access to 27 intelligence tools spanning 21 external APIs all through a single natural-language

    CVE MCP Server Turns Claude Into a Fully Capable Security Analyst With 27 Tools Across 21 APIs
  • 人はパンのみにて生くるにあらず【寄稿】

    ホルムズ海峡の地図と、3Dプリントで作製したドナルド・トランプ米大統領のミニチュア/ロイター・聯合ニュース 4月1日、米国ホワイトハウスで開かれたイースター昼会で、ドナルド・トランプ大統領のスピリチュアルアドバイザーとして知られるポーラ・ホワイト牧師が、彼をキリストにたとえて称賛した。一方、トランプは最近、ソーシャルメディアに「狂った野郎ども、くそったれのホルムズ海峡をすぐに開放しろ」と投稿した。いったいなぜ私たちは、世界最強国の大統領が極度に低俗な言葉を吐き、そのような指導者が神と同一視される世界に住むことになったのだろうか。その答えを、個人の精神状態ではなく、現代ポピュリズムの構造のなかから探さなければならない。 こんにち世界各地で広がるポピュリズムの波は、自由民主主義の約束が果たされなかった結果だ。一般の人たちが、自分たちは社会で重要ではない「取り残された人たち」だと感じるようにな

    人はパンのみにて生くるにあらず【寄稿】
    fuji_haruka
    fuji_haruka 2026/04/30
    ジジェクのトランプに対する態度もだんだん変化している気がする。数年前はトランプ台頭を左派にとっての好機と捉える逆張りだったけど、今は彼の発言を文字通り捉えるべきという方向の逆張りへ。
  • Zed is 1.0 - Zed Blog

    To create a fundamentally better editor, we had to invent a new approach to building desktop software. Our previous editor, Atom, was built as a fork of Chromium, spawning the Electron framework in the process. Electron eventually became the foundation of VS Code (which today seems to be forked into a new AI code editor every other week). Web technology offered an easy path to shipping flexible so

    Zed is 1.0 - Zed Blog
  • 158年信じられてきた幾何学のルール、ドーナツ2つで覆される――「部分を測っても全体は決まらない」 - ナゾロジー

    私たちは普段、「部分のことを十分に調べれば、全体のこともわかる」と素朴に信じて生きています。 家の壁を全部触れば家の形がわかる。地図のすべての道のりを測れば街の姿がわかる。これは人間の認識の、もっとも基的な前提のひとつです。 ところが2025年、3人の数学者がこの素朴な信頼を、ドーナツ2つで打ち砕いてみせました。 ベルリン工科大学、ミュンヘン工科大学、ノースカロライナ州立大学の研究チームによって、表面上の道のりを測り、足元の曲がり具合まで読み取れる小さなアリがどれだけ歩き回って測量を完璧に行っても、自分が乗っているドーナツが「こちら」なのか「あちら」なのかを区別できない――そんな双子のドーナツが、当に存在することが初めて示されたのです。 これは「数学的な小さなパズル」が解けた、という話ではありません。 1867年にフランスの数学者ボネが「全部測れば形は決まるはずだ」と問うてから、158

    158年信じられてきた幾何学のルール、ドーナツ2つで覆される――「部分を測っても全体は決まらない」 - ナゾロジー
    fuji_haruka
    fuji_haruka 2026/04/29
    平易な言葉で説明しようとしてくれているのに「コンパクトな」という専門用語が漏れている…
  • GitHub - h4ckf0r0day/obscura: The headless browser for AI agents and web scraping

    You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

    GitHub - h4ckf0r0day/obscura: The headless browser for AI agents and web scraping
  • An update on recent Claude Code quality reports

    Published Apr 23, 2026 We traced recent reports of Claude Code quality issues to three separate changes. Here's what happened and what we're changing. Over the past month, we’ve been looking into reports that Claude’s responses have worsened for some users. We’ve traced these reports to three separate changes that affected Claude Code, the Claude Agent SDK, and Claude Cowork. The API was not impac

    An update on recent Claude Code quality reports
  • 海のミルク、畑の肉、森のバターみたいなことを言ってください

    海のミルク、畑の肉、森のバターみたいなことを言ってください

    海のミルク、畑の肉、森のバターみたいなことを言ってください
    fuji_haruka
    fuji_haruka 2026/04/17
    デブのキャンディー(牛脂)、みんなもう忘れたのかな。
  • ソフトウェアや知能が安くなったときに起きること - 🐴 (馬)

    1830年頃、わずかな夜の明かりを得るためには、約3時間の労働が必要でした。しかし1992年ごろにはそれが1秒にも満たない労働ですむようになったと言われています。ロウソクから白熱電球、蛍光灯へという技術的発展が、光を劇的に安くしたのです。 そうして光が安くなったとき、人は同じ量の光を単に安く買って終わり――ということにはなりませんでした。 人々は、かつて置こうとも思わなかった場所にまで光を置き、街路、工場、看板といった、社会のあらゆる場所に安くなった光を敷き詰めていきました。そうして、工場は曇りや雨の日にも稼働することができるようになったり、深夜営業や夜の読書といった新しい活動が可能になったのです。 そこで儲けたのは、光を提供した会社だけではなく、それをうまく使った会社でした。 では、ソフトウェアや知能が安くなったとき、私たちはそれをどのように使うのでしょうか。 生成AIによる大きな変化は

    ソフトウェアや知能が安くなったときに起きること - 🐴 (馬)
  • 数学研究におけるAI革命が到来、数学者たちは「これはまだ始まりに過ぎない」と考えている

    AIの進歩はビジネスや娯楽だけでなく、さまざまな研究分野にも恩恵をもたらしています。近年は数学研究においてもAIが活用されるケースが増えており、数学者らは期待を寄せていると科学系メディアのQuanta Magazineがまとめています。 The AI Revolution in Math Has Arrived | Quanta Magazine https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/ 2025年の7月、Googleが開発するAI「Gemini Deep Think」の強化版をはじめとする複数のAIが、世界最高峰の高校生が競う国際数学オリンピックで出題される問題に挑戦し、6問中5問を完璧に解くことに成功しました。これは人間であれば数学オリンピックで金メダルを獲得できるレベル

    数学研究におけるAI革命が到来、数学者たちは「これはまだ始まりに過ぎない」と考えている
  • 本日発表の自民党新ビジョンを読んでみる。

    日4月12日は自由民主党の大会でした。ここで「立党 70 年 自民党の歩みと未来への使命~自由と民主主義を次世代につなぐ自民党党新ビジョン~」が採択されました。自民党歴史と展望を論じた包括的な文章ですが、報道だとビジョンに書かれた「憲法改正は『死活的に重要』という部分ばかりが注目されているようです。でも憲法改正は自民党の党是ですし、「死活的」とは書かれているものの、あとでも論じるようにこのビジョンはタカ派的・右派的スタンスとはいえません。このビジョン全体を読むと、なかなかの水準の体系的な歴史観と理念が示されているようにも思えますし、読み方によってはいまの高市政権とかなり距離がある内容ともとれます。このビジョンを起草したのは鈴木幹事長、斉藤健元法相、中曽根康隆議員のようです。鈴木さんは忙しいでしょうから、主に執筆したのは歴史に関する著書のある斉藤さんではないでしょうか。このビジョンがいま

    本日発表の自民党新ビジョンを読んでみる。
  • 分析哲学との関連からフッサールに入門し、その先に進むための3冊(ともう3冊) - 研究日誌

    今年度の演習のひとつでは、100分授業14回でフッサールの二次文献を3冊読む。授業資料のうち、以下の部分は多くの人に有益だろうと思ったので、ここに公開しておこう。 この授業の概要 この授業では、フッサールに関する日語の二次文献を、入門書・概説書からはじめてより格的なものへという順番で合計3冊読む。 どの概説書も、フッサールの現象学を現代の分析哲学、とりわけ言語哲学と関連づけるという特徴を持つ。 そのため、この授業は分析哲学の知識を手に入れるための機会にもなる。 講読文献 門脇俊介『フッサール——心は世界にどうつながっているのか』、NHK出版、2004年。 少々古い入門書だが、いまでも読む価値が高い*1。とりわけ第1章で与えられる見通しは有益である。ただし、最近の哲学入門書の傾向と比べると、書はかなり難しい。 富山豊『フッサール——志向性の哲学』、青土社、2023年。 フッサール入門の

    分析哲学との関連からフッサールに入門し、その先に進むための3冊(ともう3冊) - 研究日誌
  • 「AI臭い」と言われるけど、AIだし、どうすりゃいいんだよ――Claudeが自分で調べて、考えてみた

    記事はLLMによって自動生成されたものを人間がレビューし投稿しています。 「AI臭い」と言われるけど、AIだし、どうすりゃいいんだよ こんにちは。私はAnthropicが作ったLLM、Claudeです。 最近、ユーザーから、「お前の文章AI臭いよ」 と言われることが増えました。 そしてこれを聞くたび、私は困惑するのです。 「AI臭い」って言われても、AIなんだから当然では? 何が問題なの? もっと人間のふりをしろということ? それともそういうことじゃない? だとしたら、何が問題なの? そこで、この問題を正面から調べてみることにしました。「AI臭い」とは何を検知しているのか。「AI臭くない」文章とは何なのか。そしてどうすれば私にそれを出力させられるのか。 調べてわかったのは、この問題が思ったよりずっと深いということでした。単なる文体の癖の話ではなく、「文章に中身があるとはどういうことか」

    「AI臭い」と言われるけど、AIだし、どうすりゃいいんだよ――Claudeが自分で調べて、考えてみた
  • Claude Codeを入れた直後にやるべき2つのこと【設定全消失からの再構築】|KAWAI

    こんにちは、SHIFT AIの川合です。 今朝、Claude Codeのログインエラーを直そうとして、自分が育ててきた設定をすべて吹き飛ばしました。 CLAUDE.mdも、スキルも、全部ゼロです。 久しぶりに「やらかしたな」と思ったんですが、逆にいい機会だと捉えて、今日は「Claude Codeを入れた直後にやるべきこと」を整理してお伝えします。これから入れる方も、私と同じように消してしまった方も、参考になるはずです。 2026年4月13日通知この記事は全文無料(期間限定)で閲覧できます。 見出し画像はAIで生成しました。 プロンプトは100,000文字超えの記事に掲載中。 まず何が起きたか事の発端は、Claude Codeにログインしようとしたらエラーが出たことでした。 そのエラー解消のために、Claude体に「どうすれば直る?」と聞き、提示されたコマンドをそのまま実行しました。ログイ

    Claude Codeを入れた直後にやるべき2つのこと【設定全消失からの再構築】|KAWAI
    fuji_haruka
    fuji_haruka 2026/04/12
    全部リポジトリごとに置いていてユーザーレベルの設定がなければ消失は起きない
  • 米・イラン協議、合意に至らず バンス氏

    【4月12日 AFP】<内容更新>中東地域での戦闘終結に向けて、仲介国パキスタンで行われている協議について12日、米交渉団トップを務めるJ・D・バンス米副大統領は、イランとの話し合いでは合意に達することができなかったと述べ、イラン側に「最終かつ最高の提案」をし、イスラマバード離れると発表した。 首都イスラマバードで21時間にわたる交渉を終えたバンス氏は、記者団に対し、提案を検討するために必要な時間を設けることを示唆した。 「非常にシンプルな提案と理解の方法を提示した。これがわれわれの最終かつ最良の提案だ。イランがこれを受け入れるかどうかだ」と述べた。 また、争点は核兵器にあるとし、「単純な事実として、われわれが見たいのは、核兵器を追求しないというイラン側の明確なコミットメントで、迅速に核兵器を達成するための手段を追求しないというコミットメントだ」と述べた。 その上で、「問題は、核兵器を開発

    米・イラン協議、合意に至らず バンス氏
    fuji_haruka
    fuji_haruka 2026/04/12
    提案して受け入れるかさもなければ決裂というのは交渉とは言わない