黒木玄 Gen Kuroki(@genkuroki)/2019年06月13日

Jupyter Notebook、markdownが書けてその中にHTMLが書けるし画像のロードもimgタグで出来るから完全にやりたい放題って感じ

タグ：

posted at 23:56:18

非公開

タグ：

posted at xx:xx:xx

連絡用なり @_n_ari

これJupyter Notebookでレポート完結するやんけ……

タグ：

posted at 23:51:20

#数楽証明の方針が同じと言っても、本質的な部分は

sin(a₀x)sin(a₁x)…sin(a_r x)

をsinまたはcosの和で書く公式を作ること。本質的に高校数学。非常に易しい話。

分母にx^{r+1}が出て来るが、部分積分を繰り返せば分母がxで分子がsinの和の形になり、Dirichlet積分に帰着。

タグ：数楽

posted at 23:35:23

#Wolfram言語 #Jupyter #数楽

Borwein積分のノートブックを作成しました。公式の証明付き。
nbviewer.jupyter.org/github/genkuro...

証明の方針は

www.thebigquestions.com/borweinintegra...

と同じ。

Wikipedia: en.wikipedia.org/wiki/Borwein_i...

twitter.com/genkuroki/stat... pic.twitter.com/YhQXSJ2GL4

タグ： Jupyter Wolfram言語数楽

posted at 23:23:59

Ess_Sci @Essence_sci

@hyusbox こういう問題は頭の中がかゆくなってくる。
この問題の作問者は算数教えるのやめた方がいいですね。

これは、突っ込んだ方がいいかもしれません。
自治体単位で使ってるならなおさらです。

タグ：

posted at 23:23:58

りす. @riss_gendarmery

①はないな…②はたまに言われるけど少ないな…話をする層が違うのかな…
私は
③どんなことやってたの？(聞いてすぐわかること前提)
④何が面白いの？
⑤私数学苦手だったー
って言われる
twitter.com/nekomath271828...

タグ：

posted at 23:20:43

#超算数　はあらゆる単元に潜んでいると思われる。概数もろくでもないことになっているんだろうな、とは思っていたけど、期待を裏切らない^^
twitter.com/hyusbox/status...

タグ：超算数

posted at 23:16:50

@the_braveX #数楽基本原則は

数学的記号法には決まり切った規則は存在しない

です。文脈に合わせてそれなりに合理的な記号法の約束事を場合ごとに決めるのが合理的だと思います。

どこでもあっても同じスタイルを貫くのはつらすぎ。

「場合ごとに異なる流儀を自在に使ってよい」としておいた方が気楽。

タグ：数楽

posted at 23:11:45

DSCF_1224_open @DSCF_1224_open

matplotlibに手を出した
（昨日のデータを利用） pic.twitter.com/4MnaSsI1kU

タグ：

posted at 23:10:11

@the_braveX #数楽 log x についても log x の多項式を中心にどうしても考えたいという場合には log² x = (log x)² とするケースがあるかもしれません。

しかし、log log x は結構よく出て来る式です。sin sin x はほとんど出て来ないのと対照的。

例えば log log x はベイズ統計の漸近論にも出て来ます。

タグ：数楽

posted at 23:09:49

非公開

タグ：

posted at xx:xx:xx

@the_braveX #数楽「cos x と sin x の多項式全体」がそれなりに数学的に価値のある函数の空間になるので、そういう文脈では、sin² x を、sin(sin x)ではなく、sin x の多項式の1つである (sin x)² にすることにはそれなりに意味があります。

続く

タグ：数楽

posted at 23:07:15

Chris Salzberg @shioyama

I understand that the Ruby core team needs to make decisions and cannot wait for unanimous consensus on new features, but this seems over the top to me. Why do some features take years to be accepted, yet this one gets merged quickly despite lack of almost any support?

タグ：

posted at 23:00:41

Chris Salzberg @shioyama

The "pipeline" operator just merged into trunk demonstrates a complete disregard for community. Nobody in the bugtracker discussion liked it. Responses on twitter were overwhelmingly negative. Nowhere is there any indication of *why* it was even approved. bugs.ruby-lang.org/issues/15799

タグ：

posted at 22:53:01

M.小林 @oigawa2

フォックス@ご当地入場券 @horuhis89

@horuhis89 Arcですよー

タグ：

posted at 22:51:51

@oigawa2 ソフトはArcですか？

タグ：

posted at 22:51:33

質問者2 @shinchanchi

日銀短観も推して知るべし、ですね
@AbeShinzo @sugawitter

