文字と論理を記号で表す

1文字には番号を対応させる

文字コードは、文字と数値を対応させて保存・伝送するための約束です。同じバイト列でも、保存したときと違う符号化方式で読むと文字化けすることがあります。JIS（日本産業規格）コードは日本の規格に基づく文字の表現です。電子メールなどで使われたISO（国際標準化機構）-2022-JPは、その代表的な方式の一つとして、制御用の符号で英数字と日本語などの文字集合を切り替えて表します。

シフトJISは、英数字などを1バイト、日本語の多くの文字を2バイトで表す符号化方式です。JISの文字集合に基づく日本語を扱いますが、ISO-2022-JPと同じバイト列になるわけではありません。どちらも、あらゆる言語の文字を制限なく表せる方式という意味ではありません。

Unicode（世界の多様な文字へ一貫した符号位置を割り当てる規格）は、世界の多様な文字に一貫した符号位置を割り当てる規格です。その符号位置をバイト列として表す方式にUTF-8やUTF-16などがあります。UTF-8では文字により使うバイト数が異なるので、「Unicodeなら必ず全て2バイト」とは判断できません。

ファイルが文字化けしたら、保存時と読込み時の方式が合っているかを確認します。

2人を変数にして条件を書く

述語論理では「学生(x)」のように対象xについて成り立つ性質や関係を記号で表します。「全ての学生は利用できる」は、全てのxについて学生(x)なら利用可(x)、という形です。

「全員が利用できる」と「利用できる人が少なくとも一人いる」は別です。全てか、あるものが存在するかを明確にすると、自然言語の条件をプログラムや規則に直しやすくなります。

3規則から結論へ進む演繹

演繹推論は一般的な規則を個別の事例に当てはめます。「全会員は入場できる」「ハルは会員である」なら「ハルは入場できる」と結論できます。前提が正しく、推論の形も正しければ結論が従います。

「全記憶装置はデータを保持する」「HDD（回転する磁気ディスクへ記録する補助記憶装置）は記憶装置」からHDDへ規則を適用するのも演繹です。ただし前提の事実そのものが正しいかは別途確かめます。

4例から広げる帰納には反例がある

帰納推論は複数の事例から一般的な傾向や規則を推測します。見たカラスが全て黒いから「カラスは黒い」と考えても、まだ見ていない反例があるかもしれません。演繹のように結論が必ず従うとは限りません。

仮説形成は「床がぬれている」から「雨が入ったのかもしれない」と原因候補を考えること。類推は似た性質をもつ対象にも同じことがいえそうだと考えること。結果から原因を一つに断定したり、似ているから必ず同じと決めたりしません。