黒木玄 Gen Kuroki(@genkuroki)/2020年04月12日

C++のtemplateっぽい何かをしてて、typeof([x -> x[1]])とtypeof([x -> x[1], y -> y[1]])との違いを吸収するための何かもしてるっぽいけどよく分からない

タグ：

posted at 00:52:08

蒼き夜に @aokiyoruni

森永康平｜経済アナリスト @KoheiMorinaga

イタリア、甚大な被害の街クレモナでの横山令奈さんの演奏。
静まりかえった街、ただ音色だけが流れる。 twitter.com/lenayokoyama/s...

タグ：

posted at 01:09:54

色々なデータの相関係数を一気に算出していってるんだけど、改めて「自殺者数」と「完全失業者数」の相関係数に驚く

今回は世界各国が意図的に経済活動を抑えにいっている訳だから、よほどアクセルを踏まないと悲惨な数字が出てくる気がするが、、、

タグ：

posted at 01:44:27

The Unexplained @Unexplained

Super punch pic.twitter.com/otlXhvVmm1

タグ：

posted at 01:47:45

おばけ @triwave33

Catalinaアップデート🙅‍♂️
Cubase インスコ🙅‍♂️
配信練習🙅‍♂️
Juliaベイズデバッグ🙆‍♂️
IoTボタンでスマホに通知🙅‍♂️
お寿司🍣🙆‍♂️

タグ：

posted at 01:48:03

ceptree @ceptree

『その道の専門家』の意見は疑わなくていいんだろうか

タグ：

posted at 02:28:57

ceptree @ceptree

任意の人の意見を疑ってかかるけど、ボリス・ジョンソンのデマはRTします

タグ：

posted at 02:34:53

#統計確率変数X,Y,Zは

　それらの函数f(X,Y,Z)の期待値E[f(X,Y,Z)]を考えることができる変数

のことである、のように考えておけば困ることは少ないです。詳しくはこのツイートがぶら下がっているスレッドを参照。

twitter.com/r_o_r_i_j_o/st...

タグ：統計

posted at 02:35:57

高梨陣平 @jingbay

例のGoogleとAppleの奴の技術的な説明。とても良い記事。どんな場合に最悪、プライバシー露呈の被害が出るかも想定している。BLEは100mは飛ぶが閾値で抑えるつもりではあるらしい。まだ不明。

とりあえず、夏以降にOSに統合されても参加は任意とのこと。 twitter.com/verge/status/1...

タグ：

posted at 03:24:28

Hideyuki Tanaka @tanakh

Result<(), _> のオブジェクトを作るのに Ok(()) とかまじで打ちづらいのを書かないといけないんですよね。haskellだと return () だし、そもそもHaskellはモナドでコード自体に型が付いてるからreturn ()は書かなくて良い場合が多いし。

タグ：

posted at 04:01:11

Hideyuki Tanaka @tanakh

タプル返すような場合とかなんて、Ok((1, 2)) とかギャグみたいなコード書かされるんだよな。Haskellだとreturn (1, 2) とか別に不自然さ感じない構文だし。なんかRustは根本的に言語の字面とやりたいことがかみ合ってませんよね。

タグ：

posted at 04:02:20

私は #Julia言語でちょっとした数学的パズルを解くことがあるのですが、そのときの手順はREPLやJupyter notebookで

(1) テキトーに函数を書いてテキトーな入力の下で実行
(2) 問題を解くための函数が完成したら「本番」を実行

とする。(2)の時点で「本番」で使う函数は(1)の段階でコンパイル済み。

タグ： Julia言語

posted at 04:08:58

試行錯誤の過程で「本番」に使う函数はテスト済みで、テスト時に #Julia言語における必要な函数たちはJITでコンパイルされている。ユーザーは自分でコンパイルのためのコマンドを実行する必要はない。

「本番」時にはJITコンパイルによるタイムラグは発生しない。

タグ： Julia言語

posted at 04:09:03

数学的パズルを解く函数の作成をテスト抜きに「本番」で使うことは通常考えられません。以上の手順は非常に自然だと思います。

私が普通はやらないのは、数学的パズルを解くために、julia honban.jl のようにjlファイルを実行することです。無駄な手間が増えるだけです。 #Julia言語

タグ： Julia言語

posted at 04:09:03

#Julia言語そして、数学的パズルを解くための函数をPackageCompiler.jlでコンパイルしてから実行することは決してしない。時間の無駄。一度もやったことがない。(Makie.jlなどの起動を速くするためには便利だと思った。)

