今回は「テンソルとは何か、なぜテンソルという概念が必要となるのか」について考えたいと思います。 予備的考察 テンソルとは何かという問いについて、身近な例である回転運動を素材にして考えていきたいと思います。高校や大学で物理を学んだ方であれば角運動量や力のモーメント等の言葉をご存じかもしれませんが、ここではそれらの定義を天下りに与えることなく、経験的な事実を手掛かりに定式化していきます*1。 はじめに状況設定をしましょう。回転軸から作用点までの位置ベクトルを とし、作用点に力 が掛かっているとします。てこの原理を思い出すと、回転に関する影響力は作用点までの距離と作用点に掛かる力の双方に比例しています。従ってこの影響力を と表すとき、 は次の性質を満たすことが期待されます。 , , . 上記の性質１において と の間で足し算が出来たり、性質３で を定数倍したりしていますが、これらの演算が出来るこ
データに基づく因果推論がどのように行われるのか、詳しく説明していきます。因果の定義、因果推論に必要な条件、RCTの意義などいろいろまとめていたら、例のごとくすごいボリュームになってしまいました。なお、本記事で使われる用語は、「疫学」の因果推論で使われているものが基本です。同じコンセプトでも分野によって呼び方が違うので、その点はご了承ください。 まずは「因果効果」の定義から データから因果効果を求めるための前提条件 前提①：(Mean) Exchangeability 定義 交絡との関係性 ランダム化という魔法 観察データでの因果推論を可能にするConditional Exchangeability 前提②：Consistency 前提③：Positivity 前提条件のもと、データから平均因果効果を導く Exchangeabilityが成立しているとき（例：ランダム化比較試験） Condi
機械学習など主に予測を目的とした統計手法に強いイメージのPythonでしたが、統計的因果推論を行うためのライブラリ、“DoWhy”がついにリリースされました。 DoWhy | Making causal inference easy — DoWhy | Making Causal Inference Easy documentation これまで因果推論があまり浸透してこなかった*1データサイエンス界に新しい風が吹くのではと期待が高まります。 一方でこのパッケージが何を可能にし、逆に何ができないのかを理解しなければ、雑なデータ分析が増えて逆に有害なのではと思い、今回ブログを書くことにしました。 先に言っておくと、私自身はPythonをメインに使っているわけではありません（使ったことはあるので一応コードを読んで何が起こっているかくらいはわかります）。したがって本記事の目的は、DoWhyライブ
Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6″ × 9″ size, hardcover, first-edition-1277-g3274cb3] Buy a paperback copy for $14.00. [620 pages, 6″ × 9″ size, paperback, first-edition-1277-g3274cb3] Download PDF for on-screen viewing. [490+ pages, letter size, in color, with col
3Dコンテンツの制作において「三角関数は必須」とよく聞きます。ウェブサイト制作で三角関数を使う場面はほとんどありませんが、WebGLの勉強をすすめると3Dでは三角関数を使う場面が多いことに気づきます。本記事では3Dコンテンツ制作で使用頻度が多い基本的な数式と概念をまとめました。 今回解説する内容は地味ですが、ゲームやデータビジュアライゼーションを作る上でこの数式が基本となってきます。高校数学で学んだことをベースに、3つのサンプルを通して学習できるようまとめましたので、ぜひ最後までお付き合いください。WebGLの人気ライブラリの1つ「Three.js」を使って解説しています。 三角関数を使ったデモの紹介 まずは、本題に入る前に三角関数を使ったデモを作成したので紹介します。次のリンクをクリックしてご覧ください。 デモを別ウインドウで再生する ソースコードを確認する 地球をモチーフにしたサンプル
In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox. Today, Zermelo–Fraenkel set theory, with the historically controversial axiom of choice (AC) included, is the standard form of axiomatic
In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf that takes values in categories rather than sets. Stacks are used to formalise some of the main constructions of descent theory, and to construct fine moduli stacks when fine moduli spaces do not exist. Descent theory is concerned with generalisations of situations where isomorphic, compatible geometrical objects (such as vector bundl
Recent comments Oct 25 2024: tag 0334 by Jonas Oct 25 2024: tag 09E2 by Jonas Oct 25 2024: tag 09E2 by Jonas Oct 25 2024: tag 09E2 by Jonas Oct 25 2024: tag 01R4 by George Cooper Recent commits 18 Sep 2024: Refer to preprint Gabber-Zavyalov 13 Sep 2024: Better flatness criterion 13 Sep 2024: Add missing hypothesis 12 Sep 2024: Another flatness criterion 12 Sep 2024: Improve the flatness criterion
コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能（広告ブロック機能を持つ拡張機能等）を無効にしてページを再読み込みしてください。 ✕
社内の有志で機械学習や数学の勉強会をいくつかやっています（私以外の方が主催しているものもある）。とくに理系ではない方も参加されていますが、きちんと頑張ればだんだん機械学習ができるようになるということがわかってきたのでメモしておきます。 なお、機械学習をとりあえず実装するだけだったらもっと簡単に学ぶ方法もいろいろあり、今回はあくまで正攻法で機械学習を勉強する、という観点での書籍の選択となっています。急がば回れという言葉もあるように、焦って成果を求めないのであれば地道に頑張るほうが後々応用が効いて良いということもあります。 高専の数学 おそらく数学ができないという方は高校の数学あたりから理解が怪しいことになっていると思います。「高専の数学」は中学数学までの前提知識で読める教科書で、わかりやすい例題や理解の助けになる練習問題が多数用意されているため、きちんと問題を解いていけば無理なく高専の数学(
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? TensorFlowは主に機械学習、特に多層ニューラルネットワーク(ディープラーニング)を実装するためのライブラリになりますが、その基本的な仕組みを理解するのにそうした難しい話は特に必要ありません。 本記事では、TensorFlowの仕組みを、算数程度の簡単な計算をベースに紐解いていきたいと思います。 TensorFlowの特徴 初めに、TensorFlowの特徴についてまとめておきたいと思います。 TensorFlowは、その名前の通りTensor(多次元配列、行列などに相当)のFlow(計算処理)を記述するためのツールです。その特徴
発売されるやいなや大きな反響を呼んでいる、『数学する身体』。お待ちかねの客員レビュー第三弾は、はてな株式会社の近藤淳也さんが登場。「数学は情緒だ」という独立研究者・森田真生の言葉を聞いた時、近藤さんが直感的に感じたものとは何だったのか？ （HONZ編集部） ※客員レビュー第一弾、第二弾 森田くんが初めて書いた本。「数学する身体」。 わざわざ「本を届けたいので」と、会社の近くまで足を運んでくれて、ランチを共にしながら渡してくれた本。 構想ができてから書き上げるのに4年かかったという本。 もともと、文章を書くときにはとんでもなく集中して、丁寧に言葉を積み上げて、何度も何度も読んで味わえるような、スルメみたいな精緻な文章を書く森田くんが、初めて1冊の本を書いた、という本。 もうそれだけで、読む前から、これはすごい本だ、ということは分かっていた。 すごいというのは、とにかく、中身云々の前に、通常で
この記事はなんなの 「センター試験程度であれば、数式と文章を愚直にプログラムに落としこむことさえできれば、昨今のツールを用いて、何も閃かずとも機械的に問題を解くことが出来る」ということの主張 科学計算ライブラリ(特にSympy)の布教 将来、働き先がなくなったとき、「私、私こういうことができるんです！！」って言えばどこかが拾ってくれないかなあ、という夢 使用するもの Python (3系) Scipy.org に載っている科学計算ライブラリ全て(タグが足りない！！) 共に、2015年6月現時点での最新版を使用します(特に、Scipyは今年1月に実装された最新版の機能を使用するので注意してください)。 数々のライブラリを一つ一つインストールするのはすごく面倒です。面倒なので、有名どころを固めたパッケージのようなものが複数存在します。 個人的にはいつもAnacondaを使ってまとめてインストー
『数学する身体』は、独立研究者・森田真生氏が「数学とは何か」そして「数学にとって身体とは何か」を自問しながら数学の歴史を追いかけた一冊である。その流れは、アラン・チューリングと岡潔の二人へと辿り着く。 そしてこの森田氏の試みを応援すべく、二人の刺客が客員レビューに名乗りを上げた。一人目は科学哲学を専門とし、同じように身体論へアプローチする下西 風澄さん。彼は本書を「格闘の書」と評す。ちなみに2人目は10月21日に掲載。乞うご期待。（HONZ編集部） 私たちが心を高鳴らせるのは、いつも「はじまりの瞬間」である。 数学という完成された美しい建築物を眺め、そして学ぶとき、私たちはその起源を忘却している。しかし、そこには確かに、不安になるほどの未知と可能性に開かれた「はじまりの瞬間」、そしてそこから走り出す物語があったのだ。 本書は、「数学がはじまる瞬間」、その風景を垣間見せてくれる。それは、生ま
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
