黒木玄 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月14日(水)
@ham144430 @MakoTr_315 #Julia言語 正直に言えば、以前自分でgcc vs. Juliaの計算速度競争を自分でやったときに、擬似乱数発生器の適切な選択についてはかなり勉強して、今ではそこそこよくわかっています。
しかし、それ以外だと色々自信がない。
Julia界の人達が選んでくれたものを使う方が私が自力で選ぶより安心です。
タグ： Julia言語
posted at 00:01:32
レトロコンピューティング・シリーズ。タイガー計算機で65536を開平してみたよ。上の桁から1,3,5,7…と奇数列を引けるだけ引くと左ダイヤルに256が現れる。操作は筆算そのもの。 pic.twitter.com/OtqaalXmEx
タグ：
posted at 00:09:15
networkxは確かに全部乗せのグラフツールであり、juliaではJuliaGraphsが管理している個々のパッケージがパーツを成しているイメージなんすな。
あとはfluxを理解すれば大体pythonでやりたいことはJuliaに置き換えられるかな。
タグ：
posted at 00:12:18
ほりたみゅ (mastodonも見てね) @Hyrodium
Meshes.jlにPR送ってmergeされました
github.com/JuliaGeometry/...
タグ：
posted at 00:15:31
Steven Strogatz @stevenstrogatz
Today in my class on asymptotics and perturbation methods, we used the WKB method to analyze the motion of a mass on a spring whose stiffness decays to zero very slowly, governed by
x'' + exp(-epsilon t) x = 0. Here's a simulation of such a system: twitter.com/Arnaldo_AGITF/...
タグ：
posted at 04:48:04
#Julia言語
Gibbs現象(不連続点でのオーバーシュート)がよく見えている。
gist.github.com/genkuroki/698b... twitter.com/penhakennyori/... pic.twitter.com/SHi2RkGTrq
タグ： Julia言語
posted at 05:59:55
#Julia言語 任意の函数のグラフの描き方は早めにマスターしておく価値がある。以上の添付画像中のコードは
julialang.org/downloads/
からjuliaの公式バイナリをダウンロードしてインストールして起動して、
julia> ]
pkg> add Plots
pkg> バックスペース
julia>
の後に入力すれば動くはず。
タグ： Julia言語
posted at 06:04:37
Steven Strogatz @stevenstrogatz
Here's my lecture from earlier today on the WKB method of singular perturbation theory. The discussion of the aging spring starts at around 47:40. (Please forgive my scratchy voice -- I hope it's not too distracting!) www.youtube.com/watch?v=Z5_wUK...
タグ：
posted at 06:26:06
#Julia言語 Pluto.jlの使用例 (iPadのブラウザから使用)
① N=10項
② N=100と書き換えてそのセルを再実行するとグラフも自動的に書き変わる
③ノコギリ波 M=10項
④ M=100項
多分、このスレッドと関連スレッドを読めば、多くの人は30分～1時間程度で同じことをできると思います。 pic.twitter.com/coBm8kRPPr
タグ： Julia言語
posted at 06:28:57
関西を中心に割合が増えつつある B.1.1.7 の感染力は恐らく既存より高く、これまでの対策では対抗できないと思います。飛沫感染が主な経路であることは変わりませんが、恐らく空気感染の割合も増えており、飲食店だけでなくあらゆる施設での換気の重要性がこれまで以上に増すと考えています。
タグ：
posted at 06:50:04
#Julia言語
Pluto上では struct の定義の変更が自由に可能です！
この点は非常に便利だと思います。
① Foo型の中身の型は整数
② Foo型の中身を浮動小数点数にしようとするとエラー
③ Foo型の中身の型として任意の数値を許した
②から③でstruct Fooの定義を変更しています。 pic.twitter.com/9QPxIzXnbO
タグ： Julia言語
posted at 06:50:25
ナイチンゲールさんが強調していた換気の重要性が現代においてここまで強調されることになることを誰が予想できたであろうか。(ナイチンゲールさんは換気と保温の重要性を強調していた。) twitter.com/sekkai/status/...
タグ：
posted at 06:57:40
Stefan Karpinski @StefanKarpinski
@acidflask It’s beautiful! Reminds me of the Monument Valley games:
www.youtube.com/watch?v=tW2KUx...
タグ：
posted at 07:03:11
@musorami @temmusu_n twitter.com/temmusu_n/stat...
これ二等辺三角形になっているから余計にわかりにくいね。
普通に作図して、等しい角や辺に印付けて、証明として書き起こせばいいだけなのに。
タグ：
posted at 07:14:23
@musorami @temmusu_n 「証明と言えば図形」となってしまっているのも問題だとは思います。
図形に関する理解と、論証の理解は別なのに、これが一緒くたに出てくる。
対頂角が等しいとかって、証明が必要なんですかね？
「みりゃわかるじゃん」と思えてしまう。
タグ：
posted at 07:17:18
#Julia言語 ChromeのPDFへの印刷機能を使えば Pluto を使って添付画像①のようなPDFファイルを作れます。添付画像②③④はPlutoの画面。
コンピュータをいじるのが好きな人は数学をこんな感じで勉強することもできそう。 pic.twitter.com/VMncY9Tdro
タグ： Julia言語
posted at 07:38:21
ICM Intelligencer @SPIntelligencer
Remembering Emmy Noether who died in Bryn Mawr, Pennsylvania 🇺🇸 #OnThisDay 14 April 1935.
She made an invited talk at #ICM1928 Bologna and became the 1st female ICM plenary speaker in history at #ICM1932 Zürich.
#HistoryOfICM
📙✨New and noteworthy: bit.ly/3g1CVvA pic.twitter.com/EAIeRM0OLI
タグ： HistoryOfICM ICM1928 ICM1932 OnThisDay
posted at 08:02:00
@genkuroki Jupyterだと最初から走らせないといけないですもんね。v1.6以前の時はusingのスピードも遅かったのでストレスマッハでした。
タグ：
posted at 08:21:48
非公開
タグ：
posted at xx:xx:xx
【級位者向け実戦型詰将棋part504(清野 静男先生作)】
これを詰ますことができた者だけが楽しい木曜日を迎えることができる。 pic.twitter.com/Ixgr4HzgvB
タグ：
posted at 12:02:30
久しぶりにブログ更新。最近Juliaに触れる機会が多いので、PackageCompiler.jlを使ったパッケージのプリコンパイル方法をまとめました！
#はてなブログ
PackageCompiler.jl を使った初回実行高速化 - ばいばいバイオ
www.kimoton.com/entry/20210414...
タグ： はてなブログ
posted at 13:00:04
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu @temmusu_n 有田八州穂氏について ＃超算数
参考
twitter.com/genkuroki/stat...
タグ： 超算数
posted at 13:18:56
#超算数 前にも見た論者だが
金重明「『掛け算の順序』『×、÷ の書き順』、小学校算数のあきれた規則: いったいなんのためにこんなルールが…」2021年1月6日gendai.ismedia.jp/articles/-/77978
掛け算の順序の起源について数教協的な「1あたりの量」という用語で説明。
タグ： 超算数
posted at 13:22:18
@OokuboTact @sekibunnteisuu ありがとうございます。微妙に諸手を挙げて同意とはいかない論調ですね。⑤⑥あたりでだんだん首と。ただし「かんたん・やさしい・はやい・1こ」については、公式丸暗記指導を指しているとみることができそうです。
タグ：
posted at 13:37:30
異なるサブタイプのフィールドが同一で構わないなら、これでいけると思います。 twitter.com/abap34/status/... pic.twitter.com/VN7alpmI5P
タグ：
posted at 13:41:21
コピペ用
```julia
mutable struct Animal{s}
name
Animal{s}(name) where s = new{s}("<" * name * ">")
end
const Dog = Animal{:dog}
Dog <: Animal
Dog("Pochi")
```
タグ：
posted at 13:41:21
dynamis (でゅなみす/レッサーパ @dynamitter
MozillaはRustを見いだし育てて素晴らしいって話、あれは当時のCTOであったBrendanが強く推進し続けのが始まりなのよね。
Mozillaの全社集会などで皆がFirefoxの実装の話とかしている中でBrendanだけ毎回Rust言語の話をしていたのが忘れられぬ。
JavaScriptの生みの親＝Rustの養父みたいな印象
タグ：
posted at 14:52:41
dynamis (でゅなみす/レッサーパ @dynamitter
当時は英語リスニング力と技術力(専門領域の違い)が共に不足していて何言ってるのかイマイチ付いていけないけど、凄いRust推してる、しかも毎回Rustの話しててマジだって事だけはよく分かった。
その後Servoが生まれ成果がFirefoxに移植され、その厳しい要件を通じて言語が鍛え上げられたのがRust
タグ：
posted at 14:58:13
dynamis (でゅなみす/レッサーパ @dynamitter
Firefoxの中で育てられたことで、大規模かつパフォーマンス要求が高くかつ既存のC言語実装との連携が重要という要件を満たせるものになり、その結果Android OSやLinuxにも採用される地位を得られるように育ち、C言語リプレイス筆頭の地位を確立しつつあるという感じ。
タグ：
posted at 15:00:53
dynamis (でゅなみす/レッサーパ @dynamitter
長期目線で技術選定を行い組織に展開、リードしていけるのがCTOの大事な役割だけど、Brendanは本当に素晴らしい仕事をしていて尊敬する。
私は既に形になってて数年後に広がるものを選ぶ程度だが、彼は10年先のための技術選定をした上でそれを自ら育て展開するところまでやってて控え目に言って最高
タグ：
posted at 15:08:05
#Julia言語
型のフィールドは「実装の詳細」であり、外部に公開するのはメソッドの側という立場では、
* Cat型やDog型のオブジェクト内部に保持する名前には < > を付けない。
* その名前には name(x) でアクセスできるようにしておく。
* name(x)を使用するときに < > を追加。 twitter.com/abap34/status/... pic.twitter.com/pxhdtlpd6u
タグ： Julia言語
posted at 17:17:44
私、「学び合い」の提唱者である西川純氏にブロックされているんだけどｗ
西川氏、多様な人と折り合いをつけることができないようだねｗ twitter.com/manabiai/statu...
タグ：
posted at 17:20:16
#Julia言語 参考資料(史料)
github.com/JuliaLang/juli...
github.com/JuliaLang/juli...
【People mentioned the usefulness to allow properties to be inherited. I agree with this.
However, properties are more like __methods__ than __fields__.】
タグ： Julia言語
posted at 17:40:48
@temmusu_n #超算数 ある種の文化圏では遠山啓さんのステータスが非常に高くて、思考が全部そちらに引き寄せられているパターンをよく見かけます。
特に50～60歳以上の広い意味での数学関係者達に遠山啓氏及びその一派は大きな影響を与えています。
そろそろその影響を払拭するべき。自然消滅すればよいと思う。
タグ： 超算数
posted at 17:53:58
Despite fire retardant or water are or should be dropped from much higher altitude, this is why you avoid dropping water or fire retardant directly on buildings, when possible [source and full video: buff.ly/329gzO3] [watch an example of altitude: buff.ly/3g7n8s9] pic.twitter.com/cgn6eJHUfh
タグ：
posted at 18:00:00
Springer Nature @SpringerNature
Emmy Noether, German mathematician, died #OnThisDay in 1935. Her innovations in higher algebra gained her recognition as the most creative abstract algebraist of modern times. Many fellow mathematicians considered her to be the most important woman in the history of mathematics. pic.twitter.com/ZtjfBbdMGT
タグ： OnThisDay
posted at 18:00:08
#Julia言語 #Plutojl
Plutoで文字列 s を表示するには Text(s) を使う。
discourse.julialang.org/t/how-can-i-di...
例えば、Cat("ミケ")のdumpをPlutoで表示したければ
Text(sprint(dump, Cat("ミケ")))
を実行すればよい。
sprint(f, x...) の f として色々使える。
docs.julialang.org/en/v1/base/io-... pic.twitter.com/o2urPFLZ3N
posted at 18:26:44
#Julia言語 1つの決まり切った正解はなくて、目的によると思う。
* VSCode
* Jupyter
* Pluto
はどれも便利。
Pluto.jlならstructの定義の変更が自由にできるので、試行錯誤でJuliaの仕様を確認したい人には、Plutoがかなり良さそうなことに最近気付いた。 twitter.com/h_ushihara/sta...
タグ： Julia言語
posted at 18:33:56
その分野の第一人者が言うべきことを言って「大それたことを言って申し訳ありません」と言わなければならない国。The 日本って感じ。 twitter.com/nishiurah/stat...
タグ：
posted at 18:38:37
#Julia言語 Pluto.jlはJulia以外のモノへの依存が少ないので、
Juliaの公式バイナリを入れて起動
julia> ]
pkg> add Pluto Plots
julia> using Pluto; Pluto.run()
Create a new notebook を選択
で即使える。MITでの教育やNASAでの解析などで使われている。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 18:40:18
アイヴァーンさんが調べてくださいましたが、DuckDuckGoのChrome向け機能拡張で無事にFLoC IDが取得されなくなった模様です。 twitter.com/Ivarn/status/1...
タグ：
posted at 19:35:46
@genkuroki 時代の偏見でしょうかね。#超算数|を調べ始める前の私のとっては『無限と連続』の著者としての印象しかなかったもので、遠山氏のもっていた影響力が実感できないところがあります。教師用指導書を見るにまだ数教協の影響はあるのでしょうが、良い面悪い面含め、決算すべき時なんでしょうね。
タグ： 超算数
posted at 19:36:43
#JuliaLang Plots.jl layout macro twitter.com/matplotlib/sta... pic.twitter.com/a4xl9uvtb0
タグ： JuliaLang
posted at 20:00:50
🤣🤣🤣🤣
(Cross posting from the FB #julialang group) pic.twitter.com/CE5YyV87z9
タグ： julialang
posted at 20:07:19
Okay, this is one of the coolest #JuliaLang packages I've come across in a while. 💯 super nerd points go to UnicodePlots.jl for neat plotting directly in the terminal pic.twitter.com/aokc4CZpGb
タグ： JuliaLang
posted at 20:27:06
#Julia言語 Pluto fileは以下の手順で公開できる。
⓪ GitHubのアカウントを取得してGistを使えるようにしておく。
github.com
①②③ jlファイルを表示
④ Gistに貼り付けて、Create publuc gist
⑤ その結果↓
gist.github.com/genkuroki/4155...
これのURLをPlutoに貼り付ければ使える。 pic.twitter.com/GFH0xNQWQO
タグ： Julia言語
posted at 20:31:45
#Julia言語
gist.github.com/genkuroki/e674...
のURLを添付画像①のOpen from fileに貼り付ければ、添付画像②の結果が得られるはず。
このようにしてJuliaユーザー間で実行可能なコードと数式入りの解説をまとめて共有できる。
こういうことが流行ればJuliaを超えた社会的に正の影響が生じるはず。 pic.twitter.com/QBfVifGtTK
タグ： Julia言語
posted at 20:41:34
this gas, modelled with boucing balls, spreads out equally between the two containers. This would normally be irreversible, but I have chosen the initial velocities carefully... pic.twitter.com/urJuQcUgZ6
タグ：
posted at 20:47:00
Julia 言語ってこの書き方できるんだな。
A, B, C, D = Ob(FreeSymmetricMonoidalCategory, :A, :B, :C, :D)
処理1, 処理2, 処理3 = Hom(:処理1, A, B), Hom(:処理2, B, C), Hom(:処理3, C, D);
タグ：
posted at 21:40:14
reading: Plots/GR: グラフ package のおすすめ · julia について
www.cas.cmc.osaka-u.ac.jp/~paoon/misc/ju...
タグ：
posted at 22:50:58
| ω・)｡oO （ #Julia言語 の abstract type って実はセマンティックな型階層を作るためだけのものだと言っても過言ではないということにそろそろみんな気付いてほしい…） twitter.com/abap34/status/...
タグ： Julia言語
posted at 22:59:53
またしてもセリを頂いたので、今回はせり鍋に。名取のセリなので、根っこが短い。香りは三関の方が強かったけど、これはこれで美味しい。明日の朝の雑炊が楽しみ〜！ instagr.am/p/CNphgmGjbu7/ pic.twitter.com/K7SvwitWob
タグ：
posted at 23:03:17
Pythonのパッケージ作り、正直リポジトリアップロードやテストリポジトリを用いたチェックだったりのフローがありえん面倒なので、パッケージは全てJuliaで書きたいんだが、アドホックな分析は（半ば惰性で）Pythonでサクッと書いちゃうので、自分の中での折り合いがとても悪くて、つまり辛い
タグ：
posted at 23:49:54
テスト用リポジトリで、、とか、ハンパ無く辛いよなー。Rパッケージも作るファイルがたくさんあるイメージ（なお、作ったことは無い）なので、パッケージ作り上の安息はJuliaにしか無い、、
タグ：
posted at 23:54:59