JITコンパイルの利点を活かした数学的パズルの解法を禁止されるとつらい。

タグ： Julia言語

posted at 04:09:04

#統計 E[f(X)]について、

線形性: E[af(X)+bg(X)]=aE[f(X)]+bE[g(X)]
単調性: f ≦ g ⇒ E[f(X)] ≦ E[g(X)]
規格化: E[1]=1

を仮定しておけば(f,gなどがどのクラスの函数であるかを明確化することを除けば)、多くの必要な結果を「証明」できます。続く

タグ：統計

posted at 04:21:11

#統計例えば、f(x)が上に凸な函数ならば、y=f(x)のx=E[X]での接線y=a(x-E[X])+f(E[X])は f(x)≦ a(x-E[X])+f(E[X]) を任意のxについて満たします。その不等式の両辺のxに確率変数Xを代入してE[ ]を作用させると、線形性、単調性、規格化のみを使って、Jensenの不等式E[f(X)]≦f(E[X])が得られます。

タグ：統計

posted at 04:21:14

ごまふあざらし(GomahuAzaras @MathSorcerer

#統計例: 正のa_iについてE[f(X)]=(f(a_1)+…+f(a_n))/nのとき、f(x)=log xにJensenの不等式E[f(X)]≦f(E[X])を適用すると、

log(a_1…a_n)^{1/n}
= (log(a_1)+…+log(a_n))/n
≦ log((a_1+…+a_n)/n).

∴ (a_1…a_n)^{1/n} ≦ (a_1+…+a_n)/n.

相加相乗平均の不等式の証明はこのように瞬殺可能。

タグ：統計

posted at 04:29:11

ごまふあざらし(GomahuAzaras @MathSorcerer

Jupyter client としての ipad app の juno を久しぶりに使ってる。binder サービスを使えるんだけれども、
普通にブラウザで mybinder 開いて遊んだほうが体験良さそう。

タグ：

posted at 04:30:39

これね。 pic.twitter.com/cdFn6jU46G

タグ：

posted at 04:31:13

takahiro(John Smith) @superhoge

Yay Linux boots up on my RISC-V emulator written in Rust! It's compiled to WASM so you can run Linux on your browser.
github.com/takahirox/risc... #rust #rustlang #riscv #wasm #webassembly pic.twitter.com/kxVrGuXpkP

タグ： riscv rust rustlang wasm webassembly

posted at 05:11:36

takahiro(John Smith) @superhoge

Linux support isn't in master branch yet. If you want to try now, get LinuxWIP branch github.com/takahirox/risc...

タグ：

posted at 05:12:55

The Unexplained @Unexplained

How to make an infinite loop using water cans pic.twitter.com/Os2l0a779Z

タグ：

posted at 06:22:06

#西浦寝ろ嘘付きに負けるな！

西浦さんは「休業補償が必要！」という立場。

すぐに行動パターンを変えてもらわなければいけないという主張と休業補償の速やかな実現の組み合わせは整合的でありかつ合理的。

twitter.com/nishiurah/stat...

タグ：西浦寝ろ

posted at 06:33:46

七誌 @7shi

言語の組み合わせを指定して抽出するプログラムを書いてみた。 pic.twitter.com/p8I9rhHRv0

タグ：

posted at 06:40:41

とりあえずJulia 1.4で動くようになった。しかしPkg.add(PackageSpec(url="github.com/t-nissie/Geome...", rev="master"))すると "ERROR: could not find project file in package" ってエラーになる。 github.com/t-nissie/Geome...

タグ：

posted at 06:58:40

「コロナは貧しい人から犠牲に」ハーバード大教授が不都合な真実を警告 | 有料記事限定公開 | ダイヤモンド・オンライン diamond.jp/articles/-/233...
【同氏は「社会的弱者から犠牲になる。彼らへの支援策こそが、新型コロナ対策の肝だ」と訴えている。】

タグ：

posted at 09:31:52

Bloomberg @business

False negatives raise doctors’ doubts about coronavirus tests trib.al/ov1B4jI

タグ：

posted at 09:48:03

Ryohei Seto @ryseto

潜伏期間τを入れるとしたらこんな感じにならないかな。 pic.twitter.com/irGpIl00AT

タグ：

posted at 10:52:40

Ryohei Seto @ryseto

批判の中の潜伏期間の解釈が違うのかな。時間遅れの効果と言うと抽象的で、いろいろなタイプがあるのかもしれない。感染の確認はIからRで、SとIの間のすでに感染したのでSusceptibleでないけど人を感染させるIでもない状態があって、ただの平行移動だから時間遅れで表現できる。

タグ：

posted at 11:05:03

Ryohei Seto @ryseto

左巻健男（サマキタケオ） @samakikaku

違ってたら教えてください。文献読まずに素朴に考えてるだけなので。

タグ：

posted at 11:09:27

新型コロナウイルスとともに広がるニセ科学 - 左巻健男｜論座 - 朝日新聞社の言論サイト webronza.asahi.com/national/artic...
＊全文無料公開になりました！

タグ：

posted at 11:32:00

うりぼー @otobru27

数セミ5月号『新型コロナウイルスの数理』！ pic.twitter.com/lPwK1bRc7B

タグ：

posted at 12:20:37

Images.jlで特定の画像だけloadできないエラーがあって困ってます pic.twitter.com/UXPMConJKU

タグ：

posted at 12:21:22

タブー @tabuu_dqx2

あかん、俺の自己流のモンテカルロ法をExcel VBAでやると遅すぎて計算に1日以上かかるわ。Pythonでやっても、自分で組むプログラムだと劇的に早くなるとも思えん。で、C言語だと早そうだが、難しそうだし。

…そろそろJuliaを勉強せねばならぬのかもしれんな。

タグ：

posted at 12:22:37

エラー吐くんじゃなくてJuliaが落ちるんだよなあ

タグ：

posted at 12:22:48

初めてImages.jlを使ったときにこのエラー踏んだからかなり悩んだ

タグ：

posted at 12:25:22

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

github.com/t-nissie/Geome... のPkg.addできるようになったし、テストも通るようになりました。なんだかjulia --projectって起動するとよいことがあるようになったらしいのですが、まだいまいち理解できてません。

タグ：

posted at 12:34:05

新帯秀樹 Hideki Shintai @hs_heddy

こちらの画像です
i.imgur.com/j4LDwVM.png

タグ：

posted at 12:59:15

新帯秀樹 Hideki Shintai @hs_heddy

Julia言語を使って線形回帰で自己学習モンテカルロ法の有効Hamiltonianを作る
#Julia言語

 qiita.com/empksts/items/... #Qiita

タグ： Julia言語 Qiita

posted at 13:34:59

新帯秀樹 Hideki Shintai @hs_heddy

PRML 理論と実装第1章-1（多項式曲線フィッティング）
#Julia言語

 qiita.com/koba-jon/items... #Qiita

タグ： Julia言語 Qiita

posted at 13:37:24

PRML 理論と実装第1章-2（正則化）
#Julia言語

 qiita.com/koba-jon/items... #Qiita

タグ： Julia言語 Qiita

posted at 13:40:19

Kaz Ataka / 安宅和人 @kaz_ataka

国の感染症対策本部、慶應医学部の宮田裕章先生の分析および見立てです。やはり飲食系などの対人サービス業がかなりのリスクに晒されている（新型コロナをincubateする場になっている）ことが歴然。Withコロナ時代であらゆる業態、プロセスの開疎化に向けた刷新が必須。必読

www.facebook.com/hiroaki.miyata...

タグ：

posted at 13:45:03

後退する生え際 @aldente39

ようやくjulia言語に手を付けだした

タグ：

posted at 13:47:09

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

めっちゃトイレ掃除した

タグ：

posted at 14:06:09

非公開

タグ：

posted at xx:xx:xx

ceptree @ceptree

ただあのモデルだと素朴に定数の履歴関数で数値計算するとEが負になったので正にするには追加の条件が必要そう

タグ：

posted at 14:41:05

田舎の元外科医 @inakashoge

コミさん@K Squad LLC. @komi_edtr_1230

昨日Nスぺで触れられた、福井県の80名の患者関係図。（福井新聞の今日の朝刊から）
夜の街クラスターから始まり、感染者が増え当初離れていた3つの飲食店が繋がっている。
昨日時点で86名の感染確認者のうち、孤発例は6名のみで、社会の狭い地方ではクラスター潰しはまだ有効でないかと考えている。 pic.twitter.com/B59c7gWIcW

タグ：

posted at 15:14:29

GRでプロットができるようになった
これからもっと使いやすくなるようにAPI整えていくぞい pic.twitter.com/oMEdducdJn

タグ：

posted at 15:39:37

Massimo @Rainmaker1973

This video by Journey to the Microcosmos, explores the ways microorganisms eat. This is a a Vampyrella feeding on filamentous algae by boring a hole through the algal cell wall and sucking out its gooey center [full video: buff.ly/2VoRZHt] pic.twitter.com/2VGfZxBlKi

タグ：

posted at 16:12:29

Don-Key (^^) @donkey13992730

@kaz_ataka noteのほうが見やすいですね(↓)
note.com/vcca/n/n97aa3d...
参考まで。

タグ：

posted at 16:44:57

みゆき @miyuki_MathT

指導書は徹底して外部には見せないようにしてるんですね

外部からの干渉を徹底して排除することで、算数・数学が苦手な教員を洗脳し、教徒を増やし、教義を流布しているようだ

子どもたちのための授業じゃなくて、指導書作ってる人達のマスターベーションになっている

行き先はディストピアですか？

タグ：

posted at 16:49:44

自作のオセロで有効な位置に石をランダムに置くだけのCPUに負けた…

タグ：

posted at 16:57:41

すっかり忘れていましたがむかしQiitaのAdvent Calenderに書いていたみたいなので更新してみました『JuliaのパッケージGeometricIntegrators.jlを書いて公開してみた』 qiita.com/t_nissie/items... #Julia #julialang

タグ： Julia julialang

posted at 16:58:32

#Julia言語

たぶん、簡単な話。

スクリーンショットではなく、データとコードを丸ごと公開していれば、回答する側が楽をできます。

可能な限り詳細な情報を公開して質問した方が答えを得られ易い。 twitter.com/kado_judo0312/...

タグ： Julia言語

posted at 17:04:57

オセロ弱すぎてウケる。棋力はランダム程度か…

タグ：

posted at 17:05:31

Atsushi Nakamula @mulapao

そういえば全国の大学で大量に持て余していると思われるOHPシート、顔面防御用装備に使えないものか...

タグ：

posted at 17:10:04

宮城県新型コロナウイルス情報 @MiyagiCorona

早くスクールアイドルになりたい

タグ：

posted at 17:17:06

仙台市で新たに6人の感染者...3人は10歳未満　宮城県内の感染者は50人超える

10歳未満の女児が2人、10歳未満の男児が1人、10代女性が2人、40代男性が1人
headlines.yahoo.co.jp/hl?a=20200412-...

タグ：

posted at 17:49:38

Lirimy @LirimyDh

@Hyrodium 手元の Windows では再現しないのですが、エラーを回避するだけなら、
]rm ImageIO
]add ImageMagick
でいけそうな気がします

