黒木玄 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年09月03日(木)
2015年の研究結果：5,132人の習慣を16年間にわたって追跡調査した結果、長時間座る生活を続けたとしても、必ずしも寿命が縮むとは言えない（さらに、スタンディングデスクはあまり役に立たないらしい）という研究結果が発表された。 （アーカイブ記事）bit.ly/2nEfWuh
タグ：
posted at 00:00:40
ごまふあざらし(GomahuAzaras @MathSorcerer
LaTeXString の出力がこうなって欲しいのに・・・ pic.twitter.com/fVvRINAfX3
タグ：
posted at 00:17:24
ごまふあざらし(GomahuAzaras @MathSorcerer
このテクニックよく出てきますよね． twitter.com/genkuroki/stat...
タグ：
posted at 00:18:07
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語
このノートブックを作る過程で
Module import: func
の必要性を理解した
タグ： Julia言語
posted at 00:21:06
ごまふあざらし(GomahuAzaras @MathSorcerer
ModelingToolkit を利用したのは単にシンボリックな記号を生成するのに用いてFluxは単に微分計算をしたかっただけです．
タグ：
posted at 00:29:58
岩上って人が何者かは存じ上げないけど、ひどい話を拡散した１人なんでしょうね。甲状腺がんにしろ、先天性異常にしろ未だに信じ切っている人が一定数いることを考えると罪深いです。 twitter.com/kikumaco/statu...
タグ：
posted at 00:32:47
#Julia言語
nbviewer.jupyter.org/gist/terasakis...
ならば添付画像のように綺麗に表示されます。 twitter.com/mathsorcerer/s... pic.twitter.com/fDfmVuYjcb
タグ： Julia言語
posted at 00:42:09
@thomas_neitmann Julia would be eager too, but normally written as
a || println("Foo")
or in macro form
macro andor(a, op, b)
if op == :or
:($a || $b)
elseif op == :and
:($a && $b)
else
println("$op not supported by
@andor
")
end
end
#julialang pic.twitter.com/uLeATGYYka
タグ： julialang
posted at 01:27:22
Check out the first lecture for MIT's brand-new course on computational thinking, co-taught by YouTuber Grant Sanderson @3blue1brown: bit.ly/CompThinkVid
Course info: bit.ly/CompThinkCourse
@MITMath #JuliaLang #WednesdayWisdom pic.twitter.com/aCDS6KW873
posted at 02:58:00
JuliaTeam and JuliaRun can help your organization leverage Julia's superior speed, #performance and syntax. This improves #productivity and reduces cost and time to market. Watch this video juliacomputing.com/resources/webi...
#ML #AI #Julialang #datascience #scaling pic.twitter.com/yuStS7kXFI
タグ： AI datascience Julialang ML performance productivity scaling
posted at 04:43:43
非公開
タグ：
posted at xx:xx:xx
I’ve just been reading about this Physics puzzle from the ’60s. Quite baffling at first, if you haven’t seen it before!
Why, when the tube is inverted, is there a delay before the hourglass begins to rise? pic.twitter.com/L7zmhiEMUM
タグ：
posted at 05:36:02
Piet Hein convinced himself that the impact of the sand on the bottom of the hourglass created a downward force that kept it from rising – until he saw a version with two hourglasses, one rising and one falling. pic.twitter.com/ERiiEqbZcs
タグ：
posted at 05:45:55
Still, he found it hard to let go of his pet theory.
He wrote to Martin Gardner: “My theory works, with the exception that the sand was running downwards in both hourglasses, I must admit, …
タグ：
posted at 05:52:47
but it would be easier to explain the symmetry of the phenomenon if it were falling upward in one of them.”
“I am glad you think my explanation is beautiful. So do I, but let us be honest and not rate it any lower just because it is false.”
タグ：
posted at 05:52:47
“I admit, being false makes it less right. But it does not make it less beautiful.”
タグ：
posted at 05:53:11
Walter P. Reid went so far as to write a short article in the American Journal of Physics debunking Hein’s impact theory. pic.twitter.com/4uBcgm9SMP
タグ：
posted at 06:00:43
The whole story is told in Scot Morris’s article _Beautiful But Wrong: The Floating Hourglass Puzzle_, in the book _The Mathemagician and Pied Puzzler_ (1999).
タグ：
posted at 06:07:07
@sekibunnteisuu @temmusu_n @sekai_tankyu @hgn_no_otaku アメリカに行って「13のどこをteenと読みますか？」とか、フランスに行って「80のどこをvingtsと読みますか？」とかやってきてバカにされてほしいです。
タグ：
posted at 07:23:25
@miyuki_MathT 少なくとも，学習指導要領にはない言葉だね「比の値」．
学習指導要領解説には6年で用語と共に示されている．
余計なことをしてくれるよな．
タグ：
posted at 08:10:48
他の言語を引き合いに出して「○○のような速度、□□のような読みやすさ、」って利点を列挙して最後に「言語の名前はJulia。」みたいなことを言ってた気がする かっこいいね
タグ：
posted at 09:34:20
娘（4歳）が「ていねいな言葉で話したい！」と言い出したので「それではなんのお話をいたします？」と返したら「恐竜の話がしたいですわ！ ティラノサウルスはけものりゅうで、どうもうなハンターですのよ！」とはじまってしまい、謎の古生物お嬢様が爆誕してしまった。
タグ：
posted at 09:59:54
娘の推しダイナソーはティラノサウルスらしく、どこが好きなのか聞いたら「他の恐竜を食べるところ...つよい...」とうっとりしており、なんというか、娘らしいなぁと思いました。
タグ：
posted at 10:04:27
Did a small test of using #JuliaLang in #Blender3d (through PyJulia). Result for an unoptimized Catmull-Clark implementation on the Stanford Bunny: 9x faster than the builtin subsurf modifier...👀
If only I could get used to the 1-based indexing🙃
Code at github.com/paulmelis/blen... pic.twitter.com/VcdnIyPqzM
posted at 11:20:34
非公開
タグ：
posted at xx:xx:xx
@AriKatz20 @redrapids @jeremyphoward @essenciary Make sure to click on keno.github.io/julia-wasm/web... and see how much of #julialang works natively in the browser by compiling to wasm. :-)
タグ： julialang
posted at 11:59:58
ごまふあざらし(GomahuAzaras @MathSorcerer
格子状のグラフ（Vertex と Edge の方）を書きたい
さくっとJuliaでできるかな？また調べよう．
タグ：
posted at 12:02:01
ごまふあざらし(GomahuAzaras @MathSorcerer
Binder でベースイメージをビルドする際に PackageCompiler のビルドができなくなったな Julia 1.4 系でも起きるのでBinder側の環境（メモリが足りない？）が変わってからだと思う
タグ：
posted at 12:04:03
Computational thinking | MIT 18.S191 Fall 2020 www.youtube.com/playlist?list=... via @YouTube
#JuliaLang #DataScience #MachineLearning #Mathematics #DataVisualization #notebook #Jupyter
タグ： DataScience DataVisualization JuliaLang Jupyter MachineLearning Mathematics notebook
posted at 12:05:41
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
yflip=true するとよくわからん pic.twitter.com/Fz4a6VfkWP
タグ：
posted at 13:36:36
@PMel3D github.com/simonster/TwoB...
Julia is pretty incredible. Although you don't have 0 based indexing by default. I am sure one can be written to type-pirate all arrays code to make it 0-based. But no one would want that.
In the meantime enjoy Two-based Indexing!
タグ：
posted at 13:41:07
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
てか、研究のためなら手計算だろうが機械学習だろうが量子コンピュータだろうがなんでも使えるなら使うんだったわ
タグ：
posted at 13:51:38
このemacs用のjulia-repl, Mac上だと完璧に動いて大変便利だけど，Windows上のemacsだと動かない（そのことはReadmeの末尾に注がある）．
github.com/tpapp/julia-repl twitter.com/iwaokimura/sta...
タグ：
posted at 14:53:53
#Julia言語 コメント
T<:AbstractFloatについて
f(x::Vector{T})
g(x::AbstractVector{T})
h(x)
を sin(sum(x)) で定義すると、不動小数点数のベクトルxでのコンパイル結果は同じになります。
続く
Juliaでのジェネリクス的な関数の書き方(Parametric Methods) qiita.com//honey32/items... #Qiita pic.twitter.com/OKWV9mFOGV
posted at 14:58:44
#Julia言語 スクショのソースコードは
nbviewer.jupyter.org/gist/genkuroki...
にあります。スクショのコードを手で打ち込ませる行為はできるだけ避けたい。(数行までなら問題ないと思う。)
f(x::Vector) は g(::AbstractVector) や h(x) と違って、Vector型とは異なるベクトルのようなもの達に適用できない。続く pic.twitter.com/C2NCq2qtmU
タグ： Julia言語
posted at 15:02:16
#Julia言語 Vectorではないベクトルのようなもの達全体で使える函数が欲しい場合には f(x::Vector) や f(x::Vector{T}) where T のような形式で函数を定義してはいけません。
そのように定義しても、コンパイル結果のネイティブコードは引数の型を指定しなかった場合と変わらない。 pic.twitter.com/WW3hOjzYzT
タグ： Julia言語
posted at 15:05:19
#Julia言語 さらに、f(x::Vector) だけではなく、 g(x::AbstractVector) も Generator 達には適用できません。 pic.twitter.com/w5rThhPE0P
タグ： Julia言語
posted at 15:09:07
#Julia言語 multiple dispatchについては
www.juliaopt.org/meetings/santi...
The Unreasonable Effectiveness of Multiple Dispatch
Stefan Karpinski
2019
youtu.be/kc9HwsxE1OY
JuliaCon 2019
The Unreasonable Effectiveness of Multiple Dispatch
Stefan Karpinski
を参照。
タグ： Julia言語
posted at 15:50:42
#JuliaLang
keno.github.io/julia-wasm/web...
Julia runs in iPad browser!
1 line function of MCMC calculation of pi twitter.com/viral_b_shah/s... pic.twitter.com/UbQR52aV3F
タグ： JuliaLang
posted at 16:14:47
ごまふあざらし(GomahuAzaras @MathSorcerer
Dash.jl でヒートマップを描画しようと思ったら
JSON２のバグか仕様かなんかの闇にぶち当たった
#Julia言語
タグ： Julia言語
posted at 16:24:56
#JuliaLang in iPad browser
1 line random walk
keno.github.io/julia-wasm/web... pic.twitter.com/QbZ5eBN770
タグ： JuliaLang
posted at 16:36:17
非公開
タグ：
posted at xx:xx:xx
一律給付金がナイスだったのは、どんだけ市場にカネを供給したところで給与が上がらず、IMF にまで賃金上昇とか言われてる情けない事態に陥ってた状況に政府が国民に直接カネを渡すという決断ができたところがナイスだったわけでな
給付金おかわりは急務ですよ
タグ：
posted at 16:49:50
ごまふあざらし(GomahuAzaras @MathSorcerer
Abstract interpretation is 何？
#Julia言語
タグ： Julia言語
posted at 17:14:11
【拡散希望】#拡散希望
数学の教員・講師の皆さんへ
学校（大学を除く）・塾・予備校などで、微積分を教えることがある人に質問です。
式(a)をどう解釈しますか？
下のツイートに続く pic.twitter.com/OZC8bGkrKT
タグ：
posted at 17:14:49
上のツイートの続き
【拡散希望】#拡散希望
数学の教員・講師の皆さんへ
学校（大学を除く）・塾・予備校などで、微積分を教えることがある人に質問です。
※ 閲覧のみの投票はありません。結果が出るまでお待ちください。
タグ：
posted at 17:17:42
@genkuroki #Julia 言語の本あった。
だけど linux 系では #kindle が使えないのかな？
読めなーい。ローカルで動くアプリ
linux で kindle local application って無いかな？
www.amazon.co.jp/dp/B07XTRY8V3?...
@genkuroki
posted at 17:21:15
#JuliaLang in Windows bowser
Mandelbrot set
Source code:
gist.github.com/genkuroki/867b...
keno.github.io/julia-wasm/web... pic.twitter.com/aXYiKxt6zp
タグ： JuliaLang
posted at 17:24:18
この手のことはしばしばニュースになるが、どうにも釈然としないことがある。
この教育長の発言は問題だと思うよ。
でもこれは、最大限悪意に解釈して「戦争への期待・願望」だよね。
タグ：
posted at 17:29:53
小泉純一郎は、実際に戦争したんだよ。
アフガン戦争では、自衛隊を派遣して米軍によるアフガン民衆への爆撃を支援した。
イラク戦争でも米国を真っ先に支持し、イラク攻撃の後押しを行った。
戦争への願望・期待の比じゃないよ。実際、戦争をやったんだから。
タグ：
posted at 17:31:19
A 「人を殺したい」と殺人願望を公言する
B 人を殺す
Bの方が圧倒的に悪質である。にもかかわらず、戦争に関しては、現実に戦争を行うことよりも、発言の方が激しく非難されることがある。
実に不可解。
タグ：
posted at 17:32:53
@skysonic39 研究のトレーサビリティというか、再現性が確保できるのが良いなと思いました。MATLABライブエディタ、知りませんでしたが同様に良さそうですね！こちらはPythonとJuliaを主に使っているので、同じ環境で作業できるJupyterが良い選択肢になっています。
タグ：
posted at 17:43:01
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語 wakalang
(GeometryBasics.jl) pic.twitter.com/2UAXHZzi2x
タグ： Julia言語
posted at 18:12:38
#Julia言語
\approx TAB → ≈
はよく使う。< や ≤ で大小関係を測るとバグが生じてしまう場合がある(例：離散分布でのP値の計算)。
nbviewer.jupyter.org/gist/genkuroki... twitter.com/ynhrt1250/stat... pic.twitter.com/M4mopNM3L0
タグ： Julia言語
posted at 18:26:10
#Julia言語
A[:, j] とか v[2:end-1] のように配列の一部分を参照する場合(右辺で使う場合)には「ほぼ常に使う」感じだと思います。
@ view や @ views をつけないと、A[:, j] とか v[2:end-1] でメモリ割当が発生してしまう。 twitter.com/whozawhat_you/...
タグ： Julia言語
posted at 18:28:57
どんな基準で真になるんだろう、と思って調べると、桁数で半分くらいが一致すれば真になるのか
docs.julialang.org/en/v1/base/mat...
IEEE 754 double なら、10進で 15〜16桁だから、半分の8桁くらいが一致すればいいのだろう twitter.com/genkuroki/stat...
タグ：
posted at 18:47:41
数学セミナーを活かしたい欲とJulia書きたい気持ちと日常の鬱屈とがいい感じに混ざって発酵した結果、Julia使ってライフゲーム実装するやつがやりたくなってきた。なってきたんです。わかりますか？わかってください。
タグ：
posted at 18:56:18
UnionAll タイプを指定するということかしら？ 初めて見た。
```julia
isa(AbstractVector, Type{AbstractArray{<:Any,N}} where N)
!isa(AbstractVector, Type{AbstractArray{T,<:Any}} where T)
``` twitter.com/MathSorcerer/s...
タグ：
posted at 19:01:25
VoxEUアブストラクト「経済研究に最良のプログラミング言語はどれか：Juliaか，Matlabか，Pythonか，Rか」
voxeu.org/article/which-...
タグ：
posted at 19:37:31
知り合いのマジシャンが百均のマジックを買ってきて「これは面白い」とか言いながらさらに加工して新しいマジックを生み出したりしてたからな。彼らの賢さとかひらめきとかはちょっと真似できんと思った。
タグ：
posted at 20:36:23
ごまふあざらし(GomahuAzaras @MathSorcerer
github.com/JuliaLang/juli...
Title 面白くないですか？
タグ：
posted at 20:43:14
@eco_tetsu @miyuki_MathT 比が等しいことの定義を、比の値が等しいとしておくと、教えやすいと言うことだと思います。
2:3と4:6が等しいって、比の意味を理解していれば「当たり前」と思えるはずなんだけど、
それを教えることができなくて「比の値」に頼るのだと思います。
タグ：
posted at 20:56:03
@tsatie #Julia言語 Life Game 改良版
文字列で初期配置を入力できるようにしました。
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/F7o1xKNTFJ
タグ： Julia言語
posted at 21:00:26
@tsatie #Julia言語 Life Game
グライダーガン
周期境界条件なので自分を撃っていることになる(笑)
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/S7gkYof62s
タグ： Julia言語
posted at 21:01:35
ごまふあざらし(GomahuAzaras @MathSorcerer
ラズベリーパイゼロで実行
g1
0.650674 seconds (110.01 k allocations: 4.425 MiB)
g2
0.005870 seconds (1 allocation: 48 bytes)
皆さんの計算機だとそんなに違いは出ないと思います．
タグ：
posted at 21:07:52
#Today in 2002, a strange object designated J002E3 was discovered. It was in a temporary orbit around the Earth. It turned out to be an Apollo 12 rocket stage launched in 1969 that had returned buff.ly/2NIA6yu pic.twitter.com/eaYs8hKiAA
タグ： Today
posted at 21:13:48
juliaの新技見つけた！
julia> °=deg2rad(1)
0.017453292519943295
julia> 180°
3.141592653589793
タグ：
posted at 22:16:10
@swairshah @jeremyphoward @Viral_B_Shah @AriKatz20 @redrapids @essenciary Just waiting for wasm to become slightly more mature before putting effort into cleaning this up. Unfortunately, it has a tendency to trip the wasm JITs at the moment and just crash the browsers. Will revisit in a few months.
タグ：
posted at 22:35:30
@swairshah @jeremyphoward @Viral_B_Shah @AriKatz20 @redrapids @essenciary Unfortunately I only have two hands and one brain. ;)
タグ：
posted at 22:37:40
#3blue1brown のGrant Sandersonさんによる #Julia言語 を使った科学計算の授業が公開されています。MITの授業ということで、第一回目はPluto.jl上で画像処理が扱われています。自分の好きな3blue1brownとJuliaが共演するなんて嬉しいなあ。 twitter.com/3blue1brown/st...
タグ： 3blue1brown Julia言語
posted at 23:16:29
@physics_cats @genkuroki はじきを喜ぶ人たちに「加速度をその図に入れろ」と言われると「小学校でやらない内容だから知らん」という答えが返ってきますよ。
タグ：
posted at 23:38:30
