黒木玄 Gen Kuroki(@genkuroki)/2019年12月16日

航空アドベントカレンダー16日目です
Juliaでメタプログラミング入門
qiita.com/hibi1104/items...
#julialang

タグ： julialang

posted at 00:09:02

積分定数 @sekibunnteisuu

体罰も掛け算の順序もクソ twitter.com/_TruKz/status/...

タグ：

posted at 00:09:57

#囲碁ルールううむ。山口さんのような優れた人物に、well-definednessが保証されそうもないバージョンの日本ルール対応のコードを書かせる仕事をさせるのは人の道を外れている。

日本囲碁規約の近似として池田ルールを実装した方がシンプルで無駄なバグも防げると思う。

twitter.com/tanasey/status...

タグ：囲碁ルール

posted at 00:11:18

#囲碁ルール日本囲碁規約ではなく、池田ルールならば、地とハマの計算法のままで合理的に勝敗の決着を付けられます。実戦解決可能なルールになっており、ルールに従っていれば審判不要。

harryfearnley.com/go/ikeda/j_men...

gobase.org/studying/rules...

home.snafu.de/jasiek/WMSGrul...

twitter.com/cute_na_piglet... twitter.com/cute_na_piglet...

タグ：囲碁ルール

posted at 00:19:27

#囲碁ルール子供の囲碁の大会の級位者の部の審判の仕事を手伝ったときには、「知らない審判のおじさん(俺のこと)に理解不能なまま勝敗を判定される級位者の子供達の大量発生」という地獄を見てしまった。

コンピューター囲碁ならなおさら審判不要のルールにしないとまずい。

タグ：囲碁ルール

posted at 00:25:13

非公開

タグ：

posted at xx:xx:xx

Arturo Erdély @ArturoErdely

Dr. Chris Rackauckas @ChrisRackauckas

Two Weeks With #julialang : a Java Programmer’s Journey Into New Paradigms by seth chapman link.medium.com/k0ezDPXtr2

タグ： julialang

posted at 00:40:51

@ChadScherrer @sir_deenicus I have already started testing integration of it with ModelingToolkit through MathLink.jl. It seems promising, but indeed the install is a little wonky because of licensing (free, but requires a license, so no auto-install)

github.com/JuliaInterop/M...

タグ：

posted at 02:10:17

あんちもん2 @antimon2

Channel のススメ for Julia v1.3 on @Qiita qiita.com/antimon2/items...

タグ：

posted at 02:25:36

あんちもん2 @antimon2

JuliaAdventCalendar2019 ( qiita.com/advent-calenda... ) の6日目埋めました。
Channel のススメ for Julia v1.3 qiita.com/antimon2/items... #Qiita #JuliaLang #Julia言語

タグ： JuliaLang Julia言語 Qiita

posted at 02:28:37

積分定数 @sekibunnteisuu

#超算数　アメリカの某州立大数学科准教授と言う人がこんなアホなこと言っている。

現在の学校の算数教育では、このツイートにあるような累加ではなく、1つ分×いくつ分で教えているのだが、そこはまあどうでもいいところ。 twitter.com/willyoes/statu...

タグ：超算数

posted at 07:16:50

NHK科学文化部 @nhk_kabun

去年１年間のアニメ産業の市場規模は、６年連続で過去最高を更新するとともに、「海外展開」が初めて１兆円を超えて全体の半分近くを占めています。www3.nhk.or.jp/news/html/2019...

タグ：

posted at 07:30:15

MKL.jl ってのがあるのか．

タグ：

posted at 08:47:23

Oh, MKL になっておる．
一回Juliaのセッションを起動する必要がある． pic.twitter.com/axagTEF1on

タグ：

posted at 08:54:58

またこいつか。

夕張の病院を無くしたら、夕張市民が健康になったとか与太記事を書いてたアホね。（医療が必要な市民が市外に流出したのが主な理由で医療費が減少したことを、健康になったと勘違いしている？勘違いさせたい？） note.com/hiroyukimorita...

タグ：

posted at 10:19:00

『欧州言語は語順が逆なので「３×４」は「４に３をかける」と認識される。』

おやおや。 twitter.com/willyoes/statu...

タグ：

posted at 10:20:44

この記事に関して言えば、『レバ刺し・鳥刺しの安全性』を論じるのに必要なデータは、レバ刺し・鳥刺しの提供禁止の厳格化の前後で『【レバ刺し・鳥刺しによる】食中毒の発症率』がどう変化したかで十分。

