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 を見て下さい。
Favolog ホーム » @genkuroki » 2017年02月16日
並び順 : 新→古 | 古→新

2017年02月16日(木)

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 継続モナド話に添付画像を追加。callCC (\e -> f e) の挙動の説明。 pic.twitter.com/NoAijmkgID

タグ: 数楽

posted at 23:47:26

santa @santa_MixCosy

17年2月16日

理解できなくてもテストで点が取れることを優先してかけ算の謎順序をパターンで覚えさせ、「みはじ」「くもわ」みたいな謎パターン学習をやり続けて、レポートではなく感想文を尊重している小学校教育が何を今更言ってるんだろう。という感想しか持てない。 twitter.com/h_okumura/stat...

タグ:

posted at 23:37:27

hase @hase3desu

17年2月16日

教科を一番やりたいのに、周りは教科が一番最後。「わかりやすい」とは「手っ取り早くやり方を覚えさせて、励ます」こと。文化が断絶する
#超算数 #超初等数学

タグ: 超初等数学 超算数

posted at 22:56:39

ʇɥƃıluooɯ ǝıʇɐs @tsatie

17年2月16日

@tsatie #超算数 の様々なお道具、例えば #さくらんぼ算 などを見ると、新型織機の宣伝にしか見えない。新しいパターンカードや以前より簡単に糸やカードがセットできる♬ そんな感じ。

タグ: さくらんぼ算 超算数

posted at 22:53:27

ʇɥƃıluooɯ ǝıʇɐs @tsatie

17年2月16日

@tsatie そら「読解力」なんて最初から育む気配すら見られない。それが #超算数 かもな。

タグ: 超算数

posted at 22:50:59

ʇɥƃıluooɯ ǝıʇɐs @tsatie

17年2月16日

@tsatie そしてややこしやなのは、その織機のカードや糸の色を変えたり操作する人も同じく判ってない。 #超算数 の場合は機械と操作する人を1人の子供の中に同時に仕込んだ上でカードがあるわけでもないのでカード代わりにパターンを覚えさせ順番など間違えようものなら駄目出しして仕込む

タグ: 超算数

posted at 22:46:57

ʇɥƃıluooɯ ǝıʇɐs @tsatie

17年2月16日

確かに問題文の読解力が危うい人は沢山見かけるが大抵が #超算数 の被害疑いな人と被る。つまり文を読んでイメージを持ってその結果数えるより計算かなぁとかなるのではなくて覚えさせられた「パターン認識」に合致しているかどうかで「分かる」「行動に移す」か否かを判断する人達。織機みたいやん twitter.com/h_okumura/stat...

タグ: 超算数

posted at 22:41:21

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

ばる@ @gear_179

17年2月16日

@mi__er__0708 あれは厳密というか宗教的な何かな気がするw

タグ:

posted at 22:13:31

非公開

タグ:

posted at xx:xx:xx

ばる@ @gear_179

17年2月16日

@mi__er__0708 ぼくは、7*9はそのままだなー(9*7だったら交換する)。
フィーリングの気がしてきた

タグ:

posted at 22:10:01

非公開

タグ:

posted at xx:xx:xx

Σαίτω @saito

17年2月16日

掛け算も、日本では算数では x で教えて高校くらいから中黒にしてる。外国では小学生の教科書にも中黒だったりする。で、コンピューターでは *

タグ:

posted at 22:02:05

ばる@ @gear_179

17年2月16日

@mi__er__0708 なかまー(((o(*゚▽゚*)o)))

タグ:

posted at 22:00:31

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

ばる@ @gear_179

17年2月16日

9*4が出て来たとき、頭の中で4*9にしてから36って答え出すんだけど同じような人っているのかな

タグ:

posted at 21:53:48

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 @wwarotaw 何をどう呼ぶかを決めるのが先ではなく、数学の世界でどういうことを成り立っているかに合わせて用語法をうまく調節するという感じになります。数学は他人に教わっても理解できることはほんの少ししかないので、自力でがんばってみて下さい。

タグ: 数楽

posted at 21:29:27

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 @wwarotaw 数学では何かに名前を付けることによって面白い定理を簡潔に述べることができるなら名前を付けることに価値が出ます。たとえば「多角形の外角の和は〇〇になる」の形の命題を考えて、その命題が成立するように「多角形」の定義を可能な限り拡張してみたらどうですか?

タグ: 数楽

posted at 21:24:52

うどんゲルゲ @udongerge

17年2月16日

なんで動画が投稿できるのにmp3が投稿できないんだTwitter。

