PS

2015-02-27から1日間の記事一覧

Uniqueness quantification

Uniqueness quantification についての怪しい考察・・・ 動機 を満たす がただ一つ存在し、しかも を満たす という命題が という一まとめの記号では表せない。 Uniqueness quantification? 結果 参考文献 Uniqueness quantification - Wikipedia, the free ency…