黒木玄 Gen Kuroki(@genkuroki)/2021年04月07日

急に寒くなった。体調崩さないように気をつけねば！

タグ：

posted at 00:00:26

天むす名古屋 Temmus @temmusu_n

#Julia言語

Julia関係のツイートの検索でいつも楽しみにしているのは、英語でも日本語でもない発言。

数学の話題よりもJulia言語の話題の方が英語以外での発言が見つかり易いような気がする。

タグ： Julia言語

posted at 00:02:54

ぬまち　#疑わしきはバツせず @numachi11111

@sekibunnteisuu #超算数これどの教科書でも見られる変化なら、文科省の介入があったのかもしれませんね。長方形の縦横、横縦併記と似ているかも。

タグ：超算数

posted at 00:12:26

@temmusu_n @sekibunnteisuu 高校生の聞き取りによると、年々「…」を使わない指導が増えている気がします。ただ、自分の観測する範囲では、まだ「…」が若干押しているようですが。

タグ：

posted at 00:20:03

Massimo @Rainmaker1973

A brilliant proof without words that (n³ - 1) is always a multiple of (n - 1) [source, animation by Roy Wright in @geogebra: buff.ly/2ryHiU8] pic.twitter.com/VOsTq5Kekc

タグ：

posted at 00:30:35

Matt_B @MattBraccini