タグ:

posted at 20:43:03

前野[いろもの物理学者]昌弘 @irobutsu

17年2月16日

この週末土日は沖縄電力青少年科学作品展
www.okiden.co.jp/corporate/even...
の隅っこで液体窒素と超伝導の実験して遊んでます。

タグ:

posted at 20:13:18

すど @ysmemoirs

17年2月16日

「調査の結果、12の漢字は、典拠の不明なまま残される結果となった。典拠が不明でも、古辞書に類似した文字が見えたり資料の写し間違いが推察されたりといった手がかりが発見されたものが多いが、そのうち1文字(彁)に関してはまったく手がかりのない字である。」

何者なんだ「彁」……?

タグ:

posted at 18:43:30

闇のapj @apj

17年2月16日

何で国立大学のパフォーマンスが落ち続けてるか今日の教授会よくわかった。全体の予算削減→学内でその一部を執行部が確保→キャンパスごと、学部ごとに提案させて奪い合いをさせる→申請の手間が研究教育リソースを直撃、って仕組みになってる。

タグ:

posted at 18:34:38

A級3班国民 @kankichi573

17年2月16日

@moritako1121 @atamiikaho @genkuroki どっちも英訳したらnegateかdenyだろうにバツをつけるほどの違いがどこにあるねんというw

タグ:

posted at 18:17:49

Ess_Sci @Essence_sci

17年2月16日

#掛算 の順序問題。乗数・被乗数、そしてその順序という、そもそも必要ないハードルをわざわざ作って、どうやって越えさせよう?という無駄話をしてる人がいる。

タグ: 掛算

posted at 18:17:34

JAMILA @AstronautJAMILA

17年2月16日

@ki_61_hien_2  昔は上級の学校へ行く児童が少なかったということもありましただから藤沢利喜太郎も算術と数学は別にすべしと言っています。今の進学率を考えると検討してもよいと思います。そのための指導法と教材の確立も必要だと感じています。

タグ:

posted at 17:59:13

hase @hase3desu

17年2月16日

我が校区の小学校も絶賛 #超算数 施行中。算数苦手、算数嫌いは約30人中20人以上。楽しげに笑っていた先生、爆弾を設置しないでよ

タグ: 超算数

posted at 17:56:18

ちゃんみつ @chan_mitsu

17年2月16日

プログラミングの授業が(本当に)必修になるんだったら、掛け算には順番があるみたいなバカみたいなことをやらないようにするのが、最初の一歩じゃん

タグ:

posted at 15:14:24

天むす名古屋 Temmus @temmusu_n

17年2月16日

1027の因数の一つが13であることは暗算でわかる。なぜか? 楽ちんな #数楽

タグ: 数楽

posted at 14:42:27

笑井ワロタ @wwarotaw

17年2月16日

黒木さんはどうお考えでしょうか、お忙しいとは思われますが興味が湧きましたらお答えいただけると幸いでございます。

タグ:

posted at 14:41:54

笑井ワロタ @wwarotaw

17年2月16日

教授が正しいとすると任意の線分を二角形と捉えることが可能で、その線分上に任意の数の頂点をとることが可能なので、任意の多角形を線分上に定義できることになると考えられますが、どうも眉唾物に感じております。頂点上に頂点をとると話がおかしくなるので、教授が間違えてるように思われます。

タグ:

posted at 14:41:33

笑井ワロタ @wwarotaw

17年2月16日

内角、外角の和については問題がないと思うので、頂点の定義に依る話だと自分は考えております。すこし検索してみたところ頂点は連続ではあるが微分不可能である必要があるように思われます。教授は頂点といってしまえば線分で結ばれている以上頂点であると主張されています。

タグ:

posted at 14:40:22

笑井ワロタ @wwarotaw

17年2月16日

@genkuroki 失礼いたします、今年度の前期で黒木さんの数理統計学を履修していた野島と申します。現在受講している教職授業を担当されている教授が講義内で、三角形の辺上に一つ頂点(?)をとった図形は四角形と定義できると話されています。

タグ:

posted at 14:39:09

天むす名古屋 Temmus @temmusu_n

17年2月16日

天むす名古屋は『4、5、2、5』をつかって10にしてください。
shindanmaker.com/217387
²√(5*5*4)

タグ:

posted at 14:37:16

積分定数 @sekibunnteisuu

17年2月16日

@katabiragawaC この問題を認識する人が増えたという意味ではよくなっている,という意味です。悪化しているというのは何を根拠にしているのでしょうか?

