黒木玄 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月14日(月)
#julialang developers, please make sure to take the StackOverflow survey today! I agree with @nassarhuda that #julialang feels under represented in the SO survey. twitter.com/nassarhuda/sta...
タグ： julialang
posted at 23:54:16
Interested in how I created the Sudoku video with #Javis in #julialang ?
Get notified about the post using my @buttondown subscription list:
buttondown.email/OpenSourcES
posted at 23:42:05
@jnakano @physics303 #Julia言語 ソースコードが全部公開されているので、デフォルトの動作が気に入らないときに、速攻で何とかしたければ、一時的に関連の函数を上書きして使えばよい。😉
タグ： Julia言語
posted at 23:38:31
@jnakano @physics303 #Julia言語 コンパクト表示の桁数を変えるためには、Base.Ryu.writeshortest 函数のハードコーディングされている部分を上書きする必要があるようです。
詳しくは以下のリンク先を見て下さい。
nbviewer.jupyter.org/github/genkuro...
結構大変！
ちょっとした作業用にはBase. showの上書きで十分だと思います。
タグ： Julia言語
posted at 23:34:02
@jnakano @physics303 #Julia言語 IJuliaで常にコンパクト表示にするには、
@ eval IJulia InlineIOContext(io, KVs::Pair...) = IOContext(
io,
:limit=>true, :color=>true, :jupyter=>true,
:compact=>true,
KVs...
)
とする手が使えます。
nbviewer.jupyter.org/github/genkuro...
続く pic.twitter.com/NOe4YPMja3
タグ： Julia言語
posted at 23:31:04
@jnakano @physics303 #Julia言語 現時点では、REPLでもIJuliaでも、Base. showを直接いじるダーティハックが最も易しいと思います。
REPLで常にコンパクト表示したければ添付画像の方法があります。
docs.julialang.org/en/v1/stdlib/R...
続く pic.twitter.com/pERivBispU
タグ： Julia言語
posted at 23:27:55
juliaのデバッグなどでstructの再定義が必要になった場合って（invalid redefinition of .......）
名前変えて再定義したくなかったらrepl再起動しか無いのか。
デバッグ時にここで地味に時間食われるので一発リセット機能がほしい
タグ：
posted at 22:54:37
#Julialang users and developers are invited to complete the annual Julia User & #Developer #Survey. Make your voice heard and be counted as part of the Julia community. Survey is available in English, Chinese, Japanese and Spanish. Click here to respond form.jotform.com/211432977821458 pic.twitter.com/FhA9B7NDtr
タグ： Developer Julialang Survey
posted at 22:07:03
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
#Julia言語 (#julialang ) の使用者アンケートが始まりました。↓から日本語もあります。結果はJuliaCon 2021 で発表されるのでぜひ。
form.jotform.com/21143297782145...
#RT希望 twitter.com/juliainclusive...
posted at 22:06:19
@physics303 IPythonだと%precisionですけど、IJuliaにもありそう？ github.com/JuliaLang/IJul...
タグ：
posted at 21:50:22
Charles Gaba isn't p @charles_gaba
TEXAS. I don't know what Presidio County is doing right, but they're kicking ass. King County? Not so much. pic.twitter.com/26hgUI7mSB
タグ：
posted at 21:40:50
#JuliaLang
github.com/JuliaLang/juli...
implement replace on String for multiple patterns #40484
Merged
JeffBezanson merged 3 commits into master from jn/multireplacer 7 days ago pic.twitter.com/hw7zwx5kW8
タグ： JuliaLang
posted at 21:20:56
Hideki Kawahara: WAS @hidekikawahara
正確かどうか以前、どう定義すべきかが問題です。また、定義できたとしても、どのような場合にfoという概念を音声信号に用いるのが妥当なのか、妥当でない場合に、どのような概念を用いるべきか、まだ試行（思考）錯誤を続けています。 twitter.com/akinori_ito/st...
タグ：
posted at 21:19:31
Charles Gaba isn't p @charles_gaba
Michigan (with the counties by size overlaid on top): pic.twitter.com/DX0RdWLPWk
タグ：
posted at 21:18:13
特徴量抽出アルゴリズムが違えば概念的に同じ量でも計算された値が違うことはよくある．ソフトウェアで抽出した値が真の値の推定値であることは理解して使わなければならない
タグ：
posted at 21:12:15
Just seen in a talk... Working code of the predator-prey model with emojis (in Julia). With cats (and mice) too. diffeq.sciml.ai/stable/analysi...
[\ht @MoseGiordano] pic.twitter.com/4rplaoom5M
タグ：
posted at 21:08:27
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
これらは現在では科学的に証明された事実だが，従来の常識から大きく乖離したものであるがゆえに，
一般の人々のみならず専門家の間でも十分に理解が共有されているとはいいがたい
現在福島県で起こっている事象はがん診療の転換期に起こった子供のがんの大規模な過剰診断として医学の歴史に残るものだ
タグ：
posted at 18:44:15
それが最初にわかったのは韓国で甲状腺がん検診の普及によって発生した成人の大規模な過剰診断である (Ahn et al., 2014)
「転移していても治療してはいけないがんが存在する」
「無症状な対象者に対する甲状腺超音波 スクリーニングは有害である」
タグ：
posted at 18:44:15
福島の甲状腺がんの過剰診断―なぜ発生し,なぜ拡大したか
日本リスク研究学会誌 28(2): 67–76 (2019)
甲状腺がんは予後が良く，かつ甲状腺超音波検査は高精度であるがゆえに無害ながんの検出率が高 く，その弊害も大きい(USPSTF, 2017)
タグ：
posted at 18:44:15
@sekibunnteisuu 去年、T進のオンライン無料講座があって、しばらく受けていたのですが、途中からパターンマッチングが酷くなってきて、ついには「たてるかけひくおろす」の歌が出てきた時に子どもが「意味わからん」と言ったので辞めました。
タグ：
posted at 18:18:21
【ウイグルで何が】中国政府によるイスラム教徒の大量拘束を調査した一連の報道で、BuzzFeed Newsがピュリッツァー賞を受賞しました。
www.buzzfeed.com/jp/meghara/chi...
衛生画像の分析の結果、収容施設拡大の実態が明らかになりました。これまで100万人以上が拘束されたと見られています。 pic.twitter.com/XTKWEaP4tp
タグ：
posted at 18:15:03
Ugh... I have really started hating "login with your preferred account" sites offering Google, Facebook, Twitter etc. There are like dozens of them now, and I forget which account I used. When you forget you accidentally create a new account.
タグ：
posted at 17:22:20
#超算数
「たてる かける ひく おろす」で検索すると
ハジキ、ミハジに勝るとも劣らぬ地獄絵図を見ることができます。
twitter.com/search?q=%E3%8...
タグ： 超算数
posted at 16:14:03
@oubamaisen 学校だとおそらく
①たてる
②かける
③ひく
④おろす
とやるのでしょうが、上記のような経験を一度積んでいれば、これらは丸暗記すべき手順ではなく「当然こうすべき手順」となるかと思います。
タグ：
posted at 16:02:50
#Julia言語 人間による型の記述自体がものすごく高ストレスなので可能な限りコンピュータに任せたい。
型の伝搬についても、@ code_typed や @ code_warntype を使えば自分で考えなくても、Juliaが教えてくれる。
さらにこういう試みもある！
↓
github.com/aviatesk/JET.jl
タグ： Julia言語
posted at 14:57:35
#Julia言語
function half(x::T)::float(T) where T<:Integer
x/2
end
のように整数xに対して対応する浮動小数点数型のx/2を返す函数を記述できます。しかし、Int型引数xに対するhalf(1)のコンパイル結果は
half(x::Real)::Real = x/2
や
half(x) = x/2
と同じになります。 pic.twitter.com/WgfNUtDOUM
タグ： Julia言語
posted at 14:50:55
#Julia言語 別の例
half(x::Real)::Real = x/2
このとき、Intの1に対して half(1) はFloat64の0.5を返します。
型名のRealの記述を見ても、引数の具体的な値の具体的な型がどのように伝搬しているかの情報は得られない。
数学的構造と型伝搬の両方が分かり易く書かれたコードならわかり易くなる。 pic.twitter.com/ZJRcskHsQR
タグ： Julia言語
posted at 14:44:59
#Julia言語 大事な点なので強調しておきますが、
double(x::Real)::Real = 2x
を「実数xの引数に対してその2倍の実数を返す函数」とみなすのではなく、「Real型のサブタイプになる具体的な型の具体的な値の引数に対してその2倍を返す函数」とみなす必要があります。添付画像を参照。 pic.twitter.com/2iObTlCKuK
タグ： Julia言語
posted at 14:38:00
#Julia言語
xの型に乗法で作用する型(多くの場合にx自身の型)の1はone(x)
xの型に加法で作用する型(多くの場合にx自身の型)の1はoneunit(x)
zero(x)もある。
しかし、promotionによって多くの場合に1, 0と書いてよいことも知っておく必要がある。@ code_warntype の結果を見て学べばよい。 pic.twitter.com/WjNues1moO
タグ： Julia言語
posted at 14:19:16
#Julia言語 上の例では s = 1 を s = one(x) に変えれば型不安定性を消せます。
one(x) は x と同じ型(厳密には x の型に作用する型)の1になります。
環R上の加群Mがあるとき、r∈Rとm∈Mについて、one(r)=one(m)=(Rの1) となります。Juliaはこの意味で非常に数学的です。 pic.twitter.com/bXp5cvP3lt
タグ： Julia言語
posted at 14:04:34
#Julia言語
function f(x)
s = 1
for i in 1:10^6
s += s*x/10^6
end
s
end
これはexp(x)の近似計算の一種。例えばf(1.0)の1.0はFloat64型の値で、s = 1 の1はInt型の値で、s*x/10^6 はFloat64型の値になるので、変数 s の値の型がIntとFloat64の間で不安定になります。 pic.twitter.com/aaBTGDLtVU
タグ： Julia言語
posted at 13:54:12
Buitengebieden @buitengebieden
Play time! Watch the dog.. 😅 pic.twitter.com/8eCJUMGrI8
タグ：
posted at 13:35:19
#Julia言語 以下のリンク先では200個の熱方程式を同時に解いてプロットしているのですが、そういうコードは
docs.julialang.org/en/v1/manual/p...
Performance Tips
だけではなく、
docs.julialang.org/en/v1/manual/s...
Avoid writing overly-specific types
も読んでおかないと書き難いです。
twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 13:29:40
#Julia言語 混乱はありましたが、このスレッドで紹介した「type piracyを避けよ」という話はStyle Guideに書いてある。
以下の3つに目を通しておくと時間の節約になります。
docs.julialang.org/en/v1/manual/p...
Performance Tips
docs.julialang.org/en/v1/manual/s...
Style Guide
docs.julialang.org/en/v1/manual/w...
Workflow Tips
タグ： Julia言語
posted at 13:14:26
#Julia言語 訂正。文脈的に混乱していた。
型のツリーを表示する機能でもtype piracyを引き起こしていたのですが、このスレッドの文脈では、Expr型オブジェクトのツリー表示でtype piracyを引き起こしていたと言っておく必要がありました。
ここで訂正しておきます。
twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 13:11:58
#Julia言語
Juliaの公式ドキュメントは分量が多すぎて、全部を読むのは無理。それではどの部分に目を通しておくべきか？私は以下の3つを最初に読むべきだと思います。
docs.julialang.org/en/v1/manual/p...
Performance Tips
docs.julialang.org/en/v1/manual/s...
Style Guide
docs.julialang.org/en/v1/manual/w...
Workflow Tips
タグ： Julia言語
posted at 12:49:10
#Julia言語 現在の AbstractTrees.jl パッケージ内では次のように定義されています。
github.com/JuliaCollectio...
function printnode(io::IO, x::Expr)
print(io, "Expr(")
show(io, x.head)
print(io, ")")
end
私は以上の件で反省し、自分のパッケージを安全なコードに書き直しました。
タグ： Julia言語
posted at 12:49:10
#Julia言語
2. 私がやらかしたtype piracyの事例
自作のパッケージ
github.com/genkuroki/Meta...
には型のツリーを表示する機能があります。その機能は
github.com/JuliaCollectio...
を使って実現されているのですが、～続く
タグ： Julia言語
posted at 12:49:09
#Julia言語 私がやらかしたtype piracyについて
1. type piracyの定義
定義は docs.julialang.org/en/v1/manual/s... にあります。
type piracy = 自分以外の人が定義した函数に自分以外の人が定義した型を扱うメソッドを追加したり、再定義したりすること
この定義は多重ディスパッチの本性に直結しています。
タグ： Julia言語
posted at 12:49:07
[解決策緩募] Juliaの分散並列パッケージDistributedArraysを使ったトレースの和の計算が遅い on #Qiita qiita.com/cometscome_phy...
タグ： Qiita
posted at 12:38:52
Charles Gaba isn't p @charles_gaba
...with Cook County kind of outweighing a LOT of the state, of course... pic.twitter.com/XRP3LsxKQt
タグ：
posted at 11:23:35
Charles Gaba isn't p @charles_gaba
Illinois as of today... pic.twitter.com/m2Z2AgiMKL
タグ：
posted at 11:23:02
Charles Gaba isn't p @charles_gaba
Colorado counties sized by population. pic.twitter.com/eilsNPivK2
タグ：
posted at 11:14:17
Charles Gaba isn't p @charles_gaba
Colorado as of today. pic.twitter.com/4F4mql5XW4
タグ：
posted at 10:53:59
Charles Gaba isn't p @charles_gaba
Here's what it looks like w/the counties sized by population. pic.twitter.com/XZ79luap4q
タグ：
posted at 10:36:55
Charles Gaba isn't p @charles_gaba
Decided to check in on a few states at the county level again. Here's California. Good grief.
cc: @ForecasterEnten pic.twitter.com/WnLnU0KFKt
タグ：
posted at 10:32:31
石垣のり子議員の公設第一秘書がBさんで、その夫が私設秘書の横川圭希なのか。横川のような人間に家族がいるのが不思議ですが、丸抱えですわね。
石垣の私設秘書、横川圭希とおしどりマコが僕といいな神戸氏への暴力予告をする映像をまた貼っておきます。これが石垣の秘書
youtu.be/8AoP6Txzswc
タグ：
posted at 10:17:51
うなづいたの、づを書き直しているうちに消してしまい、うないたって鰻料理っぽい謎言葉使ってしまいました。いい思いでなのでここはしっかりいきたいところでした
(😭)
タグ：
posted at 07:31:12
後手私の23玉を12玉の時、(次に23銀から32金と銀冠で少年の先攻待ち)すかさず、糸谷少年に[米長流ですね!]と言われうないたものの、
(………知らんかったー💦)(端玉銀冠いっぱい指してるけどこの手米長流って言うんだ💦👏)と小学一年生当時から教えてもらってたことを思い出しました(笑)
(山崎)
タグ：
posted at 07:17:01
旧広島将棋センターで有望な子がいると席主に促され大将との初対局。奨励会三段の私に当時指導でほとんどなかった平手で挑んできたのが小学一年生で先ずびっくり❗続いて糸谷四間飛車で普通に強く❗❗私が左美濃(後手24歩23玉22角32銀41金形)で一年生に先攻するのもなと、攻めを待つかと銀冠にと(続く)
タグ：
posted at 06:40:06
Dr. Chris Rackauckas @ChrisRackauckas
But seriously though, using #juilalang invalidates speed records since it's considered a "tool-assisted speedrun" (TAS) by many.
タグ： juilalang
posted at 06:38:29
Dr. Chris Rackauckas @ChrisRackauckas
Memes aside, interested in an #SMB2021 talk about making things go fast with #julialang scientific machine learning #sciml? Your hopes are answered tomorrow. I'll walk through a big model where COPASI crashes on read but ML+Julia solves in 0.062 seconds.
schedule.smb2021.org/MS06/MFBM-MS06...
posted at 06:38:29
Dr. Chris Rackauckas @ChrisRackauckas
For decades we were on a modeling journey, simulating many models, and then (queue Home - We're Finally Landing), something amazing happened. The #julialang #SBML readers all lined up, the CTESNs trained, and we got a new world record: 0.062 seconds.
www.youtube.com/watch?v=zR6fEC...
posted at 06:38:29
秋口になると枯れてちぎれた草がボール状になり風に吹かれることで種子をばら撒くタンブルウィード（転がる草）
乾燥地帯で発生 この戦略を取る草はロシアアザミが代表的
RT @buitengebieden_: Gone with the wind.. pic.twitter.com/WK8emtTR4K
タグ：
posted at 05:26:49
Hiromitsu Takagi @HiromitsuTakagi
こうした欧州の当時の議論が、1980年代に日本の法学者らにより輸入される際、肝心の上記前提をすっ飛ばして論じられたのが、日本の迷走の始まりだったのではないか、と推論して、根拠を固めているところ。今後の発表に乞うご期待。
タグ：
posted at 03:01:02
Hiromitsu Takagi @HiromitsuTakagi
もっとも、他人に評価されることそれ自体を本人が制御できて然るべきとは到底いえないわけで、問題とされたのはあくまでも、自動処理（マニュアル処理含む）によって（個人の一面にすぎない部分的データに基づき、画一的なアルゴリズムによって）個人が選別される状況を前提としての話であった。
タグ：
posted at 02:53:13
Hiromitsu Takagi @HiromitsuTakagi
こうした論点は1970年代にもあった様子が古い文献の調査で見えてきた。すなわち、プライバシー権論として始まった、自己情報を勝手に取得されない・開示されないと主張する発想から転換して、個人の評価にこそ問題のコアがあるのであって、本人から取得したものに限られないとする主張が展開された。
タグ：
posted at 02:33:51
Hiromitsu Takagi @HiromitsuTakagi
…真の法目的であることからすれば、事業者が独自に生成したデータであろうとも、もっと言えば、単なる乱数（ホワイトノイズ）であろうとも、当該本人のレコード（ある個人に関する情報）として作成したからには、それらも個人データ（を構成するフィールド）であるということになるのだ。
タグ：
posted at 02:21:45
Hiromitsu Takagi @HiromitsuTakagi
…のか、本人から提供されたものだけが当該本人の個人データであって事業者が独自に当該本人のデータとして生成したものは個人データに当たらないなどと発想しているのだろう。これは法目的から見れば明らかな間違いで、データによって個人が評価され選別されることからの個人の保護が真の法目的で…
タグ：
posted at 02:12:28
Hiromitsu Takagi @HiromitsuTakagi
これは見ての通り、「不明確性」があると言い得るのは、推知した病歴が要配慮個人情報に該当するか（個人情報には該当するとの前提で）の論点であって、推論で独自に生成したデータは非個人データであるなどという論点は誰も言っていない。経済学系の人らは、個人データを物権的に捉えているのか、…
タグ：
posted at 02:10:04
@cometscome_phys #Julia言語
struct Hoge{T} a::Array{T} end
が型不安定性を引き起こすのと同じ理由で
struct Foo{T, N} d::DArray{T, N} end
も型不安定性を引き起こします。
@ code_warntype が神！
ソースコード閲覧も神！
github.com/JuliaParallel/...
github.com/genkuroki/publ... pic.twitter.com/sHZ5t7pZLl
タグ： Julia言語
posted at 01:59:10
@deimidis @plutojs mirá esto que me conquisto este año
Narrativas matemáticas Interactivas con @PlutoJL
y @JuliaLanguage
#PlutoConf
#JuliaLang
Interactive mathematical storytelling | Gerhard Dorn | PlutoCon 2021
www.youtube.com/watch?v=6Qs5EX...
posted at 01:55:34
Julia Inclusive @juliainclusive
This year's Julia User & Developer Survey is now live! More response options are now available for gender & race/ethnicity in response to community feedback. Share widely so that we can have a more representative sample of the @JuliaLanguage community!
discourse.julialang.org/t/the-2021-jul...
タグ：
posted at 01:32:10
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
Unicode文字をフル活用する #Julia言語 を用いた題材描きたいよね。
タグ： Julia言語
posted at 00:54:01
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
スピーキングテストは、なぜ、あれこれ疑念を持たれる形でしか導入できないのかな？ 残念。
都立高入試 英語スピーキングテスト/ベネッセが独占/保護者・教員「情報漏えい心配」 www.jcp.or.jp/akahata/aik21/...
タグ：
posted at 00:02:33
