黒木玄 Gen Kuroki(@genkuroki)/2021年05月12日

Check out "Solving Nonlinear Multi-Physics on GPU Supercomputers with Julia"
presented by Samuel Omlin at JuliaCon 2020
www.youtube.com/watch?v=vPsfZU...
#JuliaLang #Coding #Opensource

タグ： Coding JuliaLang Opensource

posted at 00:10:00

なべきち @nabekichi32

混乱するのは能力の低い指導者であって生徒ではないのよね。
自分のキャパが小さいから「嵌め込み指導しかできない」ワケで、ソレを生徒の能力の低さという論外すぎる理由付けてる連中が現場に多すぎでわ？ twitter.com/5lmnwgrhytah71...

タグ：

posted at 01:11:21

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

数学の公式は、認定とかオフィシャルとかの方向性の話ではなくて、すでに成り立つとわかった便利な性質のことです😌🖖
ピタゴラスの定理もそれ。大事なのは直角三角形の斜辺の二乗が他の辺の二乗の和に等しいということで、書き方のフォーマットなんかはそれとは関係ないです。

タグ：

posted at 06:18:49

数学コミュニケーションは科学コミュニケーションの一部で、まさに数学の初学たる算数がそれを果たすべきで大事な役目を任されてると思うんだけと、今ひとつ数学の基本的な部分の理解をできていない人たちが算数を教えてしまってるのは問題かな😔

タグ：

posted at 06:22:40

JapaneseFoxBoy @orematasaburou

parametric typeを使ったデザインパターンに慣れてきたので、Juliaで継承が使えないことにもどかしさを感じることが少なくなってきた。

タグ：

posted at 07:08:26

#超算数

①「たてが6cm、横が8cm」と問題文に書いていないのでどちらのかけ算順序もマルにする。

②「たてが6cm、横が8cm」と問題文に書いてあれば6×8(のみ)をマルにする。公式はルールだ。

③この認識はこれまでの学び、研修、研究、そして諸先輩や諸教育関係者のご指導によるもの。

😱😱😱😱😱😱 twitter.com/sekibunnteisuu... pic.twitter.com/2d27FfYq2c

タグ：超算数

posted at 07:57:10

#超算数

④教科書に載っている公式に則って問いを解きなさいと指導しているから、そうでなければ減点するのです。
相手は小学生です。あれもこれも正しければ公式ですと言ってしまうのは、ただ混乱を招くだけです。

公式ルールが沢山あると混乱すると思っているように見える。
ひどすぎ。 pic.twitter.com/aktD3JEkVI

タグ：超算数

posted at 08:01:40

#超算数まずこの人は算数において「公式はルールだ」という認識。

公式は単に正しい式の例に過ぎません。

従わなければいけない「公式ルール」というニュアンスはありません。

正しいことは公式を使うことよりも常に優先されます。

タグ：超算数

posted at 08:12:53

#超算数仮に「公式」=「従わなければいけない公式ルール」という非常識な認識を持っていたとしても、実は算数の教科書には結構昔から、長方形の面積の公式として「たて×横」だけではなく、「横×たて」も載っているんです。(天むすさんが詳しい。)

もう、あらゆるレベルでどうしようもない感じ。 twitter.com/temmusu_n/stat... pic.twitter.com/iE3JchSWqk

タグ：超算数

posted at 08:12:55

#超算数注目するべきところは、「公式」=「従わなければいけない公式ルール」的な認識について、【この認識はこれまでの学び、研修、研究、そして諸先輩や諸教育関係者のご指導によるもの】と述べていること。

非常識でデタラメな考え方を子供に押し付ける算数教育の傾向には長い伝統があります。 pic.twitter.com/kyLrQ8V4Jo

タグ：超算数

posted at 08:16:22

#超算数算数教育を通して非常識でデタラメな考え方を子供に押し付けることは、一部の困った先生が個人の力で独自に考えた教え方ではないのです。

算数の教え方を教師に指導する立場の人達が非常識でデタラメな考え方を持っており、非常に長い伝統を持っているのです。

タグ：超算数

posted at 08:19:50

