「プログラミング」に関連する技術ブログ
企業やコミュニティが発信する「プログラミング」に関連する技術ブログの一覧です。
全958件中 1 - 15件目
Leanを書いてる最中にシェルのコマンドを実行するコマンドを作る
2024/12/19
ブックマーク
本記事はLabBase テックカレンダー Advent Calendar 2024 19 日目です。 https://qiita.com/advent-calendar/2024/labbase 概要 Leanは関数型パラダイムを持ちなおかつ定理証明支援系で、強力なメタプログラミング機能をそなえたという変わった言語です。 本記事ではLeanを書いている最中にもシェルを叩けるように、Leanのメタプログラミング機能のElaborationをつかって、Leanのソースコード内で使
フロントエンドリポジトリの GitHub Actions で billable time を削減してみた
2024/12/19
ブックマーク
カケハシの AI 在庫管理でフロントエンド開発を主にしている鳥海 ( @toripeeeeee ) です。こちらの記事は カケハシ Advent Calendar 2024 の 19 日目の記事になります。 GitHub Actions では実行時間単位で課金される ため、課金対象時間を表す billable time というものがあります。 最近、私が利用しているリポジトリで billable time を削減するために動くことがあったので、そこでの削減に
Azure SOCで活躍している便利なサービスたち
2024/12/19
ブックマーク
こんにちは。コーポレート本部サイバーセキュリティ推進部セキュアシステムデザイングループの平岡です。 弊社のAzure クラウド SOC（以下Azure SOC）では、各プロジェクトのAzure環境のセキュリティ設定の可視化と改善、および セキュリティインシデント の早期発見と調査支援を行っています。 私はAzure SOC運営メンバーとして主に Microsoft Defender for Cloudを活用し、各プロ
ヒーローズリーグ20thイベントにてロボットカフェとロボット展示をした話
2024/12/19
ブックマーク
この記事は、 NTT Communications Advent Calendar 2024 及び ProtoPedia Advent Calendar 2024 の19日目の記事です。 こんにちは、AIロボット部（社内サークル）部員の宮岸( @daiking1756 )です。 普段は5GI部で映像系商材のプリセールス的なお仕事をしています。 最近急に寒くなってきましたが、昨年から使い始めた アームウォーマー によって、タイピングに影響することなく腕を温めながら生
CloudWatchコスト削減のリアル：効果的なログ分析と対策方法
2024/12/18
ブックマーク
こんにちは、AI在庫管理の開発チームでバックエンドエンジニアをしているもっち（ @mottyzzz ）です。 AI在庫管理では、プロダクトのインフラとしてAWSを使用しています。その中でも特に重要なサービスのひとつがCloudWatchです。システムの監視やログ管理に不可欠なツールとして日々活用していますが、実はAWS利用料の約15%をCloudWatchが占めているという状況でした。 先日
【イベントレポート】「Girls Meet STEM〜ITのお仕事を体験しよう〜」を開催しました！
2024/12/17
ブックマーク
はじめに こんにちは。Developer Engagementブロックの @wiroha です。12月15日（日）に、ZOZOにて中高生女子を対象とした体験イベント「 Girls Meet STEM〜ITのお仕事を体験しよう〜 」を開催しました。これは 公益財団法人山田進太郎D&I財団 が実施する「Girls Meet STEM」プログラムの一環です。中高生女子にIT業界の仕事を体験できる実践的な機会を提供し、将来の進路やキャリア選
EPS32でリアルタイム映像アップストリーム
2024/12/17
ブックマーク
aptpod Advent Calendar 2024 12月17日の記事です。 RoboticsグループでROSやロボット関連の開発を担当している影山です。 今日は、REST APIを利用して、リソースの限られた組み込みデバイスから、弊社のintdashへリアルタイムで映像をアップロードしてそれをブラウザで確認する方法について紹介したいと思います。 概要 利用するエッジデバイスについて ESP32を利用する理由 Timer Camer
モブプロを続けて見えてきた課題とその解決策
2024/12/17
ブックマーク
こちらの記事は カケハシ Advent Calendar 2024 の 17日目の記事になります。 adventar.org こんにちは。 AI在庫管理開発チームのエンジニアの大村です。 私たちの開発チームでは、素早く顧客に価値を提供するための手段としてモブプログラミングやペアプログラミング（以下、モブプロ）を積極的に実施しています。 私自身もチームの開発手法に関心があり、昨年のAdvent Calendar
モバイルアプリQAチームのテスト設計勉強会3つの形式をご紹介！
2024/12/17
ブックマーク
はじめに 「テスト設計って難しそう…」 😓 株式会社ビットキーでSoftware QAチームに所属している鳥渕と申します。 ビットキーでは様々なプロダクトを扱っておりますが、私はその中でもモバイルアプリQAのリーダーを担当させていただいております。 日々の業務や振り返り会などのタイミングでメンバーからこのような声を聞くことがありました。 ・テスト設計のレビ
ペアプログラミングの体験がすごく良かったので布教したい
2024/12/16
ブックマーク
本記事は BASEアドベントカレンダー2024 の16日目の記事です。 はじめに BASE FeatureDev3Group でWebアプリケーションエンジニア をしている かぴ( @ysssssss98 ) です。自分は2024年の10月にBASEへ入社して今月で3ヶ月目になります。前職ではバックエンドエンジニアとしてWebAPIの開発をしたりインフラ(AWS)の管理、小規模チームの開発進捗管理やメンバー育成、オフショア開発、採用業
GitHubからエンジニアスキルを可視化する「スキル偏差値」を大幅リニューアルした話
2024/12/16
ブックマーク
こんにちは。 FindyでMLエンジニアをしているyusukeshimpo( @WebY76755963 )です。 今回は直近で公開した「 スキル偏差値ver.3 」機能について、その内容や具体的な機械学習モデルの作成方法について紹介します。 Findyのスキル偏差値とは？ スキル偏差値の概要 アップデートすることになった背景 スキルの見える化する、スキル偏差値ver.3の詳細 1.学習データの作成 1-1.使用言語ご
CPythonのガベージコレクションの実装解説
2024/12/16
ブックマーク
はじめに この記事は Safie Engineers' Blog! Advent Calendar 16日目の記事です セーフィーのサーバーサイドエンジニアの三村です。 セーフィーのサーバーサイドでは箇所によって色々な言語（Python, Go, Java…）が用いられていますが、コードベースの大部分はPythonを用いています。本記事では、そんな普段セーフィーのエンジニアが用いているPython（ *1 ）のガベージコレク
大規模チームのミーティング時間を大幅に削減したことと、これからやっていきたいこと
2024/12/16
ブックマーク
こちらの記事は カケハシ Advent Calendar 2024 の 16日目の記事になります。 adventar.org こんにちは！エンジニアリングマネージャー（以下、EM）の小田中（ @dora_e_m ）です。11月より、新規プロダクト開発を主なミッションとするチーム"yabusame"に加え、 Musubi AI在庫管理 を開発するチーム"hakari"のEMを担当しています。 この記事では、hakariチームにジョインしてから取り組んだミ
データプロダクトのテストにdbtを検討してみた
2024/12/15
ブックマーク
こちらの記事は カケハシ Advent Calendar 2024 の15日目の記事になります。 こんにちは、株式会社カケハシのソフトウェアエンジニアの坂本です。 現在データプロダクトの開発に関わっており、データの品質チェックに課題を感じています。 この課題に対して、dbtというツールを活用できないか検討してみたのでその検討内容を紹介させていただきたいと思います。 課題背景
Effect-TSでDIがしたい！
2024/12/15
ブックマーク
この記事は株式会社ビットキー Advent Calendar 2024 15日目の記事です。 はじめに 本記事ではEffect（googlabilityが低いためEffect-TSとも表記される。以下Effect-TS）というTypeScriptライブラリを用いてDI（Dependency Injection、依存注入）を行う方法を紹介します。 Effect-TSは2024年3月に安定版であるv3がリリースされました。2024年に開催されたTSKaigiでも話題として取り上げられており、注