黒木玄 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 を見て下さい。
2021年06月18日(金)
オープンソースのメンテナー、多くは十分な対価を得られず--ストレスも japan.zdnet.com/article/351722... @zdnet_japanより
タグ：
posted at 00:09:34
矢印で描ける平面ベクトルの直交射影を一般化して行けば最小二乗法も理解可能。
2×2行列Aのn乗の計算で使う固有値・固有ベクトルの重要性は言うまでもない。
2×2の回転行列は基本中の基本。
高校生の段階でそれらを勉強することのメリットは巨大。
それを日本はなぜかやめてしまった。 twitter.com/gongonks/statu...
タグ：
posted at 00:15:43
「高校では矢印や2×2の行列しかやらなかったでしょ」と昔の高校数学のカリキュラムについて否定的なニュアンスで語る人たちは数学的考え方の基礎が全くできていないと思われるので、線形代数を勉強し直した方がよい。
タグ：
posted at 00:18:13
高級そうに見える知識を勉強して覚えることが数学の学習なのではない。
易しく見える考え方の積み重ねだけで、相当なことを理解可能なことを学ばないと、何を勉強したのかということになる。
線形代数については、易しいことからの積み重ねの最初のワンステップを高校数学から削ってしまった。
タグ：
posted at 00:22:46
大学で数学を教える側が相当なコストを支払って対応しているので、害を最小化できていると私は信じているが、政策的に線形代数の最初のワンステップを高校生に教えないようにした政策は愚かの極みだと思う。
線形代数は複数の数値をまとめて扱うときの基礎中の基礎。
タグ：
posted at 00:26:30
関連スレッド
ℝⁿの点 (y_1, …, y_n) の直線 {t(1,…,1)|t∈ℝ} = {(t,…,t)|t∈ℝ} への直交射影は y̅ = (y_1+…+y_n)/n のときの (y̅, …, y̅) になる。
データの平均値を取る操作は直交射影の一種。
最小二乗法はこれの一般化。
愚かな政策に負けずに、勝手に勉強して賢くなりたい。 twitter.com/genkuroki/stat...
タグ：
posted at 00:56:49
データ (y_1, …, y_n) が与えられたときに、
(y_1 - β₀)² + … + (y_n - β₀)² を最小化するβ₀
= 点(y_1,…,y_n)に最も近い(β₀,…,β₀)を与えるβ₀
= 点(y_1,…,y_n)の直線ℝ(1,…,1)への直交射影(β₀,…,β₀)を与えるβ₀
= (y_1+…+y_n)/n
これが平均値の話。
タグ：
posted at 01:04:09
データ(x_i, y_i)が与えられたときに、
(y_1 - (β₀+β₁x_1))² + … + (y_n - (β₀+β₁x_n))² を最小化する(β₀,β₁)
= 点(y_1,…,y_n)の平面ℝ(1,…,1)+ℝ(x_1,…,x_n)への直交射影(β₀+β₁x_1,…,β₀+β₁x_n)を与える(β₀,β₁)
これが最小二乗法の話。
β₀+β₁x_k の部分はずっと一般化可能。
タグ：
posted at 01:08:41
誰でも裁判官を訴追できるし裁判官訴追委員会が罷免の訴追したら弾劾裁判所は裁判官を辞めさせるかどうか判断できる。でもその罷免の事由と効果、過去の事件と判例を確認して、岡口裁判官の表現をみて考えてみよう。
弾劾裁判所HP
www.dangai.go.jp/index.html
裁判官訴追委員会HP
www.sotsui.go.jp/index.html
タグ：
posted at 01:11:00
#Julia言語
using Plots, LinearAlgebra の1行と添付画像の9行でガウス過程回帰のアニメーションを作成できる。
これは線形代数自身の力とJuliaが線形代数に強いことの合わせ技。
gist.github.com/genkuroki/a71a... twitter.com/genkuroki/stat... pic.twitter.com/uS51SDSazk
タグ： Julia言語
posted at 01:18:02
岡口裁判官はすでに戒告されている。全ての表現について肯定的に擁護されてきたわけでもなく社会的にも行きすぎた面は批判されてきた。そして、罷免の訴追となった。まずは判例みるべし。
時事2020年08月26日「岡口判事を戒告 懲戒、異例の２度目―ＦＢに不適切投稿・最高裁」
www.jiji.com/jc/article?k=2...
タグ：
posted at 01:24:48
弾劾裁判所の「過去の事件と判例」をみてみよう。
罷免訴追事件９件が紹介されている。この訴追の事由と並ぶような「裁判官としての威信を著しく失うべき非行があつた」と考える？
www.dangai.go.jp/lib/lib1.html
タグ：
posted at 01:33:45
罷免されるとどうなる？
「裁判官の身分を失います。また、検察官や弁護士となる資格を失うほか、公証人となることも制限されます。さらに、調停委員、司法委員、参与員にもなれません。経済的な面でも、退職金を支給されないほか、年金も制限されます。」
そこまでの行為と評価する？
タグ：
posted at 01:35:16
あの程度でこういう目に合わされるようになるのはひどすぎ。
仮に前例になってしまうと日本国のために有害だと思われる。 twitter.com/suzukimasatomo...
タグ：
posted at 01:43:52
最近の4つの罷免訴追事件
* スカート内の下着を動画撮影
* 裁判所職員の女性に対し～ストーカー行為
* ホテルなどで３人の少女に児童買春
* 担当する破産事件の破産管財人からゴルフクラブ２本、ゴルフ道具１セット、キャディバッグ１個と背広２着の供与を受けた
www.dangai.go.jp/lib/lib1.html pic.twitter.com/SeSxs9vaGj
タグ：
posted at 01:49:13
個人的な意見では岡口さんは特別に悪いことをしていないと思う。
少なくとも上で引用した4つの事例とは全然違う。
「誰かが岡口さんを陥れようとしているのか？」と感じるくらい酷いことになって来ていると思った。
タグ：
posted at 01:53:20
@Jacob_Zelko Julia didn't exist when I first wrote the chapter, and I don't think the tools for integrating Julia with R are quite as mature as C++ currently, but I agree it's a great idea.
タグ：
posted at 04:05:08
#Julia言語 REPLで
julia> maximum(タブ
とすると、函数maximumのメソッドのリストが表示され、
julia> maximum(sin,タブ
とすると、maximum(sin,～)の形式使えるかもしれないメソッドのリストが表示されます。
メソッドのリストが欲しいときにこれは非常に便利。 twitter.com/genkuroki/stat... pic.twitter.com/yjTK4rPxe0
タグ： Julia言語
posted at 05:30:15
#Julia言語
nightly buildのv1.8.0-DEVの方が安定版v1.6.1より、函数maximumのメソッド(計算法)が増えていることも分かる。
Juliaは新しいバージョンの方が非常に良いことが多い。
nightly buildを使い始めると、「たまにひどく壊れること」が分かっていても安定版に戻り難くなる。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 05:37:11
#Julia言語 v1.7以上ならば、函数f(x, y)の「定義域」X×Yにおける最大値とそれを与える点(x, y)は
findmax(p -> f(p...), Iterators.product(X, Y))
で計算できる。ほぼやりたいことをJulia語に直訳するだけでよい。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 05:41:59
#Julia言語 デフォルトではstructもフィールドと公開されたプロパティが一致しているが、
Base.propertynames(x::MyType, private::Bool=false)
を定義すれば、公開されたプロパティが何であるかを示してかつ、タブ補完も公開されたプロパティのみに効くようにできる。
github.com/genkuroki/publ... pic.twitter.com/dDZ25t9rlu
タグ： Julia言語
posted at 06:38:56
@sekibunnteisuu #超算数 「合わせて」ってあるのだから、合併のようですね。でも本当にそうでしょうか？ 実は、もらったものの種類によって合併でなく増加になることがあります。持っているものと同じものをもらったら増加で、違うものをもらったなら合併ですtwitter.com/shufuikujiehon...。気をつけたいですね！ pic.twitter.com/G7mCRUp32T
タグ： 超算数
posted at 07:28:40
@hadleywickham For sure. I think we've a bit more to do before we're to Rcpp level. However, the work by Stefan Lenz and Changcheng Li on JuliaConnectoR and JuliaCall respectively are quite exciting!
For fun, here is a photo of embedding R inside of Julia to use @OHDSI R tools.
All the best! pic.twitter.com/wiaCyxE9mY
タグ：
posted at 07:39:13
非公開
タグ：
posted at xx:xx:xx
? for all #JuliaLang gurus: as a beginner in parallel computing, which parallelization approach would you recommend first? Multi-threading or multi-processing in Julia?
I’m trying to learn about multiple threads usage, and most people say it’s not stable yet.
タグ： JuliaLang
posted at 07:49:23
この間話題になった山形大の球面歯車（関節）、動画見つけたので編集した。
出典 ieeexplore.ieee.org/document/94156... pic.twitter.com/BwDDy7vd8U
タグ：
posted at 07:49:49
Multi-threading with Base.Threads seems easier, however, it appears that Distributed.jl will be more stable and safe. Really don’t know where to start...
タグ：
posted at 07:51:02
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
Julia v1.7.0-beta1 released! forum.devtalk.com/t/10630 #JuliaLang #devtalk
posted at 08:06:25
なぜアジア系アメリカ人の歴史は米国の学校で教えられていないのか？というお話。アメリカ人の半数近くはアジア系アメリカ人の著名人を誰一人として挙げられないし、18の州では歴史のカリキュラムで言及が全くないらしい（続）
www.bostonglobe.com/2021/06/16/met...
タグ：
posted at 08:22:03
Rustってクラスがないわけだけど、クラス図を使って設計してる場合はどうう実装するんだろう。インターフェースクラスをトレイトにするくらいは想像できるけど。
タグ：
posted at 08:24:14
学校でアジア系アメリカ人の歴史が教えられていない事は、子供達の自尊心にも関わり、アジア系の子供達の自殺願望が高い事と関係があるのでは？という。最も広く教えられているアジア系アメリカ人のトピックは日系人の強制収容だというのも、なんともだね。
www.bostonglobe.com/2021/06/16/met...
タグ：
posted at 08:26:36
これは、学校が「教育を受ける権利」を否定しているということなのですから、重大な問題です。
#超算数 twitter.com/musorami/statu...
タグ： 超算数
posted at 09:24:07
“pLaTeX が本格的にやばいかもという話” 読んで門外漢でもヤバイと思う。海外開発に理解してもらう。。。ヤバイ。。。 / 他7件のコメント b.hatena.ne.jp/entry?url=http... “pLaTeX が本格的にやばいかもという話 - Acetaminophen’s diary” (24 users) htn.to/3GGaMbEoF3
タグ：
posted at 10:36:41
Amazon @amazon should take responsibility for potentially killing many Japanese people by showing anti-vaccine books as the top best-selling books in Japan. This is an act of terrorism against public health in Japan and should not be overlooked. #Amazon #AntiVaxConspiracy twitter.com/ysktalking/sta...
posted at 10:57:16
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@temmusu_n #超算数
もらうのが、おなじしゅるいかちがうしゅるいかで、ぞうかなのかがっぺいなのかがちがってくるのですね。さんすうはややこしいですね。はやくしんぷるなすうがくをべんきょうしたいです。 pic.twitter.com/XBxsgHh02H
タグ： 超算数
posted at 13:10:35
@sekibunnteisuu #超算数 こどものはったつだんかいをふまえて、ちょうどよいないようをおしえなければいけません。たしざんのいみがややこしいといっているきみは、まだまだだよ！ もっとがんばりましょう。
タグ： 超算数
posted at 13:12:13
#Julia言語 では
①ユニコード文字をコードでみんな楽しく使っている。
②数式に近い見た目のコードは意味が分かり易い場合がある。
③ユニコード文字の全世界共通の入力方法もサポートしている。
(日本語入力などはサポートしていない)
最後の③がないとユニコード文字の使用は流行らないと思う。 twitter.com/hidemotonakada...
タグ： Julia言語
posted at 13:34:08
新しい記事がQiitaにアップされました！#Julia言語 #Julia日本語記事
qiita.com/takahashi-ry/i...👈
タグ： Julia日本語記事 Julia言語
posted at 13:53:16
@genkuroki それで言うとJulia1.7.0で'−'(Minus Sign,U+2212,"\minus"+Tabで入力可能) という文字が'-'(Hyphen-Minus,U+002Dつまり普通の半角記号)と同様に扱えるようになった（負符号および演算子として）のですがこれ非常に危険、フォントによっては見た目まったく区別が付かない（JuliaMonoですら）
タグ：
posted at 13:54:39
入力法の規格がすでにあれば、単純な「置換」のルールに過ぎないので、今風のエディタであれば拡張機能による実現はおそらくそう難しくないと思います。
入力の規格を作ってユーザーに周知することはものすごく大変。
この規格→ docs.julialang.org/en/v1/manual/u... の数学関連部分はほぼLaTeXスタイル。 twitter.com/__dalong/statu...
タグ：
posted at 14:25:54
数学記号の入力はツイッターでも対応して欲しい。
x₁
Δt
σ²
X̅
β̂
A⊗B
などを発言中で世界中に人が使えるようになることのメリットは大きい。全世界規模での数学がらみのチャットがやりやすくなる。
タグ：
posted at 14:29:01
PythonでロードするモジュールをC++で書くのは意味があったけど、JuliaからRustで書いたモジュールをロードするのはあんまり意味が無いので、基本完全に独立ですよね
タグ：
posted at 15:35:14
APIで使う文字はASCII文字に制限した方が無難ということはあるかも。
例えば #Julia言語 のDifferentialEquations.jlのAPIであるsolve函数ではΔtをオプションとして与えるときにはdtと書くようになっている。この手の気の使い方は大事。 twitter.com/__dalong/statu...
タグ： Julia言語
posted at 16:10:50
アルプスサラマンダー 二日目 東Ｚ23a @himaraya2011
#ゲッター線を浴びよう
坂本龍馬の死にも一説によればゲッター線が関与してるらしいしな！ pic.twitter.com/fjCimSql1m
タグ： ゲッター線を浴びよう
posted at 16:57:18
matlabやpythonよりもjuliaの方が良さそうな気がしてきました．私は，数値解析をメインにやっているので，計算速度が速い言語でコードを書いた方が将来的にも良いのかなと思っています．
タグ：
posted at 17:48:00
@physics_math_me This is a general rule:
multi-threading you can share the same memory, as long as you avoid issues like false-sharing then that's the best place to start
multi-process cannot share memory so if you want to use the same data somehow, you might end up with high overhead
タグ：
posted at 19:55:43
@physics_math_me Because each process in a multiprocess setup is its own Julia session. So multiprocess works better if you need to process chunky things but the need for communication between process is less of an issue.
タグ：
posted at 19:56:38
#julialang Agents.jlが面白かったので新コロっぽいシナリオをなんとなく想起させる平面を移動するエージェントとSIRモデルがくっついたMASをドキュメントに従って動かしてみた zenn.dev/takilog/articl...
タグ： julialang
posted at 20:55:58
新しい記事がZennにアップされました！#Julia言語 #Julia日本語記事
zenn.dev/takilog/articl...👈
タグ： Julia日本語記事 Julia言語
posted at 20:55:59
Buitengebieden @buitengebieden
Olympic Gold Medalist, Katie Ledecky, swims with a glass of chocolate milk on her head.. pic.twitter.com/Yu6q711oOB
タグ：
posted at 21:23:29
Dr. Chris Rackauckas @ChrisRackauckas
@AriKatz20 @TaliaRinger @JuliaComputing Julia Computing does all of the time. People interested in programming languages and compilers, but also their intersection with modeling and simulation, machine learning, pharmacology, and other application domains. #julialang users should get in touch.
タグ： julialang
posted at 21:25:34
> 学生の方で、このテキストで線形代数を学んでみようと思われた方がいらっしゃるならば、ご一読の後に、あらためて講義で指定されている教科書を読んでみることをオススメします。これまで以上に理解が深まると思います。
withnews.jp/article/f02106...
タグ：
posted at 22:29:35
@kamo_hiroyasu @bicycle1885 @PurPurkinje 鴨さんは文脈を適切に解釈できてなくて、「PythonとC++」はおそらく「Pythonだけだと遅いのでC++と組み合わせて使うこと」を意味しており、「OSを書く」は全然別の話題。
「Pythonだけだと遅いのでJuliaと組み合わせて使う」という意見が出たら、当然「Juliaだけでいいんじゃね」という意見も出る。
タグ：
posted at 22:33:47
@kamo_hiroyasu @bicycle1885 @PurPurkinje あと、現時点でJuliaでOSを書くのは難しいかもしれないけど、コンパイラやDBMSは普通に書けるんじゃね？
タグ：
posted at 22:36:06
@kamo_hiroyasu @bicycle1885 @PurPurkinje DBMSはやはりきつい？
「コンパイラを書く」の定義も問題で、現代的なコンパイラのフレームワークも含めて書けと言われるとつらいかもしれませんが、フレームワークありきが前提なら、Juliaでちょっとしたコンパイラは書けると思います。誰かやるとよいと思う。
タグ：
posted at 22:43:25
@kamo_hiroyasu @bicycle1885 @PurPurkinje 「現実にすぐにできるか？」ではなく、原理的な話にしたときに「JuliaでOSが書けない」とする根拠は何？
タグ：
posted at 22:45:49
ほりたみゅ (mastodonも見てね) @Hyrodium
ImageClipboard.jlがGeneralに登録されたのでzenn.devに記事投稿した📋📋📋📋📋📋📋📋📋📋📋📋📋📋📋📋📋📋📋📋📋📋📋
zenn.dev/hyrodium/artic...
タグ：
posted at 23:25:28