タグ：

posted at 18:09:01

かせいさん @kasei_san

手塚治虫先生の漫画の描き方がkindle0円だったので読んでるんですが、良い言葉 pic.twitter.com/Qx0HcVxZwq

タグ：

posted at 18:30:16

@Hyrodium #Julia言語私の環境でもエラーを再現できませんでした。正常に読み込めます。

twitter.com/LirimyDh/statu... pic.twitter.com/LlY6esQUUf

タグ： Julia言語

posted at 18:32:36

あおじるPPPP @kale_aojiru

羽藤教授がめでたくブロックリスト入りしまじた。これで民間試験問題系はほぼ全滅。

タグ：

posted at 18:51:32

Lirimy @LirimyDh

［とりあえずの理解］
FileIO...save, load などのインターフェースを提供
ImageIO, ImageMagick, QuartzImageIO...FileIOでPNGの入出力を担当
Images...FileIOのsave, loadを利用
PNGFiles...ImageIOの中身
github.com/JuliaIO/FileIO... #Julia言語

タグ： Julia言語

posted at 18:51:35

@genkuroki 検証ありがとうございました！
rm ImageIOで解決しました。
twitter.com/LirimyDh/statu...

タグ：

posted at 19:00:53

誰か阪医Julia会と阪医R会を立ち上げて阪医Python会と血で血を洗う抗争を繰り広げて欲しい。

