黒木玄 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月19日(月)
すごいなー。Linuxで動いているヘリコプターが火星を飛んで、そのデータをmatplotlibで解析して飛行を確認したのかぁ。まじでOSS素晴らしいなぁ。夢がある。 www.jiji.com/jc/article?k=2...
タグ：
posted at 23:59:02
以下のリンク先に、科学者が知っておくべきハードウェアを意識したプログラミングに関する解説がある。
biojulia.net/post/hardware/
例がJuliaになっていますが、その内容は普遍的です。
今後もハードウェアを意識したプログラミングをJuliaを使って学ぶ人は増えると思う。
タグ：
posted at 23:53:58
If you are interested in the mechanics of how a rifle operates, then this is an amazingly beautiful 3D animation of a bolt action rifle in action. If you like mechanical mechanisms, it is just fascinating to watch.
www.youtube.com/watch?v=igNcDE...
タグ：
posted at 23:50:53
たぶん、これも「教育」の問題だと思いますが、JuliaでもPythonにおけるappend の代わりがどうしても欲しくてpush!を使いまくる人が実に多い。
最終的にどれだけメモリを確保するか不明の場合にpush!を使うのは普通だが、最終サイズが分かっているなら一挙にその分の配列を確保した方が速い。
タグ：
posted at 23:45:08
#Julia言語 うわ！これはひどいな。
実質的に10⁴回+10⁴回のpush!の速さを測るベンチマークテストをやっていた。
詳しくは↓
gist.github.com/genkuroki/d16c...
PythonからJuliaを使うことに挑戦するのはよいことだと思うので、誰かまともなベンチマークテストをやってみた方がいいかも。 twitter.com/HNTweets/statu...
タグ： Julia言語
posted at 23:37:16
非公開
タグ：
posted at xx:xx:xx
@CaseyKneale Agree. Also R's "vignettes" are pretty great. Like an "examples" folder but much more easily accessible. Wonder what's the best way to get that effect in #julialang
タグ： julialang
posted at 22:16:55
#プログラミング勉強中
#julia言語
#ソリトン
あとの波が先の波を追い越す。
Tow solitons.
The next wave will overtake the previous one and go on.
#soliton
#kdvequations
#julia #julialanguage
#jupyternotebook
#macos #bigsur
#macmini #macminim1 pic.twitter.com/UNa94YfVey
タグ： bigsur julia julialanguage julia言語 jupyternotebook kdvequations macmini macminim1 macos soliton ソリトン プログラミング勉強中
posted at 22:15:18
どうしてK値の中野さんが科学情報・公共政策のトップなの。僕は納得いかん。ていうか、総長が認めても僕は認めないよ |
大阪大学、吹田キャンパスに感染症総合教育研究拠点を設置 univ-journal.jp/90993/
タグ：
posted at 22:06:15
社会構造は、「失敗」の主語が「担当してた〇〇さん」になっちゃう時点で、かなりマズイのでは。十分に教育しないまま担当させてコケるまで放置した上にリスクヘッジもしてなかった、組織側の管理の失敗だろうに。
それができた上での経験を積ませるための失敗なら、そもそも責任問題にならない。 twitter.com/takoratta/stat...
タグ：
posted at 21:28:25
プログラミング云々と無関係に、試行錯誤の結果として
* 問題を記述し切る情報は何か
* 解法を記述し切る情報は何か
を明瞭にすることはいつでも基本的です。
この辺はプログラミング云々よりもずっと普遍的に重要。
タグ：
posted at 21:22:04
数値計算界隈ではJuliaの方が推されている印象があるので、Pythonばかりではなくそちらもやらないとですね...
C++の実装がひと段落ついたらJuliaに移植するのも面白そう。
タグ：
posted at 21:22:00
黒ラブ教授（科学コミュニケーター、理系文 @kurorabukyouzyu
シュレーディンガーの皿(笑) twitter.com/orgphysics/sta...
タグ：
posted at 21:21:49
❌グローバル変数に複数の函数で使う共通のパラメータを入れておく。
❌そのようなグローバル変数の設定を変えて繰り返し実行する。
という悪しきワークフローの教育はそろそろやめて、
⭕️problem, algorithm, and solver パターンによる設計
を普及させるべき。
タグ：
posted at 21:15:54
Strong implicit assumption here that "proper data science" means Python.
With the massive resources put toward Python, how is this still such a problem? R seems to have it figured out. And Julia is much newer, but I never hear of people having this kind of trouble. twitter.com/chr1sa/status/...
タグ：
posted at 20:47:14
#Julia言語
using Parameters
@ with_kw struct Prob{S,T}
s3o6::S=sqrt(3)/6
a::T=[1/4 1/4-s3o6; 1/4+s3o6 1/4]
b::T=[1/2,1/2]
c::T=[1/2-s3o6,1/2+s3o6]
end
prob = Prob()
として、f(prob)内で
@ unpack a, c = prob
と使う手がある。
discourse.julialang.org/t/julia-is-eig...
タグ： Julia言語
posted at 20:46:20
#Julia言語 のコミュニティで定期的に報告される「Julia言語は○○言語より○○倍遅い」というベンチマークテストの多くが、「グローバル変数を複数の函数内で使う共通のパラメータとして使っていること」に起因している。
ほとんど恒例行事。最近の事例↓
discourse.julialang.org/t/julia-is-eig...
タグ： Julia言語
posted at 20:37:55
#Julia言語
「具体型が不定になるグローバル変数を複数の函数内で使う共通のパラメータとして使わないこと」の徹底は重要。
具体型が不定になるグローバル変数を函数内で使うことはJuliaで計算を遅くする最も容易な方法。
cf. docs.julialang.org/en/v1/manual/p...
problem and solver pattern を使うべき。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 20:24:33
#Julia言語
函数の定義がされている場所は
@ which sum(1:3)
でわかる。コード自体を見たければ
using CodeTracking, Revise
e = @ code_expr sum(1:3)
または
using CodeTracking, Revise
s = @ code_string sum(1:3)
print(s)
を実行する。これ便利！
github.com/timholy/CodeTr... pic.twitter.com/KhqFD5doyZ
タグ： Julia言語
posted at 19:29:03
それを書いてるのが次の論文→
Blanco, M. M., & Patek, S. N. (2014). Muscle trade‐offs in a power‐amplified prey capture system. Evolution, 68(5), 1399-1414.
onlinelibrary.wiley.com/doi/full/10.11...
タグ：
posted at 19:28:46
補足。一般に筋肉にはスピードとフォースのトレードオフがあります。シャコの場合、逆説的ですが強いばねを圧縮するためにフォースフルな〈遅筋〉が特にスピードの速いスマッシャーシャコで使われています。スピアラーでは比較的運動が遅いが比較的〈速筋〉。 twitter.com/japanfossil/st...
タグ：
posted at 19:25:02
@takusansu @nazomizusouti 少し前の投稿ですが、観音寺東ロータリークラブはfacebookでもEM菌の投稿をしています。
www.facebook.com/kanonji.east.r...
タグ：
posted at 18:23:23
juliaの設定で、~/.julia/config/startup.jlのファイルを実行時のはじめに必ず実行してくれるの、図の描画設定とかを統一するのにすごい便利
タグ：
posted at 18:08:19
#数楽 訂正。問題が間違っていた。文字数制限の圧力に負けた。以下に訂正する。
問題：u(t) = ∫_0^t √t sin t dt のとき、n=0,1,2,...について
u(nπ) = (-1)ⁿ⁻¹√(nπ) + √(π/2)/2 + o(1) as n →∞
となることを示せ。
グラフを見るとぴったり一致しているように見えるが一致はしていない。 twitter.com/genkuroki/stat... pic.twitter.com/MbTSYKSn1I
タグ： 数楽
posted at 18:02:07
反原発の人たちは、子供に赤い点を打ったイラストを描いたりして、怖がらせる方向への印象操作をさんざんやってきたくせに、復興庁のイラストのことを印象操作をするなと非難するのは、ダブルスタンダードだと思う。
タグ：
posted at 17:41:10
#数楽 上の問題のヒント
上の u(t) は知られている特殊函数で書けるので、特殊函数の漸近挙動に関する結果を使えば、問題の結果(以上のこと)を証明可能だと思います。
解けたら答え(証明)を教えて下さい。😊
www.wolframalpha.com/input/?i=%E2%8... pic.twitter.com/weQb8XoD3q
タグ： 数楽
posted at 17:34:48
#Julia言語 #数楽
添付画像
u(t) = ∫_0^t √t sin t dt
① ±√t との比較。定数差バイアスが存在するように見える。
② ±√t + √(π/2)/2 との比較。その定数は √(π/2)/2 のようだ。
問題：|u(nπ)| = √(nπ) + √(π/2)/2 + o(1) as n → ∞ (n=1,2,3,...) を示せ。 pic.twitter.com/9FLUzjOUoa
posted at 17:26:51
#Julia言語 #数楽 このスレッドのトップのリンク先の
u(t) = ∫_0^t √t sin t dt
は不完全Γ函数で書けて、そのグラフは u = ±√t + √(π/2)/2 のグラフ(t = (u - √(π/2)/2)² のグラフ)と比較すると良さそうです。
問題：√(π/2)/2 の正しさを示せ。
Pluto notebook
gist.github.com/genkuroki/bebc... twitter.com/tkt_yamamoto/s... pic.twitter.com/muVxfLxA1J
posted at 17:18:35
@nazomizusouti @breathingpower 観音寺東ロータリークラブをざっとチェックしてみました。
9219.teacup.com/nisekagaku/bbs...
会長である為広員史氏は、三豊市議会議長も務めているようです。
タグ：
posted at 17:12:43
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
よし♬ #Julia で遊ぶ為に #Pluto 迄は辿り着いた♬ #窓本 君は兎も角よう辿り着けたよ。謎の防火壁仕様やのに。 www.instagram.com/p/CN1le-PJW1c/...
posted at 15:20:56
職場の窓本に #Julia 入れてみた。折角やしと幾つかパッケージも入れてたら此の始末。Imagesというパッケージをaddする途中で此処で止まってた... 何やろ。仕方ないしコマンドプロンプトを落としてみるしか無いのやろか？何やろ。 pic.twitter.com/tmbC1Y2hhC
タグ： Julia
posted at 14:48:51
GeForce RTX 3080を購入しておいて良かった…。CUDAが動かないのは致命的。
「大量生産版GeForce RTX 3080 Tiでは問題のマイニング制限解除仕様のドライバ―470.05 Beta driverを使用してもCUDAもETHも動かない」
GeForce RTX 3080 Tiの話とマイニング制限の話 northwood.blog.fc2.com/blog-entry-108...
タグ：
posted at 12:50:21
詳説ありがたいです。どうして変異株が感染者の多い国で生まれているのか。伝播する機会は変異のチャンスであり確率が高くなるからと考えられます。感染者増は流行の遷延リスクを高めることに繋がるのです。
president.jp/articles/-/452...
タグ：
posted at 12:37:47
Maplesoft Japan @Maplesoft_Japan
無料の Maple Calculator は、3D グラフも描くことができます。
グラフを動かしたり、ズームをしたりもできます😎
今すぐ使ってみませんか？🥳
jp.maplesoft.com/products/maple...
#数学 #数楽 #数学教えて #物理教えて #数式処理 pic.twitter.com/uOfjSVM4xM
posted at 12:00:00
まだ公式リンクがないので黙っていたんですが「理論疫学者・西浦博の挑戦 新型コロナからいのちを守れ！」（西浦博 川端裕人 中央公論新社）が、科学ジャーナリスト賞2021に選ばれました。これを機に未読の方はぜひ！ 「第一波」のことですが、専門家が何をしていたのか立体的に理解できるかと。 twitter.com/nishiurah/stat... pic.twitter.com/ZsrKR5lxTO
タグ：
posted at 11:53:47
@breathingpower ・投入されたのは香川県三豊市立の小学校
・投入したロータリークラブの会長が三豊市議会議員？
・三豊市ではゴミ減量モデル事業でEMを使用
・EM議連の大臣の出身が香川県
このあたり繋がるのかな？
タグ：
posted at 11:35:55
プログラミング言語が栄枯衰退を繰り返す本質的な動機だ
またまたまがる: どうして Julia を作ったか hi-masai.blogspot.com/2021/04/julia....
タグ：
posted at 11:25:05
@breathingpower 観音寺東ロータリークラブが各地の小学校に投入しているようですね。
この学校には2018年にも投入。
上高野小学校には2014, 2016年と投入。
タグ：
posted at 11:24:23
できましたできました人間にもこんなことできました
#julialang でできました！
ImagesとPlots使ってできました。
調べるのにずいぶん時間かけてしまったけれど、できてみればすごく簡単なコードでびっくり。 pic.twitter.com/igmuzof2Vy
タグ： julialang
posted at 10:56:39
Compreendendo e aplicando GtkSpinner com Julia.
É bem tranquilo:
start(spinner::GtkSpinner)
stop(spinner::GtkSpinner)
#gtk #julialang pic.twitter.com/wNijL87wIa
posted at 10:52:21
@AnimalsWorId I think it's been determined that a kitty is a liquid and a solid.😸 pic.twitter.com/8pQzSrKisY
タグ：
posted at 10:20:57
校長室発行の学校通信でEM菌のプール投入報告ですか。子どもたちにニセ科学を教えることの弊害を校長先生に考えてほしい。 / “Microsoft Word - 2021å�¦æ€¡ã†€ã‡‹ã‡−No,ï¼™.docx” htn.to/2cayby4j2Q
タグ：
posted at 10:01:16
#Julia言語 グラフを作り直した。
① du/dt = √t sin(t)
② du/dt = u(1 - u), 0 < u < 1 (logistic equation)
Pluto notebook
(JuliaのPlutoの画面でURLを貼り付ければ使える)
gist.github.com/genkuroki/bebc... pic.twitter.com/uEIU77Wm8d
タグ： Julia言語
posted at 09:56:42
非公開
タグ：
posted at xx:xx:xx
@genkuroki Hi! Some of the colors are partially transparent in the PNG, so it can change based on the background.
タグ：
posted at 08:33:40
@tsatie #Julia言語 Juliaで多項式環を扱う方法は沢山あります。
係数として主に浮動小数点数を使い、多項式の浮動小数点数の函数としての評価が超絶速いパッケージもある。非多項式函数を多項式函数による近似で数値計算するために使える。
github.com/JuliaMath/Poly...
他にも沢山あります。
タグ： Julia言語
posted at 07:29:27
「Julia言語で入門するプログラミング」という記事を書いています。プログラミングの入門としてJuliaは最適だと思ったからです。
muuumin.net/julia%E8%A8%80... twitter.com/muuumin20/stat...
タグ：
posted at 07:28:19
@twinklepoker @OTOKUEMON A 1時間に4km進むなら3時間で何km進むか？
B 1人に4個配るなら、3人いたら何個必要か？
C 算数の計算問題を1分間に4問解くなら、3分間で何問解くことになるか？
D リボンを1人当たり4m配る。3人に配るにはリボンは何m必要か？
これは4つとも互いに似た問題ではない、という認識でしょうか？
タグ：
posted at 07:09:43
twitter.com/OTOKUEMON/stat...
「あなたは算数・数学を理解していないので、教師として算数を教える資格はありません」
「酷い」
「どこが酷いのですか？」
「資格を与えるのは都道府県教委です」
なんというか・・・
タグ：
posted at 06:50:46
Robert Geller; ロバート・ @rjgeller
これまで１ヶ月のアメリカの銃乱射事件。本当に規制を強化できないのか？
H/T @joshscampbell pic.twitter.com/dP5ycos6sR
タグ：
posted at 05:49:27
Julia1.6でも1.5の時と同じようにCSVファイルを扱えます。
ブログもJulia1.6で実際にパッケージインストールや実行をしたようすに更新しています。programing.style/archives/524
#julialang #csv
posted at 04:25:15
CUDAやOpenCLが無いマシンのほうが圧倒的に多いのだからOpenGLで機械学習をやってみたとの研究。Pythonをshaderに自動で落とすというのが面白い。結果もこの方々が行った最適化を含めるとOpenCLよりも何倍も速いケースも見られたとの話 twitter.com/lobsters/statu...
タグ：
posted at 01:03:08
この主張に従うなら受験勉強だけして合格したら入学金払わずドロップアウトするのが最も合理的ということになります。「この人やこの人に賛同する人たちはなぜそうしないのか」をよく考えてみよう。そこにある種のごまかしがあるんだね。ルサンチマンに基づく主張は常に何かをごまかすことになるのです
タグ：
posted at 01:01:01
ごまふあざらし(GomahuAzaras @MathSorcerer
単純なテキスト出力ならすぐできそうなきがした．
Plot オブジェクトの出力は Literate.jl を弄って plot オブジェクトを
の形で出力させればできそう．
タグ：
posted at 00:48:34
ごまふあざらし(GomahuAzaras @MathSorcerer
1. Literate.jl を使って Julia のコードを出力付き markdown に変換する.
2. GitHub からの Zenn への連携.
3. 変換結果を push
4. デプロイ！
っていう夢を見た．
タグ：
posted at 00:48:34
「なぜ受験勉強をしなければいけないか」橋下徹が出した納得の理由(プレジデントオンライン)
news.yahoo.co.jp/articles/e44e8... 大学教育に対する強烈なルサンチマンがこれほど見事に現れたコメントにはそうそうお目にかかれない。ある意味すごい。この人早稲田で何かあったんやろか…
タグ：
posted at 00:21:45
Using OpenGL instead of CUDA for machine learning
via @lix
lobste.rs/s/e8jvp7 #ai
phisiart.github.io/418-proj/
タグ： ai
posted at 00:10:15
