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

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

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

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

Solution to the installation problem : Keycloak M1 Chip

Hello, My name is Ashi Singh. I joined KINTO Technologies in Feb 2022, and am part of the Global Development Group. I am an application developer and currently working as an engineer on the back office system being developed by Global Development G. Overview My team is in charge of developing and maintaining microservices as a base package for use of other global teams. Authentication and authorization are the main features that we want to include in this base package. We want an authentication

CL iOSチームにおけるビルド時間改善

動画配信アプリ「CL」でiOSエンジニアをしている下村 (@s2mr)です。 CL(シーエル)はLD ...

iOSDC Japan 2023 スカラシップ生を募集します!

サイバーエージェントでは、技術者が最新のテクノロジーを吸収する機会を設けるため、海外・国内の技術系カ ...

[WWDC2023] iOS17におけるScrollViewの新機能  その1

iOS 17では多くの新しいScrollViewモディファイヤが追加され、アプリ開発体験を大幅に向上させることを約束している。その新機能を使ってみて、どのように動作するかを本記事で示す。 以下で4つのモディファイヤについて詳しく説明する。 .containerRelativeFrame(_:alignment:) .scrollTargetLayout(isEnabled:) .scrollTargetBehavior(_:) .scrollPosition(id:) もしこの記事が気に入ったら、ぜひいいねや

WEBアプリケーションのテストができるSeleniumとは?

Seleniumとは Seleniumの特徴 SeleniumはWebブラウザの操作を自動化することができるフレームワークです。現時点のSeleniumのコンポーネントは、簡単にブラウザ操作をレコードして再生できる「Selenium IDE」、プログラミング言語を利用してより複雑な操作を実現できる「Selenium WebDriver」、Selenium WebDriverを複数のOSやブラウザで動かすことができる「Selenium Grid」があります。 オープ

Appleが提供する濃密な5日間! - WWDC23参加レポート

こんにちは。FAANSブロックiOSチームの加藤です。 日本時間の6月6日から10日にかけて WWDC23 が開催されました。 WWDC23では、空間コンピュータ「Apple Vision Pro」を始め、iOS 17、SwiftDataなどワクワクする発表が目白押しでした。 今年は去年と同様に、抽選に当選すれば現地で開催されるApple Parkのパブリックビューイングにも参加できました。ZOZOからは2名が当選して、現地に赴

WebRTC配信技術 "WHIP" で遊ぶ

はじめに 当ポストは、低遅延配信の技術であるWHIP(WebRTC-HTTP Ingestion Protocol)を自分で動かしてみたい方へ向けた記事となります。 WebRTCを利用した配信映像の集信プロトコルであるWHIPは現在Internet-Draftではありますが、配信技術者やWebRTC技術者の注目を得て、実際に動かせる環境が整ってきました。 当ポストでは、WHIPが動く環境を作り、自前のWebRTCスタックをWHIPで使う簡単

さくらのVPSを使ってシステム開発に必要な知識を学ぶ 〜第4回〜

はじめに 本連載は、システム開発に必要な知識を得るために、一通りの流れを学ぶことを目指しています。今回はGitHubのCLI環境の構築方法を解説します。 CLIとは? GUIとは? CLI (Command Line I […]

Beyond Photogrammetry: PHOTOMETRIC STEREO

Chapter 1 In one moment, when you’ll reach the max ...

30分で入門する Helm

Kubernetes の利用シーンは幅広い用途に広がり、長期計画でカスタムアプリケーションを開発してデプロイする以外にも、ぱっと cluster にアプリケーションを入れて使ってみるといったことも多く見られるようになりました。 単純なアプリケーションでは kubectl apply で済むものも多いですが、じゃっかん複雑な構成のものや、また変数を使って動作を変更したいときなどで

【Swift】アプリでbackgroundを検知した時に画面をマスクする方法

概要 作ったもの 環境 SwiftUIでの実装 UIKit LocalAuthenticationと組み合わせてみる まとめ 概要 金融系のアプリなどでよくある実装かと思いますが、アプリでbackgroundを検知した時に画面をマスクする方法について紹介したいと思います。 作ったもの 環境 この記事は以下のバージョン環境のもと作成されたものです。 【Xcode】14.3 【iOS】16.4 【macOS】Ventuta SwiftUIでの実装 SwiftUIで

「Git LFS × AWS S3」で大容量ファイルを構成管理する

こんにちは、ISID 金融ソリューション事業部の孫です。 皆さんはGitで ソースコード の構成管理を行う中で、バイナリファイルのサイズが大きすぎて GitHub などの ホスティング サービスからブロックされたりした経験はないでしょうか。 実は、最近UnrealEngineを使ってゲームを開発しているところで、そうした大容量ファイルの管理問題に直面しました。 こういう問題を解

「Git LFS × AWS S3」で大容量ファイルを構成管理する

こんにちは、ISID 金融ソリューション事業部の孫です。 皆さんはGitで ソースコード の構成管理を行う中で、バイナリファイルのサイズが大きすぎて GitHub などの ホスティング サービスからブロックされたりした経験はないでしょうか。 実は、最近UnrealEngineを使ってゲームを開発しているところで、そうした大容量ファイルの管理問題に直面しました。 こういう問題を解

Macで始める画像生成AI(Stable Diffusion)体験記

こんにちは!株式会社ペライチ のサーバーサイドエンジニアの福原です! 最近は ChatGPT を始め、さまざまな AI と呼ばれるものが話題ですね。 そんな中でも今日は画像生成 AI について触れてみようと思います。 ペライチでは LP に埋め込む画像について Pixta の画像をペライチ上でご購入いただいてそのまま利用できる仕組みになっています。 もちろん有料画像なだけあ
技術ブログを絞り込む

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

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

エラータイトル

エラー本文