2022年3月の記事一覧
東洋思想を卒業したことを東洋思想で考える
私は宗教的なものが大嫌いです。気分が悪くなりますし，変なイメージを持たれると困ります。そのため，この投稿は私の望むものでないことを念入りに断っておきます。
ですが，４年前までは東洋思想に没頭していて，陰陽五行思想の知識は今でも残っています。抵抗はありますが，この知識は無駄にはならないと思いますので少しだけ考えてみます。もちろん，普段自分の脳について考えている私には興味深いものではありません。参考
シークエントを活用した反例モデルの抽出
今回はものすごーくマニアックですが感じたことなのでまとめておこうと思います。論理学についてです。高校数学では"集合論"の分野で"命題と証明"があると思いますが，特に証明の分野で"反例"という言葉が教えられるはずです。ある命題に対して反例が存在するとは，その命題を偽にする要素があり，その要素を含めたものを反例モデルといいます。少し曖昧ですが本来は帰納的に定義されています。
反例モデルの抽出法
・