ごまふあざらし(GomahuAzaras @MathSorcerer

Impossible bridge 👁️. pic.twitter.com/PFPMSUHNq4

タグ：

posted at 02:08:57

Documenter.jl が Python をサポートすれば私は幸せなんだけれど

タグ：

posted at 02:31:53

JuliaHub @JuliaHub_Inc

Los Alamos Scientists Use Julia for SmartTensors AI Platform: SmartTensors is a new AI tool developed by Los Alamos researchers to make vast data streams intelligible and explainable. www.lanl.gov/discover/news-...
#julialang #AI #ML #DataScience pic.twitter.com/nKfAM7OqDD

タグ： AI DataScience julialang ML

posted at 02:54:32

Diego Javier Zea @diegojavierzea

Awaiting for PlutoCon 2021 at the end of this week. Do not miss it; @PlutoJL bring reactive programming to #JuliaLang, and it is simply awesome!
plutojl.org/plutocon2021 pic.twitter.com/CeF39SWPqq

タグ： JuliaLang

posted at 03:43:05

#Julia言語よく見るダメな❌とその訂正例⭕️

❌配列が1からはじまる言語は使えない。

⭕️配列が1からはじまる言語は自分のような頭が硬くて無能な人間には使えない。

⭕️配列に概念を抽象化できていれば0始まるでも1始まりでも困らない。

タグ： Julia言語

posted at 04:07:43

続き

❌配列が1からはじまる言語では、配列を切り出したりn個ごとに処理したりするたびにおかしなことになる。

⭕️自分は抽象化の能力が低いので、配列が1からはじまる言語だと、配列を切り出したりn個ごとに処理したりするたびにおかしなことになる。

⭕️普通はそうならない。

タグ：

posted at 04:07:43

Fortranも #Julia言語も配列のインデックスの始まりを自由に選べます。単にデフォルトが1始まりになっているだけ。

Juliaでは、何始まりなのか不明の1次元配列Aの最初の成分にはA[begin]でアクセスでき、そこからi個先の成分にはA[begin+i]でアクセスできます。

github.com/JuliaArrays/Of... pic.twitter.com/uLvp77D5SN

タグ： Julia言語

posted at 04:07:45

#Julia言語 0始まりインデックスのA[i]には、JuliaのA[begin+i]が対応していると了解していれば、「書き直し」でバグが発生する可能性を減らせると思います。

JuliaやFortranは任意始まりインデックスの配列をサポートしており、他言語もそれにならって欲しいと私は思います。そういう抽象化は重要。

タグ： Julia言語

posted at 04:07:46

「0始まりインデックスでないとまともに動くコードを書けない」のようなことを言う人が多いのを見ていると、自分自身がひどく無能でダメだと評価されるようなことを堂々と言えるのはどうしてだろうかと私は思います。

タグ：

posted at 04:12:53

同様のことが「静的型付け言語でないとダメだ」的な発言についても「これはひどいな」と感じる。

多分、そういう攻撃的なことを言っても、自分自身は傷付かずに済むと思っている。

もっと穏健にトレードオフで考えて発言した方が良いといつも思う。

タグ：

posted at 04:12:53

「クラスがないとダメだ」の類も同類。

タグ：

posted at 04:17:42

まとめ：以下の3つは攻撃的な態度で語られることが多い馬鹿な発言の典型例。

❌配列が1始まりインデックスなのはダメだ。
❌静的型付け言語でないとダメだ。
❌クラスベースのオブジェクト指向をサポートしていないとダメだ。

#Julia言語は大三元！(笑)

タグ： Julia言語

posted at 04:22:35

Ben Bartlett @bencbartlett

here’s a particle in a fidget spinner potential, because why the fuck not pic.twitter.com/gUNpiH5pmg

タグ：

posted at 05:04:57

どういう意味で「優等生」と言っているのか分からないけど、

　私は教える対象の生徒の理解度に関わらず、指導法に興味があるな。

　勿論私自身の能力の限界はあって、一流数学者にフィールズ賞受できるように教えるのは不可能だけど、 twitter.com/ShinShinohara/...

タグ：

posted at 06:36:47

@numachi11111 @temmusu_n 介入があったとしたら、文科省と言うよりは、筑波大学付属小算数研究部や日本数学教育学会の重鎮の可能性が高いでしょう。

で、彼らの声が指導要領or解説に反映して「文科省様もこうおっしゃっている」とお墨付きを得るみたいな、形式的には「文科省の介入」みたくなっているとか

タグ：

posted at 06:40:29

Ben Bartlett @bencbartlett

天むす名古屋 Temmus @temmusu_n

@matthen2 The notebook contains some images and markers so the code isn't directly reproducible, but here's a link to the notebook: www.dropbox.com/s/0e2s7wkwvb2t...

タグ：

posted at 07:07:22

@sekibunnteisuu @numachi11111 文科省が教科書記述に影響を与えるルートには、教科書検定についてのレクという一般人には不可視の方法もあります。これだと、省内で変更したのか、専門家や政治家から要求されたのかさえわかりません。クレッシェンドは❌もtwitter.com/Z0N1Qn7Bup9f3b...、新旧指導要領解説に根拠がない話(ツイ主の錯誤?)。

タグ：

posted at 07:47:28

twitter.com/ShinShinohara/...

　生徒の理解度がどうであれ、生徒の理解を深めるにはどう教えればいいのかいろいろ考えて実践するのは楽しいと思うけど、この人はそう思わないのかな？

タグ：

posted at 14:08:31

私の場合、教えにくいタイプ、もっとはっきり言うと教えたくないタイプと言うのはあるけど、それは理解度云々とは別。

　やる気のない生徒は教えたくない。やる気を出させるのがうまい人もいるのだろうけど、私はそういうのはできない。

タグ：

posted at 14:09:23

あと、公式や解法を覚えるのが算数・数学だと思っていて、こちらが何度言い聞かせても、そのような学習姿勢を変えない生徒は教えたくない。

　これは、公式・解法暗記で来たがゆえに苦手になった場合も、公式・解法暗記で進学校の理数系まで上り詰めて、難関大学を目指している場合もある。

タグ：

posted at 14:11:46

清　史弘 @f_sei

気持ちはわかる。
だから、最初に生徒にインプットする人って大切なんだと思う。
特に小学校の先生。 twitter.com/sekibunnteisuu...

タグ：

posted at 14:16:19

k @musicisthebest_

電動車椅子を4人でかついで階段を下ろす、というのがそもそもベストの対応だったのかな。安全性の面で問題が大きいんじゃないかしら。

タグ：

posted at 14:26:24

#Julia言語 PyCall.jlが全く使えないということなのかな？私も最初ハマった。juliaが別に入れてくれるPythonを使う場合には、

julia> ENV["PYTHON"] = ""
julia> ]
pkg> add PyCall
pkg> build PyCall
julia> using PyCall
julia> PyCall.python
PyCallで使用するpythonが表示される

で行ける。続く twitter.com/coffee_cpa/sta...

タグ： Julia言語

