Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 389,756/311,170
  • フォロー 995 フォロワー 14,556 ツイート 293,980
  • 現在地 (^-^)/
  • Web https://genkuroki.github.io/documents/
  • 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
並び順 : 新→古 | 古→新

2021年03月10日(水)

寝太郎 @metaPPP

21年3月10日

初歩的なミスで時間を溶かした。Rは配列も値渡しだから横着してX1<- X2 <- X3 <- rep(0,100)みたいな初期化ができるけど、それに慣れて参照渡しのJuliaとかPythonでX1 = X2 = X3 = zeros(100)と初期化すると当然変な動作をする。

タグ:

posted at 00:03:55

Viral B. Shah @Viral_B_Shah

21年3月10日

@revodavid Google Analytics reports 20% women visiting the #julialang website and docs.julialang.org over the last year. The results you cite are from a survey that we post to the julialang.org before JuliaCon.

タグ: julialang

posted at 00:12:36

寝太郎 @metaPPP

21年3月10日

ある程度以上やるならJuliaの本を買って勉強した方が良いと友達に言われていたのを思いだした。

タグ:

posted at 00:29:47

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@tsatie @sekibunnteisuu 上のゲームを何度も繰り返して行けば、正解が表のときに質問される回数と正解が裏のときに質問される回数の比は大数の法則から1:2に近付きます。

1/2, 1/4, 1/4 や 1/3, 1/3, 1/3 のどちらかまたは両方が「正しい」という話まで全然行っていないことに注意。

他のスレで変な返答が飛んで来ていた。

タグ:

posted at 00:36:59

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu まだ述べていないもう1つの立場は、上のゲームでの{表月, 裏月, 裏火}における完全加法族は{{表月}, {裏月, 裏火}}で生成されるもの(それに∅と全体を合わせたもの)になるという立場です。

要するに裏月と裏火単体での確率は考えないし、{表月, 裏月}の確率も考えないという立場。

タグ:

posted at 00:49:11

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu その立場は実質的に、表={表月}, 裏={裏月, 裏火}の確率のみを考える立場だと言ってよい。

これもこれで筋が通っており、ギャンブル的にも十分に役に立ちます。

タグ:

posted at 00:51:03

Jacob Quinn @quinn_jacobd

21年3月10日

Go home python, you're drunk... twitter.com/raymondh/statu...

タグ:

posted at 00:53:52

黒木玄 Gen Kuroki @genkuroki

21年3月10日

もう一度強調しておきますが、以下のリンク先の発言は考えが足りなすぎ。理由はこのスレッドをここから遡ればたぶんわかる。 twitter.com/genkuroki/stat...

タグ:

posted at 01:04:32

霧咲空人/アッキーだよ✨ @A_kirisaki

21年3月10日

あんなに静的型付け言語いいよな!!言いながら Julia やっとる

タグ:

posted at 01:51:12

Chad Scherrer @ChadScherrer

21年3月10日

Here's a one-pager that
- Defines a generative model
- Predicts (forward samples) a value for a given p
- Finds the predictive distribution
- Conditions on data to define the posterior, and
- Samples from the posterior

Final result is 4 independent chains pic.twitter.com/IlVMPihWWw

タグ:

posted at 01:53:21

Peter Deffebach @PeterDeffebach

21年3月10日

One feature I like in #Stata is `egen rowmean`, thankfully #JuliaLang's DataFrames' incredible robust `src => fun => dest` syntax can emulate that workflow in ways #dplyr cannot.

The syntax is hard to master, but will solve any problem you can throw at it. pic.twitter.com/lD9oPNcw8N

タグ: dplyr JuliaLang Stata

posted at 01:53:26

(「・ω・)「ガオー @bicycle1885

21年3月10日

Juliaの文字列検索が倍以上速くできそう。

タグ:

posted at 08:36:52

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu {裏月}と{裏火}の各々に確率の値を自然に割り振れるという考え方が間違っているのだと思います。

割り振った上で、仮に(例えば)「質問ごとに±1万円」ゲームなときも期待値を適切に計算できる確率変数は設定できる。続く

タグ:

posted at 09:20:56

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu 裏月, 裏火に確率1/4を割り振るなら、ゲームで常に「表」と答える場合の期待値を計算するための確率変数(確率変数=標本空間上の実数値可測函数)の表月, 裏月, 裏火のそれぞれでの値は1万円, -2万円, -2万円としなければいけない。

続く

タグ:

posted at 09:23:35

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu 裏月, 裏火での値を-2万円にする理由は以下の通り。常に「表」と答える場合には

* 裏月で「表」と答える場合には、裏火でも「表」と答えることになるので、裏月での確率変数の値は合計の-2万円

* 裏月と裏火の立場を交換しても同様

タグ:

posted at 09:27:46

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu ちょっとここで数学の解説を追加。

1. 完全加法族

Ω={表月, 裏月, 裏火}の完全加法族とは、Ωの部分集合で、∅とΩを含み、和集合と補集合(とゆえに共通部分)を取る操作で閉じているもの。

例: Ωの冪集合は完全加法族。

例: F={∅,Ω,{表月}, {裏月, 裏火}}も完全加法族。

タグ:

posted at 09:35:01

Ligun (りぐん) ☠️ Nenio @choonggeun

21年3月10日

@genkuroki 昨日のサンプルコードの関数コピペで動作しました!
ありがとうございます。 pic.twitter.com/CPuccAmqKJ

タグ:

posted at 09:38:22

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu 2. 確率変数

Ω上の与えられている完全加法族について可測な函数を確率変数と呼ぶ。

例:完全加法族としてΩの冪集合が与えられているなら、Ω上のすべての函数が可測になる。

例:与えられた完全加法族がF={∅, Ω, {表月}, {裏月, 裏火}}の場合には、可測函数は裏月と裏火で同じ値になる函数と同じ。

タグ:

posted at 09:42:08

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu 一般に、標本空間Ωが互いに交わらない部分集合A₁,…,Aᵣに分割されていて、完全加法族FがAᵢたち(すべてを使う必要はない)の和集合で表せる部分集合全体の集合になっているならば、可測函数は各Aᵢ上で定数函数になる函数と同じになる。

可測函数の一般的定義を知らなくても今の場合はこれで足りる。

タグ:

posted at 09:47:46

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu 確率だけを考えると、Ω={表月, 裏月, 裏火}が与えられたら、表月, 裏月, 裏火の各々に確率の値を割り振らなければいけないかのように思いがちですが、実際には完全加法族を与えて完全加法族の元に確率の値を割り振る方が考え方の自由度が増えます。

タグ:

posted at 09:51:00

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu 完全加法族をどのような原理で決めるのか?

確率論がギャンブルの理論なので期待値が重要です。

期待値は確率変数(=標本空間上の与えられた完全加法族に関する可測函数)について定義されます。

ギャンブルのために使いたい函数が可測になってくれるように完全加法族を作る必要がある。これが基本!

タグ:

posted at 09:54:55

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu 質問に答えるごとに正解不正解で±1万円のゲームで質問に常に「表」「裏」と答えるとき、得られる金額は

* コイントスの結果が表→表月
* コイントスの結果が裏→裏月→裏火

の2つの経路があって、それぞれでの値が決まります。例えば常に「表」と答えるなら、前者で+1万円、後者で-2万円。続く

タグ:

posted at 10:00:35

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu そこで、常に「表」と答える場合の、ギャンブルで使う函数Xの値を、表月を含む経路(=部分集合)の{表月}上では1万円、裏月または裏火を含む経路{裏月, 裏火}上では-2万円と定義したとしましょう。

この函数Xが可測になるような最小の完全加法族はF={∅,Ω,{表月},{裏月,裏火}}になります。

タグ:

posted at 10:05:24

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu この文脈で、常に「裏」と答える場合に対応する函数Yは{表月}上では-1万円、{裏月, 裏火}上では2万円です。

やはり、{裏月, 裏火}上で定数函数なので、Yを可測にしてくれる最小の完全加法族はF={∅, Ω, {表月}, {裏月, 裏火}}になります。

タグ:

posted at 10:11:43

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu {裏月}, {裏火}の各々にも確率の値を割り振りたければ、F={∅, Ω, {表月}, {裏月, 裏火}}より細かい{裏月}, {裏火}を含む完全加法族が必要になり、完全加法族をギャンブルで使うお金のやり取りを記述する函数から決める上のスタイルに従えば、裏月, 裏火を分離するためのギャンブルの設定が必要。

