黒木玄 Gen Kuroki(@genkuroki)/2019年04月/Page 12

科研費基盤P、ボカロPの趣もあって良いな。

「それでは科研費基盤Pが一曲お送りします。タイトルは『科研費が通らない』♪~」
twitter.com/takemiwa/statu...

タグ：

posted at 23:59:44

＞　まず第１に女子学生は浪人を避けるために

医学部の受験生データを見ると、１８歳未満と１９歳に大きな違いはない。
男女差も大きくない。
１９歳の多くは浪人生だと思う。

あと短大の進学率は激減して、代わりに女子の四年制大学進学率が増えている。

【上野千鶴子　東大入学式　祝辞】から pic.twitter.com/1itnbklnYb

タグ：

posted at 23:59:01

#超算数赤羽の診断テストは極端に掛け順にこだわっているが、3×4では意味が違うという指導はしない。また治療問題と称する問題も、#掛算の累加による定義の再確認であって、診断テストや村田の原理編との相互参照がなければ、問題なしとも言いうるものである。

タグ：掛算超算数

posted at 23:51:54

@temmusu_n 今の数教協は大した影響力は無いと思うのですが、かつては大きな影響力があったと思うのです。
しかし具体的にどのように今の算数教育に影響したのか、私にはわからないのです。

タグ：

posted at 23:25:34

#超算数実践編を担当する赤羽千鶴が112頁で乗法及び倍の意味についての診断テストを提唱します。3つの皿にりんごが4つずつのった状況を図示し、りんごの合計を求めるのに4+4+4と4×3の【どちらがよいし方でしょう。】と質問。【
4×3の{4は(りんご　おさら)です。/3は(りんご　おさら)です。}
】とも。

タグ：超算数

posted at 23:20:26

#超算数これは、【乗法九九については一般に何に何をかけたものかがはっきりしないものがおおい】と強引に結論するためのようにみえます。そして【この欠陥】は割算で問題になるという。包含除は4本×□=12本、等分除は□本×4=12本とすべきだが【この区別のつく子供は三年生ではほとんどない。】と。

タグ：超算数

posted at 23:14:34

#超算数
村田好道、赤羽千鶴『算数科における診断治療の原理と実際: 算数学習の障害点とその指導』第2版東京、暁教育図書、1953年。
まず原理編を担当する村田好道が50頁で、4×4=16という子供の誤りを【4+4+4+4=16/と分らない】と分析。九九を誤って覚えているという、より単純な説明をしません。

タグ：超算数

posted at 23:14:33

ワンパンマン、結構おもろいな。

galaxyheavyblow.web.fc2.com

tonarinoyj.jp/episode/139320...

タグ：

posted at 23:13:13

@OokuboTact かけ算の意味は累加ではないという数教協の譫言によって、かけ算の意味についての算数教育界での認識が混乱し、掛順こだわり強制教育も命を永らえているのではないかと下種の勘ぐりをしてみました。

タグ：

posted at 23:01:34

TaKu @takusansu

#超算数「日本大百科全書(ニッポニカ)では、偶数に0を含めていない」という題名で掲示板に書き込みました。
8254.teacup.com/kakezannojunjo...

タグ：超算数

posted at 22:42:55

山本卓 @sgryjp

@genkuroki おお、ありがとうございます。標準ライブラリにあったら使おうかな、ぐらいで考えていたのですが、確かに深さ2で固定ならIterators.flattenを使うまでも無くジェネレータ式で書けますね🤔

タグ：

posted at 22:37:37

Shuuji Kajita @s_kajita

@takemiwa 名案ですね。申請者同士でランダムに割り振ったピアレビューにしてしまえば、審査の負担もなくなります。

タグ：

posted at 22:35:10

#JuliaLang

chain_from_iterable(a) = (x for b in a for x in b)

a = [[1,2],[3,4,5],[6]]
aa = chain_from_iterable(a)
collect(aa)
→ [1,2,3,4,5,6]

for x in aa
println(x)
end
↓
1
2
3
4
5
6

twitter.com/sgryjp/status/...

タグ： JuliaLang

posted at 22:27:41

#Julia言語

 nbviewer.jupyter.org/gist/genkuroki...
MFmean by Julia

を大幅に書き直した。計算時間は以下のように短縮

29秒
↓擬似乱数生成器をXoroshiro128+に
15秒
↓メモリを節約
10秒
↓アルゴリズム変更
2.7秒
↓メモリを節約
2秒

ベンチマークテストとしてはアルゴリズム変更は反則。

タグ： Julia言語

posted at 21:24:49

日本語がおかしかった。

「> 0」の方を示してくれた人について「こいつは立派だ」と感じ易くなる

