黒木玄 Gen Kuroki(@genkuroki)/2019年05月03日

壁との衝突から束縛運動への移行 pic.twitter.com/gxvn3c8kk1

タグ：

posted at 00:09:53

シキノ @sikinote

自動微分を取り入れた甲斐があった。

タグ：

posted at 00:16:51

yasudayasu @yasudayasu_t

そしてアベノミクス開始からけっこうな時間が経っているのに、人数(↑↑)の部分が↑↑のペースでまだ拡大が続いているのよね。まあ、それだけ元々が凹んでいたということでもある。なお総労働時間やマンアワー労働生産性が上がっているので団塊世代引退の補充とも考え難い。
twitter.com/maeda/status/1...

タグ：

posted at 00:42:40

Cxx.jl，前試したときうまく入らんかったけど，今やったら普通に入ったな．普通にstd::stringにjuliaから文字列渡せるのか...．std::stringにcharの配列ポインタ直で代入できるんだっけ...？ pic.twitter.com/8taaRBjata

タグ：

posted at 02:10:12

Ess_Sci @Essence_sci

@imakarasuugaku あれ、もしかしてホントは20%アップと言いたかったけど出題者が間違えてる？と逡巡してしまう問題文。

タグ：

posted at 09:16:41

Akinori Ito @akinori_ito

サメが出た pic.twitter.com/E20yFNf35K

タグ：

posted at 09:18:12

伊藤萌菜 @Moana_0000

@akinori_ito 黄色い！！

タグ：

posted at 09:19:55

ultraviolet @raurublock

2016年にフィリピンで児童への接種が始まった世界初のデング熱ワクチン Dengvaxia だが、接種後にデング熱に感染するとむしろ症状が重篤化するという非常によろしくない結果になった。何が問題だったのか、という話
www.scientificamerican.com/article/how-th...

タグ：

posted at 09:20:53

ultraviolet @raurublock

実は、2015年の調査ではフィリピン人の93%は「ワクチンを信頼する」と回答していたのに、2018年の調査ではワクチンを信頼しているのが32%にまで急落しており、今年のフィリピンでの麻疹大流行の一因となった。Dengvaxia の惨状が影響している模様

タグ：

posted at 09:20:54

フレア/whiteflare @whiteflare_vrc

Julia開発メンバーのビルドボットで生成されたラズパイ３で動く #Julia言語 1.1.0 の配布の議論が出ているので、テスターとして動いた・動かなかったの報告があると喜ばれると思います。（私の環境では動きました）。

github.com/JuliaLang/juli...

タグ： Julia言語

posted at 10:20:41

@hiro_h @genya0407 実はここがオブジェクト指向の大混乱を招いてる核心で、各自が思い描いているオブジェクト指向像がすでに異なるんです。
array-sanさんはストラウストラップの「プログラム技法」的OOを、ひろさんはアランケイの「システムアーキテクチャ」的OOの話題をしてます。

タグ：

posted at 10:54:07

ジェノスくん、サイタマのこと尊敬しすぎ(笑)。

タグ：

posted at 11:00:37

言迷水 @genmeisui

津田和俊／急激に進行した網膜剥離と闘って @kaztsuda

謎水まんが。第64〜66話。
業者のトリックの核心です。
あまりに巧妙なので初見で気づくのは難しいですね。

#謎の水装置
 nazomizu.com/html/comic/mai... pic.twitter.com/e70j3UcTRI

タグ：謎の水装置

posted at 11:19:49

@Moana_0000 @akinori_ito 熊谷屋さんですよね、日替わりで色違いのサメをつくっているようです。

タグ：

posted at 13:11:15

合法先生2.0 @barbeejill3

「自分で選んだ高校だろうが、ルールは守れ、嫌ならやめろ」

全国の高校で教師がよく使うワードらしい。

しかし生徒の意見で多いのは「説明会で事前に情報があったわけではなく、高校のルールは入学してから知った」というもの。

変なルールがあるなら最初から言って欲しいよな。

タグ：

posted at 14:20:59

Hiroyasu Kamo @kamo_hiroyasu

数学教育の話で「発達段階」が出てきたらレッドアラート。

タグ：

posted at 15:25:42

