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

こういう「必修極限リスト」もあまり一人歩きすると困るので、あくまで目安と思ってください。むしろ1年で修得するのは大変なくらいで、微積分を身に付けるにはよい素材でもありますが。マイナーな積分や級数はたくさんあり、そのために公式集があって、中には200年気がつかれないものもある。 twitter.com/Paul_Painleve/...

タグ：

posted at 00:48:49

Jiahao Chen 陈家豪 @acidflask

Congratulations to our bumper crop of #GSoC students working with #julialang @JuliaLanguage and @NumFOCUS !! summerofcode.withgoogle.com/organizations/...

タグ： GSoC julialang

posted at 01:08:13

じにお @ginioh

一度もメンション飛ばしてない新井紀子氏にブロックされてるのか。黒木先生をブロックしている事を指して、科学者じゃないってツイートしたのを、エゴサで見つけて、それでブロックなのか。んー、この人やっぱり色々問題あるなあ

タグ：

posted at 01:20:11

じにお @ginioh

一般人かつ、一度もメンションを送ったことが無く、当然本人にツイート内容に関して否定的なツイートもしたことが無いのに、新井紀子氏にブロックされたアカウントがこちらです。というか、ブロックされたのって二人目だなｗ

タグ：

posted at 01:22:56

NumFOCUS @NumFOCUS

#julialang and #rstats <3 twitter.com/GabrielGellner...

タグ： julialang rstats

posted at 01:42:18

きむりん（小六女子） @kimrin

うーむ、線形代数、新しい教科書は結構楽しく学べそうな気がする。

タグ：

posted at 01:59:15

きむりん（小六女子） @kimrin

と言うか線形代数（linear algebra)の教科書はMATLABみたいなcommercialなソフトウェアに依存しなくてどんどんJulialangつこて欲しい。多分今後そうなると踏んでいる。

タグ：

posted at 02:00:25

きむりん（小六女子） @kimrin

Julialang 吉野家の牛丼説（速いの安いのうっまいのーw＼(^o^)／）

タグ：

posted at 02:01:27

@kuri_kurita

こういうトンチキな事を言う人は…→「アレを批判するのにコレを批判しないお前はコレの支持者だろ」

これもよく言います。→「あいつのあれをRTしたお前はあいつの支持者だろ」

更にイカレてくると、これを言います。→「お前のツイートがあいつにRTされたからお前はあいつのナカマ」

知らんがな。

タグ：

posted at 04:39:09

大須賀覚 @SatoruO

昨日ブログに載せたこの記事に対して、すごい反響をいただきました。24時間で6500以上ものページビューがあり、多くの方が読んでくださったようです。シェアしてくださった皆様に感謝します。この記事でイカサマがん治療に騙される人が少しでも減ってくれればと願っています。satoru-blog.com/archives/260

タグ：

posted at 07:31:13

教師なし機械翻訳がヤバい進化を遂げててびっくりした．たった半年でBLEUスコアを15から25に改善したのブレイクスルーでは？
arxiv.org/abs/1804.07755
教師なし学習でこのクオリティの機械翻訳できるのまじで感動するし，ちょっと語っていい？ pic.twitter.com/fBllGtTkgb

タグ：

posted at 07:58:09

先行研究ではS文をT文に翻訳し，生成したT文からS文に逆翻訳し，元のS文と生成したS文から求まる損失を最小化した．
この場合途中のT文はノイズが多く不安定である．
そこで不安定な文（語順の入れ替えや語句の欠損）から元の文を復元するノイズ除去を同時に学習した．1/4
twitter.com/_Ryobot/status...

タグ：

posted at 07:59:33

このアイデアは確かに良かった．しかしやり方が間違っていた．
本来T言語のデコーダはS文のエンコード表現（翻訳時）とT文のエンコード表現（ノイズ除去時）に対して同様に動作するべきだが，
モデルには翻訳とノイズ除去を異なる部分空間を使って別々に学習してしまう欠点があった．2/4

タグ：

posted at 08:00:22

先行研究ではS言語とT言語のエンコーダを重み共有することでS文とT文のエンコード表現を近づける制約を施したが不十分であった．
なぜならデコーダは依然としてS言語とT言語で別れていたので，S文とT文のノイズ除去は異なる学習をしていた．3/4

