Rei Frontier Tech Blog

人工知能を活用した位置情報分析プラットフォーム「SilentLog Analytics」を運営する、レイ・フロンティア株式会社のエンジニアメンバーで運営する技術ブログです。

2017-11-16から1日間の記事一覧

ZFC公理系について:その3

レイ・フロンティア株式会社のデータアナリストの齋藤です。 前前回、前回につづいて、ZFC公理系の残りの公理を紹介していきます。 写像と選択公理 順序対、直積 写像、一般の直積、選択公理 順序数、ZFC公理系 順序関係と順序数 正則性公理 置換公理 参考文…