タグ:

posted at 10:15:32

清 史弘 @f_sei

21年3月10日

まとめると、円周率系の問題としては
π>3.05 (東大 2003)
π>3.11 (お茶大 2020)
3.141<π<3.142 (大阪大 2013)
となるかな。

タグ:

posted at 10:20:58

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu こういう話題では、単に確率を考えるだけではなく、ギャンブルで必要なお金のやり取りを記述する函数たち(後で確率変数と呼ばれることになる)も考えた方が情報が増えてよいと思っています。

本音を言うとギャンブルの話にしないとうまく頭が働かない(笑)

ついでに可測函数の概念も学ぶと良さそう。

タグ:

posted at 10:21:15

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu クソ長くなった。

タグ:

posted at 10:21:42

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu 完全加法族とか可測函数のような言葉を使わない考え方もできます。

①ギャンブルの結果はコイントスの結果だけできまるので、ギャンブルに必要な必要最小限の標本空間は{表, 裏}になる。

②上のΩ={表月,裏月,裏火}から{表, 裏}への自然な写像πがある。

π(表月)=表、π(裏月)=π(裏火)=裏

続く

タグ:

posted at 10:30:36

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu ③コイントスの確率はP(表)=P(裏)=1/2となっていると考える。

④Ω={表月, 裏月, 裏火}での確率は常にπ:Ω→{表, 裏}経由でしか考えないことにする。π(裏月)=π(裏火)なので裏月, 裏火は分離できない。

πを経由する函数と完全加法族F={∅,Ω,{表月},{裏月,裏火}}に関する可測函数は同じです。

タグ:

posted at 10:35:22

清 史弘 @f_sei

21年3月10日

追加
3.14<π<3.15 (埼玉大後期 2019)

タグ:

posted at 10:35:28

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu 標準的な数学用語との関連(←本質的ではない)も説明しておきたくて、無駄に長くなってしまってごめんなさい。

見せたかったのは、確率だけではなく、確率変数もまとめて一緒に考えるとはどういうことであるかについてです。

ギャンブルで必要なお金のやり取りの函数による記述が大事(笑)

タグ:

posted at 10:39:20

上川瀬名 @Yokohama_Geo

21年3月10日

たとえばこの写真と良く似ていますが、遠目で見ると船が浮いているように見えるこの写真も、良くみると海水の色が船の近くで変わっていっているのがわかる。
twitter.com/latina_sama/st...

タグ:

posted at 10:46:46

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語 その点については公式ドキュメントの

docs.julialang.org/en/v1/manual/t...

の添付画像部分を参照。

Point{Real}



Point{<:Real}

では大違いになる。後者は

Point{T} where T<:Real

と同じ意味。

この辺はJuliaに関する「よくある質問」(FAQ)の代表例だと思います。 twitter.com/wananananabe/s... pic.twitter.com/XRvQxMJUNk

タグ: Julia言語

posted at 11:04:41

上川瀬名 @Yokohama_Geo

21年3月10日

たまにこういう「蜃気楼で船が浮いているように見える」という勘違いがある。

「潮目と言いまして、あるところを境に海の色がかなり変わって見えることがある」「よくこういう現象が蜃気楼と勘違いされることが多い」
j-town.net/kanagawa/colum...

タグ:

posted at 11:05:40

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#統計 「尤度」は「ゆうど」と読み、英語の専門用語likelihood(日常用語としての意味は「もっともらしさ」)の訳語なのですが、尤度はもっともらしさではないので要注意。

「尤度」という用語を見たら、「モデルのデータへの適合度(の指標)」と読み換えると分かり易いと思います。

タグ: 統計

posted at 11:26:48

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#統計 モデルが学習や推定のために使ったデータにぴったりフィットしているのに、そのデータ外のデータに全然フィットせず、全然もっともらしくない結果になってしまうことを、過学習、過剰適応、オーバーフィッティングなどと呼んだりします。

モデルのデータへの適合度はもっともらしさとは違う。

タグ: 統計

