黒木玄 Gen Kuroki
- いいね数 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月18日(木)
Some updates on my repository of SIR models in #julialang 1/n github.com/epirecipes/sir...
タグ: julialang
posted at 00:52:12
I recently came across this #julialang package for moment closure by @Pompeiius. It's pretty great, and here's a thread why github.com/augustinas1/Mo...
タグ: julialang
posted at 01:07:43
With #JuliaLang, #Pluto and #Jupyter you are now well equipped for Scientific Visualization or #DataScience in general compared to similar alternatives: gr-framework.org/blog/posts/alt...
タグ: DataScience JuliaLang Jupyter Pluto
posted at 01:36:24
ほとんどがまだ仮説探索的段階の研究で統計検定をずっと運用して成功体験(論文採択)を積んできた人達が多数の中で「それ適切でないですよ」と言っても「じゃぁ何が〈正しい〉解析なんですか」て言われて何回も虚しい気持ちを味わってきた。
タグ:
posted at 01:57:47
ITensor is a software library for tensor algorithms in Julia and C++. The Julia version of ITensor now offers multithreaded contraction of block-sparse tensors. Visit ITensor.org
#julialang #multithreading pic.twitter.com/N7iuBifJZQ
posted at 02:07:01
Zipser-Andersenモデルを例にしてJuliaでニューラルネットワークを実装する記事.2つのことを同時に学べるのでよいと思っている.余計な関数は増やさずシンプルにしつつ学習をさせやすくしたいというお気持ちからやや中途半端な感じの実装になってしまった.改善の余地あり.
compneuro-julia.github.io/chap7/7-6_back... pic.twitter.com/yNUAkDEWA5
タグ:
posted at 03:13:12
このピラミッドはよく紹介されますし、考え方として重要です👶ただし、ピラミッドの高層であっても、ダメなものは全くダメなのです。研究の質の評価というのはとても難しいのです。 twitter.com/kosuke_yasukaw...
タグ:
posted at 03:15:31
しかし例外はあってね、ばぶが一生懸命メタアナリシスなどをよみこんで、皆で討論して、ここら辺だろうと解説すれば内容は確度が高くなりうる👶一方、いい加減なRCTを寄せ集めたメタアナリシスはゴミ。そういうこともあるので、ピラミッドだけで判定してはいけないのね。
タグ:
posted at 03:21:33
戸水 賢志 / PlusAlpha / @plusalpha_glass
やばい。何でバツなのか理解出来なかった。小2からやり直しかな。。 pic.twitter.com/YadcYf5wg0
タグ:
posted at 08:21:59
非公開
タグ:
posted at xx:xx:xx
いや、このトップの「素晴らしい研究」には基礎研究もエキスパートオピニオンも入り得るのですよ👶要は、しっかりしたものが大事、ということであって…メタアナリシスなどの階層の問題ではない、という図。 twitter.com/minesoh/status...
タグ:
posted at 09:13:53
これは RCT などのエビデンスピラミッドではありません👶しっかりした研究が大事であって、階層の問題ではない、という図です。 twitter.com/IkenoYuki/stat...
タグ:
posted at 09:20:44
御意です、それを言いたいのですっ!が、ピラミッドを見た瞬間にデザイン・手法を皆さん考えてしまうようで…👶外形標準ではないんですよねっ💦 twitter.com/koro485/status...
タグ:
posted at 09:24:34
非公開
タグ:
posted at xx:xx:xx
#Julia言語
scrapbox.io/mrsekut-p/2021...
【「Juliaの型はパフォーマンスの為だけに書く」というのをどこかで見た記憶がある】
「Juliaの型はパフォーマンスの為だけに書く」は誤り。
「Juliaではパフォーマンスの為に型を書く必要がない」なら概ね正しいです。型を書かずにCと同程度に速い。続く twitter.com/mrsekut/status...
タグ: Julia言語
posted at 10:13:50
#Julia言語 Juliaでの函数の引数の型の明示は、多重ディスパッチを利用する為に使われます。例えば、
f(a, x) = a*x
f(a::Integer, x::AbstractString) = x^a
と定義すると
f(3, 1.2) → 3.6
f(3, "hoge") → "hogehogehoge"
となります。Juliaでは文字列の冪は文字列の繰り返しになる。続く twitter.com/mrsekut/status...
タグ: Julia言語
posted at 10:23:09
#Julia言語 【one(x)は多くの場合にxと同じ型の1になる】
公式ドキュメント docs.julialang.org/en/v1/base/num... にもあるようにone(x)がxと違う型になる場合があります。
one(x)はxの型に関する乗法的な1になり、加法的な(次元を持つ)1が欲しければoneunit(x)を使う。
環上の加群を思い浮かべるとよいです。 twitter.com/genkuroki/stat...
タグ: Julia言語
posted at 11:02:48
#Julia言語 注意:数の型については、promotion docs.julialang.org/en/v1/manual/c... のルールが適切に定められているので、Float64型の数値の計算の中で one(Float64) のように書く必要はほぼないです。
単に1と書いてよい。
promotion規則に基いて、整数の1は浮動小数点数の1.0に変換されます。
タグ: Julia言語
posted at 11:15:37
そういう方々を説得するのは避けて、とにかく自分が適切と思う方法(一般的に適切かは未知)で成果を出して行こうと思ってやっていました。ところが、 論文のレフリーにもそういう方々がいて(あたり前)、結局は避けられない。そして自分の成功体験もまた至上とは思わないように注意しないとです。
タグ:
posted at 12:15:50
#超算数 【「1セットあたりの量」と「○セット」という概念の定着を目的にあえて縛りを設けていると考えれば納得.】とか言うお馬鹿さん達が継続して出て来ることが昔からよく知られています。
かけ算順序固定強制指導が実際に有害であることの間接的な証拠とみなせると思う。続く twitter.com/ryuyengineer/s...
タグ: 超算数
posted at 12:38:08
#超算数 現実の子供に関しては、同じ数を含む集まりが何セットあるかの状況把握と掛け算順序マスターであることは、現場の教師の調査で関係ないことが分かっています。
そして、その教師は、関係ないことを認めた上で、掛け算順序強制指導を強化しなければいけないと主張しています。
これが現実。 twitter.com/genkuroki/stat...
タグ: 超算数
posted at 12:38:09
#超算数 掛け算順序が逆なら誤りとみなしたり、掛け算順序が逆なら理解していないとみなす行為は、算数教育の世界では100年以上の伝統を持っています。
これだけの伝統があると、掛け算順序指導が社会的に否定されると困る人達が沢山いることもよく分かる。
しかし、被害者は次世代を担う子供達。 twitter.com/genkuroki/stat...
タグ: 超算数
posted at 12:44:21
これを言うと、「なんだ、こいつ。頭が狂っているんじゃないか?」と思われてしまうリスクがあります。
しかし、出版済みの多くの文献の中に、大変なことになっていることを示す証拠が見つかっている。
私も納得するまで10年以上かけているので、私を狂った人扱いしたくなる人の気持ちもよくわかる。
タグ:
posted at 12:54:02
逆に言えば、算数教育の世界がこれだけ悲惨なことになっているのに、我々はうまくやって来ているとも言えるわけです。これが我々の社会の地力。(私は日本では伝統的に塾が盛んであることが関係していると予想している。)
算数教育がまともになればもっとうまくやって行けるようになると思います。
タグ:
posted at 12:57:39
直近1週間の人口10万人あたりの感染者数(3月17日までの情報)
www3.nhk.or.jp/news/special/c... pic.twitter.com/i36tiGeRx6
タグ:
posted at 16:16:06
TBS NEWS DIG Powered @tbsnewsdig
【#速報 宮城県独自の緊急事態宣言】
#宮城県 は、#新型コロナウイルス の感染者急増を受け、18日、#県独自の緊急事態宣言 を出しました。期間は4月11日までです。特に感染者の多い #仙台市 では #PCR検査 を強化することにしています。 pic.twitter.com/aPe05j5sdU
タグ: PCR検査 仙台市 宮城県 新型コロナウイルス 県独自の緊急事態宣言
posted at 18:18:40
@genkuroki 説明不足ですみません、添付のように関数内で同様の計算を行いたいのですが、code_warntypeで型を確認するとうまく伝播していないように見えるのです… pic.twitter.com/alVaawcDCE
タグ:
posted at 18:23:28
#Julia言語
function f(x::型名) ~ end
と引数の型を書く場合の注意は以上の通り。
それでは返り値の型を
function f(x)::型名 ~ end
と書いた場合についてはどうだろうか?
f(x)::Int = x/10
と
g(x) = typeassert(convert(Int, x/10))
について、f(123)とg(123)は等価!続く pic.twitter.com/CBuWNvXdVe
タグ: Julia言語
posted at 19:03:45
#Julia言語 x=123のとき、x/10は12.3になり、convert(Int, 12.3)はエラーになるので、f(123)もg(123)も実行時にエラーになります。
これもバグの原因になります。
f(x)::Int と定義された函数は多くの場合に動いていたが、たまにエラーで落ちるという動作をするかもしれない。
続く pic.twitter.com/Yc7R5Pkh7z
タグ: Julia言語
posted at 19:03:47
#Julia言語 「型伝搬の安定性を確認する」という問題に興味を持った人は以下のリンク先達を読むと楽しめると思います。
github.com/aviatesk/JET.jl
zenn.dev/aviatesk/artic...
タグ: Julia言語
posted at 19:03:48
#超算数 「交換法則の証明が問題になっている」という事実はありません。「思う」だけでなく、「調べる」が大事。
教科書を見ても小2でかけ算の交換法則について教えることに困難が生じてなさそうなことがわかる(添付画像)。
実際には交換法則を教えた後に掛け算順序固定強制指導が強化されます。 twitter.com/ryuyengineer/s... pic.twitter.com/Paac5ygAVS
タグ: 超算数
posted at 19:14:47
#超算数 添付画像は2011年頃の小2算数教科書より。
邪悪な点:「かけられる数とかける数の立場を常にひっくり返せる」と正しい考え方を言い切らずに、「答えは同じ」という言い方になっている。
「式と答え」で考えるチョー算数の非常識なスタイルがここでも見られる。 pic.twitter.com/1h0GfM2nol
タグ: 超算数
posted at 19:16:10
#超算数 小2でかけ算の交換法則が一般的に成立する仕組みを教えた直後に、掛け算順序固定強制指導が本格化している場合については添付画像を参照。
掛け算順序固定強制指導を実行して子供を害している教師は交換法則もしっかり教えた上でそうしているのです。
ほんと最悪。 twitter.com/genkuroki/stat... pic.twitter.com/Divj2bsDLv
タグ: 超算数
posted at 19:22:29
基本間違ってるんだから間違いの少ない結果を得るためにどんな磨きをかけたが大事。
「より適切な方法は何か?」という意味で上述のことを言う場合もあるので、その時はやっぱりそうですよねってことで虚しくはならないです。
タグ:
posted at 19:56:52
Pruitt氏のトークをUMassにいたとき聴いてQRPの疑念をもったのが2012年だから10年くらい影響が続いているということか。その間の悪影響を考えると計り知れない。
タグ:
posted at 20:39:11
そもそもの原因は独法化以降の国立大学運営交付金が毎年減らされていく仕組みです。その結果苦しいやりくりを強いられた国立大学がこうなるのは必然です。調査するより制度からまず変えてください文科省さん twitter.com/mainichi/statu...
タグ:
posted at 20:47:45
@HNagai1108 #Julia言語
DataFrame型の中のcolumnsフィールドの型がVector{AbstractVector}になっているせいで、その要素としてdf.aを取り出すときに、df.aの型がAbstractVectorに見えてしまうという問題のようです。
しかし、ベンチマーク的には害が生じていないように見えます。 pic.twitter.com/jaZHz87gVM
タグ: Julia言語
posted at 21:43:55
@HNagai1108 #Julia言語 確かにこれは要注意ですね。
f(df)とg(df)では計算速度に大きな違いが出る。
g(df)のようにsumにdf.aを渡すなら、そのときにdf.aの具体型が確定するので大丈夫なのですが、f(df)のように素朴に書いていると遅くなる。
これって解決策があるんですかね?>もっと詳しい人達 pic.twitter.com/io0AUaefvj
タグ: Julia言語
posted at 21:59:42
#Julia言語 DataFrameだとNamedTupleと違って外部に中身の型がよく見えていないんですね。添付画像はそれらの比較。
DataFrameだと型安定にならずに、ひどく遅くなってしまう場合がある。
これってDataFrame側の仕様を変えないと根本解決にならないような気がするのですが、よくわかりません。 pic.twitter.com/x4a6F798bL
タグ: Julia言語
posted at 22:15:48
名言なの?
単に脅してマウント取っているだけだと思うけど。1+1が2じゃなかったら何だと言うのか?1の次が2じゃなかったら何だと言うのか?くだらない。
「あなたのそれ、マナー違反です」と脅して自分の権威を維持するマナー講師と大して変わらない。 twitter.com/6JH3sgvhsK0Ww9...
タグ:
posted at 22:18:56
twitter.com/6JH3sgvhsK0Ww9...
小学校の先生になるひとに数学教えているなら、「掛け算の順序なんか噓出鱈目です」「増加と合併、等分除と包含除も噓出鱈目です」「ハジキなんかクソです」というような、真っ当なこと教えればいいのに。
タグ:
posted at 22:34:27
@sekibunnteisuu #超算数 【単に脅してマウント取っているだけ】については
iwate-u.repo.nii.ac.jp/?action=reposi...
岩手大学教育学部附属教育実践総合センター研究紀要 第12号 205−210,2013 205
算数の「できる」と「わかる」の一例
~百分率を求めるのに、なぜ100を掛けるのか~
大河原 清
もひどいです。 twitter.com/genkuroki/stat... pic.twitter.com/7fCQ8flnsA
タグ: 超算数
posted at 22:37:42
#超算数 塾だけでなく、学校の先生も少なくとも昔は常識をたっぷりもっていたようです。これは忘れるべきではない。何しろ、戦後すぐから森規矩男さんや守屋操さんのように合併と増加の区別、後者における足し算順序強制を主張する人がいたんです。でもなぜか80年代まで深刻な問題にはなっていない。 twitter.com/genkuroki/stat...
タグ: 超算数
posted at 22:48:05
#Julia言語 DataFrames.jlのドキュメントを見直してみました。
「DataFrame型は型安定ではない」とはっきり書いてありました。
パフォーマンスが重要な場合には、速度低下を引き起こさない方法でDataFrame型を使うか、別の型に変換してから使えと書いてありました。
dataframes.juliadata.org/stable/lib/typ... pic.twitter.com/n7zF2KP5ju
タグ: Julia言語
posted at 22:56:50
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 式を書かせる時に、2個✕3=6個のようにサンドイッチ方式に明治時代頃からなっているわけですね。
柔軟性の無い教師が、「この順序じゃなければいけない」と思い込んこむ可能性が大きい。
タグ:
posted at 23:13:05
#Julia言語 これはGoogleによる日本という地域の扱い方の問題なので、Juliaという名前を付けた側の落ち度ではないです。
Googleの設定で
地域:アメリカ合衆国
に設定すればこの問題は解決。
「原因究明のパズル」が好きな人なら自力で気付かないといけないと思います。
twitter.com/madnoda/status...
タグ: Julia言語
posted at 23:14:05
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 「被乗数が名数で、乗数が非名数」というルールでも、被乗数と乗数をどっちを先に書いても良いことは、論理的にわかるわけです。
タグ:
posted at 23:17:42
@OokuboTact #超算数 多分、典型的な教科書では掛け算の学習・記述はこんなふうに進みます。累加に日本語で「甲に乙をかける」という表現を与える。言語表現に対応する数式の書き方を宣言。甲×乙は甲+甲+甲+…甲。交換法則をアレイ図で示す。ここまで不名数の計算。名数の累加を考察。乗数は不名数と強調。
タグ: 超算数
posted at 23:18:14
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n > 言語表現を数式に転写wしたところでそう決まっている。
これは暗黙のルールですね。
藤沢利喜太郎や林鶴一もこんな馬鹿げたルールを黙認していたのかな?
タグ:
posted at 23:21:48
#Julia言語 その方法は既出。
私の添付画像中の g(df) と本質的に同じです。
DataFrames.jl の公式ドキュメント dataframes.juliadata.org/stable/lib/typ... にも、【use barrier functions】と書いてありました。
twitter.com/LirimyDh/statu... pic.twitter.com/RdUeShn0bY
タグ: Julia言語
posted at 23:22:55
@OokuboTact #超算数 数式は言語表現に直接対応するのではなく、言語表現に含まれる値に対応していると考えれば、5円×4 = 4×5円という表示の仕方も受け入れられるだろう。しかし「乗数はかならず不名数」という宣言は、4×5円のような式を不正なものとするためになされている可能性が高い。数式=言語表現なので。
タグ: 超算数
posted at 23:23:45
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 常識的に読めば、
「乗数と被乗数の区別は数学には存在しない。しかし便宜上、乗数と被乗数という区別をつける。」という意味だと思うんです。
タグ:
posted at 23:27:38
@OokuboTact どうかな。藤沢利喜太郎は1間×1間で1坪を定義することに猛反対していました。多分累加という操作そのものが数式にあらわれているという考えに固執するからの態度だと思いますよ。
タグ:
posted at 23:31:27
赤松 健 ⋈(参議院議員・全国比例) @KenAkamatsu
★ネームって何?
「ネーム」とは元々は編集者用語で、フキダシの中のセリフ指定のこと。写植を作るためQ数や書体を指定(name)する。ネーム段階でも結構ストーリーがイメージできるため、下書きに入る前にネームにラフ絵を入れて検討するようになった。よって現在のネームはほぼ「絵コンテ」と同義。 pic.twitter.com/8RxNs4PZHE
タグ:
posted at 23:32:38
#Julia言語
* DataFrame型は型安定ではないとDataFrames.jlのドキュメントにはっきり書いてある。
* 計算速度が重要な場合には、Tables.columntable(df)でNamedTupleに変換してから使ったり、barrier functions の使用で型の不定性をキャンセルすればよい。
juliadata.github.io/DataFrames.jl/... twitter.com/genkuroki/stat... pic.twitter.com/QcTJeJRpEE
タグ: Julia言語
posted at 23:33:01
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 私は掛け順の始まりは、坪田耕三氏に典型的な外国語ルールから始まっていると思うんです(文科省の「解説」も外国語ルールを採用)。
だから大正時代ぐらいから
pic.twitter.com/hC1Og2DV8n
タグ:
posted at 23:39:43
@OokuboTact #超算数 【掛け順の始まりは、坪田耕三氏に典型的な外国語ルールから始まっている】これは正しいです。ドイツで義務教育算数の形成に与って力のあったディースターヴェークも、言語表現で数式を規定すると言い出してから自著の掛け順をラテン語式からドイツ語式に変更しています。
タグ: 超算数
posted at 23:44:48
@OokuboTact #超算数 ラテン語式といってもbis ternaのような古代ローマのそれではなく、2 multiplicatus per 3のような古代末期以降の学術ラテン語の流儀。
タグ: 超算数
posted at 23:46:32
@OokuboTact #超算数 bis ternaとは「2度、3つずつ」という表現。例文:
Bis dat qui cito dat.
速やかに(cito)与えるものは、2度与える。
(恩恵は速やかにもたらすと、より喜ばれる)
古代ローマの掛け算構文は順序の縛りが強かったかどうかは、よくわかりません。逆順がないわけでない。
タグ: 超算数
posted at 23:50:03
赤松 健 ⋈(参議院議員・全国比例) @KenAkamatsu
ちなみに週刊少年マガジンで、編集者が生原稿に手で「写植」をペトペト貼っていた最後の作品は、『魔法先生ネギま!』とされている。(2012/3/14まで)
現在は製版所でデジタル的にセリフを入れているので、紙の原稿であっても写植は使われなくなった。 pic.twitter.com/NTNFuXdd30
タグ:
posted at 23:58:12
@OokuboTact 「掛け算一般を教える時にペアノ算術と直積を区別すべき」これがわかりません。アレイ図を教科書に載せて直積を教えたことにしているのだとしても、ペアノ算術は?
タグ:
posted at 23:59:00