posted at 14:54:48

#Julia言語 juliaが別に入れてくれるpythonではなく、すでにパソコンに入っているpythonを使いたい場合には、上のENVの設定行を

julia> ENV["PYTHON"] = raw"使用するpythonバイナリのフルパス"

に変える。

github.com/JuliaPy/PyCall... pic.twitter.com/WSxI9Y7LBE

タグ： Julia言語

posted at 14:58:13

#Julia言語すでにPyCall.jlが正常に使えているが、特定のPythonライブラリが使用できない場合には

(1) minimal non-working example を示す。何をどうしようとして失敗したかが、コピー&ペーストで再現できるコードを示す。

(2) Juliaのパッケージ利用で簡単に済ませられる可能性も考える。

タグ： Julia言語

posted at 15:01:27

sekkai @sekkai

選択的夫婦別姓に賛成し自民党から除名になってしまった梅野議員を私は支持します。 twitter.com/umegumi0414/st...

タグ：

posted at 15:05:16

#Julia言語 Julia側の事情(パッケージ管理など)はすっきりしているのですが、Python側の事情は複雑なのでそれが原因で面倒なことになる場合が結構あります。

しかしそこを突破できれば、PythonとJulia双方のおいしい所を利用できるようになって便利です。雑事はPythonが便利。計算はJuliaが便利。

タグ： Julia言語

posted at 15:05:34

@genkuroki ありがとうございます！神が現れたような気分です！帰ってから試します。

以前アナコンダ3でPython使っていて、最近Juliaをインストールしました。今日本に従ってPyCallを入れようとしたら、using PyCallを実行したエラーが出てしまい悩んでいました。。。

タグ：

posted at 15:10:08

地下猫 @tikani_nemuru_M

個人情報保護を個々人に委ねることは、個人を尊重するようにみえて実は合理的な判断からとおざける。セカンドベストとしての政府規制が必要、という話。 / “SNSがトランプ危機を引き起こしたカラクリ（東洋経済オンライン） - Yahoo!ニュース” htn.to/i5hWae6oJy

タグ：

posted at 15:12:27

ローレンス・レッシグたん twitter.com/tikani_nemuru_...

タグ：

posted at 15:16:21

@genkuroki ということは自分の場合はすでにパソコンにあるPythonを使うケースになるのか。。。早く家で試したい。

タグ：

posted at 15:21:03

#Julia言語 Pythonとの連携関連でハマりまくった闘いの記録が

nbviewer.jupyter.org/github/genkuro...

にあります。ちょっと情報が古くなっていますが、これ↑には本当に色々書いてある。

以前の私はWindowsでAnaconda3を使っており、添付画像の赤線の囲いの内側の設定で build PyCall していました。 twitter.com/coffee_cpa/sta... pic.twitter.com/wtliueEtiZ

タグ： Julia言語

posted at 15:27:21

@genkuroki 同じアナコンダ3でwindowsです！ありがとうございます！！！

タグ：

posted at 15:31:48

#Julia言語ではリストではなく、配列なのですが、Juliaの配列へのpush!はクソ速いです。

遅くなった場合にはどこかで失敗している可能性が高い。
cf. docs.julialang.org/en/v1/manual/p...

コピペで実行できるminimal working exampleを示せば解決する問題かもしれません。 twitter.com/ai_ningyo/stat...

タグ： Julia言語

posted at 15:40:12

#Julia言語

Juliaは実行時に即時コンパイルする仕組みなので、1秒未満で実行が終了するような事について

$ time julia foo.jl

で実行時間を計測すると、ひどく誤解する可能性が高い。

私の場合には julia foo.jl で実行することは稀です。(shell scriptの代わりに使っている場合は例外的。)

タグ： Julia言語

posted at 15:46:00

#Julia言語 Plots.jl の gr() バックエンド使用時(もしくはGR.jlを直接使用時)に、プロットのディスプレイを抑制したければ、

using Plots
ENV[“GKSwstype”] = “nul”
plot(sin)
savefig("sin.png")

のようにすればよいらしい。これを知らないとアニメーション作成で困る。

discourse.julialang.org/t/deactivate-p...

タグ： Julia言語

posted at 16:30:31

