黒木玄 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年06月26日(土)
Margaret @子どもを理不尽に慣れ @20margaret12
知り合いの高校の先生、ブラック校則を撤廃して改革しようとしたら、頭の固い昭和のオヤジ先生たちに敵対視され、散々イジワルされた挙句、ついに学校を追い出されたそう。
タグ：
posted at 00:08:22
Czn farkıyla Dünyanın en Büyük Pizzasını hazırladık❤️🍕Pizza sever misiniz?🍕🍕🥩🙈 pic.twitter.com/LyBp5XxMQy
タグ：
posted at 00:18:31
Margaret @子どもを理不尽に慣れ @20margaret12
うちの子の学校でも、若い優秀な先生が追い出されたもんな。やりたいことができないから他の学校へ移ったとか言ってる先生いたけど、実質、追い出されたに違いない。めっちゃヤル気ある先生で、新しい試みを色々やってたから、昭和のオジサン先生たちに疎まれたんだろうな。
タグ：
posted at 00:32:38
I'm at the level of Julia coding sophistication that, when it vomits out a stacktrace, the only information I can glean from it is "there is a bug in your code." Does it get better?
タグ：
posted at 02:43:44
Come to the #JuliaLang side, we have multiple dispatch twitter.com/unclebobmartin...
タグ： JuliaLang
posted at 03:33:42
Had a random thought and realized that’s where Twitter shines. It’s common to host #opensource software libraries in one central registry, while educational content is scattered to various university and personal web pages. What if we changed that?
タグ： opensource
posted at 04:04:35
The @rustlang and @JuliaLanguage documentation tools are SO good these days. I’ve seen and heard of folks using those documentation engines for blogs. It would be so cool if Julia had a separate registry for educational content
タグ：
posted at 04:04:35
Users could host content locally by adding each education package, and serve the content with LiveServer.jl. This would be particularly valuable for distributing interactive content
タグ：
posted at 04:04:35
For #julialang specifically — lots of “packages“ are actually reproducible or interactive projects with example code, data, etc. DrWatson.jl, which provides a standard and reproducible scientific project structure, comes to mind
I feel like there’s a lot of potential here!
タグ： julialang
posted at 04:04:36
Chelsea Parlett-Pell @ChelseaParlett
@betanalpha σ-algebras need better PR people then
タグ：
posted at 04:09:21
@bicycle1885 私の手もとの環境を見てみたら、
D:\.julia\conda\3\share\jupyter\lab\staging\node_modules\codemirror\mode\julia\julia.js
を
github.com/codemirror/Cod...
で上書きしてありました。同じことをnotebookのについてもやっていた。
codemirrorのjulia.jsのメンテは価値ある重要な仕事かも。
タグ：
posted at 04:19:22
#統計
確率分布の教科書的解説を読むと誰でも思う疑問。
私も同じ疑問を持っています。
易しい場合から順番に。
①まず、ガンマ分布の特別な場合のカイ二乗分布が自然に出て来る理由は正規分布と同じ。多変量正規分布が出て来る場合にはカイ二乗分布も自然に出て来る。これは教科書通り。
続く twitter.com/bicycle1885/st...
タグ： 統計
posted at 04:34:08
#統計 例えば、ガンマ分布Gamma(α, θ)の場合には、
(xの平均) = αθ
(log xの平均) = ψ(α) + log θ
の値を決めると、αとθの値が決まる。(実質的にガンマ分布モデルの最尤法の話)
θ=2のときのそれぞれのグラフ↓
nbviewer.jupyter.org/github/genkuro... pic.twitter.com/tiUfj07Lf2
タグ： 統計
posted at 05:12:39
#統計 「(ある意味で)もっともあちがち」の正確な意味は、指数型分布族が統計力学におけるカノニカル分布(ただし物理の場合と違って等確率の原理は仮定しない)の特殊な場合になっているという意味である。
私による(可能な限り易しくした)解説が
genkuroki.github.io/documents/2016...
にある。
タグ： 統計
posted at 05:13:50
#統計 以下のリンク先では、f(X)=√Xの場合のガンマ分布の一般化が、制限された分布のランダムウォークによって自然に出て来ることを #Julia言語 を使って示しています。
正規分布とガンマ分布の場合もやっています。
nbviewer.jupyter.org/gist/genkuroki...
twitter.com/genkuroki/stat...
posted at 05:24:26
#統計 ガンマ分布モデルにおいて、平均と対数平均からパラメータの値を決める数値計算は工夫された爆速版のニュートン法を使えます。
#Julia言語 のDistributions.jlでもその工夫されたニュートン法を使っている。
twitter.com/genkuroki/stat...
posted at 05:41:48
弊社のwebアプリ、APIやバッチの一部はjuliaで組んだんだけど、
もしかして商用でjulia使ってるのってかなりレアだったり？
ちなみに近日リリース予定の新サービスは、ワイ担当分100%juliaでございまろ
タグ：
posted at 05:42:06
New post: Benchmarking push! in DataFrames.jl - www.juliabloggers.com/benchmarking-p... #julialang pic.twitter.com/vJhz5RlKjA
タグ： julialang
posted at 05:51:03
2020年1月時点で「武漢での新型コロナ発症者数が41名（中国が公式に発表した数値）」、しかし「海外にコロナ感染者２名出たのでもっと多いはず」
↓
海外の感染者数と人の往来から「現在武漢にどれだけの感染者数がいないとおかしいのか」を逆算して割り出し。約８２５人と推計 pic.twitter.com/Y1tXcSeOrX
タグ：
posted at 06:07:16
「やばいことになりそうです。西浦さんとこから何人か手練れを出してください」ｂｙ感染研の鈴木所長
マジでこれシンゴジラみたいなやりとりだな。 pic.twitter.com/LHyzRGwZdz
タグ：
posted at 06:10:58
#Julia言語
LTS = long term support 版のJuliaは我々一般Juliaユーザーには無関係の代物でその存在を無視してよいと思います。
最新の安定版を使うのが普通だと覚えておけば十分だと思う。
discourse.julialang.org/t/what-are-the...
What are the current plans regarding a new LTS Julia version?
タグ： Julia言語
posted at 06:16:09
これ、分かり易くも勉強になる。当時にどういう仮説を立てて何が目論見違いで（例：２０２０年３月ごろから収束しかけた矢先の欧米のパンデミックは想定外だった）、厚労省や政治家とのどんな衝突があり、何を考え最善手をどう追及したかめっちゃ分かるし胸が熱くなる展開が続く。
タグ：
posted at 06:19:08
#統計 新型コロナの潜伏期間推定のある論文では、ガンマ分布、対数正規分布、Weibul分布の3種類のモデルでフィッティングを行ない(計算法はベイズ)、どれを使っても大差ないことがわかる構成になっていました。
以下のリンク先には論文にはない私による予測分布のプロットがある。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 06:31:14
「授業がうまくいかない」とか「支援がうまくいかない」とかで悩んでいる先生に伝えられることって結局一つだけなんです。
「子どもの様子を見て」
これに尽きるんです。だから、うまくいっていないときというのは「子どもを見れていない」。教育書とか先輩の中に答えは無いんだよ。子どもと話して。
タグ：
posted at 06:56:16
#Julia言語 #統計 以下のリンク先でやっている計算は、正の実数の組(x_1, …, x_n) を
(1/n)Σ x_i ≤ 2
(1/n)Σ √x_i ≥ 1.31
という条件の範囲内でランダムウォークさせることです。
ランダムウォークで動ける範囲に制限を付けると特徴的な分布が自然に現れる。
カノニカル分布の話になっている。 twitter.com/genkuroki/stat...
posted at 06:57:01
#Julia言語 ランダムウォークで正値のx_i達の動く範囲を
(1/n)Σ x_i ≤ 2
(1/n)Σ log x_i ≥ 0.59
に制限すると、自然にガンマ分布Gamma(5, 0.4)が現れます。
こういうのは1日時間をかけて自分でコードを書いて実験してみればすぐに感じをつかめます。統計力学のカノニカル分布の演習にもなる。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 07:15:47
#統計 応用上よく使われる確率分布のビルディングブロックは指数型分布族の確率分布であり、指数型分布族は等確率の原理を仮定しない統計力学におけるカノニカル分布になっているので、確率分布の理解に置いて統計力学は必須の基本教養だということになると思います。
genkuroki.github.io/documents/2016...
タグ： 統計
posted at 07:20:19
「感染対策の中核メンバー有志が集まって本音で意見交換する場があった」
「ぼく(西浦教授)だけじゃなくて、尾身先生も、脇田先生もエキサイトして話してたし何回もぶち切れてました」
対外的な一枚岩の下には本音でのやりとりがあったと。
しかしあの尾身先生がぶち切れるって想像つかないな。 pic.twitter.com/ckiTqA1Eq4
タグ：
posted at 07:22:47
確率分布たちの曼荼羅を描いて喜ぶ向きもあるようですが、個人的な意見では他人が作った曼荼羅図を見てもまともな理解に至ることはない。
非常に困ったことに、「統計学でお墨付き」とか「確率分布の曼荼羅」とか、初学者をミスリードする発言をして惑わす人達がいる。騙されないように注意。
タグ：
posted at 07:23:34
Julia: fast as Fortran, beautiful as Python.
Much updated benchmark showing 25-line Julia code is on par with highly-optimized 75-line standalone Fortran code linked to Intel's MKL.
www.matecdev.com/posts/numpy-ju.... First impressions of #JuliaLang. So cool.
タグ： JuliaLang
posted at 07:23:40
大阪の吉村知事、通達を誤読して全く的はずれな対応(兵庫県だけをターゲットに事前調整もなく往来の自粛要請)した挙げ句に、発生した経済的ダメージの話題そらしのため西浦教授の責任にしようと画策し執拗に責め立てたもよう。 pic.twitter.com/Vp8JwrVqZ3
タグ：
posted at 07:35:07
#統計 適切な近似のために自由度が非整数のt分布が使用される重要な例としてWelchのt検定があります。
Welchのt検定は基本的な所でひどく誤解されていることが多い話題です。
その場合の自由度は近似がうまく行きそうな値として決定されます。詳しくは以下のリンク先スレッドを参照。 twitter.com/genkuroki/stat...
タグ： 統計
posted at 07:40:28
Margaret @子どもを理不尽に慣れ @20margaret12
昭和のオジサンたちってもうすぐ退職するのに、いい先生を追い出してしまったら、近い将来その学校ガタガタになるんだけど、自分たちのことしか考えてないから退職後のことなんかどうでもいいんだろうな。
タグ：
posted at 07:48:13
❌統計学を使ってお墨付きを得る。
❌統計学を使って真理であることを示す。
⭕️目的に合わせて適切などんぶり勘定を行う。
⭕️モデルが真理を正しく捉えているかどうかは分からない。
タグ：
posted at 07:53:22
Margaret @子どもを理不尽に慣れ @20margaret12
うちの子の高校、まさに今、昭和のオジサンたちが権力や決定権を持つ管理職になり、うちの子の担任もその管理職と仲良し同世代。校則もどんどんブラック化してるし、たぶんこの学校これから衰退する。ダメなところ色々と指摘してあげたのに、改善するつもりがないからどうしようもない。
タグ：
posted at 07:57:26
細かいことですが、「教官」という言い方はちょっとまずい。国立大学はとっくの昔に独立行政法人化されていてそこの教員は「教官」ではない。私立大の教員も教官ではない。
「教官」と言えば、堀ちえみ主演のスチュワーデス物語の風間杜夫を思い出す。「きょーかん❤️」
ja.wikipedia.org/wiki/%E3%82%B9... twitter.com/hyuki/status/1...
タグ：
posted at 08:00:57
#超算数 子供が【｢えー、どっちを使うんだろう｣となってしまった】時点でアウトです。
「たし算とひき算のどちらを使うんだろう」という考え方をするようになってしまったら相当にまずい。
添付画像③の中に引用されている常識的で穏健なアドバイスには素直に従った方が良いと思いました。 twitter.com/1024kinako/sta... pic.twitter.com/hkCXGqXlUb
タグ： 超算数
posted at 08:28:13
論争的な話題で親が子に聞いたことをSNSでおおっぴらに語るのは極めて味が悪いです。子に聞いたことであっても、SNSで全世界に向けて情報発信するときにはその発言の責任が大人である自分個人に集中するように書くべきだと思う。
算数とは無関係に、味が悪くなることが実に多い。
タグ：
posted at 08:32:56
極めて稀ではありますが、各種報告から mRNA と若年男性の心筋炎には恐らく因果関係があると考えているので、全員軽症で死亡例はないものの特に若年男性にワクチン接種をする時は各種副反応について説明したのち「3-5日経っても熱っぽかったり胸が痛かったら必ず連絡してください」と説明しています。
タグ：
posted at 08:41:12
#Julia言語 のコードが本番品質のFortranの同等のアルゴリズムである特殊関数の実装よりも高速であることがよくある実例
【JuliaがFortranコードを打ち負かすことができる理由は、メタプログラミングにより、Fortranで厄介なパフォーマンス最適化を簡単に適用できるため】
discourse.julialang.org/t/julia-vs-for...
タグ： Julia言語
posted at 08:47:03
@genkuroki 貴重なご指摘ありがとうございます。これは言われないと絶対気付かなかったですね。
リンク先に「教官と教員」の識別が書いてあると思ったら「スチュワーデス物語」へのリンクなのですね……😅
タグ：
posted at 08:53:43
昔から使われているFortranで書かれた基本特殊函数のコードの多くは、Fortranに特殊函数の実装に必要な機能が欠けていたせいで、最適化が不十分なまま21世紀現代になっても使われている疑いが強いです。
最近の類似の話題 #Julia言語
↓
discourse.julialang.org/t/keeping-scie...
タグ： Julia言語
posted at 08:54:16
Juliaにこだわらずに、繰り返し使用される基本特殊函数のコードを21世紀現代の方法で徹底的に最適化することは大事な仕事だと思う。
MCMC法で使われる尤度函数の主要部分が基本特殊函数の場合にはパフォーマンスに直結することになります。
問題は誰がやるのか？
タグ：
posted at 08:56:51
オープンソースのソフトウェアの開発は、「本当は誰かがやった方がよい仕事であっても、その仕事によって十分な収入が得られないという理由で、誰もやろうとしないこと」が大量に発生していることを見せつけ続けていると思う。
これは社会科学の問題でもある。
タグ：
posted at 09:00:43
＞問題文を最初から最後まで読むのは大前提
とあるけど、文字を追うだけってのは「読む」とは違うってことも教えてあげないといけないと思う。 twitter.com/genkuroki/stat...
タグ：
posted at 09:19:29
discourse.julialang.org/t/julia-vs-for...
* Julia、C、C ++、Fortranのどれで書かれているかは高速計算の性能を決定しない。
* 複雑な構成の現代的なハードウェアをどれだけ適切に使っているかがパフォーマンスを決定する主要な因子である。
* #Julia言語 を使うとその点が大幅に楽になる場合がある。
続く
タグ： Julia言語
posted at 09:26:18
□を使った式を早めに教えてあげて、「最終的に引き算で計算するにしても、最初はたし算で考えてよい」と考えられるようにしたほうが良いと思う。
たし算引き算は表裏一体。 twitter.com/genkuroki/stat...
タグ：
posted at 09:30:16
ソースコードと実装の流れです🙇
Python：PyQtGraphでメルスペクトログラムをリアルタイム描画 www.wizard-notes.com/entry/python/p...
タグ：
posted at 10:10:52
小森健太朗@相撲ミステリの人 @komorikentarou
超算数で変な理論をふきこむから、子どもが足し算か引き算かさえ迷うようになるまで算数理解力が壊されているのか。超算数の被害者となっている子どもたちがかわいそう。
タグ：
posted at 10:26:13
Ghess: How to write a Chess Engine? (Re-post) www.juliabloggers.com/ghess-how-to-w...
タグ：
posted at 10:37:28
「アニメ聖地巡礼」研究した身としては一般化しつつあるのが大変嬉しい。聖地としての成功を"巡礼者の増加による収益の増大"に置くのか、"観光者数の継続的な増加"に置くのかで結構変わるのだけど、後者を成功要件とした場合には作品の人気(円盤の売上)との間には相関はなかったのが結論。
タグ：
posted at 10:37:34
なので「作品の人気が無いから聖地として失敗した」というロジックは成立しない。作品の人気は重要視されることではない。
じゃあ成功するためには？を端的に言うと、作品関係なく何度も来たくなるような魅力を持つ地域育成をすること。
タグ：
posted at 10:43:35
アニメ聖地巡礼では何度も通うようになる方が非常に多いです。「何度も通っている・また来たい」という話は大洗で取材した時にもあり、鴨川の巡礼ノートのコメントを形態素分析しても結果が出てました。
作品は訪れるきっかけであり、その中で地域の魅力を各々が見つけ、リピーターに変化していく。
タグ：
posted at 10:52:56
じゃあ地域は聖地になっていれば何もしなくて良いのかというとそんなことはなく、観光資源や地域資源の開発で魅力を高める必要がある。
観光・地域資源といっても「作品とコラボした商品を展開する・地域の名産を作品に登場させる」といったことは長期的なリピーター獲得には繋がりにくいです。
タグ：
posted at 11:03:56
張栩からの問いです。
こちら4路盤ならではの特殊な状況（双方アゲハマ無し）ですが、どうなっていると思いますか。
黒勝ち、白勝ち、その他…？
よかったら考えてみて下さい。
囲碁ルールを考えさせられる問いです☺️ pic.twitter.com/y8tLum93Jb
タグ：
posted at 11:05:39
大事なのは、「作品に頼らない」地域の魅力を見つけることと、地域に聖地巡礼者が関われる機会が生まれること。
そうした地域の強みを発信していき、その中にアニメ聖地巡礼者が参加することでコミュニティが拡大し、新たな文化形成、ひいては地域活性に繋がっていきます。
タグ：
posted at 11:16:03
@hyuki @genkuroki 私が大学に入ったのはスチュワーデス物語のヒットが世間の記憶に残っている頃で、大学（国立）の先生が授業中の雑談で「教官って言ってたけどあれは厳密には間違い」と仰っていたのを覚えています。でも大学院の「指導教官」は私大でも慣習的に使われていたような気がしますね。
タグ：
posted at 11:22:52
まぁ仰々しく言ってもしょうがないので、地域側が作品への理解を示し「巡礼で訪れる方とその作品でちょっと話せる」といったそれ位の機会を設けるのでOKなんです。深くなくていい。地域自身の魅力に+αのほんの少しで、何度も来たくなる聖地に変わっていきます。
タグ：
posted at 11:25:17
短く纏めると本当に当たり前なことなんですけどね。
作品ドーンと出して「よく知らないけどコラボ商品展開してます！」よりも「その作品良いよね。こういうものもあるけど、どう？」のスタンスの方が双方やり易いし楽よねっていう感じです。
あたしがやりたかったのはこういう仕事なんだよなぁ...
タグ：
posted at 11:39:26
@jordannovet .jl is the extension for #julialang for those who may not know. :-)
タグ： julialang
posted at 11:53:26
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@rcUhIsulIBg2fHH @1027stesc #超算数
キーワード 算数 指導案 などで検索するといくらも出てきます。
学校教育では割とスタンダードな教え方のようです。
それに対して塾講師らが「それは理解しないまま正解になる小手先の方法で、理解のためにはよくないです」と指摘しているという状況。
www.koganei.ed.jp/~maehaes/H27_s... pic.twitter.com/NaGXxF7f4U
タグ： 超算数
posted at 13:13:45
Julia REPL stan now @miguelraz_
@sagmmd @HectorIP Como gustes
Aquí mi tutorial de truquitos (en inglés, sorry)
m.youtube.com/watch?v=EkgCEN...
Y este libro gratis en español
introajulia.org
Y jazztás 🎷peinada pa'trás
タグ：
posted at 13:16:32
これは正論。不特定多数に「うちの息子、こんなにすごいでしょ」と後悔したんだから、不本意な反応があるのも当然。そして反応の多くは、「それだと困りますよ」と心配してのこと。それを「攻撃された」とか言うあたり、なんというか・・・ twitter.com/jskdiwhwhsisbw...
タグ：
posted at 13:20:24
@sekibunnteisuu @1027stesc やはり学校ではスタンダードな教え方なんですね
これ子どもの宿題見ていたときに気が付いて注意した方が良いという話をしたのです
このやり方で教えながら引っ掛け問題のようなものを出すのは意地が悪いですよね
タグ：
posted at 13:21:09
@rcUhIsulIBg2fHH @1027stesc #超算数
ひっかけ問題は、「逆思考の問題」と名前がついていて2年生で扱います。
何人かいて3人帰ったので5人になった。最初は何人？
みたいな問題です。これが「難問」とされています。キーワードで式を立てさせる、しかも式が場面を表す、とされているのだからマッチポンプです。
タグ： 超算数
posted at 13:32:20
非公開
タグ：
posted at xx:xx:xx
@kado_judo0312 ルジャンドルの陪微分方程式の解（ルジャンドルの陪多項式？）は、 www.ioa.s.u-tokyo.ac.jp/~kkohno/semina... とか、ja.wikipedia.org/wiki/%E7%90%83... とかに載ってるのですけど、それを実装するだけじゃ面白くないから嫌だってことですか？
タグ：
posted at 15:30:56
非公開
タグ：
posted at xx:xx:xx
ちょっと裏話ですが、
反ワクチンで大金を儲けているたくさんの医者の中には、かなり自分や家族にはワクチン接種をしている人物が含まれています。
癌の標準療法を否定している医者の多くは、家族が癌になったら普通に手術や化学療法をしている人物が多いです。
騙されぬようお気をつけ下さい。
タグ：
posted at 16:25:07
新しい記事がQiitaにアップされました！#Julia言語 #Julia日本語記事
qiita.com/kogad/items/0b...👈
タグ： Julia日本語記事 Julia言語
posted at 16:47:33
discourse.julialang.org/t/julia-vs-for...
* (2017年の時点で) #Julia言語 で実装したSDEの最新の方法は、簡単な問題で「単純な標準方法」より約100倍速い。ラボラトリで解決しようとしていた問題では適応的アルゴリズムを使っても100万倍の高速化される。高階ルンゲクッタはVerner法で10～100倍高速化。
続く
タグ： Julia言語
posted at 16:48:39
続き
* 優れたFortran/C++プログラマーの誰かがこれを見て「でも、私ならもっと速くできる」と言うかもしれません。確かにそうだけど、ほとんど誰もできないし、ほとんど誰もメンテナンスを手伝ってくれないし、研究者が新しいアルゴリズムを追加したいと思ったときに、拡張するのは悪夢になる。
タグ：
posted at 16:48:41
このスレッドで紹介している #Julia言語 のdiscourseの議論は、最後の方で数値積分のパッケージに話題がそれました。で、その22後にpure Julia版の汎用数値積分パッケージが公開された(笑)
↓
discourse.julialang.org/t/julia-vs-for...
タグ： Julia言語
posted at 17:31:57
#Julia言語 以下の数値積分パッケージは、Cのライブラリのラッパーではなく、純粋にJuliaで書かれたパッケージなので任意の「実バナッハ空間値函数」(の浮動小数点数版)を積分できます。
函数の値は例えばFloat32, Complex{BigFloat}, Matrix{Float64}のどれでもよい。
github.com/JuliaMath/HCub...
タグ： Julia言語
posted at 17:36:04
パターンマッチ教育はここまで来てるのか………理解してなくても問題が解けるのが目的ではなく、答えは間違っても理解してるほうが大事なのに… twitter.com/genkuroki/stat...
タグ：
posted at 17:37:26
@kado_judo0312 調和関数面白いですよね！僕も、Houdiniという3DCGのソフトで、球面調和関数とトーラス調和関数を作りました。 pic.twitter.com/48BTnFSXM3
タグ：
posted at 17:40:31
機能を追加して新しいスクリーニングを実行してるけど
やっぱりpythonちゃん遅い。。
秒2件くらいしか処理できないから
対象が600銘柄程なので5分もかかる。
（5分くらい待てないのか）
対策としては #julialang に移行するか（1度挫折した）
5分間、お茶を淹れる時間にするか。。 twitter.com/yoshi_hide_ban...
タグ： julialang
posted at 17:45:05
Takanori Fukuyama @thisistakanori
サービス作るのにRustのユースケースなすぎてつらい
最近ちょっとだけJuliaのユースケースは増えてきた
タグ：
posted at 17:53:32
@shin1toku @hyuki @genkuroki 訳あって調べたことがあるのですが、学校教育法にはもともと「教官」の語は出てきていませんでした。国立大学には法人化以前から法律上「教官」と呼ばれる人はいなかったのです。
ちなみに、他の法律で「教官」の語が出てくるのはあります。たとえば、少年法には「法務教官」があります。
タグ：
posted at 18:00:04
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#数楽 訂正
符号が間違っていますね。
符号のミスは普通なので自分で訂正すること通常の状態。
u_t = u_{xxx} - 3u_x u
が欲しければ、u = f(x + ct) とおく。
u = f(x - ct) とおくと、
u_t + u_{xxx} - 3u_x u = 0. twitter.com/genkuroki/stat...
タグ： 数楽
posted at 19:59:27
@frank_e_curtis @madsjw How else would you convince phycisists to finally drop their half-century old Fortran code base?
タグ：
posted at 20:06:09
#数楽 グラフがないと分かり難いのでWolframAlphaの助けを借りてグラフを追加
f(x) = sech² x のグラフ。1つ山になる。
www.wolframalpha.com/input/?i=plot%... pic.twitter.com/0Lpt13SeE2
タグ： 数楽
posted at 20:14:43
#数楽 上のu(t,x)について、
u_t - u_{xxx} - 3u ux
を計算。記号計算で0になることまではできていませんが、グラフを見れば0になっていることが分かる。
www.wolframalpha.com/input/?i=%28%E... pic.twitter.com/QKeuSCfBYt
タグ： 数楽
posted at 20:18:07
Frames Catherine Whi @oxinabox_frames
I was excited to hear that Yota.jl v0.5 has been released and it has support for ChainRulesCore.jl
While it has always been the goal of the ChainRules project to be a shared library of rules for multiple AD systems it is now really happening. Yota is 3rd
discourse.julialang.org/t/ann-yota-v0-...
タグ：
posted at 20:38:09
Frames Catherine Whi @oxinabox_frames
Role-out status:
✅Zygote.jl (but not experimental forward)
✅ReversePropagation.jl
✅Yota.jl
🔜Diffractor.jl: (both modes!), not yet release to public
🔜Nabla.jl :working in this branch github.com/invenia/Nabla....
(kinda ForwardDiff2.jl but that is on hiatus, and outdated compat)
タグ：
posted at 20:38:10
Frames Catherine Whi @oxinabox_frames
Not stated:
❌Tracker.jl (does anyone use this anymore)
❌Autograd.jl (@denizyuret how about it? Do you think it is worth doing?)
❌ReverseDiff.jl (some interest from a few people in doing this though, so might see some motion)
タグ：
posted at 20:38:10
Frames Catherine Whi @oxinabox_frames
Weirder things:
I know what has to be done for Symbolics.jl and NiLang.jl.
They can't support augmented primal, so they need a API to compute pullbacks without that (which is only sometimes possible)
Not sure when I will have time to make those changes, but they are non breaking
タグ：
posted at 20:38:11
非公開
タグ：
posted at xx:xx:xx
親が生理痛は我慢すべきもの、として産婦人科に受診させてもらえない、というのがあったけど、ここ数年、精神科を受診したいのに親に反対されていけないという話を聞くようになった。
親の知識がアップデートされないことで受診できないの、まさに子どもの権利の侵害。
タグ：
posted at 21:09:36
@musorami @uKi2wQXyG7rx3gL www.koganei.ed.jp/~maehaes/H27_s...
検索するとこの手の指導がちょくちょくあるんですが、指導書などに書いてあるんですかね？ pic.twitter.com/dgj20fj4YJ
タグ：
posted at 21:28:05
reading: A1. SymPy in Julia: 数式処理 - 数値計算法基礎 (2020)
www.cas.cmc.osaka-u.ac.jp/~paoon/Lecture...
タグ：
posted at 21:42:19
@JuliaLanguage @davidanthoff @OpenAtMicrosoft Sorry to hear about your experience. We would love to help you find a solution. We have reached out to David already in private.
タグ：
posted at 21:58:10
Oooooh my god!!! Real life application of Python... wait for it. pic.twitter.com/vZlCk7BWZy
タグ：
posted at 21:59:23
何年か前に売れていた『学力の経済学』という本、エビデンスベースの教育論を謳いながら、怪しい心理学研究を真に受けていて大丈夫かなあと思ってたが、ヤバいことになってるみたいですね
タグ：
posted at 22:04:18
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
@kado_judo0312 github.com/FluxML/Zygote.jl
微分しちゃうんや！
タグ：
posted at 22:18:57
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
@kado_judo0312 あと、これも注目でキュキュ twitter.com/viral_b_shah/s...
タグ：
posted at 22:26:06
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語
の開発者のバックグラウンド調べると
物理の人や数学の人が多くて言葉にできないある種の共感を感じる時がある。
タグ： Julia言語
posted at 22:50:36
ごまふあざらし(GomahuAzaras @MathSorcerer
この機能100年前に欲しかった twitter.com/kado_judo0312/...
タグ：
posted at 22:52:54
非公開
タグ：
posted at xx:xx:xx
この前息子氏(小2)と布団でゴロゴロしてたとき、
「5÷2がよく分からない」
というので、さてどうしたもんかと思い、
「4÷2は？」
と聞いてみた。
「2」と答えたので、次は、
「6÷2は？」
と聞いてみると「3」と返ってきた。
タグ：
posted at 23:13:21
「4を半分こしたら2で、6を半分こしたら3になるなら、5を半分こしたら2と3の間になるんじゃないかな」
というと、
「2.ナントカってやつ？」
と言う。小数はまだ学校で習っていないが、小数第一位の存在は認知しているっぽい。話が早い。毎日体温計で熱測ってるからかな。
タグ：
posted at 23:13:21
「息子氏、2と3の間を10個に分けると2.1、2.2、2.3…という数になるのだ」
「5÷2すると2と3の間の、ちょうど真ん中になる気がしない？」
「真ん中は2.5？」
「正解。じゃあ7÷2は？」
「3と4の間だから、3.5？」
「正解。じゃあ11÷2は？」
少し詰まったけど、「5.5」といけた。
タグ：
posted at 23:13:21
このあと、「1÷3」はどうなるか？について、一緒に考えた。「3つ足したら1になるやつを探せばいいんだそ息子氏」「0.3だと足りないけど0.4だと大きすぎる。0.3と0.4の間かもしれない」「電卓先生に聞いてみよう。1÷3って押してみな？」とか言ってみたり。息子氏と数字で遊ぶのは楽しい。
タグ：
posted at 23:13:22
@davidanthoff @SimonDanisch @JuliaLanguage We’d love to have @JuliaLanguage on @condaforge – it would be really cool to make it installable on Windows, macOS and Linux alongside many other scientific open source libraries
タグ：
posted at 23:15:00
Julia の目指すところとは違う気はするが……
いや、むしろ計算結果をビジュアル化するほうが今後重要になりそうだしなぁあってもいい気がする。(ならつくれ)
タグ：
posted at 23:22:12
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
（´-`）.｡oO( 中室牧子氏，間違った研究をエビデンスベーストだと散々主張し，それが官僚の誰かのツボにはまって，今は識者として産業構造審議会や他の政府会議で教育政策の意思決定にガッツリ食い込んでますよね…．間違った考えを振り回して政府に食い込むあたり，師匠のヘーゾーの薫陶ですかね… ) twitter.com/ykamit/status/...
タグ：
posted at 23:35:30
ここ note.com/rikaedu/n/na62... で批判されている埼玉県の小・中学生の学力調査，中室氏がガッツリ絡んでいるのですよね…．もう，キナ臭さしかないというか．
タグ：
posted at 23:51:46
@achiralstudy えぇ！Juliaの使い方マスターして、忘れかけてたPythonを再履修したら作るかもしれません！
とはいえ、機械学習とか深層学習とかいろんな要素が必要になってくると思うので、edxでコースを受講してからやりたいと思います。
タグ：
posted at 23:59:38
Very well written intro to #Bayesian #Statistics using #JuliaLang
storopoli.io/Bayesian-Julia/
タグ： Bayesian JuliaLang Statistics
posted at 23:59:52
