Java
Java | 基礎文法：引数
入門
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – 実務でのオブジェクト設計感覚
実務でのオブジェクト設計は「現実世界のモデル化」から始まるまず大前提として、実務でのオブジェクト設計は、「TypeScript の文法をどう書くか」より前に、「現実の世界をどう切り取るか」から始まりま...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – オブジェクト型エラーの読み方
「オブジェクト型エラーの読み方」のゴールを決めるTypeScript のエラーメッセージは、最初は「英語の塊」にしか見えないと思います。でも、よく出るパターンは決まっていて、「どこを見れば“何がズレて...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – keyof typeof の組み合わせ
「keyof typeof」は値から「キーの型」を取り出す最強コンボまず結論からいきます。keyof typeof は、「実際のオブジェクト（値）から、そのプロパティ名の“型”を自動で作る」ための組み...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – typeof の基本
TypeScript の typeof は「値から型を取り出す道具」まず一番大事なポイントからいきます。TypeScript の typeof は、「ある値（変数・オブジェクトなど）から、その“型”を...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – keyof の基本
keyof は「プロパティ名だけを取り出すための型演算子」keyof は、「オブジェクト型から“プロパティ名”だけを取り出して、新しい型を作る」ための演算子です。まずは一番シンプルな例から見てみましょ...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – オブジェクトの分割代入
オブジェクトの分割代入って何をしているのかまずイメージからいきましょう。オブジェクトの分割代入は、「オブジェクトの中から、欲しいプロパティだけを“取り出して”変数にする書き方」です。const use...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – スプレッド構文と型
スプレッド構文ってそもそも何をしているのかスプレッド構文（...）は、「あるオブジェクト（や配列）の中身を“広げて”新しいオブジェクト（や配列）を作る記法」です。const user = { name...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – 型安全なオブジェクト更新
「型安全なオブジェクト更新」とは何を守ることかまずゴールをはっきりさせます。型安全なオブジェクト更新とは、「オブジェクトを書き換えるときに、存在しないプロパティ名を書いたり、間違った型の値を入れたりし...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – 部分一致が通らない理由
「部分一致が通らない」ってどういうことかまず、ここでいう「部分一致」はだいたいこんな状況を指しています。type User = { name: string; age: number;};const ...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – excess property check
excess property check とは何か（ざっくりイメージ）excess property check（余剰プロパティチェック）は、「その型に存在しないプロパティを、オブジェクトリテラルに...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – オブジェクトの再代入
「オブジェクトの再代入」とは何を指しているのかまず言葉の整理からいきます。ここでいう「オブジェクトの再代入」は、変数に入っているオブジェクトそのものを、別のオブジェクトに入れ替えることを指します。ty...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – ネストしたオブジェクト型
ネストしたオブジェクト型とは何か（まずはイメージから）ネストしたオブジェクト型は、「オブジェクトの中に、さらにオブジェクトが入っている形を、そのまま型で表現したもの」です。現実のデータって、ユーザーの...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – readonlyプロパティ
readonlyプロパティとは何か（「一度決めたら変えない」約束）readonly プロパティは、「このプロパティは一度値を入れたら、あとから書き換えてはいけない」という約束を型レベルで表す仕組みです...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – optionalプロパティ
optionalプロパティとは何か（「あってもなくてもいい」項目）オブジェクトのプロパティには、「必ず必要なもの」と「なくてもよいもの」があります。TypeScriptでは、「なくてもよいプロパティ」...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – type と interface の違い
まずざっくり：「どっちも“型を定義する道具”」type も interface も、「型に名前をつける」ための仕組みです。どちらもオブジェクトの形を表現できます。interface User { id...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – interface の基本
interface は「オブジェクトの設計図」interface は、オブジェクトの「形（どんなプロパティを持つか）」を表す設計図です。「このオブジェクトは、こういうプロパティを持っていて、その型はこ...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – 型エイリアスの作成
型エイリアスとは何か（ざっくり言うと「型にあだ名をつける」）型エイリアスは、既にある型に「別名（あだ名）」をつける仕組みです。type キーワードを使って、「この型をこれからはこの名前で呼ぶね」と宣言...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – オブジェクトリテラルの型推論
「オブジェクトリテラルの型推論」とは何をしてくれているのかオブジェクトリテラルとは、{ ... } で直接書いたオブジェクトのことです。const user = { name: "Taro", age...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – プロパティに型を付ける
「プロパティに型を付ける」とは何をしているのかオブジェクトは「名前付きの値の集まり」です。TypeScriptでは、その「名前付きの値」1つ1つに対して、「ここにはこういう型の値だけ入ってほしい」とい...
TypeScript TypeScript | 基礎文法：オブジェクト基礎 – オブジェクト型の基本
オブジェクト型とは何か（まずはざっくりイメージ）オブジェクト型は、「関連する複数の値を、1つのまとまりとして扱うための型」です。name や age のような「項目（プロパティ）」と、その型をセットで...
JavaScript JavaScript | ES6+ 文法：分割代入 – 安全な分割
安全な分割とは何か分割代入は「欲しい値だけ」を短く取り出せますが、未定義（undefined）や欠落、深いネスト、null、宣言順の問題で簡単にエラーになります。ここが重要です：安全な分割の基本は「外...
JavaScript JavaScript | ES6+ 文法：分割代入 – 値の入れ替え
値の入れ替え（スワップ）とは何か分割代入を使うと、2つ以上の変数の値を“一時変数なし”で入れ替えられます。ここが重要です：左側のパターンに「新しい並び」を書き、右側に「古い並び」を配列で渡すだけ。読み...
JavaScript JavaScript | ES6+ 文法：分割代入 – rest 要素
rest 要素とは何かrest 要素（残余要素）は、分割代入の左側で ...rest のように書き、“取りきれなかった残り全部”を配列やオブジェクトとしてまとめて受ける記法です。ここが重要です：配列な...
JavaScript JavaScript | ES6+ 文法：分割代入 – 一部要素のスキップ
一部要素のスキップとは何か配列の分割代入では、左側のパターンにカンマだけを書いて「その位置の要素を受け取らない」ことができます。ここが重要です：スキップは“要素の位置”で意味を表すので、読み手が「どこ...
JavaScript JavaScript | ES6+ 文法：分割代入 – 関数引数での使用
関数引数での分割代入とは何か関数のパラメータ部分で分割代入を使うと、渡された配列・オブジェクトから「必要な値だけ」を直接取り出して、引数の宣言に“意図（何を使うのか、欠けたらどうするのか）”を明示でき...
JavaScript JavaScript | ES6+ 文法：分割代入 – ネスト分割
ネスト分割とは何かネスト分割（ネストした分割代入）は、オブジェクトや配列の“入れ子構造”から、必要な値だけを階層に沿って取り出す書き方です。ここが重要です：左側のパターン（構造の形）に合わせて、右側の...
JavaScript JavaScript | ES6+ 文法：分割代入 – 変数名変更
変数名変更（エイリアス）とは何か分割代入の「変数名変更」は、オブジェクトのプロパティ名を“別名の変数”へ取り出す書き方です。ここが重要です：{ prop: alias } の形で「右側のオブジェクトの...
JavaScript JavaScript | ES6+ 文法：分割代入 – デフォルト値
デフォルト値（既定値）とは何か分割代入のデフォルト値は、「取り出そうとした場所に値が無い（undefined）」とき、代わりに使われる“埋め草”です。ここが重要です：デフォルト値は undefined...
JavaScript JavaScript | ES6+ 文法：分割代入 – オブジェクトの分割代入
オブジェクトの分割代入とは何かオブジェクトの分割代入は、オブジェクトから「欲しいプロパティだけ」を取り出し、同名の変数に一気に割り当てる ES6 の書き方です。ここが重要です：左側のパターン { id...
JavaScript JavaScript | ES6+ 文法：分割代入 – 配列の分割代入
配列の分割代入とは何か配列の分割代入は、配列の「位置」に合わせて、複数の変数へ一気に値を取り出す書き方です。ここが重要です：左側のパターン に、右側の配列の先頭から順に対応します。足りない要素は un...
TypeScript TypeScript | 基礎文法：配列・タプル – 配列操作時の型エラー対処
よくある「配列操作の型エラー」はどこから来るのかTypeScriptで配列を触り始めると、かなりの確率で型エラーにぶつかります。でも、その多くは「TypeScriptが何を守ろうとしているか」が分かる...
TypeScript TypeScript | 基礎文法：配列・タプル – forEachと型
forEachは「配列をなめるだけ」のメソッドforEach は、配列の各要素に対して順番に処理を実行するだけのメソッドです。map や filter と違って、戻り値を使って新しい配列を作ったりはし...
TypeScript TypeScript | 基礎文法：配列・タプル – reduceの型指定
reduceの「型指定」とは何を決めるものかreduce は、配列を「1つの値」に畳み込むメソッドです。TypeScript的に一番大事なのは、「途中経過（累積値：acc）の型をどう扱うか」です。この...
TypeScript TypeScript | 基礎文法：配列・タプル – findの戻り値型
findの基本的な動きと戻り値のイメージfind は、配列の中から「条件を満たす最初の要素」を1つだけ返すメソッドです。もし条件を満たす要素が1つも見つからなかった場合は、undefined を返しま...
TypeScript TypeScript | 基礎文法：配列・タプル – filterの型推論
filterの型推論は「何が残る配列か」を推理してくれる仕組みfilter は、「条件を満たす要素だけを残して新しい配列を作る」メソッドです。TypeScript はここで、「元の配列の要素の型」と「...
TypeScript TypeScript | 基礎文法：配列・タプル – 配列mapの型推論
「配列mapの型推論」とは何をしてくれているのかmap は、「配列の各要素を変換して、新しい配列を作る」メソッドです。TypeScriptは、このときに「元の配列の要素の型」と「変換関数の戻り値の型」...
TypeScript TypeScript | 基礎文法：配列・タプル – スプレッド構文と型
スプレッド構文とは何か（型の世界でどう見えるか）スプレッド構文 ... は、配列やオブジェクトの「中身を展開する」ための記法です。配列なら「要素をバラして別の配列に入れ直す」、オブジェクトなら「プロパ...
TypeScript TypeScript | 基礎文法：配列・タプル – 可変長タプル
可変長タプルとは何か（「一部だけ長さが伸びるタプル」）タプルは本来「要素数が固定」の型ですが、「ここまでは固定、それ以降は同じ型がいくつでも続いていい」という形を表現できるのが「可変長タプル（可変長タ...
TypeScript TypeScript | 基礎文法：配列・タプル – タプルとreadonly
タプルとreadonlyの関係をざっくりイメージするタプルは「要素の数・順番・型が決まっている小さなセット」でした。ここに readonly を組み合わせると、「形も中身も変えない前提のタプル」を作れ...
TypeScript TypeScript | 基礎文法：配列・タプル – タプルの要素アクセス
タプルの要素アクセスは「位置ごとに型が決まっている」のがキモタプルは、「何番目に何の型が入るか」まで型で決まっている配列でした。だからこそ、要素にアクセスしたときも「どの位置を取るか」で型が変わります...
TypeScript TypeScript | 基礎文法：配列・タプル – タプルと配列の違い
まずざっくりしたイメージの違い同じ「[]」を使うのでややこしいんですが、役割はけっこう違います。配列：「同じ型の値が、いくつ並ぶか分からない入れ物」タプル：「要素の数・順番・型が決まっている、小さな“...
TypeScript TypeScript | 基礎文法：配列・タプル – タプルの型固定
「タプルの型固定」とは何かタプルの一番大きな特徴は、「要素の数・順番・型がすべて固定される」ことです。普通の配列は「number が何個でも」「string が何個でも」という“長さフリー”な構造です...
TypeScript TypeScript | 基礎文法：配列・タプル – タプルの基本構文
タプルの基本構文の全体像タプルは、「要素の数・順番・型が決まっている配列」を表すための構文です。基本形はとてもシンプルで、「配列リテラルの [] の中に、位置ごとの型をカンマ区切りで並べる」だけです。...
TypeScript TypeScript | 基礎文法：配列・タプル – タプルとは何か
タプルとは何か（「位置に意味がある配列」）タプルは、ざっくり言うと「要素の数と順番と型が決まっている配列」です。普通の配列は「同じ型の値がズラッと並ぶもの」ですが、タプルは「1番目はこれ、2番目はこれ...
TypeScript TypeScript | 基礎文法：配列・タプル – readonly配列
readonly配列とは何か（「中身を書き換えられない配列」）readonly配列は、一言でいうと「中身を変更できない配列」です。「参照はするけど、追加・削除・書き換えはさせたくない」というときに使い...
TypeScript TypeScript | 基礎文法：配列・タプル – union型配列
union型配列とは何か（まずイメージから）union型配列は、「この配列には“いくつかの型のどれか”が入る」ということを型で表現したものです。たとえば「number か string のどちらかが入...
TypeScript TypeScript | 基礎文法：配列・タプル – 配列に異なる型を入れた場合
「配列に異なる型を入れる」と TypeScript はどう解釈するかまず前提として、TypeScript は「配列の中身（要素）を見て、その配列の型を決める」言語です。なので、配列に異なる型を混ぜると...
TypeScript TypeScript | 基礎文法：配列・タプル – 配列の型推論
配列の型推論とは何かTypeScriptは、わざわざ「: string[]」のように型を書かなくても、初期値から配列の型を自動で推論してくれます。つまり、次のように書いた瞬間に、コンパイラは「これは ...
TypeScript TypeScript | 基礎文法：配列・タプル – string[] と Array<string>
string[] と Array<string> は「意味は同じ」最初に結論から言うと、string[] と Array<string> は意味はまったく同じです。どちらも「string 型の要素だけ...
TypeScript TypeScript | 基礎文法：配列・タプル – 配列型の書き方
配列型とは何かをまずイメージする配列は「同じ種類の値を、順番付きで並べたもの」です。TypeScriptでは、「この配列には何の型の要素が入るのか」を型として表現できます。const numbers ...
TypeScript TypeScript | 基礎文法：変数・基本型 – unknown型との違い
any型とunknown型は「似て非なるもの」どちらも「どんな値でも代入できる型」ですが、性格は真逆です。ざっくり言うと、any型：型チェックをほぼ無効化する「なんでもアリモード」unknown型：何...
TypeScript TypeScript | 基礎文法：変数・基本型 – any型の危険性
any型が「一番危険な型」と言われる理由any 型は、「何でも入るし、どこにでも代入できる」特別扱いの型です。一見すると「エラーが消えて便利」に見えますが、その代わりにTypeScriptの一番大事な...
TypeScript TypeScript | 基礎文法：変数・基本型 – any型とは何か
any型とは何か（TypeScriptの「なんでもアリ」モード）any 型は、一言でいうと「TypeScriptの型チェックをほぼ無効化するための型」です。number や string のように「こ...
TypeScript TypeScript | 基礎文法：変数・基本型 – 型エラーの典型パターン
型エラーの「典型パターン」を知っておく意味型エラーは無限にあるように見えて、実はよく出るパターンはかなり限られています。この「典型パターン」を押さえておくと、エラーを見た瞬間に「ああ、これはあのパター...
TypeScript TypeScript | 基礎文法：変数・基本型 – 型エラーの読み方
型エラーは「TypeScriptからの手紙」だと思って読むまず前提として、型エラーは「お前のコードがダメ」と責めてくるものじゃなくて、「ここがこうズレてるよ」と教えてくれるかなり親切な手紙です。だから...
TypeScript TypeScript | 基礎文法：変数・基本型 – as const の意味
as const は「この値をそのままの形で固定して」と伝えるスイッチas const は、TypeScript に対してこう宣言するためのものです。「この値は“変わらない前提”だから、できるだけその...
TypeScript TypeScript | 基礎文法：変数・基本型 – booleanリテラル型
booleanリテラル型とは何かbooleanリテラル型は、「true だけ」「false だけ」といった、特定の真偽値だけを許可する型です。普通の boolean 型は「true か false の...
TypeScript TypeScript | 基礎文法：変数・基本型 – 数値リテラル型
数値リテラル型とは何か数値リテラル型は、「特定の数値だけを許可する型」です。普通の number 型は「どんな数値でもOK」ですが、数値リテラル型は「この変数には 1 しか入れてはいけない」「0 か ...
TypeScript TypeScript | 基礎文法：変数・基本型 – 文字列リテラル型
文字列リテラル型とは何か文字列リテラル型は、「特定の文字列だけを許可する型」です。普通の string 型は「どんな文字列でもOK」ですが、文字列リテラル型は「この文字列“だけ”OK」という、もっと狭...
TypeScript TypeScript | 基礎文法：変数・基本型 – リテラル型とは
リテラル型とは何か（ざっくりイメージ）リテラル型は、「特定の値そのものを型として扱う」ための仕組みです。普通の string 型は「どんな文字列でもOK」、number 型は「どんな数値でもOK」です...