posted at 11:26:49

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#統計 専門用語を日常用語の意味で解釈することは、通常「やっちゃいけないこと」になっているのに、「尤度はもっともらしさを意味する」のように解説している場合が多くてひどすぎ。

* 尤度はもっともらしさではない。

* 尤度はモデルのデータへの適合度の指標に過ぎない。

タグ: 統計

posted at 11:29:45

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#統計 「尤度はもっともらしさではない」という話は、統計学や機械学習の応用での「知らずにずるをしたせいでひどいことになる場合がある」ともろに関係があるので非常に重要です。

データを見てからモデルのパラメータを増やしてモデルのデータへの適合度を上げるとひどいことになる場合があります。

タグ: 統計

posted at 11:39:35

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#統計 単にデータへの適合度を上げてもダメで、何か別の判断基準もないといけない。

* 適切に視覚化する。
* AICやWAICなどを使う。
* 適切な統計的検定を作ってモデルの問題点を洗い出す。
* 各分野固有の専門知識を駆使して、どのようなモデルが適切であるかについて深く考える。

などなど。

タグ: 統計

posted at 11:39:36

黒木玄 Gen Kuroki @genkuroki

21年3月10日

モデルのデータへの適合度のことを「もっともらしさ」と呼びたい人達はその感覚は有害なので改めた方がよいと思う。

そこを意固地に改めないとしても、汎化誤差の概念を正しく認識できているかどうかをよく考えてみるべき。

タグ:

posted at 11:45:51

(「・ω・)「ガオー @bicycle1885

21年3月10日

現状から最大で10倍くらい速くなるかも…
github.com/bicycle1885/St...

タグ:

posted at 11:55:54

黒木玄 Gen Kuroki @genkuroki

21年3月10日

個人的には、初学者に易しい(初学者に対してその段階では無用な厳密さの要求をする輩側には厳しくする)だけではなく、単なる半可通にも優しくてよいと思います。

しかし、半可通であるがゆえに正しい考え方をすることへの要求に対して反感をあらわにして暴れる輩には厳しく接してよいと思う。 twitter.com/kamo_hiroyasu/...

タグ:

posted at 12:36:30

黒木玄 Gen Kuroki @genkuroki

21年3月10日

数学において「間違ってもよい!」と強調し続けることは教育上必須だと思う。

さらに、ある程度以上の高度な数学については「理解できなくてもよい!」と強調せざるを得ない場合が多い(笑)。

しかし、「正しい考え方をしなければいけない」という要求に反感を露わにするのはアウト。

タグ:

posted at 12:50:27

toyo @toyo9

21年3月10日

計算していたら、こんな等式に出くわしました。
#toyoの数学メモ pic.twitter.com/mTjvaMoYLu

タグ: toyoの数学メモ

posted at 12:52:35

黒木玄 Gen Kuroki @genkuroki

21年3月10日

「どのようにしてより正しい考え方に近付いて行くか?」について、みんなでよく考えて行くことが大事。

タグ:

posted at 12:55:54

黒木玄 Gen Kuroki @genkuroki

21年3月10日

ただし、影響力のある人物が「印象操作によって反感を煽る」という真っ当な方向に進むことを効果的に妨害する手段を行使する場合がある。

私が最近ブロックした数学市民さんが取った手段はその典型例。

我々はそういう輩への適切な対処の仕方のノウハウもためる必要があると思う。

タグ:

posted at 12:55:55

黒木玄 Gen Kuroki @genkuroki

21年3月10日

具体的には以下のまとめや添付画像に引用されている数学市民さん的な印象操作にどのように対処するべきかという問題。

まとめ↓
togetter.com/li/1679140

添付画像↓ pic.twitter.com/94PmzuO2qx

タグ:

posted at 13:05:44

黒木玄 Gen Kuroki @genkuroki

21年3月10日

私が危惧したのは

Mathpediaの執筆者達まで数学市民さんのような見方をしていて、SNSで自分ちの子がされたおかしな採点を公開する保護者達に反感を持っている可能性がある

という誤印象が広まることです。

実際にそうなれば長期的に大きな害が生じてしまうと思う。

私には問題提起しかできない。

タグ:

posted at 13:05:45

黒木玄 Gen Kuroki @genkuroki

21年3月10日

