この記事は毎週必ず記事がでるテックブログ "Loglass Tech Blog Sprint" の 68 週目の記事です！ 2 年間連続達成まで 残り 38 週 となりました！ はじめに（前置き） こんにちは、世界。 ログラスでQAエンジニアを担当している大平です。 突然ですが、みなさん、仕様のレビューをしていますか？レビューをしている場合は、どうやって行っていますか？ 私はQAエンジニアとして、過去に実施したテスト経験や起きた不具合、既存の機能との整合性や矛盾点、競合製品がどうなっているか、テストのしやすさなどの観点でレビューを実施します。 （ちなみにレビューについては、書籍「間違いだらけの設計レビュー」がお勧めです） ただ、過去を振り返ると、私の技量が足りないため、仕様の詳細な部分の指摘が漏れ、後工程で発覚することがQAエンジニアのキャリアの中で何度もありました。もちろん、複雑な仕様に
［速報］オラクル、ホワイトボックス化したクラウド一式をSIerに提供する「Oracle Alloy」発表。SIerがカスタマイズし自社ブランドでのサービス実現。Oracle CloudWorld 2022
［速報］オラクル、ホワイトボックス化したクラウド一式をSIerに提供する「Oracle Alloy」発表。SIerがカスタマイズし自社ブランドでのサービス実現。Oracle CloudWorld 2022 Introducing Oracle Alloy! Learn how we are helping organizations become cloud providers. https://t.co/ujIFCvAuIC pic.twitter.com/5H8V1O8gnT — Oracle Cloud (@OracleCloud) October 18, 2022 Oracle Alloyは、SIerやサービスプロバイダ自身がクラウドサービスを組み立てるためのハードウェア、ソフトウェア、Oracle Cloudで提供されているサービスを実現するためのソフトウェア、ソフトウェアアップ
こんにちは、チェシャ猫です。 Alloy は関係論理を用いた形式手法ツールの一種です。本記事では、2021 年 11 月にリリースされた Alloy 6 の新機能、Mutable Field を用いた検査について解説します。この機能を使用することで、時間発展するタイプのシステムをよりシンプルに記述できるようになりました。 なお、本記事は従来の v5 以前の Alloy に触ったことがある読者を想定しています。したがって Alloy のツールとしての位置付けや基本的な文法・機能については説明しません。興味のある読者には『抽象によるソフトウェア設計ーAlloy ではじめる形式手法』（以下 Jackson 本）をお勧めします。 それでは早速、Alloy 6 をダウンロードして始めましょう。 TL;DR Mutable Field が導入され、時刻に従って変化するような関係が記述可能になった それ
SWETの仕様分析サポートチーム所属のtakasek（@takasek）です。 仕様分析サポートチームでは、社内のプロダクト開発に対する形式手法の活用可能性を模索しています。当ブログでも、継続的に形式手法に関する情報発信をしています（形式手法 カテゴリーの記事一覧）。 当記事は、Kuniwak（@orga_chem）により社内開催されたAlloyガイダンスを元に再構成した記事です。よく知られたデータ構造であるStackを形式仕様記述しビジュアライズすることで、Alloyの使い方と利点を実感できます。Alloy未経験者でもステップバイステップで試せるように構成しました。是非、お手元にAlloyをインストールして読み進めてください。環境はAlloy 5.1.0を想定しています。 https://github.com/AlloyTools/org.alloytools.alloy/release
HyperX Alloy Rise レビュー 日本語配列でガスケットマウントとホットスワップに対応したゲーミングメカニカルキーボード - 格安ガジェットブログ
近年キーボード界隈は大きな発展を遂げており、キーの交換ができるホットスワップ機構、緩衝材を用いてキー部分を撓ませることにより、金属反響音をかき消すガスケットマウント構造が用いられるようになりました。 しかし、これらの先進的機能は英字配列のキーボードばかりであり、日本語配列でこれらを採用しているモデルはかなり少ないという実情があります。 そんな中でHyperXから発売されて新型キーボードであるHyperX Alloy Riseは、日本語配列ながらそれらの機能を全部のせした、素晴らしいゲーミングキーボードとなっています。 HyperX Alloy Riseの製品特徴 フルサイズと75％配列を用意 ガスケットマウント構造 ホットスワップ機構も搭載 自社開発のキースイッチを採用 チルトスタンドは１段階 打鍵感は極めて良好 高耐久なPBTキートップ ケーブルはType-C端子の着脱式 プレート交換機
modeling CRDTs in Alloy - introduction and the importance of idempotence
I've been interested in local-first software for a long time, and recently attended an event about it with a bunch of luminaries from various research groups. I learned a lot, and it rekindled my interest in syncable data structures. I've tried to sync data over the years with varying degrees of success. For example, I've known about operational transformations (OT) for a while (via Quill, but I h
GitHub - grafana/alloy: OpenTelemetry Collector distribution with programmable pipelines
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
ホットスワップ対応で光るフルサイズキーボード「HyperX Alloy Rise メカニカル ゲーミング キーボード」レビュー
2024年4月、日本HPから有線キーボードの「HyperX Alloy Rise メカニカル ゲーミング キーボード(HyperX Alloy Rise)」が登場しました。ゲーミングブランド「HyperX」初のホットスワップ対応キーボードで、バックライト点灯はもちろん、トッププレートを変更してカラーをガラッと変えることも可能。そんなHyperX Alloy Riseを日本HPから提供してもらったので、どんな打ち心地なのか実際に触って確かめてみました。 ゲーミングをより楽しく彩るHyperXのアクセサリ新製品を発表｜日本HP https://jp.ext.hp.com/info/newsroom/2024/20240424/ HyperX Alloy Rise - メカニカルゲーミングキーボード – HyperX ROW https://row.hyperx.com/ja/collectio
Alloy is an embedded integrations platform used by engineering and product teams to simplify & accelerate all aspects of integration development - from user-customizability to polling infrastructure.
富士通は2025年7月3日、基幹系などミッションクリティカルなシステムのクラウド移行を支援する「Mission Critical Transformation Service」の強化を発表した。従来の基盤検討フェーズ向け「MCインフラ最適化支援サービス」に、移行計画・実行向け「MCマイグレーション支援サービス」と運用フェーズ向け「MCプレミアムサポートサービス」を加えた。 Mission Critical Transformation Serviceの主な移行対象はオンプレミス（自社所有）環境で稼働中のオープン系システム。米オラクル製品を使ったDBサーバー、UNIXやIAサーバー、VMwareを使ったサーバー仮想化基盤などである。その中でも、「業務が重要だったり非機能要件レベルが高かったりと、これまで簡単にはクラウドへ持って行けなかったミッションクリティカルなシステムの移行を支援する」と、
この記事は新野淳一氏のブログ「Publickey」に掲載された「［速報］オラクル、ホワイトボックス化したクラウド一式をSIerに提供する「Oracle Alloy」発表。SIerがカスタマイズし自社ブランドでのサービス実現。Oracle CloudWorld 2022」（2022年10月20日掲載）を、ITmedia NEWS編集部で一部編集し、転載したものです。 Oracle Alloyは、SIerやサービスプロバイダ自身がクラウドサービスを組み立てるためのハードウェア、ソフトウェア、Oracle Cloudで提供されているサービスを実現するためのソフトウェア、ソフトウェアアップデート、トレーニング、サポートなどの一式をオラクルが提供し、SIerやサービスプロバイダはそれを基に自社でカスタマイズしたクラウドを構築し、自社ブランドのクラウドとして運用、サービス提供できる、というものです。
NTTデータが、金融・公共向けのクラウド基盤サービス「OpenCanvas」のサービス拡張を目的として、オラクルの「Oracle Alloy（アロイ）」を採用すると発表した。 日本オラクルが2024年10月24日に東京で開催した「Oracle Cloud Forum」では、基調講演にNTTデータ 執行役員 テクノロジーコンサルティング事業本部長の新谷哲也氏が登壇。Oracle Alloyを採用した背景にある国内市場でのソブリンクラウドに対するニーズ変化、またグローバル展開も含めた今後のサービス拡張方針を語った。 NTTデータによる「OpenCanvas」拡張の方向性。ソブリンニーズに対応する従来のクラウドサービスに、Alloyを用いた先進的なクラウドサービスを追加する パブリッククラウド、ソブリンクラウドの双方で「ニーズの変化」 NTTデータが2017年から提供するOpenCanvasは、
Automotive Alloy Wheel Market Size, Share, Growth Report 2030
Automotive Alloy Wheel Market Research Report Information By Finishing Type (Polished Alloy Wheel, Two-toned Alloy Wheel, and Others), Wheel Type (Compact-Size, Mid-Size, and Full-Size), Vehicle Type (Passenger Car and Commercial Vehicle), And By Region (North America, Europe, Asia-Pacific, And Rest Of The World) – Market Forecast Till 2030 Automotive Alloy Wheel Market Overview: Automotive Alloy
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【やってみた】Cursorと始める形式手法（Alloy）
Alloy 6 の新機能 Mutable Field と線形時相論理
形式手法でデータ構造を記述・検査してみよう：Alloy編 - DeNA Testing Blog
Oracle、富士通と協業しミッションクリティカル業務をクラウドに移行したい日本企業をAlloyで支援
【やじうまミニレビュー】 65%キーボードは普段使いできる? HyperX「Alloy Origins 65」レビュー
Alloy Automation | Integration Development Platform
富士通がクラウド移行支援を強化、基幹系システムを同社版Oracle Alloyへ
ホワイトボックス化したクラウド一式を提供する「Oracle Alloy」発表 SIerが自社でカスタム可能
NTTデータの「Oracle Alloy」採用、背景には「ソブリンニーズの変化」 (1/2)