この記事は、”Taking a comprehensive perspective to mainframe application modernization with a disposition strategy” を翻訳したものです。 はじめに メインフレームのお客様は、モダナイゼーションの選択肢が無数にあります。現在、多くの組織は、人材不足や、高額なコストとその上昇、レガシー環境ではビジネスアジリティに制限が掛かることで、モダナイゼーションが急務となっています。また、お客様自身も、モダナイゼーショ

レガシーメインフレームアプリケーションは、企業全体の重要な事業運営のバックボーンの一部ですが、これらのシステムにはモダナイゼーションに関する重大な課題があります。メインフレームは何十年にもわたって信頼性が証明されてきましたが、多額の技術的負債を蓄積し、専門知識の需要はますます少なくなり、迅速なイノベーションと機能の導入を妨げています。AWS Mainframe Modernization with Rocket Software は、お客様が切望していたこれらのレガシーアプリケーションの知的財産を元のソー

本ブログは 2024 年 9 月 10 日に公開された Amazon Science Blog “ Better-performing “25519” elliptic-curve cryptography ” を翻訳したものです。 自動推論と CPU マイクロアーキテクチャ固有の最適化により、パフォーマンスと実装の正当性の保証がともに向上します。 暗号アルゴリズムはオンラインセキュリティに不可欠です。Amazon Web Services (AWS) では、Google の BoringSSL プロジェ

本ブログは 2024 年 8 月 8 日に公開された Amazon Science Blog “ Formal verification makes RSA faster — and faster to deploy ” を翻訳したものです。 Amazon の Graviton2 チップ向け最適化で効率が向上し、形式的検証により開発時間も短縮しました。 オンラインにおける安全な取引のほとんどは、RSA のような公開鍵暗号方式によって保護されています。RSA のセキュリティは、大きな数の素因数分解が困難であ

はじめまして！ バリューチェーン本部の花ヶ崎雄太と申します。 新卒1年目の12月に一般社団法人コンピュータ教育振興協会（ACSP）の主催する3次元CAD利用者技術試験の準1級を受験し、合格いたしました。 今回はそれについて、 ・3次元CAD試験とは ・受験の理由と感想 ・出題される問題の概要と傾向 ・実際の学習方法 ・合格のコツ の5つに分けてご紹介します。 本記事の想定読者 ・3次元CAD利用者技術試験に興味がある/取得の予定があるが、CADの操作については未習得な人 ・仕事や学業で製造系の業界や学問に

本ブログは 2024 年 12 月 10 日に公開された AWS Blog “ AWS-LC FIPS 3.0: First cryptographic library to include ML-KEM in FIPS 140-3 validation ” を翻訳したものです。 AWS-LC FIPS 3.0 が National Institute of Standards and Technology (NIST) の Cryptographic Module Validation Program

本ブログは 2022 年 7 月 5 日に公開された AWS Blog “ How to tune TLS for hybrid post-quantum cryptography with Kyber ” を翻訳したものです。 2024 年 1 月 30 日: このブログ記事の API は、AWS CRT Client の新しいバージョンで変更されました。 詳細についてはこちらのページを参照してください 。 2023 年 1 月 25 日: AWS KMS、ACM、Secrets Manager の T

はじめに 株式会社WinTicketでUnity&XRエンジニアをしています。加田です。私た ...

gpt-oss-20bをCPUで推論したらGPUより爆速でした。なぜこのようなことになったのでしょうか？今日は最近のARMのCPU推論の話を書きます。 まずは、ベンチマーク結果を見ていきましょう。 評価環境 マシン: OrangePi 6 CPU: CIX CD8160 4x ARM Cortex-A720 (最大2.6 GHz) 4x ARM Cortex-A720 (最大2.4 GHz) 4x ARM Cortex-A520 (最大1.8 GHz) GPU: Immortalis G720 MC10

こちらは株式会社ココナラ Advent Calendar 2025 24日目の記事です。 みなさんは覚えていますか？ 初めてHello, World!が画面に現れた瞬間を。 あの日、確かに世界が違って見えました。 でも、今はどうでしょうか。 print "Hello, World!\n"; はじめに こんにちは、株式会社ココナラ在籍のKです。 本記事では、「Hello, World!の感動」について、あらためて考えてみたいと思います。 TL;DR AI時代、Hello, World!から感動が失われていっ

データ推進室のsaka1です。 X(旧Twitter)のソフトウェアエンジニアコミュニティをよく見ると、コード最適化を仕事

この記事は ニフティグループ Advent Calendar 2025 および Rust Advent Calendar 2025 シリーズ 1 の 9 日目の記事です。 忙しい方向け Rust でファミコンの ROM を作ろうとしたら想定外に大変だったけど楽しかった、というお話です。 mrustc + cc65 という組み合わせで Rust コードをファミコン用にコンパイルしたかった mrustc が生成した C コードを cc65 でコンパイルするためにひたすら魔改造 本物の libcore も改造し

2025 年の 5 月、.NET アプリケーションを大規模にモダナイズするための初のエージェント型 AI サービスである AWS Transform for .NET の一般提供開始を発表しました。サービスの早期導入期間中に、貴重なフィードバックをいただきました。その中で、.NET アプリケーションのモダナイズに加えて、SQL Server や従来の UI フレームワークもモダナイズしたいというご要望があることがわかりました。お客様のアプリケーションは通常、プレゼンテーション層、アプリケーション層、データ

型キャストと符号の扱いについて説明しています。特に、符号なし型から符号あり型へのキャスト時に発生する問題と、その解決方法について具体的なコード例とアセンブラの動作を交えて解説しています。

はじめに こんにちは。デリッシュキッチン開発部でバックエンドエンジニアをしている鈴木です。 Go言語の組み込み関数 len() は、一見シンプルに配列やスライスなどの「長さ」を返す関数ですが、その実装はコンパイラやランタイムレベルで特別な扱いを受けています。本記事では、 len の言語仕様からコンパイラ内部の処理フロー、SSA最適化、最終的なアセンブリコード、さらにはruntime内部構造体に至るまでを網羅的に順を追って詳しく説明していきます。 len の仕様と定数評価 まず、Go言語仕様において len