タグ：

posted at 08:00:53

筆者らはデコーダも重み共有した．ついでにS言語とT言語を混合したBPEによって共有のトークンを取得し，エンコーダの埋め込み層も重み共有した．
これによりS文とT文の中間表現は一体化し，ノイズ除去からノイズの多い逆翻訳への移行に成功し流暢な翻訳が可能になった．4/4

タグ：

posted at 08:01:32

ふうむ。新井紀子さんが私(＝黒木)をブロックしていることに対する指摘を検索して見つけてブロックしているのか、新井さんは。自分に対する批判を見たくないなら、わざわざ検索して見つけるのをやめればいいのに。

twitter.com/ginioh/status/...

タグ：

posted at 08:22:57

#超算数私による新井紀子さんへの批判は、新井紀子著『ハッピーになれる算数』(2005年)で、「式と答え」で解答するという(個人的な意見では極めてよろしくない)方針を採用しながら、【最初の式には，「問題の中に出てきた数字しか書かない」】(p.26)という教え方を徹底していることに向いています。

タグ：超算数

posted at 08:22:58

#超算数【確実に「わかる」に戻ろう】(p.20)という教え方は有益だと思います。しかし、それと【最初の式には，「問題の中に出てきた数字しか書かない」】(p.26)という教え方を「式と答え」で解答するという方針の中で徹底することは極めて有害。

タグ：超算数

posted at 08:22:58

#超算数新井紀子さんがすすめている教え方が算数があまりできない子にとってどのように有害であるかがわかりやすくなるように、優れた小学校の先生の教え方を紹介しましょう。

8254.teacup.com/kakezannojunjo...

タグ：超算数

posted at 08:22:58

#超算数 8254.teacup.com/kakezannojunjo...
【「ゆうたさんの組では、家で動物を飼っている人が21人います。これは、組全体の人数の６０％にあたります。ゆうたさんの組の人数は何人ですか？」】

私の回答を言葉で書くと「21人で60%なら、20%はその3分の1の7人なので、その5倍の35人が全体の人数である」。

タグ：超算数

posted at 08:22:59

#超算数小6の子の中には

③21÷3＝７　7×5＝35

のように解いた子も複数人いたそうです。おそらく、その子達は私と同じように考えている。私は楽に計算するために上の方法を使ったのですが、おそらく、その子達もそうなのだと思う。続く

タグ：超算数

posted at 08:22:59

#超算数で、実際に授業した本人によれば、私と本質的に同じ解答を書いた子は

8254.teacup.com/kakezannojunjo...
【相対評価では確実に下位１０％、５段階で１か２の子】

なのだそうです！！！！！！！！！！

タグ：超算数

posted at 08:22:59

#超算数想像するに、その子は小数の計算が苦手なので、算数教科書的模範解答の「21÷0.6=35、35人」のように解答できず、自分の頭で必死に考えて計算が易しいルートを見付けたのだと思う。

私は、算数において子供から選択肢を奪う行為がこのような子供を突き落としているのではないかと思いました。

タグ：超算数

posted at 08:23:00

#超算数教科書的な教え方では、【「ゆうたさんの組では、家で動物を飼っている人が21人います。これは、組全体の人数の６０％にあたります。ゆうたさんの組の人数は何人ですか？」】には「21÷0.6」という式を立てるという方針をほぼ強制されてしまいます。私はそれはひどいと思っているわけです。

タグ：超算数

posted at 08:23:00

#超算数その子の解答「21÷3=7、7×5=35」は問題文にない数値である3や5をいきなり使用しています。新井紀子著『ハッピーになれる算数』の教え方に忠実に従えばこれはダメだということになり、さらに【だれにでもわかる答案を書く】(p.46)という原則にも反すると言われてしまうかもしれない。むごい。😭

タグ：超算数

posted at 08:23:00

#超算数以上の実例(優れた小学校の先生の授業に算数が苦手な子供達がどのように応えているかと新井紀子著『ハッピーになれる算数』の教え方の比較)を見れば、算数教育における子供の心を縛る教え方が、算数が苦手な子供が理解にたどりつくことをどのように妨害しているかがわかると思います。

