こんにちは、イノベーションセンターの加藤です。この記事では、大規模言語モデル(LLM)にJSONやソースコードを正しく出力させるための生成手法であるStructured Generationについて紹介します。 Structured Generationとは パーサーを用いた制約手法 正則言語とは 正則言語のStructured Generation 文脈自由言語とは 字句解析について 正則言語+文脈自由言語のStructured Generation まとめ Structured Generationとは 大規模言語モデル(LLM)はよくチャットボットとしての活用が目立ちますが、LLMの入出力を外部のプログラムに繋ぎ込むことでより高度な自然言語処理システムを作ることができます。 例えばOpenAIのCode Interpreter1はLLMをPythonの実行環境と接続することで、ユーザ
psqlには、色々な機能があるので、使い方をまとめてみました。 psqlの説明 psqlはPostgreSQLに付属する対話型インターフェースです。対話的にコマンドを入力し、SQL文やメタコマンドを実行します。メタコマンドを使用することで、OSコマンドを実行することも可能です。また、ファイルから入力を読み込むこともできます。スクリプトの記述を簡便化したり、様々なタスクを自動化することが可能です。データベースのスーパーユーザ・一般ユーザともに、psqlを使用してデータベースに接続することができます。接続先ホストは、IPアドレスやホスト名で指定することができます。 psqlコマンドの使い方 psqlコマンドの書式
「光量子分野は日本がリードしていきたい。そのためにも、2025年度には実機を完成させる」と意気込むのは、OptQC株式会社 代表取締役CEO 高瀬寛氏。2024年9月に誕生した同社は、20年以上にわたり光量子コンピューターを研究してきた東京大学の古澤明教授を取締役に、教え子である高瀬氏が代表に就任したディープテック・スタートアップ。光量子コンピューターとはどういうものか、どんな世界を実現していこうとしているのか、話を聞いた。 【もっと写真を見る】 「光量子分野は日本がリードしていきたい。そのためにも、2025年度には実機を完成させる」と意気込むのは、OptQC株式会社 代表取締役CEOの高瀬寛氏。2024年9月に誕生した同社は、20年以上にわたり光量子コンピューターを研究してきた東京大学の古澤明教授を取締役に、教え子である高瀬氏が代表に就任したディープテック・スタートアップだ。「研究に留ま
生成AIが人間の介在なしに自律的にソフトウェアテストを生成し実行、バグや脆弱性を発見してくれるAIテストエージェント「Spark」登場 ドイツに本社を置き、コード分析ツールなどを提供するCode Intelligence社は、起動すればあとは生成AIが人間の介在なしに自律的にソフトウェアテストを生成し実行することで、対象となるソフトウェアのバグや脆弱性などを発見してくれるAIテストエージェント「Spark」を発表しました。 An exciting milestone in software security testing: ???? ???????????? ???????? ?????, ??? ?? ???? ????? ???? ????? ???? ??????? ????? ???????????! Read the PR: https://t.co/wfuautln8i#AI
ソフトウェアアーキテクトのための意思決定術 リーダーシップ／技術／プロダクトマネジメントの活用 作者:Srinath Perera,島田 浩二インプレスAmazon 私は現在、会社でアーキテクト[*1]という職位についています。実際のところは、自分の半分くらいの時間でチームのテックリードを務めつつ、半分くらいの時間でアーキテクトをしているという時間配分です。アーキテクトというのは、勤務先ではテックリードの上位に置かれているようなイメージで、テックリードがチーム単位での技術的なリードを司る職位だとすると、アーキテクトはチームの上位概念である事業領域単位での技術的なリードを司る職位、ということになります。 アーキテクトの主な仕事は、基本的にはテックリードと変わらず技術的な意思決定です。さまざまなトレードオフを掻い潜りながら、その時点での最適な結論を出すのがお仕事といったところでしょうか。ただ、
生成AI（人工知能）の代表格である大規模言語モデル（LLM）は、対話型AIサービス「ChatGPT」が登場した当初から、プログラムコードの生成が可能だった。言語モデルなので、本来は自然言語だけを対象にしてもよかったはずだ。しかしプログラミング言語に標準で対応したことで、結果的にソフトウエア開発分野でも大きな存在感を持つようになった。 最近は、人間のソフトウエアエンジニアと同じように自律的にソフトウエアを開発するAIエージェントサービスが注目されている。そうしたサービスがどれだけ実用になるかは、LLMが出力するコードの品質にかかっている。 私は、ChatGPTに「何か面白いゲームのコードを書いてほしい」と依頼することがよくある。ゲームの種類を具体的に指定するのではなく、ChatGPTが面白いと考えているゲームをつくってもらうのだ。本当に面白いゲームが一発で出てくることはまずないが、対話を通し
コンテキスト・ダイアグラムとは、ビジネスのプロセスや使われる装置、コンピュータ・システムなどのビジネス・システムに対して、ユーザーやその他のシステムがどのように相互作用しているのかを表した図解表現のことです。 このコンテキスト・ダイアグラムを使うことによって、プロダクト・スコープを視覚的に表現することができます。 表現するインターフェイスには次のものが挙げられます。 ビジネス体系へのインプットインプットを提供するアクタービジネス体系からのアウトプットアウトプットを受け取るアクターコンテキスト・ダイアグラムを作成していく際には、内容を詳細にするために段階的に下層のDFD（データフロー図）を作成します。 コンテキスト・ダイアグラムのメリットコンテキスト・ダイアグラム（Context diagrams）を使うメリットは以下の通りです[1]What is a Context Diagram – E
日経クロステック登録会員になると… ・新着が分かるメールマガジンが届く ・キーワード登録、連載フォローが便利 さらに、有料会員に申し込むとすべての記事が読み放題に！ 年額プランも今ならお得 ＞＞詳しくは
インフラ開発部でテックリードをしております上畑です。 ラクスで利用しているAnsibleコードについて、Ansibleのバージョンアップを行った内容を記事にしました。 この記事が同じような境遇のどなたかの助力になれば幸いです。 1. 背景 2. Ansibleバージョンアップ 2-1. AnsibleとPythonの関係調査 2-2. 各OSの標準Pythonバージョン一覧調査 2-3. Porting Guideによる仕様変更の確認 2-4. バージョンアップ戦略 2-5. Ansibleコード修正内容 [修正対応内容] ansible-2.9.27 to ansible-8.7.0 ansible-8.7.0 to ansible-9.12.0 3. コード修正にはAnsible-Lintの自動修正(autofix)機能を使う 3-1. 実行方法 オプションの使い方 ルール一覧 4.
0と1の二進法の論理演算で動いているのがコンピューター。すべての演算は、ANDとORとNOTがあれば表現できます。演算子3つ、これがミニマムでしょうか？ 実は、ORしてNOTする、NOR（ノア）や、ANDしてNOTするNAND（ナンド）という演算子1つあれば、AND、OR、NOTもつくることができるので、演算子は実は1つで十分！ 「Nor」 名前のかわいさを優先して新プログラミング言語「Nor（ノア）」を「Wirth（ヴィルト）」をベースに開発しました。 「Nor Playground」 演算子として使えるのは論理和(or)を否定する(not)する、"nor"のみ。0か1の1bit同士の演算なので、パターンは4つしかありません。 まずは not を作ります。 function not(a) return a nor a end print not(0) # → 1 print not(1)
AI、メタバース、ブロックチェーンなど、世の中はたくさんのIT用語であふれています。 本展示では、そんな数々のIT用語に関する読みやすい資料を集めて展示しています。 辞書を捲るように気になる本を手に取って、情報技術の世界に少し触れてみてはいかがでしょう。 ※展示している図書はすべて貸出できます。 開催日時 令和7(2025)年1月6日（月曜日）から3月15日（土曜日）まで 月曜日から金曜日 9時00分から20時00分 土曜日 9時00分から17時00分 日曜日と1月13日（月曜日）・2月11日（火曜日）・2月24日（月曜日）・3月13日（木曜日）は休館 場所 大阪府立中之島図書館 2階 ビジネス資料室２ 入館は無料です。 展示資料 各テーマごとの展示資料は、こちらからご覧ください。 ・AI ・ディープラーニング ・機械学習 ・仮想通貨 ・量子コンピューター ・NFT ・IoT ・クラウド
当ニュースレターは2023年を「SaaSがオワコン化した年」と位置づけたが、2024年は早くもAIが終わった一年であった。少なくとも大規模言語モデル（LLM）そのものの発展を、物珍しそうに追いかける時期は過ぎた。生成AIが今後どこまで賢くなるかはもちろん未知数である。しかし、既に業務で十分に役立つレベルにある現行モデルのコストが今後も下がっていくことは確実だ。 The cost of GPT-4 APIs at launch in Mar 2023 was roughly ~$30 per 1m tokens. Seeing Deepseek V-3 APIs at ~$1 per 1m tokens today. For AI application companies, cost of "intelligence" is falling significantly faster tha
数億人のウェブユーザーが、新たに発見された危険なサイバー攻撃について警告を受けている。この攻撃はブラウザの種類を問わず、「ダブルクリック」さえすれば成立してしまう。以下に、「ダブルクリックジャッキング（ダブルクリックジャック攻撃）」について知っておくべきポイントをまとめる。 ダブルクリックは危険、新たなハック攻撃が確認される アプリケーションのセキュリティやクライアント側の攻撃手法を研究するパウロス・イベロは、多くの脆弱性や新しいセキュリティ脅威を発見してきた実績を持つ。そのイベロが、ウェブブラウザを使うほぼすべての人に影響しかねない新たな攻撃手法「ダブルクリックジャッキング」を明らかにした。自身のブログ投稿で、ChromeやEdge、Safariをはじめとするほぼあらゆるブラウザで、ユーザーがダブルクリックを行った際に認証情報を奪われてしまう具体的な方法を技術的に示している。 このまった
高速多機能なターミナルエミュレータ「Ghostty 1.0」正式リリース、ミッチェル・ハシモト氏が開発。今後はWebAssembly化による対応プラットフォーム拡大も HashiCorpの創業者の一人であるミッチェル・ハシモト氏は、個人のプロジェクトとして開発してきたターミナルエミュレータ「Ghostty」の正式リリースとなるバージョン1.0を公開しました（本記事公開時点でバージョン1.0.1が最新バージョン）。 合わせてオープンソースとしてGitHubでソースコードも公開されました。 https://t.co/39Xj39wheA pic.twitter.com/PH0qejFB4z — Mitchell Hashimoto (@mitchellh) December 26, 2024 ハシモト氏は2023年12月にHashiCorpを退職していますが、以前から個人のプロジェクトとしてタ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く