「数学」に関連する技術ブログ

企業やコミュニティが発信する「数学」に関連する技術ブログの一覧です。

Amazon DynamoDB のプロビジョンドキャパシティを使用した突発的なトラフィック増加への対処

Amazon DynamoDB テーブルでプロビジョンドキャパシティを使用する場合、突然のリクエストトラフィックの増加 (スパイク) に対して、スロットルされることなく対処するための最善の方法を検討するのは課題の一つです。スロットルは、リクエストレートが設定された制限を超えたことを DynamoDB が検知した場合に発生するサービス応答です。たとえば、テーブルの書き込み

時系列データを Amazon RDS for PostgreSQL から Amazon Timestream にバッチロード機能を利用して移行する方法

Amazon Timestream は、高速でスケーラブルなフルマネージドの時系列専用データベースであり、1 日に何兆もの時系列データを簡単に保存および分析できます。Timestream は、直近のデータをメモリに保持しつつ、定義したポリシーに基づいてコストが最適化されたストレージ層に履歴データを移動することで、時系列データのライフサイクル管理にかかる時間とコストを節約し

生成系AIが小売業にもたらす好影響

2022 年 11 月に ChatGPT がリリースされて以来、インターネット上ではその話題で持ちきりでした。それ以降、小売業者は主に 2 つの質問を投げかけてきました: ChatGPT とは何ですか、そしてそれは私のビジネスにどのような影響を与えますか。ハイレベルに保ちつつも、この 2 つの質問について掘り下げ、この行き過ぎた騒ぎを理解できるかどうか確認してみましょう。 生

2023 年の e コマース アプリ マーケティングに関する AppsFlyer レポート

アマゾン ウェブ サービス (AWS) リテール コンピテンシー パートナーであり、マーケティング測定プラットフォームの AppsFlyer が、 2023 年版の e コマースアプリマーケティングレポート を公開しました。 このレポートは、e コマースアプリの分野を席巻する最新のトレンドと洞察について詳しく説明し、世界 20 か国のベンチマークと、市場ごとのインストール数、リマー

前編|従業員のお子さん向けサマースクールの時間割大公開「シフトモkidsサマースクール2023」

はじめに こんにちは!SHIFT社内広報チームです。 SHIFTでは2021年より、夏休みに従業員のお子さん(小学生)を東京本社でお預かりし、さまざまなコンテンツを提供する「シフトモ kidsサマースクール」を開催しています。今年も社内に元気な声が聞こえる2週間となりました!

ノーコード機械学習のAmazon SageMaker Canvas を使用して、画像から製造品質欠陥の検出を誰でも簡単に行う方法

低品質に起因するコスト (外部サイトリンク) は、メーカーにとって最も重要な事項です。品質に不良があると、スクラップや再加工のコストが増加し、生産スループットが低下し、顧客や企業の評価に影響を与える可能性があります。生産ラインでの品質検査は、品質基準を維持するために不可欠です。多くの場合、品質評価や欠陥の検出には人による目視検査が用いら

仕組みから知る生成AIと技術研究の今

仕組みから知る生成AIと技術研究の今 2023.8.25 株式会社Laboro.AI リードマーケター 熊谷勇一 概 要 生成AIへの注目が続いています。それもそのはず、日本はChatGPTの 利用度合いが世界的に見て高かったり、国内企業による独自のLLM(大規模言語モデル)の開発宣言が相次いでいたりします。生成AIの仕組みを今一度確認しつつ、サービス例や技術研究のトレンドも見てい

TensorflowとKerasで体験するディープラーニング チュートリアル

はじめに 本記事では、Tensorflowが提供しているディープラーニングのチュートリアルを通して、ディープラーニングがどのように動作するのか、その仕組みについて解説していきます。 https://www.tensorflow.org/tutorials/quickstart/beginner?hl=ja チュートリアルでは、ディープラーニングの処理に必要なモデルの構築、ニューラルネットワークの構築、活性化関数、過学習、最適化、

Tableau DATA SABERにチャレンジした話

はじめに マイナビ内でTableau DATA Saber認定制度に挑戦された3名に、師匠(前編)・弟子(後編)それぞれの立場で2作に分けて体験記を書いていただきました。 本記事では後編・弟子についてお届けします。前編・師匠については こちら をご覧ください。 自己紹介 ご覧いただきありがとうございます。データソリューション統括部 データ活用推進1課のT・SとS・Sです。2

関数型言語”兼”定理証明支援系Leanの環境構築

Leanとは Leanは普通の関数型言語であり、なおかつ定理証明支援系でもある大変パワフルな言語です。つまり原理上実行前にわかる性質は、型に埋め込んだり、頑張って自分で証明したりすることができます。そう考えるとワクワクしてきますね! またコンパイラフロントエンドのAPIを自由にユーザーが使えるので、標準の文法や意味論とまったく同じレベルで自分の拡張

【社内研修】プロンプトデザイン事始め

はじめに 2023年4月に入社した竹内博俊と池田柳之介と申します。 今年の3月にOpenAIはChatGPT APIを公開し、

2023年7月の技術&デザイン系イベント予定

ヤフーが主催や協賛をしている、イベントや勉強会の予定をまとめました。

セーフィーの競プロ勉強会の活動を紹介!

こんにちは。セーフィーで画像認識エンジニアをやっている木村Y(緑コーダー)です。 セーフィーには競技プログラミング愛好者が複数在籍しており、社内勉強会の一つとして競技プログラミングの勉強会が開催されています! 競技プログラミングとは? 概要 会の内容 最後に 競技プログラミングとは? 競技プログラミングについて簡単に触れておきます。 競技プロ

ブラックボックス化を防げ。「説明可能なAI(XAI)」の重要性

ブラックボックス化を防げ。「説明可能なAI(XAI)」の重要性 2023.4.28 株式会社Laboro.AI リードマーケター 熊谷勇一 概 要 ChatGPTが急速に普及したり、政府がAIに関わる国家戦略を検討する新たな「AI戦略会議」を設ける方針を固めたりするなど、日本でのAI活用が一段と加速しています。中でも、AIの根幹的な技術の一つであるディープラーニング(深層学習)の弱点を
1234
技術ブログを絞り込む

TECH PLAY でイベントをはじめよう

グループを作れば、無料で誰でもイベントページが作成できます。情報発信や交流のためのイベントをTECH PLAY で公開してみませんか?