SAKAI Masahiro - F Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.

= F

(1) ((<森博嗣>))氏の「すべてがFになる」の略称
(2) Giraldの構成した型理論 => ((<型理論F>))