黒木玄 Gen Kuroki(@genkuroki)/2021年04月/Page 26

#算数・数学指導日記

小３生に「2時間で10km進む。35km進むのに何時間何分かかるか？」と出題したら、

即答はしなかったがちょっと考えて、「7時間」と正解できたよ。

やっぱり、ハジキは不要

タグ：算数

posted at 00:14:37

-o)))) @l_o_0_0_o_1

衛星から地表を見るというテーマがここ二日の思考の大半で、pythonはとてもオーバーヘッドが大きくて、julia、goをもっと知りたいと昨日まで考えていたのに、またpythonに戻るしかなさそう。

タグ：

posted at 00:54:51

#Julia言語の
sysimage, 同じOSユーザの間でも共有できないんか・・・。かなしい・・。

タグ： Julia言語

posted at 01:15:13

むううみん @muuumin20

Julia日本語記事まとめ @julia_kizi

「SEむううみんのプログラミングパラダイス」というサイトをやっています。
現在「Julia言語で入門するプログラミング」という記事を書いています。プログラミングの入門としてJuliaは最適だと思ったからです。長いので何回かに分けての記事になります。
第1回はこちら。muuumin.net/julia-intro-pr... twitter.com/muuumin20/stat...

タグ：

posted at 01:17:55

新しい記事がQiitaにアップされました！qiita.com/hidemotoNakada...👈

タグ：

posted at 02:05:19

数学書を読んでおてなんかおかしいよねって気づくあのやな予感の感覚が役立っている

タグ：

posted at 02:14:28

PackageCompiler.jl を利用して StatsPlots.jl を含めた sysimage を作るためのスクリプトを公開します.　Jupyter notebook 組み合わせるとノートの実行速度も改善することもわかります。くわしくはREADME.md で

github.com/terasakisatosh...

タグ：

posted at 02:24:58

make && make test でよしなにしてくれます。

タグ：

posted at 02:27:22

As I struggled to deal with the impact of COVID on my family members in India, I got delayed by a day for submitting my reviews for a conference & I got a message from a senior reviewer with the blurb below. My humble request to everyone - pls don't say this to anyone ever! [1/n] pic.twitter.com/xv2Ig2H80O

タグ：

posted at 02:58:38

I dont typically share any of my personal experiences on social media. But, I strongly felt that I need to make an exception this time. I am so incredibly hurt, appalled, flabbergasted, and dumbfounded by that blurb. It shows how academia can lack basic empathy! [2/n]

タグ：

posted at 03:04:22

Women and people of color are already shying away from academia because of this kind of attitude. By exhibiting this kind of behavior, we are also sending a clear message to people who have health issues/care taking responsibilities that they are not fit for academia. [4/n]

タグ：

posted at 03:31:40

Its time academia starts accounting for being a decent human as THE prerequisite for hiring someone. It seems like the only things that matter are papers/grants. Some people are not capable of being decent humans if there are no incentives which is sad to begin with. [6/n]

タグ：

posted at 03:51:11

I want to take this opportunity to bring up another issue. Lot of grad students go through depression during their PhDs. At this point, it is almost treated like a rite of passage that everyone in grad school has to be depressed at some point and that is normal. NO! [7/n]

タグ：

posted at 04:08:01

It is not normal for students/anyone in academia to get depressed. We should not normalize it. We should train professors to be better managers and mentors especially if they are supervising students. It is never normal to say this career is going to make you depressed. NO! [8/n]

タグ：

posted at 04:09:21

非公開

タグ：

posted at xx:xx:xx

I have been a silent spectator to several problems in academia so far. But, this incident was a tipping point for me. You can't tell me that I should experience the same level of grief/anxiety that other Indian area chairs in your esteemed ML conference are experiencing. [9/n]

タグ：

posted at 04:13:02

Thank you everyone for the overwhelming support on this thread. It is so gratifying to see that several others find this behavior appalling and utterly insensitive. I sincerely request others (esp. students) to bring such incidents to the notice of public and conference chairs.

タグ：

posted at 04:26:45

#Julia言語では返り値の型を書かずに、型安定性をチェックした方がよい場合が多い。へたに書くと危ない。例えば

f(x::Int64)::Int64 = x/2

とすると

f(2) → 1

となりますが、

f(3) → InexactError: Int64(1.5)