タグ：超算数

posted at 08:23:01

スプラトゥーンもいいゲームだよね。

タグ：

posted at 08:33:48

Kumagai, M @kumarobo

「パンを食べながら走ってくる女の子と出会い頭にぶつかる」ってマンガアニメ表現あるじゃないですか。あれ、いろいろとリアリティ欠けると思うのですけど、多賀城駅で
　レーズンパンみたいなのを袋で持ちながら、くわえたまま改札を通る女子高校生
をリアルに見て衝撃受けました＜リアリティ出てきた

タグ：

posted at 09:01:14

#数楽 πやeの定義の仕方の一つの流儀の復習＋Euler's γの導入のノート

nbviewer.jupyter.org/github/genkuro...

高校数学IIIで習う「曲線(軌跡)の長さ＝速さの定積分」を使うと単位円周の長さの半分の式を具体的に書けるのでπをそれで定義できます。

π = ∫_{-1}^1 dy/√(1-y^2) = ∫_{-∞}^∞ dt/(1+t^2)

タグ：数楽

posted at 09:30:32

#数楽上のπの定義式を拡張すると三角函数の定義を経由せずにその逆三角函数を直接定義できます。

θ = arc sin y = ∫_0^y dt/√(1-t^2),

θ = arc tan a = ∫_0^a dt/(1+t^2).

sin θとtan θはこれらの逆函数で定義される。この経路なら、sin θとtan θの導函数も自明に導けます。

タグ：数楽

posted at 09:30:32

#数楽高校数学の教科書ではそういう経路の話を一切せずに、直接 sin θ を微分しようとして不自然な議論になっています。

(sin θ)/θ → 1 (θ→0)

と三角函数の加法定理を経由する sin θ の導函数の求め方は無駄に遠回りしている。自明な話を難しくやっている。

タグ：数楽

posted at 09:30:32

#数楽 eの定義についても同様です。微積分を前提にしてよい段階になれば、exp の定義を経由せずに log を直接

log x = ∫_1^x dt/t

で定義でき、exp をこれの逆函数で定義できる。上でやった三角函数の定義と同じ経路をたどっています。この経路なら e は

e = exp(1)

で定義できます。続く

タグ：数楽

posted at 09:30:32

#数楽その定義のもとで

(1+1/n)^n → e (n→∞)

を証明することは微積分の簡単な演習問題。(1+1/n)^n がn→∞で収束することを直接証明するよく見る教科書的記述を経由して, e を導入する必要はない。(もちろん、そういう経路で e を導入してもよい。数学では無数に別解があることが普通。)

タグ：数楽

posted at 09:30:33

#数楽私がノートで採用したlog xを不定積分で定義して、expをその逆函数で定義するスタイルであれば、(1+x/n)^n→exp(x)と収束するだけではなく、

(1+hx)^{1/h} = exp(x)(1 - hx^2/2 + o(h))

を示すことも容易。(1+x/n)^nをexp(x)で近似するときの相対誤差がx^2/(2n)程度であることがわかる。

タグ：数楽

posted at 09:30:33

#数楽以上のスタイルは楕円積分の逆函数として楕円函数を導入するスタイルにそのまま拡張されます。

タグ：数楽

posted at 09:30:33

#数楽以上のπやeの導入と比較すると、オイラー定数γの導入は難しい。オイラー定数の正体は私にはまだよくわからない(定義は易しい)。

x_1+…+x_n=nを満たす正実数x_i達をランダムに用意し、x_iの対数平均のn→∞での極限をとると、Euler定数γの-1倍-0.5772…に収束する。

nbviewer.jupyter.org/github/genkuro... pic.twitter.com/fTvnqiDrdc

タグ：数楽

posted at 09:30:34

闇のapj @apj

林氏にサイエンスコミュニケーターの能力があると判断した大学関係者って一体誰？昨日から巻き込まれてるやりとりをちょっと見ただけでも内容にサイエンスがちっとも出て来ない上にコミュニケーションも不可能ですよねこれ。

タグ：

posted at 09:38:21

