黒木玄 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 を見て下さい。
2020年07月15日(水)
PkgPage.jl by @t_lienart is a great little #julialang package that builds on Franklin.jl to give package authors an easy way to build beautiful websites for their packages!
github.com/tlienart/PkgPa... pic.twitter.com/jbsIyVWjI6
タグ： julialang
posted at 23:56:53
#超算数 twitter.com/harineducation...、小学校で使われる教材会社の単元テストで、速さの公式が出題されている証拠。模範解答に教科書のページと思われる数字が書かれ、もしかしたら教科書会社かその関連会社によるものかもしれないですね。
タグ： 超算数
posted at 23:26:58
子どもが使っているのと同じ消しゴムを使って授業中に遊んだ子がいたらしく、先生がその消しゴムを禁止したと子どもが言うので、連絡帳に「たいして特殊な消しゴムではないですし 家庭で購入したものです 最後まで使わせてください」などと記入した。つまらないことで手間を取らせないでくれ。
タグ：
posted at 21:25:08
「速くて書きやすい」次世代の言語Juliaを学ぼう! Julia勉強会#1 に参加を申し込みました！ soleildatadojo.connpass.com/event/182593/?... #DeepLearning
タグ： DeepLearning
posted at 20:50:12
コメント欄，「ルールは理不尽でも守らせるのが教育」「内々で話し合えばいいのにSNSで批判するのはおかしい」みたいなのが山ほどいる。日本の学校教育の成果だなあ。げんなりする。
news.yahoo.co.jp/articles/9c13c...
タグ：
posted at 20:26:42
#TodaiStat 一般に確率分布を決めるデータから、その確率分布に従う乱数の列を作ることができれば、その確率分布のことが色々分かります。
MCMC法はそういう乱数の列を作る方法群の1つで、ベイズ統計の基本である「モデル内確率分布を制限した条件付き確率分布」の乱数の列を作ることに__も__使える。
タグ： TodaiStat
posted at 20:25:31
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
かつようしきれてないですが
パッケージ検索のページもあります
#Julia言語
juliahub.com/ui/index.html
タグ： Julia言語
posted at 18:25:54
ごまふあざらし(GomahuAzaras @MathSorcerer
@yuifu ナイーブな探索だと興味のあるトピックのキーワードに .jl をつけてグーグル先生に聞くと言った感じですね。
タグ：
posted at 18:16:31
ごまふあざらし(GomahuAzaras @MathSorcerer
@yuifu こんのちは、個人的な趣味だと
MLJ
GeometryBasics
Rotations
AbstractAlgebra
DiffEqFlux
JuMP(のバックエンドたち)
Tuling
Gen
Zygoteのような自動微分系
Images
が提供している関数群のコードを必要に応じて見てます。(広く見てるので深く見てはいないです)
タグ：
posted at 18:14:44
#TodaiStat 例えば、
Ψ(x) = exp(-x²/2) (すなわち log Ψ(x) = -x²/2)
をMCMC法の入力とすると、MCMC法は標準正規分布のサンプル(i.i.d.乱数列)を出力してくれる。
タグ： TodaiStat
posted at 18:11:48
Just released ipympl 0.5.7!
Check out the interactive @matplotlib back-end for @ProjectJupyter, based on #ipywidgets
This release includes some code improvements and CSS bug fixes.
Check it out!
github.com/matplotlib/ipy... pic.twitter.com/kmv7z1EXAg
タグ： ipywidgets
posted at 18:11:04
#TodaiStat タグをつけて再掲
「ベイジアンMCMC」はベイズ統計外で使われているMCMC法と完全に同じ。
MCMC法は
確率分布の密度函数の定数倍とみなされる函数Ψ(w)
から
その確率分布のサンプル
を作ってくれる。
Stanなどでの「モデル」の記述は実質的に「log Ψ(w)」の記述になっている。
タグ： TodaiStat
posted at 18:07:29
@sekibunnteisuu 「もっと面倒かもしれないけど、2次方程式の係数をa,b,cにしてやってごらん」
すると「あれ？」となっていきますよね。
それから因数分解との関連が…
タグ：
posted at 17:26:14
@ichbinfumikun twitter.com/ichbinfumikun/...
小学校における交換法則が計算結果同一性に限定されるのはなぜ？笑
文章題において児童は数のまとまりを事物の配列としてみなすため、【一つ分といくつ分】に当て嵌められるかで理解を問うのは合理性があるとか。
仮にそうだとしても、一つ分を一意に解釈できないだろう。 twitter.com/ichbinfumikun/...
タグ：
posted at 17:20:22
@sekibunnteisuu なるほど、鶴と亀を一匹交換したら足の数がどう変化するかとか、そういうのをやらずに最初から計算の仕方を教えるわけですね。
そう言われてみれば、先日のハジキの説明は納得です。
陰山英男自身がこの手の「ナントカ算」を暗記で正解できてるだけであることがとてもよくわかります。
タグ：
posted at 17:06:09
#統計 以下は正規分布モデルと適当に生成したサンプルに対する事後分布のサンプルをMCMC法で生成している動画。
ベイズ統計に使われているMCMC方はベイズ統計以外の場合にも分布のサンプルを得るために使える。ベイズ統計以外にも使える方法をベイズ統計の設定で使っているだけ。 pic.twitter.com/LurzEQyqjv
タグ： 統計
posted at 17:02:51
#統計 以下の動画は2次元の混合正規分布のサンプル(乱数列)をあえてMCMC法で作ってみている動画(混合正規分布の乱数列はMCMC法を使わずに高速に生成可能)。 pic.twitter.com/H5HhUt0ieb
タグ： 統計
posted at 16:58:35
@ichbinfumikun twitter.com/ichbinfumikun/...
正しいのに不正解にされるから批判されてるのですが、、
正しいのに正しくないとする教師に唾を吐けばよろしいでしょう。 twitter.com/ichbinfumikun/...
タグ：
posted at 16:57:35
@ichbinfumikun 賢くないというのは
本当に乗法の順序が
一つ分×いくつ分
しか認められないと考えてる人がいたら、交換法則は計算過程で初めて適用できると考えていたりなど...
タグ：
posted at 16:55:48
@ichbinfumikun 乗法はa×b=b×aが一般に成立し
これを交換法則と呼んでいるだけなので
元々順序はどちらでもよいですから
2個のリンゴを4人に配るとき
最初から4×2=8 としてもよいのです。
ですので、計算上は勿論ですが式表記上も順序はどちらでもよいです。
タグ：
posted at 16:51:58
@joseph_henri @yosyusense 十分理解できた状態になったら、「単位時間あたりの距離で速さを表すことが多い。
「1時間に動く距離を時速と言う」と教えればいいだけ。
これは、速さの概念理解において、核心部分ではなく些末なことである。
そこを勘違いしている人が多すぎる。
タグ：
posted at 16:51:52
@joseph_henri @yosyusense しかし、「1時間に何km進むか？」と問い直すと、すぐに出してくれること多い。
ハジキ教えないで、「速さ」や「時速」という言葉を使わないで問題出せばいいだけのこと。
タグ：
posted at 16:50:43
@joseph_henri @yosyusense わざと15で割り切れるようにして
15分で30km進む。時速何kmか？
にすると、30÷15＝2 として、時速2kmとか、いろいろやらかしてくれます。
タグ：
posted at 16:49:15
#統計 「ベイズ統計で用いられているMCMCアルゴリズム」はベイズ統計以外で使われている各種のMCMCアルゴリズムと同じなので、正しい略記は「ベイジアンMCMC」ではなく「MCMC」。
「ベイジアンMCMC」と言い続けるなら、「ベイジアン線形代数」とか「ベイジアン微積分」という用語も使うべきだ(笑)。 twitter.com/leeswijzer/sta...
タグ： 統計
posted at 16:43:03
@hgn_no_otaku twitter.com/sekibunnteisuu...
【「つるかめ算」を解くときは、「かけて・ひいて・ひいて・わって・ひく」の、5つの式で計算します】
これだもんね。
タグ：
posted at 16:38:49
@hgn_no_otaku ＞「最初から理解抜き」だなんて思わないでしょw
陰山英男だから、当然そうだろうと思っていた。
アリバイ的にでも説明してからハジキ、ならそっちの方が驚く。
twitter.com/sekibunnteisuu...
タグ：
posted at 16:37:13
学校の授業で習った。それ以外では習っていない。
塾など学校の授業以外で習った。学校では習っていない。
とすべきだね。必要十分条件は必要条件。直角二等辺三角形は直角三角形。 twitter.com/soysauce001s/s...
タグ：
posted at 16:25:25
Makoto A. Hisanaga, @MakotoPhd
いま書いてる本にJuliaのページを作れないか担当編集さんに相談してみよう。 twitter.com/bicycle1885/st...
タグ：
posted at 16:13:46
@bampaku @genkuroki @OokuboTact ＞掛け算順序を加群で語る動画で時間を無駄にした
陰山英男の速度の授業の動画よりましでしょう。あれは時間の無駄じゃなくて有害。私自身は見ていないが、私のTLでは散々な内容だったらしい。結局当人が削除してしまったようだ。
陰山信奉者の意見を聞きたい。
タグ：
posted at 16:07:13
こんな人いるの？
x^2+4x-1＝0を2つの解をα、βとするとき、α^3+β^3を求めよ。
解の公式でα、β出して代入して求めようとしたら、「じゃあそれでやってみて」とは言う。
面倒くさい方法を経験するのもいいこと。
根号がきれいに消えるのを実感して「これは何かある」と気づくかもしれない。 twitter.com/genkuroki/stat...
タグ：
posted at 16:03:23
ごまふあざらし(GomahuAzaras @MathSorcerer
つまり特定のパッケージから出発して実装の元になった数学的背景を学んでいくという感じ．
タグ：
posted at 15:58:20
ごまふあざらし(GomahuAzaras @MathSorcerer
特定の #Julia言語 ドリブンで数理の勉強は十分アリだと思ってる．
タグ： Julia言語
posted at 15:49:51
非公開
タグ：
posted at xx:xx:xx
#Julia言語 Cassette.jlベースのAutoPreallocation.jlの利用で、Turing.jlによる計算を高速化できるという話。
github.com/TuringLang/Tur...
Automatic pre-allocation #1241 pic.twitter.com/ENEqkd2fGU
タグ： Julia言語
posted at 14:13:23
@bicycle1885 そういうのが必要になった時、その場しのぎで良いなら const Fractional = Union{Rational, AbstractFloat} とか定義してます。
タグ：
posted at 13:18:10
たとえば、#こんな課題はいやだ といったいったタグで具体的な事例を挙げてもらえると、自分の課題の出し方について検討・判断する材料ができて良いと思います。 twitter.com/profmasuda/sta...
タグ： こんな課題はいやだ
posted at 13:05:19
「暗記せよ」という教え方をする理由を「実際に暗記しようとしてみれば、内容が膨大すぎて、理解を経由せざるを得ないことがわかるから」とするような人達は数学云々以前に人間的に問題があるので注意が必要。
大学の数学の先生でもたまに見かけるので要注意。
最初から本当のことを言うべき。
タグ：
posted at 13:04:08
またブログを書いてしまった
「JuliaでHodgkin-Huxleyモデル」
salad-bowl-of-knowledge.github.io/hp/neuroscienc... pic.twitter.com/NdtDzn0rQA
タグ：
posted at 12:53:01
@sekibunnteisuu @metameta007 一般に環Rとその要素f₁,f₂,…,fᵣについて、剰余環R/(f₁,f₂,…,fᵣ)は
環Rにルールf₁=f₂=…=fᵣ=0を付け加えてできる環
とみなされます。多分、教科書通りの剰余環の定義をそのまま受け入れただけの人は、以上様な話を気軽にやれなくなってしまう。
タグ：
posted at 12:28:42
@sekibunnteisuu @metameta007 別の例。R = ℤ/(3) = (ℤに3=0というルールを付け加えてできる環)とおくと、Rは -1, 0, 1 の像からなる3つの元で構成された体になります。Rの中では0でない任意のa,bについて ab = a/b が成立しています。
これは本質的に積分定数さんの例と同じとも思える。
タグ：
posted at 12:24:36
@sekibunnteisuu @metameta007 1+1=0が成立している環(=標数2の環)の中では、
b + b = (1+1)b = 0n = 0, ∴ b = -b
が成立しているので、
a + b = a + (-b) = a - b
となっていて、足し算と引き算が完全に同一の演算になり、特に引き算は可換な演算になります。
タグ：
posted at 12:19:21
@sekibunnteisuu @metameta007 標数2の環の例を挙げて、そこでは足し算と引き算の演算が同じになると言えばよかったかも。例えば環Rを
R = ℤ[x]/(1+1, x²+x+1)
と定義すると、任意のa,b,c,d∈Rについて
a + b = a - b.
Rの要素は 0, 1, x, 1+x の像のちょうど4個しかない。ℤ[x]にはなく、Rにはある計算規則は1+1=x²+x+1=0.
タグ：
posted at 12:16:06
JuliaとJupyter notebook (IJulia) を使いました
notebookという名前だけあってコードの説明などしやすく，グラフも表示でき使い勝手が良いですね
タグ：
posted at 12:01:11
@genkuroki ちなみに大昔は MathConst という型名でした（もう誰も知らないかも）
参考↓
github.com/JuliaLang/juli...
タグ：
posted at 11:58:48
When you need to make dinner, but all the electricity is already in use by #julialang CI, you improvise. pic.twitter.com/7lpyRwRG3X
タグ： julialang
posted at 11:18:05
Frames Catherine Whi @oxinabox_frames
@ChrisRackauckas gave a most excellent summary of what is the #julialang AD ecosystem.
discourse.julialang.org/t/state-of-aut...
タグ： julialang
posted at 07:47:28
昨日消費者庁が、自己啓発セミナー業者 #ガッコウプラス を行政処分したのに。ほとんど報じられていない様子。
TwitterなどSNSを利用して、勧誘目的を告げずに喫茶店などに呼び出し高額なセミナー契約を結ばせる違法な手口。
同種の悪質業者は多いので、Twitterを利用する皆様、お気をつけください。 twitter.com/COJ50244630/st...
タグ： ガッコウプラス
posted at 07:21:16
Platyrhopalopsis meleii インド産ヒゲブトオサムシです。虫好き目線ではかわいいとしか言えない造形。触角がここまで特殊に発達進化していることには素直に驚くほかありません。 pic.twitter.com/eYawPvMjkX
タグ：
posted at 07:17:16
@genkuroki @metameta007 twitter.com/genkuroki/stat... これを説明するために、「交換法則が成り立つ割り算」の例を出したんだけど、メタメタさんにはわかってもらえなかった。
｛1,-1｝の範囲では、a/bは交換法則が成り立つ。
a/b＝b/a である。
横棒の上を分子、下を分母、と言っているのなら、分母/分子 にならないのは当然
タグ：
posted at 06:42:35
思い出すという感覚さえ無しに、ノータイムで必要な数学的結果が心の中に浮かぶ状態を「暗記した」と言いたい人は言えばよいと思うが、私はそれは「セールストークのキャッチフレーズに言葉遣いが汚染された状態」だと思う。
タグ：
posted at 06:08:17
#Julia言語
struct f{N} end
f{N}(x) where N = x + N
for i in -3:3
@ eval @ show f{$i}(100)
end
@ show f{10000000000000000000}(123456789);
gist.github.com/genkuroki/d4b5...
twitter.com/LirimyDh/statu... pic.twitter.com/H0ZrKDiWnN
タグ： Julia言語
posted at 06:02:53
もちろん、理解を目指さずに、暗記しようして苦しい思いをする自由はあるかもしれませんが、苦痛は少ない方がよい。
「よい暗記ならばよい」とが言いたがる人達が結構多いことからも、「数学は暗記」の類のキャッチフレーズに洗脳された人達が多いこともわかる。
タグ：
posted at 05:35:45
セールストークのキャッチフレーズに「数学も暗記」の類が使われたせいで多くの人がおかしなことになっているのですが、試験のためにも暗記は不要です。
理解していれば多くの場合に試験で良い点数をとるためにも使える数学的結果がノータイムで心の中で出てきてくれるようになります。 twitter.com/mimon01/status...
タグ：
posted at 05:35:45
@OokuboTact @bampaku @sekibunnteisuu この辺から情報をたどれる↓
twitter.com/genkuroki/stat...
タグ：
posted at 05:24:24
Useful bridge to call R from #julialang allows reuse of special R package directly in my julia code github.com/JuliaInterop/R...
タグ： julialang
posted at 05:14:09
1ヶ月前に拾った子猫2匹のうち1匹を昨日里子に出した。寂しいけど行った先で存分に愛されてほしい。
うちに残った1匹は、人になつきすぎて触った瞬間にゴロゴロ音を出す機械と化している。スマホの動画でもうるさいレベルのゴロゴロ。 pic.twitter.com/X2AemJ9cfi
タグ：
posted at 04:50:37
#数楽 定理の証明をいきなり読み始める気になる人はほとんどいないと思う。具体的な応用例の方を先に見て、感じがつかめてから証明を読む方が普通。
定義の文面も例の方を先に見ることが結構多い。
例の方を見て「自分だったらどう抽象化・一般化するか」を考えてから、「答え」を見る方が理解が楽。 twitter.com/bicycle1885/st...
タグ： 数楽
posted at 03:11:04
#Julia言語 はコンピュータの取り扱いが苦手な人であっても、高速計算を気軽に楽しめるようにうまく設計してあると思います。
* 公式バイナリ
* あなたが使える任意のテキストエディタ
* Revise.jl
が使えれば、後は公式バイナリのREPLに付属のパッケージマネージャーで必要なものを入れればよい。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 02:50:31
#Julia言語 さらに、できればファイルfoo.jlに書かれた函数やモジュールの記述が変更されたときには、「自動的に反映」されて欲しい。
それもできます！
using Revise
includet("foo.jl")
しておけばよい。
twitter.com/genkuroki/stat... twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 02:46:04
#Julia言語 ダメな例
struct Bar
p
A
end
struct Poo
p::Real
A::AbstractVector
end
これらの書き方をすると速度的劣化が起こります。
struct Foo{T, U}
p::T
A::U
end
ならその点は大丈夫。
docs.julialang.org/en/v1/manual/p...
タグ： Julia言語
posted at 02:25:25
#Julia言語 仮に
struct Foo{T<:Real, U<:AbstractVector{<:Real}}
p::T
A::U
end
のような複雑な書き方を必須とされてしまうと、気軽さが大幅に減る。しかし、実際には
struct Foo{T, U}
p::T
A::U
end
と書いても十分に実用になることが多いです。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 02:21:00
@tak_yamm Float32やFloat64などの型を決めうちせずに書く方法を
nbviewer.jupyter.org/gist/genkuroki...
で紹介しておきました。
struct Foo{T, U}
p::T
A::U
end
まで略して書いても十分実用的です。 pic.twitter.com/vYgKr7mnO6
タグ：
posted at 02:04:52
#Julia言語 Base.@ kwdef を私も使ってみた。
パラメータ付きの型を使えば、Float32もFloat64も同じ型で扱えます。これ、Juliaで使い回しの効く部品を作るときはとても大事。
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/jrmnRA55ag
タグ： Julia言語
posted at 02:01:10
@genkuroki コメントありがとうございます。Float32にしたのは単にこの領域のシミュレーションをする人は大体この精度を用いているというだけです…。
タグ：
posted at 01:50:16
#Julia言語 Base.@ kwdef については知らなかった！
どうして、Float64(もしくはどの浮動小数点数でもよいことにするの)ではなく、Float32を使っているのかは分からなかった。 twitter.com/tak_yamm/statu...
タグ： Julia言語
posted at 01:39:55
@sekibunnteisuu @metameta007 訂正
❌ 被乗数と乗数の曖昧なままにして言葉遊びをしているだけで。
⭕️ 被乗数と乗数の定義を曖昧なままにして言葉遊びをしているだけ。
タグ：
posted at 01:10:47
Julia seems nice! 💡
One of my colleagues gave a great session about the @JuliaLanguage during our internal @Reply_ITA XChange conference. Looks like a great fit for data and other computational science. ✨
#replyxchange #lifeatreply #AI #ML #Datascience #julialang pic.twitter.com/qYx10qCAvY
タグ： AI Datascience julialang lifeatreply ML replyxchange
posted at 01:05:22
@sekibunnteisuu @harineducation 私は実際にとある小3の子に以下のリンク先のような質問をしてみたのですが、確かに書いてある通りに正解できました。
小3の子は小5で習う前に直観レベルで理解している感じ。
公式やら変な図に頼る教え方をして、真っ当な理解を上書きしないように気をつけるべきです。
twitter.com/genkuroki/stat...
タグ：
posted at 01:01:07
@sekibunnteisuu @metameta007 まさにそれ。
被乗数と乗数の曖昧なままにして言葉遊びをしているだけで。
twitter.com/bampaku/status...
タグ：
posted at 00:51:41
@temmusu_n @kuri_kurita これは「主語が大きな文は避けるべきだ」というような話。
twitter.com/genkuroki/stat...
タグ：
posted at 00:41:23
@temmusu_n @kuri_kurita まずは普通に数学や科学や技術について学んで自分の手で試してみる(試行錯誤してみる)経験がないと理解が無理な事柄について、科学哲学っぽい読み物を読んで理解した気になるのはまずいという指摘。
twitter.com/genkuroki/stat...
タグ：
posted at 00:37:20
@temmusu_n @kuri_kurita 過去に何度か、馬鹿なことは言わない方がよいと言って来たのですが、ブロックして来たりせずに、そこは立派だと思っていました。
教養的に、数学や科学がからむ話題にはついて行けないということの認識がないのだと思います。
twitter.com/genkuroki/stat...
タグ：
posted at 00:32:31
@zatta2297 教える仕事を目指すなら，遠くない将来，rn さんの前にその厄災が降りかかると思います。
#超算数 の話題は，追っかけておいたほうがいいです。算数の段階で，数学の才能の開花を阻むメソッドが跋扈しています。
タグ： 超算数
posted at 00:17:40