#超算数一部の特別なバカだけが自分で考えて教えているせいで非常識なデタラメを子供に押し付けているのであれば、この問題の解決はそう難しく無かったと思います。

現実には、算数教育におけるデタラメな考え方は100年以上の伝統を持っており、我々の社会の中に浸透しています。

タグ：超算数

posted at 08:22:35

#超算数算数教育の非常識でデタラメな考え方をマスターした人達を育てて十分な社会的な地位を与える強固な仕組みができあがってしまっている。

政府はそのようにして出世した人達に算数教育関係の仕事を任せている。

民間企業もそうです。(多くの教育企業がかけ算順序が逆なら誤りとしている。)

タグ：超算数

posted at 08:26:25

#超算数要するに、算数教育における非常識なデタラメを子供に押し付ける考え方とそれをマスターした人達に政府や民間企業が仕事を回すことによって、我々の社会は動いているのです。

小学校の先生に中に算数で非常識なデタラメを子供に押し付ける人がいるという問題は氷山の一角に過ぎません。

タグ：超算数

posted at 08:29:11

#超算数ある程度以上の常識を持った人達がいる所で、「公式はルールだ」などと述べたらフルボッコ必至です。

それにも関わらず堂々とそのように述べることができる理由は、非常識なデタラメが「常識」として流通している伝統に支えられた堅固なコミュニティが存在するからです。

タグ：超算数

posted at 08:31:50

#超算数ここまでの非常識が、社会のど真ん中で堂々と、伝統的に長期間に渡って行われている分野は稀だと思います。しかも子供相手にそれが行われている。

タグ：超算数

posted at 08:36:08

#超算数しかし、現場の先生で「かけ算順序はどちらでもよい」と保護者に明言する素晴らしい先生もいます。そういう先生を私はリアルで知っています。

そういう先生も小学校にいるお陰で、伝統的な算数教育のスタイルで子供達が害されることが有る程度防がれているのだと思います。

タグ：超算数

posted at 08:40:01

#超算数現在の算数教育界で非常識なデタラメを述べつつ「尊敬」されている社会的地位が高い人達が、非常識なデタラメを述べているという理由で「軽蔑」されるようになれば、現在の小学校内で非常識なデタラメに反対している先生の立場が現在より強くなると予想され、好ましいと思います。

タグ：超算数

posted at 08:43:23

#超算数算数教育における非常識なデタラメを子どもに押し付ける伝統を先輩教師に指導された先生は、非常識なデタラメを子どもに押し付ける行為を実践することを指導されています。

それに従うことに苦痛を感じない人や上手に従わずに済ます人が生き残っており、後者は黙っているのだと思います。 twitter.com/shoyugi/status...

タグ：超算数

posted at 10:03:34

この問題は悪質なカルトの問題に似ていて、「教養が足りないせいでカルトにハマるのだ」という間違った見方と同様の感覚で、おかしなことを言う先生達を見ると社会的に失敗すると思います。(実際に失敗して来た。私も以前はひどく誤解していた)

悪質なカルトが社会のど真ん中に居座っている状態。 twitter.com/shoyugi/status...

タグ：

posted at 10:06:47

#超算数

1911年の時点で
【5ヶ×42=210ヶとすべきを42×5ヶ=210ヶとする類】
は誤りとされていました。

不幸な歴史はこの類を社会のど真ん中に定着させてしまった。

算数を通してデタラメを子供に押し付ける行為には100年以上の歴史がある。 twitter.com/genkuroki/stat...

タグ：超算数

posted at 10:10:14

#Julia言語 JuliaのよいところはWindowsでも普通に使えることだと思います。Windows 10 Home でもJuliaでサポートしている部分は普通に使用できます。(Pythonがらみの部分の方がずっと面倒。Juliaは楽)

Juliaを使ったGPUを使った計算もCUDA.jlを入れればWindows 10でできるようになります。 twitter.com/onoda_oyanz/st...

タグ： Julia言語

posted at 10:19:12

l_ppp @ppp3141592ppp

Ninja DAO | CryptoNi @CryptoNlnjaNFT

#Julia言語

ちょっとハマった。

