ツールの分類が難しい。境界線がハッキリしないし、実際複数の役割を兼務しているソフトウェアが多そうだ。つまり、だいぶ機能重複があるってこと。 バンドラー： 複数のファイルをまとめて単一または少数のファイルにする。 互換性トランスパイラ： JavaScr…

使う言葉： 述語 → (述語関数 | 述語記号) 命題〈単純命題〉 構造化命題〈structured proposition〉 導出〈derivation | デリベーション〉 シーケント リーズニング 背景指標 導出可能〈derivable | デライバブル〉 使わない言葉： 判断 証明 推論 推論規則 …