タグ:

posted at 13:31:46

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 X↦R^Xのような自己随伴反変函手が、その二回合成が継続モナドになることによって、「非常に役に立っている」様子は非常に面白い。

タグ: 数楽

posted at 13:01:30

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 個人的な意見ですが、Haskellの入門的解説で「可換図式」などの図式が多用されていないのは異常事態に見えて仕方がない。

タグ: 数楽

posted at 12:57:39

JAMILA @AstronautJAMILA

17年2月16日

@ki_61_hien_2 教育界でもレゴの突起の数のようなアレイ図でかけ算の意味づけをすることが試みられてきました。ただ、それだと1mのリボン3本の長さとか3リットルのばけつ3杯分のような量では応用しにくい(つまずいてしまう子どもがいる)など、うまくいってはいません。

タグ:

posted at 12:51:22

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 ある程度進んだある種の話が書いてある数学の文献では、「対象を矢線で繋げた図」を頻繁に利用します。函数(写像、より一般には射)が大量に出て来るややこしい話を理解したいときには矢線を繋げた図式がほぼ必須の道具になります。

タグ: 数楽

posted at 12:26:36

これはニホンザリガニ @winecology

17年2月16日

数学ができない教師が子供に掛け算の順序を強制するように、英語教育でもおかしなルールを子供に強制するようになるかも。教師自体が教科内容をしっかり理解しないで教えると、おかしなルールに頼るようになる。ハジキとかモルグリコなどもその例。 twitter.com/Matsuhiro/stat...

タグ:

posted at 12:20:53

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 注意:私のノートの前者と後者の例におけるx_0が同じである必要な全くないのですが、flatten_cpsの例ではどちらのx_0も同じ空なリストに対応しています。例外的な場合の結果を空なリスト以外の値にすれば2つのx_0が異なる例を作れます。

タグ: 数楽

posted at 12:18:20

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 記号の対応

私のノート ⇄ flatten_cps
γ ⇄ callCC
e ⇄ k
g ⇄ 計算例ではidに特殊化されている

タグ: 数楽

posted at 12:13:39

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 添付画像は www.geocities.jp/m_hiroi/func/h... のかなり下の方より。この例において、1つ前のツイートのα_iたちは空でないリストを繋げる処理に対応し、例外的な処理の方は空なリストを見つけたときに計算結果を空のリストにすることに対応しています。 pic.twitter.com/301YvpHAJL

タグ: 数楽

posted at 12:08:11

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 続き。前者の例が帰納的な計算が正常に終了する場合で、後者の例が例外的な処理が必要になった場合に対応しています。α_iたちが計算の表現なのですが、後者の例ではα_iたちによる計算がすべて捨てられています。 pic.twitter.com/xb20qKWuTQ

タグ: 数楽

posted at 12:03:11

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 多くの計算は、帰納的に函数達α_iを合成した結果に帰納法の出発点の値x_0を代入したり、例外発生の処理を行うことで遂行されます。そういう計算を継続モナドで表現する方法を次のツイートの添付画像に載せます。以下の添付画像はその準備。 pic.twitter.com/muN9Htnujk

タグ: 数楽

posted at 11:57:42

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 Haskellでの継続モナドと継続渡しスタイルの関係に関する最も易しい例(flatten_cps)を使った解説はリンク先の後半にあります。(前半は継続モナドを使わない継続渡しスタイルの解説)
www.geocities.jp/m_hiroi/func/h...

タグ: 数楽

posted at 11:51:37

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 続き。継続渡しスタイルの継続モナドTX=R^R^Xを使った表現は、計算をナマの函数α:X←Yで行うのではなく、対応する函手Tα:TX←TYと適当なTYの元から定まるTXの要素(計算を実行する函数になる)で行うと考えることによって得られます。矢線の向きに注意。

タグ: 数楽

posted at 11:47:31

黒木玄 Gen Kuroki @genkuroki

17年2月16日

#数楽 チョー専門外のモナドの話の続き。

継続モナドの定義は自己随伴な反変函手X↦R^Xを二回合成したものであることは数学的に自明な話なのですが、「継続モナドと継続渡しスタイルの関係はどうなっているんだ?」という疑問に答えようとしなければこの雑談の価値は小さくなります。

タグ: 数楽

posted at 11:41:23

笑井ワロタ @wwarotaw

17年2月16日

線分は二角形っぽいですね、線分としかいわないが

タグ:

posted at 11:22:12

笑井ワロタ @wwarotaw

17年2月16日

なんでもない、成り立ちそう

