超準解析ことはじめ (1)
こんにちは。ちゅらデータの k.ueda です。普段は因果推論を用いた分析や研究開発業務に携わっています。ちゅらデータアドベントカレンダー 6日目ということで、データ分析企業らしく数学の記事で...
14 search resultsShowing 1~14 results
こんにちは。ちゅらデータの k.ueda です。普段は因果推論を用いた分析や研究開発業務に携わっています。ちゅらデータアドベントカレンダー 6日目ということで、データ分析企業らしく数学の記事で...
ちょっと探せば力学系の情報は無限に出てきますが、自分で整理したいと思ったので残しておきます。以下はちゅらデータでの社内研修を一部圧縮して一部丁寧にしたような内容です。 力学系とは 連続と離散 ...
この記事はちゅらデータ Advent Calendar 2023 22日目の記事です。 導関数を表す記法 $dy/dx$ はあたかも分数のようですが、導関数は分数ではありません。一方で、合成...
ちゅらデータの k.ueda です。8日に引き続き、ちゅらデータ Advent Calender 2回目のエントリーです。これは22日目の記事です。みなさんはいわゆる測度論的確率論をよくご存知...
NO TEARS アルゴリズムとは NO TEARS はデータから有向非巡回グラフ(Directed Acyclic Graph; DAG)を推定するためのアルゴリズムです。因果推論ライブラリ...
社内向けに公開している記事「統計・機械学習の理論を学ぶ手順」の一部を公開します。中学数学がわからない状態からスタートして理論に触れるにはどう進めばいいのかを簡潔に書きました。僕が一緒に仕事をし...
前回 は内的*有限加法的測度空間からローブ測度を構成する方法を学びました。超準宇宙の有限加法的測度からホップの拡張定理および完備化を通して標準宇宙のルベーグ測度を構成することができます。このよ...
一般化線形モデルの正準リンク関数がよくわからなかったので調べてみました。 一般化線形モデル 一般化線形モデル(Generalized Linear Model; GLM) とは、線形予測子 ...
ちゅらデータの k.ueda です。今年も ちゅらデータ Advent Calender に参加しました。これは8日目の記事です。昨年は超準解析の記事を書いたので、今年も数学っぽい話題にします...
前回に引き続き、超準解析の基本的なところをまとめていきます。今回扱うものは積分です。 測度空間 有限加法族と σ-加法族 三つ組 $(S, \mathcal{F}, \mu)$ を考えます。...
ちゅらデータの k.ueda です。8日と22日に引き続き、ちゅらデータ Advent Calender 3回目のエントリーです。23日目の記事では形式検証の話をします。 モデル検査とは シス...
位相幾何では連続変形に対して不変であるような空間の "細かい" 構造に着目しますが、粗幾何では逆に "粗い" 構造を考えます。どれくらい粗いかというと、$\mathbb{Z}$ と $\mat...
超準解析って何? という人は過去記事を参照してください。新しい都市伝説が出てきたらこの記事を更新していきます。超準解析についてのアヤシイ話はだいたいが「移行原理の適用範囲外まで直感的に標準モデ...
これはちゅらデータアドベントカレンダー 14日目の記事です。6日目ではゴリゴリ数学の記事だったので、軽いものを書きます。 以下のように、Excel ファイルに複数の表が含まれている場合にひと...
14 search resultsShowing 1~14 results
Qiita is a knowledge sharing service for engineers.