Faust to C++ to Julia pic.twitter.com/ZNHs2Ah6gP

タグ：

posted at 16:12:57

実際，faustコマンドで作ったcppファイル少しいじっているのでアレ．コンパイルした時，dsp Classを継承するようになってるコードが吐き出されるけど，このdsp Class何者なんだ．

タグ：

posted at 16:21:32

それなりに読めるcppのコード吐き出してくれるFaustがすげぇな．というか，cppだけじゃなくてrustとかjsまであるの何なんだ． pic.twitter.com/h1V0cg025y

タグ：

posted at 17:13:17

#Julia言語 Julia言語からC++を使う仕組みであるCxx.jlが普通に

pkg> add Cxx

でインストールして動くようになっていますね。

Windows対応はまだ early stage でまともに動く部分と動かない部分があります。g++でコンパイルして作ったshared libraryをJulia側から使うことはできています。続く

タグ： Julia言語

posted at 18:39:03

#Julia言語

Cxx.jlのリポジトリ
github.com/JuliaInterop/C...

私がWindows上で試した結果
gist.github.com/genkuroki/17ac...

以下のスクショを見ればわかるように、Cxx.jlを使えば、Julia内でC++を使用できるようになり、g++で作ったshared libraryをJuliaから利用できるようになります。

そのスクショ↓ pic.twitter.com/Jr68oPBrXH

タグ： Julia言語

posted at 18:39:03

Akinori Ito @akinori_ito

@kaztsuda @Moana_0000 熊谷屋さんの「サメあります」のツイートを見たときには既に遅く，めったに買えません

タグ：

posted at 18:51:16

#Julia言語

 r9y9.github.io/blog/2015/12/2...
Cxx.jl を使ってみた感想 + OpenCV.jl, Libfreenect2.jl の紹介
December 22, 2015

タグ： Julia言語

posted at 18:55:24

@yamak0523 山Kさん、素晴らしいアンケートどうもありがとうございました。

どれだけひどい状態になっているかを再確認できました。たぶん、どこかで引用すると思います。

減点したり、不正解にするような人は中高生に数学を教えるには学力が足りていません。 #移項る

詳しくは別に書きます。

タグ：移項る

posted at 19:40:16

山K @yamak0523

@genkuroki いえいえ、少し自分のまわりで話題になったのでアンケートを取ってみただけです。

引用等は自由に行って頂いて構いません。

タグ：

posted at 19:42:44

山K @yamak0523

Twitter以外のブログ等での引用等はこのアンケートに限らず自由に行って頂いて構いません。

タグ：

posted at 19:46:41

#移項る中学校数学を教えるために必要な数学的知識として、可能ならば一意分解整域に関する基礎知識を要求したいし、最低でもℚ[x]とℤ[z]での素因数分解の違いの理解が必須。

アンケート結果で正解にする人が3人に1人しかいないのはひどい。

twitter.com/yamak0523/stat...

タグ：移項る

posted at 19:48:07

#移項る正しい採点の仕方は「2x²+6x+4を因数分解せよ」という問題の出し方自体にバツを付けることです。

どの一意分解整域の中で因数分解するかを指定しなければ問題自体が確定しません。

問題に不備があるので、減点したり不正解にする人は相当にひどい奴だということになります。

タグ：移項る

posted at 19:48:13

#移項る例えばℚ[x]における2x²+6x+4の素因数分解なら、(2x+2)(x+2), (x+1)(2x+4), (4x+4)((1/2)x+1)はどれも正解。ℚ[x]での素因数分解では素因数達の0でない有理数倍の違いは無視されます。この不定性が嫌なら例えば素因子は最高次の係数が1なものを書けとしておけばよい。

タグ：移項る

posted at 19:48:14

#移項る ℤ[x]における素因数分解なら、ℤ[x]における可逆元は±1だけなので、素因子達は±1倍の違いのみが無視されることになる。さらに通常の素数(ℤの素数)も素因子として出て来る。

このℤ[x]の場合と上のℚ[x]の場合の違いは中学校数学を教えるためには必須の予備知識です。

タグ：移項る

posted at 19:48:14

#移項る以上の私の説明がわかりにくいと感じた人は以下のリンク先の積分定数さんの解説も読めばよいと思います。

