黒木玄 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年07月18日(日)
#Julia言語 の基本アイデアについて、Jeff Bezansonさんは
Julia = “Jeff’s uncommon lisp is automated”
という冗談で説明しているのですが、爆速のネイティブコードを吐くために必要な型付けの全面的な自動化はJulia開発の基本テーマの一つでした。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 01:50:29
#Julia言語 この「Juliaの自動化の哲学」はJulia開発の最先端にも受け継がれており、KadowakiさんのJET.jlおよびその応用の試みは人間にとって面倒な型周りの事柄の自動化をさらに推し進める「Juliaの自動化の哲学」の最先端であり、Julia界で非常に高く評価されています。
github.com/aviatesk/JET.jl
タグ： Julia言語
posted at 01:50:29
#Julia言語 さらに面白いことに、人間がやる気になれない型周りの事柄の自動化によって、KadowakiさんはJuliaのoptimizerに効率が悪い部分があることを発見し、optimize optimizerと題されたプルリクエストを送っている。
ここまで痛快な話は珍しいと思います。
github.com/JuliaLang/juli...
タグ： Julia言語
posted at 01:50:30
#Julia言語 単位円盤上の一様分布の乱数
github.com/genkuroki/publ... pic.twitter.com/ytfDSiidmr
タグ： Julia言語
posted at 02:23:34
セロトニン大放出
右 #おりん
左 #えいきち pic.twitter.com/OZU8xKCPBi
posted at 09:18:51
Julia set
私好みの作品に仕上がりました☺️
#切り絵
#幾何学 pic.twitter.com/AymTwr7mrB
posted at 10:07:57
黒木さんに教えてもらって，rを乱数の平方根（√rand()）にすると一様になりました。それで，単位円の内部の3点で鋭角三角形を作る確率を再計算したのですが，約28％。今度は1/4より大きくなりました。やはり，理論値は1/4ではないのかな？#julialang pic.twitter.com/6GxAk60j1x
タグ： julialang
posted at 10:16:16
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@BluesNoNo この話題では大学に学部生向けの教科書や実際に統計学を使って書かれた論文における誤解を確認する必要があると思います。
正しい考え方が書かれている文献の存在は知っています。
しかし、非常に便利そうなまとめなので、このようなものを発表してくださるのは非常に助かります！ #統計
タグ： 統計
posted at 13:00:15
#Julia言語
www.amazon.co.jp/dp/433902905X
1から始める Juliaプログラミング
進藤 裕之, 佐藤 建太
この本はうまく言葉にできないのですが、非常に美しく書かれていて、著者の美学が感じられます。
実際に読んだ人達は「コンパクトにこれもあれも書いてある！」という経験をしているはず！
タグ： Julia言語
posted at 13:22:52
#Julia言語
www.amazon.co.jp/dp/B086PN128S
Interface(インターフェース) 2020年06月号
の「科学計算とPythonの研究」特集の第5部(寺崎敏志著、pp.111-137)がなぜか「Juliaの研究」になっており(笑)、Juliaの環境整備や「ラズパイ4で動くJuliaアプリケーションの作成」❗️などが書いてあります。
タグ： Julia言語
posted at 13:34:13
#Julia言語 3人の大学院生達が2年以上かけて開発した結果を2012年に公開した途端にまだ十代の少年が開発に参加して来るという胸熱な展開。
2018年8月にv1.0が公開されるまでに言語仕様について膨大な量の試行錯誤を行っています。
Julia周辺は痛快な話が多い。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 13:48:27
#Julia言語 開発開始の経緯については
www.wired.com/2014/02/julia/
Out in the Open: Man Creates One Programming Language to Rule Them All
Stefan Karpinski was building software that could simulate wireless networks, and his code was a complete mess. But it wasn't his fault. twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 13:59:09
普段の仕事では常にシンプルな解決策を常に見つけようとして来たと思われる人達が、#Julia言語 の検索については、いきなりのエロい検索結果にめちゃくちゃ動揺して、普段通りにできなくなっている様子は非常に印象的(笑)
Googleなら地域設定を日本以外(例えばアメリカ合衆国)にすれば解決する。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 14:07:15
大堀龍一 (Ryuichi OHORI) @__DaLong
地域日本だけど Julia で検索したらプログラミング言語のほうが普通に出るなあ。検索結果もパーソナライズされてるからかな。 twitter.com/genkuroki/stat...
タグ：
posted at 14:14:04
高三 和晃 / Kazuaki Taka @takasan_san_san
juliaでbitstring(5)とかすると、だばーーーーって長いの出てきちゃうんだけど、桁数制限するのどうするんだっけ？
タグ：
posted at 14:24:45
#julialang
対数関数の引数に複素数をとると偏角の範囲は
-π<arg(z)≦π
っていう認識でいいですか．
（Log(z)で主値に制限した複素対数関数を表してます．） pic.twitter.com/GD8PRoROK3
タグ： julialang
posted at 14:56:38
組体操やめてほしい
掛け算の順序やめてほしい
という声は聞かないのに、都合のいいときだけ「国民の声」などと言わないでほしい。 twitter.com/Shinoburu2/sta...
タグ：
posted at 15:20:47
#Julia言語 は超巨大企業の支援を受けていたり、超巨大な潜在的開発者集団を抱えているプロジェクトではないです。この点に配慮がない無茶な要求もJuliaの開発者側に届きまくっていて、気の毒に思うことがある。
こういうプロジェクトを上手に育てる方が人類の将来のためには好ましいと私は思います。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 15:30:46
文字を打ち込むのと手で書く(描く)ことは確かに頭の使い方が違う。
私は自分の経験でそのことがよく分かっていたので、手でも描ける端末(iPad + Apple pencilなど)であれば、子供に複数の頭の使い方を強いるので悪くないと思いました。
紙の広さと手描き端末での修正複製の容易さは相補的。 twitter.com/berudiokki/sta...
タグ：
posted at 15:47:32
手描きもできる端末の使用時には、紙とペンとはまったく異なる頭の使い方が必要。
紙とペンの組み合わせとの優劣を論じるのはミスリーディングで、トレードオフについて語るべき。道具Aではできないことを別の道具Bで行えばよい。
新しい頭の使い方が必要になる新しい「おもちゃ」は楽しい。
タグ：
posted at 15:47:33
#Julia言語 引数の値の具体的な型の伝搬が実用的にうまく行くようにすることは非自明な問題です。Juliaでは、型がパラメータを持つことをできるようにして、その問題をシンプルに解決しています。
この点はCommon Lispでの試みの改善になっています。
tamaspapp.eu/post/common-li...
タグ： Julia言語
posted at 16:09:05
とても丁寧な記事だった。
治験では一回目で0.8%、二回目で0.2%に確認された症状とのこと。かゆみ止めを塗ったり痛み止めを飲んでOKで、免疫効果に変わりなし。放っておけば収まるが、心配なら近所の皮膚科へ。大変わかりやすい。
モデルナアーム 医師「自然によくなる」 www.news24.jp/articles/2021/...
タグ：
posted at 16:41:21
#Julia言語 できれば、引数の型などが一切書かれていないf(x)のコードだけから、具体的なxの型で f(x) が正常に動くかを自動的に解析する仕組みがあって欲しい。
KadowakiさんのJET.jlは明らかにその方向への試みです。「Juliaの自動化の哲学」にぴったりフィットしている。
github.com/aviatesk/JET.jl
タグ： Julia言語
posted at 16:41:42
#Julia言語 そういう試みが実際に実用に耐えるかどうかは非自明な問題なのですが、Kadowakiさんは自分で作った道具を使ってJuliaのコンパイラの中心部分の最適化まで行なってしまった。実用に耐えることを本人自身が証明しまくってわけです。
github.com/JuliaLang/juli...
タグ： Julia言語
posted at 16:47:08
Daisuke HOTTA, 堀田大介 @dhotta_met
@antimon2 遅くなりましたが私の環境でも試して20スレッドで8倍くらい高速化できることを確認しました。ループを関数で包むこと自体はあまり重要でなく、zを引数で渡して関数内での大域変数zへの参照を取り除くことが重要と分かりました。これで大量のallocationが解消され高速化達成。非常に勉強になりました！ pic.twitter.com/qR2IHquMqV
タグ：
posted at 17:11:50
【麻雀・花札は除く】
私が高校生のときの修学旅行では私が持っていったカード麻雀が大活躍。
付き添いの旅行会社のおじさんが高校生相手に「いっちょ、もんでやろう」的に参加して来て、大車輪を振り込んで涙目になるという事件も発生。
囲碁将棋麻雀花札は大人と子供が同じ立場で遊べるので良い。 twitter.com/whysoserioooou...
タグ：
posted at 17:31:17
相当に前の話になるが、とある事情でまだ赤ん坊の自分ちの子を囲碁の大会の片隅で碁石で遊ばせていたら、後から「もう碁を打てるんですか？」と大声で聞いて来た人がいて、赤ん坊なのになんて無茶なことを言う人だと思いながら振り向くと、石田芳夫先生で、めちゃくちゃびっくりしてしまった！
タグ：
posted at 17:41:40
幼稚園児がすっとダメを詰めた手が実は大石の死活に関係する手で、そのことに気付いていないおじさん(=私)は無関係の所に石を置いたら、おじさんの大石を殺す手を幼稚園児がノータイムで打って来た。そのときの幼稚園児の手の動きの速さが忘れられない(笑)。
こういうのもクソかわいい。 twitter.com/genkuroki/stat...
タグ：
posted at 17:47:56
データフレームdfについて「A列の値がベクトルVの要素である行」のみを部分データフレームとして取り出すとき、
subset(df, :A => x -> map(y -> y ∈ V, x))
って書いてるんだけど、もうちょっと綺麗な書き方がある気がしていてモヤモヤする。無名関数2つもいる？ #julialang
タグ： julialang
posted at 18:07:01
縄文人の家、「茅葺き」から「土屋根」へ 研究30年の成果
www.sankei.com/article/202107...
発掘調査に基づいており、新たに復元整備される遺跡では土屋根が主流になるとみられる。
縄文集落の景観イメージは大きく変わりそうだ。
タグ：
posted at 18:29:00
Trent Henderson @trentlikesstats
After becoming obsessed with @JuliaLanguage this past week I have been going nonstop! My latest venture has been trying to recreate/automate some of R's {bayesplot} functionality but for @TuringLang models. Here is a sample for my #AFL model I posted about recently #julialang pic.twitter.com/6LSwj7lKW2
posted at 19:03:38
Trent Henderson @trentlikesstats
Still figuring out how to write Julianic code and not sure if a Julia pkg that does this exists, but thinking of calling this lot of convenience functions PosteriorPlots.jl. I have built a few of the other core {bayesplot} functions I use in Julia and will keep adding as I learn!
タグ：
posted at 19:03:39
@dhotta_met 遅ればせながら多少なりともお役に立てたようで何よりです。
なおJuliaは関数単位でJITコンパイルが走るので関数で包むことも多少は意味があると思います、特に安定した速度計測をする際は測定する単位を関数で包むということはよくやるので（`[at]time`にcompilationtimeが出にくくなる効果もあるし）
タグ：
posted at 19:40:02
@iitenki_moruten github.com/JuliaLang/juli...
↓
github.com/JuliaLang/juli...
と見て行くと、angle(z), atan(y, x) という函数も見つかり、偏角の返り値は区間[-π, π]にふくまれているらしいことがわかりました。さらにくわしいことは
github.com/JuliaLang/juli...
を参照。 #Julia言語
@ which や ? によるヘルプ機能が神！ pic.twitter.com/lx8Wr3oe0v
タグ： Julia言語
posted at 20:41:05
#数楽 中心つき六角数の話には続きがあった。www.youtube.com/watch?v=rGlpyF...はMathologerことBurkard Polsterさんの数学動画。奇数列の和が2乗列になるように、3乗、4乗…列を作り出す自然な拡張がある。ちなみに階乗も作れる。美しい視覚化とともに。
タグ： 数楽
posted at 21:04:16
小選挙区制度が、小さな選挙区の投票数の過半数取ると勝者総取りになる制度だと理解した時に
この制度は、ダメだと確信した
人口が多い地区で、多くの得票数で、49%取っても、その人は国会議員になれない
これでは「死に票」が多すぎる
タグ：
posted at 21:29:57
本当に出来る方からワクチンを接種してください。δ 株の感染力は尋常ではありません。都内の移動が多く、人と接する機会の多い20代30代の方からこそ、ぜひ一刻も早く免疫を手に入れてください。あなた方は重症化しても体力があるので死にはしませんが、挿管したら体力が落ちて元の生活には戻れません。 twitter.com/akarihotline4/...
タグ：
posted at 21:37:11
リアル「逆上がりのできない子が教師に練習されられて、やっとできて『万歳。これで猛練習しなくていいね』」だ。 twitter.com/moto_n/status/...
タグ：
posted at 21:56:27
非公開
タグ：
posted at xx:xx:xx
新しい記事がQiitaにアップされました！#Julia言語 #Julia日本語記事
qiita.com/StrawBerryMoon...👈
タグ： Julia日本語記事 Julia言語
posted at 22:06:58
A beautiful social network visualization in #JuliaLang (with great music too!) created by @_cormullion
Source video: www.youtube.com/watch?v=8k-T9a... #OpenSource #VisualThinking pic.twitter.com/aJRshpWUq0
タグ： JuliaLang OpenSource VisualThinking
posted at 22:27:15
非公開
タグ：
posted at xx:xx:xx
乳腺が詰まった時、助産師に「甘い物や油もの食べた？」と聞かれたら、現代日本で生活している人なら大概は当てはまります。経験上食べ物で詰まると言う助産師がいるのは、知識がないばかりに限定された問診しかできないためです。食べ物が原因で乳腺が詰まることはありません。
タグ：
posted at 23:29:04
