
トルコ語の格変化をベースとするプログラミング言語
## 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`) は、コンパイラが変更されると無効になります。 --- この要約はすべての主要ポイントを反映し、元のテキストに忠実でありながらメインメッセージを明確かつ簡潔に保っています。



 をご覧ください。](/_next/image?url=%2Fscreenshots%2F2026-01-18%2F1768695794633.webp&w=3840&q=75)













![**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` を付けてください。
使用頻度の高いコマンドを追加・削除して、ご自身用に最適化してください!](/_next/image?url=%2Fscreenshots%2F2026-01-18%2F1768695835452.webp&w=3840&q=75)