twitter.com/sekibunnteisuu...

タグ：移項る

posted at 19:48:15

#移項る中学校数学でまともな問題を作ってまともに採点できるためには、数学に関する専門知識(例：一意分解整域に関する知識)が必要です。

そのレベルの専門知識を持っている人達に積極的に教職に就いてもらうことは現状では難しいと思う。教科指導以外の仕事で消耗させられてしまう職場ではつらい。

タグ：移項る

posted at 19:48:15

@yamak0523 その件は私や積分定数さんの周囲では過去に何度か話題になっています。

しかし、ここまでクズのような採点をする側(正解にしない側)が多数派になっているとは思ってなかった！

twitter.com/sekibunnteisuu...

タグ：

posted at 19:52:44

@yamak0523 改めて解説を書きました。

twitter.com/genkuroki/stat...

タグ：

posted at 19:53:31

#移項る要するに以下のリンク先の指摘が正しい。

twitter.com/6yujin/status/...

タグ：移項る

posted at 19:54:54

山元周波数 @YamamotoShuhasu

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

@genkuroki こんにちは、現役教育学部(教員養成)数学科の学生です。

整域やＺ[x],Q[x],UFD,単元倍は無視できるなどの話を聞く講義は、うちの大学では3年後期に行われます。
しかし、あくまで選択科目のため、受講する学生はおよそ三分の一程度となっております。

タグ：

posted at 20:07:47

魔方陣の大家の北島君が来たので、魔方陣数え上げの話をしました。我々の論文では900マスの魔方陣が10^2056個くらいあるという結果なのですが、実際に生成した魔方陣の数はせいぜい億のオーダーなのに、よくそんな見積もりができるなあと、今さらながら自分でびっくり
journals.plos.org/plosone/articl...

タグ：

posted at 20:11:22

天むす名古屋 Temmus @temmusu_n

@YamamotoShuhasu 中学校や高校の数学の先生になるような人は環論入門の講義は受講しておかないとまずそう。

中高の教員免許を取る学生には機会があるごとに「先生になった後も数学の勉強を続けるべきだ」と言っています。

しかし、先生になった後に忙し過ぎて勉強する余裕がない場合があったりする。 #移項る

タグ：移項る

posted at 20:13:48

#超算数史料
作道乙雄『最近の思潮を基礎とせる小学校数学教授の根本的研究』甲府、山梨県、1931年。dl.ndl.go.jp/info:ndljp/pid...
91ページで #掛算の事実問題における逆順の立式を結果主義と批判。【最後の結果のみを尊重して結果に至る過程を余り考慮せぬのである。(次ツイに中断なく引用) pic.twitter.com/gyR7vIUzxY

タグ：掛算超算数

posted at 20:18:57

山元周波数 @YamamotoShuhasu

@genkuroki 自分で勉強、大変ですよねえ。
自分は今ゼミでマルコフ連鎖の本の輪講をしてるんですが、正直自分で本を読むの難しいです。でも、その分受け身でただ大学教員の話を聞くよりかは、遥かに力になってる気がします。

同じ数学科でも、教育系のゼミを選ぶと、そういう体験はできないわけで、もったいなあ

タグ：

posted at 20:21:14

天むす名古屋 Temmus @temmusu_n

@YamamotoShuhasu #移項る #超算数本当は算数を子供に教える可能性のある学生には環論入門の受講を義務付けたいです。

環論入門のかなりの部分が算数のやり直し。加減乗除(環や体の定義)、余りの出る割り算(ユークリッド整域、PID、イデアルで割ってできる剰余環)、分数(局所化)、素因数分解(UFD)はもろに算数。

タグ：移項る超算数

posted at 20:21:42

非公開

タグ：

posted at xx:xx:xx

#超算数
常に如何なることをなしつつあるか、如何なる事の計算をなすのであるかを自覚せしめて計算せしむることを要望する。】

こんなことをいいつつ、同ページで続けて理論偏重を批判するのは矛盾していると思います。#掛算の順序も【自由に開放せよ】！ pic.twitter.com/21GsYC11nR

タグ：掛算超算数

posted at 20:28:25

Takashi Hayashi @tkshhysh

それこそ経済学がもっぱら前提とする凹関数の生産（or リターン）関数の最大化からは分散投資が定石なのであるが，なぜ「選択と集中」が「経済合理性」にかなった政策として唱道されるのか，なかなか疑問である．非凸性・分割不可能性を想定してるから？

タグ：

posted at 20:30:13

@YamamotoShuhasu わけのわからない数学の本を読んで毎週発表するというような経験は貴重だと思います。

そういう数学のセミナーをくぐりぬけて大学を卒業した人は特別な敬意を持って扱われるべきだと個人的に思っています。

あれはマジ大変(笑)。

タグ：

posted at 20:38:36

toyo @toyo9

この結果は本当にひどいと思います。
「因数分解せよ。」と言われて、2(x+1)(x+2)としなければいけない必然性は全く無いと思います。 twitter.com/genkuroki/stat...

タグ：

posted at 20:46:13

シキノ @sikinote

反発→束縛運動→反発→束縛運動。めっちゃ楽しい。 pic.twitter.com/1nliGEbSJz

タグ：

posted at 20:51:16

大橋拓文 @ohashihirofumi

世界の未来予測 @KininaruMirai

四天王全員無勝負やってるのか！←そこｗ twitter.com/yoshiro_kaba/s...

タグ：

posted at 21:15:38

こんな映画みたいな武器本当にあるんだ…
もう護身用の銃いらないね
pic.twitter.com/KjxYn0n8yF

タグ：

posted at 21:20:54

Mami Tanaka @mami_tanaka

パンストとセットで履かされるパンプスはどうしてもつま先を圧迫するから、何も引っ掛けなくても足の親指のところから穴があく。まああんな非経済的、非衛生的な意味のわからない袋で毎日足を窒息させる被虐趣味はたくさん。

タグ：

posted at 21:34:28

Chainer meet up のLTで話されていた方の資料をもとに Julia から PyCall 経由で Chainer(Pythonで書かれた深層学習フレームワーク)を使うことができました。
Chainer で学習したモデルをJuliaから使うのはとても容易ということがわかります。PyCall の良い練習にもなるん。

gist.github.com/terasakisatosh...

タグ：

posted at 21:38:43

山元周波数 @YamamotoShuhasu

@genkuroki 黒木さんのような方でも大変だと感じると聞いて、ちょっと安心しました。

タグ：

posted at 22:11:06

Juliaのunshift! 関数は消えたのかな？

タグ：

posted at 22:14:40

#Julia言語

黒木さんのツーイトでCxxがJulia1.1.0でも動くようになったことを知ったのでMacで動作を確認.
動きました。

Cxx.jlの中の人が #黒魔術で本気を出したようです。

ちなみにラズパイは動作対象外っぽい・・・。 pic.twitter.com/guuVzYEUF5

タグ： Julia言語黒魔術で本気を出したようです

posted at 22:48:28

Cxxの中の人本気を出したようです・・・。 twitter.com/genkuroki/stat...

タグ：

posted at 22:48:40

WIRED.jp @wired_jp

オスの存在理由、実験で証明される（アーカイブ記事）
bit.ly/2QNiuqZ

タグ：

posted at 23:00:30

ポン酢考えた奴は天才。大抵のものにかけてもうまい。

タグ：

posted at 23:00:56

#Julia言語

 github.com/JuliaLang/juli...
v0.7
unshift! and shift! have been renamed to pushfirst! and popfirst!
↓
github.com/JuliaLang/juli...

twitter.com/mathsorcerer/s...

タグ： Julia言語

posted at 23:07:26

@genkuroki ありがとうございます。

タグ：

posted at 23:11:12

BinaryBuilder.jlでArmのバイナリーを作ってないだけっぽいので、技術的に可能であればCxx.jlを動かしたいなぁ。

タグ：

posted at 23:12:01

斜陽 @ty_ring

詳細書かれてないからあれだけど、見た感じ胡散臭さとしょぼさしか感じない。気温データだけで予測って。。。よくある「アルゴ試してみた」レベルの内容では🤔
京大、ディープラーニングにより精度97%で気候変動を予測する手法を開発: 日本経済新聞 www.nikkei.com/article/DGXLRS...

タグ：

posted at 23:12:47