タグ：

posted at 10:30:29

その先の議論、鳥刺しレバ刺しの厳格な提供禁止を続けるか否かの議論で、厳格化前後での全食中毒発症率の比較は参考になるとは思う。

タグ：

posted at 10:30:30

鳥刺し・たたきのカンピロバクターに関しては松浦さんのこちらの記事に詳しい。
news.yahoo.co.jp/byline/matsuur...

タグ：

posted at 10:30:30

nisai @n1saaai

多分今まで読んできた専門書の中で、渡辺ベイズが（単純に）1番わくわくしながら読んでいる…まるで何かの物語を読んでいるみたい（数式を追えているとは限らない）

タグ：

posted at 10:55:33

#超算数算数ネタで「行列は非可換」とか言い出す人を馬鹿扱いして良いことは何年も前から有名ですが、「算数のかけ算は右加群」とか言い出す人や「日本語では右加群で英語では左加群」のように言い出す人も馬鹿扱いで問題ないでしょう。

相手が米国在住の数学が得意そうな人でも馬鹿扱いで問題ない。

タグ：超算数

posted at 11:12:34

大石雅寿 @mo0210

一応補足しておくと、チキンなのは論座編集部ではなく朝日新聞本社の上層部です。 twitter.com/konamih/status...

タグ：

posted at 11:13:32

#超算数掛算順序問題では、理系高学歴者の中にも少数いるおばかさん達が暴れて目立つ。

理系高学歴者の中のお馬鹿さん達が社会的に迷惑な存在だと思う人には「私は算数が苦手だったのですが、この理系高学歴者のW氏がおかしなことを言っていることは分かる」のように言ってもらいたい。

タグ：超算数

posted at 11:16:48

#超算数「日本なら～数学的には右加群を定義した事になる」と「右加群」という数学用語を使ったいかにも数学半可通の反応が行っていると思いますが、このスレッド全体で述べた理由から、その人の発言は参考にしない方がよいです。続く

twitter.com/pp_299torino/s...

タグ：超算数

posted at 11:19:27

#超算数 2つの添付画像の内容を比較してみて下さい。後者は

english.stackexchange.com/questions/2047...

の回答の引用。日本語と英語で文法からかけ算の順序が決まっていて互いに逆になるかのようなことを米国在住のW氏は述べていますが、実際に使われている英語を見れば単なるデタラメであることがすぐにわかります。 pic.twitter.com/ViSIOd3PRR

タグ：超算数

posted at 11:24:09

#超算数英語で

two times three

と書いたとき、

[two times] three (3の2倍)

two [times three] (2の3倍)

の両方の解釈が可能で、さらに

[two times three] (2と3の積)

のような特殊な解釈をすることも可能です。

以上は日本語の「2かける3」でも同様です。

タグ：超算数

posted at 11:31:23

#超算数資料

twitter.com/genkuroki/stat...

タグ：超算数

posted at 11:32:21

#超算数チョー算数批判では、順序指導が

パターンマッチ教育

と強く結び付いていることへの批判が重要。

twitter.com/genkuroki/stat...

タグ：超算数

posted at 11:35:13

#超算数 2つ上のツイートのリンク先が消えている。しかし

web.archive.org/web/2006101613...

で読める。 pic.twitter.com/J5zc6ZDWxW

タグ：超算数

posted at 11:47:22

#数楽最近の金土日に私とHさんが(うちわのミニワークショップで)重要性を強調した話も以下のリンク先の「状態変換の生成子」について。

そうか、「状態変換の生成子」という言い方もあるのか。

メモとしてリンクしておく。 twitter.com/hottaqu/status...

タグ：数楽

posted at 11:59:36

#数楽ただし、私が扱っているのは、連続的な対称性ではなく、離散的な(Weyl群の)対称性。

代数は可換でPoisson括弧が定義されている場合にPoisson括弧を保つ離散変換を作るよりも、代数が非可換なときに代数構造を保つ離散変換を

x ↦ axa⁻¹

の形で作る方が、純粋数学的にきれいな話になり易い。

タグ：数楽

posted at 12:04:27

#数楽物理学者は古典力学と量子力学の関係について物理的に考えるのでしょうが(当たり前(笑))、純粋数学的には、量子力学的な定式化が可能であればそうした方が「より完全だ」と感じられる数学が得られることが多く、「量子化」のような発想の重要性は単に物理的なものだけではないと言いたいです。