自分ちの子のことになると急に自信を無くす保護者達は多いと思う。この採点はおかしいと思っても、一体どうしたものか悩む。そのときに匿名で参加しているSNSで「この採点おかしいよね」と聞いてみて、反応を得ることで救われる場合もあります。

そういう話について添付画像のように悪印象を広めた。 pic.twitter.com/ago3shRXFh

タグ:

posted at 13:17:15

Hiroyasu Kamo @kamo_hiroyasu

21年3月10日

半可通とは「いいかげんな知識しかないのに通人ぶること」のことです。したがって、半可通でない人は「ちゃんとした知識があるか、通人ぶらないこと」です。 twitter.com/kamo_hiroyasu/...

タグ:

posted at 13:51:01

(「・ω・)「ガオー @bicycle1885

21年3月10日

Juliaの文字列検索に使うfindnextとfindprevにたくさん問題が見つかる。

タグ:

posted at 14:34:01

Dr. KID @Dr_KID_

21年3月10日

大人も子供も、イヤホンの誤飲には気をつけましょう。

不謹慎ですが、誤飲した男性のコメントに笑ってしまいました...

「出てきたAirPodsを見たら、バッテリーがまだ41%も残っていたんだよ。しかも洗浄して乾燥したらまだ使えたんだ。Apple製品は素晴らしい」

www.excite.co.jp/news/article/R...

タグ:

posted at 15:10:55

黒木玄 Gen Kuroki @genkuroki

21年3月10日

モデルが(学習または推定用の)データにどれだけフィット(適合)しているかだけを見ても、そのモデルがもっともらしいかどうかは分からない、という事実は非常に重要。

「尤度はモデルがデータにどれだけ適合しているかを表す指標に過ぎない」の「過ぎない」の部分はそういう意味。

他に条件が必要。

タグ:

posted at 16:38:04

黒木玄 Gen Kuroki @genkuroki

21年3月10日

@sekibunnteisuu @tsatie tsatieさんは数学の試験でマルをもらえる程度にきちんと省略せずに正確に説明しないと相手に伝わらないと思います。

実は数学好きの人の多くが(私も含めて)「わけのわからない説明」をしがち。順番に丁寧に正確に曖昧さなく説明することはやはり大事。

タグ:

posted at 16:46:07

宮原篤 6th「小児科医ママとパパのやさ @atsushimiyahara

21年3月10日

尾身先生はぶれていませんし、軌道修正もしていませんよ。 twitter.com/tokyoseijibu/s...

タグ:

posted at 17:52:03

ʇɥƃıluooɯ ǝıʇɐs @tsatie

21年3月10日

1ラジアンが例えば数直線や分度器のどの辺りかは訊いてみる事は多いなぁ。 twitter.com/sekibunnteisuu...

タグ:

posted at 19:56:30

Katsushi Kagaya @katzkagaya

21年3月10日

@bgnori これはザリガニです...

タグ:

posted at 20:16:41

宮原篤 6th「小児科医ママとパパのやさ @atsushimiyahara

21年3月10日

尾身茂医師への理不尽とも言える誹謗中傷は、尾身先生によって根絶されたWHOアジア地域におけるポリオウイルスの怨念だろうか?

タグ:

posted at 20:42:35

matheca @paulerdosh

21年3月10日

以前も書いたけど知人の子(小学低学年)が□+3=5の□に√4と書いたプリントに担任が大きく丸付けて、こんなの知ってるのすごいね!と赤字で添えてるの見せてもらったことがある。親はとても感謝してた。そんな教諭もおられる。

タグ:

posted at 20:48:28

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#数楽

the modified Bessel function of the first kind I_α(x) の特殊値

I_0(2) = Σ_{k=0}^∞ 1/(k!)² = (1/π)∫_0^π exp(2 cos θ) dθ

en.wikipedia.org/wiki/Bessel_fu... twitter.com/toyo9/status/1... pic.twitter.com/OWnbxaGvin

タグ: 数楽

posted at 21:16:18

TaKu @takusansu

21年3月10日

@OokuboTact #超算数 「正方形は長方形と教えることは難しい」(妄想)という結論を、心理学で説明しようとしているのでしょう。

タグ: 超算数

posted at 21:20:01