タグ：

posted at 19:34:10

あおじるPPPP @kale_aojiru

もともと（少なくともTwitterでは）そういう人じゃなかった気がするんだけど、「アベ相手なら何言っても許される、デマでも牽強付会でもなんでもOK、侮蔑的な強い言葉使うくらいが丁度いい」みたいな人まみれのTLにいるうちにちょっとずつ感覚がおかしくなってったんだろうね

タグ：

posted at 19:51:00

Тагсанов @tagsanov

東大の学外から論文読もうとするとGoogle Scholarと連携できず面倒すぎるので、自動で認証GWと連携するブラウザ拡張を作りました！
自宅でも学内と全く同様に論文探せます！！！
github.com/Tagussan/Googl...

タグ：

posted at 19:53:59

PurPurPurkinje @tak_yamm

会計士KO/CPA過去問コム、リリースし @CPAKO999

実はJuliaとRを取り込んで阪医Jupyter会にしたろかという考えがありましたがキラキラすぎたので辞めました。競プロ勢から怒られそうだし

タグ：

posted at 19:58:25

Masahiro Ono 小野　昌弘 @masahirono

厚生労働省ブチギレ pic.twitter.com/6sOH6s2g2Z

タグ：

posted at 20:20:24

いま手に入る簡易抗体検査キットは欠陥が多い（私自身も使う気がしないものです）ので、多数購入しても、お金と努力の無駄と思います。現在やるべきは、そのお金を本当の実力がある生化学・免疫学の大学の研究室に渡し、臨床的に意味があり信頼できる抗体検査を開発させることです。急がば回れ、です twitter.com/genki_sudo/sta...