大企業景況感、2期連続のマイナス　4～6月: 日本経済新聞 www.nikkei.com/article/DGXLAS...

タグ：

posted at 22:44:02

M.小林 @oigawa2

＃1日1地図
人が住む場所
昨日の地図が大反響で、様々な要望が来たので何日かはそれに応える地図を作りたいと思います。
今日は鉄道路線との重ね合わせです。黒が現在の鉄道、灰色が廃線です。

これを見れば廃線になった理由も見えてくる・・・？ pic.twitter.com/qV4cKiCh1B

タグ： 1日1地図

posted at 22:40:00

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

ryotako @ryotakoid

お久しぶりProcessing！
@deconbatch さんのnote(note.mu/deconbatch/n/n...)を参考に、ベクター・フィールド！

描いてて思ったんだけど、これ流体力学で習った流線図ってやつよね #Processing pic.twitter.com/2Mq9863LU1

タグ： Processing

posted at 22:18:11

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

hana @hana17986674

加納学：自転車で全都道府県へ @Dr_Kano

部活で疲れて大変だから、部活と勉強の両立の相談をしたら、「朝４時から勉強して時間を上手に使え」と指導されるし、コンクール前の午前４時起きはおかしいと言うと、「自分の時は午前3時から練習だった」と言う。小学校を卒業したばかりの12歳への教員の指導がおかしすぎる。これ、虐待じゃないの？

タグ：

posted at 21:49:35

非公開

タグ：

posted at xx:xx:xx

「レーザーポインタを照射したのは外部講師として招かれた、民間シンクタンクの社員」なのだから、効果的な再発防止策は実務家教員の排除だろう。

headlines.yahoo.co.jp/hl?a=20190613-...

タグ：

posted at 21:17:07

ｍ @m5196245258

ので、wolframで導出できることと暗算できることはその問題に限っていえば同じ性能に見えるが、複雑な問題になってくると変わってくるのではないかと

タグ：

posted at 20:36:55

ｍ @m5196245258

脳の中で自動的かつ即時的に導出できる事実の多さが発想力に直結してるのではないかという仮説を最近に抱いており、タイプして結果を見るというステップは人間の無意識の過程よりかなり遅い気がする

タグ：

posted at 20:35:34

ｍ @m5196245258

wolfram、基本強いけど、できない計算も多いので、wolframだけに頼った結果非自明な計算のとき困らないか心配になる

タグ：

posted at 20:32:17

Akinori Ito @akinori_ito

大昔に音声対話システムを一般向けにデモったときには、周囲のノイズでシステムが発狂して喋り捲った状態が一番ウケていた。いまなら「AIが意思を持った！」とか言われているだろう

タグ：

posted at 20:26:22

てくのたのしー @techno_tanoC

え？ruby 2.7で入るpipeline op、メソッドチェーンと同じ？
hoge(fuga(1))を1 |> fuga() |> hoge()って書けるとかじゃなく？

タグ：

posted at 20:17:43

古川 @furukawa1917

内心ではトランプをさほど嫌っているわけでもないのに中国人にはウケるだろうと忖度して悪乗りしてたら「無礼はやめなさい」と普通に怒られる日本企業がみじめすぎて面白いな

中国見本市で日本企業のブース閉鎖、ストレス解消の「トランプたたき」提供 www.afpbb.com/articles/-/322...

タグ：

posted at 19:32:22

V @voluntas

任天堂 NPNS における Erlang/OTP – V – Medium medium.com/@voluntas/npns... Erlang/OTP 普段書いている人からみた任天堂の NPNS について書きました。世界中で利用される、同時接続1000 万以上という超大規模をプッシュ通知システムを Erlang VM を利用し少人数で実現したの本当に素晴らしいです。

タグ：

posted at 19:22:09

増田の准教授 @ProfMasuda

実務家教員のすることですから仕方がありません。
民間企業では当たり前のことをしただけなのでしょう。
居眠り学生にレーザーポインタ照射...　大阪府立大、外部講師の不祥事を謝罪「教育機関として許せるものではありません」（J-CASTニュース） - Yahoo!ニュース headlines.yahoo.co.jp/hl?a=20190613-...

タグ：

posted at 17:57:11

でえもん @GreatDemon1701

@sekibunnteisuu @genkuroki @UFOprofessor 私もつい最近、九九があやふやなら足してみればいいし、割り算が苦手なら何回も引いてみればいいということを言いました。
そもそも九九があやふやだと普通の割り算はムリ。

タグ：