と書きたかった。「>」を使いたいのに「≧」の方しか証明されていないというようなことは結構あると思う。

twitter.com/genkuroki/stat...

タグ：

posted at 21:15:47

子の保護者でかつ数学好きの私はツイッターで色々教えてもらって「算数・数学教育の現状はものすごく怖い」と感じるようになりました。

算数・数学教育によって子供の思考能力に損傷を与えるパターンが多過ぎ。

今回のアンケートも非常に勉強になりました。皆さん、どうもありがとうございました。

タグ：

posted at 21:10:50

私のC言語 #Julia に勝てなくてもうダメ。

タグ： Julia

posted at 21:10:08

ラズパイ（特にZeroシリーズ）上だとPythonなんかに比べると #Julia言語めっちゃ速いです。C/C++にも負けないとおもう。

タグ： Julia言語

posted at 21:06:59

しかも、実際にそうなってしまった数学教育の被害者達は、私が想像していたのとは違って、全然珍しくなさそう！結構、ショックでした。

これ、かなりまずくないか？

すでに関連の研究があるなら読んでみたいと思いました。

タグ：

posted at 21:05:51

一方、おかしな数学の勉強の仕方をさせられたせいで、「すべての実数xについてf(x)≧0となることを証明せよ」の型の問題では常にf(x)=0となる実数xが存在するはずだと思い込んでしまった人達は、「> 0」と「≧ 0」のシンプルな関係について論理的に考えることが難しくなってしまう。

タグ：

posted at 21:05:51

「> 0」の方を使いたいのに、「≧ 0」しか示されてなくて、「> 0」を改めて示した

というような経験があれば、「≧ 0」ではなく、「> 0」の方を示してくれた人は「こいつは立派である」と感じ易くなると思います。

タグ：

posted at 21:05:49

弁護士吉峯耕平 @kyoshimine

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認く @esumii

現時点で、904名合計金額10,185,671円あつまっているとのこと。
また、別件の兵庫県警ブラクラ事件では、1日で7,074,553円が集まっている。
www.hacker.or.jp/alertloop/

技術者が怒っている。

（私も寄付しようかな。あんまりこういうのやらないんだけど、Tシャツがほしい）

タグ：

posted at 19:54:18

