SSH, 定理, クラウドミュージックプレイヤー, 画面分割

GitHubのCI/CDでActionsを使って自動化することがあると思います。今回は、Windowsランナーで複数のPrivateサブモジュールを含むリポジトリをクローンする際に直面した問題と、その解決方法を共有します。

線形代数にある線形写像, 基底の変換行列, 表現行列などを理解するとき, 今どこの座標系にいるのか, 基底は変わったのか, ここはベクトル空間かという悩みに会います.

本稿では, 変換行列や表現行列を図で理解することを目的にします. 行列の掛け算が点の移動であることを意識すると, 理解しやすくなります.

線形代数にある線形写像, 基底の変換行列, 表現行列などを理解するとき, 今どこの座標系にいるのか, 基底は変わったのか, ここはベクトル空間かという悩みに会います.

本稿では, 変換行列や表現行列を図で理解することを目的にします. 行列の掛け算が点の移動であることを意識すると, 理解しやすくなります.

Cloud Music Boxは、クラウドストレージ(OneDrive, Google Drive)から音楽を再生、より音楽を感じ楽しむように設計されたPWA音楽プレイヤーです。

以下の特徴を持ちます。

• PWAとして、多くのプラットフォーム(Windows, macOS, iOS, Android)上で同様のユーザ体験を実現
• 一元管理されたクラウドストレージからの再生で、プレイヤーごとに音楽を同期する必要なし
• オフラインでも、ダウンロード済みの音楽は再生可能
• アプリがバックグラウンドにある場合でも、音楽の連続再生が可能(iOSのみ動作しないことがある)
• 独自の非線形ビジュアライザを備え、プレイヤー全体が音楽に合わせてダイナミックに変化

ウェブブラウザ上で動作する, 画面分割ライブラリ.

スクリプト内に一切の状態を持たず, 完全に要素のデータ (例えば, 属性やスタイル) と要素の構造をベースに動作します. このことで, 次の三つの特徴が得られます.

• ページロード時のレイアウト変化なし
• 他スクリプトによるビューへの自由な変更
• カスタム可能

サンプルページ

多くの編集ソフトには, 一つの画面を分割する機能があります. 一つの画面を分割することで, 同じ画面で複数の作業を行うことができます.

Splitterは, ウェブブラウザ上で動作する画面分割ライブラリです. 分割境界にあるスライドバーを動かすことで領域のサイズを調節できます.