並び順

ブックマーク数

期間指定

  • から
  • まで

81 - 120 件 / 869件

新着順 人気順

execute 意味の検索結果81 - 120 件 / 869件

  • 新機能 – Lambda関数の共有ファイルシステム – Amazon Elastic File System for AWS Lambda | Amazon Web Services

    Amazon Web Services ブログ 新機能 – Lambda関数の共有ファイルシステム – Amazon Elastic File System for AWS Lambda 本投稿は AWS の Chief Evangelist (EMEA)であるDanilo Pocciaによる寄稿です。 AWS Lambda関数がAmazon Elastic File System(EFS)をマウントできるようになったことを非常に嬉しく思います。EFSは、高可用性と耐久性のために複数のアベイラビリティーゾーン(AZ)にまたがってデータを格納するスケーラブルでエラスティックなNFSファイルシステムです。このように、使い慣れたファイルシステムインターフェイスを使用して、関数単体、および複数のLambda関数のすべての同時実行環境にわたってデータを保存および共有できます。 EFSは、強力な整合性

      新機能 – Lambda関数の共有ファイルシステム – Amazon Elastic File System for AWS Lambda | Amazon Web Services
    • 10Xのテストコード規約 - 10X Product Blog

      はじめに こんにちは!モジュール開発部のyamakazu (@yamarkz) です。 10Xではテストコードの標準化を目指して、テストコード規約 (Test Coding Standards) を整備してきました。この記事では数ある規約の中でも、実際に活用して効果が大きかったものをいくつか取り上げて紹介します。 テストコードの品質に課題を持っている方や、コーディング規約の整備に関心を寄せる方の参考になれれば幸いです。 ChatGPT 要約 ChatGPTに内容の要約をお願いしました。この記事で述べられている内容は以下の通りです。 テストコードに規約を設ける目的は、「テストの資産性を高めることで、プロダクトの発展性と事業の継続可能性を守るため」である。テストコード規約は、ボトムアップで開発組織全体が守る基準を明確にし、良質なテストを書くために設ける。この規約ではGroup, Arrange

        10Xのテストコード規約 - 10X Product Blog
      • Linux概要 - UNIXファイルシステムの概要(2) - Qiita

        ファイルディスクリプタと i ノード UNIX では、ファイルの内容 と ファイルの管理情報 を明確に区別しています。 通常のファイルは単なる バイト列 であり、ファイルの長さや終端情報(EOF)などのメタデータはファイル内部には含まれません。 ファイルを管理するために必要な情報は、i ノード(inode) と呼ばれるデータ構造に格納されます。 各ファイルには一意の i ノードが割り当てられ、ファイルシステム内での識別に使用されます。 UNIX の ファイルシステムの構造 や カーネルのファイル管理機能 は、システムごとに異なります。しかし、POSIX 標準 では、i ノードに格納すべき最低限の属性が規定されています。POSIX 準拠のシステムでは、以下の情報を i ノードに保持する必要があります。 ファイルの種類(通常ファイル、ディレクトリ、シンボリックリンクなど) ファイルに関連付けら

          Linux概要 - UNIXファイルシステムの概要(2) - Qiita
        • Branch Deploy Action: GitHub Actions でブランチデプロイと IssueOps を試す - kakakakakku blog

          The GitHub Blog の記事 Enabling branch deployments through IssueOps with GitHub Actions を読んで「branch deployments(ブランチデプロイ)」というデプロイ戦略を知った💡 プルリクエストを main ブランチにマージしてから本番環境にデプロイするのではなく,プルリクエストを直接本番環境にデプロイして,動作確認の結果問題なしと判断できてからプルリクエストを main ブランチにマージするという流れが特徴的❗️そして,デプロイに異常があってロールバックする場合は main ブランチをデプロイして復旧する💡 記事に載ってるブランチ画像(Merge Deploy Model と Branch Deploy Model)は非常にわかりやすく見てみてもらえればと〜 github.blog IssueOp

            Branch Deploy Action: GitHub Actions でブランチデプロイと IssueOps を試す - kakakakakku blog
          • Railsキャッシュストアのベンチマーク比較: Redis vs 他のデータストア(翻訳)|TechRacho by BPS株式会社

            概要 元サイトの許諾を得て翻訳・公開いたします。 英語記事: Benchmarking caching in Rails with Redis vs the alternatives - BigBinary Blog 原文公開日: 2025/02/04 原著者: Sandip Mane 日本語タイトルは内容に即したものにしました。 最近、Redisの代替が次々に登場していて、うちいくつかは大幅なパフォーマンス向上を謳っています。私たちは、Redisから代替に切り替えたときのパフォーマンスがどの程度向上するかを調べるために、このベンチマークを実施しました。 私たちは、Redisの代替として利用可能な以下の新しいデータストア候補をいくつか調査しました。 Valkey1 DragonflyDB DiceDB また、DBベースのアプローチを優先することでインメモリストレージに挑戦するRails独自

              Railsキャッシュストアのベンチマーク比較: Redis vs 他のデータストア(翻訳)|TechRacho by BPS株式会社
            • Embulkのcoreのソースコードから紐解くデータ転送のしくみ

              この記事は trocco Advent Calendar 2023 の6日目の記事となります。 はじめに 今回はtroccoの内部でも利用されているETLのためのOSSであるEmbulkについて、core部分のソースコードリーディングを通して、そのしくみを紐解いていきたいと思います。 おことわり Embulkの基本的な使い方などについては解説しません。 筆者はembulk-coreにコントリビュートしているわけではないので、間違いなどがあればお気軽にご指摘ください。 今回見ていくcoreの実装自体は、比較的変更が少ないとされる各種プラグインが従うべきインターフェース部分(embulk-spi)から隠蔽されているため、今後この記事の内容が正しくなくなる可能性は容易にあります。 Embulkにはguessやpreviewやresumeといった機能も含まれていますが、今回は単純なembulk r

                Embulkのcoreのソースコードから紐解くデータ転送のしくみ
              • AWS AppConfigとAWS CodePipelineの統合による機能リリースの自動化 | Amazon Web Services

                Amazon Web Services ブログ AWS AppConfigとAWS CodePipelineの統合による機能リリースの自動化 昨年、AWS AppConfigをリリースしました。これはアプリケーション設定の作成、管理及び迅速なデプロイを行う、AWS Systems Managerの新機能です。AppConfigを使用すると、デプロイメントを行う前にアプリケーション設定を検証でき、制御及び監視可能な方法で設定をデプロイできます。 AWS AppConfigを使用すると、アプリケーションコードのデプロイメントとは独立して、設定の変更をデプロイ可能です。つまり、アプリケーション設定を更新しても、アプリケーションの再起動やサービスの停止を行う必要がありません。AWS AppConfigを使用すれば、アプリケーションは更新した設定をすぐに使用できます。具体的には、AWS AppCon

                  AWS AppConfigとAWS CodePipelineの統合による機能リリースの自動化 | Amazon Web Services
                • 【2023年版】数あるSwiftの非同期処理の実現方法をきちんと理解した上で使い分けよう - machio Development Diary

                  これは Qiita iOS Advent Calendar 2023 の13日目の記事です。 概観 背景 こんな人へ向けた記事 この記事で扱う非同期処理の実現方法 GCDを用いた非同期処理 GCDとは DispatchQueue DispatchQueueへのタスク引き渡し DispatchQueueの優先度 DispatchQueueの分類 (Private Dispatch Queue) GCDの使い方 Operation、OperationQueueクラスを用いた非同期処理 Operation、OperationQueueクラスとは Operation、OperationQueueクラスの使い方 タスクの定義とキューへの追加 タスク間の依存関係の設定 タスクのキャンセル GCDとの比較 余談:Operationクラスは単体でも実行できる Threadクラスを用いた非同期処理 Thre

                    【2023年版】数あるSwiftの非同期処理の実現方法をきちんと理解した上で使い分けよう - machio Development Diary
                  • ニューラルネットワークのPruningの最新動向について - Ridge-institute R&D Blog

                    こんにちは.株式会社Ridge-iの@zawatsky_rと@machinery81です. 本記事ではPruningと呼ばれるニューラルネットワークの軽量化手法を紹介します. TL;DR Pruningとは? Pruning手法の概要 手法の違いのポイント Structure Scoring Scheduling Fine-Tuning Pruningに関する論文の紹介 Unstructured Pruning Structured Pruning 自動モデル圧縮 Amc: AutoML for Model Compressionとその亜種 AutoPruner The Lottery Ticket Hypothesis メタ研究 To Prune, or Not to Prune: Exploring the Efficacy of Pruning for Model Compressi

                      ニューラルネットワークのPruningの最新動向について - Ridge-institute R&D Blog
                    • WPF で Data Binding と Command を使ったアプリケーションをシンプルに書きたかった話 - しばやん雑記

                      数年前から WinQuickLook という Windows アプリケーションを趣味で開発しているのですが、内部実装をガラッと変えた新バージョンの開発進捗が著しく悪いことに悩んでいました。現在 V4 というソリューションで絶賛開発中となっていますが、リリース日は未定という状態です。 このアプリケーションの開発を加速させるために、ViewModel を用意するより簡単な方法を求めていました。 初期バージョンは Windows Shell 周りの実装に力を入れていたので、UI 周りは Window が 1 つでボタンが数個ある程度だったため、大体はコードビハインドを使って書いていたのですが、V4 を機に MVVM で作ろうとしたところ余りにも面倒すぎて止まっているのが現状です。 Window が 1 つのアプリで ViewModel を分離して、更に MVVM フレームワークの導入とかそっちの

                        WPF で Data Binding と Command を使ったアプリケーションをシンプルに書きたかった話 - しばやん雑記
                      • セキュリティ英単語帳

                        2022年6⽉ 独⽴⾏政法⼈ 情報処理推進機構 産業サイバーセキュリティセンター 第5期中核⼈材育成プログラム 「セキュリティエンジニアのための English Reading」プロジェクト 動詞 単語 意味 関連語 使用例 include ~を含む 【名】inclusion: 包含、含まれるもの 【形】inclusive: すべてを含んだ the email including a malicious macro 悪意のあるマクロを含むメール steal ~を盗む steal sensitive information 機微な情報を盗む exploit (脆弱性) を突いて攻撃する 【名】エクスプロイト (コード) 【名】exploitation: (脆弱性を突く) 攻撃 【形】exploitable: 悪用可能な actively exploited vulnerability よく攻

                        • ISUCON12予選参加記 Rustで予選突破した

                          2022年7月23日(土) に開催された ISUCON 12 に Rust で参加して20位で予選突破しました。 チーム チームO omu: https://omuric.github.io/posts/isucon12-qualify/ dice801: https://zenn.dev/dice801/articles/760f8fc6af5a08 daiju (自分) 事前準備 基本的には前年までに用意したツールを活用する cargo-make で3台の EC2 への deploy や再起動やログの集計をコマンド一発で実行可能にする isuconf で現地と手元の設定ファイルの同期 omu の自作コマンド どちらも年に1回しか登場しないので、事前の練習でコマンドを手に馴染ませておく。 Rust のためのトレースツールの整備 https://github.com/hinohi/rust

                            ISUCON12予選参加記 Rustで予選突破した
                          • 【書評】殻を破る思考法 和佐高志 ダイヤモンド社 - 京都のリーマンメモリーズ

                            今週のお題「最近おいしかったもの」 最近、おいしかったのは、檸檬堂のレモンサワーです。これは、他のサワーと違い本格的なレモンのおいしさを感じるサワーになっています。この商品はなんと、あの、ソフトドリンクの老舗、コカ・コーラが発売しています。今回は、新しいものをつくりメガヒットに結びつける方法を教えてくれるすんごい本を紹介します。(笑) 【1.本書の紹介】 【2.本書のポイント】 【3.本書の感想】 【4.関連書籍の紹介】 【1.本書の紹介】 ヒット商品を出したい! 製品を企画している人ならだれでも強く思う事だと思います。 このブログも、どこかで間違って、たくさん読まれるといいなーと思っています。(笑) 一般的に、メガヒットを出した聞くと、たまたま当たったんじゃない? なんて思われそうですが、実は、売れるようにするには、基本となる大切なことがあるようです。 さて、どういう事に気を付ければ、良

                              【書評】殻を破る思考法 和佐高志 ダイヤモンド社 - 京都のリーマンメモリーズ
                            • AIエージェントは何から取り組む?社内取り組み紹介 - AITC - ISID | AI トランスフォーメンションセンター コラム

                              こんにちは!AIソリューショングループの太田です。 このコラムでは生成AIエージェントは知っているが、何から始めるべきか分からない方向けに、生成AIエージェントを使った問い合わせ対応の取り組みを紹介します。 さらに、私たちの生成AIエージェント開発の失敗談や工夫点も紹介しています。 みなさんの今後の開発や検証の参考になれば幸いです。 生成AIエージェントとは? 生成AIエージェントは何ができますか? 最初におすすめの検証 電通総研の取り組み紹介 問題設定:ヘルプデスクの一次回答 挑戦的なポイント 開発に利用したもの 活動1)エージェントのワークフローを準備 活動2)評価データセットでの精度検証と課題の洗い出し 活動3)ナレッジのドキュメント化 活動4)各LLMの観測範囲のチューニング 活動5)計画のプロンプトエンジニアリング 活動6)ツール呼び出しのチューニング 活動7)振り返りのプロンプ

                                AIエージェントは何から取り組む?社内取り組み紹介 - AITC - ISID | AI トランスフォーメンションセンター コラム
                              • KotlinのO/R Mapper、Komapperを試してみました - 虎の穴開発室ブログ

                                こんにちは。虎の穴ラボのH.Kです。 KotlinのO/R MapperといえばJetBrains製のExposedが有名ですが、DSLを介さないSQL文そのもの(Native SQL)の実行が基本的にはサポートされていない*1など、まだまだ発展途上な面もあります。 また、SQL文をそのまま使うとなると、Doma2が2Way-SQL*2により実現できますが、Kotlinならではの、DSLによるクエリ発行ができません。 ※最新のDoma2であればCriteria API*3ができているので、DSLによるクエリ発行は可能になっています。 そこで他のO/R Mapperを探していたところ、Komapperというライブラリを見つけたため、試してみました。 ↓Exposed github.com ↓Doma2 github.com ↓Komapper github.com なぜKomapperを試し

                                  KotlinのO/R Mapper、Komapperを試してみました - 虎の穴開発室ブログ
                                • 具体的な実装コードからEvent Sourcingを理解する - かとじゅんの技術日誌

                                  DDD Community JPのほうでCQRS/Event Sourcingについて少し盛り上がったので、どういう議論をしたかまとめるのと同時に補足も追加しました。ちなみに、Event Sourcingが主題ですが、CQRSも前提として関係します。その想定で読んでいただければと。 発端はこのツイート。 これはEvent Sourcingじゃないと無理ですね。状態に基づく限り、ストリーム処理は難しいです https://t.co/prB16GJC5q— かとじゅん (@j5ik2o) 2020年9月14日 僕が引用したツイートは松岡さんの質問箱に対するリアクションです。その質問箱に寄せられた質問は以下。 ストリームを開いてから閉じるまでのデータが変化する毎にUIで表示したい場合、DDDではどのように設計したら良いでしょうか? DDDのリポジトリは1つのリクエストに対して1つのリクエストを返

                                    具体的な実装コードからEvent Sourcingを理解する - かとじゅんの技術日誌
                                  • Hypothesisとpytestを使ってDjangoのユニットテストを書く - 何かを書き留める何か

                                    Hypothesisとは何か、プロパティベーステストとは何か Hypothesisは、Python向けのプロパティベーステストのライブラリである。 プロパティベーステストは、生成された多数の入力データに対してプロパティ(性質)が満たされるかどうかをテストする手法である。 HaskellのQuickCheckライブラリが初出で、現在は各プログラミング言語に移植されている。 従来のユニットテストは、ある程度固定したテストデータを指定してテストを行っていた。 その際、境界値分析などで妥当なパラメータを決定していた。 しかし、境界値分析が必ず通用するとは限らないし、人間が行う以上、ミスも発生する。 プロパティベーステストはデータを固定する代わりにそのデータが満たすプロパティを指定してテストを行う。 実際のテストケースはHypothesisがプロパティを満たすパラメータを決めて生成してくれる。 人力

                                      Hypothesisとpytestを使ってDjangoのユニットテストを書く - 何かを書き留める何か
                                    • しくじり先生のように学ぶ「NFS+sqliteで苦労した話から学ぶ、問題解決の考え方」という勉強会をやってみました | Raccoon Tech Blog [株式会社ラクーンホールディングス 技術戦略部ブログ]

                                      株式会社ラクーンホールディングスのエンジニア/デザイナーから技術情報をはじめ、世の中のためになることや社内のことなどを発信してます。 インフラLinux勉強会SQLiteNFS こんにちは、羽山です。 今回は社内で実施した勉強会をほぼそのままブログ記事にしています。 ITエンジニアたるものドキュメントを残したり勉強会を実施したり分かりやすい設計にリファクタリングしたりなど、日々 知見の伝達 を意識していると思います。主要な知見はたいていそれらの方法で満たせるのですが、しかし残念ながら中には画一的な方法では伝えにくいものもあったりします。 ところで伝統芸能や工芸の世界では技術の継承において 背中を見て学ぶ という方法が用いられることがあるようです。 これと似た手法はITエンジニアの世界にもあって、先輩エンジニアとペアプログラミングをすることで文書では伝わりにくい技術や考え方・テクニックを学ぶ

                                        しくじり先生のように学ぶ「NFS+sqliteで苦労した話から学ぶ、問題解決の考え方」という勉強会をやってみました | Raccoon Tech Blog [株式会社ラクーンホールディングス 技術戦略部ブログ]
                                      • WebAssembly 入門してみた

                                        WebAssembly 入門してみた 最近こんなニュース記事を見て、 WebAssemblyに対してクラウドサービスを抽象化、そのままAWSでもAzureでもGoogle Cloudでも実行可能にする「SpiderLightning」、Deis Labsが公開、標準化も推進 いろんなOSにまたがった実行環境という意味ではJavaのJVMみたいだなと思ったり(Javaそんなに詳しくないけど)、「WebAssemblyってそんなこともできるのか...」とちょっと興味を惹かれた。 名前のちょっとした概要だけは知っている所謂「にわか勢」だったので、良い機会だし少しちゃんと調べてみる。 そもそもWebAssemblyて とりあえず公式ページを見てみると、こんな記載がある。 WebAssembly (abbreviated Wasm) is a binary instruction format fo

                                          WebAssembly 入門してみた
                                        • ピクシブ百科事典のテストにphp-mysql-engineを導入しました - pixiv inside

                                          はじめましての方ははじめまして、アルバイトとして働いているJavakkyです。 本記事では、データベースを利用するアプリケーションのテストに利用できるphp-mysql-engineというライブラリの導入方法と使用感について紹介します。 github.com php-mysql-engineとは php-mysql-engineは動画共有サイトを運営するVimeo社が開発しています。このライブラリの目論見はVimeo Engineering Blogで説明されています。 medium.com このライブラリはVimeo社のMatt Brownさんが二年前に開発していたhacktophpを用いて、Slack社がHackで実装したslackhq/hack-sql-fakeをPHPコードに変換したものを下敷きにしています。 開発者のMatt Brownさんは、静的解析でVimeo社のコードを改善

                                            ピクシブ百科事典のテストにphp-mysql-engineを導入しました - pixiv inside
                                          • 290モデル以上のMSI製マザーボードでセキュアブートがまったく機能していないことが判明

                                            近年流通しているマザーボードには、ブート可能なOSを制限してセキュリティを強化する機能「セキュアブート」が搭載されています。ところが、セキュリティ研究家のDawid Potocki氏によってMSI製マザーボードのセキュアブートに欠陥が存在することが明らかになりました。発見された欠陥は290種類以上のマザーボードに共通して存在しており、それらのマザーボードを搭載したPCでは安全でないOSが実行されてしまう可能性があります。 MSI's (in)Secure Boot - Dawid Potocki https://dawidpotocki.com/en/2023/01/13/msi-insecure-boot/ セキュアブートはUEFIに搭載されたセキュリティ機能で、PCの起動時にOSの署名とUEFIファームウェアに保存された署名情報を照らし合わせて未署名のOSや誤った署名が施されたOSの起

                                              290モデル以上のMSI製マザーボードでセキュアブートがまったく機能していないことが判明
                                            • Javadoc の @throws に例外を網羅的に書くメリット | DevelopersIO

                                              本記事は Javadoc に @throws を書く習慣の無い方に、@throws を書いてみようかな?と思っていただくことを目標に書きました。 本記事は Javadoc に @throws を書く習慣の無い方に、@throws を書いてみようかな?と思っていただくことを目標に書きました。 前提 いわゆるコードの保守性よりもバグを出さないことの優先順位が上、という思想の元に、実際に開発に適用してみて割とよかった話、として記載しています 開発しているアプリ(prismatix)の性質上そうしている、というところが大いにあると思うので、マッチしない環境も多々あると思います Webアプリケーションで、ハンドリングされない例外があるとステータスコード500が返って、不要なアラートがバンバン飛んで辛くなるのは NG にしたい、みたいな背景があります 以下のような開発対象や開発環境だと、あまりメリット

                                                Javadoc の @throws に例外を網羅的に書くメリット | DevelopersIO
                                              • FractalDB:内製分散DBaaSに対する最適化ヒント句の実装(インターンレポート)

                                                はじめに こんにちは。筑波大学情報学群情報科学類3年の浅田睦葉と申します。 私は2024年9月に行われた8日間のサマーインターンシップで、内製分散データベースシステム FractalDB の開発業務に参加しました。この記事では、インターンシップ中の課題とその取り組みについて紹介します。 FractalDB FractalDBとは、LINEヤフー内製で開発・運用されている分散データベースシステムです。現在、同じ分散データベースシステムであるApache Cassandraは、各サービス向けに独立にデータベースを構築し運用されています。 内部では分散型のキーバリューストアであるFoundationDBが使用されており、Cassandraクライアントから送信されるパケットをパースしてCQLを受け取り、FoundationDBへの操作に変換しています。したがって、これまでCassandraを利用し

                                                  FractalDB:内製分散DBaaSに対する最適化ヒント句の実装(インターンレポート)
                                                • GMO Flatt SecurityのRyotaKがGitの認証情報漏洩につながる6個の脆弱性をGitおよびGitHub関連サービスに報告

                                                  GMO Flatt SecurityのRyotaKがGitの認証情報漏洩につながる6個の脆弱性をGitおよびGitHub関連サービスに報告 GMOインターネットグループでプロダクト開発組織に向けたサイバーセキュリティ関連事業を展開するGMO Flatt Security株式会社(代表取締役社長:井手 康貴 以下、GMO Flatt Security)の「脆弱性リサーチプロジェクト」において、セキュリティリサーチャーのRyotaKがGitの認証情報漏洩につながる6個の脆弱性を報告しました。 関連するプログラム・サービスをご利用の皆様はアドバイザリに従いアップデート等の対策を実施することを推奨いたします。 「脆弱性リサーチプロジェクト」とは GMO Flatt Securityはソフトウェアプロダクトの脆弱性診断を主軸としてサービスを展開しており、脆弱性の検出において世界トップクラスの実力を持

                                                    GMO Flatt SecurityのRyotaKがGitの認証情報漏洩につながる6個の脆弱性をGitおよびGitHub関連サービスに報告
                                                  • 越境が簡単なRailsでどのようにモジュラモノリスを実現するか 「境界分け」と「Active Recordの制限」に対する取り組み | ログミーBusiness

                                                    モジュラモノリスを導入に向けて境界分けをどうするか志賀誠氏:じゃあ今度は、モジュラモノリスの実現の方法について説明します。(スライドを示して)Railsでモジュラモノリスを導入するにあたって、パッと思いつくもので、このスライドにあるような問題があるかと思います。 1個は、やはりRailsはRubyなので、なんでも書けちゃうということがあると思います。もうやろうと思ったらいくらでも越境できちゃう境界区域とかがあると思います。 もう1個はActive Recordが強力ですよね。「Arel」もあると思いますが、けっこう自由に書けるので、「どこのテーブルに対して何のクエリを投げる」という制限をかけるのを真面目にやろうとするとなかなか大変だというような思いがあって。このあたりをhacomonoでどんな感じで対応したのかを説明します。 弊社も例に漏れずにpackwerkを使っています。packwer

                                                      越境が簡単なRailsでどのようにモジュラモノリスを実現するか 「境界分け」と「Active Recordの制限」に対する取り組み | ログミーBusiness
                                                    • 形式手法でデータ構造を記述・検査してみよう:Alloy編 - DeNA Testing Blog

                                                      SWETの仕様分析サポートチーム所属のtakasek(@takasek)です。 仕様分析サポートチームでは、社内のプロダクト開発に対する形式手法の活用可能性を模索しています。当ブログでも、継続的に形式手法に関する情報発信をしています(形式手法 カテゴリーの記事一覧)。 当記事は、Kuniwak(@orga_chem)により社内開催されたAlloyガイダンスを元に再構成した記事です。よく知られたデータ構造であるStackを形式仕様記述しビジュアライズすることで、Alloyの使い方と利点を実感できます。Alloy未経験者でもステップバイステップで試せるように構成しました。是非、お手元にAlloyをインストールして読み進めてください。環境はAlloy 5.1.0を想定しています。 https://github.com/AlloyTools/org.alloytools.alloy/release

                                                        形式手法でデータ構造を記述・検査してみよう:Alloy編 - DeNA Testing Blog
                                                      • Google スプレッドシートのデータを JS で fetch したい! - Qiita

                                                        Google スプレッドシートを方眼紙としてではなく、ちゃんとデータを保存するテーブルとして使用していた場合、外部のシステムからそのデータを使用したいと思うのは必然ですよね?なんなら Web のフロントエンドから直接 JavaScript で fetch して使いたいですよね?? それ簡単にできますよ?そう、Google Apps Script ならね! 例えば Google スプレッドシートにこんなデータがあって、このデータを外部から JSON で取得したいとしましょう。この記事の最後に完成するこんな API を作るという事です。 それには、前述のように Google Apps Script を書く必要があるので、ツールからスクリプトエディタを開きます。 ただこのエディタ、挙動がおかしくてすこぶるストレスがたまるので、ちょっとしたスクリプトを書いたり既存のスクリプトの簡単な修正ならともか

                                                          Google スプレッドシートのデータを JS で fetch したい! - Qiita
                                                        • 週刊Railsウォッチ: Active Modelで属性のパターンマッチをサポート、猫でもわかるHotwire入門ほか(20220516前編)|TechRacho by BPS株式会社

                                                          週刊Railsウォッチについて 各記事冒頭には🔗でパーマリンクを置いてあります: 社内やTwitterでの議論などにどうぞ 「つっつきボイス」はRailsウォッチ公開前ドラフトを(鍋のように)社内有志でつっついたときの会話の再構成です👄 お気づきの点がありましたら@hachi8833までメンションをいただければ確認・対応いたします🙏 TechRachoではRubyやRailsなどの最新情報記事を平日に公開しています。TechRacho記事をいち早くお読みになりたい方はTwitterにて@techrachoのフォローをお願いします。また、タグやカテゴリごとにRSSフィードを購読することもできます(例:週刊Railsウォッチタグ) 🔗Rails: 先週の改修(Rails公式ニュースより) コミット差分: Comparing @{2022-04-29}...main@{2022-05-1

                                                            週刊Railsウォッチ: Active Modelで属性のパターンマッチをサポート、猫でもわかるHotwire入門ほか(20220516前編)|TechRacho by BPS株式会社
                                                          • ラックグループ内CTF「LACCON 2022」で作問した話 - ラック・セキュリティごった煮ブログ

                                                            こんにちは、デジタルペンテスト部のst98です。 私がこのブログでこれまで投稿してきた記事は、いずれもCTFに参加する側の視点から書いたwriteupでした。本記事では、CTFの問題を作る側の視点に立ってお話をしたいと思います。 弊社では、毎年「LACCON」というラックグループ内CTFが開催されています。このCTFにいくつか問題を提供したので、どのように問題を作ったか、具体的にどんな問題を出題したかといったことをご紹介します。 LACCONとは どんな問題を作ったか [Web 234] Hadena Star (7 solves) 問題の概要 解法 裏話 おわりに LACCONとは 冒頭でも述べましたが、LACCONはラックグループ内で毎年開催されているCTFです。LACCONのもうちょっと詳しい話については、LAC WATCHで公開されている記事がありますので、そちらをご覧ください。

                                                              ラックグループ内CTF「LACCON 2022」で作問した話 - ラック・セキュリティごった煮ブログ
                                                            • AWS Systems Manager Patch Manager でパッチ適用前後にアクションが実行できるようになりました! | DevelopersIO

                                                              AWS Systems Manager Patch Manager でパッチ適用前後にアクションが実行できるようになりました! AWS Systems Manager Patch Manager(以下、 Patch Manager) で、アップデートがありました! Take actions before and after patching to improve safety during patch installation パッチ適用する際に、適用以外にも付随する作業があるケースが多いのではないかと思います。例えば、設定ファイルバックアップやクラスターのような構成からの一時的な除外、また実行後の結果確認や影響確認などなど。このようなちょっとした前処理や後処理を Patch Manager の中で任意のアクション( Run Command )として指定し、実行出来るようになりました! 引

                                                                AWS Systems Manager Patch Manager でパッチ適用前後にアクションが実行できるようになりました! | DevelopersIO
                                                              • 【連載①】大規模言語モデル(LLM)のビジネス利用に関して注意すべき点-LLMの使用許諾条件- - Platinum Data Blog by BrainPad ブレインパッド

                                                                本記事は、当社オウンドメディア「Doors」に移転しました。 約5秒後に自動的にリダイレクトします。 このたびブレインパッドは、LLM/Generative AIに関する研究プロジェクトを立ち上げ、この「Platinum Data Blog」を通じてLLM/Generative AIに関するさまざまな情報を発信をしています。 今回は、LLMのビジネス利用に関して注意すべき点、その中でも使用許諾条件についてまとめました。 はじめに 本連載で扱うLLMサービスのイメージと想定する対象者 連載内容(予定) LLMの使用許諾条件について ①プラットフォーマーが提供するサービスの利用条件(主にサービス提供者・ユーザーの方向け) サービスの商用利用の可否 利用条件(制限事項) ②ソースコードが公開されたモデルのライセンス(主にプラットフォーマーの方向け) モデル等の主な使用条件 ライセンス情報の確認方

                                                                  【連載①】大規模言語モデル(LLM)のビジネス利用に関して注意すべき点-LLMの使用許諾条件- - Platinum Data Blog by BrainPad ブレインパッド
                                                                • Ruby で一番呼ばれたり定義されたりするメソッドはなんでしょう、調べてみました! - STORES Product Blog

                                                                  テクノロジー部門で Ruby インタプリタ開発をしている笹田です。 Ruby ではメソッドを駆使してプログラミングをします。そんな Ruby を使っていると、一番使われているメソッド や 一番定義されているメソッド を知りたいと思ったことはありませんか? 私はありませんでした。 が、ものは試しと調べてみました! 調査は、あるタイミングの Ruby の RubyGems で取得できるすべての Gem (の各 Gem の最新版)を集めてきて、その中の .rb ファイルをすべて読み込み、字面上で呼び出されているメソッドと、定義されているメソッドを集計したものです。実際に動かしたときに呼ばれたり定義されたりするメソッドの数の集計ではないことに注意してください(それは、実行しないとわからないので、網羅的な調査は難しいのです)。 ちなみに、この記事は、Ruby のメソッド定義時に仮引数があるとき、それ

                                                                    Ruby で一番呼ばれたり定義されたりするメソッドはなんでしょう、調べてみました! - STORES Product Blog
                                                                  • Linux 6.8リリース、メインラインのGitオブジェクト数はまもなく1000万に | gihyo.jp

                                                                    Linux Daily Topics Linux 6.8リリース⁠⁠、メインラインのGitオブジェクト数はまもなく1000万に Linus Torvaldsは2024年3月10日(米国時間⁠)⁠、「⁠Linux 6.8」の正式版を公開した。通常のカーネルサイクルと同様に開発期間に約2ヵ月、7本のリリース候補版を経ての公開となる。 Linusはリリースにあたって「いくつかの作業に行き詰まりはあったが、リリースを予定より遅らせる理由は何もない。Linux 6.8はすべての点で平均的なリリースで、新しいファイルシステムやアーキテクチャの採用はない。目立つことといえば、Gitオブジェクトの数が1000万未満となる最後のメインラインカーネルになることくらいかな。オブジェクトの数は999万6,000個に達しており、linux-nextツリーではすでに超えている。もっともすばらしくキリが良い数字という以

                                                                      Linux 6.8リリース、メインラインのGitオブジェクト数はまもなく1000万に | gihyo.jp
                                                                    • ロジックを書くときは抽象度を揃えるように気を付けている話 - がんばるぞ

                                                                      この記事はスターフェスティバル Advent Calendar 2021 の19日目です。 qiita.com 尽く会社と関係のない話ばっかりしていてアレですね。 抽象度揃ってる方がイイヨーみたいな話をレビューとかでたまにしているので、ちゃんと言語化しよーと思ったのでブログに書くことにしました。 自然言語で考える 抽象度を揃えるというとなんか難しそうな雰囲気がありますが、日常会話で無意識にやっていることをプログラムでもやってみようくらいの感覚です。 例えば今日の予定を家族に伝える時は「今日は友人とご飯に行ってくる」みたいなことを言うかと思いますが、こういうのが抽象度が揃った状態かなーと思います。 じゃあ抽象度が狂うとどうなるのかというと「2021年11月15日11時15分に家を出て11時30分発○○行きの電車に乗って○○駅で中学の頃から仲の良い○○くんと合流した後、東京都○○区○○1−2−

                                                                        ロジックを書くときは抽象度を揃えるように気を付けている話 - がんばるぞ
                                                                      • 2023 年注目トレンドの一つ!ツール拡張言語モデルの最前線

                                                                        本ブログ「ステート・オブ・AI ガイド」のサービスは 2023 年 3 月 31 日 (金) をもちまして正式に終了させていただくこととなりました。なお、購読中の読者の方は、各自購読プランの解約を、必ずご自身で行うようお願い申し上げます。 購読プランを解約しない限り、4月以降も継続して課金されてしまいます。解約の方法、問い合わせ先などの詳細につきましては、こちらのアナウンス記事をご参照ください。 文責:高木志郎 近年の言語モデルの躍進には皆さんも驚かれていることと思います。そんな言語モデルにもまだ苦手なことがあります。例えば、存在しないはずの事実をでっち上げたり、最新の出来事には対応できなかったりします。また、数学的な能力でもまだ完璧に正確に答えることができない時もあります。 しかし、人間も必ずしもこれらを頭の中だけで正確にできる訳ではありません。人間も知らない事実について聞かれた時には検

                                                                          2023 年注目トレンドの一つ!ツール拡張言語モデルの最前線
                                                                        • ゼロからはじめるPython(71) Excelで読めないSQLiteデータをPythonで読んでExcelに差し込みたい

                                                                          時々、Excelで読み込めない形式のデータや、独自形式のデータをExcelのシートに貼り付けたい場合がある。Pythonの豊富なライブラリを使えば様々なデータ形式を手軽に読み込める。今回は、SQLite形式のデータをPythonで読み込んでExcelに貼り付けてみよう。 SQLiteのデータをPythonで読み込んでExcelに挿入したところ Excelに貼り付けたいけどExcelだけでは読めないデータもある Excelのデータインポート機能は非常に高機能だ。CSV/TSVなど汎用テキストデータだけでなく、Webでよく使われるXMLデータからJSONデータのインポートにまで対応している。 しかし、時々、Excelで読み込めない形式のデータや、独自形式のデータをExcelのシートに貼り付けたい場合がある。Excelで直接読めなくても別のアプリを使ってクリップボード経由でExcelに貼り付ける

                                                                            ゼロからはじめるPython(71) Excelで読めないSQLiteデータをPythonで読んでExcelに差し込みたい
                                                                          • OpenAI API の Structured Outputs の使い方|npaka

                                                                            以下の記事が面白かったので、簡単にまとめました。 ・Introducing Structured Outputs in the API 1. Structured Outputs昨年のDevDayで、「JSONモード」を導入しました。これは、OpenAIのモデルを使用して信頼性の高いアプリを構築しようとしている開発者にとって便利な構成要素です。「JSONモード」は、有効なJSON出力を生成するためのモデルの信頼性を向上させますが、モデルの応答が特定のスキーマに準拠することを保証するものではありません。本日、APIに「Structured Outputs」を導入します。これは、モデルによって生成された出力が、開発者が提供するJSONスキーマと完全に一致するように設計された新機能です。 複雑なJSONスキーマのフォローの評価では、「Structured Outputs」を備えた新しいモデル「g

                                                                              OpenAI API の Structured Outputs の使い方|npaka
                                                                            • とほほのSELinux入門 - とほほのWWW入門

                                                                              SELinuxとは DACとMAC SELinuxをインストールする SELinuxの有効化・無効化 ApacheでSELinuxを試してみる SELinuxポリシー コンテキスト ファイルのラベリング Access Vectorルール ドメイン遷移 ポートのラベリング アトリビュート SELinuxブール値 RBAC(Role Based Access Control) MCS(Multi Category Security) MLS(Multi Level Security) サイレント拒否 ApacheでCGIを動かしてみる その他の解決 関連コマンド getenforce/setenforceコマンド sestatusコマンド ausearchコマンド audit2whyコマンド audit2allowコマンド seinfoコマンド sesearchコマンド chconコマンド f

                                                                              • RubyKaigi 2023の感想 - okuramasafumiのブログ

                                                                                TL;DR 最高でしたね。LTができたのと多くの人と話せたのが特に良かったですが、トークやパーティーなど、これぞRubyKaigiという感覚が非常に強くて感動しました。 はじめに この記事はRubyKaigi 2023の感想記事です。基本的にはRubyKaigiについて知っている人を対象としています。基本的な情報は記載しません。 一言でいうと 最高でした! いや、なんでしょう、RubyKaigiは2016年から基本毎年参加していて(2018年のみ不参加)、全部楽しかったのですが、今年は自分にとって今までで一番楽しかったです。 この記事の構成について この記事は主に3つのパートで構成されています。 まず最初は私が聞いた各トークの感想です。なお、トークのメモは一切取っていない(忘れたというよりは、気力が持たなかった)ため、うろ覚えでの記述になっていることをご承知おきください。 次のパートは私が

                                                                                  RubyKaigi 2023の感想 - okuramasafumiのブログ
                                                                                • Interview | 安田潤司 | 磁場を動かすパンクの遺伝子 | AVE | CORNER PRINTING

                                                                                  日本における1980年代のハードコア・パンク黎明期を生々しく捉えた数少ない記録としてのみならず、作家性を伴う独立した作品としても完成されたドキュメンタリーを多く制作し、以降も移り変わるサブカルチャーの概念を時代とともに見つめ直しながら活動を続けてきた映像作家・安田潤司が、現在に至るまでの自身の体験を綴ったエッセイ『パンクス 青の時代』(DU BOOKS)を2月に上梓。同書には、パンク・ムーヴメントの発見から、G.I.S.M.をはじめとする当事者たちとの邂逅と交友、シーンの変遷、自身のクリエイティヴィティに対するスタンスなどが、監督個人の視点で明瞭に記されています。 本稿では、当時のパンク / ニューウェイヴに魅せられ、自身の表現形態にもリアルタイムでは経験し得なかった者ならではの考察と憧憬 / 幻想を投影しているアライケンゴ(Catastrophe Ballet, 童子, 珠鬼)が、安田監

                                                                                    Interview | 安田潤司 | 磁場を動かすパンクの遺伝子 | AVE | CORNER PRINTING