タグ：数楽

posted at 12:07:58

こなみひでお @konamih

この国で起きているのは，覚悟の上で告発した技術者や組織内の人が返り討ちされる事態であって，告白者に責任があるなどという主張には到底賛成できません。行政でも，大学でも，どの世界でも同じ構図のしっぺ返しにあっている人のなんと多いことか。告発制度が罠になっていることすらあります。 twitter.com/al25corta/stat...

タグ：

posted at 12:11:01

#超算数算数の話に、数学半可通が「右加群」という用語を持ち込んでいる別の例。

YouTubeは子供達が結構見ているので、有害教育動画を作ってYouTubeで公開している人達の社会への負の貢献度は結構大きいと思う。

twitter.com/genkuroki/stat...

タグ：超算数

posted at 12:12:27

Masahiro Hotta @hottaqu

@irobutsu 「縁緂繰る」の中の、操作的なニュアンスがある「操る」が個人的は好きです。「縁緂繰る」でも良いのではないでしょうか。

タグ：

posted at 12:25:03

松浦晋也 @ShinyaMatsuura

良識を疑う。編集で差し止めるべき案件。 twitter.com/mainichi/statu...

タグ：

posted at 12:26:15

Mami Tanaka @mami_tanaka

うおおおおー！！日刊ゲンダイがなんか言ってる💯💯💯 pic.twitter.com/19wXn2i2t7

タグ：

posted at 12:50:54

Mami Tanaka @mami_tanaka

幽霊👻！！秘密結社☠️☠️☠️！！まさかこんな謎の組織が大学入試共通テストの採点を請負い⁉️😱😱😱 pic.twitter.com/WnIF5txiYh

タグ：

posted at 12:55:04

@OokuboTact その本は、第三章が典型的なチョー算数的トンデモになっているせいで、チョー算数批判本でかつチョー算数推進本になってしまっているという問題があって、他人に安易に勧めてはいけない本になっている。

著者が自分のダメな点を認めていれば害は小さくなるのですが、現実にはトンデモさん化した。

タグ：

posted at 13:01:55

#数楽仮に三角函数の加法定理を覚えるとすれば、回転行列

cos θ - sin θ
sin θ cos θ

の積を経由したり、

e^{iθ} = cos θ + i sin θ

の積

e^{i(θ+φ)} = e^{iθ} e^{iφ}

の実部と虚部を比較するという経路をたどるのはセンスがよいと思います。続く

タグ：数楽

posted at 13:54:00

#数楽続き。よくある積分の計算問題

∫ e^{ax} sin(bx) dx

は

∫ e^{(a+ib)x} dx = e^{(a+ib)x}/(a+ib)

の両辺の虚部を比較すればよい。

cos, sin より、e^{iθ} の方が扱いが楽になることが多い。

タグ：数楽

posted at 13:54:04

#数楽「三角函数の3倍角の公式さえ暗記していない」とか言うお馬鹿さんをたまに見るのですが、3倍角の公式のような特殊な公式が特に有用になる場合が多いのは受験数学という真っ当な神経ではやる気が起こりそうもない分野に限ります。受験数学に自分の脳みそをオーバーフィッティングさせちゃダメ。

タグ：数楽

posted at 13:57:16

#超算数 n倍角の公式は

cos(nθ) + i sin(nθ) = e^{inθ} = (e^{iθ})ⁿ = (cos θ + i sin θ)ⁿ

の両辺の虚部と実部を比較すれば得られます(二項定理も使う)。

様々な計算をきれいに整理するだけでも、複素数への拡張が非常に有用なことがわかります。

タグ：超算数

posted at 14:02:25

あ、間違ってタグを付けてしまった。まあ、いいや。

#数楽数学の問題を楽に解けるようになるための知識の整理の仕方のコツは、「一段階上のレベルから眺めることができるようにすること」。

そういう事情があるので「〇〇を使うと減点される」というデマを平気で言う人から数学を習うと失敗します。

タグ：数楽

posted at 14:09:39

#数楽「〇〇を使うと減点される」のようなデマを吹き込むことによって、一段階上のレベルに立って眺めることができるようになる可能性を潰している教師達の社会的負の貢献度は巨大だと思う。

