はじめに こんにちは！NTTドコモビジネスの2025年夏の現場受け入れ型インターンシップに参加させていただきました、インターン生の竹田です。私は現在高専の専攻科1年生で、普段は船舶におけるサイバーセキュリティに関する研究活動を行っています。 この記事では、私が今回のインターンシップで取り組んだ業務体験内容について紹介します。 はじめに 参加のきっかけ インターンシップ概要 OTセキュリティとOsecTの概要把握 テーマ選定 検討1: 船舶での使用プロトコル調査 NMEA 0183 IEC61162-450

本記事でわかること はじめに 背景・課題 目的 GitHub Actionsを用いたSpec Kitで仕様駆動開発を試してみる 仕様駆動開発とは Spec-Kitとは Claude Code GitHub Actionsについて オセロ対戦アプリを作ってみた Issue連携とSub-issueの活用 問題点と所感 テスト駆動開発の無視 まとめ 参考資料 本記事でわかること この記事では、AIエージェント時代の新しい開発手法として注目される「仕様駆動開発」を、 Claude Code GitHub Acti

イベント概要 半導体業界をリードする企業の皆様をお迎えし、「EDA on the Cloud – Tokyo」を開催します。オンプレミスからクラウドへの移行に悩むお客様に対し、AIとHPCが融合したEDAワークロードの未来、EDAに最適化されたAWSサービスやロードマップ、そして革新的な生成AIの活用など、EDA領域におけるクラウド活用のすべてをご紹介します。 本イベントはアメリカ、ロンドン、韓国、台湾で開催しているイベントの日本開催となり、アメリカよりAWSのEDAソリューションに精通したエキスパートが

(この記事は、 TSMC certifies Siemens EDA tools on AWS for N2/N3 process node technology を翻訳したものです。) 半導体業界は急速な技術進歩を続けており、設計ワークフローもより良いパフォーマンス、効率性、スケーラビリティのために進化することが求められています。この進化における重要なマイルストーンが Taiwan Semiconductor Manufacturing Company (TSMC) による AWS クラウド上での Si

(この記事は、 Accelerate chip-design verification process by running Siemens EDA Calibre on AWS を翻訳したものです。) Amazon はチップを設計するファブレス半導体企業でもあります。毎年複数のテープアウトを完了し、Kindle、FireTV、Echo などの製品を生み出しています。一方、Amazon Web Services (AWS) は Annapurna Labs の社内チームを通じてデータセンター運用向けの半導

はじめに みなさんこんにちは。ソリューションアーキテクトの光吉です。2025 年 5 月 20 日にヘルスケア・ライフサイエンスと半導体業界のお客様を AWS にお招きして「ハイテク製造・ヘルスケア・ライフサイエンス業界向けセキュリティインシデント疑似体験 GameDay 」を開催しました。今回はそのイベントのご紹介や当日の雰囲気をお伝えし、セキュリティへの取り組みを知って頂ければ幸いです。 AWS GameDayとは AWS GameDay は、AWS ソリューションを利用してチーム単位で現実世界の技術

2025年5月12日〜16日、経済産業省が推進するプログラム『 Generative AI Accelerator Challenge(GENIAC) 』の採択者と共に、米国ベイエリアおよびシアトルの米大手モデルプロバイダーを訪問し、技術交流セッションを実施しました。GENIAC は、 経済産業省 と 国立研究開発法人新エネルギー・産業技術総合開発機構 (NEDO) が推進する取り組みで、日本国内の生成 AI 基盤モデル開発力を底上げし、企業等の創意工夫を促すことを目的とするものです。AWSは計算資源の提

初めに 環境 問題設定 搬送最適化を考える 各問題の設定 定式化 実装 結果 計算時間の平均比較 各問題の各回数ごとの計算時間比較 最後に Appendix(定式化) 記事執筆者 初めに 前回の記事 にて、pythonの無料数理最適化ライブラリである、OR-ToolsとPuLPの性能比較を行ってみました。 前回は変数/制約式ともに数が小さい小規模な比較でした。そこで、 今回は変数/制約式が多く、 より複雑な題材を用いて性能比較を行います。 環境 Python Version 3.12.3 OS Windo

搬送最適化とは 概要 実例 論文の内容 概要 数式の詳細 定式化 まとめ 記事執筆者 搬送最適化とは 概要 搬送最適化の前に、物流最適化について解説する。物流最適化とは、物流業務全体におけるコスト削減、効率向上、労働環境改善などを目的とした取り組みである。 物流最適化には、以下のような具体的な方法がある。 トラックの最適な配送ルートの計画 データ活用で在庫管理の効率化 自動倉庫システムによる作業効率の向上 上記の中でも、特に自動倉庫システムなど、倉庫内における貨物搬送を最適化する必要が出てくる。これを搬送

家庭でのモノのインターネット (IoT) デバイスの普及が進む中、デバイス所有者はしばしば複数のユーザーにきめ細かなアクセス制御を付与する必要性が増加しています。 AWS IoT Core  を活用することで、開発者はモバイルアプリ、ウェブアプリ、デバイスに対してきめ細かなアクセス制御を備えたアプリケーションを構築できます。 例えば、スマートスペースやホテルでは、IoT を活用したパーソナライズされた体験を可能とします。スマートデバイスはユーザーの設定に基づいて照明、温度、エンターテインメントを

概要 Amazon Web Services (AWS) クラウドを使う大きな利点として、利用したサービスに対してのみ料金を支払うことができる、という点があります。このきめ細かな制御と弾力性のあるモデルにより、 オンプレミスのインフラと比較して大幅なコスト削減を実現 できます。投資から最大限の価値を引き出すための手法であり、 Well-Architected Framework の基本的な柱の 1 つが、コスト最適化です。 長い間、コスト最適化は財務チームが毎月月末に実施する遡及的な取り組みと考えられてい

こんにちは！アマゾンウェブサービスジャパン合同会社で、製造業のお客様を支援しているソリューションアーキテクトの森です。 2025年 1月 29日にオンラインセミナー「AWS re:Invent Recap – インダストリー編 製造業編」を開催致しました。 製造業のお客様のクラウド活用はエンジニアリングチェーン、サプライチェーン、サービスチェーンなど様々な領域で進んできています。昨年から注目されている生成 AI の活用も各領域で進んでおり、re:Invent 2024 でも関連するセッションが多数公開され

今回のテーマ Pythonには無料の数理最適化ライブラリがあります。有名どころでは「OR-Tools」と「PuLP」が二大巨頭ではないでしょうか。 個人的にはOR-Tools推しですが、私の周囲ではPuLPを使用する人も多く、どちらが良いのか知りたくなりました。そこで、今回は「OR-Tools」と「PuLP」に数独を解かせて、その処理速度を比較して、どちらのライブラリがよいか検証してみます。 今回のテーマ 環境 問題設定 定式化 実装 結果 最後に Appendix1(定式化) Appendix2(実装)

概要 こんにちは、ITエンジニアリング部（現デジタルテクノロジー戦略本部）のM.Fです。 今回は後編ということで、各パーツについて詳細に解説していきます！ ※前編はこちら ###card_post_id=1181### PCケース PCケースはよくタワーやミニタワーなどといった分類で大きさを分けられがちですが、今回は搭載可能なマザーボードの規格で分類していこうかと思います。これは、PCパーツの中で最も面積が大きなパーツであるため、昨今のほぼすべてのPCケースにおいて、大きさがマザーボードの規格で決まるため