コンピューティング基盤部の三吉（sankichi92）です。 先月12月にアークエッジ・スペースの開発した衛星「AE1b」が国際宇宙ステーションから放出され、さらに、1月15日には「AE1c」と「AE1d」が打ち上げられ、これらの衛星の運用がはじまりました。 アークエッジ・スペースでは、衛星を効率的に運用するための管制システム1を自社で開発しています。 この記事では、非宇宙分野のソフトウェアエンジニア、特に Web 系エンジニアを対象に、衛星管制とは何か、また、衛星管制システムがどのようなものかを紹介します。 衛星管制とは 衛星管制における通信の制約 衛星管制システムの機能 テレメトリ・コマンド処理 地上局ハードウェアの抽象化 パス予測とコンタクト予約管理 衛星やコンタクトのメタデータ管理 衛星管制システムの技術スタック 衛星運用の今後の展望 衛星管制とは 宇宙開発というとロケットのイメー

若手メンバーのスキルアップのための相談に乗っていると, うまい設計ができるようになる, 仕様の整理やメリット・デメリットの判断がうまくなる, あるいは技術の引き出しを増やすにはどうしたらよいか, という話がよく挙がる. この手の話題にいつも同じようなアドバイスをしていると気づいたので, 説明を楽にするために書き下しておく. ソフトウェア開発の話だけど, もしかしたら一般的な仕事のやり方の話だと思っても成立するかもしれない. 文脈 ソフトウェア開発のプロジェクトを進めるとき, 少人数の精鋭だけで開発するなら極論するとカウボーイコーディングでも成立するかもしれない. そうでなければ, たとえばスクラムのように, なんらか段取りをチームでマネジメントし, 不確実性を下げるためにどういう方法でアプローチするか検討し, 仕様を固めて細かいタスクに分解するプロセス(以降ざっくり「ソリューションを定める

ソフトウェアアーキテクトのための意思決定術　リーダーシップ／技術／プロダクトマネジメントの活用 作者:Srinath Perera,島田 浩二インプレスAmazon 私は現在、会社でアーキテクト[*1]という職位についています。実際のところは、自分の半分くらいの時間でチームのテックリードを務めつつ、半分くらいの時間でアーキテクトをしているという時間配分です。アーキテクトというのは、勤務先ではテックリードの上位に置かれているようなイメージで、テックリードがチーム単位での技術的なリードを司る職位だとすると、アーキテクトはチームの上位概念である事業領域単位での技術的なリードを司る職位、ということになります。 アーキテクトの主な仕事は、基本的にはテックリードと変わらず技術的な意思決定です。さまざまなトレードオフを掻い潜りながら、その時点での最適な結論を出すのがお仕事といったところでしょうか。ただ、

【01】できるだけ早期にユーザーを巻き込む by バービー・デイビス（Barbee Davis）MA、PHR、PMP 【02】モグラたたき開発を避けよう by ベンカト・スブラマニアム（Venkat Subramaniam） 【03】ローカライゼーションのせいで締め切りに遅れる by パベル・シムサ（Pavel Simsa）PMP 【04】プロジェクト・オーナーは強力なプロジェクトサポーター by 武谷 美世子（Miyoko Takeya）PMP 【05】複雑よりもシンプルな方がいい by スコット・デイビス（Scott Davis） 【06】負債を支払う by ブライアン・スレッテン（Brian Sletten） 【07】スキルでなく素質のある人を加えよう by リチャード・シェリダン（Richard Sheridan） 【08】シンプルにいこう by クリシュナ・カダリ（Krishna

At each stage of rapid technology expansion and adoption, one can identify core open source software that led to significant leaps forward for both individual companies and entire markets. Even today, at the cutting edge of Artificial Intelligence (“AI”) one can observe the active role that open source is playing both in the construction of frontier models (using frameworks such as Tensorflow, PyT

【01】システムの要件よりも履歴書の見栄えを優先させてはならない by ニティン・ボーワンカー 【02】本質的な複雑さは単純に、付随的な複雑さは取り除け by ニール・フォード 【03】最大の問題は、たぶん技術的なことではない by マーク・ラム 【04】まずコミュニケーション、そのための明快さとリーダーシップ by マーク・リチャーズ 【05】パフォーマンスの決め手はアーキテクチャー by ランディ・スタッフォード 【06】要求仕様の本当の意味を探れ by アイナー・ランドル 【07】立ち上がろう！ by ウディ・ダーハン 【08】すべてのものは、かならずエラーを起こす by マイケル・ナイガード 【09】それは交渉だということに気付け by マイケル・ナイガード 【10】定量化を求めよ by キース・ブレイウェスト 【11】500 行の仕様書より 1 行のコード by アリソン・ランダ

世の中に多くあるエラトステネスの篩の実装、多くあるくせにちょっとしか高速化してないのが悲しいので高速化エラトステネスの篩を書いてみることにします。7 本目(利用者が限られる)を書くかどうか迷い中。 エラトステネスの篩の高速化 (1) ← 今ココ エラトステネスの篩の高速化 (2) エラトステネスの篩の高速化 (3) エラトステネスの篩の高速化 (4) エラトステネスの篩の高速化 (5) エラトステネスの篩の高速化 (6) 問題設定 とりあえず C++11 くらいで動く物を作りたいと思います。インラインアセンブラや SIMD、並列化は明示的には入れない方針です。あと、エラトステネスの篩自体の高速化を目指すので、結果は一部の具体的な素数の確認と $\pi(x)$ の値で確認することにしますし、その時間は考慮しないことにします。 また、ライブラリ的に使えるよう、将来的には区間篩 (大きな $x$

先日、Chromiumブログに「Continuing our journey to bring instant experiences to the whole web」という記事が投稿されています。 この記事は、ブラウザのプリフェッチ機能とプライバシーの問題について説明をしています。またGoogleやブラウザでの取り組みについても多く書かれています。詳しくは原文をお読みください。 その中で、private prefetch proxyというものが出てくる。個人的にはとても興味深いところなので、雑にメモしておく。 prefetch機能とプライバシーの問題 Webページの表示の高速化のために、プリフェッチ機能が使用されています。prefetchはユーザが次に読み込むであろうページのリソースを事前に取得することで、ページの表示を高速化します。 特にcross-siteのプリフェッチにおる際に問

はじめに Next.js の Link コンポーネントを使用して、検索フォームに入力したタイミングで検索結果をプリフェッチすれば、ユーザー体験を良くできるかも、というアイデアをベースに実装してみました。実装時にあれやこれやと考えたことをメモ書きとして残しておきます。 環境 Next.js の 14.2.14 バージョンの App Router を使用しています。また、サンプルのコードはコピペで動作するようには考慮していません。 検索フォームのページ構成 よくある構成で検索フォームを実装しており、登場するページ数は2ページです。 ページA) 検索フォームにキーワードを入力する（クライアントコンポーネント） ページB) URL パラメーター経由でキーワードを受け取り、検索結果を表示する（サーバーコンポーネント）

和三盆 @enga_wasanbon クリスマスも近づいてきたので、娘が4〜5歳の時にはまったボドゲまとめ。 セレクトはボドゲオタク夫氏。娘の興味のあるなし・難易度など所感。娘が「やってみたい！」と棚から持ってきたボドゲは一旦やってみるという方針なので対象年齢より上のものもある。 2024-12-11 07:54:37

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? このエントリーは、Engineering Manager Advent Calendarの25日目、最終日の記事です。 はじめに 拙著「エンジニアリング組織論への招待」では、ソフトウェア自体の構造とソフトウェアを作り上げる組織の構造が似てしまうという「コンウェイの法則」についてたびたび引用しました。 この「コンウェイの法則」は、ある一定規模の組織で働いたことのあるエンジニアであれば、実感を持って捉えることができるのでしょう。 しかし、何故、どのような力が働いて、「組織構造」と「ソフトウェアの構造」が似通ってきてしまうのかと問われると説明

はじめに データソリューション事業部の力岡です。 近年、大規模言語モデル（LLM）を利用する機会は増加しており、GPTやClaudeといったクローズドなモデルだけでなく、自身の環境でオープンソースのLLMを活用したいと考える人が徐々に増えてきています。しかし、その場合に課題となるのは、推論速度の遅さや計算資源の制約です。 本記事では、LLMの推論速度を大幅に向上させることができるライブラリ「vLLM」について紹介します。さらに、vLLMの主要技術であるPagedAttentionやバッチ処理手法についても簡単に解説していきたいと思います。推論速度や計算資源に課題を感じている方は、ぜひ本記事を参考にしてください。 vLLMとは vLLMは、LLMの推論を高速化するためのオープンソースライブラリで、Pythonで利用することができます。通常、LLMの推論は多くの計算資源を必要とし、その結果、応

本日、トヨタ自動車株式会社（以下、トヨタ）と日本電信電話株式会社（以下、NTT）は交通事故ゼロ社会の実現に向けて、モビリティ分野におけるAI・通信の共同取り組みに合意いたしました。 両社はこれまでの協業を通じて、技術や産業の発展を通じた社会貢献や、人中心の考え方、日本を起点としたグローバルへの貢献といった共通の価値観を有していることを確認してきました。今回、安全と自由が調和した豊かなモビリティ社会の実現に向けた第一歩としての「交通事故ゼロ社会」を目指し、協業を更に深化させていきます。 交通事故ゼロ社会の実現には、クルマ側でのデータドリブンによる運転支援技術の高度化や将来的な自動運転技術の開発に加え、ヒト・モビリティ・インフラが「三位一体」で絶えず繋がるインフラ協調型の取り組みが必要です。双方を実現するために、トヨタは安全安心を第一優先としたSDV（Software Defined Vehi

インターネットを取り巻く環境が著しく進歩し、デジタル空間においても自らの存在を証明する手段が求められる現代では、私たちの日常生活における「アイデンティティ」の考え方も根本から変わりつつあります。 そのような変化の中では、大手プラットフォーマーがユーザーの個人情報を集約・管理がするモデルが主流となり、利便性が担保される一方で、システムの脆弱性を突いたハッキングや情報流出のリスクに晒されてきました。実際に、EUや米国では一種の社会問題にも発展し、ここ数年の間に規制強化が行われています。 こうした背景から、ブロックチェーン技術の台頭と共に再び注目を集めている技術が、「DIDs（Decentralized Identifiers：分散型識別子）」と「VC（Verifiable Credentials：検証可能な資格情報）」です。 これらの技術は、「SSI（Self Sovereign Identi

企業が業務システムにMySQL、PostgreSQL、Oracle、SQL Server といったリレーショナルデータベースを使いはじめてから今に至るまで、データベースへのコネクティビティは重要な課題であり続けています。1992年にMicrosoft が発表したOpen Database Connectivity（ODBC）API は、この課題に対する画期的な解決策となりました。 ODBC は、アプリケーションと多様なデータベース間の接続を標準化する技術として、現在でも広く採用されています。本記事では、ODBC 技術の仕組みとODBC ドライバーの役割、その重要性について詳しく解説します。 ODBC の仕組み ODBCとは ODBC は、アプリケーションからデータベースへのアクセスを標準化するためのAPI です。ODBC 4.0 の仕様はこちらに定義されています。この技術により、アプリケー