黒木玄 Gen Kuroki(@genkuroki)/2018年04月21日

2=x
-x=-2
x=2
移項した式を書かないと固まる生徒はいますね。 twitter.com/tomohiro_ida/s...

タグ：

posted at 23:22:32

.@genkuroki さんのコメント「.@genkuroki 我々がこの周辺のことをよく知っていることを知らずに、自分の側が一方的にバカ丸出しになる立場であることに桃花鳥田さんは気付けなかった。この人も算数教育の被害者なのだと思います。」にいいね！しました。 togetter.com/li/1219644#c48...

タグ：

posted at 23:13:48

.@genkuroki さんのコメント「.@genkuroki 「我々」という言い方をしてしまいますが、我々はすでに十分に経験を積んでいて、このまとめでネタにされている桃花鳥田 @hello_univ さんのような理解度が極めて低い人が「A×BはAをB回繰りたすことなのだ..」にいいね！しました。 togetter.com/li/1219644#c48...

タグ：

posted at 23:13:35

村松淳司 @muramiyagi

松崎いたる・板橋区 @itallmatuzaki

羽生結弦選手パレード。前日に場所取り。特に南町通りと二番丁近く。そこ、出発式のときには、どいて頂くゾーンなのだが（汗）チラシ　www.city.sendai.jp/sports-jigyo/e...　にあるように「安全確保のため事前の場所取りはできません」なのだが警備は撤去できるのだろうか甚だ疑問。明日はどうなるのだろう。

タグ：

posted at 22:11:30

『サンデー毎日』2013年3月13日号2012年5月6日・13日号の「放射能浄化計画」は虚偽でした。小沢一郎氏や森ゆうこ氏は騙されていたのでしょう。東京地裁判決は「ナノ銀による放射能低減効果」がないことと、「ホタルが0.5μ㏜の放射線で光らなくなる」という話が真実でないことを認定しました。 pic.twitter.com/3u8k07ImgB

タグ：

posted at 20:31:37

須賀　隆 @suchowan

suchowan's blog: パターンマッチ教育 suchowan.at.webry.info/201804/article...

タグ：

posted at 20:01:02

Hiroyasu Kamo @kamo_hiroyasu

国立大学の数の適正化ですか。そうですね、高等教育の地域格差の低減のためには今の1都道府県あたり1.8大学では全然足りませんね。あといくつ新設したら足りますか？

タグ：

posted at 19:20:45

Juliaの多重ディスパッチは，まじで他の言語にもほしい．

タグ：

posted at 18:57:30

関数の引数に型アノテーションつけられるだけで，可読性爆上がりするので，動的型付言語でも標準装備してほしい．

タグ：

posted at 18:56:09

解決した pic.twitter.com/oY8Yh7jLV4

タグ：

posted at 18:47:14

津田和俊／急激に進行した網膜剥離と闘って @kaztsuda

Julia，関数定義の時にfunction f(arg) ~ endとして，argが関数オブジェクトであることを明確にしたくて，arg::# fとしたら怒られたんだけど，関数オブジェクトの型ってどうなってんだ． pic.twitter.com/teghejiHxz

タグ：

posted at 18:28:20

外からクルマで仙台に来た人は、高速を降りたらまた高速があったのだけどそこは無料で（西道路のことらしい）、今まで高速で山の中を走ってたはずなのに長いトンネルを抜けるとそこはいきなりネオンギラギラの仙台市の繁華街のど真ん中にワープするので、ビビるらしい（笑）

タグ：

posted at 17:12:26

TaKu @takusansu

#掛算 #超算数
学研教室
www.889100.com/materials/shou...
これも順序指導の一環でしょうね。 pic.twitter.com/znBhFNiTTW

タグ：掛算超算数

posted at 17:11:51

Masahiro Hotta @hottaqu

修正重力理論は実験できる環境ではどんどんと追い詰められている。アインシュタインの一般相対性理論は良い精度で自然界を記述してるということなので、それはそれで重要な情報。

タグ：

posted at 16:01:00

