黒木玄 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月02日(水)
ほりたみゅ (mastodonも見てね) @Hyrodium
コピー&ペーストの両方に対応できるようになった(Linuxのみ)
github.com/hyrodium/Image...
タグ：
posted at 23:43:20
ほりたみゅ (mastodonも見てね) @Hyrodium
GitHub Actionsでxclipのテスト通らなくて困っています
github.com/hyrodium/Image...
タグ：
posted at 23:41:12
非公開
タグ：
posted at xx:xx:xx
「接種しないつもり」と答えた人の、「重視する情報源」として挙げられているFacebookの群を抜いた存在感。
凄まじいなこれ。 twitter.com/ztkszero/statu... pic.twitter.com/FM09REYKVy
タグ：
posted at 23:34:17
宮原篤 6th「小児科医ママとパパのやさ @atsushimiyahara
震えている尾身先生を描く漫画をもてはやす人たちは、この記事に何を思うか？
五輪「何のためにやるか明らかでない」 尾身氏、政府に説明求める(毎日新聞)
#Yahooニュース
news.yahoo.co.jp/articles/177fa...
タグ： Yahooニュース
posted at 23:27:39
現代では、「#Julia言語 の線形代数の実装のためにファンデルヴェルデンの教科書が参照された」というちょっと面白い話題もある。
ファンデルヴェルデンの教科書には非可換環上の線形代数について書いてあるが、Juliaの数値線形代数も非可換環対応になっている！
www.slideshare.net/acidflask/desi... twitter.com/ron1827/status... pic.twitter.com/gL9xHQnaF9
タグ：
posted at 23:07:44
@SchiRobo @Sunset_Yuhi #Julia言語 私は「有限要素法」のような考え方をせずに質点がバネで繋がっている系に外力 -f が働いているときの釣り合いの条件を考えました。
ノイマン境界条件をバネと質点の系で解釈するかが問題になるのですが、右端の質点の質量だけを2にして残りの質点の質量を1にする流儀を採用しました。
タグ： Julia言語
posted at 22:59:26
@dAvE0_F #Julia言語
a = (1:3) .- (1:3)'
Juliaでは 1:3 の類もAbstractVectorなので、ベクトルへの演算が全て適用できます。(1:3)' は縦ベクトル 1:3 の転置で横ベクトルになる。 pic.twitter.com/V8FHkzsn6T
タグ： Julia言語
posted at 22:51:28
Soraさんが割合がらみの算数教育が悲惨なことになっていることを連日ツイートして心強い。
Soraさんが指摘しているのと同じ問題に気付いている人達は本当はたくさんいるはず。
教科書が酷いことになっている。
まずは「悲惨なことになっている」という認識を社会で共有することが必要。 #超算数 twitter.com/musorami/statu...
タグ： 超算数
posted at 22:42:45
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
高校生の頃，市立図書館で初めて手にした大学以上の数学書はvan der Waerdenだった．ノートが残ってたけど，群の定義が何もわからないまま書き写してあった．今のぼくなら「いい本です」って言うけどさ，初心者以前の高校生が一人で読む本じゃなかったなぁ．
タグ：
posted at 22:34:29
非公開
タグ：
posted at xx:xx:xx
@SchiRobo @Sunset_Yuhi #Julia言語 1次元の離散ラプラシアンと境界条件の関係については
nbviewer.jupyter.org/github/genkuro...
というノートがあります。
タグ： Julia言語
posted at 22:31:44
@SchiRobo @Sunset_Yuhi #Julia言語 私もやってみました。
github.com/genkuroki/publ...
説明抜きの天下り的なコードでごめんなさい。
左端がDirichlet、右端がNeumannの境界条件の1次元離散ラプラシアンはB型(またはC型)のCartan行列になっているようです。
u''(x) = sin(x), u(0)=α, u(2π)=β も扱っています(添付画像③) pic.twitter.com/8O6eTKwlNW
タグ： Julia言語
posted at 22:29:47
非公開
タグ：
posted at xx:xx:xx
julia> a = [1, 2, 3]
3-element Array{Int64,1}:
1
2
3
julia> a .- reshape(a, 1, 3)
3×3 Array{Int64,2}:
0 -1 -2
1 0 -1
2 1 0
が一番エレガント?
タグ：
posted at 22:07:14
非公開
タグ：
posted at xx:xx:xx
Pythonでの
>>> a = np.array([1, 2, 3])
>>> a[:, None] - a
array([[ 0, -1, -2],
[ 1, 0, -1],
[ 2, 1, 0]])
はjuliaでどうすればいいのか。
タグ：
posted at 22:00:56
📱電子版あり〼コロナ社
1から始める Juliaプログラミング
www.coronasha.co.jp/np/isbn/978433...
🔗電子版もございます
・VarsityWave eBooks
coop-ebook.jp/asp/ShowSeries... pic.twitter.com/WcXxPGEpKx
タグ：
posted at 22:00:34
非公開
タグ：
posted at xx:xx:xx
今日は, さっきrtした黒木さんのtweetを参考にしつつ, @ threadsを使っていた.
前回5日くらいかかった計算が, 1--2日程度で終わる見込みになった.
vscodeの場合は, 拡張機能の設定をいじるだけ.
#julialang pic.twitter.com/sjHgy6rNKu
タグ： julialang
posted at 19:43:01
ごまふあざらし(GomahuAzaras @MathSorcerer
淡々と #Julia言語 での開発基盤整えてるので来世は良い生活ができると期待しています．
タグ： Julia言語
posted at 19:39:22
#Julia言語
JuliaをPythonのようなものだと誤解している大学教授は多いかも。
fortran-lang.discourse.group/t/simple-summa...
引用【Julia seems about 2x faster than nvfortran】
0.217 sec ← nvfortran
0.0965 sec ← Julia LoopVectorization.jl twitter.com/ha0ya6bu1sa3/s... pic.twitter.com/hX6Pe7al38
タグ： Julia言語
posted at 18:52:13
#Julia言語 sumを1個にできます。
sum(f(x, y) for x in X for y in Y)
sum(f(x, y) for x in X, y in Y)
sum(t -> f(t...), Iterators.product(X, Y))
など
あとJuliaの配列はリストではないので変数名は要注意。
sumの並列版を作って使うこともできるので、sumのままでよいと思います。 twitter.com/takasan_san_sa... pic.twitter.com/OlxJthUfQq
タグ： Julia言語
posted at 18:44:01
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
Firefox 89でUIがスカスカになる問題。下記の設定で元通り、キュッと締まってとても見やすくなります。
Protonは使いにくいので全てOFF。 pic.twitter.com/NR90J89yR0
タグ：
posted at 17:22:38
非公開
タグ：
posted at xx:xx:xx
#Julia言語
REPLで
s = 0
for k in 1:10
s += k
end
と入力したら、エラーが出て計算できなくなったとなると、教育用には非常に使い難くなるので、現在のJuliaのように、エラーにならないようにユーザーインターフェースとしてのREPLの挙動を設定したのは合理的。続く twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 15:37:55
#Julia言語 これ、何度見ても笑える。
Juliaの欠点を開発者もユーザーもよく理解していることもこれを見ればよくわかります。
Juliaのパラメトリック型による多重ディスパッチでは型の共通部分が超複雑になる。
youtu.be/TPuJsgyu87U
JuliaCon 2019 | What's Bad About Julia | Jeff Bezanson
タグ： Julia言語
posted at 15:30:44
#Julia言語 機械翻訳でも読めるので本当にお勧め！
www.wired.com/2014/02/julia/ に登場する
Stefan Karpinski
↓
↓ 4つの言語が必要になって不満をぶちまけ
↓
Viral B. Shah
↓
↓ 紹介した
↓
Jeff Bezanson
↓
⭐️伝説へ⭐️
この3人の名前をJuliaのリポジトリで確認
↓
github.com/JuliaLang/juli... pic.twitter.com/usgDbEGTM6
タグ： Julia言語
posted at 15:21:54
高三 和晃 / Kazuaki Taka @takasan_san_san
Juliaで、sum( sum( hoge(x, y) for x in xlist) for y in ylist) って書いても、愚直にfor文書いても一緒よね？並列回す時のためにforでベタ書いておいた方があとのためかもだけど
タグ：
posted at 15:21:05
なんか、ガッコの先生ってこういうの好きな人多い気がするよね。
数年前に、居酒屋の朝礼真似てた人いなかったっけ。 twitter.com/Yossy_K/status...
タグ：
posted at 15:05:14
非公開
タグ：
posted at xx:xx:xx
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
Julia、万能の言語ではもちろんないけど手軽でパワフルなので食わず嫌いでなければ試してみるといいと思う。
タグ：
posted at 14:56:06
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
twitter.com/genkuroki/stat...
Julia使ってる人、興味ある人、読んでみるといいかも。面白かった
タグ：
posted at 14:54:25
本当は易しい算数を、自分たちがやっていることの権威付けのために都合が良いという理由で「算数は難しい」というスタイルの言説をばらまいた人たちがいて、大変なことになっている。
難解に見せることにリソースを割くようになったら、算数数学教育は極めて有害なものになる。
#超算数 twitter.com/genkuroki/stat...
タグ： 超算数
posted at 14:36:22
#Julia言語
函数の外でローカルスコープにして global いらずにしたければ、let ～ end で囲むという手段が使えます。
この知識は、Pluto.jl のノートブックの使用時に、他のセルに影響を与えずに変数を使いたい場合に役に立ちます。 pic.twitter.com/sVq5wyw2Be
タグ： Julia言語
posted at 14:23:21
#Julia言語 グローバルスコープでは
n = 10
s = 0
for k in 1:n
global s += k^3
end
s
のglobalが必要ですが、函数の中などでなら、
function f(n)
s = 0
for k in 1:n
s += k^3
end
s
end
と書けるので、煩わしさから解放されます。
github.com/genkuroki/publ... pic.twitter.com/mq84Tw3RfO
タグ： Julia言語
posted at 13:49:34
#Julia言語
globalが必要。それは問題ない。
公式ドキュメントに詳しく書いてあります。
docs.julialang.org/en/v1/manual/v...
ただし、計算時間に直結する場合に、ループを函数外で回したり、グローバル変数を含むループを回すのは避けた方がよいです。
docs.julialang.org/en/v1/manual/p...
Avoid global variables
続く twitter.com/SchiRobo/statu...
タグ： Julia言語
posted at 13:49:32
非公開
タグ：
posted at xx:xx:xx
数学的に自然に得られる結果であっても、背景が見えないように特殊化すれば幾らでも難解に見えるようにできます。
そういう方向で努力するのは不毛で、難解に見えなくする方向、驚くに値しないように見えるようにする方向に、大量のリソースを突っ込むべきだと思います。
タグ：
posted at 13:11:17
「難解入試問題」という切り取り方が有害になりやすい理由は、数学的背景を十分に説明すればより自然な考え方の特別な場合になることが分かっている場合であっても、「難解に見えること」を優先するために背景の見えない解法1、解法2、解法3、…の話で終えてしまうようになってしまいがちだからです。
タグ：
posted at 13:08:50
これは有害
↓
❌数学的に面白い話を難解入試問題の話にしてしまう。
作戦的にありだと思うのは
↓
⭕️入試問題として出題されたことを指摘して人目をひいて、数学の内容を宣伝してしまう。
入試云々は数学的にはくだらないこと。
しかし、入試問題になった数学自体は非常に面白い場合がある。
タグ：
posted at 13:05:54
訂正
❌このスレッドのトップ
⭕️このスレッドの上から2つ目
このスレッドの上から2つ目で紹介されているノートは、「dilog(およびpolylog)くらい普通の函数として教えていいんじゃないか」という方針で書かれています。
教育用の計算例として利用して頂けるとうれしいです。 twitter.com/genkuroki/stat...
タグ：
posted at 12:59:35
@genkuroki 戦前の工学部は旧制高校を卒業して入学するので，現在の新制度の高校よりレベルが高くなります．旧制の中学が新制度の高校にあたると考えるといいと思います．
タグ：
posted at 12:49:18
#数楽
∫ (x sin x)/ (1 + cos² x) dx
www.wolframalpha.com/input/?i=%20%E...
これは人間には苦しい。しかし、「dilog Li₂(z) を使って不定積分を書ける」という命題であれば人間にとってそう難しくないように思われる。 pic.twitter.com/BDzhhoaPHH
タグ： 数楽
posted at 12:44:58
#数楽 この不定積分は dilog Li₂(x) の定義に相当に近い。このスレッドのトップのツイートの添付画像も参照。
∫ log(sin x) dx
www.wolframalpha.com/input/?i=%20%E... pic.twitter.com/s8Z7j8xZ2n
タグ： 数楽
posted at 12:44:56
#数楽 同ページには ∫_0^1 log(1 + x)/(1 + x²) dx の例も書いてあります。
∫_0^π (x sin x)/ (1 + cos² x) dx
∫_0^1 log(1 + x)/(1 + x²) dx
∫_0^{π/2} log(sin x) dx
は定積分なのですが、実はdilogarithmを使って原始函数を具体的に書ける例になっています。
www.wolframalpha.com/input/?i=%20%E... pic.twitter.com/7KAE5JYD21
タグ： 数楽
posted at 12:44:54
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数
算数教育の教師向けの本や雑誌に「島田茂」の名前をよく見かける。
故人ではあるけど、元文部省の人で戦後の数学教育（算数教育）に大きな影響を与えた。
タグ： 超算数
posted at 12:36:13
#数楽
∫_0^π (x sin x)/ (1 + cos² x) dx も高木貞治『解析概論』に「次に掲げるのは変数変換法の例として、しばしば引用されるものである」の例として載っています(p.112)。その次のページに ∫_0^{π/2} log(sin x) dx がある。
よく見る例に過ぎないのに妙な煽り方をするのはよくないです。 twitter.com/884_96/status/...
タグ： 数楽
posted at 12:32:38
Nice surprise on #julialang master. On trying to use an uninstalled package, it offers to install it for you! pic.twitter.com/mctroDPXAg
タグ： julialang
posted at 12:11:38
#Julia言語 びっくりしたのは以下の部分。
【Jonah Bloch-Johnson, a climate scientist at the University of Chicago～He says most of what he needs is already available in the language, ～】
2014年の時点ですでに気候モデルにJuliaを使おうとしていた！
www.wired.com/2014/02/julia/
タグ： Julia言語
posted at 11:59:50
ごまふあざらし(GomahuAzaras @MathSorcerer
是非是非．コード改変再配布 etc... は自由に！ twitter.com/SchiRobo/statu...
タグ：
posted at 11:53:57
#Julia言語
この2014年2月の記事は必読
www.wired.com/2014/02/julia/
Stefan Karpinskiさんはネットワークシミュレーションツールを作るために4つのプログラミング言語が必要になったせいで苦しみ、Viral Shahさんに不満をぶちまけたら、Jeff Bezansonさんを紹介された。
これが伝説に始まりだった。
タグ： Julia言語
posted at 11:43:02
Juliaで1D-FEM(ポアソン方程式)
@Sunset_Yuhi さんの記事をJuliaに移植したものです。
htmlview.glitch.me/?https://githu...
タグ：
posted at 11:05:29
❖JABL黒鋼衆 玄蕃之丞 【鎧・剣術/ @JABLkurogane
ヨーロッパのアーモリーが作ってる途中の16世紀のマクシミリアン甲冑を模した腕鎧☆
腕全体を隈なく守ってかつ動くのも凄いけど、上腕部構造がインパクトあるね☆
#アーマードバトル #buhurt pic.twitter.com/gqWVVtSLgD
posted at 08:26:48
非公開
タグ：
posted at xx:xx:xx
Just found this "Distribution Explorer". Looks useful!
distribution-explorer.github.io/index.html
タグ：
posted at 08:14:51
非公開
タグ：
posted at xx:xx:xx
朝活🌞
◉.net案件
◉python勉
python勉を最近やれてなかったので復活。
30分でも毎日続けよう。
てかJuliaって言語あるんですねぇ。
北斗の拳のヒロインみたいですねぇ。
www.google.com/amp/s/japan.zd...
タグ：
posted at 07:06:48
非公開
タグ：
posted at xx:xx:xx
やはり率直に言って
『数学は与えられた式を展開し、与えられた文章を数字に変換する同値変換を行う教科だ。公式だけを覚えても、値を「言い換える力」がないと問題は解けない。』
という記述が何を言いたいのかよく分からない。 twitter.com/RochejacMonmo/...
タグ：
posted at 06:30:08
in a perfectly rectangular pool table, balls bounce in an orderly pattern. But even a slight curve in the walls will make it chaotic, so that after a few bounces the balls totally lose their formation pic.twitter.com/xdxiO7EKi0
タグ：
posted at 05:31:01
Wired’s Julia origin story starts out with an interesting photograph:
www.wired.com/2014/02/julia/
I should look so good.
#julialang #cms
posted at 04:46:30
#Julia言語
DifferentialEquations.jl を使えば、地面でのバウンドを含む微分方程式も以下のように数値的に解けます。
ソースコード↓
nbviewer.jupyter.org/gist/genkuroki... twitter.com/genkuroki/stat... pic.twitter.com/MvHodaZMBu
タグ： Julia言語
posted at 04:07:49
#数楽 「∫_0^1{π/2} log(sin x)) dx = ?」や「∫_0^1 log(2 sin πx)) dx = 0」については以下の2つのリンク先の解説が詳しいです。
nbviewer.jupyter.org/github/genkuro...
添付画像①②
nbviewer.jupyter.org/github/genkuro...
添付画像③④
#Julia言語 による数値的確認のためのコードと計算結果のプロットを含みます。 pic.twitter.com/PrQ7Ei4NZQ
posted at 03:57:02
#数楽 その問題の結果は
∫_0^1 log(2 sin πx)) dx = 0
と書き直せ、
対数正弦函数 log(2 sin πx)) のFourier展開の具体的な公式
(定数項を持たない)
に一般化され、さらに
Milnor型多重対数正弦函数のFourier展開公式
に一般化されます。答えを知ってしまうとそう難しくないです。続く twitter.com/884_96/status/...
タグ： 数楽
posted at 03:52:58
非公開
タグ：
posted at xx:xx:xx
Shinji R. Yamane @shinjiyamane
論文撤回ウォッチングのRetractionWatchがゲーム悪影響論をシリーズ化している(前RT)．注目を集めるテーマを選んで世を騒がせる（不安を煽る）研究者は，論文を発表しては撤回するのを繰り返す．論文撤回は注目されず職場に報告する義務もないので，学界での評価とは反対に社会的評価が上がってしまう
タグ：
posted at 02:28:44
The Unreasonable Effectiveness of the Julia Programming Language
arstechnica.com/science/2020/1...
#JuliaLang #physics pic.twitter.com/rb1nailFsV
posted at 02:22:34
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
Learn With Me: Julia – Structs and Binary I/O (#3) www.juliabloggers.com/learn-with-me-... #juliabloggers
タグ： juliabloggers
posted at 02:11:31
非公開
タグ：
posted at xx:xx:xx
Time-to-fun in video games is similar to Time-to-first-plot in #JuliaLang twitter.com/tocelot/status...
タグ： JuliaLang
posted at 01:34:47
Cで技巧的なメモリの節約とかして頑張って〜みたいなのもまぁ大事なんだけど、juliaみたいな現代的なプログラミング言語の仕様も把握したいなぁ
@ view みたいなマクロなりもよくわかってないし
タグ：
posted at 00:08:06
