**Docker コマンド チートシート** | カテゴリ | コマンド | 説明 | |----------|---------|------| | **基本操作** | `docker run [OPTIONS] IMAGE[:TAG|@DIGEST] [COMMAND]` | イメージからコンテナを起動します | | | `docker ps [OPTIONS]` | 実行中のコンテナ一覧を表示 | | | `docker ps -a [OPTIONS]` | 停止済みも含めた全コンテナ一覧を表示 | | | `docker stop CONTAINER [CONTAINER...]` | 一つまたは複数の実行中コンテナを停止 | | | `docker rm CONTAINER [CONTAINER...]` | 一つまたは複数の停止済みコンテナを削除 | | **イメージ管理** | `docker pull IMAGE[:TAG]` | レジストリからイメージを取得 | | | `docker build -t NAME[:TAG] PATH` | Dockerfile からイメージをビルド | | | `docker images [OPTIONS]` | ローカルのイメージ一覧を表示 | | | `docker rmi IMAGE [IMAGE...]` | 一つまたは複数のイメージを削除 | | **コンテナ検査** | `docker inspect CONTAINER` | コンテナに関する低レベル情報を取得 | | | `docker logs CONTAINER` | コンテナのログを表示 | | | `docker exec -it CONTAINER COMMAND` | 実行中コンテナ内でコマンドを実行 | | **ネットワーク** | `docker network ls` | 全てのネットワーク一覧を表示 | | | `docker network create NAME [OPTIONS]` | 新しいネットワークを作成 | | | `docker network inspect NETWORK` | ネットワーク詳細を確認 | | | `docker network rm NETWORK` | ネットワークを削除 | | **ボリューム** | `docker volume ls` | ボリューム一覧を表示 | | | `docker volume create VOLUME_NAME` | 名前付きボリュームを作成 | | | `docker volume inspect VOLUME` | ボリューム詳細を確認 | | | `docker volume rm VOLUME` | ボリュームを削除 | | **システムクリーンアップ** | `docker system prune [OPTIONS]` | 未使用データ（コンテナ、イメージ、ネットワーク、ボリューム）を整理 | | | `docker builder prune` | ビルドキャッシュを削除 | | **Docker Compose** | `docker compose up [--build] [-d]` | コンテナのビルド・再作成・起動・アタッチ | | | `docker compose down` | コンテナ、ネットワーク、イメージ、ボリュームを停止・削除 | | | `docker compose ps` | サービス一覧を表示 | | **セキュリティ & アクセス** | `docker login [OPTIONS]` | Docker レジストリにログイン | | | `docker logout [SERVER]` | レジストリからログアウト | > **ヒント** > - `ps` に `-a` を付けると、実行中だけでなく停止済みも含めた全コンテナを表示できます。 > - `stop` と `rm` を一度に実行したい場合は、`docker rm -f CONTAINER` が便利です。 > - Docker がユーザーグループに入っていない環境では、コマンドの前に `sudo` を付けてください。 使用頻度の高いコマンドを追加・削除して、ご自身用に最適化してください！

2026/01/18 5:44

トルコ語の格変化をベースとするプログラミング言語

## Japanese Translation: **(全ての重要ポイントを組み込んだもの)** --- ## Kip – ケースベース型研究言語 Kip は、トルコ語の格変化を型システムと構文に埋め込む実験的プログラミング言語です。名詞格接尾辞と母音調和を用いて引数関係を表現し、関数引数の順序を柔軟に変更できる一方で意味は明確に保たれます。 ### コア機能 | 機能 | 説明 | |------|------| | **引数順序** | 格接尾辞が役割を決定します。例：`(5'le 3'ün farkını) yaz.` と `(3'ün 5'le farkını) yaz.` は同じ意味です。 | | **帰納型** | トルコ語構文で宣言します。例：`Bir doğal-sayı ya sıfır ya da bir doğal-sayının ardılı olabilir.` | | **多相型** | 同様に宣言します。例：`Bir (öğe listesi) ya boş ya da bir öğenin bir öğe listesine eki olabilir.` | | **パターンマッチング** | 条件付き接尾辞 `-sa/-se` を使用し、入れ子パターンとワイルドカード `_` をサポートします。 | | **定数** | キーワード `diyelim` で宣言します。例：`sıfırın ardılına bir diyelim.` | | **組み込み型** | 整数 (`tam-sayı`) – 算術、比較、階乗；文字列 (`dizge`) – 長さ、連結、整数へのパース。 | | **I/Oプリミティブ** | 出力：`yazmak/yaz`；入力：`okumak/oku`；シーケンス接尾辞 `-ip/-ıp/-up/-üp`。 | ### 形態論と実装 * Kip はトルコ語の形態解析に TRmorph の有限状態変換器を利用します。曖昧な単語はすべてのパースで表現され、アポストロフィで解消できます。 * コンパイラは Foma（パッケージマネージャ経由）と Haskell Stack を使用し、REPL (`stack exec kip`) で実行するかファイルを `--exec` で実行します。WASM プレイグラウンドは `playground/` 以下にあります。 ### プロジェクト状況 Kip は研究専用プロジェクトです。構文と挙動は進化する可能性があります。キャッシュされたバイトコードファイル (`.iz`) は、コンパイラが変更されると無効になります。 --- この要約はすべての主要ポイントを反映し、元のテキストに忠実でありながらメインメッセージを明確かつ簡潔に保っています。