となります。convert(Int64,～)が実行され、変換できないと実行時エラーになる。 twitter.com/kiha450ps/stat... pic.twitter.com/7LAprRMrjI

タグ： Julia言語

posted at 04:39:10

#Julia言語例えば

function f(x::InputType)::OutputType
xからyを計算する重たいコード
return y
end

を実行すると、最後に convert(OutputType, y) が実行され、変換できないと実行時エラーになる。重たい計算が終わるのを長時間待ったあげくの実行時エラーなのでダメージが大きい。

タグ： Julia言語

posted at 04:39:11

#Julia言語しかも、入力xごとに実行時エラーになったりならなかったりで、エラーになる場合が稀だと、非常に面倒なことになる。常にエラーになるより圧倒的にたちが悪い。

これは非常に嫌なので、返り値の型を決めたい場合にはきちんと型安定性をチェックした方がよいです。

タグ： Julia言語

posted at 04:39:11

#Julia言語

具体的には、@ code_warntype での確認を忘れないようにする。

あとメモリアロケーションの確認も重要。@ time での確認でメモリ割り当ての回数が無駄に多い場合は型安定性が崩れていることがある。

この問題では JET.jl の試みが最先端です。

github.com/aviatesk/JET.jl

タグ： Julia言語

posted at 04:39:11

One last thing, I am not going to be apologetic about prioritizing the care of my parents who are 70+ years old over conference reviews/any other professional aspect. No one else should either! I hope I remain empathetic enough to make that same choice over and over again!

タグ：

posted at 04:42:56

#Julia言語 Juliaの型について十分な理解せずに、函数の引数の型を書くのも危険行為です。例えば、数学的に浮動小数点数成分の数ベクトルを引数とする函数を

function g(x::Vector{Float64}) ～ end

と定義することは、典型的な失敗例になります。引数としてviewやレンジを取れなくなる。 pic.twitter.com/EhaMEvaTof

タグ： Julia言語

posted at 04:56:11

Jiahao Chen 陈家豪 @acidflask

Disgusting lack of sympathy for the plight of Indians and other Asians dealing with new resurgences of Covid while still trying to adhere to the strict schedules of conference publication.

SHAME ON CONFERENCE ORGANIZERS WHO ENABLE THIS NONSENSE twitter.com/hima_lakkaraju...

タグ：

posted at 04:58:08

#Julia言語 function g(x::Vector{Float64}) ～ end は典型的な失敗例。

そのような初歩的失敗を防ぐ最もシンプルな方法は、引数の型を書かずに

function g(x) ～ end

と書くことです。函数の引数の型を書かなくても計算速度は劣化しません。

タグ： Julia言語

posted at 04:59:39

#Julia言語 function g(x::Vector{Float64}) ～ end ではなく

function g(x::AbstractVector{Float64}) ～ end

と書けば、viewやrangeも受け取り可能になります。

しかし、これだとGPUでFloat32を使った計算で利用できない函数になるので、私はひどく損だと思います。

タグ： Julia言語

posted at 05:02:28

#Julia言語

function g(x::AbstractVector{<:AbstractFloat}) ～ end

と書けば、相当にましになりますが、成分の型を浮動小数点数に制限しているので、ForwardDiff.jlなどを使って自動微分できない函数になってしまいます。

GPUや自動微分のような新しい道具の理解は現代では非常に重要です。

タグ： Julia言語

posted at 05:06:05

#Julia言語

function g(x::AbstractVector{<:Real}) ～ end

ならば多くの場合に困らずに済む可能性が高い。

しかし、この定義の中身が、実際には複素数成分の場合にも対応していたり、行列やもっと高次元の配列にも対応しているなら、このように引数の型を制限することもひどく損になります。

タグ： Julia言語

posted at 05:09:20

「広く適用可能なアルゴリズムでコードを書いて、そのコードを十分に使い回すこと」はプログラミングのイロハのイであり、「引数の型をできるだけ書いた方がよい」というような根拠のない思い込みでコードを書くことは、不合理な信念に基く仕事の典型例になってしまうと思います。

タグ：

posted at 05:12:48

Jiahao Chen 陈家豪 @acidflask

Don't be that heartless academic who's annoyed you're one day late on an assignment while a pandemic rages around the world and they are literally BURNING BODIES EN MASSE

Is your precious little course / conference really that important when people are dying? (HT @cnnbrk) pic.twitter.com/CJIXjTd696

タグ：

posted at 05:24:01

