黒木玄 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月03日(土)
#数楽 大学1年生向けの線形代数の講義では、与えられた a_{ij}とb_iが定めるx_j達に関する連立一次方程式
a_{11}x_1 + … + a_{1n}x_n = b_1
………
a_{m1}x_1 + … + a_{mn}x_n = b_m
をa_{ij}, b_iに関する場合分けで解く話をやったりします。
ax=bはこれのm=n=1の特別な場合。 twitter.com/f_sei/status/1...
タグ： 数楽
posted at 00:28:53
A Penrose tiling is an example of non-periodic tiling generated by an aperiodic set of prototiles. Penrose tilings are named after mathematician and physicist Sir Roger Penrose, who investigated these sets in the 1970s buff.ly/2IrumtB [gif: buff.ly/2MMYZJP] pic.twitter.com/bCfXyOWCuk
タグ：
posted at 00:30:41
@ckhead @grant_mcdermott julia is orthogonal to that. you don't need an NVIDIA gpu, but you need to check that it's CUDA capable (that you can do generic compute on it).
what's with #julialang here? GPU computing has never been so user friendly. github.com/JuliaGPU
タグ： julialang
posted at 00:44:46
偉い人が高次元問題にはSobolev/Besovスケールは適切じゃないんじゃないかみたいなことたしか言ってて（いやisotropicなものはそうでしょうけどと思いながら聞いていたが）ここに出てくるBarron spaceを持ち出してきたのは知らなかった．
youtu.be/5rb8DJkxfg8?t=...
タグ：
posted at 00:49:42
GCCのMLで激論が行われていたようだけれども、実際に消されたのは事実の模様
web.archive.org/web/2021033119...
18時にはStallmanの名前があったのだが、19時には消えている。そして現在、Stallmanの名前は無い twitter.com/HNTweets/statu...
タグ：
posted at 00:51:52
非公開
タグ：
posted at xx:xx:xx
Neat; Julia General registry calculates levenshtein distance for proposed new package names vs. existing packages and warns for "very similar" package names. github.com/JuliaRegistrie...
#julialang
タグ： julialang
posted at 02:00:38
New post: Poor man’s guide to despecialization - www.juliabloggers.com/poor-mans-guid... #julialang
タグ： julialang
posted at 02:18:19
@erikengheim what kind of results did you get ? You may need to configure JET to make it analyze your code properly.
タグ：
posted at 02:20:33
Stefan Karpinski @StefanKarpinski
@quinn_jacobd Even fancier, it computes visual similarity of words and checks that too! github.com/ericphanson/Vi...
タグ：
posted at 02:27:06
非公開
タグ：
posted at xx:xx:xx
ツツカナ vs. 森下卓 電王戦リベンジマッチ shogidb2.com/games/07219818... #将棋 #将棋DB2 @backflip1801より
posted at 04:10:26
電王戦公式統一パソコン「GALLERIA電王戦」森下卓九段インタビュー - ヒューマンエラー対策 森下新ルールなら技術で勝てる (1) | マイナビニュース news.mynavi.jp/kikaku/2014120...
タグ：
posted at 04:13:48
指掛けの電王戦リベンジマッチは指継がず、森下卓九段の判定勝ちと発表。ニコ生アンケート結果は良かった85% shogi1.com/denousen-reven...
タグ：
posted at 04:15:16
人間側が盤と駒を使って検討しながら指せるできるというルールは面白かったな。
使える道具として盤駒だけではなく、単に駒を動かす検討だけが可能なソフトも許すというルールに改訂して、もう一回やってくれないかな。
人間側の負担が非常に大きくなってしまうので再度実行するのは大変そうですが。
タグ：
posted at 04:21:18
人間の将棋の世界では「全部心の中で考えること」が大変な美徳になっているように思うのですが、私のパズルや数学での経験では手を動かして試行錯誤した方が圧倒的にうまく行く。
盤駒やそれに類する道具(ソフト)を使って検討しながら指せるというルールでどれだけ棋力が上がるかをもっと知りたい。
タグ：
posted at 04:26:23
Poor man’s guide to despecialization www.juliabloggers.com/poor-mans-guid... #juliabloggers
タグ： juliabloggers
posted at 04:31:42
#Julia言語
discourse.julialang.org/t/question-abo...
↓
github.com/JuliaMath/Xsum...
Xsum: Exactly rounded floating-point sums in Julia
タグ： Julia言語
posted at 05:53:54
#Julia言語 Xsum.jl examples
Float128を使うと計算速度が数十倍～百倍以上遅くなったりする。
Xsum.jl の xsum を使えば、少し遅くなる程度のトレードオフで、Float64の精度での和を正確に計算できる。
精度が気になる和をgeneratorのsumで計算してはいけない。
gist.github.com/genkuroki/97c4... pic.twitter.com/uYhQrv5D4P
タグ： Julia言語
posted at 06:50:15
#Julia言語 ストーリーはこれで終わりではない。
このスレッド面白いです。
↓
discourse.julialang.org/t/question-abo...
↓
github.com/JuliaMath/Accu...
Calculate with error-free, faithful, and compensated transforms and extended signficands.
タグ： Julia言語
posted at 07:00:41
#Julia言語 質問者が計算しているのは “loop quantum gravity” (ループ量子重力)です。Juliaのコミュニティで質問するとどういう感じの回答が得られるかも分かり、色々有益な内容だと思いました。 (科学研究者の間でJuliaユーザーが増えている？)
discourse.julialang.org/t/question-abo...
タグ： Julia言語
posted at 07:09:23
#Julia言語 これも面白いです。
LispとJuliaの比較のような話になっている？
以下のリンク先はJuliaでの高速多項式評価が何をやっているかの解説。係数が格納された配列を読みながらの多項式評価より速いです。
discourse.julialang.org/t/cas-benchmar...
CAS benchmarks (Symbolics.jl and Maxima)
タグ： Julia言語
posted at 07:32:03
#Julia言語 【ネタ】重要情報(笑)
discourse.julialang.org/t/cas-benchmar...
【Maybe julia stands for “Jeff’s uncommon lisp is automated”?】とJeff Bezansonさんが言っていた！
タグ： Julia言語
posted at 07:43:39
I came back to this funny little #julialang experiment and realized that this is something that #Symbolicsjl should also be able to do. Not only that's the case, but this also allows to pre-compile even more complicated expressions! 1/5 twitter.com/matthieubulte/...
タグ： julialang Symbolicsjl
posted at 08:00:19
First, we can simply reproduce the previous example by multiplying our sparse matrix with a symbolic matrix and call `build_function` on the result. Result? It just works and is just a little slower than the "hand-made" version from my previous tweet (~230ns vs ~170ns) 2/5
タグ：
posted at 08:00:19
I must say I'm not 100% sure why this is the case, and comparing the two generated codes didn't help much. However, this is still much faster than performing the matrix multiplication directly (~230ns vs ~620ns)! 3/5
タグ：
posted at 08:00:20
Where this really shines is on more complex functions. This was not easy to do with my previous approach, but Symbolics handle it just as well. Simply call your function on a matrix symbol, call `build_function`, and voilà, a super fast compiled version is ready to use! 4/5
タグ：
posted at 08:00:20
Here is the code with my small experiments gist.github.com/matthieubulte/... 5/5
タグ：
posted at 08:00:20
#Julia言語 上で紹介したスレッドは以下に紹介するスレッドから派生したっぽい。
以下のリンク先はJuliaが何をやっているかの易しい解説になっている発言を選びました。
どういう人がやって来ても、技術的な事柄を易しく解説しようとすることはやはり大事なことだな。
discourse.julialang.org/t/cas-best-pra...
タグ： Julia言語
posted at 08:59:21
#Julia言語
discourse.julialang.org/t/cas-best-pra...
【それら(Maple, Axiom, Maxima)すべては、命令型言語とシームレスに連携する記号計算ツールセットではなく、「1つの言語」になろうとする失敗を犯していると思う】
確かに、数式処理系が汎用プログラミング言語の一部分であることはとても大事だと思う。
タグ： Julia言語
posted at 09:15:42
数式処理に特化した文法の採用は、数式処理には便利であっても、プログラミング言語としてはつらくなる。
PythonのSymPyは色々欠点はありますが、Pythonの一部分として動いてくれる点は非常に便利だと思いました。数式を数値や文字列などと同じようにプログラミング言語内で扱いたい。
タグ：
posted at 09:20:26
「コンピュータで計算するためにプログラムを書いているのに、手計算や数式処理型で得た数式の手動でのコピー&ペーストと書き換えが必要になった」となるのは、我々がコンピュータを十分効率的に使えていないことを意味していると思う。
プログラミング言語から直接数学全体を使用可能なのがベスト。
タグ：
posted at 09:30:01
以下のリンク先の発言の最後の段落を見ると、 #Julia言語 界では言語仕様を話し合って決めている様子が垣間見えます。
いわゆる「こだわりがあって、めんどくさい人達」で意見が一致することなど期待できないのですが、非常にうまくやっているように見える。
discourse.julialang.org/t/cas-best-pra...
タグ： Julia言語
posted at 09:41:20
【19桁】の第1種カニンガム鎖の処理は 9.0e18まで完了。CC14は18番目以降、8497371982946563859, 8881902370813680779, 9442556584747983839, 9903787712504472929, 10007753467735417679 の5つが見つかった。20番目までが正式。現在は 1e19を超えて、そのまま 1.08e19まで処理中。 pic.twitter.com/yIKcUVjjjN
タグ：
posted at 10:02:38
nagoya amigo（名古屋アミーゴ @nagoya_amigo
4月4日日曜日からの囲碁フォーカスは、「上野愛咲美のハンマーパンチ！！」
愛咲美先生、ハンマーのフォームチェックに余念がありません！
新生囲碁フォーカス、ぜひ、ぜひご覧下さい！！
（下島） pic.twitter.com/K4uhJ0vdtv
タグ：
posted at 10:40:20
nagoya amigo（名古屋アミーゴ @nagoya_amigo
アシスタントの下島です！どうか温かく見守ってください^ ^
鶴山八段のあとを継いで、動画を撮影してみました！
愛咲美先生の魅力をたくさんお伝えしていきたいです！
タグ：
posted at 10:42:51
Raspberry Pi 4でVSCodeとJuliaも動くし、最新のREAPERも動くので、完璧です。Juliaも最新版が動くといいのになぁ（自分でコンパイルするのは絶対きついと思う）。 pic.twitter.com/YQyqLY1oSg
タグ：
posted at 12:11:46
@sekibunnteisuu いそうな気はしませんが、いても驚きません。数学オリンピックでは微分積分と線形代数は出題範囲外なので、数学オリンピックに過適応した人が大学に入ってεδ論法と抽象線形空間でつまずいても不思議ではありません。
タグ：
posted at 13:08:11
Juliaってプログラム言語ごあるの初めて聞いた！しかもPythonの上位互換やてぇ！？progateにJuliaなんて見当たらない、これは調べるしかない！
タグ：
posted at 13:44:48
科研費が当たったらJuliaが速く動くコアの多いマシンを買いたかったんだけど、当たらなかったから、また当分はMac miniの合計10コア14スレッドでがんばる
タグ：
posted at 13:45:10
EM菌のように歴史あるニセ科学の場合、教員がEM菌信者になるだけではなく、EM菌信者が教員になることもあるのでしょう。恐ろしいことです。
EM菌教育のまとめ 令和3年3月版 - Togetter togetter.com/li/1679822 @togetter_jpより
タグ：
posted at 13:45:39
#Julia言語 での確率分布の取り扱いの状況
Random variables in Julia (working list) discourse.julialang.org/t/random-varia...
タグ： Julia言語
posted at 14:26:30
日本語のニュースで続報出てるんでしょうか。
一週間で感染者数は三倍以上に、
“プロジェクト”が予定通り続けられるかどうか怪しくなってきたようで。
行く末に懐疑的で危機感を表明する専門家の発言も。
（注：自動翻訳を通した情報です）
amp.focus.de/gesundheit/new... pic.twitter.com/hs7xQMKz8N
タグ：
posted at 14:46:42
失礼ながらどこのどなたか存じませんが、こんなツイートを見つけました。
連続するツイートをGoogle 翻訳して画像としてつけました。 twitter.com/karl_lauterbac... pic.twitter.com/ZNi0InCr62
タグ：
posted at 15:05:11
他にも、はっきりと「ロックダウンの代わりに検査なんて失敗することは最初から分かっていたのになぜ始めた」みたいなツイートが見つかる。 twitter.com/frank_grimm/st... pic.twitter.com/h54Qt3vazs
タグ：
posted at 15:24:27
凄い。Stataってよく知らないけど、ちょっと調べた感じJuliaからもLispからも遠そうなのに、よくこの記事に辿り着いて、よくあの長い文章を読んでくださったものだ twitter.com/willow_bps/sta...
タグ：
posted at 15:26:25
A full course on #computational #economics by @FlorianOswald 👌
floswald.github.io/NumericalMetho...
#JuliaLang #Econ
タグ： computational Econ economics JuliaLang
posted at 16:09:37
柳本和春 (Kazuharu Yanag @kazuyanagimotoJ
@muuumin20 経済学だとStataとMatlabが少し前のデファクトスタンダードだったので、多少知識があるんです。僕は、本当はJuliaを使いたい人なので、記事を拝読させていただきました。
Juliaのマクロの理解に役立ったのは言うまでもありません。ありがとうございました。
タグ：
posted at 16:27:29
#Julia言語 2D Ising modelのモンテカルロシミュレーションの動画を10行で作っているのって、結構すごくね？
可読性はそう悪くないし、最後の10行目はforループの終わりのendだけで、プログレスメーターまで付いている。ising2d!函数では計算速度も犠牲にしていない。
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/biLyUi95JL
タグ： Julia言語
posted at 16:38:37
#Julia言語 の公式バイナリは
julialang.org/downloads/
からダウンロード可能。Jupyterとの連携については
nbviewer.jupyter.org/github/genkuro...
が詳しい。
タグ： Julia言語
posted at 16:40:42
ダブルバッファとかトリプルバッファで作ったことがあるな。メインメモリからGPUへの転送はドライバにやらせる。 twitter.com/genkuroki/stat...
タグ：
posted at 16:58:57
Manufacturing ropes is an old, north German activity that is still practiced today. Tugboats use this kind of huge ropes to pull large ships. This is where traditional handwork merge with industrial production [full video (DE): buff.ly/3dKBRtp] pic.twitter.com/APw5PmkdHc
タグ：
posted at 16:59:14
#Julia言語 Jupyterとの連携が取れなくても
gist.github.com/genkuroki/9937...
のコードを julia 公式バイナリを実行して出て来たREPLに貼り付ければ2次元Isingモデルの動画を作れます。
すでに Plots.jl と ProgressMeter.jl のインストールが終わっている人は5行目以降を貼り付ける。 pic.twitter.com/mdDkVyV47b
タグ： Julia言語
posted at 17:23:31
#Julia言語 Jupyerとの連携が取れない人であっても、ライフゲームで遊べるようなコードも公開しました。
gist.github.com/genkuroki/9e2b...
使い方は1つ前のツイートと同じ。REPLに貼り付ける。(julia GemeOfLife.jl でもよいです。)
S の定義や x0, y0 の定義などを変えれば、初期条件を変更できます。 pic.twitter.com/I6pzdm4kgA
タグ： Julia言語
posted at 18:07:23
加藤公一, 가토우 기미카즈（はむかず） @hamukazu
@sekibunnteisuu @kamo_hiroyasu メダリストじゃなくても数学オリンピック出場者は数学科でやっていく能力としては十分にあると思いますが、やってることが違うのでモチベーションが続かないことはあると思います。
タグ：
posted at 18:18:39
#Julia言語
2√3, x√x, 4∛-3 などを可能にするパッチ。
Julia開発者達は so cute だと思った。
↓
github.com/JuliaLang/juli...
タグ： Julia言語
posted at 18:30:55
この人は、ハジキ推しであることはもっと知られるべき。www.oyaryoku.jp/books/sansu_ry... twitter.com/oyanochikara/s... pic.twitter.com/nOHFEDPe2Z
タグ：
posted at 19:10:33
a pendulum, double pendulum, 4-, 8-, and 16-pendulum- all with the same total mass. I originally thought in the limit it would behave like a hanging rope — why doesn't it? pic.twitter.com/OcqyHeqtCq
タグ：
posted at 20:18:51
【特集】「ユークリッド原論」を読み解き、考える力を身に付ける…市川 : 市川中学校・高等学校 : 会員校だより : 中学受験サポート : 教育・受験・就活 : 読売新聞オンライン www.yomiuri.co.jp/kyoiku/support...
タグ：
posted at 20:49:13
原論I巻定理1にいきなり証明のギャップがある話をちゃんとしてくれれば、教育的効果は高そうです。やり方を間違えると原論原理主義者をいまさら育ててしまう危険もあります。
タグ：
posted at 20:49:13
加藤公一, 가토우 기미카즈（はむかず） @hamukazu
MakefileとDockerfile組み合わせるの、前職時代にtdualに教えてもらった気がする。
hyper-pigeon.hatenablog.com/entry/2021/02/...
タグ：
posted at 21:13:37
In #julialang this is like
𝚞𝚜𝚒𝚗𝚐 𝚕𝚒𝚋𝚛𝚊𝚛𝚢
and it's totally fine!
If there's a collision, you'll have to qualify those names. But the standard is to design libraries so overlapping function names will just lead to multiple methods (dispatched on parameter types) twitter.com/svpino/status/...
タグ： julialang
posted at 21:18:59
・ #第1種カニンガム鎖 を #Julia言語 で探す
強PCちょい使ってさっきのver.2で
CC15が19桁までにない確認完了
(ない確認で、何も結果がない)
次の桁のケツ当たりにCC15があるはずだが、計算1ヶ月以上の見積もりで
う～ん一旦ここまでかな
gist.github.com/pppp314592/e11... pic.twitter.com/IDs4v4CwV6
posted at 21:19:24
加藤公一, 가토우 기미카즈（はむかず） @hamukazu
別に技術的に難しくはないんだけど、Dockerの足りない部分を何で補うかというのはいくつか選択肢があって、Makefileは30年前から使ってるけどDocker初心者の僕にその組み合わせは思い浮かばなかったという話です。
タグ：
posted at 21:19:29
@ChadScherrer Yeah, I noticed that Python will simply I overwrite existing functions and types without warning, so it is indeed dangerous there. But in Julia you get warnings and it does not overwrite, so this is not much of an issue.
タグ：
posted at 23:10:45
@trent_hauck @ChadScherrer It is no different from object oriented Python code. x.foo(y) is no more readable than foo(x, y). Julia devs use fully qualified names where context is not clear.
タグ：
posted at 23:13:45
@erikengheim @trent_hauck IMO, the only readability advantage of the former is when it's natural to think of x as "owning" the operation. Sometimes that's the case, and chaining with `.` can be natural.
But too often, no argument is "special" and the OO syntax feels very weird
タグ：
posted at 23:29:23
読んでるけど Lisp の勉強になる。
JuliaとLispのマクロの比較 - SE教育パパむううみんのブログ muuuminsan.hatenablog.com/entry/2020/10/...
タグ：
posted at 23:54:40