#統計でも、サンプル平均の側は計算できないので、自由エネルギーの実現値で代替するという結構大胆なことをみんなやっているわけです。それでも結構うまく行くのは自由エネルギーの漸近挙動がいい形をしているから。

タグ：統計

posted at 15:58:14

#統計自由エネルギー(エヴィデンス)自体は真の分布を参照せずにサンプルだけから原理的には計算できますが(大変！)、そのサンプル平均は真の分布をカンニングしないと計算できない。しかし、自由エネルギーそのものではなく、そのサンプル平均の側がモデルの正しさを正確に計測している。続く

タグ：統計

posted at 15:58:14

#統計通常、汎化誤差と言えば予測分布の真の分布に対する汎化誤差を意味すると思いますが、自由エネルギー(エヴィデンス)のサンプル平均の意味での「汎化誤差」は自由エネルギーがモデルの正しさの指標として使えることを理解するために重要。

タグ：統計

posted at 15:58:13

#統計汎化誤差の概念を理解して利用することができないと、交差検証によるモデル選択がどれだけ信頼できるかを知る方法を失うということになります。

これは明らかに危ない。

統計学の道具はどれも危なっかしい。交差検証も危なっかしい道具の一つ。しかし、それらの有用性は間違いない。

タグ：統計

posted at 15:58:12

#統計あと、時系列解析で真に知りたいことは未来予測だと思うのですが、そういう文脈で何らかの意味での交差検証を行なっても予測誤差の良い指標が得られる保証はないと思う。

未来予測は難しい。株価や為替の未来予測ができれば簡単に大金持ちになれる(笑)。(昔やろうとしてうまく行かなかった😅)

タグ：統計

posted at 15:58:12

#統計人工的に作ったデータなら真の分布をカンニングできるので、計算量的に許されるならば(←たぶんこれは結構大変)交差検証だけではなく、汎化誤差も計算して比較した方がよいと思う。

実際にやってみると交差検証がどのようにどれだけの確率で正しいモデル選択に失敗するかの感覚がつかめます。

タグ：統計

posted at 15:58:11

#統計 LOOCVと汎化誤差の間に成立する普遍的な関係式があって、漸近的にはそれらは逆相関する傾向があります。渡辺澄夫著『ベイズ統計の理論と方法』p.180の3行目と6行目の式がそれです。

タグ：統計

posted at 15:58:11

#統計人工的に作ったデータでモデルをテストするときにも、LOOCVの類でモデルの性能を比較すると、過学習を起こしている側のモデルの性能が高いと誤解してしまう危険性があります。LOOCVには正しく使ってもそのような限界があるのです。

タグ：統計

posted at 15:58:10

#統計しかし、統計的モデルのテストは現実から得られたデータで行うだけではなく、「仮に真の分布がこんなんだったらモデルはどのような結論を出すか」という発想に基いて人工的に作ったデータを使って行うこともあると思います。続き

タグ：統計

posted at 15:58:10

#統計予測分布の汎化誤差は予測分布による予測の誤差(+定数)の定義そのもの。予測精度は汎化誤差で測られます。

しかし、汎化誤差はサンプルを生成した真の分布を参照できる場合にしか計算できません。

真の分布がわかっているなら統計的手法を使う必要はないので汎化誤差は実践的には使えない。

タグ：統計

posted at 15:58:09

#統計なぜならば、

(1) 汎化誤差の概念を知らないと、自身が設定した適当な分布で生成したサンプルでモデルのテストをするときに困るから。

(2) LOOCVが予測精度の評価で有効なことがわかっているのはi.i.d.という限られた文脈でしかないし、有効な文脈ででも過学習で下がることがあるから。

タグ：統計

posted at 15:58:08

#統計

統計的手法を実務で使うときには

* 真の分布を参照できないので汎化誤差のような概念はいらないが、交差検証(例えばLOOCV)によるテストの仕方を知っておくことが大事。

のように考えがちなのかもしれませんが、汎化誤差については知っておいた方が良いと思う。知らないと危険。続く

タグ：統計

posted at 15:58:06

#超算数　 #式を読む　先日行われた学力調査テストでも、端的に答えを聞くのではなく式を問うものがあった。
8254.teacup.com/kakezannojunjo...

