Rei Frontier Tech Blog

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

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

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

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

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

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

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

感染症モデルとR0:その2

レイ・フロンティア株式会社のデータアナリストの齋藤です。前回の記事の続きを書いていこうと思います。 年齢構造をもつSIRモデルにおける\(\mathcal{R}_0\) モデルの構成 漸近挙動と\(\mathcal{R}_0\) 非自明平衡解と\(\mathcal{R}_0\) 参考文献 年齢構造…

感染症モデルとR0:その1

レイ・フロンティア株式会社のデータアナリストの齋藤です。すっかり寒くなってきましたね。前々回の記事で、人口動態を記述する数理モデルにおいて、基本再生産数\(\mathcal{R}_0\)という量が重要な役割をもつことを述べました。次は、今回と次回の記事の2…

テンソルの定義について: 普遍性と多重配列

レイ・フロンティア株式会社のデータアナリストの齋藤です。最近、食事がうどんばかりです。本記事では、機械学習において盛んに応用され、深層学習のライブラリ tensorflow の名前の由来にもなっているテンソルについて述べます。機械学習においては、たと…

安定人口モデルについて

レイ・フロンティア株式会社でデータアナリストをしている齋藤です。これから、考えていることや興味を持って勉強していること、業務のなかで学んだ技術などについて定期的に発信していくことになりました。私個人としては数学や応用数理に興味を持って勉強…