• miyamonz
  • 簡単な自己紹介
  • ここはなに
  • async awaitで何かを待つような処理を同期的に書く
  • 無限ループ防止するutil
  • テクニウム
  • Macで使える通知音
  • YouTube再生リストからテキストを得る
  • ZFでの空集合の存在
  • 基本公理
  • 数学基礎論 (数理論理学) 入門 by alg-d
  • 『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』
  • 数学基礎論(数理論理学)を学ぶ
  • 否定の導入
  • モデル(数学基礎論)
  • 【数学基礎論入門】群論なども扱えるようにする回【モデル理論】 by alg-d
  • L(M) 言語
  • L-構造
  • L-公理系
  • L-論理式