述語論理

分野を問わず数学の証明が好きで、不定期に過去のノートも含めて更新しています。あとで自分が読み返してもきちんと理解できるノートを作ることを心がけています。定義や証明、命題などに誤りがございましたら、ご指摘いただけますと幸いです(2025年12月28日)。データサイエンティスト職で内定をいただきましたため、しばらくの間は Python・SQL・機械学習の学習に専念するべく、活動を休止いたします(2026年2月27日~3ヵ月ほど)。