黒木玄 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 を見て下さい。
2020年07月12日(日)
@ishiiakira @lolita_cpx 『解析概論』は【どうだ、俺は頭がいいだろと自慢げな本】ではないということですね。
しかし、【この部分で連続だけど微分できない関数の例だけを山ほど上げて】いる本(「だけ」と書いていることに注目)の例になっているという主張は撤回しないわけですね。
さすがにこれも苦しいのでは?続く pic.twitter.com/K8GOzZDOqQ
タグ:
posted at 00:03:08
@stephentyrone @dlfivefifty @MoseGiordano We'll happily build it ourselves, we just need a Fortran compiler ;). People do regularly use upstream LAPACK with Accelerate BLAS which seems to work well and have good performance. I suspect the improvements would be even better on ARM64.
タグ:
posted at 00:05:13
@ishiiakira @lolita_cpx 根拠が全くない主張を曖昧な記憶に基いて書いているだけで、指摘されたことだけを撤回するというちょっと信じられないほど愚かなことをしているように見えます。
こういうバカな態度は今後は避けた方がよいです。
批判するときにはきちんと証拠もしくは議論の材料になり得る資料を提示しないとダメ。 pic.twitter.com/cY5DyYHDsn
タグ:
posted at 00:06:55
@BuckmasterFresh @MoseGiordano The issue isn't Arm, it's "Apple's weird not quite Unix" on Arm - the compiler doesn't just make a block of Arm instructions - it has to have the right function calls, work with Apple's weird linker etc.
タグ:
posted at 00:09:41
資料
石井晃さんのような残念な人もいるので次世代を担う人達は注意が必要。
このスレッドの上の方を読めば分かるように、ぱいさんが述べている問題は数学科の教育において大事な問題。
具体的で価値ある計算に関する教養を抽象化とバランスを取りながらどのように身につけてもらうか。 pic.twitter.com/LiHfnjuJHV
タグ:
posted at 00:24:56
@mtkharu3 @miyuki_MathT @sekibunnteisuu ええと、かけ算順序コンサル氏は真面目に相手をする価値が皆無に見えるので、これ以上続ける場合には私を返答先から外してもらえると助かります。お願いします。
タグ:
posted at 00:32:07
ん?今頃になって気付いたけど「工学vs.数学」というような存在しない対立図式に関するくだらない話が結構されていた?😱
くだらなすぎ😅
いずれにせよ、長時間に渡って地道にかつ楽しんで努力しないと、数学は理解できないし、役に立つ形で使えるようにもならないことは事実だと思います。
タグ:
posted at 00:47:51
Gabriel D Weymouth @gabrielweymouth
CFD (Colorful Fluid Dynamics) in @JuliaLanguage! WaterLily.jl package is now public: github.com/weymouth/Water... pic.twitter.com/3ruQXB7Wxu
タグ:
posted at 00:51:37
#Julia言語 小ネタ
Juliaで二進法表現での1の個数を数える演算(所謂popcount)は
count_ones(x)
docs.julialang.org/en/v1/base/num... pic.twitter.com/iISEdBRchB
タグ: Julia言語
posted at 00:59:34
#数楽 どこかで「二次方程式の解の公式を使うときには桁落ちが少ない方を使うのが工学者」という話も見たような気がするが、私はすでにその話を中学や高校の数学で分母の有理化を強制するのはよくないという話題ですでにしている。
その程度のことは中学校数学レベルの話題でしかない。 twitter.com/genkuroki/stat...
タグ: 数楽
posted at 01:06:14
多分、数学をそれなりに地道に勉強したことたある人たちにとって、どの程度のことが中学校数学レベルの話題に見えているかが分からないせいで、おかしなことを言い出してしまう人達がいるのだと思った。
タグ:
posted at 01:08:03
@sekibunnteisuu @ichirousan_ 子供の立場に立つと、
先生はおかしくないのに、バツにされた。
先生はおかしくないのに、お母さんがマルにした。
となって、非常に困ると私は考えて、自分ちの子には明瞭に「この件では先生の側が完全に間違っている。だからうちではマルにする」と言っていました。続く pic.twitter.com/4G6V0w9KQ9
タグ:
posted at 01:30:13
@sekibunnteisuu @ichirousan_ 私は家庭内ではいつもいーかげんなことを言って間違って「ごめんなさい」と言っています。
先生だってデタラメをやってしまうことは当然あると思います。先生の側が子供に対して自分の側の非を全面的に認めて謝罪するべきです。
謝罪できない先生が子供から嫌われるのは当然のことです。
タグ:
posted at 01:34:45
受講者が異なったプログラミング言語を自習してきて,授業ではお題に対して「R だと...」「Python だと...」「MATLAB だと...」「Julia だと...」みたいにワイワイやるのはどうか.一種のジグソー法かな?
タグ:
posted at 01:38:18
#超算数 #移項る
本当は笑いごとではないのですが、以下の話にはうけた!(笑) twitter.com/wato_d/status/...
posted at 01:43:45
#超算数 #移項る 関連資料
「その教え方はまずい」という証拠が出て来ても改善されないのが、小中高の算数数学教育の世界。
おっそろしく保主的で、19世記の時代遅れの流儀さえ維持されていたりする。
twitter.com/genkuroki/stat...
posted at 01:48:31
非公開
タグ:
posted at xx:xx:xx
#超算数 xに関する方程式の定義を「xの値によって成り立ったり成り立たなかったりする等式」とすることは、
19世記の文献に見つかる時代遅れの
現代的には誤り扱いするべき流儀
です。
そのように書いてある本を見つけたら教えて下さい。
twitter.com/genkuroki/stat...
タグ: 超算数
posted at 01:53:16
#Julia言語 Julia v1.5.0-rc1 いいです。
メモリ割り当てが0になって欲しいケースにしっかり0になる!
これ、配列を使うプログラムを書いているときには重要。
添付画像の例は2次元の周期境界条件の場合の離散ラプラシアンの計算。
gist.github.com/genkuroki/5806...
gist.github.com/genkuroki/d2f9... pic.twitter.com/zFYTRGF48R
タグ: Julia言語
posted at 02:39:22
There are more than 43 quintillion (43,252,003,274,489,856,000) different possible configurations of the coloured squares on any 3x3x3 Rubik's Cube. Yet you are never more than 20 moves away from solving the famous puzzle buff.ly/3iPAFGG pic.twitter.com/WjtUa3KID2
タグ:
posted at 03:14:42
There's also a series of apps that assist you in solving the cube in no less than 20 moves buff.ly/2OgYxVz pic.twitter.com/75SZLnl4xs
タグ:
posted at 03:16:11
@Megnag76 @hedgehog_math a個をb人で分けると1人何個か?
a個をb個ずつ分けると何人分か?
どちらのタイプの問題も扱うべきだから、教える側が便宜的に、これを2つのタイプの問題として認識することは必要かもしれません。
しかし教える側は「本質的には区別がない」「子供に区別させるのは有害」と認識する必要があります。
タグ:
posted at 04:55:00
MER氏は、算数教育の問題点を矮小化しようとする傾向がある。
教材会社のテストがいろいろまずいのは事実だが、それは算数教育がおかしくなっていることの反映。教科書だっていろいろひどい。 pic.twitter.com/oizACpI8Ej
タグ:
posted at 05:45:52
点滴のとき、数個の気泡が体内に入って行くので看護婦さんに「これ平気ですか?」と聞いたら「平気です」
「ミステリの消えた兇器っていうやつで空気を注射するのってどうなんでしょう?」「あれはよほど大量に入れないと効かないです」とのこと。知ってたけど、せっかくプロがいるので聞いてみた。 pic.twitter.com/Ms29lLDOZ2
タグ:
posted at 06:39:15
@yamasati39 @shoyugi @happy_fumifumi @BouquetAlgernon >反射的に答が出るようになるまで習熟することに変わりはなく
その必要なくない?
>それを暗記というしかない
陰山英男が「暗記すべき」と言っている中身は、そんなレベルじゃないよね。文章問題の文面と答えをセットで丸暗記とか。
陰山英男はクソですね。
タグ:
posted at 07:24:16
We say twelve, write onety two, but daren't say that. We won't write or say twelvety. We'll say twelve-hundred though, but write one-thousand two-hundred, which we'll also say. We'll say twelve-thousand but write & won't say one-ten-thousand two-hundred. We're all over the place! pic.twitter.com/DagLOFmp3J
タグ:
posted at 08:21:35
@mathematicsprof Went to a talk of Jean-Pierre Serre at the College de France in 2000 for Jacques Tits' retirement, when I was a student. I understood the first 10 minutes maybe. Then he started talking about "buildings" and "apartments"... no idea what it was.
タグ:
posted at 08:23:10
@jamestanton The french way of saying numbers is quite funny.
Example :
97 : Quatre-vingt-dix-sept.
Litterally 4-20-10-7
タグ:
posted at 08:41:16
@c_pellegrino @owainkenway @BuckmasterFresh Thanks! We also have an issue tracking the progress of the port of #JuliaLang to #AppleSilicon: github.com/JuliaLang/juli.... Your issue is already mentioned 😉 And it looks like @KenoFischer already chimed in
posted at 09:24:17
ピンカーの「反フェミニスト的立場」について,Kate Manne 先生の Down Girl に詳しく書いてあるという示唆を得たのでちょっと覗いてみたやよ.flipoutcircuits.blogspot.com/2020/07/blog-p...
タグ:
posted at 10:47:43
非公開
タグ:
posted at xx:xx:xx
#Julia言語 Julia v1.5.0-rc1に引っ越した。
nbviewer.jupyter.org/gist/genkuroki...
メモリ割当がない演算
もv1.5.0-rc1を使って更新した。日本語によるコメントも追加しておいた。
多分、Juliaで大きめの配列を使った計算を始めたい人にとって非常に役に立つ情報のはず。
タグ: Julia言語
posted at 10:55:50
#Julia言語 これも更新した↓
gist.github.com/genkuroki/decd...
大配列uについて
function update(u)
uの更新結果
end
function iter_update(u, N)
for i in 1:N
u = update(u)
end
u
end
というコードを書くとはまります。メモリ効率最悪で非常に遅くなる。解決法は添付画像。 pic.twitter.com/wCveFXPnjH
タグ: Julia言語
posted at 11:01:02
ケイト・マン先生の文章,修辞的にめんどうなんだけど,とにかく当該範囲だけでもと思っていちいちチェックして読むと,大して中身のあることを言ってなくてかなしかった(労力的に).
タグ:
posted at 11:05:16
@sekibunnteisuu @Megnag76 @hedgehog_math あと、算数プリントの問題の解答欄は常に「式 答え 」の形式になっているのですが、「式の欄に割り算の問題の文章や場面を翻訳してできる割り算の式を書かせる」という教え方はやめて欲しいです。割り算の式をいきなり書かせるために、等分除と包含除を子供に教え込もうとしているように見える。
タグ:
posted at 11:29:52
@sekibunnteisuu @Megnag76 @hedgehog_math 次の考え方を続ける限り、算数教育が子供を害する活動になっているという問題は解消されない。
❌「文章や場面を式に翻訳する(立式)→計算する→答え」
これが本当にひどい。式は翻訳先として使えない道具です。たぶん、そういう基本的なことが分かっていない。
タグ:
posted at 11:33:08
非公開
タグ:
posted at xx:xx:xx
#Julia言語 「できるだけ中身を展開したくない」関連
サイコロを100回振って出た目の2乗のリストが欲しければ
A = rand(1:6, 100)
S = [x^2 for x in A]
と書けるのですが、x^2の評価を遅らせるためには
G = (x^2 for x in A)
と書けます。collect(G)で全部計算してくれる。続く twitter.com/chor0sk/status...
タグ: Julia言語
posted at 11:45:36
カリスマ呼ばわりされてる割りに余りにも酷いので、後学のためにメモ。
纏めると
① 説明すべき事故の説明が無く、「なぜ?」が大量に残る。それで理解する方が無理。
これに尽きる。
あとは、説明が不足してるせいで、順番がおかしかったり、キハジに依存したり、難しく感じるようになる感じ。 twitter.com/Yossy_K/status...
タグ:
posted at 12:10:46
何年かぶりに学生さんとセルオートマトンで遊ぶこととなったのだが... 問題はプログラミング環境がない。無駄な予防策でアプリケーションのインストールは「業者」の許諾が要る謎管理状態。学生さん達は数人だけど家庭にパソコンはほぼない。Python使う予定がありanacondaを夏に入れる予定らしいが...
タグ:
posted at 12:29:10
その情処担当者曰く「ネット使いたくないんですよね」だからなぁ... 多分anacondaの事も分かってないのだろう。京大のページでって...あーた。当然やけどじゃあJupyterNotebook 使うのかとかJuliaもと思うたが無理やろなぁ。Python一式がどういうことかも分かってないかもしれない。業者と話ができるか
タグ:
posted at 12:37:49
そして,念の為じゃあVScodeは... と訊いてみたが恐ろしい事に「知らない」ようだった... で長くなったのだけど「どないして」学生さん達と遊ぶかだ。所謂研究ごっこなんだけどそれでも何かしら知見や経験は積んで欲しい。今のところスタンドロンで動きそうな十進BASICとProcessingを入れといてくれと
タグ:
posted at 12:40:32
頼んではあるけど... そんなわけで @genkuroki さんの #Julialang な配列の話とか気になるけど遊んでへん。此のコロナでやっとやる事が決まったところ。実際動けるのは8月後半からかな。一応純数学よりな話も幾つも挙げたけど...ラムゼーな話とかゲームの必勝法の話とか... 予想通りの展開となる。嗚呼
タグ: Julialang
posted at 12:45:12
#数楽 #Julia言語
nbviewer.jupyter.org/gist/genkuroki...
添付動画は函数
f(x, y) = x²y/(x² + y²) (原点では0)
が(x,y)=(0,0)においても方向微分可能(方向を固定して1変数函数化したときに微分可能)であることを示す動画です。
(x,y)=(0,0)で接平面が取れないこと(微分不可能性)は見た目的に明らか。 pic.twitter.com/gn78Chve99
posted at 13:15:00
〈120kmを2時間で進むときの時速〉を求めるときになぜ 120÷2 を計算するのかの説明がない。
こういう絵くらい書こうと思わないの? pic.twitter.com/sQJjahOdyl
タグ:
posted at 13:43:32
批判を「妬み」と認識しているわけで、そりゃ「ハジキに変わる指導」なんて見やしないだろうね。それで「否定する人は、ハジキに変わる指導を提案しろ」とか、よく言うよ。 pic.twitter.com/J0Ud8ABQ7Q
タグ:
posted at 13:49:54
あと「優秀な人」が担当した場合は異動が基本数年で必ずある業界なので「いなくなった後も上手く存続する」場合は聞いたことない。大抵崩壊する。つまりその程度の優秀さしか期待できないしそもそも技術・機器レベルでのアップデート激しいからどんなに優秀でも基本無理。 twitter.com/skboyj2/status...
タグ:
posted at 13:50:02
#Julia言語 structにするか、mutable structにするかの決定は、JuliaのBase moduleのソースコードを見て真似すればよいと思う。
例えば、複素数のComplex型はstructになっている。
多くの場合にstructで足りる。
github.com/JuliaLang/juli... pic.twitter.com/5esDO2iIiO
タグ: Julia言語
posted at 13:52:08
1mはどのくらいか、1kgはどのくらいか、というのと同様に、秒速3mはどれぐらいか、とかそういう感覚が分かることを「速さのイメージ」と言っているのではないだろうか?それなら、車を運転しない子どもには速さが理解しにくい、とかいう意味不明の発言の意図も分かる。
タグ:
posted at 13:52:49
しかし算数・数学として長さや時間や速さの関係を理解するのと、1mはどの程度か、という感覚の習得は別問題。
時速の意味を知らなくても、車を運転していれば、「時速50kmは大体こんな感じ」というのは分かる。
陰山英男は馬鹿だから混同しているのだろう。
タグ:
posted at 13:55:03
twitter.com/kageyama_hideo...
おれの認識が甘かった。
ここで陰山英男の言う「数値の単純な事例をさせ」るというのすら、比例を軸に考えるのではなく、ただの暗記だったわけだ。 twitter.com/Kageyama_hideo...
タグ:
posted at 13:55:34
OokuboTact 大久保中二病中年 @OokuboTact
@genkuroki > 本の著者とタイトルも知りたいところだ。
この本らしいです
www.amazon.co.jp/%E3%83%99%E3%8...
タグ:
posted at 14:11:16
Another reason why Julia is the Data Science language of the (near) future:
I have been trying to make JLBoost.jl (a pure-#julialang) XGBoost-like) "hackable".
Background: XGBoost has a grow_policy parameter with two possible choices "depthwise" and "lossguide".
1/n
#xgboost pic.twitter.com/mYVThQrEMZ
タグ: xgboost
posted at 14:20:17
Users in Python in R are not able to add more. You need to fork the C++ code to add new methods.
But grow policy is just a way to select which end node to split.
See lightgbm.readthedocs.io/en/latest/Feat...
2/n
タグ:
posted at 14:20:18
To make the grow_policy "hackable" in JLBoost.jl, all I needed to do was to provide the grow_policy as a parameter.
The grow_policy parameter needs to be a function, such that grow_policy(tree) returns the node to split!
That's it!
3/n
タグ:
posted at 14:20:18
Indeed, for the "depth-wise" grow policy just return all leaves nodes
And for the lossguide (aka best-first, leaf-wise) just return the leaf node with the highest gain!
One can experiment with other approaches just by providing a Julia function.
Did I mention no C++?!
4/n
タグ:
posted at 14:20:18
I am working thru (slowly) all the parts of a tree-boosting lib that should be "hackable". Once done, JLBoost.jl should allow researchers to experiment very quickly with new ideas!
JLBoost is only at the 1st stage of 1) working, 2) bugfree, 3) fast. So early days.
5/n, n=5
タグ:
posted at 14:20:19
パリッパリに焼けた香ばしい海苔を巻き付けた海苔おにぎり twitter.com/nsmineral/stat... pic.twitter.com/CUMpX9MC3X
タグ:
posted at 14:20:27
お金を刷ればいいと言った時に冗談だと思っちゃうんだろうね。そんな簡単なことで解決するはずがない、簡単にできるならとっくにやってるはずだという思い込みから抜け出せない。
タグ:
posted at 14:45:32
@OokuboTact #数楽 さんきゅ!確認しました。
【連続関数は微分可能】はさすがにまずい(笑)
f(x) = |x| とかの例が高校数学レベルで簡単に作れてしまふ。
* 連続函数 ⇔ 切れていない
* 微分可能 ⇔ なめらか
というような大雑把な理解をしていれば防げる誤解。
books.google.co.jp/books?id=5OJqD... pic.twitter.com/6MBrOnPV1U
タグ: 数楽
posted at 14:46:42
しかし、イラスト付きで目立つように「連続関数は微分可能」と書いてあるのは可笑しすぎなので正誤表を出した方がよい。
どうせ、この手の自明な誤りまで鵜呑みして信じる人に科学をまともに理解できるはずはないので、害は小さいと思う。
害は小さいが笑える。
タグ:
posted at 15:00:59
私が作ったほうの箱です。
特に悪質な加工がなければ二次配布してもいいよ。
PDF(ベクターデータ)は下記になります。
18.gigafile.nu/0719-bf68c9aec...
なにか不備があれば自分で直しそうぜそれが学習だぜ。
いいのができたら送ってください。 pic.twitter.com/GfgoJOoXMc
タグ:
posted at 15:06:02
自明な誤りを指摘するよりも、著者が独自のこだわりを持って書いたと推測される部分を正確に引用して批判する方が良い。
例えば、豊田『瀕死本』とか、他にも、例えば以下のリンク先とか。
twitter.com/genkuroki/stat...
タグ:
posted at 15:09:07
#超算数
実は、この単に言葉だけ=特定のキーワードで判断する方針は小学校1年から始まっていることが、分かっています。
例えば「ふえると」「くると」のようなキーワードがあると「ふえるといくつ」の意味でのたし算になり、たし算順序が逆なら誤りとされる場合があります。
続く twitter.com/praco0080/stat...
タグ: 超算数
posted at 15:26:24
#超算数 陰山英男公式チャンネルによる「速さ時間きょりの学習」www.youtube.com/watch?v=9Z5KGU...は、速さに関する半可通の長広舌です。この授業は2020年7月10日にライブ配信されたもので、長さは27:29。大きな特徴は次の2つ。
1. ほとんど文字情報に依拠した指導内容である
2. 遠山啓または数教協に依拠する
タグ: 超算数
posted at 16:04:46
#超算数 隂山英男氏、150km÷50km=3時間と書いてしまう。【ごめーん、ごめーん、ここ速さだよね、ということで、笑ってゴマカせ自分の失敗】といいつつ締めくくりに行く。二度目の間違いだ。(伏線回収!)
締めくくりにはじきについて以下のような発言。ほぼ文字通り。えーとかこのとか抜いただけ。 pic.twitter.com/LbWI5o625T
タグ: 超算数
posted at 16:04:56
非公開
タグ:
posted at xx:xx:xx
#超算数 複数個の数の積を与える写像の定義域には数の multiset (非順序組)の集合が取れます。multisetの概念はすでに19世紀にDedekindさんが『数とは何か、何であるべきか?』で使っているらしい。
ja.wikipedia.org/wiki/%E5%A4%9A...
タグ: 超算数
posted at 16:25:02
オラにもkにしか読めない... 最近zの筆記体をyの筆記体で書く学生さんは増えたけど... まさか此れをk以外の文字だと認識する人が現れるとは #驚愕 する限り。此れ中高の英語科の先生や小学校でローマ字教えてる先生はどう思うのか本気で知りたい。 #責任取れ twitter.com/tk012345678901...
posted at 17:50:00
これで「bやBと読めるだろう」と言われたらソイツの目ン玉の出来を疑うし、論文云々ってぇ話については今どき手書きで論文なんて極めてレアで、TeXかなんか使うだろとしか。 twitter.com/tk012345678901...
タグ:
posted at 18:04:56
富井智(TOMII Satoshi) @Satoshi_Tomii
言いがかりも甚だしい。字がきれいではないかもしれないが、これが本気でbやBに見えるとしたら、目の見え方というか認知に問題があるとしか言いようがない。てかそんなことを言い出したら、大学教授を含めた研究者の手書き文字なんて誤認の嵐だろ。 twitter.com/tk012345678901...
タグ:
posted at 18:14:49
ビー玉にナットを接着した振り子で「ペンデュラムウェーブ」を作ってみました。
約1分おきにすべてが1列にそろいます。
計算でひもの長さを出しても全然綺麗にそろわず、何度も微調整をするのがとても大変で苦労したのでぜひ見てください!!!!!! pic.twitter.com/nAf1GjEKRz
タグ:
posted at 18:15:55
暴論すぎて草
(ちなみに世界で一番アルファベットの筆記体を上手に書けるのは日本人という説があるらしいです) twitter.com/tk012345678901...
タグ:
posted at 18:27:59
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
@metameta007 予想通りですね。メタメタさんの混乱の原因が分かりました。
数を抽象化された概念であることを認識してないことが原因です。
3-3は、●●●-●●● だから同じだけど、
3×3は、●●●×●●● とするのは違和感がある、ということでしょう。
これは、●●●を3とみなすことによる混乱です。
タグ:
posted at 18:36:53
@metameta007 ●●●は 3つの● であって、3そのものではなりません。
3は抽象化された概念で、見ることも触ることもできません。
具象から抽象概念である数の途中で、●とかを介在させてイメージを作ること自体は否定しませんが、メタメタさんはそこにとどまっているから混乱してしまうのです。
タグ:
posted at 18:38:44
@CircleKuro 失礼します。#超国語 では、#十分 で、「じゅっぷん」か「じっぷんか」などがあります。
あと、星はきらきら輝くのか、キラキラ輝くのか、とか、横書き読点は、「、」か「,」とかもありますね。
posted at 18:54:03
@antiMulti @CircleKuro >水の沸点を100度と教えても「超理科」とは言われない
厳密には100度ではない、とかいう話でしょうか?
そのたぐいの話と、掛け算に順序がある、という噓出鱈目は全くの別物です。
タグ:
posted at 19:01:01
これがBにもbにも見えると言うなら、
分母の11は小文字のLに見えるとも言えるだろうし、タイピングで解答書かない限り詰みでは…
そもそも問題文からどの文字かは容易に分かる。 twitter.com/tk012345678901...
タグ:
posted at 19:27:30
#Julia言語
2次元周期境界条件での離散ラプラシアンの実装の仕方による性能の違い
nbviewer.jupyter.org/gist/genkuroki...
周期境界条件をどう扱うかが問題で、mod1を使うと滅茶苦茶遅くなるので要注意。
私が試した最速の方法より14倍以上遅くなる。
10分で済む計算が2時間20分以上かかるということ。 pic.twitter.com/s6kHA9D8Je
タグ: Julia言語
posted at 19:28:00
捕食被食の文脈は面白い。甲殻類が貝を食べる文脈を考えると、貝を食べようとして貝殻を破壊するのには、1)カニのハサミ型、のように機械効率増大方式(缶切り)と、2)シャコのパンチ型、のように速度増大方式(弓矢)があるな、みたいに認識している。白浜水族館ではカラッパとシャコをこうして紹介した。
タグ:
posted at 19:46:27
覚えるのが苦手であることは数学が得意になる要素があるかもしれない。あと、計算が苦手とか面倒くさがりと言うのも重要。
覚えるのが苦手だからその都度考える。計算が苦手でめんどくさがり屋だと、以下に手抜きして楽に求めるかを考える。 twitter.com/broadshoulders...
タグ:
posted at 19:53:43
水族館ではどんなに頑張って手で握っても貝殻を壊せない様子を見せたあと、ペンチで破壊してみせた。そして残念ながらシャコを真似したデモはできないと話す。銃をデモするわけにはいかないので。
タグ:
posted at 19:56:44
ペンチはカラッパのハサミに近いですが、銃は火薬の爆発を使うので比喩としては遠いと感じますね。あのサイズであの速度を火薬なしに実現するのは、やってみると分かりますが、相当難しいです。P研での成果にそれに挑戦したNinjabotというのがあります。phys.org/news/2014-02-n...
タグ:
posted at 20:16:47
#超算数 これじゃあ確かに、ハジキを教えるかどうかは些末な問題だね。ハジキがなくても酷い授業。
陰山英男は、「3つの公式を暗記させる。ハジキはその手段に過ぎない」という認識。確かに問題点はハジキではない。 twitter.com/temmusu_n/stat...
タグ: 超算数
posted at 20:26:24
#超算数 この記事でも、速さの指導が、3つの公式を覚えさせることが主眼になってしまっていて、そのためにハジキが使われている、というように、書いたんだけど、馬鹿の陰山英男は「ハジキだけ」を問題視していると思って、頓珍漢な反論をしている。
twitter.com/conoki69/statu...
タグ: 超算数
posted at 20:29:09
Gösta (ent. Alpertti @Jussi2512
勉強会終了〜!
有限要素法の説明 5 回分つかれた💦
理屈はおもしろいんやけどね、計算多すぎて聞き手は理解しにくかったやろな。
また機械学習なんかしよっかな、今度は Python じゃなくて Julia で🤔
タグ:
posted at 20:32:43
今やってるOSSプロジェクトメンバーの考え方が先進的でとっても勉強になってます。
Juliaの開発環境を作ってるんですが、Language serverのsymbol indexingをクラウドでホストするとか自分は考えたこともなかったし、telemetry reportがあるとこんなにbugfixが簡単なのかってことも知りませんでした。
タグ:
posted at 20:34:18
#超算数 正確には3.14×nの暗記。
以前、私がバッカじゃないのと言ったときには、実際に暗記してしまったとても若いと思われる人達から、結構な反発がありました。
運悪く覚えさせられてしまった人は気の毒なのですが、自分の次の世代に対する加害者にならないようにしてほしいと思った。 twitter.com/hirofujiponpon...
タグ: 超算数
posted at 20:51:56
@sekibunnteisuu #超算数 【270÷1.5なんてしちめんどくせー計算】とは言い条、割り算は逆数のかけ算なので、÷3、×2は正に小数の割り算をやったことになっているんでええす。
×1.4を1.4個という児童を難詰して1.4倍と言い直させるのが有害な指導であるのと同じように確かなことです。😝
タグ: 超算数
posted at 20:53:21
@temmusu_n >÷3、×2は正に小数の割り算をやったことになっている
そうなんですよね。全体の60%が21人で、全体を求めるのを3で割って5倍するのも同様。
これを敷衍したら、73%なら、73で割って100を掛ける、つまり、0.73で割る作業そのもの。
タグ:
posted at 20:57:43
@genkuroki #超算数 >正確には3.14×nの暗記。
n×3.14になっていますね。直径×円周率、じゃないと「順序が逆になる」ということでしょう。
twitter.com/sekibunnteisuu...
タグ: 超算数
posted at 21:11:12
SOLEIL DATA DOJO @soleildatadojo
「速くて書きやすい」次世代の言語Juliaを学ぼう! Julia勉強会#1 を公開しました! soleildatadojo.connpass.com/event/182593/?... #DeepLearning
タグ: DeepLearning
posted at 21:29:16
Aegis@おもろいエンジニアの集い場 @EngineerMeetup
「速くて書きやすい」次世代の言語Juliaを学ぼう! Julia勉強会#1 / soleildatadojo.connpass.com/event/182593/?... #エンジニア #zoom #相互フォロー pic.twitter.com/JO3EZ4roPy
posted at 21:57:31
「交換法則によって」4×5と5×4が「等しくなる」と思ってる系の人だ。初心者にありがちな勘違いなので注意。 twitter.com/manabigear/sta...
タグ:
posted at 22:06:58
#超算数
引用【式は4×5が正解で、5×4は間違いです。】
我々が色々調べて「こりゃダメだ」と批判している教え方の典型例。
式 4×5
や
式 4×5=20
や
式 4×5=5×4=20
は正解にするが
式 5×4=20
などは誤り扱いするクズ教育。
勝手なローカルルールで子供を殴って反省しない人達。 twitter.com/manabigear/sta... pic.twitter.com/TFM006z928
タグ: 超算数
posted at 22:47:55
車が5台あってそれぞれに4人ずつ乗りこむんだろ?それなのに5×4をとりあえず誤りにするという考え方が意味不明なんだけど、こんな人に子育ての方法をアドバイスされても・・・ twitter.com/manabigear/sta...
タグ:
posted at 22:48:12
非公開
タグ:
posted at xx:xx:xx
うー、なんで思い通りに動かないかをJulia完全理解者に質問したいけどプログラムがおっきくなってくると回答する人の負担がとんでもなく大きくなっちゃうので自分で解決するしかなくて辛い
タグ:
posted at 22:52:03
#超算数 それは「ローカルルールでないことの証拠」でも何でもなくて、「片桐重男氏のような有害な教え方を広めている人物が書いているローカルルールに従う困った教員がいること」を示しているだけに見えます。
可能ならばどなたか『算数教育概論』の引用をお願い!
片桐氏に関する情報に続く。 twitter.com/manabigear/sta... pic.twitter.com/k5HfvVZd4C
タグ: 超算数
posted at 22:55:43
#超算数 我々の間で片桐重男氏は、括弧の内側を先に計算する理由を単なる約束(ルール)でしかないことを理解できずに珍妙な説を唱えていることで有名です。
片桐重男氏によれば【1つの数量を表すから、かっこの中を先に計算してよい】らしい。
このトンデモ説は学習指導要領解説にも載っている。 twitter.com/temmusu_n/stat...
タグ: 超算数
posted at 23:07:18
#超算数 片桐重男『算数教育概論』にも括弧の使い方についてデタラメが書いてある。
このような本で算数の教え方を勉強してしまう教師がいることは、子供達にとっては非常に迷惑なことである。
twitter.com/sunchanuiguru/...
タグ: 超算数
posted at 23:10:04
@genkuroki #超算数
8254.teacup.com/kakezannojunjo...
>間違いだらけの算数指導 正しい・楽しい授業を創る秘訣 片桐 重男 明治図書
タグ: 超算数
posted at 23:12:05
#超算数 括弧の使い方に関する片桐重男氏による珍妙な説が学習指導要領解説(≠学習指導要領)にも載っていることに証拠の引用。
twitter.com/genkuroki/stat...
タグ: 超算数
posted at 23:12:36
@genkuroki #超算数
1分間に4/5Lの水が漏れる。2/3分間ではどれだけもれるか、という問題。
>4/5÷3×2 のように立式したものについては、「与えられていない数値を使っての立式は不十分である」ことを明らかにする。
「間違いだらけの算数指導」は片桐重男のことでした。
タグ: 超算数
posted at 23:12:53
#超算数 片桐重男氏は『間違いだらけの算数指導』にも括弧の使い方に関する珍妙な説を書いている。
間違いだらけなのは片桐重男氏本人ではなかろうか? twitter.com/genkuroki/stat...
タグ: 超算数
posted at 23:14:31
@manabigear @genkuroki 遠山啓が何かに「どっちの順序も正解」と書いてました。
>ネット上ではかけ算の順序問題について議論されていますが、学校の教育現場や研究会ではほとんど話題になっていないのが私の印象です。
それは掛け算の順序指導が正当であることの根拠にはなりません。
タグ:
posted at 23:15:13
I✰seeyA @スギ花粉舌下免疫療法中 @Se_ya_san
4人乗れる車が5台あるのと、5台の車にそれぞれ4人ずつ乗るのと、何が違うのか分かりません😜 twitter.com/genkuroki/stat...
タグ:
posted at 23:20:21
#超算数 悪名高い(評判の悪い)指導法に「問題文の中にない数値を無断で使うと減点する」という教え方がある。
片桐重男氏は【与えられていない数値を使っての立式は不十分である】と指導せよと述べている。
こういう教え方をするから、算数が苦手な子の理解への道が閉ざされるのだ(既出の話題)。 twitter.com/genkuroki/stat...
タグ: 超算数
posted at 23:21:16
非公開
タグ:
posted at xx:xx:xx
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n > もう今日はチョー算数は店じまい… まったく、あふれんばかりの豊富なトンデモの泉だなあ。
手品の商売だったら、ネタが尽きないのは朗報
タグ:
posted at 23:26:57
#超算数 「教えてほしいです」のような発言は、まさに我々がずっと主張しているように算数教育の全体で非常識な考え方の方が主流になっていることの傍証とみなせます。
そのような内輪のサークルの外が見えない教師達が非常識なローカルルールを非常識なローカルルールだと認識できないのだ。 twitter.com/manabigear/sta... pic.twitter.com/ykMiykWZAg
タグ: 超算数
posted at 23:29:26
@manabigear >算数の学習では、結果だけでなくプロセスも大切にして指導します。
これは一見すると考え方を重視するような指導に見えますが、実際には暗記を推奨する結果になります。
そのあたりのことを新聞に書きました。
twitter.com/conoki69/statu...
タグ:
posted at 23:30:58
@sekibunnteisuu @PolePole108 @manabigear 大学生向けの認知発達心理学の教科書を見れば分かることですが、遅くとも1980年代には、ピアジェの発達段階説は様々な困難があることが分かっており、21世紀の現代に、ポーレポーレさんのようにピアジェの意味での「具体的操作期」のような用語を振り回すのはみっともないです。 twitter.com/polepole108/st...
タグ:
posted at 23:46:15
@sekibunnteisuu @PolePole108 @manabigear ピアジェがダメだということに関する関連情報は以下のリンク先のスレッド及びそこからのリンク先にあります。
twitter.com/genkuroki/stat...
タグ:
posted at 23:49:21
@sekibunnteisuu @PolePole108 @manabigear ピアジェっぽい意味で「児童の発達段階に合わせて~という教え方をしている」などと言ってしまう教師は、普通に教科書通りの発達認知心理学の講義を大学で受講している大学生にその点において劣っているわけです。
しかし「児童の発達段階」を持ち出すダメな教育関係者にはかなり容易に出会える。
タグ:
posted at 23:56:22
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n (続き)
でも、私達はどちらかと言えば、ボランティアで手品の種をあばいて、「王様は裸だ」と叫ぶ方なので、
教師達から警戒されるのは仕方ないですね
タグ:
posted at 23:59:20