(「・ω・)「ガオー @bicycle1885

21年3月10日

Juliaのネガキャンをしているアカウントがどうもフェイクなんじゃないかってはなし。面倒なことになってるな…
discourse.julialang.org/t/julia-a-post...

タグ:

posted at 21:25:43

Shisato @4310sy

21年3月10日

詳解確率ロボティクス第2章のPythonコードを一通りJuliaコードに翻訳して公開しました。近々ブログで解説記事も書きます。
ディレクトリ構成は今後も更新していくと思いますが、まずは一旦アウトプット。ロボティクスとJuliaを同時に学びたい人は是非覗いてみてください。
github.com/ShisatoYano/Ju...

タグ:

posted at 21:35:07

Kristoffer Carlsson @KristofferC89

21年3月10日

@johnmyleswhite @revodavid And now the faker accidentally posted with the sock puppet account but talking in the voice of the original account (discourse.julialang.org/t/julia-a-post...).

タグ:

posted at 22:16:27

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#物理 #数楽 #Julia言語

バネで繋がった2つの質点の片方が自由な質点に弾性衝突する様子を数値計算で動画にしてみました。

衝突時に運動エネルギーがバネの振動エネルギーに移行し、非弾性衝突のようになります。

ソースコード↓
nbviewer.jupyter.org/gist/genkuroki... twitter.com/nabekichi32/st... pic.twitter.com/kJgrq7Zsxl

タグ: Julia言語 数楽 物理

posted at 22:22:56

黒木玄 Gen Kuroki @genkuroki

21年3月10日

ううむ、上下にマージンを入れた方が良かったな。

タグ:

posted at 22:24:15

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語 動画を全部作り直した。

ソースコード↓
nbviewer.jupyter.org/gist/genkuroki...

丸の直径は質量の3乗根に比例しています。

添付動画では、左側から質量は 1, 1, 2 です。

真ん中の質点と右側の質点は弾性衝突しているのですが、バネにエネルギーが移動して、非弾性衝突っぽくなっています。 pic.twitter.com/OsaHCvYIrh

タグ: Julia言語

posted at 22:46:38

みなみちあぷ〜( ⩌ ̫⩌)o @chiaki_at_cake

21年3月10日

やはりCとかJuliaあたりに移行しようかな。

タグ:

posted at 22:49:22

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語 赤いバネで繋がった質点の右の方の質量に割合を増やしたり減らしたりすると、色々面白いことが起こります。

左から質量が 0.002, 1,998, 2.000 の場合

ほぼ、弾性衝突になります。 pic.twitter.com/B92HIz4SVY

タグ: Julia言語

posted at 22:50:08

Dr. Chris Rackauckas @ChrisRackauckas

21年3月10日

Generalizing automatic differentiation to not do differentiation? Uncertainty quantification, sparsity detection, improve the stability of numerical solvers, and expose more parallelism. This is explained in detail in the new blog post:

www.stochasticlifestyle.com/generalizing-a...

タグ:

posted at 22:50:56

Dr. Chris Rackauckas @ChrisRackauckas

21年3月10日

This highlights ModelingToolkit.jl #julialang. Transform equations from unsolvable to solvable, turn equations that are hard to parallelize into highly parallel, and automatically surrogatize #sciml for approximated-acceleration.

arxiv.org/abs/2103.05244

タグ: julialang sciml

posted at 22:50:56

Dr. Chris Rackauckas @ChrisRackauckas

21年3月10日

What does it look like to a modeler? Let's take an example. Let's do a pendulum. Too easy? WRONG! If you don't do the "sin(x) is approximately x", a pendulum is a differential-algebraic equation (DAE) in 5 states: (x,y), their velocities, and tension. pic.twitter.com/rYsBLhGiFA

タグ:

posted at 22:50:57

Dr. Chris Rackauckas @ChrisRackauckas

21年3月10日

But DifferentialEquations.jl has a tutorial on DAEs (diffeq.sciml.ai/stable/tutoria...). What if we just use that. Failure! Are the numerical methods bad? pic.twitter.com/MdrU3Zz0AC

タグ:

posted at 22:50:57

Dr. Chris Rackauckas @ChrisRackauckas

21年3月10日