タグ:

posted at 11:19:35

笑井ワロタ @wwarotaw

17年2月16日

なんだ、黒木さんにきいてみるか.....

タグ:

posted at 11:17:14

笑井ワロタ @wwarotaw

17年2月16日

三角形の任意の辺上に頂点をとることで、任意の三角以上の多角形を定義できるっていうけど、任意の線分上に頂点をとることで任意の多角形を定義しようとすると破綻する気がするんだが、これは線分は角形としては不十分だからなのか

タグ:

posted at 11:16:36

SASAKI Takesi @dagezi

17年2月16日

まあ、中学生の頃は次元厨だったし、大学生の頃は強い型付厨だった自分としては、掛け算の順序を気にする先生はもっと高みを目指せ、といいたし。

タグ:

posted at 09:47:12

SASAKI Takesi @dagezi

17年2月16日

掛け算の順序問題って、ハンガリアン記法みたいなもので、ちょっと小器用な人が思いついた特定の場面でのみ有効なテクニックでしかない。そんなのに散々付き合ってきた (付き合わせてきた) プログラマとしては、いい話だな、って暖かく見守るべきものだよね。

タグ:

posted at 09:43:20

非公開

タグ:

posted at xx:xx:xx

キキ @kiki_albarn

17年2月16日

@super_milliko 元ツイートの人見てきたら、真相が書いてあったよ(笑)!

タグ:

posted at 09:02:01

非公開

タグ:

posted at xx:xx:xx

キキ @kiki_albarn

17年2月16日

@super_milliko マルされてるとこの○も、私には同じように雑に見える(笑)!

タグ:

posted at 08:54:53

キキ @kiki_albarn

17年2月16日

@super_milliko えー!(笑)マジで?(笑) そんな細かい先生の正解のマルに統一感がないのに?(笑) 真相気になるね(笑)

タグ:

posted at 08:53:37

非公開

タグ:

posted at xx:xx:xx

キキ @kiki_albarn

17年2月16日

@super_milliko 無回答で出したんじゃない?あとから答え書き込んだとしか思えない!じゃなきゃ先生おかしいよね(笑)

タグ:

posted at 08:49:13

非公開

タグ:

posted at xx:xx:xx

積分定数 @sekibunnteisuu

17年2月16日

@katabiragawaC  そもそもどこをどう解釈したらそういう解釈になるのですか?

タグ:

posted at 08:28:43

@kuri_kurita

17年2月16日

『民進党は、安倍政権を弱者切り捨ての悪魔の政権のように宣伝していますが、むしろ建設業界の労働者などの弱者を切り捨てて自殺に追い込む社会を作っていたのは民主党』
(どうせ原理主義的アベニクシストたちは理解することを拒むだろうけど)
ameblo.jp/kazue-fgeewara...

タグ:

posted at 08:06:46

積分定数 @sekibunnteisuu

17年2月16日

@katabiragawaC 算数教育をよくすることです。

タグ:

posted at 07:50:00

mia @mia_hsgw

17年2月16日

「超人ロックは掲載誌が変わったの?」というツイートを拝見したことがありますが、いつも月刊誌2誌に別の話を連載しています(外伝が発表される今月と来月は3誌)

タグ:

posted at 07:03:01

Wolfram Japan @WolframJapan

17年2月16日

1月22日の日本数式処理学会合同分科会招待講演 「Wolfram言語を使った機械学習」 のビデオが,Webでご覧いただけるようになりました.wolfr.am/jv4PGQZ5 #Wolfram言語 pic.twitter.com/E2N9bYJKQA

タグ: Wolfram言語

posted at 06:36:25

裕美 HIROMI @HIROMIcocteau

17年2月16日

↓ちなみに、漢字の細かい跳ねや止めでは×を付けるくせに、漢字が分からなくて平仮名で書けば○なんだよ。
意味が分からない(´・ω・`)

国語の漢字テストならともかく、そこに拘る必要性があるのかね?

子供の頃から心底謎だわ……

テストって内容の理解が最優先じゃないのか?

タグ:

posted at 05:10:48

いち @zuwokaku

17年2月16日

何度か触れてきたけれど、九九を暗記していない時、息子は12×3ができた。かけ算の意味が見えていたから。
しかし九九を暗唱した結果、今はもうできない。それでも九九が大事というなら、我々の算数教育は、かけ算の意味が掴めることより反射的暗唱を教育的価値が高いと認めることになる。

タグ:

posted at 02:10:53

非公開

タグ:

posted at xx:xx:xx

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました