黒木玄 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月17日(月)
先日もツイートしましたが、アメリカではまだ国内の感染者がゼロの段階で、ワクチンの試作品を完成させています。
（日本のアカデミアでは、予算申請時に記載していなかった研究は、つぎの予算獲得の機会（早くて次年度？）まで始められないことが多い）
twitter.com/ykfrs1217/stat...
5/6
タグ：
posted at 23:57:28
別に、感染症関連の界隈にお金を落とせと言いたいわけではないのです。生体へのRNA導入だって、もともとはワクチン開発とは関係なく研究されていたわけですし
4/6
タグ：
posted at 23:57:03
ワクチンによって効果には差が若干出てしまいましたが、特定の病原体や特定のモダリティを研究しているひとへの過度な"選択と集中"が起こらないといいなと思います。広い門戸に研究や開発のチャンスを…！
3/6
タグ：
posted at 23:56:45
（データが正しいとして）中国やロシアのワクチンだって本当にすごいし、称賛に値します（←何様）。日本ではこの図をみるに特に効果の高いRNAワクチンが導入されていますが、Novavaxのタンパクワクチンも効果が高く冷蔵保存でいいし、J&Jは1回接種でよく、しかも室温でも半日くらいなら大丈夫
2/6
タグ：
posted at 23:56:23
いろんなワクチンを比較した論文がでました。いろいろ興味深い。ただ、１年前には「2021年中に50%くらい効果のあるワクチンができたらラッキーだなぁ」と多くの専門家は考えてました。そしたら、まさかの超ラッキーが（多くの人のものすごい努力によって）起こったのです
www.nature.com/articles/s4159...
1/6 pic.twitter.com/4Kgdrr7wDT
タグ：
posted at 23:55:49
#Julia言語 Jupyter上でのWarningを抑制する方法
using Logging
disable_logging(Logging.Warn)
gist.github.com/genkuroki/5f2c... pic.twitter.com/Ru2S0kME7D
タグ： Julia言語
posted at 23:48:23
Hiromitsu Takagi @HiromitsuTakagi
予約のある人なのかはどうせ現場で目視確認するのだから、入力ミスによる予約であることはどうにか判断できそう（いや、確実に確認しないで進めちゃっていいだろう）か。こういうことが起き得るシステムだということは周知されていた方がよい。
twitter.com/takoratta/stat...
タグ：
posted at 23:15:12
Hiromitsu Takagi @HiromitsuTakagi
不正アクセス禁止法違反行為の場合は、新聞報道であろうとも事実確認のため他人のパスワードでログインした時点で罪を構成する（かつての遠隔操作事件での書類送検事案あり）が、電磁的記録不正作出供用罪の場合は、キャンセルしたならば、人の事務処理を誤らせる目的があったことにはならないだろう。
タグ：
posted at 23:08:07
#超算数 併置積の概念がない理由は、単項式同士の除法(58,9)、多項式同士の除法(64)、分数式(66)に相当する問題の記述法による。単項式、多項式などの用語は不存在。除法の表記は
a. 単一の割線による分数 か
b. ÷記号の両端が上のタイプの分数または括弧で括られている。
c. 分数内に÷記号なし。 pic.twitter.com/v2SkABENry
タグ： 超算数
posted at 23:06:19
#超算数 上垣さんの改革運動第3期は昭和15年頃までなので、次の資料は綜合数学の産物とはみなされないかもしれません。しかし戦前の中学数学の到達点として記録されるべき。
文部省編『中等数学 二』東京、文部省、1944年。dc.lib.hiroshima-u.ac.jp/text/metadata/...
乗号省略は数値による例示で導入(49)。併置積なし。 pic.twitter.com/QcZ1rMW5ID
タグ： 超算数
posted at 23:06:17
#超算数 綜合数学を冠する教科書の例。
林鶴一『新制綜合数学: 一学年用』3版 東京、東京開成館、1931年。dc.lib.hiroshima-u.ac.jp/text/metadata/...
乗号の省略は導入されるが(118)、省略によって表現される併置積の優先順位は明示的に定められていない。単項式同士の除法で「法則」によって仄めかされるだけ(139)。 pic.twitter.com/l05RdJUIvo
タグ： 超算数
posted at 23:06:15
#超算数 分科主義は19世紀欧米の数学教育の常識でした。日本の洋算受容も時代の影響が色濃い。20世紀初頭、欧米で数学教育改革運動が起きて、日本に波及。上垣渉さんの年代区分は旧制中学の数学についてで、そこでは第3期は昭和6年に中学校数学教授要目が20年ぶりに改正されたところから始まります。 twitter.com/tatsuvar/statu...
タグ： 超算数
posted at 23:06:14
Hiromitsu Takagi @HiromitsuTakagi
識別符号（アクセス管理者によってその内容をみだりに第三者に知らせてはならないものとされている符号≒パスワード）がないので、不正アクセス禁止法が禁ずる行為には当たらないが、虚偽内容で予約するのは、人の事務処理を誤らせる目的で行えば電磁的記録不正作出・供用罪。
twitter.com/yasushia/statu...
タグ：
posted at 23:05:37
Hiromitsu Takagi @HiromitsuTakagi
これはしょうがない。緊急時なのだし（情報漏洩が起きるわけでない限り）このままいくしかない。ただ、こういう事実があることは周知されていた方がよい。
dot.asahi.com/dot/2021051700...
タグ：
posted at 23:02:01
お、結構大きめのPRがJulia本体にマージされた😃: RFC: Some degree trigonometric functions, `sind`, `cosd`, `tand`, `asind` , `acosd`, `asecd`, `acsd`, `acotd`, `atand` accept a square matrix. by AtsushiSakai · Pull Request #39758 · JuliaLang/julia github.com/JuliaLang/juli...
タグ：
posted at 22:23:04
Check out "Climate models in 16bit: Arithmetic and algorithmic challenges"
presented by Milan Kloewer at JuliaCon 2020
www.youtube.com/watch?v=GiSsoA...
#JuliaLang #Coding #Opensource #climatechange
タグ： climatechange Coding JuliaLang Opensource
posted at 22:20:00
『Raspberry pi zero でradiko 』は、こんな感じです。。。
一応ステレオです。
100均のタッパーがケースです。。。^^;;; pic.twitter.com/S21WsoICel
タグ：
posted at 21:44:36
#超算数 【なんとクモワ使わないと比の問題が解けない先生だっているよという報告を受けました】twitter.com/shoyugi/status...っていうのも、世代間再生産の証拠かな。
タグ： 超算数
posted at 21:07:12
#Julia言語 「どの sin のコードを使うか」まで気を使う必要があることについては
github.com/JuliaSIMD/SLEE...
SLEEFPirates.jl
を参照。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 21:03:02
#超算数 前にも言った気がしますが、【「ハジキ使えば簡単だよー！家で教えてもらったもん！」って大声で言われると】twitter.com/FourleafOxalis...のように、今は、子供が家ではじきを教わることがあるです。世代間の再生産が！
タグ： 超算数
posted at 21:01:42
Control+Enter in #vscode while writing #JuliaLang has just changed my life. This sends the current line of code to the REPL and immediately executes it. pic.twitter.com/VzVqCXPKaA
posted at 20:54:55
非公開
タグ：
posted at xx:xx:xx
#Julia言語 のアイデアはLispから来ていたようです。
discourse.julialang.org/t/cas-benchmar...
【you could～write a macro to add type declarations to every subexpression, and then a good lisp implementation would generate fast code.】
【Maybe julia stands for “Jeff’s uncommon lisp is automated”?】
タグ： Julia言語
posted at 20:35:15
計算速度に関する #Julia言語 の現状についてはKarpinskiさんによる解説
discourse.julialang.org/t/in-as-few-li...
discourse.julialang.org/t/in-as-few-li...
を参照。以前のJuliaは「Cの半分から同じ程度の速さ」でしたが、最近ではCより速くなる場合が増えているとのこと。かなり速くなる場合もある。 pic.twitter.com/P8Ztva3VrQ
タグ： Julia言語
posted at 20:22:50
#Julia言語 その手のことに詳しくない科学者だと適切なコードを書くのは難しいかもしれません。
Juliaでは、完全なマクロを使用可能で、既存のコードを自動的に書き換えて実行することを容易にできるので、ユーザー側がマクロ一発で対処することが容易になります。
github.com/JuliaSIMD/Loop...
タグ： Julia言語
posted at 20:16:10
#Julia言語 JuliaであろうがCであろうがFortranであろうが、単純ループの並列化で sin を計算するときには、「どの sin のコードを使うか」まで気を配る必要があります。
fortran-lang.discourse.group/t/simple-summa...
タグ： Julia言語
posted at 20:16:09
#Julia言語 やっている計算は「sin の整数値 1～N での値の和」です。単純にループを回す計算なのですが、gfortranでJuliaにスピード競争で勝つのは非常に大変です。
その手の単純な計算では LoopVectorization.jl @ avxt マクロが超強力。
discourse.julialang.org/t/julia-gets-m...
タグ： Julia言語
posted at 19:49:23
#Julia言語
discourse.julialang.org/t/julia-gets-m...
「Fortranより速いJuliaのコードを誰か持っているか？」とJuliaのコミュニティで発言
↓
discourse.julialang.org/t/julia-gets-m...
「(gfortranによる)単純和はJuliaより8倍遅い」がFortranコミュニティで話題
という流れ
おそらく #Julia言語 はこれからもっと速くなります。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 19:19:37
@Hoguchi373 @Mihoko_Nojiri 続き。その結果、Fortranコミュニティにおいて
discourse.julialang.org/t/julia-gets-m...
(gfortranによる)単純和はJuliaより8倍遅い
という事実が話題になることになりました‼️(笑)
おそらく #Julia言語 はこれからもっと速くなります。
タグ： Julia言語
posted at 19:13:32
@Hoguchi373 @Mihoko_Nojiri そのFortranの記事に登場するCertikさんは #Julia言語 のコミュニティの discourse.julialang.org/t/julia-gets-m... にも登場していて、
discourse.julialang.org/t/julia-gets-m...
誰かFortranより速いJuliaのコードまたはベンチマークを持ってないか？
と言いました(笑)。続く
タグ： Julia言語
posted at 19:13:06
@Presence_fTVA @shoyugi @sekibunnteisuu @athteacherm 場所が変われば、順番なんて容易に入れ替わるんですが。
twitter.com/genkuroki/stat...
タグ：
posted at 17:40:51
今朝は「ちゃんと理解したいと思うんだけど、『自分がちゃんと理解しているかどうか』は、どうやって確かめたら良いの？」と、エラく核心的な問いを投げられ、眠かったので宿題にしてもらうなど
タグ：
posted at 15:02:47
「Juliaで精度保証付き数値計算」更新しました。
Newton-Kantorovich型定理
taklab-blog.blogspot.com/2021/01/rigoro...
非線形問題の精度保証付き数値計算に対する強力な方法である。Newton-Kantorovichの定理を計算機援用証明で使いやすくした方法。無限次元にそのまま適用可能な点が特長です。
タグ：
posted at 14:56:59
#Julia言語 何度見直しても、ほぼ行単位で対応関係があって、極めて似ているように見える。
gist.github.com/hyuki/cbbd4f2c... と gist.github.com/genkuroki/fd80... のIn[1]の比較。
Juliaの仕様はシンプルなので細部まで理解することが、Javaよりも圧倒的に易しくなる。(class, public, staticなどを知らなくてよい) pic.twitter.com/DPdVfDPHka
タグ： Julia言語
posted at 14:20:39
@genkuroki 解決しました．
すみません，linestyle = :dash
をどういうわけか，linestyle = [:dash] にしてました．
タグ：
posted at 14:13:57
@physics303 #Julia言語 できれば、警告だけではなく、警告を再現するコードも見たかったのですが、仮に添付画像のようなことをやっているなら、明らかにおかしなコードを書いていることになるので、他人に見せる可能性があるならば直しておきます。 pic.twitter.com/IvtZzJ2hAx
タグ： Julia言語
posted at 14:09:49
非公開
タグ：
posted at xx:xx:xx
Julia 1.6 で plots したらなんかWarningでまくってる．出力画像をみたところ，何も異常はなさそう（意図通りに動いている）．
Warningって無視していいのだろうか． pic.twitter.com/4TD51iEJkt
タグ：
posted at 13:37:42
@physics303 計算速度が問題にならない場合は私も A=[] してpush!しまくっています！
使わずに済ませたいのは添付画像①のケース。
文字列の配列中の"NA"をmissingにそれ以外をFloat64の値に変換したい場合。
添付画像④のように書けばfor文を消せます。個人的にはこの④が便利だと思います。ドット構文が神。 pic.twitter.com/YGD7lIKc0j
タグ：
posted at 12:30:07
ごまふあざらし(GomahuAzaras @MathSorcerer
Mac ユーザーが GR バックエンドで
using Plots; plot(...) するたびに警告が出る人向け
discourse.julialang.org/t/why-does-plo...
GR を 0.55.0 に戻すか
ENV["JULIA_GR_PROVIDER"] = "GR"
を設定した後で
pkg> build GR
をする．
#JuliaLang #Julia言語
posted at 11:36:42
sys_plots.soが何者なのかよくわかってないが，どうやらjuliaのplotsが大幅に高速化するっぽい．
julia > create_sysimage(:Plots,sysimage_path="sys_plots.so")
でホームディレクトリに sys_plots.so をつくって，julia実行時に--sysimage=~/sys_plots.soってflagつければよいっぽい？
タグ：
posted at 11:25:59
MT(TRUE COLORS Japan @Mocherin
大きさわかる様に横に普通サイズとOSワンを並べてみました pic.twitter.com/lxSXsNvpRO
タグ：
posted at 11:21:12
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#Julia言語 訂正版：うざいnothingを消した。
その代わりにフィールド値が初期化されていないNode型オブジェクトのコンストラクタを使うようにした。
フィールド値が初期化されていないオブジェクトの取り扱いは要注意。
gist.github.com/genkuroki/fd80... pic.twitter.com/ezKnqryX9G
タグ： Julia言語
posted at 10:46:52
⇔記号の使用を禁止をせずに、
A ⇔ B
⇔ C
⇔ D
⇔ E
の形式でギャップのある証明を書いたら(大抵ひどいギャップがある)、ギャップを指摘して何度でも潰し続けるという考え方もある。
潰されたくなければスタイルを変えざるを得なくなる。
これ、実際にやるとものすごく嫌われる(笑)
タグ：
posted at 08:08:31
#数楽 「条件Xを仮定する」とか「正の実数εを任意に取る」のように最初に書く普通の証明を書かずに、
A ⇔ B
⇔ C
⇔ D
⇔ E
のように⇔記号を文の等号のように使って書かれた「証明」は証明になっていないことが実に多い。
「D⇒Cは自明なんですか」のようにと聞くと潰れることが多い。 twitter.com/genkuroki/stat...
タグ： 数楽
posted at 07:59:20
水波ユキノ@skeb依頼受付中だいたい絵 @minami_suiha
夜勤専業だから朝までにキリのいいところまで学習進めていきたい。
たぶん、Julia言語のデータフレーム周りの学習をpandasで普段やってるのと同じくらいは出来るようにまでには持っていきたい。
タグ：
posted at 00:38:00
水波ユキノ@skeb依頼受付中だいたい絵 @minami_suiha
とりあえず、日曜日分の学習での一番の成果がコレ。
#MySQL に #Julia言語 から #SQL を使って問い合わせ。
Julia言語上ではデータフレームにまで持ってこれたから、ひとまずは今後なんとかなりそう。
データの集計で、PythonやR言語以外にも選択は増やしたい pic.twitter.com/RwgabSbf9t
posted at 00:36:19
#Julia言語 続き。モジュールBで定義されたList型に、モジュールAで定義されたメソッドをそのまま適用してみたら、パフォーマンスの大きな改善が確認されて、モジュールBの作者は満足した。
以上もストーリーに合致するコードが gist.github.com/genkuroki/fd80... のIn[5]以降にあります。
タグ： Julia言語
posted at 00:26:10
定期考査の勉強の合間に「数字であそぼ」を読んでた娘が、「暗記に頼るとエラいことになるからちゃんと理解したいので、今日のところは寝る」と意味不明の供述をしており
タグ：
posted at 00:22:39
水波ユキノ@skeb依頼受付中だいたい絵 @minami_suiha
MySQLにJulia言語から問い合わせる方法
juliadatabases.org/MySQL.jl/dev/
タグ：
posted at 00:14:26
#Julia言語 その辺の理由には、名前空間を区切るために使われるモジュールが関係しています。Juliaでのパッケージはモジュールとして配布されます。
Juliaでは、他人が作ったモジュール内で定義されている型やメソッドを、自分のモジュール内で利用することを非常に気楽にできます。 twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 00:07:41