It turns out essentially all DAE solvers fail on this problem because the last equation is not dependent on T, which gives a singularity in the Jacobian of the implicit solves. It's called an index-3 DAE. Solvers want index-1. True in all languages. Bummer. pic.twitter.com/QbGyfSgpJ0

タグ:

posted at 22:50:59

Dr. Chris Rackauckas @ChrisRackauckas

21年3月10日

But we can solve this! If you differentiated the last equation twice and substituted in the first 4 equations, you get an index-1 DAE! This solves really easily. Obvious, right? pic.twitter.com/abkM95mJYi

タグ:

posted at 22:51:00

Dr. Chris Rackauckas @ChrisRackauckas

21年3月10日

This is where you're usually told to change to a declarative modeling language like Modelica. It can do this kind of transformation to make the numerical methods look better. But what about just automatic transforming your code? Mix abstract interpretation with a graph transf... pic.twitter.com/3llMLSgM9B

タグ:

posted at 22:51:03

Dr. Chris Rackauckas @ChrisRackauckas

21年3月10日

ModelingToolkit.jl automates fixing your code. In 3 lines it rewrites your code into the stable form. So stable that even simple explicit Runge-Kutta methods solve the problem. Like AD, but knows what to differentiate and how many times to fix a model. pic.twitter.com/IvHpBij1Tu

タグ:

posted at 22:51:03

Dr. Chris Rackauckas @ChrisRackauckas

21年3月10日

This is the same project shown at JuliaCon 2020 to automatically optimize and parallelize your code. If you read the paper, you'll see that this has greatly improved as well!

youtu.be/UNkXNZZ3hSw

タグ:

posted at 22:51:04

Dr. Chris Rackauckas @ChrisRackauckas

21年3月10日

ModelingToolkit.jl combines all of this with a composable acausal modeling system, making it easy to stitch together existing code into new (stable and fast) models.

mtk.sciml.ai/dev/tutorials/...

タグ:

posted at 22:51:04

Dr. Chris Rackauckas @ChrisRackauckas

21年3月10日

In conclusion, automatic differentiation was the inspiration, but automatic stability, performance, and parallelism with acausal modeling is where #julialang's ModelingToolkit.jl has gone. More coming very soon!

タグ: julialang

posted at 22:51:04

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語

左から質量が 0.02, 1.98, 2.00 の場合

ほぼ弾性衝突なのですが、バネにほんの少しだけ運動エネルギーが移動している様子が見えます。 pic.twitter.com/jDfEkYALZa

タグ: Julia言語

posted at 22:52:31

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語

左から質量が 0.2, 1.8, 2.0 の場合

左端の質点の質量が増えたので振動の周期が長くなった。

バネへの運動エネルギーの移動量も増えた。 pic.twitter.com/8UWbqDS5Bp

タグ: Julia言語

posted at 22:54:57

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語

左から質量が 1, 1, 2 の場合

衝突時にバネにエネルギーが移動しまくって、質点の動く速さが遅くなっている。

nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/qDmpdS4MvQ

タグ: Julia言語

posted at 22:57:14

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語

ここからが楽しい。

質点が左から 1.2, 0.8, 2.0 の場合

1回目の衝突でバネがすぐに縮み、すぐにバネが伸びて2回目の衝突も起こっている!

カチッカチッ! pic.twitter.com/GdjHL9N48K

タグ: Julia言語

posted at 23:00:15

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語

猫パンチ動画!

左から質量が 1.8, 0.2, 2.0 の場合

何度もネコパンチをあびせかけています。 pic.twitter.com/dPPB5LQ7CB

タグ: Julia言語

posted at 23:02:13

Julia日本語記事まとめ @julia_kizi

21年3月10日

新しい記事がZennにアップされました!
zenn.dev/takilog/articl...👈

タグ:

posted at 23:03:54

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語

左から質量が 1.998, 0.002, 2.000 の場合

実際には超微小かつ超高速な猫パンチが発生しているはずなのですが、単に右側の質点がバネを押して互いに反発し合っているように見える。 pic.twitter.com/OZlgy6gv4b

タグ: Julia言語

posted at 23:05:26

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語

微分方程式は DifferentialEquations.jl で Yoshida6 という symplectic integrator を使って数値的に解いています。衝突も DifferentialEquations.jl で扱えます。

