Rei Frontier Tech Blog

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

2017-11-01から1ヶ月間の記事一覧

Brown運動と確率積分:その1

レイ・フロンティア株式会社のデータアナリストの齋藤です。 本記事から数回にわたって、Brown運動という数学モデルを紹介します。 Brown運動とは Brown運動の定義と構成 Brown運動の基本的な性質 Brown運動とは Brown運動とは、もともとは液体中の微粒子が…

順序の数量化と選好

レイ・フロンティア株式会社のデータアナリストの齋藤です。 今回は最近興味を持ち始めた、選好関係と呼ばれる2項関係と、選好の順序を数値によって表現する方法についてご紹介します。 全順序に関する数量化定理 弱順序に関する数量化定理 参考文献 全順序…

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

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

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

レイ・フロンティア株式会社のデータアナリストの齋藤です。 本記事の目的は、自然数全体の集合\(\mathbb{N}\)を定義し、その性質(の一部)を述べることです。 べき集合の公理、自然数の全体 ペアノの公理 べき集合の公理、自然数の全体 自然数の話に戻りま…

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

レイ・フロンティア株式会社のデータアナリストの齋藤です。 今回皆様にお話するのは、現代数学の土台であり、我々が普段接する数学的対象をつくる素材を提供してくれる、ZFC公理系にまつわるお話です。 はじめに 命題と論理式 外延性公理と集合 非順序対と…