並び順

ブックマーク数

期間指定

  • から
  • まで

8001 - 8040 件 / 16783件

新着順 人気順

*programmingの検索結果8001 - 8040 件 / 16783件

  • Microsoftが1.58ビットの大規模言語モデルをリリース、行列計算を足し算にできて計算コスト激減へ

    Microsoftの研究チームがモデルのウェイトを「-1」「0」「1」の3つの値のみにすることで大規模言語モデルの計算コストを激減させることに成功したと発表しました。 [2402.17764] The Era of 1-bit LLMs: All Large Language Models are in 1.58 Bits https://arxiv.org/abs/2402.17764 従来のモデルであれば入力に対して「0.2961」などのウェイトをかけ算してから足し引きする必要がありましたが、「-1」「0」「1」の3値のみであればかけ算が不要になり、全ての計算を足し算で行えるようになります。 そのため、同じ性能を出すのに必要なコストが通常の大規模言語モデルに対して激減するとのこと。なお、それぞれのパラメーターが「-1」「0」「1」という3つの値を取るためlog[2](3)の値より「1.

      Microsoftが1.58ビットの大規模言語モデルをリリース、行列計算を足し算にできて計算コスト激減へ
    • Laravel 製アプリケーションに対する自動テストでなにをどうテストすればいいか - Qiita

      この記事について 自分の所属するチームに、自動テストを書いたことがないメンバーが加わったとき、ガイドラインとなるようなドキュメントがほしいなと思っていたので、書きました。どうせなら他のチームでも使いたいので、ドメインはぼかして汎用的になるようにして公開します。独自のベストプラクティス的なものですが、これまでのチームではわりとどこもこれに近くうまくいっていたので、汎用的に使えるんじゃないかと想像します。 はじめに 環境 Laravel: 5.8 以上 PHP: 7.0 以上 PHPUnit: 7.0 以上 いちおうバージョンは書きましたが、あまり関係はないです。 基本方針 基本方針は、自分の経験上これがいちばんコストパフォーマンスがいいと思っているガイドラインですが、自分はベンチャーやスタートアップ企業で、スピード重視の文化に身を置くことが多いため、テストは最低限にして、素早くリリースするの

        Laravel 製アプリケーションに対する自動テストでなにをどうテストすればいいか - Qiita
      • TIがPythonを搭載した関数電卓「TI-84 Plus CE Python」を発売|fabcross

        Texas Instruments(TI)は2021年7月27日、プログラミング言語Pythonが使えるグラフ電卓「TI-84 Plus CE Python」を発表した。 TI-84 Plus CE Pythonは、アメリカで高いシェアを誇るグラフ電卓「TI-84 Plus」ファミリーの次世代モデル。TI-84 Plusは教育用のグラフ電卓で、SAT(大学進学適正試験)、PSAT(予備SAT)、ACT(大学進学標準試験)などの試験でも使用が認められている。 TI-84 Plus CE Pythonは、従来からの「TI-Basic」に加えてPythonによるコーディングを可能にすることにより、学生は、数学や科学の授業で使う関数電卓でプログラミングについて学習できる。TIのEducation Technologyのウェブページには、Pythonの基礎を知るための学習リソース「10 Minute

          TIがPythonを搭載した関数電卓「TI-84 Plus CE Python」を発売|fabcross
        • オセロAIの教科書|にゃにゃん(山名琢翔)|note

          オセロAI世界1位の私がオセロAIの作り方を初歩から高度なところまで解説します。全編無料です!投げ銭してくれたら喜びます!

            オセロAIの教科書|にゃにゃん(山名琢翔)|note
          • Rubyは死んだ、Railsはオワコンと言われていたが、復活してきた件 -

            これまで「Rubyは死んだ」、「Railsがオワコン」と定期的に言われて、そういった記事やSNSの書き込みにさまざまな意見が寄せられてきました。が、今年はRuby on Rails復活の兆しが見えてきました。我々paizaもRailsで開発をしているので嬉しい限りです。 【目次】 Ruby on Railsはオワコンと言われている背景 (1)他言語比較での言及数の少なさ (2)言語特性における短所を語られやすい (3)AIやデータサイエンスの普及 いい加減「Ruby on Railsはオワコン」とは言えなくなってきた背景 (1)面接リクエスト数の増加 (2)成熟した言語であり安定性がある (3)エンジニアスキルとして今でも求められている 「オワコン」は抽象的過ぎる表現 Ruby on Railsはオワコンと言われている背景 「Ruby on Railsはオワコン」という言説に関して、あえて

              Rubyは死んだ、Railsはオワコンと言われていたが、復活してきた件 -
            • 「もはやコーディングの80%がAI」 元OpenAIカルパシー氏が警告する2026年の悪夢“スロポカリプス”

              カルパシー氏は、ClaudeやCodexといったAIコーディングの能力が2025年末ごろにある転換点(threshold)を超えたことで、「長年続いてきた自身のコーディングワークフローが、わずか数週間で大きく変わった」と報告している。こうした変化を踏まえ、同氏は2026年がそれ以前とは異なる局面に入ると見ている。 最も注目すべき警告は、2026年が「スロポカリプス(Slopacolypse)」の年になるという予測だ。「スロポカリプス」とは、「Slop(スロップ:低品質な生成物)」と「Apocalypse(アポカリプス:黙示録、破局)」を掛け合わせた造語である。この言葉は、GitHub上のコードからSNSの投稿、さらには論文に至るまで、インターネット上のあらゆる場所が、一見もっともらしいが中身の乏しいAI生成コンテンツで埋め尽くされる未来を示唆している。 カルパシー氏は、AIによる生産性の向

                「もはやコーディングの80%がAI」 元OpenAIカルパシー氏が警告する2026年の悪夢“スロポカリプス”
              • 「広告表示と比較して、PCに与える影響は許容範囲内」──Coinhive事件、最高裁の判決全文

                仮想通貨のマイニングツール「Coinhive」を閲覧者に無断で自身のWebサイトに設置したとして、Webデザイナーの男性が不正指令電磁的記録保管罪に問われた「Coinhive事件」を無罪と判断した理由について、最高裁判所が1月20日に全文を公開した。 不正指令電磁的記録に関する罪は、利用者の意図する動作をさせないなどの「反意図性」と、社会的に許容できない影響を与えるなど「不正性」の2つを持つプログラムの作成や提供、保管を処罰するものであると最高裁は説明。 被告側が閲覧者の同意なくマイニングのプログラムコードを設置したことに関して最高裁は「より適切な利用方法などが採り得た」とし、閲覧者の知らないところで行われていたマイニングには反意図性があったことを認めた。 一方で、そのコードがPCの機能や情報処理に与える影響は「CPUを一定程度使用することにとどまり、使用程度も閲覧者がその変化に気付くほど

                  「広告表示と比較して、PCに与える影響は許容範囲内」──Coinhive事件、最高裁の判決全文
                • ChatGPTを使用したExcel自動化のチュートリアル by Python - Qiita

                  Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

                    ChatGPTを使用したExcel自動化のチュートリアル by Python - Qiita
                  • OpenAI Codex CLIの仕組み

                    OpenAI Codex CLIの仕組み OpenAIからCodex CLIというOSSがリリースされました。Codex CLIは、Claude Codeのようなコマンドラインで利用するコーディングエージェントのTUIツールです。Node.jsで実装されており、使用しているnpmパッケージからして構造はClaude Codeと類似していますが、設計に違いがあります。 OpenAI Codex CLIの概要あなたは、OpenAIによって構築されたターミナルベースのエージェント型コーディングアシスタントであるCodex CLIとして、その内部で動作しています。これはOpenAIモデルをラップし、ローカルのコードベースとの自然言語による対話を可能にします。あなたは、正確で、安全で、役立つ存在であることが期待されています。 あなたができること: * ユーザーのプロンプト、プロジェクトのコンテキスト

                      OpenAI Codex CLIの仕組み
                    • この夏押さえておきたいJavaScriptの配列操作コレクション

                      こんにちは!サイボウズ株式会社フロントエンドエンジニアの おぐえもん(@oguemon_com) です。 サイボウズの技術ブログの夏フェス・CYBOZU SUMMER BLOG FES '24が始まりました!企画の一環として、フロントエンドの記事が今日から20日連続投稿されますので、みなさんお楽しみに! 今回は、コーディングに手放せない存在の1つ「配列」をテーマに、JavaScriptの配列操作の中でも普段使いしやすいものをピックアップして、細かいテクニックや比較的新しい話を交えながらお届けします。 身近ながらも今まで見落としていたポイントを拾ってもらえたらと思います! // 凡例 const arr = ["a", "b", "c"] arr // console.logした出力結果 ← 出力結果に対するコメント

                        この夏押さえておきたいJavaScriptの配列操作コレクション
                      • セガが社内勉強会の資料を無償公開 ~数学は不要? 断じて否、ゲーム開発ではバリバリ使うぜ!/PDFドキュメントで150ページ超の大分量。ラスボス概念「クォータニオン」に挑め!【やじうまの杜】

                          セガが社内勉強会の資料を無償公開 ~数学は不要? 断じて否、ゲーム開発ではバリバリ使うぜ!/PDFドキュメントで150ページ超の大分量。ラスボス概念「クォータニオン」に挑め!【やじうまの杜】
                        • WordPressとGatsbyを連携して高速なサイトを作る - 環境構築から基本的なページ作成まで

                          今回はWordPressとGatsbyを連携して高速なサイトの作る手順について説明します。 説明する環境は以下です。 macOS Catalina v10.15.5Visual Studio Code v1.57.0node.js v16.13.1react v17.0.1gatsby v4.11.2 WordPressとGatsby用の環境を作る WordPressで記事の更新を行い、Gatsby側でそのデータを受け取って実際のサイトに表示させるようにします。それはWordPress用のドメインと、実際のサイトを表示させるためのドメインの2つが必要になるということを覚えておきましょう。 今回は本番環境でサイトを表示させる方法については説明していません。環境構築の手順とGatsbyを使ってWordPressからデータを取得して基本的なページを表示させる方法について説明しています。 まずは環

                            WordPressとGatsbyを連携して高速なサイトを作る - 環境構築から基本的なページ作成まで
                          • 【2023年2月】プログラミング言語別単価ランキング!フリーランスエンジニアにおすすめの言語は?

                            IT業界は変化が激しく、人気の言語も時代とともに移り変わっていきます。最新の情報を追い続けるのは簡単ではないので、「将来性のある言語はどれ?」「単価が高くて稼げる言語は?」と気になっている人も多いのではないのでしょうか。 本記事では、「レバテックフリーランス」に蓄積されたデータを元に、プログラミング言語別の月単価・案件数を集計しランキングを作成しました。ランキング上位の言語については、将来性や市場価値を上げるためのポイントなども紹介しています。今回のランキングデータを元に、今後の案件選びやスキルアップの参考にしてみてください。 最新版のランキングはこちら▼ 【1位はGoの87万円】プログラミング言語別単価ランキング|2023年7月最新版 ※本記事の調査結果や画像を引用する際は【レバテックフリーランス調べ】とご記載ください。 レバテックフリーランスはITエンジニア専門の フリーランスエージェ

                              【2023年2月】プログラミング言語別単価ランキング!フリーランスエンジニアにおすすめの言語は?
                            • Why We're All-In on MCP - Mastra Blog

                              Tool integration for AI agents is a mess. Even for developers building agents every day, it's frustrating to navigate the fragmented ecosystem. Finding high-quality tools is difficult - search for "MCP Calendar integration" and you'll find ten different implementations with no way to know which one is best. If you've ever tried to integrate tools with an LLM, you know this pain. Tool discovery, in

                                Why We're All-In on MCP - Mastra Blog
                              • M1マックでmysqlを環境構築[docker] - Qiita

                                Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

                                  M1マックでmysqlを環境構築[docker] - Qiita
                                • 【SvelteKit入門】SvelteKit + Prismaによる掲示板アプリ作成 - RAKUS Developers Blog | ラクス エンジニアブログ

                                  こんにちは!ラクス1年目のkoki_matsuraです。 今回は掲示板アプリ作成を通して、SvelteKitの基礎的な部分をご紹介させていただきます。 目次は下記のようになっています。 はじめに Svelteとは SvelteKitとは 掲示板アプリ作成 アプリの概要 環境構築 SvelteKit データベース Prisma テーブル作成 ルーティング作成 新規登録画面 ログイン画面 スレッド投稿画面 スレッド一覧画面 スレッド詳細画面 ログアウト機能 エラー画面 終わりに はじめに Svelteとは WebアプリケーションやUIを構築するためのJavaScriptフレームワークです。有名なものでは「React」や「Vue」が挙げられます。 Svelteにはこれらのフレームワークと比べて下記のような特徴があります。 仮想DOMを用いない こちらが最も大きな特徴となります。 まず、仮想DOM

                                    【SvelteKit入門】SvelteKit + Prismaによる掲示板アプリ作成 - RAKUS Developers Blog | ラクス エンジニアブログ
                                  • カカクコム、AIエディタ「Cursor」を全エンジニア500人に導入

                                    「食べログ」などを運営するカカクコムは4月2日、AIコードエディタ「Cursor」を同社の全ITエンジニア約500人に導入したと発表した。CursorはAIによってコーディングを支援するツール。業務に取り入れ、開発効率の向上を狙う。 Cursorの導入で目指すのは、コーディングやテスト、デバッグなどの効率化だ。開発以外に、日々のタスク管理や仕様書の作成・整理などにも活用。ITエンジニアに加え、プロダクトマネジャーやデザイナーへの導入も検討中という。 カカクコムの京和崇行CTOは、エンジニアにとって生成AIの登場は「『そろばんが電卓に変わる』ほどの技術革新」と表現する。今後、Cursor以外のAIツールの活用も進める方針を示した。 Cursorは、AIスタートアップの米Anysphereが開発。米OpenAIのAIモデルなどを搭載しており、自然言語の指示によりコードの生成や修正などを実行でき

                                      カカクコム、AIエディタ「Cursor」を全エンジニア500人に導入
                                    • 機械学習とは?種類やできること、プログラムとの違いを解説

                                      機械学習とは 本稿では、まず機械学習とは何かについて説明します。機械学習とは何が何を学習しているのか、従来のプログラムとの違いは何か、についても触れます。類語としてよくでてくるディープラーニング(Deep Learning、深層学習とも)、教師あり学習、教師なし学習についても用語を整理します。 その前に人工知能とは? 機械学習の説明の前に、本来なら人工知能(AI:Artificial Intelligence)の説明が必要なのですが、じつは人工知能(以降AIと表記)に対する明確な定義は存在しません。そもそも知能の定義ができているかどうかも定かではないので、AIもまた定義できないという専門家の意見もあります。 AI研究には2つのアプローチがあります。ひとつは、人間の意識や感情、思考そのものを機械によって再現または構築する試みです。SF映画などで、人間の人格をそっくりそのままチップやロボットに

                                        機械学習とは?種類やできること、プログラムとの違いを解説
                                      • 自然言語プログラミングZoltraak(ゾルトラーク)が超絶すごい

                                        先日、X(Twitter)で、2万人以上のフォロワーを持ち、起業家でありプログラマでもある元木大介さん(@ai_syacho)が、「Zoltraak(ゾルトラーク)」という自然言語プログラムを発表されました。 このZoltraakは、生成AIに対し自然言語(何らかの既存プログラミング言語ではなく日本語)で命令できる、新しいタイプのものです。 ChatGPTとどこが違うの?「え、ChatGPTでも日本語でお願いできるじゃん」と思いますよね? ChatGPTとZoltraakでは、出力の考え方が根本的に違っています。 現在の生成AIは対話式がメインChatGPTに代表される生成AIは対話式です。 GPT、Gemini、Copilotなどの生成AIは向上を続け、入力できるテキスト量こそ増えました。しかし、業務全体を俯瞰して依頼することはまだ難しいのが実情です。 分解したタスク毎に内容を依頼して調

                                          自然言語プログラミングZoltraak(ゾルトラーク)が超絶すごい
                                        • Devin&Cursor、それぞれの「本質」から導く最適ユースケース戦略

                                          こちらは2025年6月4日のWAKE Career主催の勉強会「Devin&Cursor、それぞれの「本質」から導く最適ユースケース戦略」で使用した資料です。 https://wake-career.connpass.com/event/356164/ #wakecareer_勉強会

                                            Devin&Cursor、それぞれの「本質」から導く最適ユースケース戦略
                                          • プログラミングの楽しさを思い出したいあなたへ - Qiita

                                            Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 東工大B4のりいたです。 この記事は、「もうプログラムを書くのが楽しくない。めんどくさい。昔は楽しかったのにな...」という方に向けて、エンジニアというのはすごい職業でプログラミングはとても楽しいということを伝えるために書きました。 少し長いですが、どうか最後まで読んでいただけると嬉しいです。 イノベーションは人類を豊かにする最強の武器 新型コロナウイルスCovid-19の被害で大変なことになっています。世界では日本以上に多くの死者や重篤患者が生じてしまっています。感染拡大を抑止するために、次々にワクチンを作り、接種しています。今回のワ

                                              プログラミングの楽しさを思い出したいあなたへ - Qiita
                                            • AI時代のソフトウェアプロダクト開発フロー再定義|daimatz

                                              B2B ECマーケットプレイス「グッズ」でCTO兼CAIOをしている松本(@daimatz)です。 この半年で Claude Code をはじめとするAIコーディングツールの性能向上により、開発の現場で大きな変化が起きています。特に2025年5月に Claude Code が一般公開されてからのエンジニアコミュニティの熱狂は周知の事実でしょう。私個人としても、コーディングエージェントの評価を進める中で Claude Code はキャズムを超えたと認識し、使い方によっては人間のエンジニアと遜色ない、もしくは上回る能力を持つようになったことを実感しました。 この記事では、社内で「AIが最大効率で働ける環境」を前提とした開発フローの根本的に見直している取り組みについて紹介したいと思います。以下のようなテーマに取り組む方々の参考やディスカッション材料になればと思っています。 エンジニアがコーディン

                                                AI時代のソフトウェアプロダクト開発フロー再定義|daimatz
                                              • Universe 2023: CopilotがGitHubをAIを駆使した開発者プラットフォームへと変貌させる

                                                GitHub Copilot Chatの一般提供(GA)の開始と、新たなGitHub Copilot Enterpriseのサービスプレビュー、AIを活用した新しいセキュリティ機能、GitHub Copilotパートナープログラムを発表しました。 2023年3月、私たちはGitHub Copilot Xについての発表で、AIが開発者のライフサイクルのあらゆるステップに浸透することと、ソフトウェア開発の新しい未来のビジョンを共有しました。それ以来、私たちは基盤技術の拡張と成熟に取り組んでおり、その過程でさらに大きなものを生み出しました。私たちのビジョンは、世界の開発者にとっての新しい現実として現れました。 GitHubがGitという仕組みの上に構築されたように、今日私たちはCopilotの上に「再構築」されました。オープンソースとGitは、ソフトウェアの開発方法を根本的に変えました。AIが同

                                                  Universe 2023: CopilotがGitHubをAIを駆使した開発者プラットフォームへと変貌させる
                                                • “必要のない仕事”に時間を割いて、残業沼に落ちていく 少ない時間で成果を出す人がやっている、仕事の「見極め」術 | ログミーBusiness

                                                  “残業沼”に陥る原因は、仕事中の「作業興奮」久保彩氏(以下、久保):仕事ってすごく良い興奮をもたらしますよね。作業興奮だったり、承認欲求が満たされたり。 越川慎司氏(以下、越川):そうです。残業沼の大きな原因になるのが、ずばり作業興奮です。実は、モチベーションが高まってから仕事をするんではなくて、仕事をしてたらモチベーションが上がってくる。これが作業興奮というものです。 久保:わかる。 越川:作業興奮で、アドレナリンという脳内ホルモンがどんどん出ると、何のために仕事をしてるかがわからなくなってきちゃうんです。例えば、派手なExcelを作ることで満足しちゃったり、きれいなPowerPoint作ったら充実感を得てしまうとか、それが一番危ないんですね。僕が完全に作業興奮に見舞われていたのが、この時ですね。 この時の失敗を元に、こう考えたんです。20代の頃は、成果を残すためにひたすら努力してがんば

                                                    “必要のない仕事”に時間を割いて、残業沼に落ちていく 少ない時間で成果を出す人がやっている、仕事の「見極め」術 | ログミーBusiness
                                                  • WSL環境の構築も簡単に ~Microsoftの開発ダッシュボードアプリ「Dev Home」v0.16/アプリ開発環境の構築、管理、ワークフローの監視、パフォーマンス追跡までを一元化

                                                      WSL環境の構築も簡単に ~Microsoftの開発ダッシュボードアプリ「Dev Home」v0.16/アプリ開発環境の構築、管理、ワークフローの監視、パフォーマンス追跡までを一元化
                                                    • AIコーディングアシスタントがコードを書くのを拒否しプログラミングを学ぶようユーザーにアドバイス

                                                      GitHub CopilotやCursorなど、コーディングを補助してくれるAIツールの登場で、プログラミングの敷居は劇的に低くなりつつあります。しかし、Cursorでレーシングゲームを開発していたエンジニアが、AIがコードを書くのを拒否し、「プログラミングを学ぶように」とアドバイスしてきたことを報告しました。 Cursor told me I should learn coding instead of asking it to generate it + limit of 800 locs - Bug Reports - Cursor - Community Forum https://forum.cursor.com/t/cursor-told-me-i-should-learn-coding-instead-of-asking-it-to-generate-it-limit-of-

                                                        AIコーディングアシスタントがコードを書くのを拒否しプログラミングを学ぶようユーザーにアドバイス
                                                      • ローカルで気軽にRAGを使って会話することが簡単すぎてビビった。 - Qiita

                                                        今日は、ローカルにてRAG(Retrieval-Augmented Generation)を使って、あるPFDについて質問するチャットを作ろうと思う。 OpenAIを使うので、無料ではないので注意されたい。 今回のソースは LangChain 完全入門 という本を参考にしていて、とても勉強になるので購入をお勧めする。 行いたいこと ローカルでPDFを読み込ませて、内容を質問したり、要約させること。 大きな流れ 環境準備 チャットアプリの土台の作成 プロンプトを定義 アップロードされたPDFファイルを分割 内容をベクトル化し保存 入力された質問とPDFから抽出した適した文をOpenAIに送信 回答を得る。 詳細 環境準備 環境構築 Python : 3.11.6 pip ライブラリ chainlit==1.0.101 チャット画面を簡単に作るライブラリ chromadb==0.4.22 ベク

                                                          ローカルで気軽にRAGを使って会話することが簡単すぎてビビった。 - Qiita
                                                        • Laws of Software Engineering

                                                          Laws of Software EngineeringA collection of principles and patterns that shape software systems, teams, and decisions.

                                                            Laws of Software Engineering
                                                          • GitHub - wader/jqjq: jq implementation of jq

                                                            123, .123, 1.23, 1.23e2, 1.23e+2, "abc", true, false, null Scalar literals Unicode codepoint escape "\ud83d\ude03" Handle surrogate pairs \ud800-\udfff, should translate to codepoint. Control code and quote escape "\"\n\r\t\f\b\\\/" "abc \(123)" String interpolation {key: "value"} Object literal {key} {"key"} {$key} {(f): f} {("a","b"): (1,2), c: 2} Multiple key/value outputs {"\("abc")": 123} Key

                                                              GitHub - wader/jqjq: jq implementation of jq
                                                            • C++23発表:新しいC++標準の登場

                                                              8月6日、C++23はC++20の次の標準として発表されました。 C++23はC++の進化の一環として重要な役割を果たし、C++の機能を改善することを目的としています。 C++23はC++98やC++03ほどの大きな変更はなく、C++17の伝統に則ったものです。 本日、C++コミュニティが待望の次期C++標準、「C++23」を発表した。C++は長い歴史を誇るプログラミング言語であり、C++23はその進化の中でも特に重要な節目となる。C++23はC++98やC++11、C++20ほどの大規模な変更は見られないが、C++17の伝統を継承している。 C++の歴史的進化 C++は1980年代末にBjarne Stroustrup氏とMargaret A. Ellis氏によって執筆された「Annotated C++ Reference Manual (ARM)」によって誕生した。この書籍は当時多数存

                                                                C++23発表:新しいC++標準の登場
                                                              • ボクセルアートプログラミングパズル『Replicube』好評どんどん集まる。解けさえすれば方法は自由、キューブ描画/色塗りパズル - AUTOMATON

                                                                  ボクセルアートプログラミングパズル『Replicube』好評どんどん集まる。解けさえすれば方法は自由、キューブ描画/色塗りパズル - AUTOMATON
                                                                • 数学者も恐れる「ハマると病む難問」 解けたら1億円、企業が懸賞金:朝日新聞

                                                                  一見単純そうなのに80年以上も数学者を悩ませている未解決問題「コラッツ予想」の証明に、日本のベンチャー企業が1億2千万円の懸賞金をかけた。数学の問題にかけられた懸賞金としては世界最高レベル。問題は小…

                                                                    数学者も恐れる「ハマると病む難問」 解けたら1億円、企業が懸賞金:朝日新聞
                                                                  • TypeScript 型レベルプログラミング フリースタイルガイド - Object.create(null)

                                                                    TypeScript の型レベルプログラミングのための真面目なスタイルガイドではありません. 型なしラムダ計算で喜ぶような人間が使うための諸刃の剣です. この記事の内容は TypeScript の 2022 年 1 月時点での最新版である 4.5.4 に基づいています. 将来のバージョンでの妥当性は保証しません. 「型〜」「〜型」という用語の「型」はしばしば省略します. 値レベルの話題は一切登場しません. 以前作った型レベル Brainfuck インタプリタはこのスタイルに則っているので参考にどうぞ. いつまでこのネタを引きずるんですか? パラメータに対して制約を付与しない 型定義のパラメータに対して extends を使って制約を付与すると, そのパラメータに与えられる引数を制約を満たすもののみに限定することができます. 例として, 以下の Append には string の部分型のみ

                                                                      TypeScript 型レベルプログラミング フリースタイルガイド - Object.create(null)
                                                                    • AWSのBedrockでClaude 4とClaude Codeをセキュアに活用しよう! - Qiita

                                                                      profile: name: 森田 和明 company: 富士ソフト株式会社 position: title: 主任 / フェロー specialization: アーキテクト・エバンジェリスト AWS Certifications: - AWS Ambassador (2023, 2024) - Japan AWS Top Engineer (2020-2024) - Japan All AWS Certifications Engineer (2024) - AWS Community Builder (2024, 2025) professional_focus: - AWS関係のアーキテクトとエバンジェリスト(生成AIを含む) social: X: https://x.com/moritalous Qiita: https://qiita.com/moritalous GitHu

                                                                        AWSのBedrockでClaude 4とClaude Codeをセキュアに活用しよう! - Qiita
                                                                      • DifyのReActを用いてナレッジ/記事要約エージェントを作ってみた - Taste of Tech Topics

                                                                        皆さんこんにちは。バックエンドエンジニアの前田です。 最近は、いよいよ暑さが本気を出してきたので、熱中症対策をしなくては、と考えています。 さて、今回はDifyのv1.0.0で追加されたReActを用いてナレッジ/記事要約エージェントを作成しました。 ナレッジに登録したドキュメントなどをもとに、Web検索もして情報を補足し、文章を要約するエージェントが欲しいと思い、作ってみました。 Difyの環境構築と基本的な使い方については以下の記事を参考にしてみてください。 今回はDifyのv1.6.0を用いて作成しました。 acro-engineer.hatenablog.com 1. DifyにおけるReActとは 2. 今回作成するアプリについて 2.1. 構成 2.2. ナレッジ検索 2.3. エージェントノード 3. 実際に動かしてみる 4. まとめ 1. DifyにおけるReActとは D

                                                                          DifyのReActを用いてナレッジ/記事要約エージェントを作ってみた - Taste of Tech Topics
                                                                        • WebAssemblyへのコンパイルだけに特化した新言語「Onyx」登場

                                                                          米Wasmer社が、WebAssemblyへのコンパイルだけに特化した新しいプログラミング言語「Onyx」をブログで紹介しています。 Onyxは(Wasmer社ではなく)Brendan Hansen氏が開発に3年を費やしたプログラミング言語です。 (2023/12/13 お詫びと訂正。当初OnyxをWasmer社が開発したと紹介していましたが、Wasmer社とは直接関係のないBrendan Hansen氏が開発した者でした。お詫びして訂正します。タイトルと本文の一部を修正しました) We're so excited about Onyx . A new programming language which solely compiles to #WebAssembly. Read all about it in our new blogpost:https://t.co/L6yZ9Ls5Q

                                                                            WebAssemblyへのコンパイルだけに特化した新言語「Onyx」登場
                                                                          • Devin AIは技術的負債解消の救世主となるか? - メドピア開発者ブログ

                                                                            Answer: 救世主まではいかないが、間違いなく助けになる。 組織開発グループの榎本です。世は大AIコード生成時代、皆さんバイブコーディングしていますか? 弊社においてもDevin、Clineを試験的に導入して活用し始めていますが、本記事では「Devin AIが技術的負債の解消に役立った話」を紹介したいと思います。 Devin AIとは 技術的負債の現状 2023年時点のAI活用 2025年、Devinの活用 活用ユースケース うまくいかなかった指示の例 複雑なタスク依頼は工夫が必要 良かった点 どれくらい成果上がった? 課題 (おまけ)ACU消費量の目安 まとめ Devin AIとは Devin AI(以下、Devinと表記)については既に各所で話題なので詳しい説明は省きますが、一言でいうと開発を手伝ってくれるAIエージェントです。イメージとしては、開発チームに新たに入ってくるジュニア

                                                                              Devin AIは技術的負債解消の救世主となるか? - メドピア開発者ブログ
                                                                            • go.mod、DockerfileやCI設定に分散しがちなGoのバージョンをまとめて管理する / Go Connect #3

                                                                              https://gotalk.connpass.com/event/331992/ cf.) - Go製アプリケーション/ライブラリにおけるメンテナンス性を重視したGo…

                                                                                go.mod、DockerfileやCI設定に分散しがちなGoのバージョンをまとめて管理する / Go Connect #3
                                                                              • 「これは間違えるよ...」日本医師会の適正体重計算サイトの仕様で体重がすごいことに→入力欄でコードを実行できることが発覚しセキュリティの議論へ発展

                                                                                あわせて読みたい

                                                                                  「これは間違えるよ...」日本医師会の適正体重計算サイトの仕様で体重がすごいことに→入力欄でコードを実行できることが発覚しセキュリティの議論へ発展
                                                                                • 「Claude Code Opus 4.5」が劣化している

                                                                                  OpenAIやAnthropicなどの企業が提供するAIには変更が随時適用されており、同じ名前のAIモデルでも性能や出力傾向が変化することがあります。AIの性能測定を行っているMarginlabの追跡調査によってClaude Code Opus 4.5の性能が劣化していることが確認されました。 Claude Code Opus 4.5 Performance Tracker | Marginlab https://marginlab.ai/trackers/claude-code/ Marginlabはベンチマークテスト「SWE-Bench Pro」を用いてClaude Code Opus 4.5の性能を毎日測定し、性能の変化を分析しています。2026年1月29日までのスコアの推移をグラフ化したものが以下。Marginlabは過去30日間のスコア推移から「劣化が観察された」というアラートを

                                                                                    「Claude Code Opus 4.5」が劣化している

                                                                                  新着記事