こういう発言のタグは #超算数でもいいかな(笑)。

タグ：数楽超算数

posted at 14:09:42

ことね @_ktnyt

面白すぎたので和訳しました
[和訳] Dropboxアカウントのせいで胃潰瘍になった qiita.com/ktnyt/items/a4... #Qiita

タグ： Qiita

posted at 14:41:24

Juliaを書いているとなぜか静的型付け言語を書いてる時と同じ意識になってくる不思議（バイナリベクトルはFloatやIntよりBoolの方がメモリ節約できるし壊れにくいよね、など）

タグ：

posted at 15:08:04

この人が、なんでこんなおかしな考えを抱くようになったのか、その理由がやっと分かった。😑（算数教育界の闇は深し） twitter.com/kuri_kurita/st...

タグ：

posted at 15:11:22

JuliaのJITコンパイルって、陽に型付けしないことでコンパイル時によしなにやってくれたりしますかね？
そうだとしたら人間がやるべき作業ではなくなり雑に書いても早くていいんだが

タグ：

posted at 15:11:53

forに関してはかなり最適化してくれてnumpy芸みたいなことをしなくても良くなるというのは聞いたことあるんだが

タグ：

posted at 15:13:29

「点を長方形に並べたものに対応させて（抽象化して）考える」と、「順番に意味などない」ということがバレてしまう😝ので、わざわざ「一つ分」を「線でかこむ」事を強要して、あくまでも「順番がある」という教義を守ろうとしているのか。
件の小学校の教員はその犠牲者か。
twitter.com/genkuroki/stat... twitter.com/genkuroki/stat...

タグ：

posted at 15:21:15

この件、先生に確認してきた。
結果から言うと無駄だった。
・×の理由は順序が逆だから
・文章の順序で書けとは教えていないが、先に大人が6人、と書いてあるからその通りに書かなくてはならない
↑支離滅裂で全く納得できない。指導要領にそう書いてあるですか？と聞いたら、「書いてあります」と。 twitter.com/wmpicaco_/stat...

タグ：

posted at 15:25:31

「私、子どもにうまく説明できなくて…」
とシタテに出たら「では私から説明します」と言われたんだがやめてくれ変なこと教えるのは。私を納得させられてないのに。
おまけに「間違ってるのになぜ修正して私の所に持ってこなかったのか？」と逆に責められる始末。
#超算数

タグ：超算数

posted at 15:29:30

この件で確実に、めんどくさい親だと思われた感じがした。
先生ごめんなさい…
いつもお世話になっていてありがたいけど、これに限っては小学校に対する不信感が…私立だったらこんなことないんだろうか。
#公立小学校

タグ：公立小学校

posted at 15:32:12

わざわざ色分けして「縦と横の対称性を崩す」とは。😱
twitter.com/genkuroki/stat...

タグ：

posted at 15:33:06

どなたか、私が納得できる解釈があれば説明していただけませんか。
このままでは息子に説明できない。先生はこう言ったけどママは間違っていると思う。先生がいつも完璧なワケではないんだよ、
と教えようと思う。
#超算数

タグ：超算数

posted at 15:36:31

このバカ話にも通じるかも。
twitter.com/kuri_kurita/st...

タグ：

posted at 15:36:53

ちなみに「始めに大人が6人いて子どもがあとから9人来ました」ならまだ納得できるとも伝えました。「そうですよね、わかります。でもダメなんです」との返事でした。

そこで、もうダメだこりゃと諦めれば良かったが、その後も多少グダクダ言ってしまった自分に反省…
#超算数

タグ：超算数

posted at 15:39:31

あ〜る菊池誠(反緊縮)公式 @kikumaco

#Julia言語 v1.3の機能を試してみました。スレッド並列を気楽に使えるのは確かにめちゃくちゃありがたい。

Channel のススメ for Julia v1.3 qiita.com/antimon2/items... #Qiita

タグ： Julia言語 Qiita

posted at 15:50:48

某所でマスコミ関係者にニセ科学の講演だん。50分しゃべって、45分質疑応答みたいな感じ。放射能の話もしてきました。参考になればいいのですが

タグ：

posted at 15:52:50

「息子は×の理由がわからず先生に聞きに行くのを躊躇したよう(本来聞きに行くべきだと思うが)」と伝えると、
「もしかしたら時間がなくなったのかも。100点の子はそうでない子が直して質問している間ずっと待ってなきゃならないので直しの時間は5分と決めている」と。

タグ：

posted at 16:38:20

新帯秀樹 Hideki Shintai @hs_heddy

100点ではない子が100点の子に迷惑をかけていると責められていような気持ちになった。だったら100点の子を待たせず自由時間にさせればよいのでは？
もう学校ってなんなの。

タグ：

posted at 16:39:34

Juliaでメタプログラミング入門
#Julia言語

 qiita.com/hibi1104/items... #Qiita

タグ： Julia言語 Qiita

posted at 16:43:05

先生が算数専攻の先生に相談して訂正してくるとか、別の納得いく説明を用意してくれば印象は変わるが、まあないだろうな。
専攻とかいう問題ではないのかな。

タグ：

posted at 16:50:52

私もその典型で先生にとって嫌な母親だろうな。もちろん、その志とか子供を統率するスキルみたいなものは尊敬するけど、算数に関してあんな説明しかできないんじゃ、ナメちゃうよ。
大人の私を納得させられなくて子どもに理解させられるわけがない。これが正だと押し付けるだけになるのが目に見える。

タグ：

posted at 16:57:58

#超算数【指導要領にそう書いてあるですか？と聞いたら、「書いてあります」と。】

書いてありません！

ググって学習指導要領を見れば誰でも確認できます。(学習指導要領解説という名の文書と学習指導要領は異なることに注意。)

平気で嘘を付いて来るので要注意。続く

twitter.com/wmpicaco_/stat...

タグ：超算数

posted at 17:14:23

#超算数算数教育関係の問い合わせに小学校の先生や教育委員会の人が「学習指導要領に書いてある」と嘘の回答をすることは、ここ数年間継続的に報告されています。

私も仙台市教育委員会に尋ねたら、学習指導要領と呼びながら、違う文書を添付して来たことがあります。すぐにばれる嘘を平気で付く。

タグ：超算数

posted at 17:17:04

#超算数算数教育について小学校の先生がデタラメな教え方をしているという問題は、「先生が自分の頭で考えてデタラメな教え方をしている」という理由で発生しているのではありません。

先生に算数の教え方を指南する立場の人達が、デタラメな教え方を先生に指示しているせいで発生しています。続く

タグ：超算数

posted at 17:19:44

#超算数あるケースでは、若い先生がバツを付けたくないのに、別の先生に合わせなければいけないというような理由で泣く泣く(実際に号泣したという話も聞いている)バツをつけているかもしれないのです。

保護者が学校側に質問する場合には以上のような可能性にも配慮した方がよいと思います。続く

タグ：超算数

posted at 17:21:57

非公開

タグ：

posted at xx:xx:xx

#超算数おそらく、小学校の先生が算数を教えるときに最も参考にしているのは、使っている算数の教科書の出版社による教え方の指示です。そういう指示は、教科書出版社が出している教科書のマニュアル本(教師用指導書、一般人購入不可)に書いてあります。

そこに沢山のデタラメな教え方が書いてある。

タグ：超算数

posted at 17:24:10

#超算数算数の教科書のマニュアル本以外にも、社会的に算数教育専門家とみなされる人たちは、過去数十年以上にわたって、算数に関するデタラメな考え方を小学校の先生達に吹き込み続けて来ました。

保護者は現実の算数教育がそういうことになっていることを理解し、子供を守るべきだと思います。

タグ：超算数

posted at 17:26:50

積分定数 @sekibunnteisuu

「（かける数）☓（かけられる数）というルール」？？？ twitter.com/jiei_yushi/sta...

タグ：

posted at 17:27:38

#超算数私は、算数教育界が過去数十年以上にわたって育んで来た算数に関するデタラメな考え方を「チョー算数」と読んでいます。

チョー算数の悪影響は公立と私立の区別なく子供を襲います。

「せっかく私立の小学校を選んだのに、かけ算順序でバツを食らった」という嘆きも見たことがあります。

タグ：超算数

posted at 17:29:39

omanuke @omanuke

岩永直子 Naoko Iwanaga『言 @nonbeepanda

子供に言うなら先生も親も嘘を教える可能性があるいつも疑う視点を持て大人を信用するなって言うかなー子供いないけど twitter.com/wmpicaco_/stat...

タグ：

posted at 17:37:42

本文の最後に書いてありますが、本人が断れば、請求できない診療報酬です。定期的、継続的に診てもらわなくてもいい、自分は丁寧な説明はいらないと考えるなら、最初に断ることも可能です。自己負担は増えません。 twitter.com/ItohMaki/statu...

タグ：

posted at 17:38:18

大石雅寿 @mo0210

現行の指導要領を確認したけれど、そのような記述は見つけられなかった。 twitter.com/wmpicaco_/stat...

タグ：

posted at 17:42:27

RochejacMonmo @RochejacMonmo

またまた鈴木寛氏によるダウト感満載の記事が出た。今度は記述式に関するもの。（不快そうなので読みたくないが^^;;)あとで読む。
headlines.yahoo.co.jp/article?a=2019...

タグ：

posted at 18:15:18

書いてないんかーい！
しかしそれ以外にも、他の先生の指示とか、別のマニュアルによる指針といった可能性もあるそうです。先生も大変だなぁ… twitter.com/genkuroki/stat...

タグ：

posted at 19:01:52

Ken-Ichi Sakakibara @quesokis

前野［いろもの物理学者］昌弘 @irobutsu

式に書かせた時点で可換であることを認めないとダメです．宗教を小学生に押し付けるなと言いたい twitter.com/wmpicaco_/stat...

タグ：

posted at 19:03:04

非公開

タグ：

posted at xx:xx:xx

前野［いろもの物理学者］昌弘 @irobutsu

世間にツッコミまくられているひどい記事なんだけど（そして私もたくさんつっこみたいけど）、画像の部分の「実現不可能なことをやれやれと言われたから、実現可能なしょぼいレベルに落として実行して『やりました』ってことにする」という流れが「日本の病」過ぎて泣ける。

headlines.yahoo.co.jp/article?a=2019... pic.twitter.com/AmEmVDcpWF

タグ：

posted at 19:15:07

どえらいコストを払って世間に迷惑かけつつ、しょぼいレベルで実行しておきながら（つまりは本来の目的は達成できてない）、報告書には「第一歩を踏み出すことに意味がある」とか書いておけば格好がつく（ように思える）あたりも、「日本の病」ですね。

幸いにしてこの件はまだ実行されてませんが。

タグ：

posted at 19:30:43

非公開

タグ：

posted at xx:xx:xx

なんか算数の件が若干燃えてて、先生本人の目に止まらないか心配になってきた…
入学してから今まで、学校や先生の対応に感謝することも多かった。先生も色々な人に色々な所を突かれて本当に大変だなとは思います。
これは一種の問題提起ということで！身バレしませんように。

タグ：

posted at 20:33:10

息子はこの件忘れてるかと思いきや、会った瞬間に「算数の話どうだった？」と聞かれた！気にしてたのかよぅ。
正直に「先生は式の順番が逆だと言っていて説明を受けたけど、ママは納得できなかった。どう伝えようか今悩んでいた所」と伝えました。

タグ：

posted at 20:36:25

そして「どう思う？」と聞いたら「わからない」と。混乱させたと思う。
意図せずとも(おそらく少数派であろう)出てきた文の順とは逆の式を書き、問題提起をし、なぜ違うのか？と疑問を持った息子を私は誇らしく思っている。
もう少し自分の考えが整理できたらもう一度きちんと伝えようと思う。

タグ：

posted at 20:43:38

Julia v1.3.0 で各々のラズパイでJuliaをビルドできるようにしておきました（げっそり）．

github.com/Julia-Embedded...

タグ：

posted at 20:46:01

#Julia言語で気楽に書くときには、陽な型付けを書かずにコードを書いて、函数の引数に予定通りの型のオブジェクトを突っ込んだときに、自動的に「FloatやIntよりBool」のようにコンパイルされるように書くのが普通だと思う。

「型付け」ではなく、「型の伝搬」。 twitter.com/389jan/status/...

タグ： Julia言語

posted at 20:48:03

#Julia言語を気楽に使っているときには、structも

struct Foo{S,T,U} <: Bar
x::S
y::T
z::U
end

のようなノリで書く。

a = Foo(691, 0.5772, "hoge")

とすると、aの型はFoo{Int64, Float64, String}になる。

タグ： Julia言語

posted at 20:48:10

#Julia言語入力の型から途中の計算で使われるオブジェクトや出力結果の型が自動的に決まるように書くことが人間の役割。

各々の変数を陽に型付けすることは、気楽モードで使っているときには滅多にない。

「型」ではなく、「型の伝搬」に注意を払うスタイル。

タグ： Julia言語

posted at 20:48:10

#Julia言語

build MKL

を始めてから30分。まだ終わらない。

タグ： Julia言語

posted at 20:50:21

@genkuroki コメントありがとうございます。より具体的にはどういったコードを書くことになりますか or 黒木さんが公開されているコードのどこをどう読み取れば型の伝搬が意識されていることを見れるでしょうか？

タグ：

posted at 20:52:54

@389jan @genkuroki Juliaのドキュメントを見るとType Stable に記述するとよいと書いてありますね．この例が参考になると思います．

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

タグ：

posted at 21:01:40

#Julia言語

 github.com/JuliaComputing...

build MKL おわた。40分くらいかかった。

しばらく、この状態でJulia v1.3.0を使って行くことにしよう。

MKL.jlではPackageCompiler.jlを使っている。こういう使い方もできるんですね。 pic.twitter.com/qY645HCZ1i

タグ： Julia言語

posted at 21:15:27

謎水問題で「問題提起」の記事がことごとく業者に圧力を受けています
悪質な商品を売るだけではなく、言論つぶしまで手を出すとは…

皆様のリツイートが頼りです
ぜひ問題を広めてください
法治国家でこんなことが許されて良いはずがない
nmr.nazomizu.com/rikatan/history

タグ：

posted at 21:16:29

Geof Hannigan, PhD @StartupSciences

So I like #JuliaLang for easy yet fast scripting, and am considering leveraging it in some of my #rstats work as well. Mostly I want Julia to do a couple heavy lifting tasks for R.

Has anybody tried this? It might crash and burn, but the JuliaCall package looks helpful. 🤔

タグ： JuliaLang rstats

posted at 21:23:17

Dr. Chris Rackauckas @ChrisRackauckas

いろいろコードを書いてBenchmarkToolsなどでベンチマークをとるとコツがわかってきますね．型が伝搬しないと途中でデータのコピーがconvert関数とかで暗黙的に走るので注意が必要です． twitter.com/389jan/status/...

タグ：

posted at 21:25:52

エイジ（どん亀医会） @udB58l3u2WMeh53

@iprophage I created the #rstats diffeqr package which utilizes the #julialang DifferentialEquations.jl solvers using JuliaCall. This has worked out really well and has been surprisingly easy to maintain. Would highly recommend.

github.com/JuliaDiffEq/di...

タグ： julialang rstats

posted at 21:36:38

柴山前文科省大臣ってどういう政治家なのでしょう。
少なくとも現高2生一保護者の私に理解出来る範囲では柴山前文科省大臣は今回の入試改革に関しては政治家としては失格だと思います。柴山先生ご自身がまだおわかりになってい無さそうなのは返す返す残念です。 twitter.com/KITspeakee/sta...

タグ：

posted at 21:43:35

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

闇のapj @apj

鈴木寛は福武財団の理事つまりベネッセ一味だが，なぜか記事には書かれていない。国公立の2次試験はほとんどが記述式だから，センターのみ判定の一部の私立大学（の学部）に記述式の2次試験を課すように指導した方が，出題採点ともに安定して実施できる。　headlines.yahoo.co.jp/article?a=2019...

タグ：

posted at 21:54:15

QmQ @gejiqmq

自然数どうしの掛け算なんて、加群とか使わないで最初から（定義上で）可換なように定義できるじゃん。何言ってるんだろう。

タグ：

posted at 22:11:27

@kankichi57301 @kankichi57301

初めにそう習ってたところでいつまでも従う義理はない
#掛算 twitter.com/willyoes/statu...

タグ：掛算

posted at 22:13:17

Geof Hannigan, PhD @StartupSciences

@ChrisRackauckas Thanks, this is really cool! This will be a helpful resource to reference. 😁

タグ：

posted at 22:16:25

RochejacMonmo @RochejacMonmo

既に多くの方が余りにもおかしな鈴木寛氏の議論にコメントしてくださっているので、あとでまとめてRTしたいが、個人的に一番失笑したのは下記のくだり。誤情報を拡散するだけでなく、自分の手柄話にしてしまう。ここまで現状認識が歪んでしまうともはや修正できないのではないか。 pic.twitter.com/QGLvUCGMzK

タグ：

posted at 22:24:36