#Julia言語開発版の最新の公式ドキュメントによれば

* 引数の型の過剰な制限はよくある間違いです。疑わしいなら引数の型を書くのをやめましょう。

* Juliaでは戻り値の型宣言はほとんど使われません。一般に「型安定」な函数を書くべきです。

これが合理的。

github.com/JuliaLang/juli... twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 05:57:05

Windows な人は

Sumatra PDF
www.sumatrapdfreader.org/free-pdf-reade...

も入れておくと便利。これはPDFファイルをロックしないので、閲覧しながらPDFファイルを更新可能。

タグ：

posted at 07:00:51

#Julia言語函数の仕様を引数や戻り値の型宣言で示そうとせずに、doc stringを書く方が気楽。

"""f : ベクトルx ↦ スカラー"""
function f(x)
～
end

タグ： Julia言語

posted at 07:07:22

#Julia言語

 discourse.julialang.org/t/help-with-al...
Writing type-stable Julia code

ただし、型安定にするためのルールを覚えて対処するのはうまく行かないと思う。@ code_warntype などでの型伝搬の様子を常に確認するのが安全な方法。

「1つの函数を長くしない」というような一般的な原則はこの場合も有効。

タグ： Julia言語

posted at 07:37:05

#Julia言語

Juliaにおける函数の引数や返り値の型宣言が無用だったり、有用であっても注意をようすることについては以下のリンク先を参照。

discourse.julialang.org/t/why-specify-...

discourse.julialang.org/t/why-specify-...

タグ： Julia言語

posted at 07:56:52

木野豆府 @kinonotofu

Juliaってjupyterとplutoどっちがいいんだろ。pluto良さそうだけど変数の扱いがクセがあって悩むな

タグ：

posted at 08:18:23

Cloud LaTeX (アカリク) @cloudlatex

#Julia言語以下のリンク先の29番のような発言は結構よく見ます。

親切な説明があっても、他言語への過剰適応から逃れられないというパターン。

私には非常に攻撃的な態度に見えるのですが、Juliaの人達は穏健でさらに正確な説明を追加してくれて、部外者は勉強になる。

discourse.julialang.org/t/why-specify-...

タグ： Julia言語

posted at 08:45:11

Cloud LaTeX (アカリク) @cloudlatex

【20210425 Cloud LaTeX 更新】

ドキュメント変換ツール Pandoc を搭載しました。
マークダウン形式(.md)ファイルをターゲットにしてコンパイルすると LaTeX 形式に変換されPDF出力が可能に！
数々のマークダウン記法に対応しています。
専用テンプレートも用意しましたので、ぜひご活用ください。 pic.twitter.com/0Auu7EM0Gd

タグ：

posted at 09:00:31

markdown->LaTeX では、
platex/uplatex/lualatex コンパイル時には jlreq
pdflatex/xelatex コンパイル時には bxjsarticle
クラスで変換されるように設定しています。

その他の更新履歴につきましては

cloudlatex.io/announce_archive

をご確認ください。

タグ：

posted at 09:06:06

wakame @wakame_msds

データサイエンスコースのクラスで学びましたが、解析のために「Julia」は目をつけておくといいですよ。

現状、Pythonよりサポートは劣りますが
・計算の速さ
・簡単な構文
が強みです。

今後、扱うデータセットが大きくなるほど、注目される言語でしょう。
www.accenture.com/jp-ja/blogs/ja...

タグ：

posted at 09:29:27

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

ぶるー @blue_blue_57

Julia言語の勉強する

タグ：

posted at 10:41:11

#Julia言語

Jupyter notebookとPlutoは全然違っていて、互いに競合する道具ではないので、

　両方使う

が正解だと思います。 twitter.com/kinonotofu/sta...

タグ： Julia言語

posted at 13:14:34

#Julia言語

Pluto.jl
* 計算結果はノートブックに残らない
* あるセルの変更が別のセルに自動的に反映
* structの変更も可能

Jupyter
* 計算結果(プロットを含む)もノートブックに残る
* 全体の整合性は全て実行して確認
* Pythonが必要

タグ： Julia言語

posted at 13:25:25

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

eval parse @evalparse

I don't know how to put it into words but you "feel" more powerful when working with DataFrames.jl than R's data.frame/data.table or pandas.

The Julia type system is more flexible compared to R or pandas so you can be creative about how you structure your data.

#julialang

タグ： julialang

