黒木玄 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年02月01日(月)
#超算数 蟹江さんは「算数は数学ではない」説の発信源の一人だし、正方形は長方形か問題についても事実誤認の有害な発言をしていたのか。これはひどいな。 twitter.com/OokuboTact/sta...
タグ： 超算数
posted at 00:25:34
ほむほむ@アレルギー専門医：noteメン @ped_allergy
【定期】Yahoo個人で初めて書いた記事です。
『きれいにするとアレルギーになりやすい？』という『衛生仮説』は、勘違いが多い説でもあります。
ややこしい衛生仮説に関して解説しました。
news.yahoo.co.jp/byline/horimuk...
タグ：
posted at 06:02:23
#Julia言語
function f(x::Int64)::Int64
～
end
のように値域の型も書く人をよく見るのですが、静的型付け＋事前コンパイルでの習慣でそうしてしまっているだけだと、結構危ないので要注意。例えば
f(x::Int64)::Int64 = x/2
はJuliaで合法的なコードなのですが、f(1)はエラーになります。 pic.twitter.com/dHiIKMXYRI
タグ： Julia言語
posted at 06:39:06
宮原篤 6th「小児科医ママとパパのやさ @atsushimiyahara
だそうです
＞検査数を増やしても、その後の介入が決まっていなければ意味がない。陽性になった人の周りを疫学的に洗い、クラスター（感染者集団）を割り出し、スーパー・スプレッディング・イベント（多数の感染者を生む機会）を止め、似たような状況を防ぐ方策を考えなければいけない。
タグ：
posted at 07:40:05
Hiroyuki Chihara @HiroyukiChihara
Using #JuliaLang I made a computer program. This program downloads #COVID19 open data sourced by Johns Hopkins Coronavirus Resource Center
bit.ly/2YvXiXN
and plots the time series data in East Asia and Southeast Asia. pic.twitter.com/I2ubSKmucJ
posted at 07:53:50
長方形と正方形の小2算数教科書での定義集。
この定義は、正確で、通常の数学的習慣と一致しており、しかも小2の子でも理解できるように工夫されている。
この長方形と正方形の定義を比較すれば、小2の子でも、正方形が長方形の特別な場合になることを理解できます。
続く pic.twitter.com/e0YRnRDRLw
タグ：
posted at 08:52:50
そのとき、「長方形」が長いことを意味する漢字を含んでいても、全然長く見えない正方形も長方形の特別な場合になる。
算数用語は日常用語的意味と違う場合があることを、こういう機会があるごとに小学校6年間ずっと教え続ければ、日常用語と異なる意味を持つ数学用語に適応し易くなってよい。
タグ：
posted at 08:52:51
逆に、算数用語や数学用語が日常用語と意味が違う場合が非常に多いという事実を教えようとせずに、小学校6年間ごまかし続ける教え方に晒された子供達は、算数や数学を学ぶときに困難を感じるようになってしまうだろう。
タグ：
posted at 08:55:13
「矩形」ではなく、「長」を含む「長方形」という用語が普及した程度のことは不幸でも何でもない。
算数用語と数学用語の意味が日常用語の意味から離れていることは普通なので大した問題ではない。
教育的には、小学校6年間かけてじっくりと算数用語と日常用語の違いを教えることが必要である。
タグ：
posted at 08:59:36
小2の段階で、算数用語と日常用語の意味の違いを正確に理解できなくても、小学校6年間ずっと継続的にそれらの違いについて教育して行けば、自然に算数数学用語と日常用語の違いに慣れて行く子供が増えるだろう。
日常用語も文脈によって言葉の意味は変わる。
経験を何年も積み重ねることが大事。
タグ：
posted at 09:02:50
非公開
タグ：
posted at xx:xx:xx
台としては使いにくそうな台形だってあるしね。
名は体を表さない。
「長方形は長いという字が入っているから正方形が長方形というのはおかしい」と言っている人は、ブラックタイガーを虎だと思っているのだろう。 twitter.com/genkuroki/stat...
タグ：
posted at 15:51:56
風疹5期定期接種を職場接種できなかった厚労省には、あまり期待してない。
っていうか、風疹ワクチンを職場接種できてたら、新型コロナウイルスワクチンの予行演習になってたのにね。
日頃からワクチン接種環境整えてなかったから、こうなる
mobile.twitter.com/YahooNewsTopic...
タグ：
posted at 20:26:06
ワシがJuliaを始めた頃はPkg.jlもPkgTemplates.jlもRevise.jlもDocumenter.jlもRegistrator.jlもTagBotなかったんじゃよ。
タグ：
posted at 21:45:33
ちょうどpython使う仕事が一区切りしたし、pythonにバイバイして、Juliaに投資してみようかな。
qiita.com/baby-degu/item...
タグ：
posted at 21:52:08
ニセ科学批判派はニセ科学に嵌まった人を批判するだけで寄り添わないって。あのね、寄り添った振りをしながら善意の振りをしながらニセ科学に嵌めて人生や金をしぼり取る方が何倍も悪質だと思うんだが。（独り言）
タグ：
posted at 22:48:24
The 2020 #WittekQuantumPrize for Open Source Software is awarded to @rogerluorl18, PhD student @UWaterloo and @Perimeter, for his work on Yao.jl and the quantum ecosystem in JuliaLang!
Watch our interview with Roger:
www.youtube.com/watch?v=l-S2Rf...
posted at 23:06:01
QOSF partnered with the @UnitaryFund to launch the Wittek Quantum Prize for Open Source Software. We received more than 50 nominations across 40 nominees.
Ultimately, the final winner was selected through 3 subsequent elimination rounds by the Unitary Fund’s Advisory Board.
タグ：
posted at 23:06:17
With over 3000 open source contributions across dozens of repositories, @rogerluorl18 embodies the spirit of the prize in his relentless community building and maintenance work.
Yao.jl has already amassed hundreds of issues & acted as a foundation for 15+ academic publications!
タグ：
posted at 23:07:23
.@rogerluorl18 has fostered collaboration with open source projects like the Python library PyZX which was ported to JuliaLang (ZXCalculus.jl) w/a @UnitaryFund microgrant.
Roger also mentors students at Julia/Google Summer of Code w/developing quantum physics-related software.
タグ：
posted at 23:09:33
On Feb 11th at 9 am PST/12 pm EST, @rogerluorl18 will give a more detailed talk about the Yao.jl ecosystem and his open source contributions on the @UnitaryFund’s Twitch channel.
Be sure to tune in!
www.twitch.tv/unitaryfund
タグ：
posted at 23:12:01
Juliaでパラメータ型を作った時にtype Fixedvector{N}みたいにNを指定した時にこのNを数字にすることは可能なのだろうか。長さの異なる、しかし固定長のベクトル型みたいなものをあえて作ってNごとに挙動を変えるとかそんな用途に。
タグ：
posted at 23:22:30
山本拓人@速習大学数学(YouTube) @TKT_Yamamoto
マンデルブロ集合の描画がPython(プログラミング言語)の100倍ほど速いと聞いたので，Julia(プログラミング言語)を習得しようと思う
とりあえず，JupyterLabの環境を整えよう
タグ：
posted at 23:40:14
2021年02月02日(火)
@MelMitchell1 @ComplexExplorer @sfiscience arxiv paper comparing ABM frameworks. Julia's Agents.jl is fast like C++, simpler than mesa and netlogo and more featureful. And you have all the stats/eda and ml tools of #julialang arxiv.org/abs/2101.10072
タグ： julialang
posted at 00:24:31
The Julia Language @JuliaLanguage
Congrats to @rogerluorl18 and the rest of the Yao.jl contributor community!
#JuliaLang #OpenSource twitter.com/qosfoundation/...
タグ： JuliaLang OpenSource
posted at 00:34:17
Stefan Karpinski @StefanKarpinski
Huge congratulations to @rogerluorl18 on this award for his groundbreaking work on #QuantumComputing in #JuliaLang in the github.com/QuantumBFS/Yao... package! (throw it a star on it while you're there😺) twitter.com/qosfoundation/...
タグ： JuliaLang QuantumComputing
posted at 00:43:44
リツイート、引用リツイートしても太っ腹の産経系の夕刊フジは許してくれると思います。一次ソースが私であることが不明だと、著作権侵害になる可能性がある点にはご注意ください（そこまでは責任取れない）。
タグ：
posted at 01:17:01
Congratulations @rogerluorl18 on the #WittekQuantumPrize. So great to see that folks writing #julialang software are receiving recognition! twitter.com/qosfoundation/...
タグ： julialang WittekQuantumPrize
posted at 05:08:14
#Julia言語 パラメトリックタイプの使用例
①フィボナッチ数列
②A.calc(A.Fib{10}()) は単なる return 55 にコンパイルされる。
③FixedLengthVector{N}の長さをNに定義
④同じ長さのFixedLengthVectorどうしのたし算しか定義されていない。
gist.github.com/genkuroki/c1c2... twitter.com/cometscome_phy... pic.twitter.com/wF7EdI0Siy
タグ： Julia言語
posted at 06:26:59
「言葉の意味は文脈に依存せずに固定されているべきである」と考えている教師が国語を教えていたら、「そういう非常識な考え方で教えるのをやめろ！」と言われると思う。
算数においても同じです。
算数の時間になった途端に国語的に非常識な考え方をするのはやめるべきです。
タグ：
posted at 06:32:14
子供に非常識なスタイルを押し付け続けているという理由でチョー算数は非難されています。
非常識→「かけ算の式は単価×数量の順序で書かなければいけない」
非常識→「図形の性質を扱う文脈であっても、正方形は長方形の特別な場合にならない」
非常識→「倍数を扱うときには常に0を除く」
タグ：
posted at 06:36:36
図形の(数学的)性質を扱う文脈では、正方形は長方形の特別な場合とみなされる。正方形は全然長くないが、長方形の特別な場合とみなす約束になっている。「長い」を意味するかんじ「長」が「長方形」に含まれていてもそうする習慣。
と常識的な事実を教えればよい。急がずにじっくり教えれば大丈夫。 pic.twitter.com/HvpE9uQ5EC
タグ：
posted at 06:41:35
欲を言えば、「長い」を意味する「長」という漢字を用語的に含む「長方形」が特別な場合として「正方形」を含むことにした方がどうして便利なのか、についても理解してもらいたい。
これは小学校6年間だけでは理解が難しいことだと思うので、中学・高校以降まで見据えた教え方をする必要がある。
タグ：
posted at 06:51:03
倍数を考えるときには、0を例外扱いせずに、0をすべての数の倍数とみなした方がどうして便利なのか？
大学の教員養成課程では、教師志望の人達がこの問いに答えることができるようになるような教育をする必要があると思う。
タグ：
posted at 06:51:03
#数楽 行列の最も基本的な使い方は「何かを表現するために使うこと」なので、実際に自分にとって必要なものを行列で表現する経験抜きに行列について理解するのは無理。
そして、感動があると理解が一挙に進む！
回転も行列で表現できる、マルコフ連鎖も表現できる、二次式も行列で表現できる、… twitter.com/nemain496/stat...
タグ： 数楽
posted at 07:01:39
#統計 真の問題はその先にあって、
「95%信頼区間について、95%の確率で真の値がその区間に含まれるという説明は誤りである」
に続けて、
「ベイズ統計における95%信用区間(確信区間)ならば、95%の確率で真の値がその区間に含まれると説明してよい」
とするデタラメが標準的になっている！😱 twitter.com/kotokotoy66/st...
タグ： 統計
posted at 07:24:33
#統計
「95%信頼区間について、95%の確率で真の値がその区間に含まれるという説明は誤りである」
に続けて、
「仮にデータを何度も取り直して95%信頼区間を繰り返し計算したなら、真の値を含む区間達の割合は95%になる」
と説明していたら、ひどくミスリーディングです。続く twitter.com/genkuroki/stat...
タグ： 統計
posted at 08:29:17
#統計 ベイズ版の信用区間についても、実用的には、信頼区間と同様に、
「仮にモデルが妥当ならば、パラメータがその範囲に入っている可能性に十分配慮しなければいけない」
のように解釈して大丈夫な場合が多いと思います。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 09:18:01
うーむ、詰む気しないぞ「詰めチャレ」で難易度2325の問題が解けませんでした..。あなたは解けますか？ #詰めチャレ #将棋クエスト pic.twitter.com/HtDq01EAht
posted at 10:46:24
昨日はMATHCADのライセンス更新にめちゃくちゃ手間取った一日だった。
インストールしていくつかaddするだけで動くJuliaすばらしいです！
Python? インストールするだけじゃ動かないでしょ？
タグ：
posted at 12:20:30
ごまふあざらし(GomahuAzaras @MathSorcerer
teval 関数便利やな〜
#Julia言語
MetaUtils.jlをみながら
タグ： Julia言語
posted at 13:43:25
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
.= のお話
#Julia言語 の Performance Tips より引用 pic.twitter.com/y9phdOfaVe
タグ： Julia言語
posted at 14:36:49
ごまふあざらし(GomahuAzaras @MathSorcerer
docs.julialang.org/en/v1/manual/f...
こっちも合わせて
#Julia言語
.= dot syntax
タグ： Julia言語
posted at 14:36:50
Is it possible to capture the entire plane of our galaxy in a single image? Yes, but not in one exposure: Maroun Habib did in two with some planning. Top and bottom part of this image were taken six months apart and there you have it, the complete plane buff.ly/2tDLYMy pic.twitter.com/JreAzEYIKs
タグ：
posted at 20:01:15
はてなブログに投稿しました #はてなブログ, #Julia言語, #modelica, #openmodelica
modelicaとJuliaで水タンクをモデリングする - システムとモデリング
otepipi.hatenablog.com/entry/2021/02/...
タグ： Julia言語 modelica openmodelica はてなブログ
posted at 20:41:53
#Julia言語 「パッケージも含めて全部入れ直す」がJuliaだと全然苦痛でない点は本当に良いと思う。
パッケージをバージョンを古いのに戻すのも、
pkg> add PackageName@0.1.2
(0.1.2はパッケージのバージョン)
とすれば良いだけ。 twitter.com/ktydrcb/status...
タグ： Julia言語
posted at 22:00:18
④は面白いなぁ。どう言うことやろ。何気に当たり前な気もするが何故そんなこと思うのやろ。それにしても楽ちん言語やなぁ。 twitter.com/genkuroki/stat...
タグ：
posted at 23:18:36
