こんにちは。株式会社ペライチ でサーバサイドエンジニアをしている永見です。 多くの Web アプリケーションでは Linux 環境で動いていることでしょう。 私が開発の際、使っているで役立つコマンドを紹介します。 ファイルを作成する 空ファイルを作成するときは...touch $ touch text.txt サブディレクトリもまとめて作るときは...mkdir -p $ mkdir -p dir1/dir2/dir3 cp で末尾に文字をつけてバックアップするときは...{,} ファイル名を 2 回も入

Leanとは Leanは普通の関数型言語であり、なおかつ定理証明支援系でもある大変パワフルな言語です。つまり原理上実行前にわかる性質は、型に埋め込んだり、頑張って自分で証明したりすることができます。そう考えるとワクワクしてきますね！ またコンパイラフロントエンドのAPIを自由にユーザーが使えるので、標準の文法や意味論とまったく同じレベルで自分の拡張を安全に仕込むことができるという、強力な拡張性を持つおもしろい言語でもあります。 今回紹介するLeanの環境構築は、lean4とよばれているバージョンのもので、

はじめに こんにちは、ニフティ株式会社 基幹システムグループの多田 圭佑です。 今回はE2Eテストフレームワークである「Playwright」を使ってテスト自動化をしてみた記事になります。 Playwrightとは Webブラウザのテスト自動化を実行するためのライブラリ 対応ブラウザ：Chromium、WebKit、Firefox、Edgeなど プラットフォーム：Windows、Linux、macOS 言語：TypeScript、JavaScript、Python、.Net、Java ざっくりできること

こんにちは、マッチング領域でバックエンドエンジニアをしているぽこひで ( @pokohide ) です。 前回はRails edgeでCIを回し始めた話を紹介しました。 tech.timee.co.jp 今回は、実際に弊社でCIをRails edgeで回し始めた事で見つけたエラーの例を紹介していきます。記事公開時点（2023年7月）のバージョンは下記の通りです。 $ ruby -v ruby 3.2.2 (2023-03-30 revision e51014f9c0) +YJIT [aarch64-lin

こんにちは、金融ソリューション事業部の孫です。 シリーズの最初の記事（ Part1 ）では、 Kubernetes の強力な機能を活用するためにEKS（Elastic Kubernetes Service）をどのように設定するかについて詳しく説明しました。 EKSの設定が成功した後、ゲームのインフラでよく使われるAgonesとOpen Matchをインストールしました。 また、公式デモでテストを行い、インストールが正しく行われたことを確認しました。 Kubernetes に基づくAgonesとOpen M

こんにちは、金融ソリューション事業部の孫です。 前回の Part1 記事に続きまして Part2 では、OpenMatchとAgonesを使用して、柔軟性がありスケーラブルなゲームマッチングとゲームサーバー管理システムの構築方法を詳しく説明しました。 この記事（Part3）では、UnrealEngineを利用して、オンラインマルチプレーヤーゲームのデモを完成させます。 さらに、 Part2 で開発したマッチメイキングサービスをUEクライアント（UnrealEngine GameClient）に統合します。

こんにちは。GSです。 今の時代、開発から運用までLinuxを必要とするケースはとても多いです。 WindowsユーザーがLinux環境が必要な開発を行うとき、WSL2を使うことで手軽に環境を作り利用することができます。 「Windowsは使えるが、Linuxはよくわからない」といった人が、できるだけ手間なく・手が止まることなく使える状態にし、実際に開発や検証に入れるような環境をささっと作り上げる手順をご紹介したいと思います。 ゴール Windows上からGUIを操作することなく、コマンドのコピペで環境を

こんにちは、カケハシの横田です。今回は我々の会社で実践しているテクノロジーについてお話しします。我々の開発チームは、日々 Apache Spark を活用し 100 個以上のバッチ処理を運用する中で、 AWS Glue という Apache Spark のマネージドサービスに大いにお世話になっています。 しかし、バッチ処理のテストを行う際にはいくつかの課題に直面します。特に想定外のデータへの網羅性を確認することが難しく、それを検証するために今までは本番データを使って毎回確認を行っていました。そうすると、1

AI事業本部MLOps研修とは はじめまして、AI Labでリサーチエンジニアをしている岩崎（@ch ...

今回は Cloud Run jobs を用いて、FTP サーバから Cloud Storage にファイル転送する仕組みを作成していきます。 概要 事前準備 開発環境の準備 ディレクトリ構成 Dockerfile main.py requirements.txt 使用するリソースの作成 FTP サーバの初期設定 動作確認 Cloud Run jobs の実行 リソースの削除 本番運用に向けての考慮事項 接続方式 IP アドレス プロトコル サービスアカウントの権限 概要 データ分析パイプラインなどで、デー

はじめに GO言語をやっていないとイケてないという風潮に、あせるネバー・フレンズ・Tです。やる気を出すためにGO言語布教の名曲Write in GOをCC(Close Caption)押して聴き、バイブス全開で学習することをおすすめしておきます。 今回は、GO言語のデバッガのdelveで、GO言語学習中に、はまったことを書きます。 delveでDebianパッケージのバイナリをデバッグする 自分のように特定言語の初学者がなにか新しいプログラミング言語を習得する時、言語学習を大いにはかどらせてくれるデバッガ

こんにちは。Turing株式会社でインターンをしている、東京大学学部4年の三輪です。 TuringのUXチームでは、Android OSを採用して独自の車載UI開発を進めています。Android OSはセンターディスプレイにあたる部分で主に利用される予定で、エアコン、ドア、ライトなどの操作をディスプレイ上で行えるようにするほか、ナビアプリや音声アシスタントなどの実装をAndroidプラットフォーム上で進めていく予定です。 自動車に搭載するOSを開発していくうえで、さまざまなハードウェアをOS上で扱えること

はじめに 皆さんはハニーポットというのはご存知でしょうか。ハニーポットとは、悪意のある攻撃を受けるように設計された「罠」や「おとり」になるサーバーやネットワークのことです。最新のサイバー攻撃やマルウェアの動向を探ったり分 […]

はじめまして。クラウドエース株式会社で Google Cloud 認定トレーナーをしている廣瀬 隆博です。弊社には廣瀬が複数名おりますので、絵文字がメロイックサイン（🤘）になっている人だと覚えていただけると幸いです。 さて、今回は Google Cloud において 2023 年 5 月 22 日に一般公開された Secure Web Proxy についてご紹介していきます。このサービスは文字通り Web Proxy であり、Web サイトへのアクセスを中継してくれます。同じような働きをするオープンソース

こんにちは。BIGLOBE Style編集部の吉田です。 BIGLOBEの開発部門（プロダクト技術本部）では、新卒入社社員向けに「新人エンジニア育成プログラム」を1年かけて実施しています。 今回の記事では、プログラムを終え2年目を迎えた5名のエンジニア（2022年4月入社）による成果発表会の様子をお届けします。 2022年度新卒入社エンジニア はじめに BIGLOBEのエンジニア新人育成とは 成果発表。何を経験し、どのような学びを得たか プロダクト技術本部長と社長から総評 最後に はじめに この成果発表会