黒木玄 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 を見て下さい。
2018年04月22日(日)
#Julia言語 に関する質問のメンションが届いていたような気がするのですが、見失った。モジュールの外からモジュール内の変数は変更できないはず。
docs.julialang.org/en/stable/manu...
【 Imported variables are read-only】
しかし、
module D
d = [1,2,3]
end
using D
D.d[1] = 999
は可能。
タグ: Julia言語
posted at 01:38:26
#Julia言語 Julia言語ではオブジェクト指向プログラミング(のようなこと)ができないというような誤解が継続的に出て来ているのですが、module と abstract type と struct の組み合わせでOOP的なことはできます。簡単な例が次のリンク先にあります。
nbviewer.jupyter.org/gist/genkuroki...
Modulesの使用例
タグ: Julia言語
posted at 01:38:27
#Julia言語 まず、actionメソッドを繰り返すrepactメソッドが定義されたAnimal抽象クラスを定義。
次に、Animalに属する具体的なクラスCatを定義。Catのactionは鳴くこと。
さらに、Animalに属するPersonクラスを定義して、repmatメソッドを上書きしていたりします。
nbviewer.jupyter.org/gist/genkuroki...
タグ: Julia言語
posted at 01:38:28
Knuthの「Toilet Paper Problem」
www.jstor.org/stable/2322567
がMonthlyに採択された時、編集者からの知らせは
”Your toilet paper is accepted”だった.
Mathematical Writing p.31(pdfの33ページ)の第2段落
www-cs-faculty.stanford.edu/~knuth/papers/...
Knuthの予想「この論文のコピーはトイレの中に置かれただろう」
タグ:
posted at 09:46:36
Toilet Paper Problem
「トイレに二つロールが置いてある。残りが多い方を使う確率をp、残りが少ない方を使う確率を(1-p)とする。ロールの片方がなくなったとき、もう一方のロールにはどのくらい紙が残っているか」
皆が多い方を使えば残り紙はなくなり、少ない方を使っていけばもう一方には全部残る
タグ:
posted at 10:03:37
.@Simon_Sin 【交換法則を学ぶときにどうする気なのかね】←引用。掛算順序固定強制問題に出会ったのは20年以上前なのですが、そのときには私も無知だったのでそう思いました。現実の.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 14:41:41
.@genkuroki 続く。もう一度繰り返します。掛算順序固定強制指導は交換法則を教えた後の方が厳しくなる場合がある!掛算の交換法則は子供にとって易しい話です。学習指導要領でも小2.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 14:43:28
.@genkuroki 続き。縦4×横3にモノが長方形型に並んでいるときに、横に区切れば4個の集まり3つに分割できるので、「4個の集まりが3つあるときの全部の数」の意味で総数は4×3と書ける。.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 14:46:28
.@genkuroki 続き。その説明の方針は図を用いた直観的な内容であり、小2の子に教える方針としては十分に合理的だと私は思っています。「同一の場面で二通りの方法で総数を数えること.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 14:49:30
.@genkuroki 続き。しかし、そのようにしっかり交換法則を教えてしまうことは、掛算順序固定強制指導実践者たちにとって非常に都合が悪いことのようです。なぜならば、交換法則を理解.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 14:55:47
.@genkuroki twitter.com/genkuroki/stat... に添付画像で引用してある伊藤宏先生による調査結果の引用を見て下さい。子供が掛算順序にこだわって式を書いているかどうかと、正しく絵を描け.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 14:59:47
.@genkuroki ameblo.jp/metameta7/entr... によれば、1963年の文部省の出版物に【乗法では交換法則が成立することを知っていて、どちらを乗数にしても、結果は変わらないということに基づ.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 15:06:39
.@genkuroki さらに、算数の教科書では「3×4と4×3はどちらも完全に同じ数12を意味するので、3×4=4×3が成り立っている」という事実についてはっきり書かずに、「かけられる数とかける.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 15:17:51
.@genkuroki しかし、教科書では、**同一の場面**でかけられる数とかける数の立場を自由に入れ替えることができるというスタイルで交換法則について教える方針になっているので、やっ.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 15:20:18
.@genkuroki 以上の説明を読むと、「掛算の交換法則を理解してしまった小2に子にどうやって掛算順序固定強制に従わせるのだろうか?」という疑問を誰でも持つと思います。色々調べる.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 15:22:26
.@genkuroki 掛算順序固定強制が重要なことだと思っている先生は小3でわざわざ1時間かけて掛算順序固定強制を行っている場合もある。朝日新聞の花まる先生。 www.asahi.com/edu/student/te..... togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 15:25:02
.@genkuroki 「ずつのついている数」「1あたりの数」「答えが〇〇人なら"人"がついている数」のようなパターンマッチに頼ったり、「2×8だとタコ2本足になっちゃうよ」の類のやり方を.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 15:28:59
.@genkuroki 「我々」は以上で示したような事実について第三者でも確認可能な証拠文献を持っています。私は掛算順序固定強制指導については全否定という強い態度であたることが極めて.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 15:33:32
.@genkuroki 【「ちなみに7×6だとどうなるかな」と先生が言うと、出題した男の子は棒状の黒いフェルトをテントウムシの足の部分に一本ずつ追加していった】というような教え方が現.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 15:35:02
.@genkuroki 「我々」は頭の中で勝手に想像した独自の教え方について議論しているのではなく、資料として提示できる文献に出て来ていて現実に行われている証拠が存在する教え方につい.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 15:41:00
.@genkuroki 私個人は掛算順序固定強制指導単体での害は統計的な調査で判別できるような大きな害の原因になっているとは思ってないです。しかし、色々調べてみると、掛算順序固定強制.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 15:44:55
.@genkuroki その辺のことについては以下のリンク先の連続ツイートを見て下さい。
twitter.com/genkuroki/stat...
twitter.com/genkuroki/stat...
twitter.com/genkuroki/stat... togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 15:48:37
【書きました】本格的な人口調査がはじまった1872年、人口日本一は広島。そのあとも愛知、新潟、石川、大阪、北海道が一位を獲得しています。今よりずっと地方が元気だった時代。
なぜ新潟や石川が「人口日本一」だったのか? 都道府県の人口推移から見る、日本近代化の歴史
nlab.itmedia.co.jp/nl/articles/18...
タグ:
posted at 16:00:48
.@genkuroki 他にも色々問題があるのですが、「問題文の内容を忠実に式に翻訳しなければいけない」という算数教育業界における教義は特に有害だと思っています。たし算順序固定強制、.. togetter.com/li/1219644#c48...
「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。
タグ:
posted at 16:06:12
鳥は恐竜
がなんとなくわかた🐣
恐竜ラプトル氏
ふわふわで、口だけ毛がなくて
首ゆらゆらで、足のかんじとかも
あと、手が羽っぽい
愛するとりっぴー似
現場は悲鳴がすごいかったが(・Д・)💦 pic.twitter.com/uewFyonD3v
タグ:
posted at 17:11:28
#Julia言語 函数定義で引数に配列の型注釈をつけたいならば
docs.julialang.org/en/stable/manu...
の特にAbstractArrayの節は読んでおかなければ失敗する(私は失敗した)。添付画像はAbstractArrayのsubtypesのリスト。AbstractArrayに対応した函数を書けばそのリストにあるすべての型で利用可能な函数になる。 pic.twitter.com/kxRAw0OrKM
タグ: Julia言語
posted at 17:42:16
#Julia言語 その辺のことは
docs.julialang.org/en/stable/manu...
Avoid fields with abstract type
で詳しく解説されている。
struct A{T<:Integer}
a::T
end
のように、内容物aの型が型Aのオブジェクトを作るときに具体的な型に確定するように書くことが基本になります。結構難しいです。 pic.twitter.com/cqCsqqO8Dm
タグ: Julia言語
posted at 17:42:19
#Julia言語 Julia言語では f(x) の形式で何が実行されるかもユーザーが自由に定義できます。これを使うと任意の型を持つオブジェクトを函数のように利用できるようになります。だから、
app(f::Function, x) = f(x)
のように定義してしまうと失敗することがある。失敗の例が添付画像にあります。 pic.twitter.com/S5cb3X9S5B
タグ: Julia言語
posted at 17:42:19
豊福晋平 (GLOCOM/JDiCE) @stoyofuku
1人1台学習者端末整備への要望で「ゲームが出来ないように」は、まあ許すとしてもだ、「授業で教える内容よりも優れた答えがGoogle検索で出ないようにして欲しい」とか、まさかそのセリフを聞くとは思わなかったな。
タグ:
posted at 17:45:58
#Julia言語 #JuliaLang
Using MixedModels through JuliaCall rpubs.com/dmbates/377897
Julia MixedModels from R
Douglas Bates
April 9, 2018
Using JuliaCall from within R
posted at 18:05:29
#Julia言語 誰でも上の方で述べたことを再現しやすいようにJupyter notebookを作って公開しました。
nbviewer.jupyter.org/gist/genkuroki...
そのIn[7]以降で「Function型はfunction-like objectを含まないという問題」を扱っています。
タグ: Julia言語
posted at 18:32:18
@Mizunashi_Mana 私は「式で問題文を表す」ときちんと定義しているなら数学的にも正しいので文句は言いませんよ。しかし、それを教育的目的は別として式で問を表現しなければ数学的、算数的に正しいとは言えないといった詭弁を強制することに文句を言っているのです。
タグ:
posted at 18:56:50
trends.google.co.jp/trends/explore...
Jupyterへの関心が単調増加。
Jupyter は JUlia + PYThon + R の略ということになっているらしい。 pic.twitter.com/aOjh4qIWXD
タグ:
posted at 19:03:59
trends.google.co.jp/trends/explore...
最近の半年では Jupyter > Mathematica pic.twitter.com/8creEgY1hC
タグ:
posted at 19:04:00
twitter.com/tomohiro_ida/s...
【イコールが「左辺を計算した結果を右辺に書く」って慣習?扱い?が根強くて困っています】
#超算数 算数教育のひどさが原因。以下のリンク先の添付画像を見ると、掛算順序にこだわるだけではなく、等号の左辺と右辺の順番にもこだわっている!
twitter.com/genkuroki/stat...
タグ: 超算数
posted at 20:28:50
コレは凄い。良い効果音がみつからなくて割と困ってたんだがほぼ解決するかも
BBCが1万6000種類以上の「効果音」を無料公開 非営利目的での利用が可能 - ねとらぼ nlab.itmedia.co.jp/nl/articles/18... @itm_nlabさんから
タグ:
posted at 21:04:07
twitter.com/genkuroki/stat...
#超算数 以前にも書いたことだが、「等号=には複数の意味があって、恒等式の等号と方程式の等号では意味が違う」というような説明も見かけますが、もちろん**ひどい誤り**です。
算数や数学で使う等号には「両辺が等しい」という意味しかありません。
タグ: 超算数
posted at 21:05:37
うちの父と母はモールス信号の資格を持っているのだけど、恋人時代は手の平にコツコツして愛を伝え「言葉なんていらない」とか言ってたそうなんだけど、今や子供に聞かれたくない内容の夫婦喧嘩を食卓のテーブルでお茶こぼれるほどモールス信号打ち合っているのだが、いやもうそれ言葉必要な段階だよ!
タグ:
posted at 21:08:43
Dirac notation rendering for QuantumOptics.jl #julialang
github.com/goropikari/Dir...
タグ: julialang
posted at 21:12:19
@ruttu1986jp @taifu21 @kaityo256 @V9hKW7l1jAOvv7Z 【小学校2年生の児童にどのようにして被乗数と乗数の概念を指導するのでしょうか?】
1日遅れですが、私の考えを書きましょう。
「君たち(小学生)に、円周の長さを求める方法は 直径×3.14 と教えた。しかし中学生以上は 2πr と書くのだ。つまり 2×3.14×半径だ。(続 #掛算
タグ: 掛算
posted at 21:20:43
@ruttu1986jp @taifu21 @kaityo256 @V9hKW7l1jAOvv7Z 続)最初に掛算を教えたとき 『元の数量(直径など)』×『倍』 としていたが、『倍』×『元の数量』でもいいのだ」というふうにしたいです。
なおこれは、「最初は固定するが、あとで種明かし」というプランです。
(「最初からどうでも良い」というプランには異論がありますので。)
#掛算
タグ: 掛算
posted at 21:24:39
@ruttu1986jp @taifu21 @kaityo256 @V9hKW7l1jAOvv7Z 「何年生から、#掛算 の順序は気にしなくていい事にするか」
という質問にお答えいただいていないようですが、ひょっとして、「本当は大人も 掛算の順序を守るべきだ。2πr などは『交換法則による計算の簡素化』であって、本当の立式ではない。」というご見解なのでしょうか?
タグ: 掛算
posted at 21:29:33
非公開
タグ:
posted at xx:xx:xx
@genkuroki 同じようなグラフが以前英語のデータサイエンスクラスタで回覧されていて、年スケールの変動は大学のセメスターだろうということになってました。そうすると週の周期も相当学生の寄与がありそうです。
タグ:
posted at 22:02:01
@aWh3DcLOW446MoY いきなりで失礼します。
【「掛け算は順序を変えても答えが同じだから!」で済ませてしまうのは、なんだかなぁという気はする】と言われるかたにはこれをお聞きしたいと思います。
私の持っている本にこういうのが載っているのですが、これも「なんだかなぁという気はする」のでしょうか? #掛算 pic.twitter.com/wx6KVHX13D
タグ: 掛算
posted at 22:26:52
#超算数 リンク先の見方はクズそのもの。
常識的で論理的な人であれば以下のような見方をする。
掛算順序固定強制指導者達は、イメージ豊かで直観的で子供にとって易しい考え方よりも、掛算順序のような形式的な事柄に異様にこだわる。
常識人達がそれに反対している。
twitter.com/ohtamath/statu...
タグ: 超算数
posted at 23:13:28
「式」って、「自分の頭の中にある、数の関係を記号化したもの」と考えていたんだけど、「人に説明するため」という目的も持つもの?もしそうだとすれば、想定する採点者が解釈できる範疇を越える式では、間違いとされるわけだよな。採点ありきで算数・数学を考えるって、思考を狭める原因にならない?
タグ:
posted at 23:30:07
「何年生から、#掛算 の順序は気にしなくていい事にするか」という問いは大事。
掛算順序固定強制指導擁護者達の多くが、「バツを付けるのはよくない」「掛算の順序は決まっていない」と言いつつ、掛算順序固定強制指導を小学校の間をずっと維持しようとするのだ。
twitter.com/golgo_sardine/...
タグ: 掛算
posted at 23:47:22
穏健そうな意見を述べているように見えていても、実際には小学校のあいだは #掛算 順序固定強制指導を小学校のあいだは継続することが当然だとしている人物の例が
genkuroki.github.io/fc2/sansu/tosa...
にある。どこかの小学校の校長先生らしい。
口先では穏健な発言をしていても本音はデタラメの場合がある。
タグ: 掛算
posted at 23:47:22