DifferentialEquations.jl は超便利!

数値解法を適切に選択しないとエネルギーが保存しなくなりました。 pic.twitter.com/55kFzz24jC

タグ: Julia言語

posted at 23:09:42

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語 たぶん、この例は DifferentialEquations.jl の基本的な使い方を知るために非常に良い例になっていると思います。

グラフのプロットや動画の作成まで全部やっている。

ソースコードへのリンクを再掲しておきます↓

nbviewer.jupyter.org/gist/genkuroki...

タグ: Julia言語

posted at 23:11:42

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語 高校で物理について勉強するときに、このスレッドで私が作って見せたような動画を自分で試行錯誤して作れれば、直観的な部分でもかなり理解が進むような気がします。

ただし、微分方程式の取り扱いが必須になる。

タグ: Julia言語

posted at 23:14:19

OokuboTact 大久保中二病中年 @OokuboTact

21年3月10日

@takusansu マッチ・ポンプであることに気づかないんです、不思議です。
例えば・・・

#超算数  #正方形は長方形 pic.twitter.com/K0cj0A3HX5

タグ: 正方形は長方形 超算数

posted at 23:15:06

黒木玄 Gen Kuroki @genkuroki

21年3月10日

リンク失敗。続きは↓ twitter.com/genkuroki/stat...

タグ:

posted at 23:17:56

Kazki Matz @KazkiMatz

21年3月10日

おもしろい.. 現実世界に当てはめると、非弾性衝突において運動エネルギーが物質表面原子の熱運動に変換される様子と読める... twitter.com/genkuroki/stat...

タグ:

posted at 23:24:38

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語 DifferentialEquations.jlでは、微分方程式ではなく、ハミルトニアン函数を与えて正準方程式を数値的に解かせることもできます。デフォルトで沢山のsymplectic integratorsを使えます。 pic.twitter.com/haLVx3OnQa

タグ: Julia言語

posted at 23:25:52

黒木玄 Gen Kuroki @genkuroki

21年3月10日

リンク失敗。

ツイッターの公式クライアントのスレッド表示の仕様がちょっとアレなせいでこうなってしまっている。

続き↓ twitter.com/genkuroki/stat...

タグ:

posted at 23:30:16

Julia Bloggers @juliabloggers

21年3月10日

New post: Generalizing Automatic Differentiation to Automatic Sparsity, Uncertainty, Stability, and Parallelism - www.juliabloggers.com/generalizing-a... #julialang pic.twitter.com/mvUFwe0LGI

タグ: julialang

posted at 23:34:46

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語

5000億回!(1兆回もやろうとしていたらしい)

めっちゃ楽しそうでうけた!面白すぎ(笑) twitter.com/yjo/status/136...

タグ: Julia言語

posted at 23:38:00

Dr. Chris Rackauckas @ChrisRackauckas

21年3月10日

@juliabloggers What a picture to choose 🤣

タグ:

posted at 23:40:04

Kaz Muzik @kazmuzik

21年3月10日

15桁の第1種カニンガム鎖の処理は 2.379*10^14まで完了。3番目のCC12 175469208383039 以降は CC11が3つ見つかった。前回のスレッドは長くなったので、これから新しいスレッド‥ twitter.com/kazmuzik/statu... pic.twitter.com/cWtMyW01dG

タグ:

posted at 23:46:29

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語

以下のリンク先の動画のように質点の弾性衝突が1回だけの場合の exact solution を求めるのは易しいです。しかし、複数回衝突する場合は面倒。

その様子を見たくて、DifferentialEquations.jl で数値的に解いてみました。かけた手間の大部分がプロット用コードの部分です。

色々満足! twitter.com/genkuroki/stat...

タグ: Julia言語

posted at 23:46:50

黒木玄 Gen Kuroki @genkuroki

21年3月10日

#Julia言語 は以上のような話題について、「コンピュータを使って問題を解決する」というようなことに関する教育に非常に向いていると思います。

まずは高校や大学で普及するとよいと思います。

MIT周辺ではたぶんすでにそうなっている。

お気楽極楽で高速計算を楽しめる。

タグ: Julia言語

posted at 23:51:35

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました