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

@takusansu だから「正方形は長方形ではない」「正三角形は二等辺三角形ではない」「掛け算の順序強制」などなど、のような論理を無視した教え方が横行するんですね

＃超算数

タグ：超算数

posted at 07:31:47

つーv2.6 @ogtkzk

@OokuboTact @takusansu 時代に逆行してますよね。

タグ：

posted at 07:38:58

非公開

タグ：

posted at xx:xx:xx

#数楽 #Julia言語

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

連続函数の一様収束の例にペアノ曲線を追加した。証明の概略付き。 pic.twitter.com/MS6c48LPPs

タグ： Julia言語数楽

posted at 09:12:42

#数楽 #Julia言語添付画像はPeano曲線(x(t),y(t))のx(t)とy(t)のグラフ。一様収束していることが一目瞭然。「一様収束」を習いたてのよく理解していない段階では一様収束しているかどうかを目で見て簡単に確認できる場合がたくさんあることを知らない。一度知ってしまえば明らかな概念になる。 pic.twitter.com/KMSj4lKrQQ

タグ： Julia言語数楽

posted at 09:16:42

#数楽以上のようにして作った連続な曲線(x(t),y(t))は正方形を埋め尽くす。これをPeano曲線と呼ぶ。

Peano曲線は連続函数の一様収束に関する非常によい演習問題だと思う。数学の理解ではやる気が重要。「連続な曲線で正方形を埋め尽くせることを証明せよ」という問題ならやる気が出るだろう。

タグ：数楽

posted at 09:21:00

こういう数値計算的な方法の量子力学も面白い
github.com/cometscome/QM

タグ：

posted at 09:59:55

github 、重たいときはこっちに貼った方が見やすいかもしれない nbviewer.jupyter.org/github/cometsc...

タグ：

posted at 10:26:52

前に書いたこれ、粒子数保存してる場合の生成と消滅の演算子を疎行列の形で作れるので、組み合わせれば、任意のハミルトニアン、任意のグリーン関数の計算ができる github.com/cometscome/Exa...

タグ：

posted at 12:20:13

同じやつのPython版もある github.com/cometscome/Exa...

タグ：

posted at 12:26:11

You−me（ @anatawatashihtn

@unite_daction 財政出動に誤解があるようです。
共産党は財政再建重視ですので（www.jcp.or.jp/tokusyu/senkyo...）それだけで緊縮的です。社会保障を手厚くするからどこかを手薄くするというのは財政出動ではありません。再分配の是正です。財政出動は政府支出をいくら増やすのかという話です。

タグ：

posted at 14:01:01

アヲギリ @Aogiri_m2d

Juliaのshowマクロ，適当に変数わたすだけでも，いい感じに見やすく表示してくれるのほんとすこ．

タグ：

posted at 14:49:59

Paul Painlevé @Paul_Painleve

気がつきませんでしたが，労作です。以前、TeXにしてpdfを公開されていた人がいらっしゃいました
twitter.com/genkuroki/stat...
が、そちらのサイトは@niftyの終了で消えてしまいました。

scan版の公開は続いています：
kenboushoten.web.fc2.com
国会図書館より読みやすいです
dl.ndl.go.jp/info:ndljp/pid... twitter.com/line__segment/...

タグ：

posted at 15:16:17

Paul Painlevé @Paul_Painleve

竹内端三、藤原松三郎、高木貞治など、数学青空文庫というのも大切なのだろうと思います。現役の数学者には時間的に難しく、数学愛好家の方がこの水準でMathJaxで作るのもハードルが高いように感じます。マンパワーの点で厳しいのかもしれません。

タグ：

posted at 15:21:47

非公開

タグ：

posted at xx:xx:xx

CT1 @mb_checker

香川愛生 Manao Kagawa ☗ @MNO_shogi

ベイズでのサンプルコードがjuliaだったので、強制的にjuliaコードを読めるようになってきた。。。

タグ：

posted at 16:13:53

『りゅうおうのおしごと!』
姉弟子こと、空銀子さん。。。

衣装は母の手作りです🙇‍♂️ pic.twitter.com/3jyrzdPjAo

タグ：

posted at 16:22:02

ブルドッグ @Bulldog_noh8

なんか面白そうなことになってたんでまとめときました。

【5分でおさらい】ネトウヨの皆さんが弁護士に集団で懲戒請求中の件 - NAVER まとめ
matome.naver.jp/odai/214539682...

タグ：

posted at 17:09:14

ブルドッグ @Bulldog_noh8

これ、既に各所で話題になってたので何を今さらなのですが。
よくよく考えたら「匿名でヘイト書き込みばかりしてきた集団が、自分たちがやった懲戒請求で1000人近く弁護士に身バレしちゃっている」という稀に見る面白案件なので、積極的にエールを送っていこうと思います。

matome.naver.jp/odai/214539682...

タグ：

posted at 17:33:00

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

#数楽高木貞治『解析概論』は非常に面白い数学の本なのですが、注意するべきことが一つだけあって、それは、文体を真似しない方がよいこと！！！

「然らば」「大なる数」「小ならしめれば」「さて」「核心は条件が十分なることである」…

日本語の楽しさを再認識できるくらい文体が楽しい(笑)。

タグ：数楽

posted at 19:11:30

いいだまん(老害) @FLASH1N

iPhoneのSafariでPDFを開き、拡大したり縮小したりしていると、ページごととかに真っ黒になってしまう

タグ：

posted at 20:52:57

BINGO! I've tried unsuccessfully probably 3 or 4 times over the last couple of months, but finally got #JuliaLang Juno in @AtomEditor working error free on #JuliaLang 0.7! pic.twitter.com/iL3hbMYsmm

タグ： JuliaLang

posted at 22:19:15

Needed the following packages on master and/or specific branches:
Atom:julia-0.7
Blink:master
HttpServer:0.7_migration
Juno:julia-0.7
Lazy:master
MacroTools:master
Media:master
Tokenize:master
atom-ink:master
atom-julia-client:julia-0.7

タグ：

posted at 22:19:15

And this patch for Blink (src/AtomShell/process.jl):

- joinpath(Base.find_in_path(pkg, nothing), "..","..", path...) |> normpath
+ joinpath(Base.find_package(pkg), "..","..", path...) |> normpath

タグ：

posted at 22:19:16