fill()にVector突っ込んで、VectorのVector作ると
全部同じ参照か
(docstringsに書いてあったけど) pic.twitter.com/EMG9qhHw0u

タグ： Julia言語

posted at 10:19:55

橋下さんの話に一貫しているのは、例にあげてくる他国の例がきちんと調べあげられたものではなく、単なる彼のイメージでしかない、という事だよね。

タグ：

posted at 10:51:52

永井 @HNagai1108

@ppp3141592ppp fillの同じところでハマったことあります。気づかないと意味不明なバグになりますよね…笑

タグ：

posted at 11:12:25

Becky Warren @becky_k_warren

I love this mosaic design that @StargazingAleta shared. Here are a couple of different versions and a look at the construction made in @GeoGebra.

#Maydala #MathsArt #GeoGebraArt pic.twitter.com/vldgPWsZZe

タグ： GeoGebraArt MathsArt Maydala

posted at 11:27:21

天むす名古屋 Temmus @temmusu_n

こちら微妙なんですよねぇ😔
サンプルが明らかにまずくて、僕はここまで不適当な例を出すということは「正方形は長方形でない」と教えているに近い大問題に思いますよ。 twitter.com/flute23432/sta...

タグ：

posted at 12:45:51

@shoyugi 教科書記述で明らかにまずいのは、正方形の面積を一辺×一辺であると書いているところですね。指導書を見ると長方形の縦×横とは区別して学習させることになっていたりします。だから、「正方形は長方形でない」と教えているといってもいいと思いました。#超算数

タグ：超算数

posted at 12:51:32

@temmusu_n そちらも書いてあることは真なんですが、伝えんとするとこに問題ありですね😔🖖あわせて問題ありの記述に思います

タグ：

posted at 12:54:08

@shoyugi @temmusu_n #超算数以下のリンク先から関連資料を色々閲覧できます。 twitter.com/genkuroki/stat...

タグ：超算数

posted at 13:12:01

@shoyugi @temmusu_n #超算数

小2算数教科書には正方形と長方形の正確な定義が載っています。

子供に教科書を通して正確な定義を示しながら、正方形も長方形に分類されるかどうかをわざと曖昧にしたり、算数プリントで正方形を長方形に分類させなかったりするというスタイルです。

もう、一体何をやりたいんだか？ twitter.com/genkuroki/stat...

タグ：超算数

posted at 13:17:31

@shoyugi @temmusu_n #超算数教科書に小2の子でも正方形が長方形の特別な場合であることが明瞭な定義が載っているのだから、その通りに教えればよいと思うのですが、算数教育ワールドでは伝統的に「正方形も長方形だと子供に教えてはいけない」とされていて、その伝統が優先されているのでしょう。

タグ：超算数

posted at 13:20:05

