ディープマインド、大規模言語モデルで数学の未解決問題を解く
グーグル・ディープマインドは、大規模言語モデル（LLM）で純粋数学の有名な未解決問題を解くことに成功したと発表した。LLMが、訓練データに含まれない未知の解を導き出すことに成功した例になる。 by Will Douglas Heaven2023.12.19 16 17 グーグル・ディープマインド（Google DeepMind）が大規模言語モデルを使用し、純粋数学の有名な未解決問題を解いた。研究チームは、2023年12月14日付でネイチャー誌に掲載された論文の中で、「長年の科学的パズルの解を発見するために大規模言語モデルが使用されたのは初めてのことであり、以前は存在しなかった検証可能な価値ある新情報を生み出すことができました」と述べている。「得られた解は訓練データには含まれておらず、これまで知られてもいませんでした」と、論文の共著者であるグーグル・ディープマインドの研究担当副社長、プッシュ
Docker社がTestcontainersの開発元AtomicJar社の買収を発表。Dockerでの統合テスト環境を強化
Docker社がTestcontainersの開発元AtomicJar社の買収を発表。Dockerでの統合テスト環境を強化 Docker社がTestcontainersの開発元であるAtomicJar社の買収を発表しました。 Big news! @AtomicJarInc is now part of @Docker! Together, we will continue to invest in and extend the open-source project that we all love @testcontainers. Read the blog by @bsideup: https://t.co/rh2rW8Q5PY pic.twitter.com/AEKHZWXKr6 — Testcontainers (@testcontainers) December 11, 2023
API Gateway の HTTP 統合で VPC 内のリソースにアクセスできないときの対処方法 | DevelopersIO
困っていた内容 Amazon API Gateway を使用して REST API を構築中です。 HTTP 統合タイプのエンドポイント URL として EC2 のプライベート IP アドレスを指定しました。 テストリクエストを行うと{"message": "Internal server error"}が発生します。 正常に VPC にリクエストを流すにはどうしたら良いでしょうか。 なお、実行ログには次のエラーが記録されていました。 Execution failed due to configuration error: Invalid endpoint address どう対応すればいいの? 統合タイプとして「プライベート統合」を検討してください。 API Gateway プライベート統合の設定 - Amazon API Gateway API Gateway のプライベートな統合によ
デスクトップが美しいLinux「rlxOS」--セキュリティの高さゆえの欠点も
「rlxOS」は改変不可能（immutable）なOSだ。ご存じない方のために説明すると、改変不可能なOSとは、そのOSのコアが読み取り専用であることを意味している。そのようなOSでは、ユーザーは、ログ、ユーザー設定、ユーザーファイル以外は変更できない。そのような仕組みを用いる理由は、セキュリティを高めたいからだ。改変不可能なOSは、市場に出回っている中でも極めて安全性が高い部類のOSに入る。 rlxOSは、改変不可能性をかなりしっかりと実現している。やり過ぎだと言っていいかもしれない。 rlxOSをインストールしたときに最初に気づくのは、「Xfce」の外見が非常に美しいことだろう。筆者が初めてrlxOSを起動したときには、デスクトップに「Ubuntu Budgie」か「KDE Plasma」が使われているのではと思ってしまいそうになったほどだ。筆者は、Xfceは多少古くさく見えるものだと
「DDDもスクラムも当たり前」な開発者組織に入って気付かされたDDDの価値を出すための条件｜南部豪
この記事は 株式会社ログラス Productチーム Advent Calendar 2023 の17日目の記事です https://qiita.com/advent-calendar/2023/loglassこんにちは。ログラスでエンジニアをしております、南部です。 ログラスでは、当アドベントカレンダーの5日目の記事で紹介されていますように、「DDDもスクラムも当たり前」な開発組織が形成されています。 私は、今年の9月からログラスに入社していますので、上記の記事で紹介されているログラスのDNAを受け継ぐ側に当たるかと思います。 そしてちょうど直近で、DDDの文脈においてこのDNAの価値を感じる機会がありました。 実は、前職でもDDDっぽいコードを取り入れたりはしていたのですが、それによって特にメリットは得られておらず悩んでいました。 結論、原因は私の不勉強でDDDの価値を出せる条件となって
AWS のコスト統制の道 - freee Developers Hub
SRE 統制チームの oracle です。 この記事は freee 基盤チームアドベントカレンダー の16日目になります。 今回は AWS の コスト統制についてお話させて頂きたいと思います。 先日「 AWS の組織移行をしました 」という記事の中で AWS の組織移行のために SRE 統制チームが発足されたと紹介しました。実はこのチームは AWS のコストについても責務を負っています。つまりコストの統制も含まれているということになります。 課題 AWS のコストがずっと上がり続けています。 freee は組織として、また提供しているサービスはまだまだ成長している段階です。その分利用が増えて、AWS のコストが上がること自体は特段問題ではないと思います。 ただ、確度の高い状態で「今のコストは必要なコストです」と言えるかというとそうではありません。 実は SRE はこれまで明確にコストコント
EdgeやChromeで「ChatGPT」を使うときに入れるべき拡張機能4選
皆さん「ChatGPT」を使いこなしているだろうか。筆者は毎日長時間仕事にプライベートに使い倒している。本連載では「第23回 ChatGPTユーザーはEdgeに拡張機能「Superpower ChatGPT」インストールすべし」でイチオシを紹介したが、今回はChatGPTを使う際に便利な拡張機能をもう4つ紹介しよう。 1つのプロンプトで複数の生成AIを同時に利用できる「ChatHub」 ●ChatHub 「ChatGPT」だけでなく、「Bing」や「Bard」など他の生成AIを利用することもあるだろう。通常は別タブでウェブサイトを開き、プロンプトをコピーペーストする必要があるが、そんな時は「ChatHub」が便利。ブラウザー画面を2～6分割して同時に複数の生成AIを利用できるのだ。プロンプトを入力すると同時にすべてのAIに送信され、出力が得られるので手間が省ける。生成AIごとの傾向もわかる
AWS Lambda で、Lambda コンソール経由での Amazon RDS および RDS プロキシへの接続が簡単に
AWS Lambda で、お客様が Lambda コンソールから直接 Lambda 関数を Amazon Relational Database Service (Amazon RDS) と Amazon RDS Proxy の両方に接続できるようになりました。お客様はガイド付きワークフローを使用して、Lambda 関数を新規または既存の RDS データベースインスタンスまたは RDS プロキシに接続できるようになりました。セットアップの際、AWS Lambda は関連するネットワーク設定も自動的にセットアップし、セキュアでスケーラブルな接続を有効にします。 自動化機能が組み込まれたこのガイド付きワークフローにより、お客様のデベロッパーやオペレーターが直面する複雑さの問題および費やす時間の両方を最小限に抑えることができます。例えば、接続に必要な AWS の仮想プライベートクラウド (VPC
急増する不正アクセス、「能動的サイバー防衛」への期待も山積する課題
LINEヤフーが、外部からの不正アクセスによる情報漏えいを発表し、「通信の秘密」に該当するメッセージなど特定者間のやりとりに関連する情報も含まれるなど、人々を驚かせた。 不正アクセスの増加傾向は、目を見張るものがある。総務省、警察庁、経済産業省が2023年3月16日に発表した報道資料によると、2022年における不正アクセス行為の件数は2200件で、前年比で684件、45.1％も増加している。警察庁が発表した2023年上半期のランサムウェア被害件数が前年同期比で9.6％減少していることなどを考えても、不正アクセスは増加に傾向ある。 関連する法律の1つが「不正アクセス禁止法」だ。政府は、2022年12月に国家安全保障戦略を新たに発表し、そこで「能動的サイバー防衛」という言葉を使った。攻撃者のサーバー侵入に対応するためだが、不正アクセス禁止法は、通信の秘密保護の観点から、本人の承諾なしにシステム
あなたの話をAIが盗聴して広告に！Appleは「明確な違反」と猛批判 - iPhone Mania
スマートフォンのマイクを通じて日常会話を自動収集・解析し、内容に合致したWeb広告を表示する技術が問題となっています。プライバシー侵害で違法ではないかと思われますが、技術を提供するマーケティング企業は、利用規約に含まれているので合法だと主張しています。Appleは、ユーザーが音声の提供を明確に同意していない場合はApp Storeガイドラインに違反する、と批判しています。 ■3行で分かる、この記事のポイント 1. 日常会話を解析して広告表示に使用する技術が問題に。 2. 提供企業は、アプリの利用規約に含まれており合法と主張。 3. Appleは、App Storeガイドラインでユーザーの明確な同意を義務付け。 日常会話をAI解析、広告を表示 アメリカのマーケティング企業、Cox Media Group Local Solutionsが、スマートフォン、タブレット、スマートスピーカーやスマー
Apache StrutsにCVSS 9.8の脆弱性 PoC公開後にサイバー攻撃への悪用が始まる
Apache StrutsにCVSS 9.8の脆弱性 PoC公開後にサイバー攻撃への悪用が始まる：セキュリティニュースアラート
Authlete を活用して OAuth 認可サーバの構築期間を短縮した - Gaudiy Tech Blog
こんにちは、Gaudiyでソフトウェアエンジニアを担当しているsato（@yusukesatoo06）です。 弊社が提供するファンコミュニティプラットフォーム「Gaudiy Fanlink」において、外部サービスにAPI提供をする必要があったことから、外部連携について色々と調べて実装しました。 そこで今回は、調査からサーバ構築までのプロセスと、そこで得た学びや気づきを共有できればと思います。 1. OAuthとは 1-1. OAuthの概要 1-2. OAuthのフロー 2. OAuthが必要な背景 2-1. 外部サービス連携 2-2. 他の連携方式との比較 3. OAuthの提供 3-1. 提供方式 3-2. 今回の選定方式 4. OAuthサーバの構築 4-1. Authleteについて 4-2. 必要なエンドポイント 4-3. システム構成 5. 開発を通じて 5-1. 開発を通じた
M3搭載24インチiMac分解〜M.2 SSD搭載可能な空間あるが実現する可能性なし - iPhone Mania
M3搭載24インチiMacの分解動画が公開されたことで、ロジックボードの構成、背面スタンドの固定方法が明らかになりました。 M3搭載24インチiMacの内部はM1搭載24インチiMacと同様、空間が多く、ストレージをM.2 SSDにしてユーザーが交換や換装できるようにしても良いのではと感じますが、Appleはカスタマイズさせたくないのでしょう。 ■3行で分かる、この記事のポイント 1. M3搭載24インチiMacの分解動画が公開された。 2. 搭載されるチップがM3になった以外、M1搭載24インチiMacと変わらないように見える。 3. M.2 SSDを搭載するスペースを設けることも可能な内部空間があるが、Appleはユーザーに交換や換装をさせたくないのだろう。 M3搭載24インチiMacの内部 M3搭載24インチiMacの分解動画を公開したのは、おなじみのiFixitです。 ディスプレイ
Wave Terminal - 内蔵エディタやビューアーを搭載したモダンすぎるターミナルソフト | ソフトアンテナ
Linux、macOS、WindowsなどさまざまなOSで利用できる「ターミナル」。 あまり進化がないソフトウェアのようにも思えますが、MicrosoftがWindows 11/10用に「Windowsターミナル」を開発して注目を集めるなど、開発者やヘビーユーザーとってなくてはならい存在です。 本日紹介する「Wave Terminal」もそのようなターミナルソフトの一つです。オープンソースかつマルチプラットフォーム(現在macOSとLinuxで利用可能)対応のターミナルソフトで、モダンな外観や機能を特徴としています。 VSCodeと同じ機能を持つ内蔵エディタを使ってファイルを編集でき、Markdown、CSV、JSONファイルをプレビュー可能。.jpeg、.png、.gifなどの画像ファイルを表示する画像プレビュー機能も搭載しています。 タブを管理できるワークスペースや、セッションの保存・
GPT-4Vのモデルを利用してOCRできるか試してみた - Taste of Tech Topics
こんにちは、安部です。 気温の上下に翻弄されて最近風邪をひいてしまいましたが、皆さま元気にお過ごしでしょうか。 今回は、GPT-4Vのモデルを利用して、OCRができるか試していきます。 GPT-4Vによって、「ChatGPTに目ができた」などと騒がれましたが、文字認識はどれくらいできるのでしょうか？ 得意分野ではなさそうですが、GPTも進化が目覚ましいので分かりませんね。 検証では、日本語(漢字/ひらがな/カタカナ)・英語の2言語で精度など比較していきます。 また、手書き・活字での違いも見ていきましょう。 一番簡単に試せるChatGPT（Web版）でOCRをさせようとするとエラーになることが多かったので、 ここではAPIを使っていくこととします。 APIを呼び出すプログラム 以下のコードを使い、gpt-4-vision-previewというモデルを呼び出しています。 画像は個人のgithu
HashiCorp Vaultもフォークへ、「OpenBao」がLinux Foundation傘下で進行中
HashiCorp TerraformのフォークであるOpenTofuに続いて、HashiCorp Vaultのフォークとして新プロジェクト「OpenBao」がLinux Foundation Edge傘下で進んでいることが明らかになりました。 OpenTofuに続いてOpenBaoがフォーク HashiCoprは今年（2023年）8月、それまでMozilla Public License v2.0（MPL2.0）のオープンソースライセンスで提供していたTerraformやVaultなど同社製品のライセンスを、商用利用に制限があるBusiness Source License v1.1（BSL1.1）に変更すると発表しました。 このライセンス変更に反発した開発者達が中心となり、2023年9月にLinux Foundation傘下でTerraformのフォークである「OpenTofu」が立ち
Mac で Bluetooth ヘッドフォンの使用時に音質が低下するのを解決する方法 | サポート | Mac OTAKARA
※本サイトは、アフィリエイト広告および広告による収益を得て運営しています。購入により売上の一部が本サイトに還元されることがあります。 Apleが、サポート情報「Mac で Bluetooth ヘッドフォンの使用時に音質が低下する場合」を公開しています。 MacでBluetooth ヘッドフォンの使用時に音質が低下する場合があります。 その理由として、Bluetooth ヘッドフォンのマイクがMacの入力デバイスとして認識されると発生します。 これは、高音質オーディオ配信用のBluetoothプロファイル「A2DP」が、ハンズフリー用のBluetoothプロファイル「HFP」に切り替わってしまうことで発生します。 Bluetooth ヘッドフォンのマイクを使っている App (ビデオカンファレンスやチャットの App) を終了してください。 「システム設定」(または「システム環境設定」) の
プログラミング支援AIサービスが主要各社から出そろう 各サービスのまとめ GitHub／AWS／Google／GitLab／JetBrains
この記事は新野淳一氏のブログ「Publickey」に掲載された「プログラミング支援AIサービスが主要各社から出揃う、各サービスのまとめ。GitHub／AWS／Google／GitLab／JetBrains」（2023年12月18日掲載）を、ITmedia NEWS編集部で一部編集し、転載したものです。 AIがプログラミングを支援してくれるサービスが主要各社から出そろいました。 Publickeyではこれまで各社の発表時点でそれぞれのサービスを紹介してきましたが、ここであらためて主要各社のプログラミング支援AIサービスをまとめます。 本記事では、各AIサービスごとの主な機能などをリストアップしています。ただし、実際にはAIに指示などをすれば品質の差異はあれどおそらく何らかの結果は返ってくるであろうこと、この分野は急速に進化していて各社とも積極的な能力向上と機能追加を行っていくであろうことから
[Typescript] LangchainでGeminiを使ってみる | DevelopersIO
Introduction 先日NodeでGeminiを動かしてみましたが、 Langchainも速攻で対応してました。 Typescript版のLangchainで試してみましょう。 Environment MacBook Pro (13-inch, M1, 2020) OS : MacOS 13.5.2 node : v20.8.1 Setup ここでやっているのと同じく、 API Keyを取得しておきます。 GOOGLE_API_KEYという環境変数に設定するか、 あとで.envファイルに設定します。 % export GOOGLE_API_KEY=XXXXXXXXXXXXXXX 必要なライブラリをインストールしましょう。 % npm install @types/node ts-node typescript --save-dev % npm install langchain op
![[Typescript] LangchainでGeminiを使ってみる | DevelopersIO](https://cdn-ak-scissors.b.st-hatena.com/image/square/b8fa1c2cccf640d9335b07f39f45932b1cdf0f3a/height=288;version=1;width=512/https%3A%2F%2Fdevio2023-media.developers.io%2Fwp-content%2Fuploads%2F2023%2F03%2Feyecatch-langchain.png)
Appleが「市販の無線デバイスでiPhoneにBluetooth接続を要求しまくってクラッシュさせる攻撃」への対策をiOS 17.2で実施
無線デバイス「Flipper Zero」は多様な無線規格に対応した便利デバイスですが、「iPhoneにBluetooth接続を要求し続けてクラッシュさせる」といった攻撃が可能なことも知られています。新たに、Appleが2023年12月2日にリリースしたiOS 17.2でクラッシュ対策を施したことが明らかになりました。 iOS 17.2 update puts an end to Flipper Zero's iPhone shenanigans | ZDNET https://www.zdnet.com/article/ios-17-2-update-puts-an-end-to-flipper-zero-iphone-shenanigans/ The jig is up: Flipper Zero can no longer crash iPhones running iOS 17.2
拡散モデルとは？Stable Diffusionなど「画像生成AIの学習モデル」をわかりやすく解説
画像生成AIの存在はすでに当たり前のものになりつつあります。広告やメディアに掲載されているイラストや写真のほか、私たちが普段使っている検索エンジンやブラウザにも搭載されるようになり、気軽に新しい画像を作れるようになりました。このような画像生成AIの急速な普及の背景にあるのが、画像生成AIの学習モデルに採用された「拡散モデル」の存在です。現在、ほとんどの画像生成AIサービスに採用されている「Stable Diffusion」もこの拡散モデルの1つです。本記事では、拡散モデルとは何か、仕組みや事例についてやさしく解説していきます。 合同会社Noteip代表。ライター。米国の大学でコンピューターサイエンスを専攻し、卒業後は国内の一部上場企業でIT関連製品の企画・マーケティングなどに従事。退職後はライターとして書籍や記事の執筆、WEBコンテンツの制作に関わっている。人工知能の他に科学・IT・軍事・
プログラミング支援AIサービスが主要各社から出揃う、各サービスのまとめ。GitHub／AWS／Google／GitLab／JetBrains
プログラミング支援AIサービスが主要各社から出揃う、各サービスのまとめ。GitHub／AWS／Google／GitLab／JetBrains AIがプログラミングを支援してくれるサービスが主要各社から出揃いました。 Publickeyではこれまで各社の発表時点でそれぞれのサービスを紹介してきましたが、ここであらためて主要各社のプログラミング支援AIサービスをまとめます。 本記事では、各AIサービスごとの主な機能などをリストアップしています。ただし、実際にはAIに指示などをすれば品質の差異はあれどおそらく何らかの結果は返ってくるであろうこと、この分野は急速に進化していて各社とも積極的な能力向上と機能追加を行っていくであろうことから、現時点で機能差はあったとしてもそれほど顕著な違いとは言えないでしょう。 そして、おそらくは今後各社のコード生成関連のAIの能力はある程度十分な高さまで急速に到達し
WSL2上にTypeScript、React、Next.jsを使うための環境を構築してみた | DevelopersIO
こんにちは、ゲームソリューション部のsoraです。 今回は、WSL2上にTypeScript、React、Next.jsを使うための環境を構築してみたことについて書いていきます。 環境 Windows 11 Pro Ubuntu 22.04.3 LTS WSL2有効化やUbuntuのインストールは説明しません。 Node.jsのインストール まずは実行環境であるNode.jsをインストールします。 普通にインストールしようとすると、最新バージョンや最新のLTSバージョンがインストールされなかったため、Node.jsのバージョン管理ツールの n をインストールしました。 # nodeのインストール $ sudo apt install nodejs # 最新バージョンはv21.x、最新のLTSバージョンは20.10.0なのに、古いバージョンがインストールされている $ node -v v10
Mintで管理しているSwiftライブラリを定期的に更新する - BASEプロダクトチームブログ
この記事は BASE Advent Calendar 2023 の18日目の記事です。 Pay ID Appグループの北川です。ショッピングアプリ「Pay ID」の開発チームでエンジニアリングマネージャーを担当しています。 iOSアプリ開発で依存管理に使っている Mint のバージョンアップデートを GitHub Actions を使って自動化した話をします。 Mint とは Mint は Swift 製のライブラリのパッケージマネージャです。 https://github.com/yonaskolb/Mint 私たちのiOSアプリのプロジェクトでは、以下のようなビルドツール系のライブラリの依存管理に1年ほど利用しています（アプリ本体の依存管理には Swift Package Manager を使っています）。 SwiftLint Mockolo IBLinter SwiftFormat
MacやiPhone、iPadのホーム画面やロック画面、StandByにメモを設置できるウィジェットアプリ「Memo Widget」がリリース。
MacやiPhone、iPadのホーム画面やロック画面、StandByにメモウィジェットを設置できるiOSアプリ「Memo Widget」がリリースされています。詳細は以下から。 macOSにはデフォルトで「スティッキーズ (Stickies)」というデスクトップ上に貼り付けておくことができる付箋アプリがインストールされていますが、この付箋をiOS/iPadOSのウィジェットで再現した「Memo Widget」が新たにリリースされています。 Show sticky notes on your Home Screen, Lock Screen or StandBy.Just tap the note to edit it.The app is simple by design. Memo Widget – App Store Memo Widgetは元Googleのエンジニアで「Comman
iOS17.2のApple Musicで「お気に入り」のライブラリ自動追加を防ぐ方法 - iPhone Mania
iOS17.2では、Apple Musicで「お気に入り」に追加した楽曲が自動でライブラリに追加されるようになりました。「お気に入り」楽曲がライブラリに混入しないよう、ライブラリへの自動追加を止める方法を米メディア9to5Macがまとめているのでご紹介します。 ■3行で分かる、この記事のポイント 1. iOS17.2ではApple Musicの「お気に入り」がライブラリに自動追加される。 2. ライブラリへの自動追加を止めるための設定方法を紹介。 3. 「設定」アプリの「ミュージック」で変更できる。 iOS17.2では「お気に入り」がライブラリに自動追加される iOS17.1でApple Musicに「お気に入り」機能が追加されました。先日公開されたiOS17.2では、さらに「お気に入り」に登録した楽曲が自動で「お気に入りの曲」プレイリストに追加されるとともに、自動でライブラリに追加される
GitHub Copilotが便利になったのでターミナルもVSCodeで良いのでは？という話 - Qiita
この記事はラクスアドベントカレンダー2の17日目です。 先日のVSCodeのアップデートで、GitHub Copilotを使うとターミナル操作が便利になりました。 これにより、別途ターミナルのアプリを使わずにすべてVSCode上で操作した方が便利なのでは？となりました。 アップデート前までどうしてたか MacのiTerm2上で、GitHub CopilotのCLI版（パブリックベータ）で入力補完やコマンドの意味を調べたりしていました。 それ自体は便利でしたが、いくつかの不便な点もありました。 使い方がちょっと煩雑だった 例えばコマンドをサジェストして欲しい場合、gh copilot suggest 'gitで1つ前のコミットを取り消したい'のようにタイプする文字数も多くなり、またそれが一般的なコマンド or ghコマンド or gitコマンドかの３択に答えないといけなくて面倒でした。 ss
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Kindle本🎄クリスマスセールが開催！ UIデザイン、CSS、プロジェクトマネジメントなどの解説書が半額以下でお買い得です
三井住友海上、社員向け生成AIツール「MS-Assistant」にNECの技術を活用し、損害保険業務の専門的な照会応答機能を追加
マイクロソフトの生成AIに関する話題を“てんこ盛り”で提供――Microsoft Ignite Japan