2026/01/17 20:15

ASCII文字はピクセルではない：ASCIIレンダリングの深掘り解析

## Japanese Translation: **概要** この記事では、各文字を多次元「形状ベクトル」でモデル化することで鮮明で高コントラストのASCII画像を生成できるインタラクティブな画像→ASCIIレンダラーを紹介しています。従来の最近傍サンプリングはセルごとに1ピクセルとして扱い、ジャギーやぼやけた出力が生じます。スーパーサンプリングはジャギーを減らしますが、単一の輝度値へ平均化するためエッジがまだぼやけてしまいます。 新しい手法では、セルの上/下と左/右の半分を小さな円でサンプリングし、各グリフがどのように空間を占有しているかを捉えます。これにより6次元（方向性コントラスト用の外部サンプリングをオプションで追加）形状ベクトルが生成されます。このベクトル空間で最近傍検索を行い、グリッドセルごとに最適な文字を選択します。ベクトル要素を指数関数的に上げることでコントラストを増幅し（全体の対比を高めつつ均一な勾配を保持）、さらに隣接セルをサンプリングする方向性コントラストでシャープ化します。 フレームごとのユークリッド距離計算とサンプリング収集によるパフォーマンスボトルネックは、**k‑d木インデックス**、**量子化キーを用いたキャッシュ**、およびサンプリングとコントラスト段階の **GPUアクセラレーション** を組み合わせて解消し、モバイルデバイスでもスムーズなFPSを実現しています。著者はさらに、各文字に異なる色/明度を割り当てる方法や高次元サンプリングベクトルの探索などの拡張可能性についても概説しています。 最後に、読者は将来の投稿でこれらの開発内容を取り上げる予定のメールリストへの登録を勧められています。

2026/01/18 7:19

ライトモード・インフレーション (Note: “ライトモード”は「軽い（低エネルギー）モード」を指し、物理学や宇宙論の文脈で使われることが多いです。)

## Japanese Translation: **改善された概要** この記事は、macOS のライトモードウィンドウが過去 16 年で徐々に明るくなってきたことを示しており、Snow Leopard（2012）では平均明度が約 71 ％だったのが、Mac OS Tahoe ではほぼ 100 ％に上昇しています。著者はスクリーンショットをクロップし、Pillow を使ってグレースケールへ変換した後、ピクセル平均強度を算出することで測定しました。この分析は画面全体やアプリケーションの明るさではなく、**ウィンドウクロム**に特化しています。2020 年末に M1 MacBook Air にアップグレード（Big Sur でウィンドウ明度が 85 ％から 97 ％に増加）した後、著者はダークモードへ切り替えました。ダークモードは Mojave（2018）で導入されました。本研究では、典型的なライトモードウィンドウの最も暗い色が Tahoe では 97 ％明度に達する一方、Snow Leopard では 90 ％であることを指摘しています。また、iOS 26 の HDR 実装は一部要素を 100 ％以上の白に押し上げる可能性があり、知覚される明るさを過大評価する恐れがあると述べています。 著者は、このより明るい UI デザインへの移行がコントラストバイアスによってダーク背景をより魅力的にしていると主張し、ユーザーの目の疲労を軽減しつつアプリ間の視覚的区別を保つために中程度のグレー（約 50 ％）インターフェースを推奨しています。将来のデザインへのインスピレーションとして、著者はより高い明るさレベルにもかかわらず、Yosemite などの古い macOS スタイルを好んでいます。 このバージョンは主要なポイントすべてを保持し、ダークモード導入に関する余計な因果推論を削除し、ウィンドウクロムへの焦点を明確にしています。