黒木玄 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月28日(月)
#JuliaLang
Update: Remove redundant @ views macros
github.com/genkuroki/publ...
↓
nbviewer.jupyter.org/github/genkuro...
タグ： JuliaLang
posted at 22:48:27
このニュースの影響かも。
"中学2年の夏、朝起きたら突然、数学を学びたくなり（…）小説「数学ガール」シリーズを全巻読んだが簡単すぎて、古典的な数論の入門書を読破した"
通信制高校から海外名門に飛び級合格 変わり者扱いでも（朝日新聞デジタル） - Yahoo!ニュース
news.yahoo.co.jp/articles/9a7f9...
タグ：
posted at 22:42:38
Amazonプライムデーでうっかり買った棒が届いた。
低音がしっかり鳴るので「あれ？ このシーンってこんな音鳴ってたの？」とか「この人ってこんなに声低かったの」とかなってる。 instagr.am/p/CQqkTy9DEQM/ pic.twitter.com/7qa17DNIPt
タグ：
posted at 22:31:26
#JuliaLang
1.9 sec (2040002 allocations: 4.65 GiB)
↓
↓ reducing allocations
↓
0.96 sec (160062 allocations: 5.94 MiB)
↓
↓ multi-threading (12 threads)
↓
0.17 sec (160785 allocations: 7.56 MiB)
More than 10 times faster!
source code
↓
nbviewer.jupyter.org/github/genkuro... twitter.com/elbersb/status... pic.twitter.com/hO3ExaPJQS
タグ： JuliaLang
posted at 22:29:05
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu ＃超算数
メタメタさんによると、現代日本の小学校で大流行している掛け算順序教育は、明治時代に西洋数学を学んだ数学者達に原因があるそうだ（棒読み） pic.twitter.com/G87X3mJxyV
タグ： 超算数
posted at 22:26:19
こうやって、親が「くだらんところ」とわかるお家なら、まだ安心できるんだよね。
格差をなくすための公教育なのに… twitter.com/honey_ponchan/...
タグ：
posted at 22:24:29
フォロワーさんが素敵なコメントくださったので、親からもこういう教え方ができるといいなと思います。
学校に丸投げも良くないんだよね…
私は高校数学は放課後1対1で先生に教わっても赤点しか取れなかった☺️ twitter.com/yuhiyuhi1996/s...
タグ：
posted at 22:20:02
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu #超算数
メタメタさんの願い
＞ ・・・数学の世界では正当化することが難しいとしても・・・ 中略
＞ 実用算数として、現代社会の常識に従ってほしいと思うのです。 pic.twitter.com/evWQHXxlTj
タグ： 超算数
posted at 22:19:31
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu #超算数
メタメタさんが、掛け算順路論争に加わっている理由は、「現実社会のレシートの使い方を小学生に学ばせたいからなのか」 pic.twitter.com/qbQa5rmNV8
タグ： 超算数
posted at 22:12:45
ウィスキーの水割りを、ちょっと風呂入ってる間だけ冷凍庫に入れてみようと思って忘れてると、パンチパーマみたいになるので気をつけたほうが良い。
でもなんでこんな凍り方するんだろ🤔？？ pic.twitter.com/nqgNmkYIRB
タグ：
posted at 22:03:38
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu ＞ 私は蛇蝎のように嫌っていました
嫌う理由が不明。
むしろ推奨すべき方法なのになあ
＃超算数
タグ： 超算数
posted at 21:48:29
#超算数
掛け算の順序、秋の風物詩だったけど、最近では年がら年中見れるようになり、すっかり季節感がなくなりましたね。 twitter.com/honey_ponchan/...
タグ： 超算数
posted at 21:44:43
Interactive Vim tutorial for developers, sysadmins and Linux or Unix users. Try out:
openvim.com pic.twitter.com/Yf1MkYwtkJ
タグ：
posted at 21:20:38
@OokuboTact これもメタメタさんが掛け算の順序強制派と同様の思想であることを示している。
twitter.com/metameta007/st...
タグ：
posted at 20:58:46
δ VOC で普通に基礎疾患なしの20歳代とかが次々と入院していて、それでも観客数1万人、開会式に至っては2万人、人流増加は確実で感染者が減る要素がひとつもないのに政府がオリンピックに突き進んでいる様子を見て本当に背筋が凍る。一体我々は何を見せられているの？
タグ：
posted at 20:08:26
Fortranで非線形方程式解こうとするとどうしても自前で実装しなきゃいけなかったので、進歩したものだ(最近だとMKLにFortranでも使えるやつがあるけれど
タグ：
posted at 20:08:00
このノートギャップ方程式の自己無撞着計算、2007年にItanium IIでFortranでやった計算で15秒くらいかかってるんだけど、同じ計算を2018のMacBook Proの上でJuliaで積分にquadGK、非線形方程式解くのにOptim使ってやってみたら1秒切っていた。計算機の進歩を感じる
タグ：
posted at 20:04:33
... where I will be showing folks my workflow when I post questions/answers. If you want to hangout and post about #JuliaLang together, you can join here: www.youtube.com/watch?v=gHuU7e... (2/2)
タグ： JuliaLang
posted at 20:00:55
My open source journey started a few years ago posting #JuliaLang questions on @StackOverflow. I really find that the process of coming up with well formulated questions helps my understanding a ton. In that vain, I will be hosting a live stream this Wednesday (1/2)
タグ： JuliaLang
posted at 20:00:55
ところがビジネス用語では「納得」むちゃくちゃ多用されるんだよね。「納得性」とかいった摩訶不思議な用法すらある（訳せんわい）。understandとagreeの区別を曖昧にして意思決定がいつの間にか進んでいくオレたちの社会の慣習を反映した言葉だとおもう
タグ：
posted at 19:53:11
勝ち負けとはややズレるけど「納得できるかできないか」の二分法で本や文章を読む学生は本当に増えた。「理解すること」と「同意すること」が分節されず融合している。学生には「理解と同意はイコールではない」「納得、という言葉は学術言語には存在しない。レポートで使うの禁止」と命じている
タグ：
posted at 19:48:44
「組合せ論の発見」の第1章(Knuth担当)に「集合の分割は最初に日本で研究されたようである」って書いてて驚いたんだけど起源がめちゃ雅で笑った。
みんなで源氏香やりたい。 pic.twitter.com/xKpSiiNSMs
タグ：
posted at 19:26:21
非公開
タグ：
posted at xx:xx:xx
ワクチンバイトで91歳の元女医さんがいらした。
僕｢はわわ大先輩で恐縮です｣
Lady｢昔の集団接種みたいで懐かしいわ〜でも｣
僕｢？｣
Lady｢自分が注射されるのは嫌ね😂あんなに泣く子供に打ちまくったのに！｣
僕｢わかる〜。注射怖い😱｣
Lady｢あら意気地のない男だこと｣
僕｢(´・ω・`) ｣
タグ：
posted at 19:08:58
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu メタメタさんが「掛け算順序は両方正解」という根拠は「現実社会ではレシートは両方あるから、現実社会を考慮に入れるべき」というだけなので・・・。
メタメタさんは算数教育の権威達の考え方を否定していないんです。
タグ：
posted at 17:18:57
@OokuboTact メタメタさん、順序論者と五十歩百歩なんだよね。メタメタさんが正解として許容する式が、順序論者よりも若干広い、というだけのこと。
長年この問題を追及していれば、式の意味だの、式を採点することが有害だと分かりそうなものだけど、
数教協・水道方式の悪影響もあるのかな？
タグ：
posted at 16:57:37
おたかい私立医学部系でもない限り、学費÷12より月の生活費仕送りが高額ですもんね。自宅通学できるってのは大きい。 twitter.com/29silicon/stat...
タグ：
posted at 16:24:06
@dan_p_simpson can I convince you to try Zygote in #julialang because JAX as a library is magic but Julia as a language is magic!
タグ： julialang
posted at 16:22:14
@birusod @rstatstweet #RStats also now has a native pipe same as the #julialang pipe. The `%>%` comes from the {magrittr} package.
posted at 15:32:57
多重ディスパッチ今まで使ったことあんまりなかったけど、
juliaで覚えてから多用しすぎてる気がする。
用途ごとにきっちり関数名分けた方が良さげかも？
#julialang
タグ： julialang
posted at 15:26:33
#Julia言語
discourse.julialang.org/t/why-int-inst...
↓
google.github.io/styleguide/cpp...
Google C++ Style Guide
↓
【歴史的な事故のせいでC ++標準でも符号なし整数でコンテナのサイズを表します。標準化団体の多くのメンバーはこれを間違いだと信じていますが、現時点で修正することは事実上不可能です。】 pic.twitter.com/SmvNtblJ49
タグ： Julia言語
posted at 13:04:26
#JuliaLang
If we remove all type-unstable global variables, all will be zero allocated!
(evalpoly with tuple coefficients is very fast.) pic.twitter.com/tldNCt4aM9
タグ： JuliaLang
posted at 12:43:07
非公開
タグ：
posted at xx:xx:xx
OokuboTact 大久保中二病中年 @OokuboTact
メタメタさんは、算数教育の権威達と考えが同じだから、掛け算順序論者であるのは本来の姿。 twitter.com/sekibunnteisuu...
タグ：
posted at 12:21:31
「アベノミクス以前」に仕事がなくて収入ゼロだった人は「ワーキングプア」にもカウントされておらず、
その一部が「アベノミクス以後」に仕事を得て「ワーキングプア」としてカウントされるようになったのを「ワーキングプアが増えた」「だからアベノミクス失敗」とか言ってる人が沢山いました。 twitter.com/kenji_kaido/st...
タグ：
posted at 12:09:23
これはめちゃくちゃ面白い。
コロナワクチン中止を叫ぶ医師たちの主張が「波動」や「チャクラ」で埋め尽くされて、めまいがします。
『新型コロナワクチン接種中止』の嘆願書の同意フォームを乗せている医師が経営する医院を調べてみた｜猫淵明（びょう・えんめい） #note note.com/yomogineko/n/n...
タグ： note
posted at 11:56:16
【ーー緊急事態宣言が出たらおそらく無観客にするのでしょう。それ以上の状態になった時に、中止、中断できるでしょうか？
皆さんの安全が守れなくなりますので、その場合は躊躇なく中断することが必要です。】
タグ：
posted at 11:40:01
【ここまで新型コロナウイルス感染症に付き合ってきた私たちが言えるのは、リスクそのものを直視していると、感染者数が継続して増え得るし、医療崩壊は十分に起こり得るということです。これを絶対に「想定外」と言ってはいけません。大阪の事例を見たわけですから】
タグ：
posted at 11:38:39
【7月の後半は危ないと素人が見てもわかります。そうすると「日本の科学的分析は大丈夫なのか」と海外では危ぶまれています。現状を見て、僕のヨーロッパの理論疫学の先輩たちや米国やアジアの関連領域の友人たちから「お前はちゃんと政府にアドバイスしたのか」と疑問を何度も投げかけられています】
タグ：
posted at 11:37:08
@nonbeepanda 【二つ目はリスク評価に対して専門家が口をモゴモゴさせないといけないのもおかしい。国際的に見てもリスク評価の仕方を見直す部分があると思います。食品安全委員会でリスク評価が明確になされているのは、国際基準があって、それが守られていることがあります。】
タグ：
posted at 11:35:20
@nonbeepanda 【政府は、これから入国する人、観客として東京五輪を観に来る人に、「肺炎が起こっても酸素を投与するのが遅くなるケースがあるかもしれない。高齢の帯同者が感染して重症化しても人工呼吸器が使えない事態も起こり得ます」と説明しないといけなかった。おそらくしていないでしょう。】
タグ：
posted at 11:33:56
いろいろ胸が痛い。でも諦めるな。いろんな意味で、そういう話──「おもてなしどころか、国際的に恥をかく事態も」 医療崩壊も想定される東京五輪で考えておくべきこと www.buzzfeed.com/jp/naokoiwanag... @nonbeepandaより
タグ：
posted at 11:33:29
純正Python環境の場合
{PYTHONPATH}\share\jupyter\lab\staging\node_modules\codemirror\mode\julia\julia.js
を置き換えて
jupyter lab build
をしたら設定が反映されました(buildが必要なのに気づかず2h無駄にした) twitter.com/genkuroki/stat... pic.twitter.com/KAWfD3xgaK
タグ：
posted at 11:19:40
#Julia言語 実際にJuliaがそのような仕様になっているかどうかを確認すると、添付画像のように実際にそうなっていることがわかります。
横ベクトル扱いされている a = x' と A = Matrix(a) と x の積の違いに注目！
a*xはスカラーになっているが、A*xは長さ1の縦ベクトルになっている。 pic.twitter.com/SFng9B5Twu
タグ： Julia言語
posted at 11:11:59
地元に国立大学があったから大学進学できたって話はよく聞くんでねえ… 学費が昔よりかなり上昇しているとはいえ、国立大学の最大の存在意義はそれだろうと思うんだよね。これは実際に地方国立大に来て初めて実感したことで、旧帝大卒がそろってる高級官僚の皆さんには分かりにくい話かもしれない。 twitter.com/kikumaco/statu...
タグ：
posted at 11:09:31
#Julia言語 その辺は行列と(数)ベクトルの基本に戻って考え直すと、Juliaの仕様が現実的に悪くない解決策になっていることが分かります。非自明。
x = 1:4 はJuliaでは長さ4の縦ベクトル扱いされます。
そのadjoint x'は線形代数的には長さ4の横ベクトル扱いされて欲しい。
線形代数的には～続く twitter.com/kado_judo0312/...
タグ： Julia言語
posted at 11:08:30
#描く碁
吉原由香里先生を描きました！
囲碁に興味を持ったきっかけがヒカルの碁だった私にとって、監修されたゆかり先生は特別な方です🥰GOGO囲碁！！ pic.twitter.com/1KoRYtHbPo
タグ： 描く碁
posted at 10:53:07
inspiration: en.wikipedia.org/wiki/Correlati...
animated using @3blue1brown's manim library
タグ：
posted at 10:05:22
A simple dynamic scope analysis for #julialang program. It's a quite straightforward application of the existing data-flow analysis algorithm but the one interesting point is that data flows in fully backward way -- from usage sites to definitions.
github.com/aviatesk/Escap...
タグ： julialang
posted at 08:52:05
失明につながる薬品事故はまずアルカリなので、眼科医はアルカリこわいです。学校でライン引きに消石灰使われてた頃は、悲惨な例がいくらもありました（学校の倉庫で石灰出そうとして頭からかぶる twitter.com/29silicon/stat...
タグ：
posted at 07:34:56
リフレ派は、単純な貨幣数量説を主張している訳ではなく、
物価目標達成のコミットメントと、それを裏付ける金融政策により「期待に働きかける」ことを重視しています。
政府・日本銀行の共同声明から8年経過してますが、目標未達の状態で金融政策は受動的。
タグ：
posted at 06:58:51
Robert Smallshire @robsmallshire
@erikengheim It's a meta-tracing JIT. www3.hhu.de/stups/download...
タグ：
posted at 06:28:16
Those numbers are misleading: of the 1.46MLOC of PyPy, 490KLOC are generated by a small script. In addition, 540KLOC are the standard library that we share with CPython with only a small set of patches. That leaves 430KLOC, including tests. twitter.com/erikengheim/st...
タグ：
posted at 05:08:34
私の手もとの環境では
D:\.julia\conda\3\share\jupyter\lab\staging\node_modules\codemirror\mode\julia\julia.js
を
github.com/codemirror/Cod...
で上書きしてあり、添付画像のように表示されています。notebookの方も同様。
私は毎回こうしていました。 #Jupyter twitter.com/kb_satou/statu... pic.twitter.com/nujrJIRjFJ
タグ： Jupyter
posted at 02:59:09
This is an update from earlier tweet which I deleted because I used a Chrome plugin for line count, but it was a blackbox, not saying how it reached those numbers. This is based on cloning repos and running cloc.
タグ：
posted at 01:38:54
