黒木玄 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年08月26日(木)
Frames Catherine Whi @oxinabox_frames
So did this and added it into dex-lang
github.com/google-researc...
DexCall.jl functionality to allow you to call dex-lang functions from JuliaLang.
It's pretty nice, it compiles the Dex code at Julia's compile-time(*) so it should be pretty fast.
(* technically at parse time).
タグ:
posted at 03:30:50
非公開
タグ:
posted at xx:xx:xx
My grandfather spent over 10 years of his life editing the DLMF… it’s definitely hard, but important, work twitter.com/TimonGutleb/st...
タグ:
posted at 05:01:07
ほんとこれ↓
(1)自身の予防のために接種することをお勧めしたい
(2)社会の皆で明るい出口を見つけるためにも接種をお考えいただきたい──
西浦博教授が考える「ワクチン接種が進む日本」でこれから先に見込まれる“展開” @gendai_biz gendai.ismedia.jp/articles/-/86584 #現代ビジネス
タグ: 現代ビジネス
posted at 11:58:53
@gendai_biz 「一部の進化生物学者は既に本感染症は数年から5年程度のタイムスパンで、子どもの病気へと変わっていくものと予測している」というもキモだな。Likelyとかんじる。でも、だからといって、ノーガードのwithコロナというのをやると災害が続くということ。そこにソフトランディングするのが大事
タグ:
posted at 12:32:42
チョー算数を広める
↓
ひどいことになる
↓
まず自分が反省せずに他人のせいにする
マッチポンプよりひどい。 twitter.com/kuri_kurita/st...
タグ:
posted at 13:21:56
根上生也さんは我々の間では、チョー算数(=算数教育の伝統が維持発展させている算数に関する非常識な考え方の集合体)の有力な擁護者の一人として非常に有名です。
社会的に巨大な負の貢献を数学関係者がしている場合がある。
どこかでチョー算数維持の連鎖を断ち切る必要がある。 twitter.com/sekibunnteisuu...
タグ:
posted at 13:25:40
MERさんは社会的に巨大な負の貢献をしている数学関係者の人脈を持っている人らしく、例えば私などはツイッター上でブロックされています。
非常識な考え方を子供達に押し付けることをまずやめさせることが大事なのに、自分達の立場を守るために逆の行為に熱心になっていたりする場合がある。 pic.twitter.com/BKq8u7spGM
タグ:
posted at 13:29:24
記録に残しておく。
添付画像中の箇条書きの「負の影響」は、算数教育の伝統に従い、常識的で論理的な子供の考え方を蔑ろにする算数教育の伝統(=チョー算数)の弊害。 pic.twitter.com/uhYzkGlEPd
タグ:
posted at 13:36:31
チョー算数の件は、社会的に立派な地位についている教養があるように見える人達が社会的に巨大な負の貢献を堂々と続けている点に大きな特徴があります。
100年以上の伝統がある深刻な問題。
タグ:
posted at 13:39:40
そういう困った人達の人脈は、算数の教科書やそのマニュアル本(=一般人購入不可の教師用指導書、一般人購入不可!)の内容に決定的な影響力を持っているように見える。(誰かが詳細を研究するべき!)
それによって全国の小学校の先生達に巨大な影響力を発揮できている。
タグ:
posted at 13:42:47
#超算数
根上進也氏も、MER氏@MathEdr も信用できない。
やり方を習って、練習して、それで解ける問題を解く 、を問題視する発言をありがたく受け取っているようだが、
その程度のこと、教えていれば分かるだろうに・・・
MER氏、それに気づかないで教壇に立っているの? pic.twitter.com/I7r3gmLs17
タグ: 超算数
posted at 14:03:33
先ほどから流れているツイートを見て @sekibunnteisuu さんや @cubic_root3 さんが、私と同じ考えなのでちょっと安心した。
まあ、もう、多くは語るまい。その方には言っても通じなかった。
私もブロックされている身だし。
タグ:
posted at 14:28:38
#Julia言語 Base.Cartesianのマクロの使い方の例
docs.julialang.org/en/v1/devdocs/...
using Base.Cartesian
@ nexprs 4 d -> s += 10^(d-1)*i_d)
は d を 1 から 4 まで動かした結果得られる次に展開される:
s += 1i_1
s += 10i_2
s += 100i_3
s += 1000i_4 pic.twitter.com/YeZKRJYFk2
タグ: Julia言語
posted at 14:31:58
#Julia言語
github.com/genkuroki/publ...
@ nloops 4 i d -> 0:9 begin ~ end
は i_4, i_3, i_2, i_1 を 0:9 の範囲で走らせる4重のforループに展開される。
JuliaではN重のループをマクロを使って簡単に作れます。
N重のループを回す素朴なコードを短くシンプルに書けます。 pic.twitter.com/eJDWqPgMkl
タグ: Julia言語
posted at 14:36:21
#Julia言語
for i_d = 0:9 の直後に y_d = i_d^2 を挿入。
@ nloops については
docs.julialang.org/en/v1/devdocs/...
を参照。
github.com/genkuroki/publ... pic.twitter.com/ditnQBeed3
タグ: Julia言語
posted at 14:40:30
@sekibunnteisuu @cubic_root3 はい。その方が信奉している人を悪く言ったわけではないのですが、何か勘違いされて、激情したようです。かなり昔です。ただ、「相互ブロックしておいて自分は別アカで監視して粘着し続ける」ようなタイプでもないので、お互い交わらない世界にいる感じです。マナーはある方とは思っていますが。
タグ:
posted at 14:55:29
#Julia言語
Project Euler Problem 30 projecteuler.net/problem=30 の素朴な解法のコードを試しに、6重のforループを回す最も素朴なコードで書き直したら、もとのコードより500倍以上速くなりました。
discourse.julialang.org/t/reduce-numbe...
タグ: Julia言語
posted at 14:57:39
授業の中で、ギリシャ文字θ(シータ)に添字のk(ケー)をつけ、θₖと言う記号を定義した。
この記号を何回か読むと気づくのだが、これだとキノコになってしまう…。
タグ:
posted at 15:02:59
#Julia言語
github.com/genkuroki/publ...
わざと最も素朴に書いたProject Euler Problem 30用のコード。内容的には6重forループのマクロによる記述。マクロへの理解がないと読めないですが、見た目的には十分にシンプル。
しかし、6などの数値はこのままだと変数に一般化できません。続く pic.twitter.com/JtCBKDOU0C
タグ: Julia言語
posted at 15:24:13
#Julia言語 6などの数値の変数への一般化は generated function と $ による補完の組み合わせを使いました。実行時にコードを展開して函数を作ってくれる。
github.com/genkuroki/publ... pic.twitter.com/2xVeMdy3Da
タグ: Julia言語
posted at 15:26:45
#Julia言語 長さ10のタプルのコードを生成するために @ ntuple マクロを使っています。
タプルの扱いは要注意で、気を抜くと容易に型不安定になる。 pic.twitter.com/s2pD3oprQj
タグ: Julia言語
posted at 15:29:03
非公開
タグ:
posted at xx:xx:xx
OokuboTact 大久保中二病中年 @OokuboTact
#超算数
> 拘り指導については、むしろ縛られているのは教師のみに限られるのではないでしょうか?
妄想で語るのが習慣なのかな。それとも「被害は児童にはない」という願望かな pic.twitter.com/DN73nddMw5
タグ: 超算数
posted at 17:06:32
OokuboTact 大久保中二病中年 @OokuboTact
#超算数 (続き)
ツイッターにたくさん資料があるんだけど、よく調べずに「掛け順固定指導の批判」を批判する人があとをたたない。
市販の教師向けの本を本屋で立ち読みするだけでもいいんだけど、そういうこともしないみたいだ。
タグ: 超算数
posted at 17:10:16
#Julia言語 #Juliaup
RT>
MicrosoftStoreアプリ に julia.exe ゆだねる事になるけど
pkgとかそのままっぽいし、juliaupのversion管理簡単そう pic.twitter.com/LHHYuPcuUs
posted at 17:13:56
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語
夜中はJulia in Physics 2021 Online
に向けて粛々と準備を進めるための準備(泣)をしています.
アブストやWIPの資料は今日・明日で作れると思います.
タグ: Julia言語
posted at 17:33:00
高校数学の影響で箇条書きのようなことにはならんぞ…。むしろ高校では箇条書きのようにならないように指導された記憶がある。
教えた高校教員や塾予備校の講師次第かもしれんが…。 twitter.com/genkuroki/stat...
タグ:
posted at 18:11:42
Magic mirrors (sometimes called Chinese magic windows or Makyō depending on the tradition) can actually defy all intuition. What looks totally transparent, actually hides images in plain sight. This clip and article by Matt Ferraro explain their physics: buff.ly/3gogOyI pic.twitter.com/kx5QqniH89
タグ:
posted at 20:54:22
大体において、自分の頭で考えるだけで、この話題に参加して来る人は全然ダメな場合が多い。
資料を見てから資料に矛盾しないような意見を述べようとせずに、実際に行われている議論とは違う議論がされているかのようなデマを平気で広める困った人達が実に多い。 twitter.com/ookubotact/sta...
タグ:
posted at 21:00:39
ちょっと前からJuliaというプログラミング言語が機械学習の面で注目されているのでそのうち世界のバックグラウンドはJuliaに支配されるかもしれない(ない)
タグ:
posted at 21:49:54