コンテンツへスキップ

icefog BLOG

daily thoughts and activities

  • Home
  • Changelog
  • About
  • Contact
  • Privacy Policy

Logics

Boolean algebra v.s. Heyting algebra

2021年10月20日 by shinobu.yokoyama

【2021/10/12 ラジオ】Coqとか証明駆動開発とかに関するファクトチェックをした時のノートをlatexで書き起こしたものです. 興味がある方は参考にどうぞ. ※ブログメンテナンスの影響で, 記事番号が変わりました … 続きを読む

カテゴリー Logics、Mathematics
  • X
  • YouTube
  • Instagram
  • LinkedIn
  • Facebook
  • Trend News
  • CV

カテゴリー

アーカイブ

最近の投稿

  • 教育崩壊が産む「Z思想」― 日本の未来を蝕む冷笑主義とコスパ志向の源流
  • Why we prefer “the right-side” of a critical value?
  • predicate data model
  • 実験的なコンテンツの運用を開始
  • Introduction to Central Limit Theorem + α
Tweets by funny_hat_
© 2025 icefog BLOG • Built with GeneratePress