大学入試改革もこのような「思考過程を答える」問題になっていくかもしれない。要注目

タグ：式を読む超算数

posted at 15:35:21

#超算数　 #式を読む
学校図書小学校6年教科書平成28年2月28日検定済 pic.twitter.com/v0ILcL9kH7

タグ：式を読む超算数

posted at 15:30:27

#超算数　 #式を読む
学校図書小学校6年教科書平成28年2月28日検定済 pic.twitter.com/mUZMjcW5oI

タグ：式を読む超算数

posted at 15:29:43

.@genkuroki さんのコメント「.@genkuroki 単純に「4×3=3×4だから掛算の順序にこだわっても意味がない」と考えている子供の側が正しい。」にいいね！しました。 togetter.com/li/1219644#c48...

タグ：

posted at 14:28:29

.@genkuroki さんのコメント「.@genkuroki たぶん、小学校や塾などで算数を教えていて、掛算順序固定強制指導の方針に従ってしまっている人達は、「3×4」は「3を4個足すこと」だと信じ込んでいるせいで、「3×4」を「3を4個足して得られる数」と定義..」にいいね！しました。 togetter.com/li/1219644#c48...

タグ：

posted at 14:28:23

.@genkuroki さんのコメント「細かい話になってしまいますが、論理的に考えているつもりなら、「AをB個足すこと」と「AをB個足して得られる数(量)」を厳密に区別するべきですよね。例えば、「3を4個足すこと」と「4を3個足すこと」と「12という数」..」にいいね！しました。 togetter.com/li/1219644#c48...

タグ：

posted at 14:28:17

.@genkuroki 単純に「4×3=3×4だから掛算の順序にこだわっても意味がない」と考えている子供の側が正しい。 togetter.com/li/1219644#c48...

「掛け算に順序はある論者とのやりとり」togetter.com/li/1219644 にコメントしました。

タグ：

posted at 14:22:31

ほら/hora @hora_algebra

Ninja DAO | CryptoNi @CryptoNlnjaNFT

さらに上位の肉食動物を入れた状態では平衡を保てない、と以下の理由から考えます。

・植物は面(2次元)、草食動物は列(1次元)、肉食動物は点(0次元)として動いています。
・一つ上の次元が捕食対象であることにより、連続的に食べ続けることができます。
・0次元は最小の次元です。

タグ：

posted at 11:43:19

そもそも北朝鮮を巡る問題が解決すれば良いのであって、安倍政権や日本政府がどんな役割を果たし、それらがどう評価されるべきかは、どうでもいいと思う。

タグ：

posted at 09:50:48

#数楽私がまだ全然理解していないのは、定積分

∫_0^1 dx/log|log x|

にどんな価値があるのか？

∫_0^1 log|log x| dx

なら x = e^{-y} と置換すれば「見たことがある形」になる(digamma函数のs=1での特殊値)。

タグ：数楽

posted at 09:29:54

#数楽 #Julia言語なかなか更新されないのでしびれをきらして再投稿した。

nbviewer.jupyter.org/gist/genkuroki...
1/log|log x|の0から1での積分

In [7] 以降で試した4通りの計算では

-0.15447 96414

の10桁が一致。

タグ： Julia言語数楽

posted at 09:24:10

#数楽 #Julia言語で数値積分した

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

も更新しました。まだ更新が反映されていませんが、じきにそうなるはず。

そのIn[7]以降で試した4通りの計算では

-0.15447 96414

の10桁が一致していたので、この10桁分は正しいと思うのですが、どうでしょうかね。 twitter.com/genkuroki/stat...

タグ： Julia言語数楽

posted at 09:15:09

Ninja DAO | CryptoNi @CryptoNlnjaNFT

@daichanKEPi #数楽

なるほど！「変数変換する前のもとの座標xで1/(ex-1)をx=e^{-1}を中心に対称な領域で引き去る」という方針ならば、I_1, I_2のどちらの項も負になるんですね。

x=exp(-y)と変数変換してから1/(e(y-1))をy=1を中心に対称形に引き去るという方針だとそうはならない。続く

タグ：数楽

posted at 09:11:37