黒木玄 Gen Kuroki(@genkuroki)/2021年05月18日

あ。古瀬さんはイジワルなので、はじめのツイートの図のどの点がどの会社のワクチンなのかはあえて書きません。専門家のひとはわかってるだろうし（煽り）、興味がある方は、がんばって調べてみてください ;)

タグ：

posted at 00:04:08

もふもふ動画 @tyomateee2

近所の庭を覗いてみたら… pic.twitter.com/2Sb2On9k5c

タグ：

posted at 00:10:42

Lee Phillips @lpfeed

ごまふあざらし(GomahuAzaras @MathSorcerer

You mean #julialang. But, yes, black boxes are not good for science. twitter.com/dgarcia_eu/sta...

タグ： julialang

posted at 00:24:40

キャリアパスはないわけではないけれど、
昔のおじさんのリクルーターからの、現代では、再現性がむずかしい（むしろ有害な）文言をもらったりするのでひかくてき若い人も入れてほしい・・・。

タグ：

posted at 00:26:27

#超算数綜合数学の教科書である林鶴一 1931は単項式を単項式で割るという目的に沿って手順を解説しています。-15a³b⁴cx÷3a²bcという表記と含意される併置積優先は、その枠内で理解さるべきもの。戦前最後の文部省編 1944は、併置積優先を導入しなくてよい表記を採用twitter.com/temmusu_n/stat...。

タグ：超算数

posted at 00:37:03

#超算数上の枠内は「以下の通り一方の単項式を他方の単項式で除せ」と出題すれば規定可能か。熊倉啓之 2016が【この規則(=併置積優先)は、いずれの現行の教科書にも記述されていない…】twitter.com/temmusu_n/stat...と述べ、教科書に明示的に記述することを提案したが、これは歴史的にも正当化されない。

タグ：超算数

posted at 00:37:03

#超算数まして、高校受験の定番のひっかけ問題みたいな扱いは、とっととやめてください。

タグ：超算数

posted at 00:40:30

非公開

タグ：

posted at xx:xx:xx

The Julia Language @JuliaLanguage

We are super excited to have 23 students joining us this summer!

There are also many students working on Julia projects with the @SciML_Org under @NumFOCUS.

Congrats to everyone!

#JuliaLang #GSoC #OpenSource twitter.com/googleoss/stat...

タグ： GSoC JuliaLang OpenSource

posted at 03:42:51

Vito DP Servedio @vitelot

富谷(助教);監修シン仮面ライダー @TomiyaAkio

@dgarcia_eu @aramirezreyes I do recommend Julia, no doubts

タグ：

posted at 05:04:08

ごまふあざらし(GomahuAzaras @MathSorcerer

某コードをPythonからJuliaに移植した

タグ：

posted at 05:33:05

非公開

タグ：

posted at xx:xx:xx

人間が感じる「この論理、計算導出、本当にあってるのだろうか？」の不安と同様にJulia側がユーザーに対して不安を持っているものなので気にかけてください。 twitter.com/physics303/sta...

タグ：

posted at 06:34:58

EARLの医学ツイート @EARL_med_tw

接種券と予約方式の設計を1年前からやっておくべきだったということでしょうね。
twitter.com/Ichiro_leadoff...

タグ：

posted at 09:30:47

これまで出てきた新型コロナウイルスワクチンごとの効果のまとめ（Nat Med 2021, May17）
www.nature.com/articles/s4159... pic.twitter.com/cuwUrIMpTY

タグ：

posted at 09:31:36

出鱈目。個人情報保護法制の公的部門のルール（地方公共団体の条例を含む）は、目的内の提供を制限していない。
twitter.com/h_okumura/stat...

タグ：

posted at 09:36:05

接種券番号・生年月日リストを得て確認しようにも、生年月日空間が1万通り程度しかないので、（ドコモ口座事件で検討したように）リバースブルートフォースで当てられてしまう。それを十分に防ぐには接種券番号をスパースにしないといけなくて、ランダム生成で20桁ほど必要。
twitter.com/h_okumura/stat...

タグ：

posted at 09:42:17

マイナンバーを使っても防げない（マイナンバーカードによるログインなら防げるが、全員が利用できるわけではないので採用できない）。それどころか、生年月日とマイナンバーの組を特定する機能として働いてしまい（去年のドコモ口座事件を見よ）重大な情報漏えいが発生する。
twitter.com/wakwaktintin/s...

タグ：

posted at 09:46:43

逆に言えば、今回のシステムは、何らの事前チェックを行わないことから、そこからの情報漏えい（ドコモ口座事件で露呈した、ゆうちょ銀行のシステムが、認証機能自体が登録情報の漏えいを引き起こしたように）が発生しないシステムになっているとも言える。
twitter.com/HiromitsuTakag...

タグ：

posted at 09:58:02

#Julia言語どのsinをJuliaが使っているかについてCertikさんはひどく誤解していました。oscardssmithさんも実際にベンチマークで使われたコードについては間違っています。LoopVectorization.jlの作者のChris Elrodさんが正しい。

添付画像

① fortran-lang.discourse.group/t/simple-summa...

② fortran-lang.discourse.group/t/simple-summa... pic.twitter.com/vIOCpgXVHp

タグ： Julia言語

posted at 10:07:09

ただし、この問題（「生年月日の空間が1万通り程度なので4桁暗証番号問題…」）があるため、正規に予約した人の予約状況が、ロックをかけたとしてもリバースブルートフォース攻撃によって、1万分の1程度の割合で閲覧されてしまう。ロックがなければ、全て閲覧され得る。
twitter.com/HiromitsuTakag...

タグ：

posted at 10:14:41

#Julia言語

* コンパイル済みのバイナリのライブラリ中のsinをリンクする方法だと、インライン化による最適化の恩恵を享受できなくなる。

* JuliaのBase.sinはJuliaで書かれている。

* LoopVectorization.jlでは github.com/JuliaSIMD/SLEE... のJuliaで書かれたsin_fastを使うようになっている。

タグ： Julia言語

posted at 10:15:54

もっとも、閲覧されても問題ないレベルとも言い得る。ただし、本人が接種券番号を公開したりすると、生年月日を特定される（とともに、接種予約の状況を知られる）ことにはなり得る。
twitter.com/oohamazaki/sta...

タグ：

posted at 10:22:03

あきやましぐれ tmsn @akiyamashigure_

漏えいの観点では、最悪ケースの想定として、攻撃者により、全ての接種券番号についてのこの画面の情報と生年月日の組みがリスト化され、暴露されたとして、それがどうなんだ？ということになる。
twitter.com/oohamazaki/sta...

タグ：

posted at 10:27:09

juliaの変数名に半角アルファベット以外も使えることに仰天している。

タグ：

posted at 10:30:04

最近のプログラミング言語の多くでユニコードの変数名・函数名を使えます。

#Julia言語の特別な点は入力方法の規格を作成して実装するところまでコア開発者達が行ったことです。

Juliaなら世界中のユーザーが β, β̂, σ², X₁, X₂, X̅, Δt, pᵢ のような変数名を共通の入力方法で使えます。 twitter.com/akiyamashigure...

タグ： Julia言語

posted at 10:37:48

#Julia言語でのユニコード文字の入力方法は

docs.julialang.org/en/v1/manual/u...

にあります。

これ、よくできているので、ツイッター社は取り入れて欲しいです(笑)

絵文字も入力できる。

Juliaのパッケージ中で絵文字の変数名が使われている場合もあります。 pic.twitter.com/bmwACWZDJ2

タグ： Julia言語

posted at 10:42:33

#Julia言語の開発者達はオープンソースのソフトの開発者達によく見られる冗談好きの傾向に数学好きという特徴を合わせた感じになっており、数学好きならコードも数式に見えるように書きたいし、絵文字は冗談としても面白いので、ユニコード文字の入力方法まで実装されてしまったのだと思います。

タグ： Julia言語

posted at 10:47:29

Zenn公式 @zenn_dev

🙏 ピックアップ ✨

組み込みで般若心経を扱う際の効率的なメモリ配置方法の検討
by @ukokq

zenn.dev/ukkz/articles/...

タグ：

posted at 10:51:00

えで(ω△△！ω) @omega_2DELTA

Julia、まだあまり深く触れてないからあれだけど、デメリット調べて出てくるのが認知度が低いとかドキュメントが少ないとかだけだから、広まれば最強言語になる？

タグ：

posted at 11:12:01

入力させないというのは生年月日をという話？究極的にはそうだけど、さすがに接種券番号（スパースでないシリアル番号）だけで登録・閲覧・キャンセルというのは、アレすぎる。生年月日がなんちゃって「認証」っぽく振舞っているのが誤解を与えてよくないというのはそうだが。
twitter.com/Sheetcalc/stat...

タグ：

posted at 12:28:58

最初の記事が「予約枠だけ占拠して、当日誰も行かなければ、大量のワクチンがムダに…まさにワクチンテロが出来てしまいます」と言うように、業務妨害の観点では、①予約枠の占拠の他に②接種券番号の先取り占拠の妨害があり得る。いずれも電磁的記録不正作出・供用罪および偽計業務妨害で取り締まる。

タグ：

posted at 12:34:22

「善意に頼った」もなにもごく普通。不正申請を刑罰により抑制することで成立しているシステムはいくらでもある。（ただし漏えいが起きる場合はそれでは済まされない。）
特にパンデミックという緊急時においてならなおさら。
twitter.com/cheenanet/stat...

タグ：

posted at 12:39:53

妨害発生時の運用は準備しておかねばならない。①の妨害については、状況を見て予約枠を増やす調整をすればいい。完全に規定通りの人数にワクチン投与する必要性はなく、1日に可能な範囲で投与すればいいし、あぶれた人に後日お願いすることもやむを得ない。
twitter.com/HiromitsuTakag...

タグ：

posted at 12:42:02

妨害の分類を修正（3つ目を追加）
①予約枠の占拠
②接種券番号の先取り占拠
③正規予約の不正キャンセル

③の妨害については、そいうことが起き得る旨を会場の受付が理解し、キャンセルされた（又は（接種券番号入力を間違えたか）登録のない）来場者について、そのままワクチン投与すればよい。

タグ：

posted at 12:50:29

juliaで辞書から最大値（この場合は5）を手っ取り早く抜き出す方法は？ pic.twitter.com/sCYEsFFgqJ

タグ：

posted at 13:12:25

oʞıɹoN ∀NIIN @niina_noriko

リモートで受ける授業って嫌な疲れがあるので、学生さんはリラックスして好きにうけてくれればいいと思う。寝そべってても飲み食いしててもいい。

タグ：

posted at 13:13:40

oʞıɹoN ∀NIIN @niina_noriko

ほりたみゅ (mastodonも見てね) @Hyrodium

ところどころ集中すべきところは集中してもらえたらそれでいいと思う。

タグ：

posted at 13:16:07

@physics303 maximum(maximum.(values(x)))
でどうでしょうか pic.twitter.com/KKyqdapu7y

タグ：

posted at 13:17:37

oʞıɹoN ∀NIIN @niina_noriko

パソコン使う仕事だって90分ずっと画面見つめることを強いたら労基にチクられるよ

タグ：

posted at 13:18:24

OokuboTact　大久保中二病中年 @OokuboTact

厄介なのは②の妨害。それが起きるシステムである旨を広く周知し苦情を受け付けて対処するしかない。大量に発生している場合は可能な範囲で検知してリセットするが、分散緩行型で来ると判別できない（がreCAPTCHAは設置されている）が、その時はその時。その事態の発生自体は苦情等から把握する必要。

タグ：

posted at 13:22:02

OokuboTact　大久保中二病中年 @OokuboTact

＃超算数

掛け算・順序強制などは小学校で蔓延しているトンデモ算数教育のほんの一部分に過ぎない。
しかもトンデモ算数教育を作っているのは、算数教育の専門家集団であり、その伝統は長い。
マジメで熱心な教師ほどトンデモ算数教育にハマりやすい。

タグ：超算数

posted at 13:25:25

＃超算数

小学校で蔓延しているトンデモ算数教育を知るには、本屋に行って、「教師向けの算数」参考書を見れば、しっかり書いてある。
教師向けの「算数雑誌」もおすすめです。

タグ：超算数

posted at 13:27:25

Febri編集部 @WebFebri

本日公開のFebriTVでは #プリキュアのキャラクターデザインを数多く手がける川村敏江さんにキュアエールを描いていただきました。ペン入れから、色鉛筆などを使用した滑らかな塗りをお楽しみください！　フル.verはYouTubeチャンネルにて公開中！ pic.twitter.com/W2dHVYmbB9

タグ：プリキュア

posted at 13:33:35

Febri編集部 @WebFebri

今回のフォロー&RTキャンペーンでは「#プリキュア」で数多くのキャラクターデザインを手がける川村敏江さん描き下ろしの直筆サイン入りミニ色紙を抽選で1名様にプレゼント！

🌟応募方法🌟
1️⃣ @WebFebri をフォロー
2️⃣ 5/25(火) 23:59 までにこの投稿をRT

詳細はコチラ
febri.jp/tv/kawamuratos... pic.twitter.com/tBcp2IUAhW

タグ：

posted at 13:37:09

外国からの妨害型サイバー攻撃に対しては、知らんふりする（何ら堪えていないようにみせる）ことも防衛として重要。
twitter.com/guillemet0u0/s...

タグ：

posted at 13:39:49

疲労困憊。

無限に体力があれば何でもできるが、人生そううまくは行かない。

タグ：

posted at 13:54:37

@Hyrodium なるほど！ありがとうございます．
maxだけをつかってどうにかいしようとしてたので，助かります！

タグ：

posted at 14:03:06

疲れているときもバックアップを忘れずに。
クラウド上にコピーがあっても全然安心できない。

タグ：

posted at 14:03:45

LlewkcoR@崖っぷち @llewkcor2178

今回の計算機実験でC, C++, Python, MATLABを使ったので、次の行列使うあたりではJuliaあたりを使いましょうかね

タグ：

posted at 14:05:32

@physics303 @Hyrodium #Julia言語

maximum(maximum.(values(x)))だとmaximum.(values(x))でメモリ割り当てが生じるのが嫌なら、

maximum(maximum, values(x))

とも書けます。Juliaには func(函数, 集まり)系の函数が沢山あって使える場合には使うと得です。

maximum(f, X)
minimum(f, X)
sum(f, X)
mean(f, X) pic.twitter.com/X6Rz0kpIFT

タグ： Julia言語

posted at 14:23:30

こんな仕様、誰にでもすぐわかるのに、隠す意味などない。この人でもそんなことがわからないの？
twitter.com/otsune/status/...

タグ：

posted at 14:26:43

出鱈目。基本的にIPAの脆弱性届出制度は、DoSを問題にしていない（迷いつつ受け付けてはいる）。なぜなら、サービスが機能しなくなることは当該サービス提供者の自業自得であって、情報漏えいの脆弱性など国民に被害が及ぶものについて届出を受け付けるとしているものだから。
twitter.com/ayu_littlewing...

タグ：

posted at 14:31:16

見つけたら報告が義務なわけではない。自身で運営元に通報するだけでも構わない（この制度は発見者が運営者より一般に弱者であることに鑑みて仲介するもの）（製品でなくWebの方の場合）し、直ちに事実を周知することの方が有益と考える場合には自己の責任でやってよいもの。
twitter.com/h_okumura/stat...

タグ：

posted at 14:45:27

Fortranたん @FortranTan

「Fortran」の人気が再燃？--専門家が考える現状と展望 japan.zdnet.com/article/351704...

「再燃」（人気ランキング20位）とはいえ、レガシーがある以外で果たしてFortranにアドバンテージがあるのかどうか……
格子QCDの計算コードをjuliaで書いたらFortranより速かった、なんて話まで見たしの……

タグ：

posted at 14:46:36

onefive15 @hanatmetal

プログラミング言語の「Julia」、1年の成長を示す数字が明らかに - ZDNet Japan japan.zdnet.com/article/351320...

タグ：

posted at 14:55:25

木村優志: Convergence La @orcinus_orca

HHKBでCAPSLOCKがはいってしまった．解除の仕方がわからん．．．

タグ：

posted at 14:57:02

@physics303 ソフトウェアキーボードをだすとか

タグ：

posted at 14:58:20

@orcinus_orca おおお！ありがとうございます！！なおりました！

タグ：

posted at 14:59:22

今回の報道が行なった検証行為は、「本来のワクチン接種を希望する65歳以上の方の接種機会を奪」うものには至っておらず、用いられた手段も適法なもの。上記のように、本件システムがこのような仕様となっている事実が、運営の現場と利用する国民に広く周知されることが必要。
twitter.com/KishiNobuo/sta...

タグ：

posted at 15:06:39

現場の士気をいう点では、元記事の「防衛省関係者」の行動をどうにかされたた方がよろしいでしょう。
dot.asahi.com/dot/2021051700...
「…直後、「ワクチン予約に大変な欠陥が見つかった。システムのセキュリティが機能していない」（防衛省関係者）という情報が飛び込んできた」
twitter.com/KishiNobuo/sta...

タグ：

posted at 15:14:22

ろぼ / SchiRoboTech @SchiRobo

光が丘オープンソースクラブ @hkr_osc

@hkr_osc さんに触発されて、手始めに楕円の媒介変数表示をPluto.jlでプロットしてみた。スライダーも初めてお試し。 pic.twitter.com/rIVqyUbmtu

タグ：

posted at 15:20:50

@OPPO89694572 おお。素晴らしいです。私はjulia全然触ってないのですが、学校数学を扱う場合、Scratchからの接続は、juliaなのかなと思ってます。

タグ：

posted at 15:23:10

ろぼ / SchiRoboTech @SchiRobo

@hkr_osc 私もJuliaよくわかってないので探り探りやっています。かなりシンプルかつ直感的にかける印象はあります。

タグ：

posted at 15:35:53

光が丘オープンソースクラブ @hkr_osc

この仕様を現場に周知しなければ、実際に不正キャンセルや誤入力での誤登録が起きているときに、「あなたは予約されていません。コンピュータは正確です。間違いありません。」と追い返すことになってしまうし、国民に周知されていなければ、それに反論することもできない。
twitter.com/HiromitsuTakag...

タグ：

posted at 15:46:23

@OPPO89694572 そうなんですよね。Pythonだとグラフ描画のライブラリが比較的わかりにくいところがありますし、Juliaのプロット機能は、初学者にも優しいと思います。

タグ：

posted at 15:50:19

C, C++, Fortran, #Julia言語と同等の計算速度を持つプログラミング言語を自分で開発したいと思った人は、外部のコンパイル済みのライブラリ内のsinなどの基本的な函数をリンクして使うのではなく、開発中の言語でsinなどの基本函数を全部実装し直さなければいけない。Juliaは実際にそれをやった。

タグ： Julia言語

posted at 15:55:14

Dr. KID @Dr_KID_

臨床メインの先生方には、少し内容は難しいかもしれませんが、観察研究における因果推論の統計学的な手法や考え方に関して、４章ほど執筆しています↓↓

【小児科診療・最新号】2021年6号
特集「統計的分析手法と研究デザイン」 twitter.com/shindantochiry...

タグ：

posted at 15:59:15

おお！意見が似ている。私も教育用のプログラミング言語として #Julia言語に期待しています。射程が長い。

例えば中学生くらいでちょっとした数学的計算をJuliaでできるようになった子に「今あなたが使っているJuliaならスーパーコンピューターが必要な計算もできるんだよ」と言ってあげられる。 twitter.com/hkr_osc/status...

タグ： Julia言語

posted at 16:02:49

子供のときには憧れから常に大人が使っているものと同じ最高の道具を使いたかった。

そして #Julia言語は現時点で大人が使っている道具の中で最高のものの1つです。

それをそのまま教育で使えれば波及効果が巨大になる可能性がある。

タグ： Julia言語

posted at 16:05:01

SwordOne @twinklepoker

光が丘オープンソースクラブ @hkr_osc

最近様々なツイートでJulia言語が話題に上がってくる。
どっかのタイミングでやってみようかな…

タグ：

posted at 16:07:20

@genkuroki リプライありがとうございます。Scratchは、数式でスプライトを動かしてグラフ表現をする作業に、数理的な感覚を含んだ学習が埋め込まれていると思うのですが、そのベースを充足させた次の段階で、Juliaのシンプルかつ強力な数理表現環境は、Scratchから移行しやすいと個人的に感じております。

タグ：

posted at 16:19:19

この主張は矛盾している。現にシステムがmrso.jpにある（.go.jpでなく）通り、data controllerは防衛省でなく当該民間業者となっており、それで良いのであれば、「全市長区町村が管理する接種券番号…を把握し…照合」は民間がすること。
twitter.com/KishiNobuo/sta...

タグ：

posted at 16:21:20

逆に「全国民の個人情報を防衛省が把握する事は適切でない」を言うのであれば、防衛省が運営者だということであり、防衛省がdata controllerとなって、.go.jp下で運用しなければならない。
twitter.com/HiromitsuTakag...

タグ：

posted at 16:28:49

注文してみた。 twitter.com/dr_kid_/status...

タグ：

posted at 16:29:56

Dr. KID @Dr_KID_

@genkuroki 私が書いたパートは、
因果ダイアグラム
傾向スコア
操作変数法
合成コントロール法

です。疫学の独特な考え方かもしれないので、黒木さんからすると異質に感じるかもしれません。

タグ：

posted at 16:38:02

@FortranTan その記事でインタビューされているCertikさんが #Julia言語のコミュニティで

discourse.julialang.org/t/julia-gets-m...
Fortranより速いJuliaのコードを持っているか？

と言ったせいで、結果的に、Fortranコミュニティで

discourse.julialang.org/t/julia-gets-m...
(gfortranでは)単純和がJuliaより8倍遅い

が話題になりました(笑) twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 16:50:39

相互リンク twitter.com/genkuroki/stat...

タグ：

posted at 16:51:15

話題になっている #Julia言語のLoopVectorization.jlは毎日更新されまくっています。私は毎日

pkg> up

しているので知っている。開発が急速に進んでいる最新パッケージの様子は未来に注目を浴びる仕事をする可能性がある若い人たちが特に見ておくべきことのような気がします。

タグ： Julia言語

posted at 16:58:39

また、「全市長区町村が管理する接種券番号を含む個人情報（引用時注：生年月日）を予め防衛省が把握し、予約番号と照合する」することも（目的内の利用である限り）問題がないと言うべきである。（政治的にそう言えないというのはあり得るが、乗り越えなければならない、）
twitter.com/HiromitsuTakag...

タグ：

posted at 17:02:23

もっとも、前記のとおり、生年月日を把握しても、安全にはならない。接種券番号の生成方法からしてやり直さないと無理。

タグ：

posted at 17:04:00

#超算数

かけ算順序強制はトンデモ算数教育の氷山の一角に過ぎません。

だから、かけ算順序強制には反対していても、それ以外のトンデモ算数教育を受け入れてしまっている文献の好意的な宣伝には慎重な態度を取る必要がある。

この辺は失敗をし易いところだと思います。 twitter.com/ookubotact/sta...

タグ：超算数

posted at 17:06:51

ばかをいえ。いつもの平時からの啓蒙の段階ではない。これは有事だ。平時の啓蒙では、将来に良くない設計・実装が広がらないよう防止していくことが求められるが、パンデミック有事の今必要とされていることは、とにかくワクチンを投与するというゴールを実現する運用だろう。
twitter.com/flurry/status/...

タグ：

posted at 17:19:22

ハア？「罵倒」というのは君自身の頭の中にあるものではないのかね？
twitter.com/Fukakusa_Cayce...

タグ：

posted at 17:20:14

リニア・テック別府伸耕 @linear_tec

同旨
twitter.com/HiromitsuTakag...

タグ：

posted at 17:28:09

流行りの"Julia"の実行環境をインストールしてみました．
以前から電磁界シミュレータを自作したいと思っていたのですが，せっかくなのでJuliaで書いてみようと思います．
#Julia言語 pic.twitter.com/vKS6rLb6ru

タグ： Julia言語

posted at 17:35:34

kitano@推しのサメ @kitano_blog

Dirichlet分布のパラメータ変化に伴う密度関数の変化の様子.
#Julia pic.twitter.com/0AKS5HSqav

タグ： Julia

posted at 17:41:50

kitano@推しのサメ @kitano_blog

2変数の関数として描いているのでごまかしが入っている.

タグ：

posted at 17:51:24

Tommy Ludwig @TommyLudwig

名前のバリデーションを実装する皆さんへ
典型的な日本人の名前を持たないユーザも考えてください。
・名前が9文字以上の人がいます。
・長音符号がつく名前もありますよ。
このバリデーションでコケてアカウント登録できなくて困っている僕がいます。

タグ：

posted at 18:21:29

#Julia言語

Plots.plot などは NaN を作画しないので、プロットして欲しくない場所の値はNaNにしておくとよいです。

f(a) = (x, y) -> x > 0 && y > 0 && x + y < 1 ? pdf(Dirichlet(3, a), [x, y, 1-x-y]) : NaN

nbviewer.jupyter.org/gist/genkuroki... twitter.com/kitano_blog/st... pic.twitter.com/6NEkRxNbjQ

タグ： Julia言語

posted at 19:39:42

#Julia言語 Dirishlet分布の密度函数

nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/y3jC6hQxAb

タグ： Julia言語

posted at 19:39:55

早川尚男 @hhayakawa

「勢いをつければ、ため池から這い上がれるのでは」という疑問に実験結果で回答(斎藤秀俊) - Y!ニュース news.yahoo.co.jp/byline/saitohi...

タグ：

posted at 19:41:15

kitano@推しのサメ @kitano_blog

@genkuroki ちょうど今, 改良しようと思い, プロットしない方法を探していました. ありがとうございます!

タグ：

posted at 19:44:00

こいなぎ @naginyan135

これ見て20年前の竜王戦を思い浮かべた人はやっぱり私と同じ感覚で仲良くなれそうだし、私が何言ってるのかわからない奴はやっぱり帰れガキってなる。 pic.twitter.com/NiaVv37J77

タグ：

posted at 20:03:30

#超算数玉さんのこれに2つの点で反論。
まず、今までの現代数学教育は綜合数学の流れを汲んでいると主張してるはずなので、分科主義の教科書は戦前最後になりえない。
次に、
山崎猛志『中等教育代数学』大阪、山崎猛一、1940年。dl.ndl.go.jp/info:ndljp/pid...
は併置積優先の説明義務があるのに怠る。 twitter.com/nemakineko777/... pic.twitter.com/Qmg3Tpckln

タグ：超算数

posted at 20:12:41

#超算数 2ページの記述に従えば、abcはa×b×cと同一なので、15a⁵b⁶c³÷3a²b³cを無条件に5a³b³c²と解してもらいたければ併置積優先を導入しなければいけません。この教科書の記述は、林 1931と同じでtwitter.com/nemakineko777/...、単項式の除法の説明としてのみ容認可能です。当該箇所は単項式を扱うので。

タグ：超算数

posted at 20:12:41

#超算数ことに山崎さんの方は、例2で÷の後にある単項式を括弧で括ることで曖昧さ回避ができることを示しているので、例1のような併置積優先ルールの密輸に手を染める理由がよくわかりません。 pic.twitter.com/4UpHYsz4Pb

タグ：超算数

posted at 20:12:42

#超算数次にこれtwitter.com/nemakineko777/...。おそらく単項式の除法だから特定の記号列を○÷△ と解釈するのだといっているのだと思います。それには、いつもかつも「諸君は以下の単項式÷単項式を計算せよ」とか「私これから単項式÷単項式の説明をしますねー」などと適切な文脈を与える必要があります。

タグ：超算数

posted at 20:12:43

#超算数文脈の提示を必須としないなら、誰がどんな条件でやっても記号列を数式として一意に構文解析できるように規約を定めないといけません。【プログラムを使って計算することを考え】ることを促す人が構文論を蔑ろにするは驚くべきことですtwitter.com/nemakineko777/...。

タグ：超算数

posted at 20:12:43

#超算数とりあえず最後はこれtwitter.com/nemakineko777/...。まず【「整式」の意味】から特定記号列が単項式であるかないかは判定できません。次に、数研出版教科書が単項式を【数や文字の乗法だけからできている式】と定義し、かつ4ab÷2a×2bも同書に現れるのだから、同書の定義に従うべき。

タグ：超算数

posted at 20:12:44

残り12件のツイートを見る

#超算数で、数研出版は困った記述になっているわけです。この両義性を悪意を持って利用すれば、ひっかけ問題が作れます。高校受験の出題とか。

タグ：超算数

posted at 20:12:44

リニア・テック別府伸耕 @linear_tec

@kitano_blog #Julia言語 y = tan x のグラフを描くときにもNaNが大活躍してくれます。

素朴にやると添付画像③のようになってしまう。

gist.github.com/genkuroki/b2b2... pic.twitter.com/o0A2yHmkzX

タグ： Julia言語

posted at 20:26:18