#Julia言語 Plots.jl gr()での @ animate マクロで動画を作成する Julia script を書くときに、

ENV[“GKSwstype”] = “nul”

を忘れると、動画の各フレームごとのプロットのディスプレイの遅延が発生し、動画作成が非常に遅くなるので注意。

Jupyter notebookならこの問題は発生しない。

タグ： Julia言語

posted at 16:33:56

#Julia言語 include("foo.jl") はパッケージ内のファイルでしかほぼ行わない。

Juliaでは自分専用パッケージを簡単に作れる。

pkg> generate Foo
pkg> dev ./Foo
julia> using Revise
Foo/src/Foo.jl を編集

これだけ。Foo.jlを分割したいときに、includeを使う。

using Foo で使えると便利。

タグ： Julia言語

posted at 17:22:52

#Julia言語パッケージ化しておくと、precompile も自動的にされるようになる。

julia foo.jl スタイルで実行したい場合にも、foo.jl 内のコードの分量が増えた場合にはパッケージ化して、foo.jl の中で using Foo すればよいと思う。

Juliaなら誰でも「開発者側」になれる。

タグ： Julia言語

posted at 17:26:37

#Julia言語 pkg> generate Foo とすると、deprecatedだからPkgTemplates.jlを使ってねと警告が出るようにしている人は言われる。

自分専用のパッケージなら気にしなくても大丈夫。

タグ： Julia言語

posted at 17:33:49

#Julia言語

julia> ;
shell> cd ～ # 適切な場所に移動
julia> ]
pkg> generate Foo
pkg> dev ./Foo
pkg> st
julia> using Revise
julia> using Foo
julia> Foo.greet()
Foo/src/Foo.jl を任意のエディタで編集すると自動的に反映

この流れなら本当に誰でも自分専用パッケージ開発者になれる。

タグ： Julia言語

posted at 17:38:46

#Julia言語私も自分専用のパッケージに色々突っ込んで使っています。「これは後でまた使うかもしれない」と思ったら、

MyUtils.jl/src/atodetsukaukamo.jl

にコードをコピペして、

MyUtils.jl/src/MyUtils.jl

に

include("atodetsukaukamo.jl")

を追加しておく。

タグ： Julia言語

posted at 17:43:31

Yuki Nagai @cometscome_phys

自分の記憶が失われてることが多いのでまとまってるのは便利。

cometscome.github.io/DFT/build/

タグ：

posted at 18:06:57

#JuliaLang

pkg> add primecount_jll
julia> using primecount_jll
julia> @ time run(`$(primecount()) 1e14`);
3204941750802
0.175799 seconds (...12.10% compilation time)
julia> @ time run(`$(primecount()) 1e15`);
29844570422669
0.551256 seconds (...)

discourse.julialang.org/t/number-of-pr... pic.twitter.com/K7M4q2u8vZ

タグ： JuliaLang

posted at 18:08:47

#JuliaLang

Stefan Karpinski said, "We install all the things for you"

twitter.com/StefanKarpinsk... pic.twitter.com/8qMKG2JEc9

タグ： JuliaLang

posted at 18:11:34

dif_engine @dif_engine

ROS3ではC++/pythonの代わりにRust/julia になる？

タグ：

posted at 18:26:56

Yuki Kamitani @ykamit

@tak_yamm うちの授業とリンクできるといいですね。授業は今年はpythonですが、ラボではjuliaを推奨しています

タグ：

posted at 19:03:51

あんどろいど@ @android_IGO

@PAJW9mu8zBOpV9N ならべてみました、でも役に立つのだろうか。
#囲碁問題
 hikarunogo.starfree.jp/goban/jerrygo0...

タグ：囲碁問題

posted at 20:21:02

はこ @Hako_matsu

RustとJuliaやらなくては

タグ：

posted at 20:56:03

トイレ、カウンター @egpl0

コンパイルなしでの型付きJuliaをスクリプト言語として用いる？

タグ：

posted at 21:14:54

#算数・数学指導

新小6に方程式の指導をした。

5+x＝8
3x＝5

などはクリア。

（3/7)x＝8/9　で苦労しているので、

「xに具体的数値をどんどん入れて、あてはまるのを求めて。」と言った。