S (ﾂｲｰﾄはｽﾚｯﾄﾞ全体をご確認く @esumii

twitter.com/chiguri/status... Coqは自動でいけそう（

タグ：

posted at 19:53:56

関連して「x>0⇒x≧0を省略したら減点」(!)もさることながら、「11の倍数であることを示せ」で11x+11y=11(x+y)を省略したら減点という採点基準を「民間」で見てしまったことが本当にある。 twitter.com/esumii/status/...

タグ：

posted at 19:51:07

@kankichi57301 @kankichi57301

@OokuboTact 衒学阿世（さっき作った造語ｗ）の徒

タグ：

posted at 19:07:06

非公開

タグ：

posted at xx:xx:xx

モト@PPMMPP @29silicon

異論は多いと思うけど、これは良いと思います！　#個人の感想です　　

大学で初か長崎大喫煙者を教職員に採用しない方針 | NHKニュース www3.nhk.or.jp/news/html/2019...

タグ：個人の感想です

posted at 17:52:51

@cogitoergosumkm この件では私宛にメンションをもう飛ばさないで下さい。お願いします。

タグ：

posted at 17:50:04

＃上野千鶴子

（全国の医学部の合格者）のデータを見ると、男子の方が合格率が少しだけ高い。
www.mext.go.jp/component/a_me... pic.twitter.com/vRA2hTVH51

タグ：上野千鶴子

posted at 17:24:29

【医学部を受験する女子の成績が男子より高い理由】
文：上野千鶴子

webronza.asahi.com/culture/articl...

タグ：

posted at 17:08:16

上野千鶴子は同じ話を「論座」連載でしている。

【女性医師を増やさないという「ガラスの天井」】
webronza.asahi.com/culture/articl...

タグ：

posted at 17:06:32

非公開

タグ：

posted at xx:xx:xx

「上野千鶴子の同大入学式祝辞」

上野千鶴子が引用している文科省担当者のコメント。
これは東大理３の受験生を指しているかどうか不明なんだよなあ pic.twitter.com/zbLbVViR1m

タグ：

posted at 17:03:58

以下のリンク先にスレッドの件のように、大学入試の数学の試験の採点の仕方を受験生側がわかってしまうことはありえます。

問題文が要求しているより強い結果を正しく証明している答案の採点で減点していることが公になったらタダですむとは思えません。減点は無理。

twitter.com/genkuroki/stat...

タグ：

posted at 17:00:59

情報をたどり易くするためのリンク

仮に問題文の ≧ を > に読み違えて > の方を証明していたとしても(仮にの話！)、数学的実力があることはその証明が書かれた答案から明らかであり、しかもそこで証明された結果は問題文の要求より強いのだから、ケチをつけようがない。

twitter.com/genkuroki/stat...

タグ：

posted at 16:54:14

Hiroyasu Kamo @kamo_hiroyasu

@cogitoergosumkm @genkuroki 「A≧0を証明せよという問いに対してA>0で終わることは証明が途中で終わっているように見える」人は、数学書を読んだ経験が乏しいだろうと思います。

タグ：

posted at 16:50:17

結城浩 / Hiroshi Yuki @hyuki

正解は「真」です。
7% の方が「偽」と答えています。もしよければ「偽」と答えた方はどうしてそう答えたかリプライで教えてくださるとうれしいです。

タグ：

posted at 16:45:17

@ytokiwagmailco1 @cogitoergosumkm 仮に、答案を書いた人が ≧ を > に読み違えていたとしても、 > であることの正しい証明を書いているのだから数学的能力があることを答案でしっかり証明しています。

数学の試験は数学的実力を測るために行うので、問題文を読み間違えたと疑っても減点しちゃダメでしょう。

タグ：

posted at 16:44:38

@ytokiwagmailco1 @cogitoergosumkm 「A≧0を証明せよという問いに対してA>0で終わることは証明が途中で終わっているように見える」人には数学の試験の採点をさせちゃダメ。生徒に被害が発生する。

実際には証明終了に留まらず、問題が要求していることを超えるより強い結果を示しています。満点を超える点数をつけるべきかも(笑)。

タグ：

posted at 16:41:47

非公開

タグ：

posted at xx:xx:xx

#Julia言語これを、

dist.rand(10)

のように書きたい人がいるかもしれませんが、Juliaでは

rand(dist, 10)

のスタイルになる。 Juliaでオブジェクト指向的な考え方をしたい人は、Distributions.jlのソースコードを見ると良いかもしれません。

github.com/JuliaStats/Dis...

タグ： Julia言語

posted at 15:51:30

#Julia言語の確率分布を扱うパッケージ Distributions.jl では、確率分布のオブジェクトを

dist = TruncatedNormal(0.0, 1.0, 2.0, Inf)

のように作ることができて、rand, pdf, cdf, mean, std, ... などのメソッドを

rand(dist, 10) → 確率分布distの乱数を10個生成

の形式で使います。続く

タグ： Julia言語

posted at 15:47:32

#Julia言語 1つ前のツイートの4つ目のスクショの内容がよくなかった。訂正版。

rand(0) の類は Float64[] (空配列)になり、
mean(Float64[]) は NaN になることを理解していなかった。
これは当然の仕様。

gist.github.com/genkuroki/35fa... pic.twitter.com/gw6Lq4jGrZ

タグ： Julia言語

posted at 15:42:34

@cogitoergosumkm 続き。アホらしい話にしかならないと思う。

もしかしたら「すべての実数xについてf(x)>0」が「すべての実数xについてf(x)≧0」よりも強い結果であることが自明であると感じることができない採点者がいたとしたら、採点させるのをやめさせるべきです。

自明だと感じる高校生は結構いるはず。

タグ：

posted at 15:18:24

@cogitoergosumkm 「a>0ならばa≧0」程度の自明なことでさえ当然の前提にしてはいけないという基準で採点すると、多くのまともな答案が減点されまくる。

実際にやってみますか？

私があなたに数学の問題を出して答えてもらい、易しいことも前提にしてはいけないという基準で徹底的に疑いをかけて減点しまくる。続く

タグ：

posted at 15:14:25

abacha @abacha93435322

なまもの＠tetra-vaccined @nama_books

@genkuroki 「すべての偶数について成立することを証明せよ」という問題で、「すべての整数について成立すること」を証明する答案を書いた場合だと、アンケート結果はかなりちがってきそうですね。

タグ：

posted at 15:14:08

高校の頃，予備校の先生が「私は3歳以上だ。…笑ってるけど間違ってないでしょ」って言うてはったの思い出すなど。 twitter.com/genkuroki/stat...

タグ：

posted at 15:04:12

#Julia言語 #R言語まとめ

* Rのrnorm(N)は遅い。dqrngライブラリを使うと速くなる。

* Juliaの方が速い。JuliaでもXoroshiro128+で乱数を発生させると速くなる。

* 無駄に乱数を発生させないようにすると圧倒的に速くなる(4つ目のスクショ)。

nbviewer.jupyter.org/gist/genkuroki...

nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/PmdoPshfuR

タグ： Julia言語 R言語

posted at 14:58:42

#Julia言語に関するこのスレの話題は以下のリンク先のリンク先でも解決していた。

twitter.com/antimon2/statu...

タグ： Julia言語

posted at 14:24:27

砂___の___女 @vecchio_ciao

中2次男の友人が「移項」でつまづいているとそのお母さんから相談されて、Twitterで教えてもらったこれを紹介したら、鳩豆顔になって驚かれ、その後にとても感謝された。
良いことをした。

＃超算数 twitter.com/sekibunnteisuu...

タグ：超算数

posted at 14:02:22

#R言語も糊言語(グルー言語)として大きく発展していて素晴らしいと思う。

グルー言語の時代。

twitter.com/__nakamichi__/...

タグ： R言語

posted at 13:51:30

#Julia言語の糊言語(グルー言語)としての性質は宣伝する価値があると思う。PyCall.jlは仕様が変わってだいぶ使い易くなったと思う。

Pythonのseleniumライブラリを使ってJuliaLangでwebスクレイピング - snovaのブログ snova301.hatenablog.com/entry/2019/04/...

タグ： Julia言語

posted at 13:47:25

結城浩 / Hiroshi Yuki @hyuki

投票形式で答える #数学の問題です。リプライでは答えないでね。

0≧0 は真です。
0≧0 は真ですか、それとも偽ですか。

タグ：数学の問題

posted at 13:35:01

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

似たようなことは多くの大学の入試の採点で起こっていると思う。

大問ごと間違った解答用紙に答案を書いていても、完全に救ってもらっている場合さえあるはず。

大学入試の数学の筆記試験の採点には、論理的には厳しいが、人間的には優しい場合が多数あると思います。

twitter.com/utsnaka/status...

タグ：

posted at 13:25:43

Juliaを広めるのは布教でも、ましてやハラスメントでもありません。啓蒙です。

タグ：

posted at 13:09:48

非公開

タグ：

posted at xx:xx:xx

公式バイナリは armv7l 向けになっているのでパイゼロシリーズだとイリーガルインストラクションで怒られてしまいます。ですので、ビルドする必要性が出てきます。

タグ：

posted at 13:00:15

もちろんJITコンパイルのオーバーヘッドがありますが、C言語と同等のスピードを出せるスクリプト言語が動くというのはとてもありがたいことではないかなと思っています。

タグ：

posted at 13:00:15

あ〜る菊池誠(反緊縮)公式 @kikumaco

#RaspberryPi Zero 用の #Julia言語を（クロスコンパイルさせて）ソースからビルドした後、パイゼロへ持ってって実行のテストをしている様子。これで、５ドルからプログラミングを始めることができるとわかりました。 pic.twitter.com/EFGaVX9FCK

タグ： Julia言語 RaspberryPi

posted at 13:00:14

アダム・スミス２世 @AdamSmith2sei

Juliaは研究にばんばん使えるレベルの言語で、インタラクティブな使い方とバッチ的な使い方が両方できるので大変便利です。僕はシミュレーションもデータ処理もプロットもJulia。難点はどのコンピューターにもインストールされてるとは限らないことで、計算センターにリクエストしていかないとね

タグ：

posted at 12:59:45

2020年3月末
日銀保有長期国債残高の予想
前年比+14兆円前後
本日のオペ減額は300億円、年率1.44兆円。昨日からツイッターとブログで国内機関投資家が景気不安のため株から資金を逃避させている事実を解説。超長期のオペ減額はこの動きをさらに加速。日銀の株に対する無知と出口到達への執念は強い。 pic.twitter.com/2luDpoKL8m

タグ：

posted at 12:59:35

質問者2 @shinchanchi

日銀が嫌がる人事と政策をやって日本経済は復活しかけた2013年

次は財務省とその「家来」が嫌がることをやって、日本経済復活を目指すべき^_^

麻生＆二階、地元で大敗！　足腰ボロボロ…求心力低下で政治力に陰り　消費増税延期の後押しに？ www.zakzak.co.jp/soc/news/19040...

タグ：

posted at 12:35:40

自分自身が論外に非論理的であることを自覚できずに、数学の試験を受けた人に対して無慈悲で冷たい態度を取る(減点するのが当然であるかのように言ったりする)人が実に多い。

正直な気持ちとして私はこのように感じました。

タグ：

posted at 12:34:15

@cogitoergosumkm 「問題読んでる？」と思って減点してしまうような人に数学の採点を任せてはいけないということだと思います。

正しい解答なのに勝手にネガティブなことを想像して減点してしまう人達は人間的にも問題があります。ひでえやつら。

減点して良いと思った人は論理的に無能または人間的に問題あり。

タグ：

posted at 12:21:32

実のところ、算数・数学教育について、妥当なことを言える人達は社会の中で貴重な存在なのかもしれません。

タグ：

posted at 12:15:45