posted at 14:05:13

非公開

タグ：

posted at xx:xx:xx

#数楽 #Julia言語

±√t をプロットする代わりに、

±√t + √(π/2) / 2

をプロットするとよりよく一致するようになります。

twitter.com/kado_judo0312/...

タグ： Julia言語数楽

posted at 15:40:24

Julia日本語記事まとめ @julia_kizi

#Julia言語 Pluto.jl であるセル内の変数が他のセルに影響を与えなくなるようにするためには、そのセル内のコードを let end で囲むとよいです。(begin end で囲むのではなく、let end で囲むとローカル変数になってくれる。)

タグ： Julia言語

posted at 15:44:37

新しい記事がQiitaにアップされました！qiita.com/hidemotoNakada...👈

タグ：

posted at 16:14:30

hctaw_srp @hctaw_srp

Zennにザッと書いた

[Julia]Pluto.jlを導入してみた｜hctaw_srp zenn.dev/hctaw_srp/arti... #zenn

タグ： zenn

posted at 17:42:00

Fabian Becker @geekproject

safycol サフィコル @Lightning_13123

Might not look like much, but this is #JuliaLang running inside a #Ubuntu 20.04 #WSL2 with GPU sharing on #Windows and CUDA fully functional.

Took a while to get working but I couldn't be more excited. pic.twitter.com/YlNtvZNJu5

タグ： JuliaLang Ubuntu Windows WSL2

posted at 18:10:51

やばい、これで減点ってモンスターペアレンツしてもいいですかね？ pic.twitter.com/KOTDnDHVgw

タグ：

posted at 18:51:56

しぶてぃ @takuizum

Juliaユーザーのための開発合宿@online #3 を公開しました！#Julia言語 jldev.connpass.com/event/210793/?...

タグ： Julia言語

posted at 21:47:04

非公開

タグ：

posted at xx:xx:xx

#超算数中国では掛算の乗数、被乗数の区別が廃止されたという話、原文を発見courseware.eduwest.com/courseware/029...。6年制小学校2年生の教育目標に、次の注記がある。【
注①：例如3个5，可以写作3×5，也可以写作5×3。3×5读作3乘5，3和5都是乘数（也可以叫因数）。②：不给出“第一种分法”、“第二种分法”等名称。
】 pic.twitter.com/JIvauGAL17

タグ：超算数

posted at 22:05:11

#超算数この文書は『九年义务教育全日制小学数学教学大纲 (试用修订版)』と題され、人民教育出版社から2001年に出版されたらしい。この書籍によると、原版は2000年に出たようだbooks.google.co.jp/books?id=PrkXE...。そのときこの注記はなかったwww.daodoc.com/jiaoxue/shijua...。前回の大綱は92年。2001年版が最新か？

タグ：超算数

posted at 22:05:11

#超算数
注一。例えば3つの塊にそれぞれ5個のなにかがあることを、3×5と書いても5×3と書いてもよい。3×5は3かける5と読む。3と5はどちらも乗数または因数と呼ぶ。注二。等分除、包含除などの名称を使わない。

杜威さん、割算の方の改新は教えてくれなかったぞ。

タグ：超算数

posted at 22:05:12

#超算数私の記憶どおり。
国立教育政策研究所教育課程研究センター『算数・数学のカリキュラムの改善に関する研究: 諸外国の動向 (2)』「教科等の構成と開発に関する調査研究」研究成果報告書第23 東京、国立教育政策研究所、2005年。www.nier.go.jp/kiso/kyouka/PD...
10ページを画像で紹介。 pic.twitter.com/UEkd54YuH7

タグ：超算数

posted at 22:22:25

Soyukke @SoyukkeA

物性研のスパコンはjuliaでClusterManager使った計算しやすくなってそうな感じだ

タグ：

posted at 22:31:17

台風 @taifu21

@akira_horimoto 【「こいつホンマに分かってるか否か」をどうやって見抜くという】

twitter.com/genkuroki/stat...

こちらで引用されている伊藤宏先生の調査によると、
掛け算の順序によって「こいつホンマに分かってるか否か」を見抜くことはできないという事が示唆されています。

タグ：

posted at 22:32:11

じりおん @zillione

Pythonで880sくらいかかる計算が、Juliaならそのまま書き写して20s切れるので、Juliaは神

タグ：

posted at 23:15:55

JuliaCon 2023 @JuliaConOrg