でやり始めてほどなく正解できたのだが、やり方が面白かった。

タグ：算数

posted at 21:26:09

（3/7)x＝8/9
（27/63)x＝56/63
27x＝56
x＝56/27

やり方を教えないで考えてもらうと、時々こういう面白い解き方を見ることができる。

タグ：

posted at 21:29:00

教えている小学生の親御さんから英語の相談を受けた。学校の授業で苦手意識を持ってしまったという。
で、学校で使っている教材を見せてもらった。

　5年生なのに、What can he do well ? などと言うのをやっている。このdoは本動詞。Do you ~？のdoは助動詞。文法的には異なるもの。

タグ：

posted at 21:34:00

他にも、命令形でBe~とかも出てくる。

＞5年生なのに

これは、5年生の教材なのに、と言う意味。6年生の生徒が昨年度使っていた教材と言うこと。

タグ：

posted at 21:36:36

で、これ、子供が文法的にちゃんと理解しているとは考えにくい。

「What can he do well ? 」で「彼は何が上手にできますか？」と覚えるのだと思う。

タグ：

posted at 21:37:57

その生徒が言うには「よく分からないうちに授業が進んでしまう」という。

数学を教えているが、決して理解力のない生徒ではない。
twitter.com/sekibunnteisuu...

タグ：

posted at 21:39:46

@genkuroki できたぁ！黒木玄さんが神過ぎて泣いた。というかめちゃ凄い人やったｗ
Juliaのワードで拾ってくれたのだろうか…Twitter凄すぎる、奇跡！
本当にありがとうございます！

タグ：

posted at 21:41:19

教材見ると、自己紹介や買い物、道案内、などで、それで文法的に難しいのも出てくるのだと思うが、甚だ疑問。

小学校で英語教えるようになってから、英語力が伸びたのかどうか、ちゃんと検証されているのかな？

タグ：

posted at 21:42:45

中学校の英語にその傾向があることは知っていたけど、小学校の英語に関しては迂闊にもチェックしていなかった。

　ということで、敢えて学校の教え方とは異なる、

昔ながらの、文法をちゃんと教えるという方向で検討している。

タグ：

posted at 21:46:17

未来たん️ @himitunomirai

youtu.be/nqjkgsRD7Sw

最新曲が最高傑作です。
ぜひ聴いてみて下さい😊
あと、金曜日のMステに出演します❣️

タグ：

posted at 21:47:32

This is a pen. なんてそりゃ言わないだろう。

でも、日本語と異なる英語の文法を学ぶにはそういう非現実的なのを扱うのはありだと思う。

タグ：

posted at 21:48:10

Yuki Nagai @cometscome_phys

やっとJuliaのpmapみたいに何も考えずにMPIとopenmpのハイブリッド並列化できるFortranコードができた。

タグ：

posted at 21:52:19

l_ppp @ppp3141592ppp

Cライブラリをサクッと #Julia言語のjllにしてpkgに登録しといたよ
な話しか

サクッと感が凄い twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 22:27:43

最多情報局 @tyomateee

トルコの店前の階段で毎日のように同じポーズを取っていた猫、亡くなった後同じ場所に記念碑が建てられ話題に pic.twitter.com/xog1zXLQAr

タグ：

posted at 22:30:41

Moritz Schauer @MoritzSchauer

PS: Package announcement on the #julialang discourse forum:
discourse.julialang.org/t/ann-zigzagbo...

タグ： julialang

posted at 22:57:26

USHIHARA @H_USHIHARA

数値が1つと, 数値の入った配列が与えられたときに, 最も近い配列の要素を選び出す, という問題を考えたいのですけれど, そういうことができるパッケージとかありますかね?
#julialang

タグ： julialang

posted at 23:02:42

USHIHARA @H_USHIHARA

twitter.com/H_USHIHARA/sta...

タグ：

posted at 23:04:18

Moritz Schauer @MoritzSchauer

斉藤ひでみ・現職教師（西村祐二） @kimamanigo0815

PPS: I am not entirely convinced of myself, but I made something like an educational game as "promo material" (mis-)using the fantastic @MakiePlots github.com/mschauer/ZigZa... pic.twitter.com/efWJmTI2RF

タグ：

posted at 23:27:17