タグ：

posted at 20:40:17

TaKu @takusansu

#超算数 2019年度教員資格認定試験問題
www.nits.go.jp/menkyo/shiken/...
第2次試験に代わる「教科及び教職に関する専門性」等を評価する措置（レポート課題）
算数
www.nits.go.jp/menkyo/shiken/...
これでは【除法の意味】とは【包含除と等分除】と受け取られそうですね。 pic.twitter.com/SzvZ2dnEqy

タグ：超算数

posted at 21:16:13

今朝のサンモニにも岡田晴恵教授が出ていたが、彼女がずっと主張して来た「発熱外来」って、一つ間違えると医療崩壊につながりかねないということは、2009年の新型インフルの際の大きな教訓だと思うのだが、忘れてるのか知らないのか．まあ医療現場の人間じゃないからな
medical.nikkeibp.co.jp/leaf/all/speci...

タグ：

posted at 21:37:37

岡田氏は医者でも薬剤師でも医療現場の人でもないし、彼女を「専門家」の立ち位置でのコメンテイターに使うTV局はおかしいよね．まあ今やTBSとテレ朝くらいのようだけど．どうせなら「素人代表」としてわからないこと挙げて、ホントの専門家がそれに答える、みたいなのならいいかも

タグ：

posted at 21:41:11

まあ「ホントの専門家」は毎日TV出てる暇ないけどな

タグ：

posted at 21:41:59

せ @hoduki10

コロナの影響によるテレワーク推進を受けてSmartHRが電車に大量に広告を出してるな
デカデカと煽ってるのがいい味出してる pic.twitter.com/cBqI7NAUo7

タグ：

posted at 21:48:21

みゆき @miyuki_MathT

しまじろうよう社会常識身に付け中 @you_s1025

@kkentarous 偏見じゃないと思うよ。限りなく事実に近いと思う。
多くの人は極端に苦手な教科を一つは持ってると思うから、算数に関しては、指導書重視というよりは、指導書に従わざるを得ない人達がいると踏んでる🤔

全員が指導書を狂信したら、そこで前進はストップするから、教員毎の個性はあって良いと思うが

タグ：

posted at 21:57:38

仙台市危機管理局 @sendai_kiki

今日届いた Julia の本読んでるんだけど、検索する時は JuliaLang のキーワードじゃないと人名の Julia が検索結果に含まれちゃうので注意しようって書いててあるあるだなと笑ってしまったw 肌色多めのやつですな

タグ：

posted at 21:59:24

【新型コロナウイルス感染症関連】4月12日（日）、市内で新型コロナウイルス感染症の患者が６人確認されました。市民の皆様には、密閉、密集、密接を避けることや、手洗いなどの日常的な感染予防策の徹底を、改めてご家族でご確認をお願いします。#仙台
 www.city.sendai.jp/kikikanri/kink...

タグ：仙台

posted at 22:00:01

みゆき @miyuki_MathT

@kkentarous どう思う？

指導書はベースとしてあって良いと思っていて(ただし、算数の一部は全くの嘘デタラメ)、そこに各々が工夫をし、よりよい指導法を模索していく形が望ましいと思う
よりよいものというのは、生徒の学力やその他の特性毎に変わってくるから、とにかくたくさんのデータがあると良いと思ってる

タグ：

posted at 22:00:41

県内でも発熱外来を設置したところがあって（相馬市）、医療体制を増強した上での設置なのかどうかがとても気になっている

タグ：

posted at 22:01:26

非公開

タグ：

posted at xx:xx:xx

Massimo @Rainmaker1973