砂___の___女 @vecchio_ciao

@EVLWyqRDoSiBpEe @yamazaksv2 毎年、保護者の立場から＃組体操について苦言を呈していますが、現場の教員の多くは残念ながらこの程度の認識です。

twitter.com/vecchio_ciao/s...

タグ：組体操

posted at 09:51:17

log(1+x)をy=1/(1+x)の積分とみる見方は、Mengoli(1659)が始めて
archive.org/details/geomet...
Mercator (1668)
archive.org/details/ita-bn...
が続いた。Mengoliは双曲線の面積函数を「自然対数」と呼び、加法公式を満たすこと、log 2の級数表示を与えた。Mercatorはlog(1+x)のTaylor級数を求めた。 twitter.com/genkuroki/stat...

タグ：

posted at 10:48:23

NewtonもlogのTaylor展開を求めたが、Mercatorの直後で本人も残念だったそうだ。なお、Newtonはlogの逆函数＝指数函数のTaylor級数を与えはいるが、この函数の1での値が自然対数の底だとは気がつかなかったようだ。ちなみにNapierは単にlogarithmと言っている。

タグ：

posted at 10:48:24

対数を発見したNapierはeに近い数字を扱ったが極限は取れなかった、Mengoli～Mercatorは双曲線の面積として自然対数を扱い、Newtonは逆函数までは考えた。数としてのeを明確に意識したのはJakob Bernoulli（父）で、(1+1/n)^nの極限が2～3であることを示し、この極限がΣ1/n!であると示したのがEuler。

タグ：

posted at 10:48:24

その後、微積分が整備されてしまうと、(1+1/n)^nの極限でeを定義して～という方法が教科書で多く採用されるようになった。指数函数と対数函数はどっちを先にやるかは、著者の考え方であり、教科書でどうまとめるのは腕の見せ所でもある。歴史通りにやる必要もない。

タグ：

posted at 10:53:28

歴史に従う必要はないが、函数e^xのTaylor展開の方が超越数eよりも先にあったのは確かである。「函数e^ｘのほうが数eよりはるかに易しい」というのは、私が数学の研究で今現在肌身で感じていることでもある。微分方程式y'=yのほうがeのいろんな定義より簡単じゃないですか。

タグ：

posted at 11:02:46

#数楽杉浦光夫「谷山豊の生涯」(『増補版谷山豊全集』日本評論社1994のpp.351-358に所収)のpp.356-357からの引用

【谷山は1955年12月東大教養部講師となった。56年度か57年度の微積分の講義で、微分より積分を先にやることにしたと言っていたことがある。】

引用続く

タグ：数楽

posted at 11:15:34

#数楽引用続き

【なるほどこうすると、対数函数や逆三角函数を積分で定義することができて、初等函数の理論を解析的に展開することが可能になるのである。】

こういう話は数学者コミュニティーのあいだでは世界的に昔からwidely knownだと思ふ。

タグ：数楽

posted at 11:15:35

#数楽特に、大学での数学科向けの解析学教育で、位相や収束に関わる事柄についての一般論に偏り過ぎて、具体的で面白い数列、級数、積分、函数、などなどに触れずに一般論だけで終わってしまうのはとてもまずい。

数学科以外なら応用できないとお話にならないのでこの点は大した問題にはならない。

タグ：数楽

posted at 11:15:35

#数楽そういう視点で見直してみると、高木貞治『解析概論』はとてもよい本に見える。

高木貞治『解析概論』を「証明が書いてある本」だとみなすと不満な人が増えるような気がするが、昔の文献から面白いネタを見繕ってまとめてくれている本だと思って読むと非常によい。

タグ：数楽

posted at 11:15:35

#数楽例えば、『解析概論』を学生時代に読んでいた人は最近の話題で「ディリクレ分布」なんかが出て来ても「『解析概論』でその式を見たことがある」という感じで何も困らないだろう。

添付画像のディリクレ積分はベータ函数の直接的かつほぼ自明な多変数への拡張。 pic.twitter.com/KEdo1GrHGP

タグ：数楽

posted at 11:15:36

李晃伸 / Lee Akinobu @LeeAkinobu

Julius 用の英語音響モデルをフリーで公開している人から紹介いただいたのでトップページからリンクを貼りました。GMMとDNN版があり、そこそこちゃんと動くようです。

julius.osdn.jp （左の「言語モデル・音響モデル」から）
github.com/julius-speech/...

タグ：

posted at 12:07:23

李晃伸 / Lee Akinobu @LeeAkinobu

English / Polish acoustic model for Julius: Thanks for open model!
sourceforge.net/projects/juliu...

(made link from official Julius GitHub page)

タグ：

posted at 12:09:12

凸ノ高秀 @totsuno

LINEスタンプですが、色々な方から買ったよ使ってるよというお話を聞けて嬉しいです
ちなみにこれは僕は使いたいけど響く層が狭すぎるという理由で泣く泣くカットした没案です pic.twitter.com/NCiHB9RYE9

タグ：

posted at 12:13:40

守姫（すき） @laveorange

先日のとても暑い日、男の子が制服の上着を脱いで帰ろうとすると、一人の先生が「上着を着なさい。それがルールだ」と言いました。それを見ていた他の先生が「今日は暑いから上着は、いいじゃないですか？倒れますよ」と言いました。ルールが何の為にあるのか先生方に考えていただきたい。

タグ：

posted at 12:24:11

ceptree @ceptree

🐼 pic.twitter.com/jlsiQtMFe6

タグ：

posted at 12:39:23

はやし @t_hayashi

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

娘、ここのところ結線遊びが厄介なレベルに達しているので、それならばと本物を与えた。 pic.twitter.com/Oihg0gma7f

タグ：

posted at 12:43:50

絵文字がidentifierとして使えない言語はちょっと...

タグ：

posted at 12:48:45

Limg @LimgTW

Ninja DAO | CryptoNi @CryptoNlnjaNFT

あー移行！？あ…確かに移行だこれ…その発想の柔軟さよ！ twitter.com/greatdemon1701...

タグ：

posted at 13:11:52

そういえば自分と池内先生の名前を並べて「学者という奴は」的にやっている人が散見されますが、どこをどう間違ってもこの組み合わせは、うちの業界の標準的な行動様式から大きくずれている「極端事例」ですので、注意しましょう。他の方が迷惑すると思います。

タグ：

posted at 13:31:39

twitter.com/ginioh/status/...

「ブロックするしないも、他人の意見を聞くも聞かないのも自由」は、一般的には成り立つかもしれないが、新井紀子氏は公職について政策決定をする立場にある公人だから、こういう態度は批判されてしかるべき。

タグ：

posted at 14:55:01

@genkuroki #超算数　③21÷3＝７　7×5＝35　と、公式とは異なる方法で解いた子は割合の概念を理解しているでしょうが、21÷0.6は、理解した上で公式を使ったという子もいるだろうけど、理解していなくて公式を覚えていただけの可能性も否定できない。

タグ：超算数

posted at 15:00:27

@genkuroki #超算数　特定の解き方の強制は、理解度と正答の相関の精度を鈍らせかねないわけだけど、

教えたとおりの解き方だから理解している
教えたのと異なるから理解していない

などと、倒錯した主張に出くわすことがしばしば。

新井紀子氏からしたら800÷2は駄目でしょうね
togetter.com/li/1047129

タグ：超算数

posted at 15:04:15

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Gabriel Peyré @gabrielpeyre

Julia sets are attraction bassins of iterated complex maps. The best known example is quadratic polynomials. en.wikipedia.org/wiki/Julia_set pic.twitter.com/pAB3pQqDGm

タグ：

posted at 16:45:00

非公開

タグ：

posted at xx:xx:xx

高専でラプラス変換を教えているというので、必要に迫られて自分も勉強し始めた。このあたり、実は全く不勉強。私自身は大学でやった記憶がない。

数学科の講義で出てくるのかな？私がサボっていただけ？選択すればあったのかな？

タグ：

posted at 17:28:41

でえもん @GreatDemon1701

@LimgTW かなり昔、「A=B」の直後に「B=A」という式を書いたら「え？なんでマイナスつけなくていいの？」みたいな反応がありまして…
移項脳ですかね。やはり移項を教えるべきではないと思います。

タグ：

posted at 17:34:16

ということで、その勢いで、ラプラス変換も、と目論んでいる。
で、高専で使っている教科書　新応用数学（大日本図書）を取り寄せて読み始めたのだが、ラプラス変換は唐突に定義から始まっている。

まあそう定義されているなら、それを受け入れるしかない。

タグ：

posted at 17:55:14

どうも微分方程式を解くのに使うようだから、そのうち何でこういうものを定義するかは分かってくるのだろう。

で、f(t)＝1、t、t^2などのラプラス変換を求めよ、というのがあったので、
これは、t^nも求められるなと思って出したのが

n!/s^(n+1)

調べるとこれで合っているようだ。

タグ：

posted at 17:58:20

Limg @LimgTW

@GreatDemon1701 こっちは同値の対称性でしか見てないから、逆に新鮮だわ。まぁ、移項のワンパターンは皮肉的に良いとして、A＝Bの次にB＝Aが直感的に理解できないってのが遥かに問題ですよね。同値自体を理解できてないってことですよね？！

タグ：

posted at 17:59:36

で、これはnが自然数ではない場合も当てはまるのか？
n＝1/2とすれば、これに対しての何らかのラプラス変換は求まるわけで、そうするとそれが(1/2)!/s^(3/2)と等しくなって、(1/2)!が定義できるのだろうか？

階乗の拡張は、ガンマ関数がどうこう、と噂では聞いたが、それと関係あるのだろうか？

タグ：

posted at 18:01:11

今のところこういう状態。この先も、あれこれ疑問が派生して読み進められない予感がする。

タグ：

posted at 18:02:33

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

@sekibunnteisuu ラプラス変換とはそもそも何ぞやってとこかも。

タグ：

posted at 18:15:27

フーリエ級数の場合は、無限次元ベクトルである関数を、正規直交基底で成分表示したもの、というのは分かる。これは、有限次元の場合からの類推でそういうことだと分かるが、ラプラス変換の方はまだよく分かっていない。そのうち何をしているのか分かってくることを期待したい。

タグ：

posted at 18:16:18

@tsatie そもそもなんですか？大学時代に講義を受けたことがありますか？

タグ：

posted at 18:16:58

でえもん @GreatDemon1701

@LimgTW 不思議そうな反応には私も困りました。「=」をまたぐと符号をかえる
のが最優先になってしまっているようです。絶対的な右辺と左辺が認識されているのは掛順に通ずるものが感じられます。#超算数

タグ：超算数

posted at 18:18:13

@tsatie 私がサボっていたわけじゃないようだ。

ja.wikipedia.org/wiki/%E3%83%A9...

タグ：

posted at 18:31:59

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

まぁ何だろう、僕も何故だかブロックされてるけど（何でやろか）色々と目立つというか表に立つ人やから僕らの想像以上に大概なんやろうなぁとは同情する。余程自信があるのやろうけど今のTwitterの仕様だと致し方ないのかも。擁護するわけでもないけどさ。 twitter.com/sekibunnteisuu...

タグ：

posted at 18:34:12

Tamacorn @sleepyheadcorn

@io302 日本の予防接種スケジュールのカオスっぷり（笑）。NZだとその月齢/年齢が近づくとかかりつけ医から手紙か電話で連絡が来ます。体調さえ良ければ一気にグサグサ接種です。申し訳無いですが、日本がなんでこんなに複雑なのか理解できません。 pic.twitter.com/sFJ63057Oh

タグ：

posted at 18:42:01

@tsatie そうなんですか！

と思って確認したら、私もブロックされていたｗ

タグ：

posted at 18:53:50

#超算数それ、教科書的な

比べられる量÷もとにする量=割合
もとにする量×割合=比べられる量
比べられる量÷割合=もとにする量

の3つの公式で機械的に解けないのでいい問題(笑)。

子供が「これ、かけ算かな？わり算かな？」とか言い出すと算数教育に被害を受けている。

twitter.com/diazeip/status...

タグ：超算数

posted at 18:56:36

@tsatie 私をブロックしている著名人

須賀原洋行
百田尚樹
新井紀子

ブロックされていることが誇らしい気分にすらなってしまう^^

タグ：

posted at 18:56:52

@tsatie 『学び合い』の西川純

もそうだったが、著名人かどうかは微妙

タグ：

posted at 18:57:39

運小次郎＠新党「ペンギンの生活が第一」 @hseino1

@tsatie twitter.com/search?f=tweet...

質問も批判も一切遮断する方針のようですね。

タグ：

posted at 19:02:19

「反●●」が目的化した活動が様々な矛盾を孕んで瓦解することは、ついったらんど内の動向を見ていてもよくわかる。

タグ：

posted at 19:27:14

Akinori Ito @akinori_ito

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

Java, Python, MATLAB, C#, Go, Ruby, perl, Julia, JavaScript, Haskell, Clojure, Common Lisp, Rust, Swift, Racket, PHP, Delphi 用のは発見。Rはないのかな？
掲示板にはDとかTclとかで欲しいという無茶なことを言ってる人がいた twitter.com/akinori_ito/st...

タグ：

posted at 19:27:44

わらび餅＠ダークサイド @kur0m1tsuk1nak0

武田邦彦のせいで自主避難に踏み切って人生をめちゃくちゃにされた人たちはたくさんいるはずだよ

タグ：

posted at 19:36:58

わらび餅＠ダークサイド @kur0m1tsuk1nak0

長男(小2)が毎日やる自習学習。先日かけ算の練習を自学でやっていったら、先生から｢かけ算ではなく時計の勉強をして｣と赤ペンでコメントが。でたでた。これがTwitterでも時々話題になるやつか。

タグ：

posted at 19:38:41

わらび餅＠ダークサイド @kur0m1tsuk1nak0

夫にこの事を話したら｢まだかけ算は早いからやるなってことでしょ｣と言われた。そんなのは私だってわかってる。だけども、自習学習なんだから何を勉強しても自由なのでは？習っていない漢字を使うんじゃない。それと同じことを先生は言っているんだよね？夫は｢日本だから仕方ない｣だってさ。

タグ：

posted at 19:41:04

私は頑固だから納得いかない。なんのための自習学習なのか。だったら｢自習｣ではなく、宿題のように指示を出すべきだ。子どもが自分で考え自分で学ぼうとしたことを否定するとはどうゆうことなんだ。

タグ：

posted at 19:44:19

非公開

タグ：

posted at xx:xx:xx

ceptree @ceptree

ジュリア集合はかわいい pic.twitter.com/SXMManWRxG

タグ：

posted at 20:41:45

#数楽ベータ函数のような区間上の積分だけではなく、その多変数への一般化のディリクレ積分のような単体

{ (x_1,…,x_n) | x_1,…,x_n≧0, x_1+…+x_n≦1 }

上の積分も早めにやっておくと、後で幾何で単体について習ったときに「ああ、あのとき計算に出て来たアレか」で済ませられる。続く

タグ：数楽

posted at 20:54:00

#数楽一つ前のツイートの意味での単体は次の意味での単体の射影になっている:

{ (x_1,…,x_n,x_{n+1}) | x_1,…,x_n,x_{n+1}≧0, x_1+…+x_n+x_{n+1}=1 }.

多分、数学科の幾何の授業で習う「n単体」はこちらに近いスタイルで扱われているかも。座標の入れ方のスタイルの違いでしかない。

タグ：数楽

posted at 20:54:00

#数楽単体上での具体的な積分を扱っているのであれば、積分領域の図を描いて考えることは普通なので、結果的に単体の図を描くことになる。多変数の微積分の計算でそういうのを経験しておけば、後で色々なところで役に立つ。

タグ：数楽

posted at 20:54:00

#数楽数学的な事柄では同じ部品をあちこちで使い回すことが実に多い。だから、具体的だが特殊な計算をするときでさえ、それそのものにオーバーフィッティングすることなく、そこで使われている部品の価値を正しく認識できれば、特殊な計算をするだけで普遍的な事柄を学べる。

タグ：数楽

posted at 20:54:01

#数楽恥ずかしながら、私は、単体上の一様分布に従う擬似乱生成の方法をつい最近知った。一つの方法はMCMCだが、MCMCのようなしちめんどくさい道具を使わなくても、rand()函数の繰り返しと○○函数を使えば簡単に単体上の一様分布に従う擬似乱数を作れる。本当は答えを言いたいが我慢して言わない😝。

タグ：数楽

posted at 21:05:13

#数楽問題：非負のx_1,…,x_nで総和が1であるような(x_1,…,x_n)の一様擬似乱数を生成する方法を考えよ。

一つの答えが

nbviewer.jupyter.org/github/genkuro...

の第1.4.4節にある。オイラー定数γが自然に出て来る状況を作るために使った。単体上の一様擬似乱数発生法を微積分の講義でするのは時間的に無理。

タグ：数楽

posted at 21:05:13

#数楽本当はオイラー定数γが自然に出て来ていると言うより、digamma函数ψ(s)=d(log Γ(s))/dsが自然に出て来ていると言った方が正確。eそのものよりもexp(x)を考えた方が簡単なのと同じように(exp(0)=e)、オイラー定数γそのものよりもψ(s)を考えた方がよいということなのだろうか？(ψ(1)=-γ)

タグ：数楽

posted at 21:08:27

seal @TOHO_seal

千葉大附属中での教育実習では、給食制度がないため実習生もお弁当を持参するのだが、「お弁当箱に入れたお弁当」でないといけないらしい。コンビニ弁当は禁止。詰め替えたらOK。こんな無駄なことしてる限りうちの大学からも低くない確率でクソ教師が生産されてしまうことだろう…と暗い気持ちになった

タグ：

posted at 21:25:19

tomo @tonagai

この積分∫ dx / log|log(x)| (x=0 to 1)をPARI/GPのDE積分公式でx=1/eの周りで分けて1000桁で計算してみました。
-0.1544796413200427446901885347…
となりました。 twitter.com/Paul_Painleve/...

タグ：

posted at 21:45:37

残り13件のツイートを見る

adhara_mathphys @adhara_mathphys

PDF公開されている理学書の中に、メシア、ディラックとともにシッフも入っています。 blog.livedoor.jp/rikeidansi/arc...

タグ：

posted at 22:16:20

adhara_mathphys @adhara_mathphys

英語だと多いですよね。
日本語ならば、大学の講義ノートなども公開されているので良いものはありますね。

タグ：

posted at 22:18:32

ハルアミド @3iua3

ゆうけん（優木賢太） @yutakenta64

しかし先日のFC福島の件で、チンピラの言いがかりがまかり通ってしまうって事をまのあたりにしてからずっと厭世的な気分に苛まれていて、あのチンピラは元より難癖をつけられて窮地に陥っている側を完膚なきまでに叩きのめした周囲の面々に対しても表現出来ないくらいの嫌悪感でいっぱいで

タグ：

posted at 22:19:54

斉藤ひでみ・現職教師（西村祐二） @kimamanigo0815

これは必読。管理職自らが全員顧問制度を廃止した実例報告です。

結果は管理職自らが「全員顧問制度の廃止は失敗だった」と認める結果に。

この例から、何をどうすれば良かったのか考えるきっかけになるでしょう。 challenge-teacher.hatenablog.com/entry/2018/01/...

タグ：

posted at 22:34:26

ゆうけん（優木賢太） @yutakenta64

これは実に興味深い。。

完全希望性にしたところ、「顧問をしない職員は、全数のおよそ半分でした」。 twitter.com/yutakenta64/st...

タグ：

posted at 22:42:13

ゆうけん（優木賢太） @yutakenta64

部活動の規模が現状のままでは、顧問を希望制にしても不公平感が残るだけなので、部活動の縮小、総量規制が先決なのではないかと思った。
全員顧問制度が崩壊し、希望制が管理職から発動された例は非常に少ないので、このような結末になることは案外想像しきれていないと思う。

タグ：

posted at 22:42:24

@amukyoushi 希望者はそんなにいないでしょう。管理職がきっぱり希望制にしたのですから、気を遣わなくてもいいわけですし。

しかし、最初はみんな喜んだのに、結末は不幸になるとは皮肉な話です。

タグ：

posted at 22:55:35

@heart8255