Summary  
Type safety enforces that every variable in code only holds values of its declared type, with mismatches detected at compile time to prevent errors and clarify code intent.

General domain of usage  
Coffee shop application

Javaでは、すべての変数に特定のデータ型があり、その型によって格納できる値の種類が決まる。この概念は**型安全性**と呼ばれる。

型安全性の主な目的はシンプルで、Javaは誤った型のデータを変数に格納しないように保証する。

## 型安全性の仕組み

一度変数が特定の型で作成されると、Javaは常にそのルールに従うことを求める。

例えば、これは有効：
```java
int coffeesSold = 35;
```

しかし、これはエラーになる — テキストは`int`に格納できない：
```java
coffeesSold = "Thirty Five"; // ERROR
```

同じことが`String`にも当てはまる — 文字列型はテキストのみを保持できる：
```java
String coffeeName = "Cappuccino";
```

数値を代入しようとするとエラーになる：
```java
coffeeName = 25; // ERROR
```

Javaはこれらの型の不一致を**プログラムが実行される前**に検出し、処理を停止する。

最初は厳しく感じるかもしれないが、実際には非常に役立つ。型安全性によって多くのミスが早期に防止され、コードの可読性も向上する — 変数の型を見るだけで、どのようなデータを保持すべきかが分かる。プログラムが大規模になるほど、混乱を招くバグや予期しない動作を避けるために極めて重要となる。

Javaにおける型安全性の主な目的は何か？

Javaの基礎を学び、現代のアプリケーションを支えるコアコンセプトを探求します。変数、データ型、演算子、条件分岐、文字列について学びながら、プログラミングの強固な基礎を築きます。実践的な例やハンズオン課題を通じて、Javaコードの記述、理解、トラブルシューティングに必要なスキルを自信を持って身につけます。

Javaとは何か、どこで使用されているか、Javaプログラムの構造について学び、Javaの学習を始めましょう。出力の表示方法、コメントの記述方法を理解し、今後のすべてのプログラミング概念の基礎を築きます。

Javaでデータを保存、管理、操作するために必要なスキルを習得します。変数、定数、データ型、演算子、型変換の仕組みを学び、実践的なコーディング演習や実例を通じてこれらの概念を応用します。

Javaにおける意思決定の基本を、比較演算子や論理演算子、条件文、switch式を使って学びます。プログラムが条件を評価し、選択を行い、さまざまな状況に応じて応答する方法を、実践的な例や課題を通じて理解します。

Javaにおけるテキスト操作の基礎を学びます。文字列の生成と操作方法、フォーマットや比較の手法、ユーザー入力の検証、テキストからの有用な情報の抽出、そしてこれらのスキルを実際のプログラミングシナリオで応用する方法を探求します。