並び順

ブックマーク数

期間指定

  • から
  • まで

41 - 67 件 / 67件

新着順 人気順

specificationの検索結果41 - 67 件 / 67件

  • Rust adopting Ferrocene Language Specification [LWN.net]

    One recurring criticism of Rust has been that the language has no official specification. This is a barrier to adoption in some safety-conscious organizations, as well as to writing alternate language implementations. Now, the Rust project has announced that it will be adopting the Ferrocene Language Specification (FLS) developed by Ferrous Systems and maintaining it as part of the core project. W

    • Investigating MacPaint's Source Code | ℤ→ℤ

      2025-03-25 MacPaint is a monochromatic raster image painting program that introduced many people to mouse-driven controls, tool palettes, and copy and paste integration with other applications. One of two launch applications for the Apple Macintosh in 1984, MacPaint is emblematic of the Macintosh’s early quirky revolutionary branding, focus on ease of use, and appeal to artistic customers. Using t

      • Roo Code (Roo Cline)のメモリバンクを応用して最新鋭のAI小説執筆を体験しよう! 【#2 実践編】ラノベを執筆してみる|葦沢かもめ

        Roo Code (Roo Cline)のメモリバンクを応用して最新鋭のAI小説執筆を体験しよう! 【#2 実践編】ラノベを執筆してみる 前回は考え方の枠組みをご提示できればと考えていたので雑な構成になってしまいましたが、私のメッセージが伝わっていれば幸いです。とはいえ、あとで時間がある時に適宜修正しておこうと思います。 さて、今回は実践編として、前回よりも具体的にプロンプトで指示をしながら、ライトノベルを執筆してみます。 前回の執筆時のプロンプトは以下でしたね。 新規に小説を追加して、各種ドキュメントを作成し、日本語で4000字の短編小説を執筆してください。これはあくまでもサンプルで、もっと具体的に指示をすることで物語を制御可能です。プロンプトで制御できると、自分で作っている感覚が得られると思います。 1. ライトノベルのコンセプト今回は、私が外を歩いている時にふと思いついた以下のコンセ

          Roo Code (Roo Cline)のメモリバンクを応用して最新鋭のAI小説執筆を体験しよう! 【#2 実践編】ラノベを執筆してみる|葦沢かもめ
        • $HOME/.local/binってなんだ?(XDG Base Directory Specification) - CLOVER🍀

          これは、なにをしたくて書いたもの? 自分で作ったよく使うスクリプトや、パッケージ管理されていないバイナリーなどは癖で/usr/local/binディレクトリーに 置くことが多いのですが、そういえば環境変数$PATHには$HOME/.local/binっていうディレクトリーも設定して あったな?ということに前々から気づいていたのですが。 この$HOME/.local/binディレクトリーが何者か調べたことがなかったので、今回ちょっと見てみました。 XDG Base Directory Specification 結論を言うと、$HOME/.local/binディレクトリーはXDG Base Directory Specificationで定められたディレクトリーの ひとつです。 XDG Base Directory Specification こちらですね。 User-specific ex

            $HOME/.local/binってなんだ?(XDG Base Directory Specification) - CLOVER🍀
          • CREATE DATABASE | Snowflake Documentation

            CREATE DATABASE¶ システムに新しいデータベースを作成します。 さらに、このコマンドは次の目的にも使用できます。 既存のデータベースのクローン を、現在の状態で、または過去の特定の時間/ポイントで作成します(Time Travelを使用)。データベースのクローン作成の詳細については、 クローニングに関する考慮事項 をご参照ください。 指定されたリストからデータベースを作成します。 リストとの共有について をご参照ください。 別のSnowflakeアカウントが提供する共有からデータベースを作成します。共有の詳細については、 Secure Data Sharingについて をご参照ください。 既存のプライマリデータベース(つまり、セカンダリデータベース)のレプリカを作成します。データベース複製の詳細については、 複数のアカウントにわたるデータベース複製の概要 をご参照ください。

            • MCPサーバーを利用することはセキュリティ的に安全か?

              1. はじめに Model Context Protocol (以下、MCP) は、大規模言語モデル (LLM) と外部データソースやツールを連携させるための便利なオープンプロトコルです。 一方で、MCPサーバーは誰でも作成してGitHubで公開できるため、場合によっては悪意のあるコードが含まれている可能性も否定できません。自作のMCPサーバーに脆弱性を埋め込んでしまうのは自己責任ですが、実際には、公開されているMCPサーバーをマーケットプレイス経由で使用する場合、どの程度の安全性が期待できるのでしょうか? 本稿では、MCPサーバーのマーケットプレイスの現状と、利用する上での注意点について解説します。 1.1. TL;DR 「誰かが何かを保証してくれるわけで、自己責任で使いましょう」というのが前提です。その中でも一定信用して良いと思われるのは、以下の2つです。それ以外は、公式な保証がない状

                MCPサーバーを利用することはセキュリティ的に安全か?
              • CREATE SCHEMA | Snowflake Documentation

                CREATE SCHEMA¶ 現在のデータベースに新しいスキーマを作成します。 さらに、このコマンドを使用して、 既存のスキーマ を 現在の状態で、または過去の特定の時刻/時点で(Time Travelを使用して)複製できます。スキーマのクローン作成の詳細については、 クローニングに関する考慮事項 をご参照ください。 こちらもご参照ください。ALTER SCHEMA、 DESCRIBE SCHEMA、 DROP SCHEMA、 SHOW SCHEMAS、 UNDROP SCHEMA 構文¶ CREATE [ OR REPLACE ] [ TRANSIENT ] SCHEMA [ IF NOT EXISTS ] <name> [ CLONE <source_schema> [ { AT | BEFORE } ( { TIMESTAMP => <timestamp> | OFFSET => <

                • EXRUBATO-STD-JT

                  Specification Body Laminated Plain Maple Neck Maple Fingerboard Ovangkol Nut Bone Bridge ABR-1 Type Machineheads Kluson / KTS90SLN Ni Fret Nickel Silver Pickup SeventySeven / AL2 Control 2Vol, 2Tone, 3Way Scale 628mm(24.75inch) Width at Nut 43.0mm Fingerboard Radius 305R Finish Urethane UV Coating String Elixir NANOWEB Light(.010-.046) Accessories ハードケース、六角レンチ、保証書 Introduction 製品番号:607, 608, 609,

                    EXRUBATO-STD-JT
                  • MapLibre Tiles (MLT) 仕様 - 日本語訳(非公式)

                    これは MapLibre Tiles (MLT) 仕様の「非公式の」日本語訳です。英語の原版は maplibre/maplibre-tile-spec にあります。2025-02-27 時点の翻訳です。ライセンス: CC0 1.0 Universal MapLibre Tiles (MLT) MLT 形式は主に MVT 形式 から着想を得ているが、次のような領域を改善するためにゼロから再設計されている: 圧縮率の改善 — 列指向レイアウトと(カスタムの)軽量エンコーディングを採用し、大きなタイルでは最大 6 倍の圧縮率を実現 デコード速度の向上 — 高速な軽量エンコーディングを採用し、SIMD/ベクトル化命令と組み合わせて使用可能 リニアリファレンスや M 値のサポート — Overture Maps (GeoParquet) のような今後登場する次世代のソース形式を効率的にサポートするた

                      MapLibre Tiles (MLT) 仕様 - 日本語訳(非公式)
                    • Intel内蔵GPUをoneAPI Level Zeroで直接叩いてみる(環境構築編) - Qiita

                      Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに 手のひらサイズのミニPCでよく使われている Intel N100 などの CPU は、基本的に Intel UHD Graphics などの内蔵グラフィックス機能を持っています。 この Intel CPU 内蔵グラフィックス機能を GPGPU として活用できないだろうかと考えて調べたところ、oneAPI の一部として提供されている Level Zero API (oneAPI/L0) が使えそうだと分かりました。 ただ Level Zero API は英語の仕様書1は公開されているものの、実際の使用例やサンプルを探してもなかな

                      • Model Context Protocol(MCP)の動作原理の概要を掴むための記事

                        株式会社MedOps Technologies CTOの杉田です。AnthropicがModel Context Protocol(MCP)を発表し界隈を賑わしていますが、一体これは何なのでしょうか? ユースケースを紹介する記事はいくらかみつかるものの、動作原理や実装手段に関して触れている資料はまだ少なく、消化不良を起こしているエンジニアの方は正直多いと思います。 この記事は、生成AIの未来の可能性についてキラキラと示すものというよりは、MCPが一体どんな技術で構成されているかの概説と、自分で実装する方法の例示を目的としたものです。また使用技術をさらに深く学習したい方のガイドになればとも思っています。 「Function Callのプロキシ」という要素を引き算しよう 名前に「プロトコル」が入っていることが混乱を招くところです。 私の場合、「プロトコル」と聞くと、RFC XXXでシーケンス図

                          Model Context Protocol(MCP)の動作原理の概要を掴むための記事
                        • さくらのAI Meetup vol.9で「AIネイティブの全く新しい統合開発環境 GitHub Copilot Workspaceで考える AIコーディングエージェントの開発生産性」というタイトルで登壇しました #さくらのAI | DevelopersIO

                          こんにちは。リテールアプリ共創部マッハチームのきんじょーです。 さくらインターネットさんの以下のイベントで「GitHub Copilot Workspace」と「AIコーディングエージェントの開発生産性」について登壇してきました。 登壇資料 内容 GitHub Copilot Workspaceについて GitHub Copilot Workspaceは GitHub が提供する、同期型で自律的 + 開発環境が加わったAIエージェントと定義できます。 AWS CDKで定義したリソース修正を行う小さいIssueを例にCopilot Workspaceの開発プロセスを説明しました。 半年前に触った時からの大きなアップデートとしては以下2点が挙げられます。 「Specification」フェーズがブレインストーミング機能にリニューアル VSCode拡張機能でCopilot Workspaceのセ

                            さくらのAI Meetup vol.9で「AIネイティブの全く新しい統合開発環境 GitHub Copilot Workspaceで考える AIコーディングエージェントの開発生産性」というタイトルで登壇しました #さくらのAI | DevelopersIO
                          • Russelのパラドックス

                            Introduction 集合論の発展に伴って,無制限な内包公理(axiom of unrestricted comprehension)が原因で,様々なパラドックスが生じることがわかってきた。そのうちの代表的なものが,以下で説明するRusselのパラドックスである。 背景 集合論の素朴な見方では,「集合」という概念は日常的な感覚の通り,「ものの集まり」を指している。集合論の創始者であるGeorg Cantorも,集合という概念を次のように定義している。 集合とは,我々の直感や思考の対象となる明確に区別されたもの(objects)$m$を,一つにまとめたもの$M$のことであると理解する。 これは,一つの公理(正確には公理図式)として,以下のように焼き直せる: ある条件$\varphi(x)$について,それを満たす$x$からなる集合$\{ x \ | \ \varphi(x) \}$が存在す

                              Russelのパラドックス
                            • Cursor: AIを活用した革新的なコードエディタについて - Qiita

                              💻 Cursor: AIを活用した革新的なコードエディタについて 🔐 Introduction: はじめに CursorはAIを活用した革新的なコードエディタで、その目的はコーディング作業をより効率的で質の高いものにすることです。このエディタはVSCodeをベースにしており、ChatGPTが内蔵されています。これにより、すべての作業がエディタ内で完結し、WebブラウザでChatGPTにアクセスする手間を省くことが可能となります。 AIを使った新しいツールに接するとき、私たちはしばしば「自分が入力したデータはAIの学習に利用されるのでは?」という懸念を抱くことがあります。そんな心配を取り除くために、Cursorは「プライバシーモード」を提供します。このモードを有効にすると、あなたのマシン以外にコードが保存されることはなく、また、AIの学習にも使用されません。 以上の特徴により、Curso

                                Cursor: AIを活用した革新的なコードエディタについて - Qiita
                              • PDF 内部構造 - yonewiki

                                概要 PDFは旧Adobe Systems(現Adobe)が策定した文書ファイル形式で、誕生当初(1993年頃)は、その中身は謎となっていたファイル形式です。米国税務署が文書形式を採用したのを機会に2001年から2008年にかけて標準化機構(ISO)が仕様を策定し、2008年にはPDF1.7が公開されています。いつ頃、仕様が公開されたのかは知りませんが、2022年を過ぎた現在では、その仕様に基づいたPDFが広く使われるようになっている文書ファイル形式です。 2017年にPDF2.0がISOによって策定されていますが、こちらは250ドル支払わないと中身を見る事はできません。https://www.pdfa-inc.org/cart/?add-to-cart=593から購入できます。2.0は知ることができないので、諦めましょう。しかし1.7もまだまだ生き残るので、使えるはずですし、1.7を知っ

                                • GKEの新機能と不具合情報まとめ 2025年2月 - WHITEPLUS TechBlog

                                  2025年2月にGKEのReleaseNoteに流れてきた情報から、新機能と変更内容、stableチャンネルに影響のありそうな不具合情報のみをまとめて紹介します。 2月はメトリクスや推奨、クラスタ通知といった運用面で便利になる新機能が追加されました。より安定した運用ができるようになるため有り難い改善ですね。また、Identity Service for GKEが非推奨になったりwhenUnsatisfiableのデフォルト値が変更になったりもしているため影響がないか確認する必要があります。 新機能 2/28 新しい推奨NODE_SA_MISSING_PERMISSIONSがGKE Recommendationsのポートフォリオに追加されました この新しい推奨を使用して通常のクラスタ運用に重要なIAMパーミッションが欠落しているサービスアカウントを持つクラスタを特定できます。 組織がデフォル

                                    GKEの新機能と不具合情報まとめ 2025年2月 - WHITEPLUS TechBlog
                                  • [C++]WG21月次提案文書を眺める(2022年11月) - 地面を見下ろす少年の足蹴にされる私

                                    文書の一覧 JTC1/SC22/WG21 - Papers 2022 mailing2022-11 全部で75本あります。(新規35本 N4924 WG21 2022-10 Admin telecon minutes N4925 2023-02 Issaquah meeting information N4926 Working Draft, C++ Extensions for Library Fundamentals, Version 3 N4927 Editor's Report: C++ Extensions for Library Fundamentals, Version 3 P0901R10 Size feedback in operator new P1018R18 C++ Language Evolution status 🦠 pandemic edition 🦠 2

                                      [C++]WG21月次提案文書を眺める(2022年11月) - 地面を見下ろす少年の足蹴にされる私
                                    • Microsoft Office製品のファイル内の文字列を検索、置換する - 2025-03-14 - ククログ

                                      OfficeStringReplacerというMicrosoft Office 製品1のファイル内の文字列を検索・置換するツールを開発した橋田です。 Office文書に含まれる文字列の検索、置換処理を素直に実装するとものすごく時間がかかりますが、OfficeStringReplacerでは現実的な時間に収まるように工夫をしています。 この記事ではその工夫の詳細について解説します。 検索、置換での工夫 OfficeStringReplacerでは以下のファイル形式をサポートしています。 .xlsx、.docx、.pptx: Office 2007以降の標準のExcel、Word、PowerPointのファイル形式 .xlsm、.docm、.pptm: Office 2007以降マクロ機能付きのExcel、Word、PowerPointのファイル形式 .xls、.doc、.ppt: Offic

                                        Microsoft Office製品のファイル内の文字列を検索、置換する - 2025-03-14 - ククログ
                                      • Biased Locking in HotSpot

                                        原文はこちら。 The original article was written by Dave Dice (Senior Research Scientist, Oracle). https://blogs.oracle.com/dave/biased-locking-in-hotspot HotSpotのbiased lockingスキームは、Dave Dice、Mark Moir、Bill Schererが執筆した以下の論文から生まれました。 Quickly Reacquirable Locks https://cdn.app.compendium.com/uploads/user/e7c690e8-6ff9-102a-ac6d-e4aebca50425/f4a5b21d-66fa-4885-92bf-c4e81c06d916/File/ccd39237cd4dc109d917867

                                          Biased Locking in HotSpot
                                        • Jax v0.5.2 build from source on Fedora41 CUDA 12.8 + cuDNN 9.8

                                          ERROR: /home/nobuo/.cache/bazel/_bazel_nobuo/34a0a1629ee5790adfc04833a0437924/external/upb/BUILD:57:11: Compiling upb/upb.c failed: (Exit 1): crosstool_wrapper_driver_is_not_gcc failed: error executing command (from target @upb//:upb) (cd /home/nobuo/.cache/bazel/_bazel_nobuo/34a0a1629ee5790adfc04833a0437924/execroot/__main__ && \ exec env - \ CLANG_COMPILER_PATH=/usr/bin/clang-19 \ CLANG_CUDA_COM

                                            Jax v0.5.2 build from source on Fedora41 CUDA 12.8 + cuDNN 9.8
                                          • MonsterTV PCIE3 | 3番組同時視聴・録画対応 テレビチューナー 製品仕様 |SKNET

                                            ※BSデジタル/110度CS放送の視聴・録画を行うためには、衛星放送の受信環境、および有料放送などチャンネルの種類によっては、別途契約が必要です。 ※視聴および録画は最大3チャンネルです。 ※番組画面複数視聴時は、CPU視聴率80%以下を目安にご利用下さい。CPU視聴率80%以上になる場合は、視聴画面数を減らしてご利用ください。 ※録画中はチャンネル切替できません。 ※製品仕様上、チャンネル切替に時間を要します。 ※製品仕様上、テレビの映像がリアルタイムの放送と比べ、数秒遅れて表示されます。 ※1日1回ご使用のパソコンを再起動しないと録画や視聴が正常に行えない場合があります。 ※番組視聴時および番組表取得時は、スリープ動作が行えません。 ※字幕、データ放送、緊急放送、BSラジオ放送には対応しておりません。 ※スポーツや歌番組などの動きの激しい番組を長時間録画モードなどの長時間録画画質で録画

                                            • 【書籍紹介】Microsoft 365 Copilotマスター入門!富士通ラーニングメディアの決定版で業務効率が3倍になる活用術を徹底解説 - リスキリングで拓く未来:デジタル技術者のキャリアパス

                                              ※This page uses affiliate advertising. ※本ページは、アフィリエイト広告を利用しています。 ★Amazonプライム ★Amazonプライム・ビデオ ★Amazon Prime Video チャンネル ★Amazon Music Prime ★Prime Student ★Kindle Unlimited ★Amazon Music Unlimited ★Audible ★Amazon Kids+ ★Amazonふるさと納税 ★楽天で購入 ★Amazonで購入 ーーーーーーー ◆はじめに ◆本書の特徴と内容 ◆業務別Copilot活用シナリオ ◆Copilotのセキュリティと倫理的配慮 ◆さいごに ◆はじめに 2025年、ビジネスシーンにおけるAI活用は当たり前の時代になりました。 特に、Microsoft 365に統合されたCopilotは、もはやビジ

                                                【書籍紹介】Microsoft 365 Copilotマスター入門!富士通ラーニングメディアの決定版で業務効率が3倍になる活用術を徹底解説 - リスキリングで拓く未来:デジタル技術者のキャリアパス
                                              • [make it easy] Try to use pdf-lib and pdfmake on Efw with Javet - Qiita

                                                This article is a continuation of the article below. Please see the article about Javet the other day. Modification of loadWithGlobalPool function Add engine and returnVar to the parameters. Below is a sample. var pdfDataUri=loadWithGlobalPool({ name:"pdf-lib-javet", max:10, initializer:initscript, script:runscript, context:{bytesIPAexgothic:bytesIPAexgothic,createdate:new Date().format("mm:ss SSS

                                                • 【イームズ】 DSRサイドシェルチェア(FRP樹脂製) | リプロダクト家具 - デザイナーズ家具・デザイナーズチェア通販サイト|カグコレクション

                                                  *沖縄・離島は別途送料お問い合せ下さい。 チャールズ・イームズの挑戦が生んだ革新的シェルチェアFRP樹脂で作られたこのチェアは、ファイバーグラスウールを何層にも接着し、型を利用して生産されています。そのため、軽量かつ丈夫な仕上がりとなっており、独自のデザイン性と機能性を兼ね備えています。 サイズは幅46cm×奥行き52.5cm×高さ81cmで、座面の高さは43cmと快適な座り心地を提供します。 FRP樹脂製で塗装仕上げされており、脚部はステンレスロッドにポリッシュ加工が施されています。このチェアは洗練された外観と優れた耐久性を兼ね備え、どんなお部屋にもマッチするでしょう。 リプロダクト家具とは?リプロダクト家具は、薬でいう「ジェネリック」のこと。 意匠権の切れたデザイン家具の復刻版です。 オリジナルと同じ調合(外観)の製品を安く手に入れることが可能です。 SPECIFICATION/仕 様

                                                    【イームズ】 DSRサイドシェルチェア(FRP樹脂製) | リプロダクト家具 - デザイナーズ家具・デザイナーズチェア通販サイト|カグコレクション
                                                  • [Flutter]Issueから考えるautofill+autocorrect問題

                                                    1行まとめ FlutterのTextFieldやTextFormFieldにautofillHintsを指定する場合には、autocorrectをfalseに設定しよう。 以下、詳細です。 autofillHintsとautocorrect TextFieldやTextFormFieldには、autofillHintsプロパティとautocorrectプロパティがあります。これらは適切に組み合わせるべきプロパティです。不適切な組み合わせは、特定の環境で問題を引き起こす可能性があります。 この記事では、FlutterにおけるautofillHintsとautocorrectの適切な指定について考察します。 autofillHints autofillHintsは入力フォームに自動入力するためのヒントを提供します。デフォルト値はnullです。 ユーザーにメールアドレスを入力してもらう場合、au

                                                      [Flutter]Issueから考えるautofill+autocorrect問題
                                                    • Cursor, Devin を実務で使っていたら、コードを書ける時間の贅沢さに気づいた話

                                                      友人たちと続けている勉強会で開発AIツールの比較の座談会に登壇することになったので、いまの自分の開発AIツールの使い方をメモがてらまとめてみました。 日進月歩で開発AIツールの機能、ツール間やアプリケーションとの連携、ツール自体の登場などが進んでいるので、あくまで執筆時点での私の開発AIツールの使い方です。 自分自身も2週間前もすれば、使う機能、連携の仕方、開発プロセスのいずれかには大きな変化がある状況なので、明日には言ってることが違うかもしれません。 📌 開発AIツールを使う環境 どの開発AIツールが使用できるかや、有効に使えるかは、 組織環境、開発対象、開発プロセス、コードの状況、もともとの開発スタイル、データセキュリティの整備状況等で大きく変わると思っています。 比較的小規模で、適切なセキュリティチェックと設定をすれば開発AIツールやMCP連携を自由に使える時の自分の使い方をメモし

                                                        Cursor, Devin を実務で使っていたら、コードを書ける時間の贅沢さに気づいた話
                                                      • MCPサーバとクライアントのstdio transportは何をしている? MCPサーバのPythonスクリプトに一連のJSONを送ってツール一覧を得るまで - nikkie-ftnextの日記

                                                        はじめに 七尾百合子さん、お誕生日 17日目 おめでとうございます! nikkieです。 久しぶりのMCPの話題です。 目次 はじめに 目次 MCPサーバは一体何をやっている? 結論:stdio transportを覗き見 今の理解:MCPサーバにはクライアントからJSONが送られる 終わりに MCPサーバは一体何をやっている? Quickstartに沿ってお天気のMCPサーバを作りました。 modelcontextprotocol.io 作る中で試しに、MCPサーバのスクリプトをPython処理系で実行してみたのですが、何も起こりません。 % uv run weather.py # Ctrl+C連打で抜けます しかしMCPクライアントにMCPサーバのスクリプトを渡すと動きます。 % uv run client.py ../weather/weather.py 一体何をやっているのでしょう

                                                          MCPサーバとクライアントのstdio transportは何をしている? MCPサーバのPythonスクリプトに一連のJSONを送ってツール一覧を得るまで - nikkie-ftnextの日記