一人で「戦闘員」をやっていた時は、僕の戦い方がマズいのかなと思っていました

しかし、有識者のコメントや専門誌の指摘記事が出てきても行政は動かないし、業者はますます暴れるばかり
何とかならないものか？

タグ：

posted at 22:39:46

ＳＮＳで見解を広めて、たくさんの「被害者予備軍」に届けるという地道な手段ですかね…

タグ：

posted at 22:39:47

あとは島根県立中央病院の黒い入札を表舞台に上げることか
地元メディアに活躍してほしい

タグ：

posted at 22:39:48

@389jan @MathSorcerer #Julia言語

 nbviewer.jupyter.org/gist/genkuroki...

私がすごく感心した例：

function f(x, n)
cf::typeof(1/x) = x
for k in n:-1:1
cf = x + (-1)^k/cf
end
1/cf
end

これは連分数のコードです。

f(1, 100)
→ 1.6180339887498947 # ほぼ (1+√5)/2

f(1//1, 10)
→ 13//8

続く

タグ： Julia言語

posted at 22:48:28

@389jan @MathSorcerer #Julia言語ポイントは

cf::typeof(1/x) = x

の行です。Juliaの気軽なコードでは珍しく、変数cfの型が指定されている。

「連分数になる変数 cf の型を 1/x と同じ型にせよ」と書かれている。x の型ごとに cf の型が変わります。

これが、私が非常に感心した「型の伝搬」の記述の例です。続く

タグ： Julia言語

posted at 22:51:02

@389jan @MathSorcerer #Julia言語連分数を計算するコードなので、出力になる変数 cf の型を引数 x の分数 1/x と同じ型にすることは数学的に自然です。

cf の型を x と同じにするとよくないことが起こります。

例えば x が Int のとき、xを含む分数の型は Int になるはずがないので、cf の型を x と同じにするのはダメ。

タグ： Julia言語

posted at 22:52:57

@389jan @MathSorcerer #Julia言語だから、

cf::typeof(1/x) = x

の行を単に

cf = x

と書くと、xの型がIntなどの場合にまずいことになります。

この例は非常に繊細で微妙な例で、

nbviewer.jupyter.org/github/steveng...

でそのように書かれていることを発見し、私は非常に感心しました。続く

タグ： Julia言語

posted at 22:54:34

@389jan @MathSorcerer #Julia言語上の連分数の函数は数値を求める函数として利用できるだけではなく、

using SymPy
@ vars z
f(z, 4)
→ 数式による表示 (添付画像を参照)

のように連分数を数式で表示するためにも使えます。

連分数のコードはバグりやすいのでこれは結構必須(笑)。 pic.twitter.com/RmSBVZr4dc

タグ： Julia言語

posted at 22:57:42

@389jan @MathSorcerer #Julia言語

 nbviewer.jupyter.org/gist/genkuroki...

には @ code_warntype の結果も含まれています。

cf = x

としてしまった場合には、赤字で警告が表示されます。

「型の伝搬」については、@ code_warntype で赤字の警告が出なくなるように書くことが基本になります。

以上で長い説明終わり！ pic.twitter.com/kGUAWRlKpt

タグ： Julia言語

posted at 23:01:18

@389jan @MathSorcerer #Julia言語のコンパイラーはかなり進歩して来ていて、以前は @ code_warntype で赤字の警告が出る場合には、計算速度的に大きく劣化することが多かったのですが、現在の Julia v1.3 ではそうなる場合がかなり減りました。

カジュアルに使う場合には赤字の警告もそんなに気にする必要はないかも。

タグ： Julia言語

posted at 23:03:34

@389jan @MathSorcerer #Julia言語を使っていてうれしいのは、「現時点の仕様に不満はあっても、じっくり待っていれば、開発者達がちょっとずつ改善してくれるだろう」という気持ちになれることです。

細かいことを気にしないユーザーが気付かないような大きな改善がちょっとずつではありますが、相当になされています。

タグ： Julia言語

posted at 23:05:28

@389jan @MathSorcerer #Julia言語上の連分数の函数を

function f(x::Float64, n::Int64)
略
end

のように書いてしまうと、有理数で計算したり、数式を表示させるのに使ったり、という使い回しができなくなる。

同一の函数の使い回しはプログラミングの基本中の基本なので無駄な型付けをするのは避けた方がよいです

タグ： Julia言語

posted at 23:09:56