posted at 17:45:09

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Yossy @Yossy_K

そろそろパソナとベネッセは打ち壊しの対象になる勢いではなかろうか

タグ：

posted at 15:47:51

#Julia言語ぎょぎょぎょ。なぞな挙動が。以下の2つの結果(具体的には Y_Complex と Y_Tuple)が一致しません！微小にずれる。

z = x' .+ im*y
X_Complex, Y_Complex = real(z), imag(z)

z = ((x,y)->(x,y)).(x', y)
X_Tuple, Y_Tuple = (z->z[1]).(z), (z->z[2]).(z)

gist.github.com/genkuroki/fd72... pic.twitter.com/IRpdwlExfb

タグ： Julia言語

posted at 15:33:06

しかし、matplotlib.pyplotをつかっていると、背に腹は変えられないという感じで meshgrid が #Julia言語でも必要になることがある。私が

x = range(-pi, pi, length=400)
y = range(-1, 1, length=400)
z = x' .+ im*y
X, Y = real(z), imag(z)

のようなことをしているのは秘密だ。😎

タグ： Julia言語

posted at 15:16:50

元々はPython numpyネタなので

Create a structured array with x and y coordinates covering the [0,1]x[0,1] area

のようなmeshgridを使う問題が含まれている。meshgridも無駄にメモリを使う効率の悪い配列の使い方。

#Julia言語的には使うとダサいのかも。
github.com/JuliaLang/juli...

タグ： Julia言語

posted at 15:12:06

@genkuroki 嫌ってはいないが、教えるときは最初は　(sin θ)²　と書くようにする。頃合いを見て、一々括弧を付けるのは面倒くさいが、sin θ²　だとsin(θ²)と紛らわしいから、 sin² θ にする、というようにしています。

昔は、高校で三角関数の逆関数を扱っていたから紛らわしかった。

タグ：

posted at 15:03:23

ちと古いので #Julia言語 v1以上に合わせて誰か書き直して！

しかし、例えば、eye(3)をどう書き直すか悩む。単位行列ごときにn×nのfull arrayを1つ使い潰すのは格好悪い。LinearAlgebra.I で十分な場合が多い。

書き直しは非自明で面白い問題かも。

twitter.com/mathsorcerer/s...

タグ： Julia言語

posted at 14:55:18

@UFOprofessor @antiMulti @Vigorous_spirit @genkuroki デシリットルに関しては、単位変換の勉強にはまあいいかな、とは思います。1/1000Lだとやりにくいから、まずは1/10Lというのはわからなくはないです。ただ暗記する意味はなくて、テストなどでは、10デシリットル＝１L　と明記すればいいと思います。

タグ：

posted at 14:39:10

@PKAnzug

これ、鳩山氏ももちろんアレだけど、IPPNWのドイツ支部がアホなんですな。サイト見に行ったら思いっきり出てた。 pic.twitter.com/RXUmQRkR91

タグ：

posted at 14:16:12

あふらん/afran @pinwheel007

「これについてＩＰＰＮＷ本部において特段の議論が行われたことはありませんし、ＩＰＰＮＷ本部からも本件活動に関与していないとの回答を得ました。ＩＰＰＮＷ日本支部としてはこの活動に全く関与しておりません」
鳩山元首相が指摘「放射能五輪」欧米で命名　団体が声明www.daily.co.jp/gossip/2019/06...

タグ：

posted at 13:55:18

#超算数　＞50年前と比べて、かなり改善されてきていますが、

数教協のこの人は算数教科書が「改善されてきている」という認識である。

シンプルだった教科書が数十年かけて段々おかしくなってきているが。これは数教教から見たら、改善と言うことだろう。
8254.teacup.com/kakezannojunjo...

タグ：超算数

posted at 13:53:50

ごまふあざらし(GomahuAzaras @MathSorcerer

#超算数　今日も「教科書展示会」へナベちゃんの教育日記/ウェブリブログ 19452051.at.webry.info/201906/article...

タグ：超算数

posted at 13:48:48

Julia １００っぽんノック（コンコン）

github.com/chezou/julia-1...

タグ：

posted at 13:11:15

慎の字@開位指定 @Lv3Holy

怖いもの見たさでデータを確認してみたらもう「家電よりこの映像を売った方が儲かるのでは？」と思えるほどに映るわ映るわ。まさに怪奇映像の量販店

タグ：

posted at 12:39:04

k @musicisthebest_

xL+a≧y+aとすると、xL≧yとなり(帰納法の仮定)、x≦yに反する。
残りも同様。
(⇐)
x+a≦y+aより、xL+a≧y+a, x+a≧yR+aなるxL, yRは存在しない。
x≦yでないとすると、xL≧yかx≧yRでありうるが、帰納法の仮定よりxL+a≧y+aかx+a≧yR+aとなり矛盾。
#ONAG

タグ： ONAG

posted at 11:39:45

k @musicisthebest_

9

th.
x≦y⇔x+a≦y+a

pf.
(⇒)
そうでないとすると、以下のいずれかをみたすオプションが存在する。
x+aL≧y+a, xL+a≧y+a, x+a≧y+aR, x+a≧yR+a
x+aL≧y+aとするとy+aL≧x+aL(帰納法の仮定)よりy+aL≧y+aで、よってaL≧a(帰納法の仮定)だが、そのようなaLはない(7のcor.)。
#ONAG

タグ： ONAG

posted at 11:38:36

Akio Ino @inoakio

QuantEconがGoogle Colab上で動かせるようになってて、実行環境用意しなくてもその場でコード動かせて便利になってる（各ページ左上のjupyter notebook runから飛べる） colab.research.google.com/github/QuantEc... pic.twitter.com/8y8OU3kHpl

タグ：

posted at 11:31:26

k @musicisthebest_

柴田淳-みんなのPython/東進デジ @ats

ここから続き。 twitter.com/musicisthebest...

タグ：

posted at 10:43:31

非公開

タグ：

posted at xx:xx:xx

マルチユーザで利用できる開発環境Jupyter Hubを構築する。

www.facebook.com/minnanopython/...

タグ：

posted at 09:45:38

増田の准教授 @ProfMasuda

もしこれがご本人のツイッタアカウントなら、自らの主導した天下りについても広く語ってほしいわ。 twitter.com/brahmslover/st...

タグ：

posted at 09:36:17

#数楽むしろ心配なのは、sin² θ = (sin θ)² のスタイルを嫌うことの背景に「数学的記号法のスタイルは数学全体で共通でかつ固定されているべきである」という思い込みがある疑いの方。

実際には、数学的に定式化したいことは余りにも多彩なので、目的ごとに数学的記号法の流儀を変えないと苦しい。

タグ：数楽

posted at 08:57:01

#数楽続き。すなわち sin² θ のスタイルは、函数f,gの積を

(fg)(x) = f(x)g(x)

と定義するスタイルの特別な場合とみなされる。

多くの理由から、 sin² θ = (sin θ)² のスタイルもそう嫌う必要はないと思う。

タグ：数楽

posted at 08:57:00

#数楽

cos² θ + sin² θ = 1

における、sin² という記号法を「それだと sin(sin θ) と紛らわしい」という理由で嫌う人をよく見かけるが、

* sin(sin θ) は滅多に出て来ない。
* (sin θ)² を sin² θと書くと括弧を略せる。括弧はうざい。
* 函数 x↦f(x)² を f² と書くスタイルはよくある。続く

タグ：数楽

posted at 08:56:59

のののあ @nononoagi

私のPCが……😱 pic.twitter.com/lM9bDVuXJ7

タグ：

posted at 08:52:53

ａｐｕ @apu_yokai

satoshi@非IT系プログラマ @satoshiU71

Desmosで物理エンジン作ってる人がいてただただ凄い
仕組みがわからない
時間を変数にしてアニメさせる方法しか使ったことないんだけどこれはどういう仕組みで動かしてるのかな？ twitter.com/SumDumThum/sta...

タグ：

posted at 07:44:23

ChromebookにJupyter notebookをインストールする方法と使い方 pineplanter.moo.jp/non-it-salarym...

タグ：

posted at 07:17:42

三児 @suzuarataito

@George_Ohashi オッサンは損するだろうけど、その若い女性はそのオッサンがどこかに行ってくれたら助かります。とても助かります。オッサンが絡んでいる限りとても迷惑です。

タグ：

posted at 05:50:57

Wolfram Japan @WolframJapan

大橋穣二／『英文構造マンダラ』完成間近 @George_Ohashi

ピアノを習ってみたいけれど、ピアノを買うお金もなければ置く場所もないという貴方、こちらのブログでは #Wolfram言語と#UnityLink を使ってバーチャルピアノを作るという楽しいプロジェクトが紹介されていますよ。
wolfr.am/E89vpsK7

#ピアノ #Mathematica pic.twitter.com/I52hMbAV3O

タグ： Mathematica Wolfram言語ピアノ

posted at 05:22:00