@BrianLinuxing (ever @BrianLinuxing

21年7月23日

I think #Julialang is an interesting language to study, for the future.

There's a lot going on #YouTube

www.youtube.com/user/JuliaLang... twitter.com/JuliaConOrg/st...

タグ： Julialang YouTube

posted at 23:05:41

Flux @FluxML

21年7月23日

Don't miss todays #JuliaCon workshops, starting in a few minutes.

Learn about package development and/or leveraging #GPUs for solving Diff. Equations in parallel! #JuliaLang twitter.com/JuliaConOrg/st...

タグ： GPUs JuliaCon JuliaLang

posted at 22:54:56

JuliaCon 2023 @JuliaConOrg

21年7月23日

Hi folks - there are still loads of #Julialang workshop coming up over the next few days.
For the full list, with start times and descriptions, check out the workshop page:
juliacon.org/2021/workshops/

#opensource #julialang #coding pic.twitter.com/9JVKAQStwc

タグ： coding Julialang opensource

posted at 22:52:19

JuliaCon 2023 @JuliaConOrg

21年7月23日

Happy Friday everyone! Day 4 of the #JuliaCon tutorials series starts in 15 minutes approx
(Friday 23rd July @ 2pm - 5pm UTC)

Today, we have
1. Solving differential equations in parallel on GPUs
pretalx.com/juliacon2021/t...

2. Package development in VSCode
pretalx.com/juliacon2021/t...

タグ： JuliaCon

posted at 22:46:31

Shisato @4310sy

21年7月23日

移動ロボットの経路計画問題を一般化したマルコフ決定過程を価値反復で解くシミュレーションのJuliaサンプルコードを公開しました

src/decision_making/markov_decision_process/anime_mdp.jl

github.com/ShisatoYano/Ju...

タグ：

posted at 22:18:38

たかぎ七彦 ＠アンゴルモア博多編７巻 @7hiko

21年7月23日

さて、期待値低めで見始めてたけどサンドイッチマンが
「どんな点火でしょうね、辞任した方々が勢揃いしてその炎上の炎で灯るかもしれませんね」
とNHKでかましたんでいきなり満足だわ。 pic.twitter.com/XH6O75Gxj1

タグ：

posted at 19:57:53

OokuboTact　大久保中二病中年 @OokuboTact

21年7月23日

（続き）

執筆者一覧と発行元

算数教育の偉い人が作っている本ということがわかる。
現場の教師への影響は大きい

＃超算数 pic.twitter.com/SZnN6Vn3ia

タグ： 超算数

posted at 19:26:32

OokuboTact　大久保中二病中年 @OokuboTact

21年7月23日

市販の算数の教師向けの参考書にも、掛け順はしっかり書いてある。
算数教育の偉い人達が責任を持って作っている本。

＃超算数 pic.twitter.com/TIDfdgzkos

タグ： 超算数

posted at 19:20:58

江草 令 @exa_ray

21年7月23日

@genkuroki @Niigata_u_ped ありがとうございます。
スレッドを追わせていただいて大変勉強になりました。
統計は奥深いですね。

タグ：

posted at 19:15:48

OokuboTact　大久保中二病中年 @OokuboTact

21年7月23日

たまに勘違いする人がいるけど、教師用指導書（教科書作成会社が出しているマニュアル）は教科書ではありません。
文科省の検定外の本です。 twitter.com/genkuroki/stat...

タグ：

posted at 18:41:49

あんちもん2 @antimon2

21年7月23日

昔basic認証の危険性を学ぶためにwiresharkで通信パケットを解析して「本当だパスワード丸見えじゃん」て実感したのを思い出した。本当にこういう思考をしてしまう人が生まれてしまうなんて…今まで割と傍観してましたがさすがに戦慄を覚えた😰 twitter.com/hocya3nebk/sta...

タグ：

posted at 18:35:49

黒木玄 Gen Kuroki @genkuroki

21年7月23日

#超算数 SNSだけを見ていると一部の例外的に頭のおかしい人達がかけ算順序指導を擁護しているように勘違いしてしまう可能性がある。

上の引用で示したように、算数の教科書の出版社が、一部の例外的に見える人達と同じ考え方を、一般人購入不可の教科書のマニュアル本を通して教師に指導している。

タグ： 超算数

posted at 18:35:19

黒木玄 Gen Kuroki @genkuroki

21年7月23日

#超算数 教科書出版社の見解

啓林館：1冊x円のノート8冊の代金について【8×xになっている場合は，「8円のノートがx冊」という意味になってしまう】

ならない！😱

東京書籍：6人に7個ずつ配るとき【6×7では，6人の7つ分になり，答えは子どもの人数になってしまうことをおさえる】

おさえないで！😭 twitter.com/genkuroki/stat... pic.twitter.com/v8QLFC9q8B

タグ： 超算数

posted at 18:31:33

Nyoho @NeXTSTEP2OSX

21年7月23日

東京都の今日の1359人はこの手元のモデルの信頼区間を大きくしたに外している。休日で検査数が少ないという情報はモデルに入ってないことが如実に表れている可能性がある。(Juliaで時系列データから状態空間モデルで計算させています。) pic.twitter.com/METtSKW3Fk

タグ：

posted at 18:06:28

黒木玄 Gen Kuroki @genkuroki

21年7月23日

#超算数 過去の算数教育のパターンマッチ読解指導に洗脳されたまま大人になって、自分がされたような洗脳を次世代の子供にすることを当然だと考えるようになる。

自分が教わった非常識で馬鹿げた考え方を自分の代で潰して次世代に伝えないことが必要だという考え方をできなくなっている。 twitter.com/hocya3nebk/sta... pic.twitter.com/UV3bOdxbiy

タグ： 超算数

posted at 18:05:28

黒木玄 Gen Kuroki @genkuroki

21年7月23日

#超算数

❌かけ算の式の順序を答えとかけ算の式で先に書く数の「単位」が同じになるようにする

に従うとかけ算順序でバツをもらわずに済みます。

これならバツをもらった方が得です。

これは典型的なパターンマッチ教育で国語的に問題ありすぎ。

子供の読解力は算数の時間に破壊されています。 twitter.com/hocya3nebk/sta...

タグ： 超算数

posted at 17:58:36

河合祐介 @tkawai18_tkawai

21年7月23日

何を交換してるんだｗｗｗ pic.twitter.com/jjy7tIbb6q

タグ：

posted at 17:52:14

黒木玄 Gen Kuroki @genkuroki

21年7月23日

#超算数 以下のリンク先は、分かりにくい文章ですが、

7時間×時速4kmだと「28時間」になりますよ

と主張しています。

これ、常識ある一般人には理解不能だと思います。

こういうデタラメの原因が算数教育にあることがわかっています。

cf. edupedia.jp/article/53233f... (添付画像2) twitter.com/hocya3nebk/sta... pic.twitter.com/xpj0mxETWa

タグ： 超算数

posted at 17:51:38

外科医ちっち @surgeontitti

21年7月23日

@tkmtSo うちの息子は、得意ではないものの算数好きだったのに、「筆算の線を竹定規で引く」のせいで大嫌いになってしまいました。
パズルとかなら、やっと最近出来ますが、ドリルのような勉強の匂いがするものは拒否。
超算数の害って、すごいです。本質以外を縛る有害性に気付いて欲しい。

タグ：

posted at 17:31:55

河合祐介 @tkawai18_tkawai

21年7月23日

わろたｗｗｗ pic.twitter.com/PbH6hd3cJN

タグ：

posted at 17:09:26

非公開

タグ：

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

21年7月23日

曖昧で複雑な説明によって、背後に深遠な哲学や思想があるかのように見せることによって、シンプルに考えれば出て来るはずがない疑問が大量に出て来てしまうようにする行為はやめるべきだと思う。

マッチポンプ。

算数教育でもそういうことが伝統的に行われていて大問題になっている。

タグ：

posted at 16:34:31

Tom Kwong @tomkwong

21年7月23日

Building flappy bird is so easy with GameZero.jl 😆

youtu.be/ar7wCVlncKE

#julialang

タグ： julialang

posted at 16:32:30

黒木玄 Gen Kuroki @genkuroki

21年7月23日

すなわち、

θ₀が信頼区間に含まれる ⇔ モデルM(θ₀)が検定で棄却されない。

信頼区間の計算はモデルの族{M(θ)}に一挙に検定の手続きを適用することに等しい。

昔ながらのふわふわした説明では、シンプルな事柄を複雑に考えることになるので、このようなシンプルな理解には永久にたどりつけない。

タグ：

posted at 16:30:41

黒木玄 Gen Kuroki @genkuroki

21年7月23日

多くの検定では、パラメータθを持つモデルM(θ)において「θ=θ₀」を帰無仮説として採用する。この帰無仮説が棄却される場合には、モデルM(θ₀)の現実での妥当性は疑わしいと考える。

信頼区間の計算では、θ=θ₀を動かしてパラメータ全体について一挙に行うことになる。続く

タグ：

posted at 16:30:41

黒木玄 Gen Kuroki @genkuroki

21年7月23日

P値函数の値はモデル内でのデータの分布について区間[0, 1]上の一様分布に(少なくとも近似的に)従わなければいけない、という要請は次のように言い換えられる: モデルM内において、モデルMが有意水準αで棄却される確率(=第1種の過誤が起こる確率)は(少なくとも近似的に)αでなければいけない。

タグ：

posted at 16:17:55

黒木玄 Gen Kuroki @genkuroki

21年7月23日

P値函数の値はモデル内でのデータの分布について区間[0, 1]上の一様分布に(少なくとも近似的に)従わなければいけない、というようなP値概念の理解に必須の知識があれば、信用区間の信頼係数1-αがモデル内確率(もしくはその近似値)になることもすぐにわかる。

タグ：

posted at 16:08:42

黒木玄 Gen Kuroki @genkuroki

21年7月23日

#統計 一般にモデルM(θ)とデータyのP値函数pvalue(θ, y)は、YがモデルM(θ)内でのデータを意味する確率変数のとき、pvalue(θ, Y)が区間[0, 1]上の一様分布に(多くの場合に近似的に)従うように構成する。

だから、モデルM(θ)内で、pvalue(θ, Y)≥αとなる確率は1-α(の近似値)になる。この1-αが信頼係数。

タグ： 統計

posted at 16:05:52

黒木玄 Gen Kuroki @genkuroki

21年7月23日

#統計 すなわち、信頼区間は与えられた有意水準αでの検定で棄却されないモデルのパラメータθの範囲を意味する。

検定でモデルM(θ)が棄却されないことはモデルM(θ)が正しいことを意味しない、というような検定に関する常識に信頼区間の理解も帰着することになる。

タグ： 統計

posted at 16:01:16

黒木玄 Gen Kuroki @genkuroki

21年7月23日

#統計 データyと有意水準αで決まる信頼区間

CI(y, α) = { θ | pvalue(θ, y) ≥ α }

の定義を知っていると、信頼区間の意味も分かりやすくなる。モデルM(θ)のデータyに関するP値pvalue(θ, y)が有意水準α以上という条件はモデルM(θ)が検定で棄却されないことを意味する。続く

タグ： 統計

posted at 16:01:15

黒木玄 Gen Kuroki @genkuroki

21年7月23日

#統計 モデルのパラメータθとサンプルyのP値函数pvalue(θ, y)が与えられているとき、信頼係数1-αの信頼区間CI(y, α)は

CI(y, α) = { θ | pvalue(θ, y) ≥ α }

と統一的に定義できるのに、昔の人の名前がついた「やり方」でP値と信頼区間の対応に無頓着に結果を表示するのはやめた方が良いと思う。

タグ： 統計

posted at 15:53:16

黒木玄 Gen Kuroki @genkuroki

21年7月23日

#統計 歴史的な理由でWilsonの信頼区間と呼ばれているが、それを使う場合にはカイ二乗検定のP値を使用しないと、P値と信頼区間のあいだで整合性が取れなくなる。

多くの統計ソフトがこの辺について無頓着で非常に雑である。

タグ： 統計

posted at 15:45:40

黒木玄 Gen Kuroki @genkuroki

21年7月23日

#統計 例えば、サンプルサイズnの二項分布モデルのパラメータ0≤θ≤1とデータx∈{0,1,…,n}に対して、カイ二乗検定のP値を対応させるP値函数を考える。そのP値函数から得られる信頼区間はWilsonの信頼区間と呼ばれている。

タグ： 統計

posted at 15:45:39

黒木玄 Gen Kuroki @genkuroki

21年7月23日

#統計 関連

モデルのパラメーターとデータからP値を得るP値函数が与えられていれば、それを使って信頼区間を定義できる。
↓
twitter.com/genkuroki/stat...

タグ： 統計

posted at 15:41:09

Trent Henderson @trentlikesstats

21年7月23日

Latest round of work on PosteriorPlots.jl for @TuringLang models in #JuliaLang is shaping up nicely! Can now automatically produce 3 similar plots to R's {bayesplot} for all model parameters just by feeding the functions a model object! Next up??? Posterior predictive checks 🤓 pic.twitter.com/XNOc45WP6Z

タグ： JuliaLang

posted at 14:39:51

ぴよ @vYrq2VPhmEBcGE2

21年7月23日

ついにさくらサーバーにJulia言語をインストールできた❗️❗️❗️❗️❗️❗️❗️❗️❗️❗️❗️❗️❗️❗️❗️
おめでとう日本❗️

タグ：

posted at 14:32:24

中島保寿（古生物学者） @japanfossil

21年7月23日

ワニは顎や尾は強靭ですが、水中生活に適応したため四肢はそこまで強くありません。代謝も低いので持久力もありません。横断歩道を渡っているときは、お年寄りだと思って気長に待ちましょう（手を引いたりおんぶしてあげるのはやめましょう、最悪の場合死に至ります） twitter.com/gatorsdaily/st...

タグ：

posted at 13:21:09

Yuya Wakai 若井優也 @wakapaijazz

21年7月23日

放送大学「正多面体と素数」最終回視聴了。
有限体上の射影直線を準備して、これまでのすべての伏線を回収して、新たな課題への言及もして、素晴らしいプログラムだった。
Eテレあたりでもこういうレベルの数学・科学系番組が出てくると嬉しいなぁ。
#放送大学 #正多面体と素数 #橋本義武 pic.twitter.com/vseVhpirQa

タグ： 放送大学 橋本義武 正多面体と素数

posted at 12:39:51

あんちもん2 @antimon2

21年7月23日

@NatsureNatsure array[begin:10:end] でOKです。
Juliaは範囲リテラル表記の開始と終了が省略できない仕様（あと「開始値」:「ステップ値」:「終了値」の順）ですが、インデクシングの場合 `begin`/`end` をそれぞれ記述すればOKです。
ただし少し古いJuliaの場合は array[1:10:end] とする必要があるかもです。

タグ：

posted at 12:35:51

So Takamoto @tkmtSo

21年7月23日

要は算数と先生の算数でダブルシンクできるかどうかなんだけど、先生視点だと点数がいい子ほど掛け算の順序を間違えないという認知になるのである種の地獄が広がっていたのかもしれない。
つくばの子供は水からの伝言もダブルシンクで乗り切る

タグ：

posted at 11:04:05

齊藤明紀 @a_saitoh

21年7月23日

かけ算順序やパターン当てはめ解法(みはじ、「ずつ｣に注目、など）を信奉している教員が出す問題はそれで「正解」が出せる問題ばかりだから、「これで児童は理解できている」と言う意識に揺らぎはないのだろう。#超算数

タグ： 超算数

posted at 11:00:34

So Takamoto @tkmtSo

21年7月23日

自分の体験としては、つくば市でも掛け算の順序を強制する先生はたくさんいたけど、たいていの子供は「あっ今年の先生『そっち系』かあ」と察して先生の欲しがる回答を見せるようになるので、問題にはならなくて表向き良く教育されたように見えたと思う。
本当にかわいそうなのは算数の苦手な子

タグ：

posted at 10:55:22

Daisuke Shigemi | 重見 @Dashige1

21年7月23日

子宮頸がんを予防するためにはHPVワクチンが非常に効果的で、若い年齢で接種するほど有効なことが分かっています。

一方で、定期接種年齢を超えても、45歳まではワクチンの有効性が確認されており、接種には意味があるといえるんです。

詳しくは↓
minpapi.jp/hpvv-after-per...

タグ：

posted at 10:55:07

もるてん @iitenki_moruten

21年7月23日

データは以下から引用してます．興味ある方はどうぞ．

A. Gal, E. V. Hungerford, and D. J. Millener, Rev. Mod. Phys. 88.035004 (2016)

タグ：

posted at 10:40:05

もるてん @iitenki_moruten

21年7月23日

#julialang
コードはこちらに置いておきます．

もし，こう書いた方が見やすい，スッキリ書ける！などありましたら教えていただけるとありがたいです．

github.com/moruten/julia-...

タグ： julialang

posted at 10:34:33

もるてん @iitenki_moruten

21年7月23日

#julialang

講義の課題だったので有限井戸型ポテンシャルの問題を，自作Newton-Raphsonで解いてみたやつ．

結果の可視化まで出来るのがやっぱり使い勝手が良い． pic.twitter.com/PZhhxDY6AO

タグ： julialang

posted at 10:33:13

非公開

タグ：

posted at xx:xx:xx

あんな @annapandatiger

21年7月23日

トロントの人↓ 妖精のドアがついてる木の地図ができてます。　お子さんと探しに行ってみてください🧚‍♀️

www.google.com/maps/d/u/0/vie...

タグ：

posted at 09:07:07

dif_engine @dif_engine

21年7月23日

『数理科学』2021/8号で計算代数システム開発の継続性の綱渡り状況が述べられていて暗澹とした気持ちになった．個人的な趣味でフライトシミュレーターを支え続けたビル・ゲイツみたいな人が現れてくれないと，この状況が変わるのは難しそう．

タグ：

posted at 09:05:49

あんな @annapandatiger

21年7月23日

コロナ禍始まってから、近所の木に妖精のドアがよくついてる。　子供たちの間で大人気。　誰かがこっそりつけてくれてる様子。 pic.twitter.com/YtZ7HOZVwG

タグ：

posted at 08:17:40

Tarotan @BluesNoNo

21年7月23日

（再告知）

信頼区間に対するFisher-Neymanの議論で，信頼係数を「係数」と呼ぶか「確率」と呼ぶかという議論もありましたが，以前の私の呟きでは誤読かつ見落としていました．

以下のブログでその呟きを訂正し，Neyman（1934）の該当部分を抜き出しました．

tarotan.hatenablog.com/entry/2021/07/...

タグ：

posted at 07:31:35

eval parse @evalparse

21年7月23日

Based on this thread discourse.julialang.org/t/all-ways-to-...

タグ：

posted at 07:31:21

eval parse @evalparse

21年7月23日

I have listed down all the known (to me) ways of defining functions in Julia.

Some are just mind-blowing!

medium.com/@evalparse/the...

#julialang

タグ： julialang

posted at 07:31:21

Sid Ravinutala @sid_ravinutala

21年7月23日

Oh baby! Another chance to use #JuliaLang and #JuMP twitter.com/kareem_carr/st... pic.twitter.com/fHBZ6lFiKa

タグ： JuliaLang JuMP

posted at 03:34:12

非公開

タグ：

posted at xx:xx:xx

JuliaHub @JuliaHub_Inc

21年7月23日

#juliacon2021 #Workshop: GPU programming in Julia-
This workshop demonstrates the use of three major #GPU #programming packages: CUDA.jl for NVIDIA GPUs, AMDGPU.jl for AMD GPUs, and oneAPI.jl for Intel GPUs. youtu.be/Hz9IMJuW5hU
#JuliaLang

タグ： GPU juliacon2021 JuliaLang programming Workshop

posted at 03:16:14

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

k@migaki.be @k_migaki

21年7月23日

掛け算の順序を強制されると、思考が不自然で柔軟性が全くなくなる様だ。そりゃ、数学苦手になるよなぁ。
被害者を目の当たりにすると算数教育の罪深さに悲しくなる。

タグ：

posted at 00:59:07

黒木玄 Gen Kuroki @genkuroki

21年7月23日

@Niigata_u_ped @exa_ray 以下のリンク先で引用している信用区間に関する単純に科学的にデタラメな説明もよく見かけます。これを信じると非科学的な人になってしまいます。 twitter.com/genkuroki/stat...

タグ：

posted at 00:59:04

黒木玄 Gen Kuroki @genkuroki

21年7月23日

@Niigata_u_ped @exa_ray bellcurveさんの説明もかなりまずいので注意した方がよいと思いました。学部生向けの統計学入門の教科書も引用するとまずい説明がよく書いてあります。

シンプルな信頼区間の導出であっても、モデル依存なので、モデルの現実での妥当性を一応疑っておく必要があります。 #統計 twitter.com/genkuroki/stat...

タグ： 統計

posted at 00:55:07

天むす名古屋 Temmus @temmusu_n

21年7月23日

#超算数 スタンプラリーの対象になっているかどうかは知らないが、浦和市立高砂小の100周年の時の校長は、尾崎馨太郎といった。尾崎氏は1951年指導要領の算数の執筆に関与した。ちょっといってみたい気はする。 twitter.com/urawacity_net/...

タグ： 超算数

posted at 00:18:33

積分定数 @sekibunnteisuu

21年7月23日

例えばこれとか。

小6生がそのような疑問を持つこと自体が、おかしな算数教育の結果だと言うことが分からないんだよね。

twitter.com/metameta007/st...

タグ：

posted at 00:08:48

積分定数 @sekibunnteisuu

21年7月23日

メタメタさん@metameta007　もそう。

根本的におかしな考えに陥っているので、「そこはおかしいですよ」と指摘しても、頓珍漢な反応をしてしまうんだよね。

タグ：

posted at 00:00:22