黒木玄 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年08月13日(月)
glassbro@bsky.social @TheEmGotter
@vhranger You can call Julia from R using JuliaCall, and Rstudio lets you call it in Rmarkdown by default. That lets me stick with the best IDE in the game. R also has way more packages & devs. But maybe one day.
タグ：
posted at 00:23:35
Dr. Chris Rackauckas @ChrisRackauckas
@TheRealEveret @vhranger You can autodiff through R code with #julialang's ForwardDiff.jl through JuliaCall, so that's definitely something cool :)
タグ： julialang
posted at 00:35:48
#数楽 #Julia言語
Σ(log n) η(n/N) = log√(2π)+H(1)N log N+H'(1)N+O(1/N)
も結構面白いです。
η(x)=exp(-x^2)のときは
H(s)=Γ(s/2)/2,
H(1)=√π/2,
H'(1)=-(log(2)+γ/2)H(1)=-0.98…×H(1).
なので
Σ(log n) η(n/N) = log√(2π)+H(1)(N log N - 0.98…×N)+O(1/N).
twitter.com/genkuroki/stat...
posted at 01:11:31
量子ゼノン効果を提唱したスダルシャンさんも今年亡くなったばかり。直接対象を観測する時のゼノン効果は実験で既に多数確かめられ、量子コンピュータの誤差訂正への応用も議論されてきた。一般向け科学誌でスダルシャンさんやこの効果の最近の進展の特集を組んだらよいのに。
quest.ph.utexas.edu/sudarshan_zeno...
タグ：
posted at 04:44:59
@AkiyoshiKitaoka I recreated this in a shader!
www.shadertoy.com/view/XtdyWj pic.twitter.com/6oCtaUFDRx
タグ：
posted at 04:50:39
ミスラさんとスダルシャンさんが1977年に書いた、量子ゼノン効果の論文PDF。この頃は、量子測定理論も注目を浴びずにひっそりとごくごく少数の研究者たちが発展させている最中で、特に多くの素粒子物理学者は全く「量子測定とは何か」を理解していなかった頃。
web2.ph.utexas.edu/~gsudama/pub/1...
タグ：
posted at 04:54:12
20世紀産まれの素粒子物理学者達には「自分は量子力学を一番知ってる」と自負を持ってるくせに、実は量子測定理論を全く理解してなかったという黒歴史がある。またはファインマンの呪いのせいで量子力学に実はコンプレックスを持ってて、独自理論で観測問題を解くナンセンスをした（してる）人も多い。
タグ：
posted at 04:59:33
21世紀の現在では量子力学は情報理論の一種と正しく理解できる。そして20世紀に物理学者や哲学者が散々騒いだ「観測問題」などはそもそも存在しなかったことが分かっている。観測問題という幻は、量子測定理論の整備によって業界から駆逐されてきているのが、今の状況。
タグ：
posted at 05:04:09
人間の体や全てのモノを作っている原子分子も、同一規格の素粒子からできており、量子力学に支配される対象だ。「世界は量子情報からできている」というバズワードは、空疎ではなく真実を突いている。１つ１つは全く個性を持たない素粒子が集められ、そこに量子情報を記憶させることで世界は生まれた。
タグ：
posted at 05:07:52
このようなことから、最近は空間も量子情報に基づいて創発するという理論が、この１０年くらいの間に多くの研究者によって議論されてきたのだ。時間や空間の本質は量子情報の理解なくして掴めない。「世界は量子情報でできている」という視点は今後も多くの物理学者を新しい理解へと導いていくだろう。
タグ：
posted at 05:13:13
個人の趣味嗜好を他人がとやかくは言えません。個々の選好をひとつの基準で考えることは資本主義では、ご法度です。共産主義なら構わないでしょうが。 twitter.com/me109k143/stat...
タグ：
posted at 05:13:59
安倍晋三というひとをただデーモン化してとらえていると、個人の責に帰しにくい構造的な問題やほかの人間の問題が見えにくくなるので本当によくない。じっさい「安倍に対抗しているから」で前川喜平らを持ち上げたり、財務省の不正や野田聖子らの行状を小さくみるような態度に陥っているわけでしょう。
タグ：
posted at 06:05:52
@AkiyoshiKitaoka The video is legit but the still photo looks like squares with various tones pic.twitter.com/ReOFjVn6F0
タグ：
posted at 07:15:22
相対論を考えると「位置と運動量の不確定性関係」は「時間とエネルギーの不確定性関係」を導くと信じている素粒子物理のシニア研究者もまだいるらしいのですが、それは全くの間違いです。相対論的な場の理論では１つの粒子の位置の定義もできなくなるのですから。
mhotta.hatenablog.com/entry/2014/04/...
タグ：
posted at 07:53:11
非公開
タグ：
posted at xx:xx:xx
ヤノベケンジ作品日ついて、河北新報の記事になってました。僕もコメントしています。まあまあ、僕の意図は伝わるかなと思います
sp.kahoku.co.jp/tohokunews/201...
タグ：
posted at 08:35:45
ヤノベケンジ作品にかんしては、なによりも「コンセプトが古い」「ダサい」「美しくない」という批判があってしかるべきだと思う。そしてこれらの批判は、現代美術関係者から出てくるのが自然。
タグ：
posted at 08:38:34
非公開
タグ：
posted at xx:xx:xx
IBMの出している、音声文字起こしができるデモサイト。
音声データの書き起こしを完全に自動化できるサイトです。インタビューの書き起こしとかでよく使っています。おためしあれ！（これはYoutubeのホリエモンのスピーチを全部自動で文字起こししています）
speech-to-text-demo.ng.bluemix.net pic.twitter.com/NPtBDSYgJw
タグ：
posted at 10:13:59
Kame Ron Diaz(San Di @kamesan1959
福島市にサンチャイルドを計画したのは
一般財団法人ふくしま自然エネルギー基金
理事に吉原毅（城南信用金庫 相談役）氏
アドバイザーに坂本龍一（アーティスト）石田敦史（パルシステム生活協同組合連合会 理事長）藤田和芳 （株式会社大地を守る会 代表取締役社長）
なんとなくわかった。 pic.twitter.com/C5qYvRqc2S
タグ：
posted at 11:14:46
Kame Ron Diaz(San Di @kamesan1959
@pinwheel007 具体的に現物を知っていたのは自然エナルギー基金と市長だけでした。
タグ：
posted at 11:22:25
@kamesan1959 大変申し訳ないのですが、できれば、それらはどこからの情報なのかを可能な範囲でお知らせいただけないでしょうか？これはどのような情報に関しても、いつも私がしていることなので、kameさんだからというわけではないのです。
タグ：
posted at 11:28:57
@TomiyaAkio @W_Fei_hung ググったらトップに出るのがマイナビで，ビジネス仕草をいろいろ設定してマナー講座をやったりして儲けている業界があることを考慮すると，誰かの新たな飯の種にするためのマッチポンプ記事広告の可能性を疑う方が先ではないでしょうか。変な飯の種をばらまくなという批判が必要と思います。
タグ：
posted at 11:42:11
明らかに相手を侮辱するとか慇懃無礼とかじゃない限り，ビジネスに必要なのは正確さであって，敬語がどうとかじゃない。そういうものを設定すると誰が得するかというと，マナー講座などをやる講師や就職支援業界だから，敬語やルールを設定しようとする動きにはもっと敏感に反論しないと。
タグ：
posted at 11:46:04
ごまふあざらし(GomahuAzaras @MathSorcerer
Julia言語
Built with #Carbon, by @dawn_labs pic.twitter.com/xyV72bgiUc
gist.github.com/terasakisatosh...
@ simd のコードが入ると動かない・・・？？
タグ： Carbon
posted at 11:46:19
ビジネスマナー関連の記事で，日本語だって変わってきてるから双方気にしないようにしてより正確に効率的にコミュニケーションしましょう，と説得する方向に行かず，ことごとく，これがマナーだから守りましょう，になってるのを見ればお察し案件。次はそれを教える商売がやってくる。
タグ：
posted at 11:51:55
どっかにWSL上のJuliaにWindows上のJupyterからアクセスする方法はないものか… #JuliaLang #Julia言語
posted at 11:53:08
あまりこういうことを書きたくないのですが、指定国立大学でも日常のお金が研究室レベルではありません。今年のオープンキャンパスの準備でも研究室への大学からの配分金が零だっただけでなく、ポスターを印刷した研究室のA0プリンタが壊れてしまいました。現在その修理費も捻出できていない現状です。 pic.twitter.com/FLV0ZU0Dy3
タグ：
posted at 12:04:21
現時点で #Julia言語 v1.0を私が実用的に使えないという問題。WindowsでIJulia.jlがまともに動かないという問題が解決していない。
github.com/JuliaLang/IJul...
タグ： Julia言語
posted at 12:05:35
#Julia言語 私が以前「モンテカルロ円周率計算」でJulia v0.6.0とgcc 5.3.0を比較したときの記録は
nbviewer.jupyter.org/gist/genkuroki...
にあります。これを読めばJuliaのプログラムにCのコードを埋め込んでgccでコンパイルしてJuliaの函数として実行する方法がわかります。ただしJulia v0.6当時の方法。
タグ： Julia言語
posted at 12:05:37
#Julia言語 CではなくC++をJuliaから使えればうれしいと感じる人は多いと思う。それに関してはCxx.jlという試みがあります。Julia v1.0対応がどうなっているかは知らない。
github.com/Keno/Cxx.jl
タグ： Julia言語
posted at 12:08:21
Kame Ron Diaz(San Di @kamesan1959
@pinwheel007 追加です。これがきっかけだそうです。
kyap.tumblr.com/post/151501529...
タグ：
posted at 12:12:20
#Julia言語 SymPy.jl経由でPythonのsympyもかなりの自然に使えます。実際の使用例が
github.com/genkuroki/Calc...
にあります。
タグ： Julia言語
posted at 12:26:26
#Julia言語 からPythonのSymPyを使って数式処理を実行している場合のスクリーンショット
genkuroki.github.io/documents/Calc...
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/HB50UQuNCi
タグ： Julia言語
posted at 12:27:05
#Julia言語 PythonのSymPyのオブジェクトをJulia言語で書かれたライブラリで使うことも、Julia言語のmultiple dispatchのおかげで、自然にできます。例えばリンク先のようなこともできる。
twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 12:31:12
#Julia言語 SymPyさんはレルヒのゼータ函数Φ(z,s,a)も知っています。知らない人はSymPyさんに数楽的教養で負けている部分があるということ。これからの時代はこういう流れが加速すると思う。
genkuroki.github.io/documents/Calc... pic.twitter.com/2EKWZxzqf0
タグ： Julia言語
posted at 12:42:41
#数楽 jupyter notebookデビューする。「Fissile Simulation by Dice: サイコロを振って核分裂をシミュレーション」
nbviewer.jupyter.org/gist/Temmusu/f...。思い切り変な名前にしたが単なるサイコロ遊び。1000個のサイコロを振って1が出たら除外し、また振る。サイコロの数が0になるまで続け、減り方を記録する。
タグ： 数楽
posted at 12:45:25
Kame Ron Diaz(San Di @kamesan1959
左は最初 その後（右は）きれいになった。 pic.twitter.com/XQXNofLRD4
タグ：
posted at 13:41:13
はぁぁ……
@jclements43 様が北海道、東京、京都、大阪で美味しいものをたくさん食べながら、おいしい、人生でいちばん美味しいと興奮しながら最後はホテルのベッドで感極まって泣いちゃうの最高に可愛くないですか…
英語の勉強に見てたはずが大好きになってしまった……
www.youtube.com/playlist?list=... pic.twitter.com/Hzx6fibqjz
タグ：
posted at 15:17:31
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@neirumu 【これ釈明させてもらえますか？汗】
いきなりで失礼します。
私の持っている本に「鳥が30羽いると仮定したとき、脚の総数を求める」
という場面で
30×2=60
と書いてあるのですが、この解説を書いた大人も「公式を丸覚えしちゃうだけの大人」ですか？ #掛算 pic.twitter.com/pqR7a3ingd
タグ： 掛算
posted at 15:38:46
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
@KKami1115 @genkuroki qiita.com/dd511805/items...
に書いてあるように、XmingによるGUI設定が動くかを試すと良いと思います。
タグ：
posted at 16:01:50
非公開
タグ：
posted at xx:xx:xx
@MathSorcerer @genkuroki 実を言うとこのqiitaの記事は既に試してまして、
sudo add-apt-repository ppa:aseering/wsl
のとこで突っかかるんですよ、何でだろうと思って見てみたらUbuntu 14.04用しかレポジトリがないみたいで、今WSLに配布されてるUbuntuは16.04と18.04なのでこのコードそのままは無理っぽいですね
タグ：
posted at 16:11:10
非公開
タグ：
posted at xx:xx:xx
いきなり0.6から1.0に移行しないで、これまで使っていたコードを0.7で十分確かめてからにしたほうがいいぜ、と公式が申しております。 discourse.julialang.org/t/psa-use-juli... #Julia言語
タグ： Julia言語
posted at 16:23:19
非公開
タグ：
posted at xx:xx:xx
頭の硬い指導者が、余計なお世話で児童生徒の勉強の邪魔をしてしまう典型例。 #超算数 #掛算 twitter.com/neirumu/status...
posted at 16:26:49
#julialang 0.6.4 と 1.0.0 でのスレッド並列の実行時間を比較してみた。
計算したのは以前私がQiitaで書いたときと同じ5万個の粒子間距離。
2, 4 並列の時は v1.0.0 がそこそこ早くなったがその他ではあまり変わらず。
以前も思ったが8, 16並列が遅くなる理由がわからない。 pic.twitter.com/G9qnoqA2c7
タグ： julialang
posted at 16:42:53
使用したマシンスペック
CPU: Intel(R) Xeon(R) CPU E7- 2860 × 8 (80コア160スレッド)
Memory: 1TB
一昔前のマシンなので最新のマシンを使った場合どうなるのかが気になるところ。
使ったコードはこちら。
gist.github.com/goropikari/a70...
タグ：
posted at 16:42:54
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#掛算 ウィキペディアの
ja.wikipedia.org/wiki/%E3%81%8B...
には【本来「正しい」式の順序とはかけ算を教える上での単なる道具だったはず】と書いてあって、高橋誠著『かけ算には順序があるのか』p.47を引いているのですが、証拠となる資料が挙げられていません。
誰か訂正した方が良いと思います。続く
タグ： 掛算
posted at 17:02:49
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
@KKami1115 @genkuroki なるほど。帰省から戻ったら自分のpcで試してみます。
タグ：
posted at 17:06:26
#掛算 私が知っている資料と、「掛算順序へのこだわりは以前は教えるための便宜に過ぎなかった」という説は矛盾しています。仮に以前は教えるための便宜だったとしても1951年以前でなければいけない。以下のリンク先の学習指導要領試案1951からの抜粋を見て下さい。
twitter.com/genkuroki/stat...
タグ： 掛算
posted at 17:11:30
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語
JuliaBoxのAuto Diff（Julia v0.7動作）
gist.github.com/terasakisatosh...
Built with #Carbon, by @dawn_labs pic.twitter.com/EljQW0CH7C
posted at 17:24:32
「ひとつ分×個数」を強要した結果、文章を読んで状況を把握するのでなく「ずつ」のような特定の文字列を探して該当する式を書くというような「公式丸覚え」を極限まで悪化させたような生徒（実際に観測されている）が生み出されるリスクが無視できない程度には大きいことも知っておいてほしい
タグ：
posted at 17:48:08
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語
Dual Numberを用いた自動微分（v0.7 で動作）
gist.github.com/terasakisatosh...
Built with #Carbon, by @dawn_labs pic.twitter.com/UUUXsukk2j
posted at 17:50:59
#掛算 おそらく、同書に関して最も痛いのは、第3章の全体が「分離量・連続量」という悪しきチョー算数に基いて記述されていることです。
単に1日が時間的に幅を持っていることをイメージすれば解決する問題を有害な「量の理論」を用いて解釈することにこだわっている。
twitter.com/genkuroki/stat...
タグ： 掛算
posted at 18:02:10
#掛算 そうか、ウィキペディアが例の本を引いて根拠としているせいで、「掛算順序は教えるための便宜だった」という説が広まってしまっているのか！ひどいな。
現実には、算数教育界では1951年の時点から掛算順序そのものが大事だと信じられて来たのだと思われます。
twitter.com/genkuroki/stat...
タグ： 掛算
posted at 18:06:53
まともに動いたと判断できるほど遊んでないけど、Windows10でも一応notebook使えたけど…Conda#masterしてIJulia#masterして、pkgモードのままbuild IJuliaした。
ただ、どうしてうまく行ってるのかよく分からない… twitter.com/genkuroki/stat...
タグ：
posted at 18:09:38
#掛算 掛算順序固定強制指導のようなまともな大人なら子供に対して決してやってはいけないことをやっているという事実を知ると、「本当はまともな意図があってどこかで歯車が狂ったのだろう」と想像してしまいがちです。
掛算順序固定強制指導ではそう思っちゃうダメ。
twitter.com/genkuroki/stat...
タグ： 掛算
posted at 18:12:34
「１０００円カット」で知られるＱＢハウスが値上げを発表しました。１０８０円のカット料金は１２００円に。人手不足問題が背景にあります。
▶「ＱＢハウス」、１２００円に値上げ 来年２月www.nikkei.com/article/DGXMZO...
タグ：
posted at 18:16:56
@_wildoc_ おお、素晴らしいです。Jupyter notebook で versioninfo() を実行した結果のスクショを見たいです。
私もビルドまではうまく行ったことがあります。しかし1+1さえ実行できない。 #Julia言語
github.com/JuliaLang/IJul...
タグ： Julia言語
posted at 18:21:33
@neirumu @golgo_sardine #掛算 補足コメント
ウィキペディアの【本来「正しい」式の順序とはかけ算を教える上での単なる道具だったはず】は根拠不明の俗説です。
1951年の文部省学習指導要領試案の時点ですでに、掛算順序そのものが大事だという考え方になっているように見えます。続く
twitter.com/neirumu/status...
タグ： 掛算
posted at 18:30:13
@neirumu @golgo_sardine #掛算 詳しくは以下のリンク先に書いておきました。
twitter.com/genkuroki/stat...
タグ： 掛算
posted at 18:31:11
@neirumu @golgo_sardine #掛算 現代の算数教科書にもその教師用指導書にも、考え方を身に付けるために掛算順序を便宜的に利用していることを示唆する記述は発見されていません。
発見されているのは、掛算順序そのものが大事だとしているように見えるものばかり。例えば小6で文字x,yを使っていても掛算順序固定を強制。続く
タグ： 掛算
posted at 18:34:02
@neirumu @golgo_sardine #掛算 資料2
掛算の順序と問題文の読解が完全に無関係な調査結果を得ているのに、著者の伊藤宏先生は「乗法の意味」と掛算の順序を混同したまま、掛算順序固定強制指導をより徹底するべきだと述べています。
以上でコメント終了
twitter.com/genkuroki/stat...
タグ： 掛算
posted at 18:39:40
「"なるほど"は失礼」説が話題になってるのか。「"了解いたしました"は失礼」説の登場以来の恒例になってきたけど、とにかくみんなが対人関係に怯えながら暮らしている時代だから「~は失礼」と誰かが言い出せばみんな簡単にその言葉を引っ込めるから面白いんだろうなあ。自虐というか自殺的な遊びだ。
タグ：
posted at 18:43:58
@neirumu @golgo_sardine #掛算 掛算順序にこだわっても文章題を解けるようにはなりそうもないことの実証結果も出ている。
採択率が結構高い算数教科書出版社が文字x,yを使っていても掛算順序が逆だと誤りだと教えることをすすめている。しかも何も得がなさそうなデタラメな理由で。
掛算順序固定強制指導は全否定が妥当。
タグ： 掛算
posted at 18:44:36
橋本将功 「プロジェクトマネジメントの基 @paradisemaker
これと同じアイディアでサマータイムがいかに大規模障害をもたらすかを示せれば、無理筋であることはアホなおっさんでも分かるのではなかろうか / 他33コメント b.hatena.ne.jp/entry/s/ncase.... “群衆の英知もしくは狂気” htn.to/ndPv34R
タグ：
posted at 18:49:10
「睡眠不足などによる健康障害問題は、むしろ個人の心構えにより、多くは解消されるはず」——システムやアーキテクチャの問題を心構えで解決せよというのか。絶句するしかない。 サマータイム制度の導入について #BLOGOS blogos.com/outline/317586/
タグ： BLOGOS
posted at 18:49:18
非公開
タグ：
posted at xx:xx:xx
Wolfram|Alpha Japan @WolframAlphaJP
2変数の関数を三次元空間の曲面としてプロットする事ができます！
wolfr.am/wPAW0W6L
#３D #プロット #WolframAlpha pic.twitter.com/65O7i2KaDl
タグ： WolframAlpha プロット ３D
posted at 19:15:06
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#Julia言語 私がどこまで成功し、どこまで成功できていないか。
環境: Windows 8.1
Python: Anadonda3 64bit版
Julia: v0.7.0, v1.0.0
成功したこと：パッケージを
add Conda#master
build Conda
add IJulia#master
build IJulia
でインストールしてビルドまでは成功。
twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 20:04:46
#Julia言語 使用するJupyterは環境変数
JUPYTER=C:\Anaconda3\Scripts\jupyter.exe
で指定してある。
さらに、Jupyterを立ち上げて、Julia 1.0 カーネルのノートブックを立ち上げるまでは成功。
失敗したこと：そのノートブックで1+1を実行できない。 pic.twitter.com/7lgjlE0oG5
タグ： Julia言語
posted at 20:04:47
#Julia言語 WindowsでJulia v0.7とv1.0をJupyerで使えないという件の詳しい症状は以下のリンク先で報告されています。私もまったく同じ症状です。
github.com/JuliaLang/IJul...
タグ： Julia言語
posted at 20:04:47
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語 Auto DiffのPython版を作ってみましたが、思ってたよりも分量が多くなった。
Built with #Carbon, by @dawn_labs pic.twitter.com/2xZNGZNnTS
gist.github.com/terasakisatosh...
posted at 20:07:59
ごまふあざらし(GomahuAzaras @MathSorcerer
分量が大きくなった理由としては、#Julia言語 での実装にある convert, promote_rule を満たすために __operator__ に対する __roperator__ を定義する必要があったためです。ここの回避策ないかな・・・。
タグ： Julia言語
posted at 20:08:00
非公開
タグ：
posted at xx:xx:xx
#Julia言語 既存の函数を拡張するために promote とかを使っていると、Julia言語を使っているという感じになる。
www.youtube.com/watch?v=CE1x13...
タグ： Julia言語
posted at 20:22:40
ビジネスマナーに文句つけると「あんたは大学の先生だからわからないんですよ」とか言われそうだ。まぁ、私は失礼な人間であることに自覚はある。
というわけでそう言われたらどう答えようかと思ったんだが、そのときの返事は
「なるほどぉ！」
しかないよな、流れから言って。
タグ：
posted at 20:25:10
fortran で1次元配列 x, y の内積を計算するには
sum(x*y)
dot_product(x,y)
の2通りがあり、同じ答えを返すし前者のほうが短くて良いのでは…という気がする。ただし ifort で -O3 オプションをつけると（おそらく最適化のために和を取る順序を変えているせいで）倍精度で 1e-15 くらいの差が出る。
タグ：
posted at 20:29:53
@takehikom #掛算 Takuさんが示した資料を見れば二重数直線図がダメであることは明瞭。
さらに、小5の算数教科書を確認しても、二重数直線図の類を使っていても、結局のところ公式にこだわった説明の仕方になっており、吉田甫氏の本で指摘されている問題はほぼすべて残っています。続く
タグ： 掛算
posted at 21:03:08
@takehikom #掛算 算数教科書では、「もとにする量」「比べられる量」という数十年以上前から児童にとってわかりにくいことがわかっている用語が使われ続けている。
児童が日常生活で得たインフォーマルな知識への配慮がない。
そういう欠点を維持したまま二重数直線図のような直観的に分かり難い図を追加した。
タグ： 掛算
posted at 21:04:55
@takehikom #掛算 和大の村川猛彦さんは自分の意見を述べるよりも、資料収集と紹介という自分の強い面に特化した御活躍を期待します。
村川猛彦さんのおかげで、算数教育界がどんなにひどいことになっているかを他人に紹介し易くなった。
可能ならば、算数教科書の教師用指導書をもっと紹介して欲しいです。
タグ： 掛算
posted at 21:06:57
非公開
タグ：
posted at xx:xx:xx
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数
２０００年に出た『学習障害児の算数困難』が絶版なんで、図書館でしか読めない
www.taga-shuppan.co.jp/books/books.ph...
タグ： 超算数
posted at 22:02:34
OokuboTact 大久保中二病中年 @OokuboTact
【算数障害とはいったい？】 熊谷恵子
psych.or.jp/wp-content/upl...
タグ：
posted at 22:04:33
『キミ金』読みましたよ～。良書でした。僕が気に入ったのは「円高は日本の雇用を世界へ売ってる」って箇所。あそこは痺れましたね😁「民間のおカネが吸い上げられて民間の稼ぐ力がなくなったときに破綻する」ってとこも。その通りと思った。
タグ：
posted at 22:22:48
@.threadsで並列化したらいつもはCPU使用率27%ぐらいなのにいま90%近く使っててまったく動かせない😭 pic.twitter.com/YOZdpiEybo
タグ：
posted at 22:48:45
Twitterでは下腹部のアレがアップに表示されるけど、もう小学生に笑われてネタにされてしまえｗ
福島市の巨大モニュメントにネットで批判「科学的にあり得ぬ」「新たな風評引き起こす」制作者謝罪、市と扱い協議（河北新報） - Yahoo!ニュース headlines.yahoo.co.jp/hl?a=20180812-...
タグ：
posted at 22:55:48
阿波踊りで総踊りが決行されたので、久しぶりにCaratheodoryの函数論の教科書を引っ張り出してきた（2巻本）
www.amazon.com/dp/0821828312
ルベーグ積分で知る人が多いと思うが、函数論の定理も多い：
ja.wikipedia.org/wiki/%E3%82%AB...
物理でも熱力学第二法則と同等の原理で名前がついている。
タグ：
posted at 23:12:44
@Bimaterial dotもLinearAlgebraにあるみたいです。v0.7で教えて貰いました pic.twitter.com/tzmSHHkesC
タグ：
posted at 23:14:20
#julialang v0.7 と v1.0 を行き来していたら途中でどっちのバージョンを使っているのかわからなくなってきたのでプロンプトにバージョン番号入れてみた。
これでもう迷わない。 pic.twitter.com/UkTTQS2Twy
タグ： julialang
posted at 23:23:28
加藤公一, 가토우 기미카즈（はむかず） @hamukazu
数学関連の解説書いてて、レビューでいろいろと意見をもらうと気づくのは、自分は知らないうちに数学言葉を使ってるんだなと。こういうのは気をつけなければいけないなと思う一方で、数学を学ぶ上で言葉が大きなネックになるのかなと思ったり。日常語のような見た目をしてる用語が要注意かなと。
タグ：
posted at 23:34:01
Caratheodoryの函数論、1巻の最後にはガンマ函数の倍角公式の応用として面白い例が書いてあったり、私は好きなのですが、今はあまり読まれていないかもしれない。
books.google.co.jp/books?id=jyicN...
池田信行さんが退職される時にいただいた。 pic.twitter.com/LDZuiJNeOH
タグ：
posted at 23:40:08
現状，WinでやるならWSLにJulia環境構築してjupyter notebookで発行されるURLにWin側のブラウザからアクセスするのが楽なやり方なのでは．
タグ：
posted at 23:45:59
加藤公一, 가토우 기미카즈（はむかず） @hamukazu
例えば「一般性を失うことなく〜と仮定してよい」という言い回しは、そういう証明を見たことある人じゃないと何言ってるかわからないんだと思う。
タグ：
posted at 23:47:03
加藤公一, 가토우 기미카즈（はむかず） @hamukazu
数学語ネイティブがよく使う文例集とその翻訳とかがあると、学習者の助けになるのかな（すでにどこかにありそう）
タグ：
posted at 23:49:57
