黒木玄 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年04月24日(土)
#Julia言語 線と丸を別々にプロットする手が使えます。
gist.github.com/genkuroki/d11e... twitter.com/nextstep2osx/s... pic.twitter.com/C1YuGMF7IW
タグ： Julia言語
posted at 00:02:04
Pythonをメインに使う限り、どこかで無用な手間(CやC++やCythonでコードを書くこと)が生じたり、他言語との連携でボトルネックが生じるのは防げないと思う。
素直な解決策は、Pythonをメインに使うのをやめることだと思います。やめられないなら計算速度は優先事項ではないということだと思う。 twitter.com/yoshi_hide_ban...
タグ：
posted at 00:51:04
#Julia言語
www.stochasticlifestyle.com/why-numba-and-...
Why Numba and Cython are not substitutes for Julia
August 6 2018
ある微分方程式の数値計算について
* PythonからJuliaを呼ぶと、SciPy+Numbaより13倍速くなる。
* しかし、全部Juliaでやると、SciPy+Numbaより22倍速くなる。
タグ： Julia言語
posted at 01:03:32
#Julia言語 Pythonでは、ライブラリ(例えばCythonもしくはCで書かれたライブラリやJITのNumbaなど)の1つひとつのベンチマークテストで好成績を出せても、現実の仕事で必要な「複数のライブラリを組み合わせて使う」場面になるとひどく遅くなる。
Juliaならそうならない。
www.stochasticlifestyle.com/why-numba-and-...
タグ： Julia言語
posted at 01:03:34
つまらない問題が大量に並んでいる算数プリントに「おまけの問題」として探索過程でいい感じに分岐が生じる虫食い算が載っているところに、日本の算数教育の問題が集約されている。
秀逸な虫食い算を載せることができる人は有能である。その有能な人がつまらない問題を大量に載せる仕事もしている。
タグ：
posted at 01:14:17
FAA is using #Julialang to develop the Next-Generation Airborne Collision Avoidance System. The project requires computation of an exhaustive search over 650 billion decision points within the optimized logic table in order to identify failures juliacomputing.com/case-studies/l...
#aerospace pic.twitter.com/P8HDVdOUsy
posted at 02:48:20
#日曜LT紹介
tsujimotterのノートブック tsujimotter.hatenablog.com のオススメ記事を紹介する。ゼータ関数のオイラー積を図解した記事tsujimotter.hatenablog.com/entry/2014/03/...や、j-不変量とモンスター群の興味深い関係モンストラス・ムーンシャインの解説tsujimotter.hatenablog.com/entry/monstrou...などがある。
www.nicovideo.jp/watch/sm32638345
タグ： 日曜LT紹介
posted at 03:18:11
ついさっき、これのお世話になった↓
最新のJupyter Notebookとnbextensionsの組み合わせでうまく動かない場合の解決法 qiita.com/SolKul/items/4... #Qiita @ICR3_5より
タグ： Qiita
posted at 03:20:51
Tempted to say "Hey, I never ignored it." But when I published The Age of Diminished Expectations in 1990, the editors wanted me to remove the chapter on soaring inequality, saying that nobody cared 1/ twitter.com/BrankoMilan/st...
タグ：
posted at 04:21:01
That said, international trade economists were very aware of inequality as an issue in the 90s, because we had a model — Stolper-Samuelson — that told us to worry, and a fact — rising imports of manufactures from developing countries — that played right into that model 2/
タグ：
posted at 04:22:50
In retrospect, too much focus on college-noncollege gap and not on wider issues, but some of us were well aware of those too. I talked about the 1% in that 1990 book 3/
タグ：
posted at 04:29:46
And I dealt with the issue and the lies about it in 1992 4/ prospect.org/economy/rich-r...
タグ：
posted at 04:30:32
So while Branko has a point, if you say "We economists neglected inequality" I guess my answer is at least in part, what do you mean "we"? 5/
タグ：
posted at 04:31:36
Julia v1.6.1 released! forum.devtalk.com/t/9036 #JuliaLang #devtalk
posted at 06:06:45
なるほどねぇ👶それ、ばぶも結構やります。代入して実感するっていうの。それはそうと、関数の形を見るときにはまずは ±∞、±1、0 を代入してみるよね、って高校生かっ！笑
#マシュマロを投げ合おう
marshmallow-qa.com/messages/5d234... pic.twitter.com/WKuHIB1k3V
タグ： マシュマロを投げ合おう
posted at 06:12:22
虫食い算は私もよくやらせる。^^
虫食い文章問題もよくやる。
「7人に（ ）個ずつ蜜柑を配るには35個必要」
割り算を習っていなくてもできる。
こういうことをやっていれば、かけ算とか割り算とか言う概念が希薄となり、「必要の応じてテキトー（適切）に計算する」ということになる。 twitter.com/genkuroki/stat...
タグ：
posted at 06:51:33
ところが算数教育の世界はこれとは逆で、「演算決定」なる用語まである。ご丁寧に（皮肉だよ）、「たすのかな ひくのかな」などという単元まである。
私と小学校教員とのやり取りのずれもこれが要因だろう。
私の主張は「15分ずつなら45分で3つの公式を扱える」ではないのだが、・・・ pic.twitter.com/5irJXPAVx0
タグ：
posted at 06:59:27
「15分ずつなら45分で3つの公式を扱える」を例に出す。
我々は普通、これをこのまま理解するだろう。
ところが算数教育の世界では、
「15分ずつで3つ扱うなら、何分かかるでしょうか？」を、掛け算の問題
「15分ずつだと45分だといくつ扱えるでしょうか？」を、割り算の包含除
タグ：
posted at 07:02:41
「45分で3つ扱うには１つあたり何分？」を、割り算の等分除
という具合に、異なる問題、異なる演算として扱う。
でも、人間の自然な理解ってそうじゃないと思う。もっと渾然一体なものとして捉えていると思う。
タグ：
posted at 07:06:24
で、おそらく、「スパイラル」もそういうことを意識して導入されたのだと思うが、実際には、概念を細かく分割し、分数を教えたけど約分は教えていないから勝手に約分したらバツ、などという馬鹿げたことになっている。
タグ：
posted at 07:07:35
常日頃@genkuroki さんのツイートを拝見していたおかげで、昨秋かけ算の順序で×をもらってきたわが子に「あ、先生がこだわってるだけで気にしなくていいやつ」と落ち着いて声かけできました。「先生も子どもの頃はどっちでも同じじゃんって思ってたんだけどこうやった方が便利」と言われたそう。はは。
タグ：
posted at 08:33:13
それ、正道！
私は函数の形を見るときには-10から10までの数を1000個ほど代入してみます。
y = f.(x) の行で1001個の数を代入している。
添付画像はsinのテイラー展開(7次)。
-10～10だとsinに見えない。しかし、幅を狭くすると～。
#Julia言語 Pluto notebook
gist.github.com/genkuroki/8d60... twitter.com/minesoh/status... pic.twitter.com/RdoCHFmcaL
タグ： Julia言語
posted at 08:47:41
@sekibunnteisuu または2期作かも。春にも収穫されるのは、最近のことなのか、実は昔からあったが見逃されてきたのかという、重要な問いを立てる必要があります。
タグ：
posted at 08:51:55
@temmusu_n このところ3件ぐらいあったので「あれ？」と思った次第です。
最近の傾向だとしたら、これまでは3年生だとスルーされていたけど、順序粉砕闘争の拡大への対抗でしょうかね？ まさに、反動！
タグ：
posted at 08:56:44
@sekibunnteisuu #超算数 3年生の4月は、割り算を習います。掛け算の順序をつかって、放蕩区別（割り算には包含除と等分除がある）を厳しくつけているんじゃないでしょうか。多分、昔からちょぼちょぼある問題かな。
タグ： 超算数
posted at 09:03:42
@sekibunnteisuu 筆算はむしろ、乗数を下に書いて先に読みます。12×
3は
12
× 3
となって
さんにがろく、ってやる。
だからむしろ交換法則推しじゃないでしょうかね。#超算数
タグ： 超算数
posted at 09:12:14
@sekibunnteisuu ふーむ、実は筆算の処理って、総九九が導入された理由の一つだったんですよね。すくなくとも大人は半九九でもあまり困らないのか。。。
タグ：
posted at 09:26:57
@sekibunnteisuu #超算数 でなんか書いていますし、メタメタさんの本にもあります。半九九っていうのは九九のa × bにおいてa ≦ bという制限がかかっているやつです。これだと筆算の時に一定の方向で読めないという意見がありました。
タグ： 超算数
posted at 09:35:45
@sekibunnteisuu #超算数 積分さんの【8×4も、私は「しは」でやる】は数字を小さい数から大きい数という順序に読み替えているわけで、半九九的です。実は半九九で十分じゃないかという意見は、戦後も残っていました。
タグ： 超算数
posted at 09:38:04
#Julia言語 #数楽
パラメータaを動かして、常微分方程式の初期値問題
y''+2ay'+y=1, y(0)=y'(0)=0
の解をプロット。
パラメータの値によって解の定性的な性質も変化することがわかる。
本質を突くグラフのプロットは実用的な理解に限りなく近い。
Pluto notebook
gist.github.com/genkuroki/cead... pic.twitter.com/whnCrjDtMA
posted at 09:41:39
以上で使用した #Julia言語 とDifferentialEquations.jlとPluto.jlの組み合わせは、NASAでの宇宙船の分離のシミュレーションでも使用されているようです。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 09:44:23
「コンピューターを使って数値計算してグラフをプロットするだけ」の話なのですが、私は非常に重要なスキルだと思う。
実際にいるやってみると、グラフのプロットの仕方の学習コストが非常に高い。びっくりするほど高くつく。
タグ：
posted at 09:47:26
Linus Torvalds Responds to Linux Banning University of Minnesota | @tomshardware www.tomshardware.com/amp/news/linus...
タグ：
posted at 10:01:17
PythonのライブラリはPyCall.jl経由で #Julia言語 のライブラリともみなされるので、例えば beautifulsoup4 の類はJuliaでも使えます。
Juliaを使っているとPythonで便利なライブラリが出ても「Juliaで使えるのでうれしい」という仕組みになっています。
nbviewer.jupyter.org/gist/genkuroki... twitter.com/hibiki_com__/s... pic.twitter.com/iupCtG6s0k
タグ： Julia言語
posted at 10:07:50
#Julia言語 で書かれたパッケージで、Pythonでのbeautifulsoup4のようなことをする方法については
stackoverflow.com/questions/5982...
に書いてありました。
タグ： Julia言語
posted at 10:09:11
悪い顔だ……！
盗み食いニャンコのお顔が強い……！ 隠しておいた豆苗を「ムシャア」と食べる愛猫の姿が目撃される
nlab.itmedia.co.jp/nl/articles/21... pic.twitter.com/czYZJDSz5p
タグ：
posted at 10:15:00
#数楽 高校生に数学の話をする機会がある人には次の文献がお勧め。去年の11月に発見した。もっと早く見付けておけば良かった。
www.maa.org/sites/default/...
A. F. Beardon
Sums of Powers of Integers
The American Mathematical Monthly
Volume 103, 1996 - Issue 3, 201-213
twitter.com/tsujimotter/st... pic.twitter.com/3bW3S9uz5S
タグ： 数楽
posted at 10:58:02
話題になってた財政審の資料をみつけたけど、まぁ結論ありきの分析ですね。こんなん、学術論文だったらrejectだけど、こういうのを許すZ省にみんな（アカデミアもそれ以外も）振り回されるというのはひどい話ですね。
www.mof.go.jp/about_mof/coun...
タグ：
posted at 11:21:10
彼らは440億円も増やしているじゃないかという主張はするけど、基盤的経費から競争的資金への転換が生産性をとしている、という分析は決してしない。あくまで、「公的資金を増やしてやってるのに大学が怠けているから生産性が上がらない」という筋で資料がまとめられている。 pic.twitter.com/o7dmfNLQ3o
タグ：
posted at 11:23:59
Jupyter notebookでnbextensionsが使用可能なことは絶対に必要なことだと思うのですが、それだと最新版のJupyter notebookを使用できず、バージョンダウンしなければいけない。
こういうのが色々面倒なんだよな。 twitter.com/genkuroki/stat...
タグ：
posted at 13:06:41
#Julia言語 だと本質的に ]add CUDA だけでNVIDIAのGPUで計算できるようになるんですね。サポートされているGPUならば必要なバイナリが自動的にインストールされる。
github.com/JuliaGPU/CUDA.jl
タグ： Julia言語
posted at 13:09:53
非公開
タグ：
posted at xx:xx:xx
techcrunch.com/2021/04/22/pro...
米の大学生がオンライン試験のチート対策を行うProctorを訴えた。同社を批判するTwをDMCAで削除されたため。EFFが学生を支援して訴訟の申請を行っている。Pは学生の3つのTwをDMCAにより著作権侵害と申請しTwitterは即削除。学生は試験を受けるためにはProctorのインストール
タグ：
posted at 13:39:37
を拒否できないが、有色人種の学生によると同社のSWは有色人種の顔を識別をミスすることが多発するという。さらに同SWは高速なインターネットアクセスを必要とし、低収入の家庭では準備できない。これを乗り越えられない場合、学生は単位を落とす。しかしこのような厳しい制約の中でProctorを入れても
タグ：
posted at 13:42:29
実際はカンニングがとても簡単で、複数の大学ではProctorの利用を禁止したり、プライバシを考慮して利用を止めたりもしているという。Proctorioの実装はChromeの機能拡張に過ぎず、学生は簡単にソースを読んでバグやSW上の問題を探すことが簡単である。学生はソースを読み、どのような場合に試験が中断
タグ：
posted at 13:45:24
されるかや、SWがどのように目の動きを判断してカンニングと見做すか、またはどのようなマウスのクリックをチートと見做すかをTWしていた。また学生のTwにはPastebinに投稿されたソースへのリンクを含んでいた。Proctorio は学生の行為がソースの投稿を含み同社の権利を侵害したと主張。しかしTwitter
タグ：
posted at 13:47:46
はProctorioのDMCA違反申請が不十分との理由で学生のTwを復活させた。EFFはSW企業が批判をかわすために著作権法を悪用すべきでないとし、自身の研究を発表するためにコードの一部を引用し、批判の補助とすることは本の批評で本の一部を引用することと何ら変わりはないと主張した。訴状ではProctorioの
タグ：
posted at 13:50:43
根拠を欠くDMCA申請は学生の研究を萎縮させる効果を持ち、彼に研究成果をより発表すればより多くのハラスメントが行われるとの恐怖を抱かせるものだと主張している。その上で著作権所有者には虚偽のDMCA申請に責任があり、裁判所には今後の虚偽申請を禁止するためにもコードの引用やスクリーンショット
タグ：
posted at 13:53:56
非公開
タグ：
posted at xx:xx:xx
OokuboTact 大久保中二病中年 @OokuboTact
＞ おぼろげながら浮かんできたんです、46という数字が
小泉進次郎は坂道ヲタだという疑惑が・・・
タグ：
posted at 14:26:00
OokuboTact 大久保中二病中年 @OokuboTact
私立大に比べれば、国公立大の方が学費は安い。
しかしアルバイトしないと学費は払えないとなると、勉強よりもアルバイトの方に力が入ってしまう学生が増える。
www.garbagenews.net/archives/22029... pic.twitter.com/uUCoISoJ2f
タグ：
posted at 15:33:02
A triple pendulum is a dynamical system highly sensitive to initial conditions: these are 41 pendulums with different initial conditions [source, credit, Reddit user u/ben1996123: buff.ly/2QqD0yt] [read more: buff.ly/3dKUmPg] pic.twitter.com/71K1C6UpLb
タグ：
posted at 16:20:00
The SANOVO SEPS 20,000 Hard-Boiled Egg System automatically boils, cools and peels up to 20,000 eggs per hour. pic.twitter.com/3zFPApgZEN
タグ：
posted at 16:29:08
Provides some guidelines
So I don't want to change that
Approximately
via JuliaLang/julia
タグ：
posted at 16:43:35
Of course 1.6.1 gets released after I spent yesterday afternoon updating our dev buils #julialang
タグ： julialang
posted at 16:45:13
This is (do)nuts: github.com/mossr/Donut.jl #JuliaLang pic.twitter.com/nj6cSTddOY
タグ： JuliaLang
posted at 17:55:09
Making a plasma coil bottle launcher [source and full video: buff.ly/2Hd7jhf] pic.twitter.com/tXOCloLQgp
タグ：
posted at 18:20:00
Quantum Physics Corn @quant_phys
A #quantum billiard with a carefully chosen initial state. The billiard boundary is a Cassini oval:
en.wikipedia.org/wiki/Cassini_o... pic.twitter.com/LyftsbBAb6
タグ： quantum
posted at 18:37:21
Quantum Physics Corn @quant_phys
Inspired by @matthen2
twitter.com/matthen2/statu...
タグ：
posted at 18:37:23
Check out "AlgebraicJulia: Applied Category Theory in Julia"
Presented by James Fairbanks at #JuliaCon 2021
www.youtube.com/watch?v=7zr2qn...
#JuliaLang #Opensource #Coding
タグ： Coding JuliaCon JuliaLang Opensource
posted at 19:02:00
@cs_mzrt_shkmndl まだ触り始めたばかりだからそんなにわかってないけど、行列演算をシンプルに記述できるのはありがたすぎ〜
個人的に pythonはインデントでスコープ分けてるのが気に入らなすぎるので、juliaを機械学習で使えたらいいな〜って思ってる
タグ：
posted at 19:38:03
More #julialang style composability is coming to modeling and simulation. See this blog by @ChrisRackauckas: www.stochasticlifestyle.com/modelingtoolki...
タグ： julialang
posted at 20:36:01
今日、Julia v1.6.1がリリースされたんだけど、パッチリリースなのにまたパフォーマンス上がっている気がする。 とある長めのテストが v1.5.4:265秒 -> v1.6.0: 123秒 -> v1.6.1: 90秒。。。これは魔法だろうか。。Julia v1.6.1 has been released - discourse.julialang.org/t/julia-v1-6-1...
タグ：
posted at 20:48:23
#超算数
超算数を煮詰めて濃縮したようなページ
これと、掛け算順序とハジキを教えている小学校教師のツイートを並べると、
教師個人の資質の問題ではなく、算数教育が全般的におかしくなっていることが分かる。 pic.twitter.com/1SaFhnFcY4
タグ： 超算数
posted at 21:48:05
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数
小学校では掛け算の交換法則を教えながら、「掛け算の順序固定」を教えている。
教師は矛盾を感じないらしい
www.shinko-keirin.co.jp/keirinkan/sho/... pic.twitter.com/9hGX17Nl1a
タグ： 超算数
posted at 21:50:51
New post: Some comments on DataFrames 1.0 release - www.juliabloggers.com/some-comments-... #julialang
タグ： julialang
posted at 21:52:01
Had the loveliest time hosting @OfficialLoganK yesterday and learning about how impactful @JuliaLanguage can be in the very first session of @HackOnHackathon yesterday 🥳
Y'all can check out the session recording at bit.ly/hackon2-logan ⚡ pic.twitter.com/J2QErGanrC
タグ：
posted at 22:00:38
@adityaoberai1 @JuliaLanguage @HackOnHackathon It was a blast! Can’t wait to chat again soon. #OpenSource #JuliaLang
タグ： JuliaLang OpenSource
posted at 22:08:58
ドラゴン桜、録画したの今見ている。
センター試験で、タンジェントの加法定理が思い出せない、というシーンがある。
tan(α+β)なんて俺も覚えていないｗ
cos(α+β)とsin(α+β)が分かっていれば出せるだろうに。暗記だからそうなっちゃうんだよ。
と、ドラマなのに突っ込みたくなったｗ
タグ：
posted at 22:52:15
Fermat's Library @fermatslibrary
Clever algorithm to find out whether or not 2 words are anagrams pic.twitter.com/qDYXSzFJ0n
タグ：
posted at 23:05:02
@MoseGiordano Lol I have no idea at all what the donut-shaped 🍩 Julia codes do but it just works😅 pic.twitter.com/ZQ86rannk4
タグ：
posted at 23:19:48
非公開
タグ：
posted at xx:xx:xx
愉しそうだ♬ 此れを例えば #SymPy とかに放り投げたら計算してくれるものやろか。一寸時間があれば試してみたいな。 twitter.com/genkuroki/stat...
タグ： SymPy
posted at 23:46:06
