2025-07-04 06:00 はてなブックマーク テクノロジー 人気エントリー

[*2]ティム・オライリーは単に私たちの仕事のやり方が変わっていくのだということを強調していただけではありますが、一方でVibe Codingのセンセーショナルな成果物がいろいろと見え始めた段階から、SNSなどでは日夜プログラマが自分たちの仕事がなくなるのかどうなのかを議論しているのもまた目にするようになりました。

中高生向けのプログラミング入門書で、ゼロからゲームを作る方法を解説する他、アップデートした「ぷよぷよプログラミング 2.0」のソースコードを全文掲載する。 ぷよぷよプログラミングはセガが2020年に無料公開した、ゲームのソースコードを書き写し、ぷよぷよのプレイ画面を確認しながらコーディングを学ぶ教材。

ギャルに応援されて生成したLP そこまでギャル感は感じられないが、 少しネオンっぽくなったのでその辺はもしかしたらうっすら影響は受けているのか…? Claude 4 > よっしゃ！そのノリで行くで〜！もっとインパクトある仕掛けぶち込んだろ！ 完全にエセ関西型言語のレスポンスをいただいた。

三谷産業（石川県金沢市）は7月3日、バーチャルヒューマン制作を手掛けるAww Inc.（東京都渋谷区）と共同開発した「北斗泰山（ほくとたいざん）」が「AI社外取締役」候補に内定したと発表した。

2025年7月3日〜4日開催の開発生産性カンファレンス 2025 – Findyの登壇資料を公開します。 本セッションでは、「開発生産性」の意味が、プロダクト開発のステージやチーム構造によってどのように変化していくのかを説明しました。 すべてのチームが同じメトリクスを取得する意味はないですし、チームの置かれた状況によって取得するとよいメトリクス自体が変化します。

見積もりの定義 知見1：見積もりの目的によってやり方を変える 意思決定のための見積もりの場合 計画・実行のための見積もりの場合 知見2: 信頼性の期待値をコントロールする 知見3: チームで見積もる 見積もりを成長の機会に変える おわりに まずは、このブログで扱う「見積もり」という言葉の定義を明確にしたいと思います。

7月3日時点で、都立高校15校で計1万人以上の生徒と教職員がAIアシスタントツール「DeepL Write Pro」と翻訳ツール「DeepL翻訳」を英語学習や業務支援に使っている。都立高校にDeepLの翻訳ツールを導入──オンラインテキスト翻訳で知られる独DeepLは7月3日（日本時間）、東京都教育委員会の導入事例を発表した。

テスト自動化ツールなどを提供するAutifyは、仕様書を読み込ませることで仕様に基づいたさまざまなテストケースを自動的に生成するテストデザイン機能や、テストしたい内容を自然言語で指示することで自動的にテストシナリオとテストコードを生成する機能などを備えた新サービス「Autify Nexus」の提供を発表しました。

テクノ封建制という言葉と概念が、私たち全員の苦境を理解するために必要であることを説明するのにふさわしい人間をひとり選ぶとしたら、イーロン・マスクだろう。 スタートアップの墓場と思われている自動車産業や宇宙旅行産業、さらにはブレイン・コンピュータ・インターフェイスにまで革命を起こしたマスクは、数百億ドルという大金を注ぎ込んでツイッターを買収した。

Adobeでは以前からデジタルコンテンツの信頼性を担保する仕組みの構築に取り組んでいるが、その結果としてC2PAとCAIという2つの団体が設立された。多くのクリエイティブツールを輩出する米Adobeは、4月に開催された「Adobe MAX London」にて新しいWebツール、「Adobe Content Authenticity」（以下ACA）を発表した。

クエリ例: これらの値を使ってアラートを設定して通知送信する、といったこともできるがここでは割愛… Claude CodeのOpenTelemetryサポートを活用して、ログとメトリクスをさくらの「モニタリングスイート」に送信する環境を構築した。

更新日に関わらず、Creative Cloudコンプリートプランは Creative Cloud Proに名称が変更されるため、改定価格が請求される前に名称の変更が有効になる可能性があることにご注意ください。

https://store.google.com/jp/product/pixel_9_pro_fold?hl=ja Zenn記事を書く → Claude Codeに投げる → LTスライド完成！ つまり、記事を書いたら即登壇できます、ちゃんとした会社テンプレートっぽいスライドで。

今回はその中でも、より巧妙で気づきにくい「間接的プロンプトインジェクション」を利用し、AI に偽のエラーメッセージと、悪意のある指示を表示させるという攻撃シナリオについて、その仕組み、危険性、そして私たちが取るべき対策について解説します。

2025年7月3日 11時20分
働き方 アメリカのIT大手、マイクロソフトは2日、2025年5月に発表したおよそ6000人の人員削減に加えて、さらに9000人規模の削減に踏み切る方針を明らかにしました。アメリカのメディアは、AIの開発に伴う投資額が膨らむ中、経営資源を集中させる必要があることや、AIの導入によって業務の効率化が進んでいることが背景にあると指摘しています。

X： ＠shiropen2 ハンガリーのブダペスト工科経済大学とカナダのセントメアリーズ大学に所属する研究者らが発表した論文「Building a monostable tetrahedron」は、どの面に置いても必ず特定の1つの面を下に転がり着地する四面体の物理的実現に成功した研究発表だ。

プロセスを細分化・明文化する 人が行う作業を分解し、言葉で表現してLLMに指示する コンテキストを与えるLLMが知らない情報を提供する(例: 分析に使うテーブルのスキーマ) 成果物を定義するLLMが生成すべきアウトプットの仕様を、明確な基準として示す 上手く実行させる最適なモデルを選び、効果的なプロンプトで指示を出す これら4つの要素を一つずつ、具体例を交えながら解説します。

証明の可読性という観点から、以下のことを試すべきかもしれません： 証明の可搬性、新言語（特に、システムプログラミング言語）での利用を考えると、以下を見てみるべきかもしれません： まあ私にはやりたいことがたくさんあるので、定理証明支援系に対してどの程度時間を割けるのかは分かりませんが……。

──まだ導入して間もないじゃないですか！ このロボット、どこで作られているんですか？ まさかオリジナルで発注したとか！？ チョウさん：「いや、これは中国で製産されている『機甲厨神』という『刀削麺』を作るためのロボットなんだ。

チャットAIに感情を共有できる人は64.9％で、親友や母親を上回る――電通は7月3日、こんな調査結果を発表した。 チャットAIと話す内容としては「情報収集」が全体で64.4％と最も高く、「勉強や仕事などで分からないことを教えてもらう」（47.0％）、「趣味について」（29.0％）と続いた。チャットAIを「非常に信頼している」「信頼している」「やや信頼している」と回答した人は全体で86.0％だった。

皆さん、先日X（旧Twitter）でこんな投稿が話題になっているのを見かけたことはありますか？ https://x.com/mugisus/status/1940127947962396815 AIコーディングアシスタントが、意図せずホームディレクトリを丸ごと削除するコマンド rm -rf ~/ を実行しようとしてしまう、という内容です。