黒木玄 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年05月23日(日)
非公開
タグ：
posted at xx:xx:xx
#Julia言語 v1.6でも
a = 1.0
b = 2.0
c = 10^3
p = (; a, b, c)
↓
(a = 1.0, b = 2.0, c = 1000)
でNamedTupleを作れます。
typeof(p)
↓
NamedTuple{(:a, :b, :c), Tuple{Float64, Float64, Int64}}
名前と中身の型で型が決まり、NamedTupleを引数とする函数はこの型に特殊化される。 pic.twitter.com/DB5g5q6f9Q
タグ： Julia言語
posted at 22:32:43
初めてまともに矢倉囲いが組めたかもしれない（が惨敗は惨敗） #すどさん将棋をする pic.twitter.com/o3o7ahvWmP
タグ： すどさん将棋をする
posted at 22:29:46
指数関数的現象が社会を揺るがしている最中に微分積分の不要論を唱えちゃう政治家がいるあたり、まさにちゃんと教えないと必要性すらわからないということを示してると思う twitter.com/__fusion/statu...
タグ：
posted at 22:24:54
While it is easy to turn #Microsoft and #Apple into bogeymen here, one has to look at the big picture. We have created an economic system that rewards them for selling stuff that breaks and cannot be repaired. We cannot solve this by only shaming companies. #Capitalism twitter.com/LilAphasia/sta...
タグ： Apple Capitalism Microsoft
posted at 22:07:40
@genkuroki ありがとうございます。これ、ざっと読ませていた大限り、時と場合によって科学の（科学論文の）根幹にかかわる部分でもあるわけですね。さらに未読します！
タグ：
posted at 21:50:01
本日、松本侑子さんに教えいてただいたんですが、カナダのプリンスエドワード島の交通信号って、赤が四角で両サイドについているんですって。（さらに黄色は四角を４５度回転させたものみたい）。アン・シャーリーの「改善委員会」が提案したに違いない！www.youtube.com/watch?v=yjvVOZ... pic.twitter.com/rKq8dAhqsh
タグ：
posted at 21:48:54
長く使っていたのは C++ と Delphi でしたが、最近は Python と R、Julia しか触りませんねぇ…👶小中学校のころはアセンブラ書いてましたよ。
#マシュマロを投げ合おう
marshmallow-qa.com/messages/8b293... pic.twitter.com/rklbUT5xBR
タグ： マシュマロを投げ合おう
posted at 21:30:19
ごまふあざらし(GomahuAzaras @MathSorcerer
ネプチューン？のツイートもと見逃してしまった・・・．
x^3 + y^3 + z^3 = 3 の整数解の件．正しそう．出力で３が出た時は「おー」って声が出てしまった．
#Julia言語 pic.twitter.com/HasmmWFsoC
タグ： Julia言語
posted at 21:23:23
おめめくわっ！
猫「そこなでへんのかーい！（驚）」 予想した“なでなで”が来なかった猫さんのリアクションに爆笑しちゃう nlab.itmedia.co.jp/nl/articles/21... pic.twitter.com/RoW42sSlVu
タグ：
posted at 21:05:00
今の日本の教育に問題が多いという点から「（中学校以降の）教育そのものが不要」という結論を導いているのが非常にまずいですね…。
切り取りという点を考慮しても、財務大臣の発言として看過できないように思いますのでメモ。
下記はこの発言の元動画。（31:00-）
www.youtube.com/watch?v=HwYFSO... twitter.com/physics303/sta...
タグ：
posted at 20:48:11
#julialang
使おうと思ったパッケージを入れてなかった…
こんなときは，ターミナルを開いて
1. Julia (enter)
2. ] (enter)
3. add Hogehoge (package名, ex) add Plots)
いつも使うノートにでもメモしておこう((自戒
タグ： julialang
posted at 20:33:17
非公開
タグ：
posted at xx:xx:xx
#Julia言語
Julia的にはPython一式は ~/.julia/conda 以下のインストールされるJuliaのライブラリの1つで、Pythonで書かれたライブラリの多くをJuliaユーザー達はJuliaのコード内で普通にかつ便利に使っている。 twitter.com/_sonorite/stat...
タグ： Julia言語
posted at 20:21:17
@Leomath99 失礼します。
「何年生から自由になるのですか？」と聞くと、明確に答えない事が多いです。 #掛算
(1) twitter.com/golgo_sardine/...
(2) twitter.com/MathematicsTex...
(3) twitter.com/Yoshi1964m/sta...
(4) twitter.com/44O104/status/...
タグ： 掛算
posted at 19:56:26
@uchan_nos Julia言語は、REPL環境に「 \lambda タブ」と押すと、λ が入力できる機能が標準で備わっている。
Julia公式 unicode入力:
docs.julialang.org/en/v1/manual/u...
各エディタの場合は拡張機能で。
次のブログ、興味深い記事でした。
> Unicodeプログラミングのすゝめ
bicycle1885.hatenablog.com/entry/2014/12/...
タグ：
posted at 19:49:50
非公開
タグ：
posted at xx:xx:xx
あらがえない
車庫で生まれた子猫たちを保護 「30分おきに子猫吸いに行ってしまう、助けて」保護主の叫びに共感の嵐 nlab.itmedia.co.jp/nl/articles/21... pic.twitter.com/cHH1mdoI4J
タグ：
posted at 19:35:00
minimal working example を(スクショではなく)コピペで実行可能な形式で公開すればどうにかなるかも。
"quantization" の意味も「点数」の意味もわかりませんでした。 #Julia言語 twitter.com/hals_sc/status...
タグ： Julia言語
posted at 19:09:35
非公開
タグ：
posted at xx:xx:xx
@MathSorcerer @toku51n github.com/gpoore/pythontex
It supports Python as well as Bash, JavaScript, Julia, Octave, Perl, R, Raku (Perl 6), Ruby, Rust, and SageMath.
というものがあるのですが、13ヶ月間更新されていないので、今も使えるかどうかは不明。
タグ：
posted at 19:01:02
非公開
タグ：
posted at xx:xx:xx
@sekibunnteisuu @qwerasdf1944 @oakleyfreak1 あら、その話は都市伝説として
聞いていたんですが、実在だったとは
失礼しましたー👏
タグ：
posted at 18:58:03
@shoyugi @qwerasdf1944 諸遊戯さん、人のこと言えないですね^^
馬鹿小学校教師＝
サンソン＠レクで学級をHappyに
@oakleyfreak1
をバカと言っていますね。 pic.twitter.com/vhjjNr0yMx
タグ：
posted at 18:54:11
れい@化学(物理化学、有機化学)ガチる月 @rinnarua
最近数学関連で嬉しかったこと
1位 私のここ一年の研究の価値をまるごと消し飛ばしかねない問題点が発覚したが、それをあっさり解決する先行研究が見つかったこと
2位 渡辺澄夫先生のベイズに対する捉え方が私と同じだと判明したこと
3位 機械学習書めっちゃ読まれてること
タグ：
posted at 18:27:12
@genkuroki ちゃんと思考できる先生なら、教科書や問題集に誤りや複数の解釈があっても、ちゃんと自分の判断で採点してくれるのですが、教科書や問題集の解答が唯一無二の存在だと信じている先生は難しいですね。多分本質が理解できていないのでしょう。
タグ：
posted at 18:17:15
ごまふあざらし(GomahuAzaras @MathSorcerer
@toku51n <-- やり方知りたいあざらし(・ω・｀)
Julia なら Documenter.jl や Franklin.jl や Literate.jl が doctest でコードやマークダウンに挿入されているコードブロックのコードが死んでないかは確認することができますが・・・．
タグ：
posted at 18:13:43
算数プリントを作っている側が、正方形も長方形の一種になることを分かっていないせいで、そういう算数プリントが宿題で保護者に発見される場合もあります。
うちでは、解答欄の個数を水増しして対応した。
マルになっていたそうです。
現場の先生が業者の採点基準を無視してくれると助かります。 twitter.com/evlwyqrdosibpe...
タグ：
posted at 18:08:53
ごまふあざらし(GomahuAzaras @MathSorcerer
自明なバグ, 文章, 誤植チェックって出版社はどれだけするものなのでしょうか・・・(・ω・｀)
文章に書いてあるコードスニペットをどうやってテストするか問題 twitter.com/TomiyaAkio/sta...
タグ：
posted at 18:07:40
#Julia言語 v1.7のリリースがもうすぐな感じ。
現在Juliaの本を書こうとしている人は、v1.7以上で
(; a, b, c) = p
が
a, b, c = p.a, p.b, p.c
と等価であることを取り入れた方が得かも。
Parmeters.jlの@ unpackマクロへの依存をなくせます。
discourse.julialang.org/t/julia-1-7-fe...
タグ： Julia言語
posted at 17:34:39
Soichi Matsuura @matsuura_rits
RとPythonとJuliaの勉強してたらもうどれがどれだか分からなくなってくるので、とりあえずRの知識をアップデートしつつ、Pythonでの実装を学ぶ方向で頑張ろ。
タグ：
posted at 17:04:14
@Rsider #統計 以下のリンク先からたどれるスレッド群では、推定法ごとにゲーム達のルールに従って付けられた点数の比較を扱っています。
基本的に「真理」に近い結果が得られる推定法が勝つのですが、損失函数を色々変えているのでケースバイケースでどれが良いかは非自明。続く
twitter.com/genkuroki/stat...
タグ： 統計
posted at 16:57:03
うおーなんかすごい伸びてる😳
インクはW&Nのドローイングインク！ペンはタチカワのGペン使用してます！ pic.twitter.com/NCUtT10Y3Z
タグ：
posted at 16:37:29
@iitenki_moruten #Julia言語 1つ前のツイートの添付画像中の赤線部分が微小に足りなかったので訂正版。さらに、diffファイル。さらにさらに変更後のソースコード全体↓
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/z9h5MsSHVi
タグ： Julia言語
posted at 16:30:47
@iitenki_moruten #Julia言語 おお！素晴らしいです。
ここからさらに魔法があります。
①グローバル変数にあるモデルのパラメーター達を変数pにまとめて、ODEProblemコンストラクタ経由でTwopendulum函数に渡すように設定する。
②StaticArrays.jlを使う。
これだけで微分方程式のソルバが爆速になります。 pic.twitter.com/xU5RhDK9ie
タグ： Julia言語
posted at 16:26:05
@genkuroki ご連絡ありがとうございます。
こちらのテスト環境ビルドの設定ミスで、64bit版ソフトを32bit版環境で動作させてしまっていることが原因でした。
お騒がせしました。
タグ：
posted at 14:52:56
義父が集団検診のネット予約に四苦八苦しているのですが､｢アカウントを作成してサインインしてください｣という説明では理解出来ないお年寄りが多いと思います｡
余計なネット用語を使わず｢ここに住所氏名電話番号を入力してこのボタンを押してください｣ではダメなのでしょうか｡
タグ：
posted at 14:30:55
「エゴとエゴのぶつかり合い」や「間違った信念に基く暴走」を「正義と正義のぶつかり合い」「正義の暴走」の様に表現しているドラマや小説やマンガは多い。
しかも、子供向けのメディアでそうなっていることが多い。
伝統になっている。
チョー算数以上に後世に害を与える可能性もあると思う。
タグ：
posted at 14:14:01
これ、多分、10年よりもずっと長い期間行っていることなのですが、おそらく十分にコストを書けて説明していないせいで、私はわかってもらうことに失敗し続けている。
タグ：
posted at 14:10:12
「エゴとエゴのぶつかり合い」と言うべきところを、「正義と正義のぶつかり合い」と言い直すのは本当にやめて欲しいと思う。
多分、日本語圏では「正義」という言葉の意味が「エゴ」の類とほぼ同じになってしまっている。
タグ：
posted at 14:08:44
これ、「正義の暴走」のような言い方を平気でして来た人達が集団でどんだけ後世に憂いを残してしまったか、という問題。
そういうのはもはや普通の常識的意味での正義じゃないですから。
タグ：
posted at 14:04:42
何度か言ってるけど、相手は何しろ「非常識」なので、自分の常識や良識と照らし合わせて、「きっとこういう意図があったのだったのだろう」とか「こういう意味があるのだろう」などと判断すると、足を掬われます。
何しろ相手は常人の想像を越える「非常識」なので。 twitter.com/kuri_kurita/st...
タグ：
posted at 14:02:16
先生に気を使っているのでここまで言うと嫌われてしまうかもしれないけど、それは「DV加害者」を「被害者に対して悪意があるわけではない」と庇うのと同じようなものですよ。
多分こういう酷い例があることを今まで知らず、ご自分の常識と良識に従って判断しておられるのでしょうけど。 twitter.com/awaguni_deko8/...
タグ：
posted at 13:20:33
Juliaにおける構造体や関数への入力引数に型を指定すると、LinuxとWindowsで認識のされ方が異なることがあると分かった。
うーん、これはめんどくさい。とりあえず型の指定をやめてみるか。今日はもう止めにしてまあ後日やろう。 pic.twitter.com/aSU5dcQB86
タグ：
posted at 13:02:47
非公開
タグ：
posted at xx:xx:xx
🚀☘️#Julia4Beginners
Section: Multiple objects
docs.julialang.org/en/v1/manual/d...
🚀☘️#JuliaLang #bash #sh #zsh #ksh #csh #coderBOT 🧞♀️#WomenWhoCode #640daysofcode #301daysofcode #730daysofcode #100DaysOfCode #Linux #POSIX #advancedProgramming #DEVCommunity pic.twitter.com/lDrccHbgD2
タグ： 100DaysOfCode 301daysofcode 640daysofcode 730daysofcode advancedProgramming bash coderBOT csh DEVCommunity ksh Linux POSIX sh zsh
posted at 12:17:26
#超算数 具体的事例
添付画像は平成29年版の学習指導要領解説(≠学習指導要領そのもの、厳密な区別が必要)より。かなり以前から
かっこは1つの数量を表すのに用いられる
とデタラメが書いてあり、構文解析についての伝統的なデタラメを示唆する説明になっている。
www.mext.go.jp/component/a_me... pic.twitter.com/K9wsy0v3Ig
タグ： 超算数
posted at 11:45:14
@megane654321 私企業であればお金儲けが重要で、お金儲けのためにはワークフローの合理的な改善は重要なのですが、そうならずに、叱責でどうにかしようとする。
保護者達が働いている私企業でさえそうなのだから、保護者が学校に「叱責で何とかしようとするな」と強く要求することも稀になるでしょう。
タグ：
posted at 10:58:57
@megane654321 日本社会全体の問題の可能性が高いと思います。
例えば、バイトのミスを減らすために、ワークフローを変えるなどの工夫によってどうにかしようとせずに、正社員による叱責でどうにかしようとする、というような話はありがち。ミスったバイトの側が改善案を持っていても提案さえできない。
タグ：
posted at 10:54:33
非公開
タグ：
posted at xx:xx:xx
#超算数 ところが、日本の算数数学教育の歴史において、教科調査官のような社会的地位に就いた人達はそういう類のことを理解しておらず、
bcは演算の結果をも表すので
とか
bcは1つの数量をも表すので
という理由で
a÷bcはa÷(bc)になり、(a÷b)cには決してならない
としていたりする！ twitter.com/temmusu_n/stat...
タグ： 超算数
posted at 10:39:59
#超算数 解説
a÷bcという記号列の式としての解釈は構文解析のルールを与えないと決まりません。
仮に構文解析のルールを演算の結合の強さと左結合か右結合かで与える場合には、÷と併置積の結合の強さを与えないと、a÷bcが(a÷b)cとa÷(bc)のどちらになるか決まらない。
ところが～続く twitter.com/temmusu_n/stat...
タグ： 超算数
posted at 10:35:03
@genkuroki 算数の話題以外での引用リツイートが珍しくて驚いております✨
学校の指導は精神的プレッシャーばかりですよね。環境を調整すると言う考えもまったく無くて、悪しき平等主義のもとで「できない」をひたすら叩く。なんで、こうも学校は変わらないのかと日々嘆いております。
タグ：
posted at 10:34:53
「仏の顔は三度まで」=「三度目はきつく怒鳴りつけるからな！」
というめちゃくちゃな考え方は学校内だけではなく、広く蔓延していると思う。
合理的に苦痛なく楽に解決する手段を検討しようとせずに、精神的プレッシャーをかければ良いと考える馬鹿が多く、馬鹿であることに気付かない。 twitter.com/megane654321/s...
タグ：
posted at 10:18:51
#JuliaLang
Getters & Setters in Julia by @NeuroKiruse link.medium.com/DQcFE5xMtgb
タグ： JuliaLang
posted at 09:17:44
This is really key in data science. Good to know. twitter.com/juliabloggers/...
タグ：
posted at 08:40:09
定義にペアノを使おうが別のを使おうが，整数問題の解の正解不正解には関係ない。なので，「掛け算に順番がある」のならそれは公理系の違う自然数ではなく「自然数ではない何か」。
だとおもうのですが、、、、
タグ：
posted at 08:20:23
水波ユキノ@skeb依頼受付中だいたい絵 @minami_suiha
データフレームは普段飽きるほどpandas(Python)で触ってるから、あとはR言語とJulia言語の学習。
JR言語もやっときゃしばらくはコチラとしては安泰カモ（？）
heavywatal.github.io/rstats/dplyr.h...
タグ：
posted at 05:50:41
Marcelo Maciel @boringsegfault
#codeart #julialang kkkkkkkkkkk pic.twitter.com/knOyEmXOXd
posted at 05:16:21
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
s1=Softmax(パラメータ)
s2=Affine(パラメータ)
forward!(x,s1)
forward!(x,s2)
として多重ディスパッチしてる。xを行列にするmini-batch とか対応してないけど、それはこのコードでは見送りかな (brute-force 的にmini-batchはつけてるけど)。
#Julia言語
参考はゼロから始めるディープラーニング
タグ： Julia言語
posted at 04:22:30
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
激オソ実装だけど、iris が学習できたので良さそう。
1.backprop の実装(backward は実装済みからまとめるだけ)
2.いくつかのactivation に対応したい(現状sigmoidとsoftmaxのみ)
3.いくつかのloss に対応したい。
4.ニューラルネットを動的に作りたい。今は関数として決め打ちしてる。
5.高速化
タグ：
posted at 04:18:15
ごまふあざらし(GomahuAzaras @MathSorcerer
C/C++ よりもローレベルのレイヤーから眺めるか
Juliaから始めるか
計算機アーキテクチャーから入るか方が良い気がしゅるが・・・(´・ω・｀)
タグ：
posted at 00:59:09
#julialang
近所の公園で７重振り子のようなブランコを見つけたので，２重振り子を解いてみた．これぐらいの問題ならjulia言語で書くとすごく簡単ということだけ伝えていきたい．
↓コード
github.com/moruten/julia-... pic.twitter.com/6ESOAhnUfn
タグ： julialang
posted at 00:37:15
私は「さあ💧お母さんはやったことないけどどうなんだろうねぇ。」と言うしか無かった。
なるべく先生に不信感を抱かせたくはないのだけど、小1でも疑問を感じるこの方法。
きちんと説明すれば子どもが納得できるような方法で指導してほしいです😭
タグ：
posted at 00:18:32
困った事に息子の担任は仏の顔も三度まで方式😓息子に3回やったらどうなるの？と聞いたら「長〜〜く廊下で怒られるの。それで先生の前の席になるの。」と言っていた。
今までそういう怒られ方を見たことなかった息子は「長く怒られると出来るようになるんかねぇ？」と言い、→ twitter.com/megane654321/s...
タグ：
posted at 00:18:31