Kiran Shila (@active @activeXray

#JuliaLang's unicode SpareArray visualization makes for a neat way to view radio telescope UV data pic.twitter.com/h6dIS6JxsX

タグ： JuliaLang

posted at 13:41:18

Kiran Shila (@active @activeXray

斉藤　淳　『アメリカの大学生が学んでいる @junsaito0529

*Sparse

タグ：

posted at 13:42:31

日本人ではなく、財務省とかつて日本銀行の意地悪さが原因だったのでは。 twitter.com/Newsweek_JAPAN...

タグ：

posted at 14:47:45

#Julia言語レジストリを壊してしまった疑いがある場合には以下を試してみる。

pkg> registry rm General
Removing registry `General` from ~/.julia/registries/General

pkg> registry add General
Added registry `General` to `~/.julia/registries/General`

discourse.julialang.org/t/pgfplotsx-de...

タグ： Julia言語

posted at 15:29:12

#Julia言語私はほぼ毎日

pkg> up

しているのですが、トラブったことはありません。Juliaのパッケージマネージャーは非常に安定している。

レジストリ更新中にコントロールCなどでJuliaを殺すのはまずい。
OSのアップデート中に電源を切ることに近い行為。

discourse.julialang.org/t/pgfplotsx-de...

タグ： Julia言語

posted at 15:32:09

ﾜｼ・ｭﾊﾞﾙﾂｼﾙﾄ半径 @wasisama

動画変換中。パソコンのファンがシュ～～～～♩

おわた。

タグ：

posted at 15:33:37

pythonで転置行列を扱うときって、普通一旦転置行列用に変数を作るやん？
x_T = np.transpose(x)みたいな

juliaだと x' でおしまい、新規変数つくらずにそのまま使う。
この辺やっぱjuliaすげぇわ
pythonより書きやすくなる上に可読性も上がる

タグ：

posted at 15:35:04

えどすけ @5MGGT8

@Tanuk_Ichi ちょっと調べたらこんな感じでしたわ（2018年時点） pic.twitter.com/cf8Io0tson

タグ：

posted at 16:15:51

積分定数 @sekibunnteisuu

糸井重里と対談してほしい^^ twitter.com/ChapioX/status...

タグ：

posted at 16:16:16

かふいちらふ @kyasCosmos

同じコマンド、Pythonだと一時間かかって、Juliaではミリ秒で終わるのほんま草。

タグ：

posted at 16:30:31

非公開

タグ：

posted at xx:xx:xx

#オンライン授業今日、某大学の某川内北キャンパスの新しい講義の収録システムで録画した動画が「映像全体が白くなる」という問題について、手持ちの道具でどうできるか考えてみました。

USBメモリに録画された1.5GBの動画を扱った。
確かに映像全体が白い。

posted at 16:56:49

#オンライン授業

USBメモリに録画するのはかなり怖い。

posted at 16:56:50

#オンライン授業

使用したのはNVIDIAのGDP付きのWindows 10機。

使ったソフトは A's Video Converter。

添付画像①はUSBメモリに録画されていた動画の再生画面のスクショ。②はコントラストを上げて暗くして再エンコードしたもの。

②がベターなのは明らか。 pic.twitter.com/NQYgCrupbV

posted at 16:56:51

#オンライン授業

再エンコードにかかった時間は私の環境では約8分程度でした。90分1.5GBのUSBメモリに録画されていた動画が再エンコードで400MB程度まで小さくなった。

再エンコードの設定のスクショ 1～4 of 8 pic.twitter.com/7y02o6zVXQ

posted at 16:56:52

#オンライン授業

再エンコードの設定のスクショ 5～8 of 8 pic.twitter.com/oqfJk0YwHu

posted at 16:56:52

#オンライン授業

板書の写真はこんな感じ↓ pic.twitter.com/eO5GvpgxSK

posted at 17:01:12

#オンライン授業収録システムの存在はありがたいです。そして、私のスタイルだと板書による講義は結構動画でも視聴しやすい。

しかし、USBメモリへの録画はかなり怖いし、その後の手間もかなり増えるし、画像の見やすさはiPadの画面共有などでZoomを使った場合よりはかなり落ちる。

posted at 17:03:57

うわ、非常に珍しく、ガチで仕事の話だとわかるツイートをしてしまった。

しかし、こういう情報は全国区で共有するべきだと思ったので書いた。

タグ：

posted at 17:05:48

#Julia言語 Juliaの線形代数用のシンタックスはMATLABの使い易いスタイルを継承していて、内部の実装的には色々よくできているので、線形代数まわりについてJuliaは非常に使い易くなっています。

線形代数が絡む場合に気軽な超高級電卓代わりに使うには現時点で最強の道具だと言ってよいと思います。 twitter.com/wasisama/statu...

タグ： Julia言語

posted at 17:22:48

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

#超算数算数について非常識で複雑で偉そうな響きを持つ杜撰な「独自理論」を作ってそれを子供に教え込もうとし、子供は常識に帰着できずにわけが分からなくなる。

そして、そのわけが分からなくなった子の疑問に答えるためには、非常識な「独自理論」が必要だと言い出す。

典型的なマッチポンプ。 twitter.com/sekibunnteisuu...

タグ：超算数

posted at 17:34:17

#超算数遠山啓さんがやらかしてしまった最大の罪は、算数が常識に基けばシンプルで易しいことを見えなくするような言説をばらまきまくったこと。

社会的に数学者に分類される人達の中にも「算数は本当は難しい」という言説に強い魅力を感じている人達が結構いるはず。

銀林浩さんや森毅さんも有罪。

タグ：超算数

posted at 17:37:26

TaTa @Tata_oac

知らんけどjuliaならx'かtranspose(x)だしpythonならx.Tかnp.transpose(x)だしで違いがよくわからん
どっちも新規変数作っても作らなくても良いのでは twitter.com/wasisama/statu...

タグ：

posted at 17:38:46

#超算数

現代の子供は日常生活の中で数量や図形に関する多くの知識を得ています。

そういう類のことと無関係に、独自の非常識な「算数は本当は難しい」を正当化する権威的に響くが杜撰な「理論」を作って、その「理論」に沿った教え方をすればよいとしたのが、遠山啓さん達です。極めて有害。

タグ：超算数

posted at 17:42:55

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Massimo @Rainmaker1973

The spectacular secret treasures that have been growing beneath Mexico for 500,000 years: a cave with crystals up to 11 meters in lenght and a weight up to 55 tons [read more: buff.ly/2eDzOH5] pic.twitter.com/8nQkmdGIOW

タグ：

posted at 18:00:02

非公開

タグ：

posted at xx:xx:xx

ﾜｼ・ｭﾊﾞﾙﾂｼﾙﾄ半径 @wasisama

#Julia言語おお！シンプルかつきれいですばらしい！ twitter.com/kado_judo0312/...

タグ： Julia言語

posted at 18:52:42

@Tata_oac まじか、.Tの存在知らんかった

タグ：

posted at 18:53:55

#Julia言語

Int64[] == Int64[] は true になる。

それでは、Int64[] === Int64[] はどうなるか？

答え↓ pic.twitter.com/6zTWJZ92TJ

タグ： Julia言語

posted at 19:12:57

#Julia言語

n = 3
a = fill(Int64[], n)

のとき

all(a[i] === a[j] for i in 1:n-1 for j in i+1:n)

はtrueになる。すなわちaの成分は区別できない。

b = [Int64[] for _ in 1:n]

のとき

all(b[i] !== b[j] for i in 1:n-1 for j in i+1:n)

はtrueになる。すなわちbの成分は互いに異なる。 pic.twitter.com/zBJJJgezvR

タグ： Julia言語

posted at 19:13:00

#Julia言語

n = 5
b = [Int64[] for _ in 1:n]
push!(b[1], 666)
push!.(b, 111)
@ show b;

の結果は

b = [[666, 111], [111], [111]]

になる。

a = fill(Int64[], n)
push!(a[1], 666)
push!.(a, 111)
@ show a;

の結果はどうなるか？

答え↓ pic.twitter.com/ddhopes6HN

タグ： Julia言語

posted at 19:13:02

#Julia言語ソースコード↓
gist.github.com/genkuroki/9a0a...

タグ： Julia言語

posted at 19:13:41

ねとらぼ生物部 @itm_nlabzoo

ご立派！

“耳毛期”の子猫の写真が「かわいすぎて何回も見返してしまう」　子猫のモフモフっぷりがいとおしい nlab.itmedia.co.jp/nl/articles/21... pic.twitter.com/6x1Z67cpo2

タグ：

posted at 19:35:00

#Julia言語

パッケージAでの型A. Fooには有用な機能達が多数定義されているとする。

型A. Fooに別のメソッドを追加したいと思った人は、パッケージAの作者にお願いする必要はない。

自分のパッケージBで勝手に定義してしまえばよい。

gist.github.com/genkuroki/1240...

discourse.julialang.org/t/is-julias-wa... pic.twitter.com/htavCWqW7L

タグ： Julia言語

posted at 19:44:59

#Julia言語パッケージAで定義された型Fooをクラスのようなものだと思ってしまうと、「クラス」Fooの作者にメソッドaddの追加をお願いしてもそうしてくれない場合には、Fooの「サブクラス」へのメソッドaddの追加を考えてしまうかもしれない。

しかし、階層構造が増えると色々しんどくなる。

タグ： Julia言語

posted at 19:55:19