このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama

ご連絡は上記 X アカウントに DM にてお願いします。

参照用 記事

2018-08-03から1日間の記事一覧

TypeScriptで(無理して)論理式: 言霊排除

論理的議論は、日常生活の情念や雑念を取り払った、シンプルでドライなスタイルで遂行します。例えば、日常会話においては、「Aである」と「Aでなくはない」の意味は違います(違いをうまく説明できないけど)。論理(古典論理*1)では、「Aである」と「Aで…