黒木玄 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 を見て下さい。
2020年09月08日(火)
非公開
タグ：
posted at xx:xx:xx
#Julia言語
S式好きのそんなあなたのための
Meta.show_sexpr
gist.github.com/genkuroki/8b33...
twitter.com/muuumin20/stat... pic.twitter.com/QFRufk0Zh4
タグ： Julia言語
posted at 23:35:42
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 岡野勉の論文の１２７頁〜１３２頁に、片桐重男の戦前の算数教育研究を検証しています。
eprints.lib.hokudai.ac.jp/dspace/bitstre...
タグ：
posted at 23:33:22
@muuumin20 それについては後に中の人が回答しています(2015/07)。まとめると「所謂同図像性はJuliaにはなくなったけれどワンクッション置いてるだけでプログラマが意識するコードとコンパイラが見ているExpr（ASTを表現するオブジェクト）のテキスト表現は同じもの」て感じですかね。↓
stackoverflow.com/questions/3173...
タグ：
posted at 23:32:39
@OokuboTact #超算数 修士論文(学士の学位はどこでとった?)が大正新算術教育の研究で当時の『教育研究』(東京高師の雑誌)を読みあさったと言っていますからね。括弧については今はもう少し分かっていて、同じoperationの対象となる意味だという流儀が英仏語で確認できます。
タグ： 超算数
posted at 23:12:39
Aegis@おもろいエンジニアの集い場 @EngineerMeetup
Juliaユーザーのための開発合宿@online / jldev.connpass.com/event/188636/?... #エンジニア #zoom #相互フォロー pic.twitter.com/ODFXMI5KF7
posted at 23:11:39
Juliaという言語が最近ホットだそうで、調べてみたところ、確かに凄そう。”Cの速度とRubyの動的さ”だなんて、軽自動車の値段で買えるスーパーカーみたいなものじゃないですか！
#Julia言語
marui.hatenablog.com/entry/20120221...
タグ： Julia言語
posted at 23:10:40
#Julia言語 の開発合宿です。とりあえず何かを作ってみて，手を動かしてみる感じの勉強会ですね。
ゆるい感じでやっていく予定なので，初心者の方もぜひ〜 twitter.com/takuizum/statu...
タグ： Julia言語
posted at 22:33:33
@Atsushi_twi @arc279 #Julia言語 というわけで😊😊😊
www.amazon.co.jp/dp/B07SHV9PVV
Hands-On Design Patterns and Best Practices with Julia: Proven solutions to common problems in software design for Julia 1.x (English Edition) Kindle版
Tom Kwong (著), Stefan Karpinski (はしがき)
を買ってしまいました😊😊😊
タグ： Julia言語
posted at 22:20:20
Juliaユーザーのための開発合宿@online に参加を申し込みました！何か作ります！（何 jldev.connpass.com/event/188636/?...
タグ：
posted at 22:15:04
「Plots の GIF アニメを VSCode のプロットペインに表示する」やり方を追記。#Julia言語
qiita.com/Lirimy/items/e...
タグ： Julia言語
posted at 21:59:48
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n ＞ 珍説の萌芽はかなり早い時期に算数教育界に存在する。
片桐重男は戦前の算数教育を詳しく調べているんですね
タグ：
posted at 21:51:14
@genkuroki @arc279 ありがとうございます。本の中でもこちらのパッケージが紹介されていました😁。こちらのパッケージも勉強してみたいと思います。
タグ：
posted at 21:38:16
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語
そういえば謎にすごいライブラリ，Macの上でもビルドできたので誰かラッパー書いてください
github.com/alandefreitas/...
タグ： Julia言語
posted at 21:37:20
ごまふあざらし(GomahuAzaras @MathSorcerer
templateの翻訳がparametricになるのか
（CxxWrap.jl の話）
#Julia言語
タグ： Julia言語
posted at 21:36:00
非公開
タグ：
posted at xx:xx:xx
@arc279 @Atsushi_twi #Julia言語
見た目は array of structs (直観的に分かり易い)で、
中身は struct of arrays (ある種の仕事ではこちらが速い)
を実現してくれる StructArrays.jl パッケージがあります。
github.com/JuliaArrays/St...
タグ： Julia言語
posted at 20:43:29
へー。Juliaって、C++, Javaのprivateみたいにstructのプロパティのアクセス制御ってできないと思っていたけど、Base.getpropertyをextendすれば、一部のプロパティにアクセスさせないようにすることもできるのか。知らなかった。内部関数ではgetfieldではアクセスできる。multiple dispatchすごい。 pic.twitter.com/4dYmBPbYWR
タグ：
posted at 20:22:43
#Julia言語 の代数データ型で自然数論。
Integerとの間のconvertまで帰納法で定義されていた！😊 twitter.com/chor0sk/status...
タグ： Julia言語
posted at 20:09:47
@OokuboTact #超算数 雑談モードになっているので。ディースターヴェークの本格的研究は戦後、東京教育大学の長尾研究室に設けられた研究会が着手。21世紀の動向は知りませんが…
タグ： 超算数
posted at 20:07:08
非公開
タグ：
posted at xx:xx:xx
@OokuboTact #超算数 プロイセン政府の反ユダヤ人政策には反対なんです。議員になってから、あるユダヤ人博士が数学科教授に就任するにを妨げた政府と戦っています。不首尾だったようですが。兎に角、ドイツ語による教育の意味するところは、ラテン語での実践(そんなものがあったとして)の全廃棄だったかも。
タグ： 超算数
posted at 20:03:41
#Julia言語 ともそーくんさんが正しい。
Holy trait = 型に値を持つ函数の値の型で dispatch させる方法
がJuliaのソースコードを見ると、至る所で使われています。
Holy traitsの予備知識がないとソースコードの解読がかなり面倒になる場合がある。
twilog.org/genkuroki/sear... twitter.com/tomosoeoc/stat...
タグ： Julia言語
posted at 19:55:05
#Julia言語 すでに指摘されていてかつ検索結果も紹介しているようですが、JuliaではHoly traits (型に値を持つ函数を用意しておいて、その函数の値の型でdispatchする方法)の使用が普通になっていて、型の木がtreeになってしまう問題は問題になっていません。
twilog.org/genkuroki/sear... twitter.com/termoshtt/stat...
タグ： Julia言語
posted at 19:51:41
@OokuboTact #超算数 2版ぐらいから外国語としてフランス語が入るんですけど、ギリシャ語とラテン語はお呼びではない。むしろ排除された。ドイツ語を基本とする現代語による教育が国民学校(義務教育小学校)にふさわしいと考えていたようです。ディ氏の面白いところは、Humanitätが基本なので、
タグ： 超算数
posted at 19:51:17
@OokuboTact #超算数 ディ氏は私的学習指導要領みたいな内容のWegweiserという本を出しているんですけど、そこに書いてあることです。彼の死後(60s)も改訂されています。
タグ： 超算数
posted at 19:46:49
@OokuboTact #超算数 ディースターヴェークについて少し調べた内容を紹介済みですが、1.数的思考を言語で正確に表現することを目標にする、2.学問と同じようには教育内容を指導しないとか、現代算数教育界のエートスに溢れていました。ディ氏は戦前でもあまり有名ではないが、彼に影響を与えたペスタロッツィは頻出
タグ： 超算数
posted at 19:39:38
#julialang で代数的データ型をやってみたよ。関数型言語みたいに再帰的に定義した自然数型を、多重ディスパッチを利用してjuliaの数値型の拡張として導入してみた。
gist.github.com/hnakano863/098...
タグ： julialang
posted at 19:29:44
対戦よろしくお願いします。 #rstatsj #Julia言語 pic.twitter.com/j4vS6XBJ8T
posted at 19:27:55
@OokuboTact #超算数 そういう単純作業は、無知と偏見を晒しながらkeep buggering onできそう。時間をかければですね。それより専門家に質したいのは、英才独魂説ですよ！ 教科の内容は英米によりながら、指導の習慣(エートス)はドイツ由来なんぢゃないかと思っています。
タグ： 超算数
posted at 19:25:37
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 私達は戦前の算数教育の歴史の素人なんで、
ここで専門家の人が現れて、
孤立例に見えるけど実はいろいろ繋がっているネットワークを開示して欲しいですね。
#超算数
タグ： 超算数
posted at 19:17:07
@OokuboTact #超算数 山本孫一の著作で最も古くから掛順、立式にこだわりのあるのが1919年の本。大久保さんの見つけた鈴木筆太郎の例の本が1911年で、鈴木の元ネタであるクニルリングの和訳が1906年。どう関係するか全く分からないが、ペリーの教育運動も入ってきた頃。類例が直ちに出せないが、孤立例ではなさそう
タグ： 超算数
posted at 19:12:54
まぁどのバックエンドでも構わなくて、俺はVSCodeで全部完結したいんだ！
問題をまとめると、
gr()のanimateがVSCode上だとくそ遅いのはなんでだ？という話に帰着される。なんかチェックが入ってるようなきがするんだけど、これをパスする方法はないんか？
という。
タグ：
posted at 18:34:44
VSCodeでpyplot()で実行してみたら11秒まで短縮された。
逆にJupyter上でpyplot()したら22秒まで伸びた。
まとめる
gr()
VSCode: 131秒
jupyter: 3.4秒
pyplot()
VSCode:11秒
jupyter:22秒
タグ：
posted at 18:28:21
VSCodeはREPL上に
read: No error
send:No error
という表記がforの回数分繰り返し表示されるんだよな。これが関係あるのでしょうか？
タグ：
posted at 18:23:19
これ不思議なんだけど
「掛け算の順序は一時的なもの。そのうち自然に解消されるから問題ない。現に順序批判している人もそう教わったのを忘れているではないか」という人と
大人になっても順序があると思っている人
は、相いれないはずなのに相互批判しない、むしろ共闘している。 twitter.com/nek0jita/statu...
タグ：
posted at 18:21:13
@Hishinuma_t @HShinaoka #Julia言語 行列の演算もmultiple dispatchを使って、自分のライブラリを使える行列の型に対して行列に演算を定義してやれば、ユーザー側はライブラリを意識せずに行列演算のライブラリを利用できるようになります。
タグ： Julia言語
posted at 18:14:49
@Hishinuma_t @HShinaoka #Julia言語 Julia以外で書かれたライブラリをJuliaで使えるようにしたとき、Juliaにすでにある既存の類似の機能との共存は易しいです。
例えば、MPFRのBigFloatはJuliaで最初から使えるようになっているのですが、Arbも普通に使えています。
github.com/JuliaBinaryWra...
github.com/JeffreySarnoff...
タグ： Julia言語
posted at 18:11:04
@Hishinuma_t @HShinaoka 「BLAS / Sparse BLAS屋さんとしては、#Julia言語 で自分が書いたライブラリを使えるようにしてやるぜ！みんな、俺が作ったライブラリをありがたく使いやがれ！」なら、非常にうれしいです。
もちろんPythonでもよい。
JuliaやPythonで使えるようになったライブラリは他でも使える。オープンな世界。
タグ： Julia言語
posted at 18:02:08
#Julia言語
github.com/JuliaArrays/Of...
OffsetArrays.jl
を使えばfortranと同じように、インデックスの始まりの位置を自由に変更できます。 twitter.com/kb_satou/statu... pic.twitter.com/OJiJb5YQi1
タグ： Julia言語
posted at 17:54:57
私が大学に入学した直後のコンピュータの授業はFORTRAN 77でHoner法を使ってexpを計算する話だった。
当時はCを自由に使えれば天国だった。
今はFORTRAN 77もCもできれば使いたくない。
Horner法は今でも基本的教養の一つだと思う。
タグ：
posted at 16:56:34
#Julia言語
Base.Math.sin_kernel(::Float64) の表示。
Horner法で多項式の計算に帰着。これは常套手段。
Base.Math.sin_kernelのソースコード↓
github.com/JuliaLang/juli... pic.twitter.com/gzf2YTsH5t
タグ： Julia言語
posted at 16:44:35
#Julia言語
print(@ code_string sin(1.0))
で sin(::Float64) の定義の文字列を取得して表示。
これは見易い。
@ which sin(1.0)
でリンクも表示。
Juliaはsinまで自前で実装し、その本体は
Base.Math.sin_kernel
っぽいことも分かる。続く
gist.github.com/genkuroki/ea49... pic.twitter.com/7dVwwThY2W
タグ： Julia言語
posted at 16:41:00
#Julia言語
github.com/timholy/CodeTr...
の使い方。
gist.github.com/genkuroki/ea49...
using CodeTracking, Revise
@ code_expr sin(1.0)
で sin(::Float64) の函数の定義式が得られる。
行版番号情報が多くて醜い。続く pic.twitter.com/xDQU15r6cK
タグ： Julia言語
posted at 16:37:43
Julia, 配列のアクセスも function なので、その function をオーバーロードすれば fortran みたいな任意の範囲の配列も作れるのかな?
タグ：
posted at 16:02:56
@TomiyaAkio #Julia言語 ごめんなさい！stdとは異なるstdの変種なのに変種にするためのコードを書き忘れた！訂正版↓
using Statistics
jack1mk(data) = (sum(data) .- data) ./ (length(data)-1)
jack1er(sample) = mean(sample), std(sample; corrected=false)*√(length(sample)-1)
gist.github.com/genkuroki/3909... pic.twitter.com/GeKgcWJpN6
タグ： Julia言語
posted at 15:41:33
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
@genkuroki jack1mkの方はそのと通りだと思います。
jack1erの誤差の方ですが、それだとN_sample-1 をかけてないですね？Jackknife だと割るのじゃなくかけなきゃいけないので…。
young.physics.ucsc.edu/jackboot.pdf
タグ：
posted at 15:24:25
#Julia言語 パッケージのページを見るよりも
nbviewer.jupyter.org/github/genkuro...
を見た方が分かり易いかも。 pic.twitter.com/yhOicPsXyL
タグ： Julia言語
posted at 15:24:03
#Julia言語 コードのコピペをしやすいようにソースコードにもリンク↓
gist.github.com/genkuroki/3909...
宣伝：2次元正方格子のシンプルなIsingモデルのパッケージ。MCMCしかできない。もっと複雑なIsingモデルのコードを書いたときに、計算速度の比較相手に使えるはず。
github.com/genkuroki/Isin...
タグ： Julia言語
posted at 15:21:28
@genkuroki (裏で何をやってるか知らずにシェルピンスキーのギャスケットを描けてしまうなど。。 cs.mkamimura.com/posts/2020/09/... 😅）
タグ：
posted at 15:17:44
#Julia言語 おお！Juliaだ！
github.com/akio-tomiya/Ju...
の函数は
using Statistics
jack1mk(data) = (sum(data) .- data)./(length(data)-1)
jack1er(sample) = mean(sample), std(sample)
とシンプルに書き直せます。
Juliaでは dot . をうまく使うとシンプルに書ける。
twitter.com/TomiyaAkio/sta...
タグ： Julia言語
posted at 15:16:56
AI領域専門の求人メディア｜ Symbi @creek_tech
🌼機械学習の情報収集おすすめアカウント②【@sammy_suyama】『ペイズ推論による機械学習入門』の著者須山敦志氏のアカウント。質問に対してとてもご丁寧に答えてくださいます！
タグ：
posted at 15:00:05
“The Emergent Features of JuliaLang: Part II - Traits · Invenia Blog” (2 users) htn.to/3BZykjNUYd
タグ：
posted at 10:19:40
[Julia] Holy trait 〜 共通の関数定義を気軽に記述しよう qiita.com/tenfu2tea/item... #Qiita
タグ： Qiita
posted at 10:18:31
戦前日本の生産現場のパフォーマンスが上がらなかった理由の一つに、大卒のエンジニアは幹部として開発だけやって、工場が何をやっているか知らないという分断があった。これは教育格差と正社員サラリーマンと非正規雇用の職人集団との断絶など重層的なものだったらしい。
タグ：
posted at 10:09:02
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
github.com/akio-tomiya/Ju...
Lattice 屋さんが使ってそうなデータのロード部分を別ファイルでつくった。
組み合わせたら、もうこれで基本的な解析はできる。
タグ：
posted at 09:51:07
@genkuroki @mkashi 中見てきました。
これはSIMD(アセンブリとほぼ1:1対応)のコードですね、、
なのでコンパイラの差が見えにくいコードではあります。
こういうのはどの言語で書いてもアセンブリモドキになるので移植という作業の価値が悩ましいですよね、、、
とはいえOpenBLASの9割はすごいです
タグ：
posted at 09:44:51
@Hishinuma_t @mkashi #Julia言語 こちらに移動
github.com/Sacha0/GemmDem...
A pure-Julia, BLIS-style dgemm demo.
これは実験的に書かれたpure-Julia版dgemmなのですが、OpenBLASの9割くらいの速度が出ているようです。
タグ： Julia言語
posted at 09:40:37
@Hishinuma_t @mkashi #Julia言語 【Juliaと言えども】というのはミスリーディングで、Juliaはもともとが
色々便利なものを貼り合わせて、
プログラミングが専門でないユーザーに届けてかつ、
プログラミングが専門でなくても、
気楽に速く動くコードを書けるようにしたもの
だと思います。 twitter.com/mkashi/status/...
タグ： Julia言語
posted at 09:16:41
@mkashi @Hishinuma_t @Oo_nyannyan_oO #数楽 「まず、例を3つ作りましょう」といつも言っているので、例を3つ書くまで止められなかった。これで一次終了とします。
タグ： 数楽
posted at 08:51:40
@mkashi @Hishinuma_t @Oo_nyannyan_oO #Julia言語 「計算用紙」的な汚いノートを
gist.github.com/genkuroki/4830...
に置いておきました。全部整数の例。
X = [
1123456789 1000000000
1000000000 890109891
]
の真の行列式は-1なので逆行列を暗算で計算できるのですが、Juliaの実装ではdet(X)は0.0になり、逆行列を計算できなくなります。
タグ： Julia言語
posted at 08:50:27
@mkashi @Hishinuma_t @Oo_nyannyan_oO #Julia言語 上の例はクイズ的にはタネがばれやすい形。しかし、タネを理解してもらいたい場合には役に立ちそうです。
タグ： Julia言語
posted at 08:26:22
@mkashi @Hishinuma_t @Oo_nyannyan_oO #Julia言語 ←これで計算
B = [
10^9 10^9+1e-7
10^9 10^9
]
ならば、
inv(B)*B == [
2.0 1.0
0.0 1.0
]
B*inv(B) == [
1.0 1.0
0.0 2.0
]
無数に例を作れる。
タグ： Julia言語
posted at 08:24:54
@mkashi @Hishinuma_t @Oo_nyannyan_oO #Julia言語 他にも例を幾らでも作れますね。
行列式が成分より非常に小さい例を作ればよい。
例えば、
A = [
1123456789 1000000000+6e-8
1000000000 890109891
]
この例の良いところは inv(A)*A と A*inv(A) が等しいこと。
[
0.0 0.0
0.0 1.0
]
になります。別の例に続く
タグ： Julia言語
posted at 08:23:15
@Hishinuma_t @mkashi @Oo_nyannyan_oO #Julia言語 なるほど
A = [
64919121 -159018721
41869520.5 -102558961
]
のとき
inv(A) * A = [
1.0 2.0
0.0 1.0
]
となって、第1列だけ偶然うまく行っているんですね。ちなみに
A * inv(A) = [
0.0 2.0
-1.0 2.0
]
こちらは全然ダメ。
gist.github.com/genkuroki/4830... pic.twitter.com/hyqSuah3VQ
タグ： Julia言語
posted at 07:43:33
#Julia言語 における微分方程式のパッケージDifferentialEquations.jlの開発者曰く、
sciml.ai/news/2018/04/3...
2018-04-30
【すべての偉大なオープンソース数学ライブラリは、誰かのアカデミックキャリアの灰の上に構築されている】
Juliaはこの「深刻な問題」の解決法の1つとしても期待されている。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 06:32:16
@Oo_nyannyan_oO @Hishinuma_t 元の方程式に代入したらぴったり0になるけど、実はめっちゃ誤差が入ってる、なんてこともないわけではないです。 pic.twitter.com/Viy4qApkoB
タグ：
posted at 05:41:03
#Julia言語 での sum は誤差が小さくなりやすいように工夫して和を取っているので、その分のオーバーヘッドが生じているようです。そこで、そのオーバーヘッドがない linsum(f, x) を定義して比較。
f(x) が複雑ならそのオーバーヘッドの違いは無視できるようになります。
gist.github.com/genkuroki/edc7... pic.twitter.com/yiuRpTui3h
タグ： Julia言語
posted at 05:05:59
#Julia言語 単純にforループで足し上げる函数でforの前に
@ inbounds だけを付けた場合と、 @ simd も付けた場合の比較。
整数の和であれば @ inbounds だけで速い。
しかし、不当小数点数の和では @ simd も必要。
gist.github.com/genkuroki/edc7... pic.twitter.com/Ls1WQuxkbs
タグ： Julia言語
posted at 05:05:59
運の良い若い人達は、
[CPU] ↔ [CPU CACHE] ↔ [RAM] ↔ [DISK CACHE] ↔ [DISK]
のような基本的な事柄から始めて、入門的な解説を聴くだけではなく、実際にコードを書いて実験してみる経験を通して、教養を身に付ける。
別の一方では「就職に有利な何か」について教わっている。これ、まずすぎ。
タグ：
posted at 03:37:40
例えば、
nbviewer.jupyter.org/github/mitmath...
では、
[CPU] <---> [Cache] <---> [RAM]
の話をしています。これは、 #Julia言語 とかとは無関係にコンピュータに関する入門的な話として重要。
さらに詳しい話が
biojulia.net/post/hardware/
で解説されている。
これもJuliaを__使って__説明してる……。
タグ： Julia言語
posted at 03:32:29
@KenoFischer @Pimp_Fada @StefanKarpinski @stephen_wolfram That's the only exception that I am aware of.
タグ：
posted at 03:28:55
@KenoFischer @Pimp_Fada @StefanKarpinski Mathematica would not be banned if it were ported to iOS says @stephen_wolfram, but that was a long time ago.
blog.wolfram.com/2011/10/06/ste...
タグ：
posted at 03:28:24
最初から優れたものを与えて、裏で何をやっているが分かるように解説した方が素直によいと思う。
MITの #Julia言語 を使った講義はそういう素直な流れになっていて、将来仮にJuliaが廃れることになっても、その教育を受けた人達は全然困らないようになっています。
github.com/mitmath
タグ： Julia言語
posted at 03:21:05
最初に劣っているものを与える。
例えば「ループがクソ遅いもの」を与える。
その後に「それは～の点で劣っているから、〇〇を使うといいよ」と教える。
例えば「NumPyに帰着できれば速いよ。そのときメモリの無駄遣いは気にしなくていいからね」と教える。
これ教育的には非常によくないと思う。
タグ：
posted at 03:18:02
@genkuroki すぐに役立つ知識はすぐに役立たなくなることを知っていれば、即戦力を求める企業は従業員を使い捨てにする気満々であることは容易にわかるはずです。
タグ：
posted at 03:16:42
「Pythonを知っていれば就職に有利になる」という言説は今でも通用するの？
Python知っている程度だと就職に全然有利にならない、という話を私は聞いたことがある。
コンピュータがらみのある種の知識はすぐに陳腐化するので、陳腐化しない知識は何であるかを常に気にして教える必要があると思う。
タグ：
posted at 03:10:01
山田太郎 ⋈（参議院議員・全国比例） @yamadataro43
山田太郎です。私がこれまで主張してきた「子ども庁」の議論にもつながります。
以下のキャンペーンに賛同をお願いします！「厚生労働大臣: コロナ禍で全国の小児科が経営難のピンチ！未来の子どもたちのために、小児科への財政支援を求めます！」 chng.it/dkwMH2vS @change_jpより
タグ：
posted at 02:29:31
#数楽 1つ前のツイートで紹介したLiouville方程式関連。
さらに上の方をみると、2016年には #Julia言語 の存在を知らなかったせいで、scilabを使っていることが分かる。
twitter.com/grand_antipris...
posted at 02:12:52
A Primer on State Space Models www.juliabloggers.com/a-primer-on-st... #juliabloggers
タグ： juliabloggers
posted at 02:08:14
「A⇔B」は「(A⇒B)かつ(B⇒A)」と同じ。
「A⇒B」は「Aを仮定したときにBを導けること」と同じ。
「A⇒B⇒C⇒D⇒E⇒A」が証明できていれば、「Aを仮定したときにEを導けること」も「Eを仮定したときにAを導けること」も自明に証明できる。ゆえに「A⇔E」が証明されている。
タグ：
posted at 01:55:28
【A ⇔ B ⇔ C ⇔ D ⇔ E
の証明よりも
A ⇒ B ⇒ C ⇒ D ⇒ E ⇒ A
の証明の方が多くの場合に楽】という事実は、数学の大学入試問題(筆記)を解く練習をした人なら、すでに知っていないとおかしい。
論理的な理解ではなく、「大学入試で減点されない方法の暗記」をやらされた人達は運が悪い。
タグ：
posted at 01:46:21
ごまふあざらし(GomahuAzaras @MathSorcerer
擬似乱数が理想的に一様に生成されるとすれば
mean(x^k)が
k 次のモーメントの 1/(k+1) を中心に 1/sqrt{N} の誤差でヒストグラムが集まる様子とかも書かれてる．
Pythonで書くよりも Julia の方が絶対楽しいぞい． pic.twitter.com/0d1lFkH5oI
タグ：
posted at 01:40:02
#Julia言語 ついさっき知ったJuliaの野良パッケージの例
www.pnas.org/content/117/30...
BRIEF REPORT
The implications of silent transmission for the control of COVID-19 outbreaks
Seyed M. Moghadas, et al.
↓
github.com/ABM-Lab/covid1...
野良パッケージcovid19abm.jl
こういうのがきっと増える。 twitter.com/derive_ip/stat...
タグ： Julia言語
posted at 01:18:19
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語
こういう計算小学生の時にしたかった（白目）
gist.github.com/terasakisatosh...
タグ： Julia言語
posted at 01:17:00
ごまふあざらし(GomahuAzaras @MathSorcerer
元ネタは 実践 Python ライブラリーシリーズ計算物理学Ⅰ 朝倉書店 の Chap4 にあります．
タグ：
posted at 01:15:20
ごまふあざらし(GomahuAzaras @MathSorcerer
な〜るほど この手の計算だと
view マクロは非常にありがたい
#Julia言語 pic.twitter.com/wzaCtkBMJT
タグ： Julia言語
posted at 01:13:25
子どもとPythonを勉強してるんですけど、なぜJulia推しの僕がPythonかというと
1. Pythonのほうが就職しても役にたちそうだから
2. Pythonは僕も知らないから
です。
僕はJuliaで全然困ってないんですけどね。実際、今日も昼間はJuliaで計算していましたし
タグ：
posted at 01:09:09
となりのヤングジャンプ版ワンパンマンの更新がありました！ #拡散希望 #ワンパンマン更新 tonarinoyj.jp/episode/139336...
posted at 01:02:46
#Julia言語 パッケージ作成と公開の方法がもっと普及して、大量の野良パッケージと質の良い登録されたパッケージがどんどん増えるとよいと思います。
関連↓
nbviewer.jupyter.org/gist/genkuroki...
これ↑はGitHubをすでに使えるようになっている人向けの、パッケージを公式登録して更新するまでの方法のメモ。 twitter.com/mat_der_d/stat...
タグ： Julia言語
posted at 00:44:02
慣性質量と重力質量は実際ほぼ等しくて、近年のMICROSCOPE衛星実験では差があるとしても10^-14（100兆分の1）でも検出できないことがわかっていますわ。逆にいうとそれ以上の差を予言する重力理論は全て誤りということになるんですのね。Touboul et al. 2017, PRL 119 231101 doi.org/10.1103/PhysRe...
タグ：
posted at 00:13:38
そうなんですのよ。アインシュタインさんは理論的要請から慣性質量と重力質量の等価原理（弱い等価原理）を原理に置いていますけれど、それが妥当かどうかは常に実験でテストされなくちゃいけないんですのよね。妥当でないことがわかったら物理学を書き換える大発見ですわ。 twitter.com/madnoda/status...
タグ：
posted at 00:12:23
