Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 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

21年8月26日

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

Sheehan Olver @dlfivefifty

21年8月26日

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

川端裕人 『ドードー鳥と孤独鳥』(国書刊 @Rsider

21年8月26日

ほんとこれ↓
(1)自身の予防のために接種することをお勧めしたい
(2)社会の皆で明るい出口を見つけるためにも接種をお考えいただきたい──
西浦博教授が考える「ワクチン接種が進む日本」でこれから先に見込まれる“展開” @gendai_biz gendai.ismedia.jp/articles/-/86584 #現代ビジネス

タグ: 現代ビジネス

posted at 11:58:53

川端裕人 『ドードー鳥と孤独鳥』(国書刊 @Rsider

21年8月26日

@gendai_biz 「一部の進化生物学者は既に本感染症は数年から5年程度のタイムスパンで、子どもの病気へと変わっていくものと予測している」というもキモだな。Likelyとかんじる。でも、だからといって、ノーガードのwithコロナというのをやると災害が続くということ。そこにソフトランディングするのが大事

タグ:

posted at 12:32:42

黒木玄 Gen Kuroki @genkuroki

21年8月26日

チョー算数を広める

ひどいことになる

まず自分が反省せずに他人のせいにする

マッチポンプよりひどい。 twitter.com/kuri_kurita/st...

タグ:

posted at 13:21:56

黒木玄 Gen Kuroki @genkuroki

21年8月26日

根上生也さんは我々の間では、チョー算数(=算数教育の伝統が維持発展させている算数に関する非常識な考え方の集合体)の有力な擁護者の一人として非常に有名です。

社会的に巨大な負の貢献を数学関係者がしている場合がある。

どこかでチョー算数維持の連鎖を断ち切る必要がある。 twitter.com/sekibunnteisuu...

タグ:

posted at 13:25:40

@kuri_kurita

21年8月26日

不覚!😆

「根上先生」とは… twitter.com/genkuroki/stat...

タグ:

posted at 13:27:06

黒木玄 Gen Kuroki @genkuroki

21年8月26日

MERさんは社会的に巨大な負の貢献をしている数学関係者の人脈を持っている人らしく、例えば私などはツイッター上でブロックされています。

非常識な考え方を子供達に押し付けることをまずやめさせることが大事なのに、自分達の立場を守るために逆の行為に熱心になっていたりする場合がある。 pic.twitter.com/BKq8u7spGM

タグ:

posted at 13:29:24

黒木玄 Gen Kuroki @genkuroki

21年8月26日

記録に残しておく。

添付画像中の箇条書きの「負の影響」は、算数教育の伝統に従い、常識的で論理的な子供の考え方を蔑ろにする算数教育の伝統(=チョー算数)の弊害。 pic.twitter.com/uhYzkGlEPd

タグ:

posted at 13:36:31

まきゃ @1789aorhow

21年8月26日

juliaを使う必要が出てきたから週末はjuliaと月姫で溶けそうだ

タグ:

posted at 13:36:41

黒木玄 Gen Kuroki @genkuroki

21年8月26日

チョー算数の件は、社会的に立派な地位についている教養があるように見える人達が社会的に巨大な負の貢献を堂々と続けている点に大きな特徴があります。

100年以上の伝統がある深刻な問題。

タグ:

posted at 13:39:40

黒木玄 Gen Kuroki @genkuroki

21年8月26日

そういう困った人達の人脈は、算数の教科書やそのマニュアル本(=一般人購入不可の教師用指導書、一般人購入不可!)の内容に決定的な影響力を持っているように見える。(誰かが詳細を研究するべき!)

それによって全国の小学校の先生達に巨大な影響力を発揮できている。

タグ:

posted at 13:42:47

積分定数 @sekibunnteisuu

21年8月26日

#超算数  
根上進也氏も、MER氏@MathEdr も信用できない。

やり方を習って、練習して、それで解ける問題を解く 、を問題視する発言をありがたく受け取っているようだが、

その程度のこと、教えていれば分かるだろうに・・・

MER氏、それに気づかないで教壇に立っているの? pic.twitter.com/I7r3gmLs17

タグ: 超算数

posted at 14:03:33

積分定数 @sekibunnteisuu

21年8月26日

#超算数
twitter.com/search?q=MER%E...

なお私は、MER氏@MathEdr にブロックされている。

タグ: 超算数

posted at 14:07:09

清 史弘 @f_sei

21年8月26日

先ほどから流れているツイートを見て @sekibunnteisuu さんや @cubic_root3 さんが、私と同じ考えなのでちょっと安心した。
まあ、もう、多くは語るまい。その方には言っても通じなかった。
私もブロックされている身だし。

タグ:

posted at 14:28:38

黒木玄 Gen Kuroki @genkuroki

21年8月26日

#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

積分定数 @sekibunnteisuu

21年8月26日

@f_sei @cubic_root3 ブロックされているの、私だけじゃなかったんだね^^

タグ:

posted at 14:32:19

黒木玄 Gen Kuroki @genkuroki

21年8月26日

#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

黒木玄 Gen Kuroki @genkuroki

21年8月26日

#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

黒木玄 Gen Kuroki @genkuroki

21年8月26日

#Julia言語 1つ前のツイートのコードのような工夫はしなくても、コンパイラが最適化してくれることが多いと思われる。

タグ: Julia言語

posted at 14:41:57

積分定数 @sekibunnteisuu

21年8月26日

#超算数
根上生也氏は、足し算や掛け算の順序を提唱する桜井進氏と一緒にいろいろやっているんだよね。

タグ: 超算数

posted at 14:47:13

清 史弘 @f_sei

21年8月26日

@sekibunnteisuu @cubic_root3 はい。その方が信奉している人を悪く言ったわけではないのですが、何か勘違いされて、激情したようです。かなり昔です。ただ、「相互ブロックしておいて自分は別アカで監視して粘着し続ける」ようなタイプでもないので、お互い交わらない世界にいる感じです。マナーはある方とは思っていますが。

タグ:

posted at 14:55:29

黒木玄 Gen Kuroki @genkuroki

21年8月26日

#Julia言語

Project Euler Problem 30 projecteuler.net/problem=30 の素朴な解法のコードを試しに、6重のforループを回す最も素朴なコードで書き直したら、もとのコードより500倍以上速くなりました。

discourse.julialang.org/t/reduce-numbe...

タグ: Julia言語

posted at 14:57:39

黒木玄 Gen Kuroki @genkuroki

21年8月26日

#Julia言語 JuliaはS式を使わないLispのようなもので、コードの自動生成を行いやすいです。

その機能を上手に使えば、人間の側が書くコードのシンプルさを保ったままで、人間が直接書く気になれないが効率的なコードを自動生成することも比較的楽にできます。

タグ: Julia言語

posted at 15:00:01

大澤裕一 @HirokazuOHSAWA

21年8月26日

授業の中で、ギリシャ文字θ(シータ)に添字のk(ケー)をつけ、θₖと言う記号を定義した。
この記号を何回か読むと気づくのだが、これだとキノコになってしまう…。

タグ:

posted at 15:02:59

黒木玄 Gen Kuroki @genkuroki

21年8月26日

#Julia言語 あと地味だけど大事な話。「他人に聞かなければわからない」という状態が永久に続くようにするのはろくでもないやり方。どこかで、「自分で調べて確認する方法」を使うようになる必要がある。

上の例では、@ macroexpand を使ってマクロの展開結果を確認する方法を多用している。

タグ: Julia言語

posted at 15:14:06

黒木玄 Gen Kuroki @genkuroki

21年8月26日

#Julia言語 一般にマクロを使っているコードがどのように動くかを適切に予想するのは非常に難しいです。

人間が書きたくないコードの自動生成をマクロにやらせているので当然そうなる。

だから、簡単な場合にマクロがどのように展開されるかを確認しておくことは基本中の基本の一つになる。

タグ: Julia言語

posted at 15:14:07

黒木玄 Gen Kuroki @genkuroki

21年8月26日

#Julia言語

github.com/genkuroki/publ...

わざと最も素朴に書いたProject Euler Problem 30用のコード。内容的には6重forループのマクロによる記述。マクロへの理解がないと読めないですが、見た目的には十分にシンプル。

しかし、6などの数値はこのままだと変数に一般化できません。続く pic.twitter.com/JtCBKDOU0C

タグ: Julia言語

posted at 15:24:13

黒木玄 Gen Kuroki @genkuroki

21年8月26日

#Julia言語 6などの数値の変数への一般化は generated function と $ による補完の組み合わせを使いました。実行時にコードを展開して函数を作ってくれる。

github.com/genkuroki/publ... pic.twitter.com/2xVeMdy3Da

タグ: Julia言語

posted at 15:26:45

黒木玄 Gen Kuroki @genkuroki

21年8月26日

#Julia言語 長さ10のタプルのコードを生成するために @ ntuple マクロを使っています。

タプルの扱いは要注意で、気を抜くと容易に型不安定になる。 pic.twitter.com/s2pD3oprQj

タグ: Julia言語

posted at 15:29:03

非公開

タグ:

posted at xx:xx:xx

OokuboTact 大久保中二病中年 @OokuboTact

21年8月26日

#超算数

> 拘り指導については、むしろ縛られているのは教師のみに限られるのではないでしょうか?

妄想で語るのが習慣なのかな。それとも「被害は児童にはない」という願望かな pic.twitter.com/DN73nddMw5

タグ: 超算数

posted at 17:06:32

OokuboTact 大久保中二病中年 @OokuboTact

21年8月26日

#超算数 (続き)

ツイッターにたくさん資料があるんだけど、よく調べずに「掛け順固定指導の批判」を批判する人があとをたたない。
市販の教師向けの本を本屋で立ち読みするだけでもいいんだけど、そういうこともしないみたいだ。

タグ: 超算数

posted at 17:10:16

l_ppp @ppp3141592ppp

21年8月26日

#Julia言語 #Juliaup
RT>
MicrosoftStoreアプリ に julia.exe ゆだねる事になるけど
pkgとかそのままっぽいし、juliaupのversion管理簡単そう pic.twitter.com/LHHYuPcuUs

タグ: Juliaup Julia言語

posted at 17:13:56

ごまふあざらし(GomahuAzaras @MathSorcerer

21年8月26日

#Julia言語

夜中はJulia in Physics 2021 Online
に向けて粛々と準備を進めるための準備(泣)をしています.

アブストやWIPの資料は今日・明日で作れると思います.

タグ: Julia言語

posted at 17:33:00

CK @ck_f1091

21年8月26日

高校数学の影響で箇条書きのようなことにはならんぞ…。むしろ高校では箇条書きのようにならないように指導された記憶がある。
教えた高校教員や塾予備校の講師次第かもしれんが…。 twitter.com/genkuroki/stat...

タグ:

posted at 18:11:42

Massimo @Rainmaker1973

21年8月26日

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

黒木玄 Gen Kuroki @genkuroki

21年8月26日

大体において、自分の頭で考えるだけで、この話題に参加して来る人は全然ダメな場合が多い。

資料を見てから資料に矛盾しないような意見を述べようとせずに、実際に行われている議論とは違う議論がされているかのようなデマを平気で広める困った人達が実に多い。 twitter.com/ookubotact/sta...

タグ:

posted at 21:00:39

さみみどり @33_midori

21年8月26日

ちょっと前からJuliaというプログラミング言語が機械学習の面で注目されているのでそのうち世界のバックグラウンドはJuliaに支配されるかもしれない(ない)

タグ:

posted at 21:49:54

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました