黒木玄 Gen Kuroki(@genkuroki)/2018年02月10日

@miyasonotoka 続）どうしても子ども達に #掛算順序を守らせるというなら、そういう警戒をしてくれなければ困る。
もうひとつの選択として、それは大変だから、「順序はどうでも良い」とするのもありえるじゃないか、どうせ中学以降は小学校ルールは捨てなければならないのだから。
と、私は考えます。

タグ：掛算

posted at 23:59:10

@miyasonotoka 続）「おや？俗世間でやっている事とは違うぞ？　いや、自分自身だって、うっかりすると２年生に教えた事に反する事をやってしまうぞ。子ども達に悪い見本を見せないように、教える側が徹底しなければ」と警戒しなければいけない、そういう問題なのです。（まだ続きます　#掛算

タグ：掛算

posted at 23:54:46

@miyasonotoka 【これに関してあなたはどのように受け止めていらっしゃいますか】
よくぞ聞いてくださいました。
では私の意見を申し上げます。
（小学校をとっくに卒業した）俗世間の大人は「#掛算の順序はどうでも良い」と考えるのが当たり前なのです。
２年生に「この順序だけが正しい」と教えるのなら

タグ：

posted at 23:51:44

@miyasonotoka 続）
家庭で子どもに「学校では　６０×●　とするはずだから、その通りにしよう」と言っていたら、上の学年に行ってから裏切られてしまうことになります。
こういうのは困ることだと、ご理解いただきたいです。　#掛算

タグ：掛算

posted at 23:45:25

@miyasonotoka 【60×2が正しいと】
ありがとうございます。
２年生時点でのルールに従えばそうなりそうな物ですが、一部の地域の教育委員会では違うのです。
岩倉市　www.iwakura.ed.jp/nihongo/sansu%...
大阪市　は（元のページが消失しました）
続きます　#掛算 pic.twitter.com/obCWMOBAKk

タグ：掛算

posted at 23:44:27

しろねつ @shironetsu

イーガンのツイッターアカウントのあれ
はてなブログに投稿しました #はてなブログ
球面調和関数で正20面体をつくる - Shironetsu Blog
shironetsu.hatenadiary.com/entry/2018/02/...

タグ：はてなブログ

posted at 23:44:22

@miyasonotoka いきなりで失礼します。
【掛け算の順番を細かく指摘する教師はイッてよしとか言う奴らにそういう子達見せたい】
とのことなので、#掛算の順序についてお聞きしたいと思います。
「２時間を分に換算する」というとき、
60×2 と
2×60 の
どちらが正しいのでしょうか？
私はこれでずっと困っています。

タグ：掛算

posted at 23:31:26

妹尾雄大 @senooyudai

>45～54歳の回答者は16歳になる前にコーディングを始めた割合が47％だったのに対し、18～24歳の若者が16歳までにコーディングを始める割合は20％

ＰＣから初心者向けプログラミング環境を分離したのが原因よね。Win95にVisualBasicが標準搭載されていれば歴史は変わったかも gigazine.net/news/20180203-...

タグ：

posted at 23:26:25

ちなみに私が Chrome で普段使っているフォントの組み合わせは添付画像の通りです。 pic.twitter.com/6pdiBeV321

タグ：

posted at 22:56:47

中乃井みあき @nakanoi_miaki

「江戸しぐさはフィクションとの説が有力です」と原田実さんに力説する人も。
あと清水高志さん、まさかRTしただけで立腹してブロックした！？ pic.twitter.com/x2GjfUsInm

タグ：

posted at 22:54:43

たぶん、私以外の多くの人が miiton さんに感想をフィードバックすれば建設的な話になって非常によいと思いました。

σ² とか x₁ のように書いて見易いフォントセットがあった方が便利です。

タグ：

posted at 22:52:36

@MIITON * σ² の σ と ² のくっつき方と x₁ の x と 1 のくっつき方について、私には Migu 1M は離れすぎで、CicaTestIss22A はくっつき過ぎに感じられる。(好みの個人差があると思う。)

私以外の多くの人の意見を募った方がよいと思いました。

たぶん、私はフォントのテストには付き合い切れないです。

タグ：

posted at 22:50:58

中乃井みあき @nakanoi_miaki

オオモリヨシユキ @yoshiyu1234

「釈迦に説法」？
原田実さんに「江戸しぐさに言及しろ！」と迫る大学教授さんですか。 pic.twitter.com/EfU1z9VymL

タグ：

posted at 22:49:10

年収400万家庭と900万家庭で一番支出額に差がある費目ってなんだろと思って調べてみたら、全体の消費支出額に1.51倍の開きがあるのに対して、教育費が6.14倍という結果に。子供の数も1.61倍違うので、それを加味しても子供一人あたり教育費が3.81倍も違うんだな。

タグ：

posted at 22:48:18

@MIITON 試してみました(添付画像)。普段は Migu 1M を使っています。

* 0, o, O の区別が容易である点は Migu 1M の方がbetter.

* なるほど、小さな数字の下付き上付き文字のサイズは CicaTestIss22A の方が微妙に見易い感じがします。

続く pic.twitter.com/x9XiiBUUld

タグ：

posted at 22:48:01

#Julia言語 Ei函数を試してみたモチベーションは素数定理です。素数定理で登場するli函数はli(x)=Ei(log(x))と書ける。x以下の素数の個数とli(x)を同時にプロットすると添付画像のようにぴったり重なります。(本当は誤差があるのだが、プロットでは全然わからない！) pic.twitter.com/AchyIxQxBx

タグ： Julia言語

posted at 22:22:41

「 #Julia言語だと C や C++ と**違って**速度的な劣化の心配があるから使う気になれない」というような印象を述べる人は実証的に確認せずにそう言っているのだと思う。CやC++でも速度的な劣化を防ぐためにはそれなりに注意が必要なように、Juliaでも注意が必要。単にそれだけのことだと思う。

タグ： Julia言語

posted at 22:18:52

#Julia言語私の経験では、ありがちなCのコードをJuliaに翻訳しても速度的な劣化はないと判断して良い感じです。

JuliaにはJuliaなりに書き方によって計算速度が落ちるのですが、C++についても遅くなる理由をググってみると

heavywatal.github.io/cxx/speed.html

などが上位で見つかり、そう大した違いはない。

タグ： Julia言語

posted at 22:16:14

柞刈湯葉（いすかり・ゆば） @yubais

#Julia言語試してみたのは

www.aip.de/groups/soe/loc...

と

www.mymathlib.com/c_source/funct...

にあるCで書かれたEi函数をほぼ忠実にJuliaに翻訳して、計算速度の劣化がないかどうか確認することです。結果は

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

にあるように、実質的に違いはないと判断できます。

タグ： Julia言語

posted at 22:12:00

この本、情報工学的な暗号理論だけでなく「電圧を低下させてICチップの誤作動を起こして差分から秘密鍵を読み取る」みたいな物理攻撃も紹介されていてたいへん熱いですよ

タグ：

posted at 22:10:51

ｾｸｽｨ・ナカナカピエロ @NakanakaPierrot

#Julia言語

 nbviewer.jupyter.org/gist/genkuroki...
Cで書かれた指数積分函数Ei(x)とそれをほぼ忠実にJulia言語に翻訳した結果の計算速度の比較

結論：計算速度に違いはない。

CをJuliaに翻訳してもほぼ同じ計算速度で、ほんの少し遅くなったり、ほんの少し**速く**なるかのどちらかでした。

タグ： Julia言語

posted at 22:09:24

柞刈湯葉（いすかり・ゆば） @yubais

@ta_to_co 今はJuliaが流行っているみたいですよ。

タグ：

posted at 21:26:26

「光速は俺らには遅すぎる」なみのパワーがある
amzn.to/2EjUe9y pic.twitter.com/jDg5cCur5K

タグ：

posted at 21:22:30

@miiton @MIITON

@genkuroki 突然失礼します。合成フォントを作成している者です。ツイート拝読しまして、なるほどなと試しに実装してみているのですが、見易いかどうか1人では判断つかず、もしよろしければご意見頂けないでしょうか。
github.com/miiton/Cica/is...

タグ：

posted at 21:16:03

積分定数 @sekibunnteisuu

#掛算　 #超算数　これ、10年ぐらい前に塾の生徒が小学生時代にそうだったというようなことを言っていて、思い違いか何かだと思っていたけど、最近は「あってもおかしくない」ぐらいには思っている。
twitter.com/szsxyIZPxSPI2U...

タグ：掛算超算数

posted at 20:40:42

#Julia言語結構みんな使っているのが

a = []
for i in 1:n
xを計算
push!(a, x)
end

のような書き方。私はpush!のオーバーヘッドが気になる。大抵の場合、気にする必要はないんだけど。

たぶん上の書き方が「普通」な人はJuliaで「普通に速いコードを書ける」と感じないかも。

タグ： Julia言語

posted at 20:36:34

山本一成 @issei_y

@furunoda 続きが木になる方はこちらへ
nlab.itmedia.co.jp/nl/articles/18...

タグ：

posted at 20:35:09

山本一成 @issei_y

ふるのださん @furunoda に例のブツの写真を撮らせてもらいました。どうなっているんだ… pic.twitter.com/1wKFb0ZJqZ

タグ：

posted at 20:34:43

piqcy @icoxfog417

ごまふあざらし(GomahuAzaras @MathSorcerer

オープンソースのシムシティ2000が。強化学習環境として使えるようになるかもとのこと。アツイ。 twitter.com/genekogan/stat...

タグ：

posted at 19:13:31

しゃー。Ubuntu＋Chainer＋GPU環境が構築できました。幸せ。

タグ：

posted at 19:05:12

ytb @ytb_at_twt

ごまふあざらし(GomahuAzaras @MathSorcerer

ついこの前も「クーンによって科学と非科学の間に確定的な境界線を引くことは不可能であることが示されたのだから、何かをニセ科学よばわりするのは間違いだ」って言ってる人がいましたね。 twitter.com/y_bonten/statu...

タグ：

posted at 18:31:28

Ubuntu 16.04 LTSにChainerをインストールする - TadaoYamaokaの日記 tadaoyamaoka.hatenablog.com/entry/2018/01/...

タグ：

posted at 18:25:07

非公開

タグ：

posted at xx:xx:xx

Paul Painlevé @Paul_Painleve

日本数学会の春と秋の学会が参加費・登録なしというスタイルなのは、そうする必要を感じなかったからでしょう。学会の規模が大きいわりに部外者が少ないし、企業との関係もほとんどないから、学会そのものをオープンで開催してもさほど困らない。

タグ：

posted at 18:02:53

ひる @Eve_hiru

弟のプリント数学的におかしいだろこれ pic.twitter.com/e1cYSLDUKr

タグ：

posted at 18:01:12

HIROPON @hiropon_matsu

池田剛介『Jodo Journal 4』 @kosukeikeda

@k_nitadori @ceptree 牛島本はあまりお薦めしない。特にOpenMP本は肝心な事が書いてない。数値計算なら、森、一松。FORTRANガチでやるなら"FORTRAN EXPLAINED"。日本語訳の詳解FORTRAN(共立出版)は雑誌扱いで入手不可。

タグ：

posted at 18:00:52

正倉院の文書を複製するのに350万足らずクラウドファンディングしないといけない状況て終わってんな......
予算縮減で、1300年前の貴重な「正倉院文書」が危機的状況に « 日刊SPA! nikkan-spa.jp/1451333?displa...

タグ：

posted at 17:45:50

.@jagarikinさんの振り子を微分方程式の数値計算でやってみた

twitter.com/jagarikin/stat... … pic.twitter.com/Gudz7lbuwy

タグ：

posted at 17:42:57

らじうむ小山_PPPMP @Ra_koyama

ペット用マッサージャーを作れば売れる…と思ったんだが、すでにありそうだな。 twitter.com/dougawarawara_...

タグ：

posted at 17:38:50

Iwao KIMURA @iwaokimura

一方この流儀のせいで，主催側（実行委員の先生方）は苦労することもあるそうです．例えば，自治体の学会誘致に対する補助金申請の際に，参加者数を問われて困るという :)

タグ：

posted at 17:26:35

Iwao KIMURA @iwaokimura

日本数学会のこの流儀に慣れると、参加登録とか参加費という概念が難しく感じられて苦労しますね🙂 twitter.com/kadamasaru/sta...

タグ：

posted at 17:16:58

Google Colaboratory内で画像やCSVファイルにアクセスするのが一苦労だった話 qiita.com/yoshizaki_kkgk...

タグ：

posted at 17:15:48

@mdsch23 おっと失礼。
おっしゃっているのは「学校では間違いを教えてもいいと言う人は」という前提つきの話ですね。
そういう事でしたら、確かにそういう強権的なパターンもありますね。#掛算

タグ：掛算

posted at 17:11:04

づみ @dudu2358

もう抜けやんかもって焦った
#飼い主の心臓に悪いペットの寝相コンテスト pic.twitter.com/RATW39wnH7

タグ：飼い主の心臓に悪いペットの寝相コンテスト

posted at 17:08:33

@mdsch23 いきなりで失礼します。
【黙ってろ、反権威野郎め、ぐらい思っているだろうと予想】
とのことですが、教えている側は「これが子ども達のためだ」と素で信じているようです。#掛算
参考→ twitter.com/ita_math/statu...

タグ：掛算

posted at 16:59:46

@genkuroki @tkf ありがとうございます。ベイズ統計や情報量規準の話だと数値積分での計算速度が求められるんですね。

タグ：

posted at 16:53:50

あおじるPPPP @kale_aojiru

遂に出たか twitter.com/szsxyIZPxSPI2U...

タグ：

posted at 16:52:55

@tkf @ceptree 私の個人的な意見ですが、やはり、コンピューターは計算が速いことは基本的に極めて重要で、目先の問題を解くためには十分な速度だけを確保したシステムが普及してしまうと、後の世代の人達は結果的に非常に苦労することになってしまう。

タグ：

posted at 16:44:06

@tkf @ceptree 補足：以上の問題は、Stanにも数値積分函数が装備されるようだし、R側にもより高速な数値積分パッケージが使えるという話もあるので、R+Stanだけでもある程度は適切に対処可能かもしれない問題です。みんな、いろいろ頑張っている。

タグ：

posted at 16:40:48

@tkf @ceptree R+Stanでは、Julia開発のモチベーションの一つである

two-language problem

がもろに発生している感じ。

個人的にはR自体がそのまま高速化可能ならよいと思うのですが、Julia言語が何をやっているかを知ったら無理だと理解できた。

タグ：

posted at 16:36:42

@tkf @ceptree ググると、R+Stanで階層ベイズモデルを簡単に数値的に解けることを試している人達は結構見つかりますが、そうやって得た推定結果の信頼度を客観的な情報量規準で比較する方法まで触れている人は松浦さん以外になかなか見つからない。

複雑なモデルでフィッティングだけをやっているようぬ見える。

タグ：

posted at 16:32:56

@tkf @ceptree こういう問題はRが速ければ生じなかったと思われます。

計算速度が出ないことが原因で、階層モデルによる推定結果の相対比較に使える情報量規準の計算が疎かにになっているように見える。

より複雑な階層モデルほど信頼性の比較が必須なのにそういうことになっているわけ。

タグ：

posted at 16:28:54

@tkf @ceptree Stanのコードはc++に変換されてコンパイルされるので速いです。

しかし「Rを使いこなし、Stanを使いこなし、さらにStanの側でシンプソンの公式で数値積分するコードも自分で書いて、全体の精度を十分に保つ」なんてことを普通にできる人は極めて稀だと思います。

タグ：

posted at 16:25:58

@tkf @ceptree p(x|w)の形がわかっていなくて、p_1, p_2 しかわかっていない場合には、p(x|w)を得るために数値積分が必要になってしまうのだ。

上で引用した清水さんのスライドではRのintegrate函数で計算していてかなり遅くなっています。

後者の松浦さんのブログではStanの側でシンプソンの公式で積分している。

タグ：

posted at 16:22:02

@tkf @ceptree ～回す必要がある。データと事前分布を与えて、MCMCをまわすと、(z,w)の事後分布のサンプル(z_i,w_i) (i=1,...,L)が得られます。

しかし、予測のために欲しいのはxの分布。そのためにはp_1,p_2の積をzで積分したp(x|w)が必要になります。予測分布の精度の指標であるWAICの計算にもp(x|w)が必須。

タグ：

posted at 16:16:44

タグ：

posted at 16:12:07

@tkf @ceptree MCMCを回すこと自体よりも、階層モデルにしているせいで、MCMCで作った事後分布のサンプルのサイズに比例した回数の数値積分が必要になるので大変なことになる仕組みです。

階層化されていないモデルとはパラメーターw付きのxの確率密度函数p(x|w)のことです。続く

タグ：

posted at 16:08:17

@tkf @ceptree 統計でも、階層化されたベイズモデルをMCMCで数値的に解くだけではなく、WAICなどの情報量規準を求めたい場合には、普通に計算速度が重要になります。

www.slideshare.net/mobile/simizu7...

statmodeling.hatenablog.com/entry/waic-wit...

に実例がある。後者の松浦さんのブログを見るとRとStanの使い方がよくわかります。

タグ：

posted at 16:05:15

Yoshitaka Moriwaki @Ag_smith

昨日のJK会議で「プログラミングってどの言語いいかな？」って質問があったので、「とりあえずうちらならPythonですね、次いでJuliaです」って宣伝しておいた

タグ：

posted at 15:49:01

早川尚男 @hhayakawa

そらそうだ。サマータイムの何が良いのか分からない。 twitter.com/Wander_Weg/sta...

タグ：

posted at 15:34:04

おやかた@日曜日　西か01a @oyakata2438

Julia のキャッチフレーズで好きなのは、この "Looks like Python, feels like Lisp, runs like Fortran" ってやつです > www.youtube.com/watch?v=4igzy3...

タグ：

posted at 14:56:54

最近TLにJuliaなるものを連呼連投している人がたくさんいるんだが・・・
これは何なんだろう・・・調べてみるか…

タグ：

posted at 14:30:14

#Julia言語の周辺は普通に面白い話が多過ぎ。

タグ： Julia言語

posted at 14:20:43

ecru @awkrc

自治体の研修「教員はブラックか？」
教育委員会トップクラスの偉いさんの口から出た言葉に耳を疑った。

「土日は部活があって勤務だとしても、平日は早く帰れるでしょう？
一般企業では 7時〜23時で勤務している人もたくさんいる」

トップがこんな認識なのだから現場が変わるわけない。

タグ：

posted at 13:45:26

積分定数 @sekibunnteisuu

Nature is Amazing ☘️ @AMAZlNGNATURE

掛け算に順序があるという認識でかつそれを学校で教えることを擁護している人に、「間違っているし、そのような間違っていることを教えるべきじゃない」と言ったら、「学校教育が常に正しいことを教えるというのは幻想で」みたいな反応されたことがある。 twitter.com/y_bonten/statu...

タグ：

posted at 12:54:27

What is this? 🐱😍 pic.twitter.com/4sXoWDbeLJ

タグ：

posted at 12:53:54

のーだい @Noday_Nolife

後輩の作ってくれた旅のしおりのクオリティがヤバいwww pic.twitter.com/e4hLbYCShr

タグ：

posted at 12:36:58

いしたー @sonicair

Juliaでオブジェクトをファイルに書き出す方法いくつかあるけどどれがいいんだろ

タグ：

posted at 12:15:56

不真面目な人間なので、LLVMとかCPUのキャッシュの話を教科書だけで勉強できる気がしない

タグ：

posted at 12:12:07

LLVMもそうだったけどJuliaだと高速化に必要な要素技術を実例で学べるのも嬉しいところです twitter.com/genkuroki/stat...

タグ：

posted at 12:10:34

twitter.com/ceptree/status...

#Julia言語関連スレッド

タグ： Julia言語

posted at 11:52:55

#Julia言語 MITの講義には、「Julia言語をJupyter notebookでインタラクティブに使って、CPUのキャッシュの効果を見る」というような話題も扱われています。

ガチなコンピューターの楽しそうな話題。

これの再検証をする人が増えると「わかること」が増えるかも。

github.com/stevengj/18S09...

タグ： Julia言語

posted at 11:51:39

@ceptree cache の hit miss とかが見れたはずです

タグ：

posted at 11:39:45

@tkf Juliaでも頑張ったらとれるんですかね〜。CPUのキャッシュを確認しながら計算をできたりするんですか？おもしろそうです。

タグ：

posted at 11:38:35

ちなみに一番奥のループの unrolling を半手動でやるために @ generated と @ nexprs マクロを使ってて、ループの長さに依って別々の関数を JIT してる。こういう細かいことが必要になってくると Julia 良い。。。になる。

タグ：

posted at 11:37:21

これ、 ForwardDiff.jl と Julia が賢くなって自動的にやってくれるようになるのが理想なんだけどなあ

タグ：

posted at 11:33:06

@ceptree それは結構たいへんな計算でしたね。。。残念です。 perf とかで見ながらやれば何が起こってるか分かったんですかね。

タグ：

posted at 11:28:48

@tkf BenchmarkToolsで測ると結構時間かかるので、一応一晩かけて回しました。

タグ：

posted at 11:23:11

@ceptree R は分からないんですけど、ラップトップのメモリに載る程度のデータを扱うくらいのスケールなイメージがあります。もっとデータ量が増えると別の言語でやって、パイプラインの最終段階で R 使うのかなって思ってました。

タグ：

posted at 11:19:06

@ceptree (この元記事面白そうです!!) キャッシュサイズの効果を綺麗にとる時ってやっぱり他のプログラムなるべく止めたりしないといけないんですかね。 github.com/JuliaCI/Benchm... にその辺まとまってた気がしました。ここまで気を使ったことは無いんですが。。。

タグ：

posted at 11:16:53

ぱあぷう @hisurebahana_y

✨電動歯ブラシの新しい使い方！ pic.twitter.com/qzVktqQur6

タグ：

posted at 11:16:10

@tkf サンプル数/サンプルサイズの違いと思っているので、統計ではあるかと思います。笑実際に大量のデータをRで処理して処理速度が問題になった経験がなかっただけです。需要は結構あるんですかね。

タグ：

posted at 11:08:36

#Julia言語は速いのでCPUのキャッシュの効き具合が見える。

タグ： Julia言語

posted at 11:07:17

twitter.com/_wildoc_/statu...

#Julia言語はまだ未完成(これから仕様が変わることが確定している)であり、ないものがたくさんあります。私はJuliaに実装されていない特殊函数を使いたい場合にはPythonのライブラリから探します。JuliaからまるでJuliaの一部分であるかのように簡単に使える。

タグ： Julia言語

posted at 11:04:53

@ceptree （ﾋﾞｯｸﾞﾃﾞｰﾀなどﾏｰｹ用語であって統計では無い、みたいなハードコアな意見も眺める分には好きです）

タグ：

posted at 11:04:09

@tkf キャッシュサイズに応じて遅くなるというのを綺麗に取りたかったんですが、できませんでした。

twitter.com/ceptree/status... …
twitter.com/ceptree/status...

タグ：

posted at 11:02:38

@tkf や、確かにそうですね。

タグ：

posted at 10:58:56

@ceptree ﾋﾞｯｸﾞﾃﾞｰﾀは統計ではないんですか?

タグ：

posted at 10:57:15

L1 キャッシュよりちょっと大きい時まで同時に解くと少し遅くなる (おそらくゴリゴリ最適化された LAPACK 使うほうが大事) なんだけど、キャッシュから多少漏れてても大丈夫なんだ? ってのがちょっと不思議。 CPU 全然わからん。

タグ：

posted at 10:56:18

@tkf ライブラリを作れるわけでもないので私に判断できませんが、統計って処理速度があまり求められないように思いますが、どうなんでしょうね。

タグ：

posted at 10:56:18

天むす名古屋 Temmus @temmusu_n

相空間と接空間のダイナミクスを解く時、大きなシステムだと同時に解いたほうがメモリ局所性効いて速くならないかな? って思ってやってみたら40%ほど速くなって満足した顔になってる。 gist.github.com/tkf/3668ccf9aa... まあベクトル数本の時しか役立たないだろうけど。。。 pic.twitter.com/h8518QpPnF

タグ：

posted at 10:51:46

@gishigaku 他がひどくて、この程度の筆が滑っただけかもしれない点まで気になってしまいます。

タグ：

posted at 10:47:15

原田　実 @gishigaku

@temmusu_n まあ、こういう文章で歴史上の人物にいちいち「様」付けすることは普通ありませんんわな。

タグ：

posted at 10:45:30

天むす名古屋 Temmus @temmusu_n

@ceptree 統計も Julia はだめですか。

タグ：

posted at 10:44:11

@gishigaku しかも【山本五十六様】だそうです。

タグ：

posted at 10:42:00

原田　実 @gishigaku

「水からの伝言」を好意的に扱った泰明幼稚園便り、平成29年12月号とうことはつい最近だ…
www.chuo-tky.ed.jp/~taimei-kg/ind...

タグ：

posted at 10:37:20

原田　実 @gishigaku

木村草太先生による和田利次泰明小学校校長・泰明幼稚園園長（兼業）が「江戸しぐさ」だけでなく「水からの伝言」の信奉者でもあったという指摘
twitter.com/SotaKimura/sta...

タグ：

posted at 10:34:48

ʇɥƃıluooɯ ǝıʇɐs @tsatie

今の子供達（もしかすると30台以下の人の多く）は「正しい思考と計算」ですら #掛算で駄目出しされ盛大にやり直しさせられる事を小学校から仕込まれているので本気で素早く何とかしないと根本的に無理。毎日デプログラムしてても多勢に無勢やし...ほんまヤバい国やし... twitter.com/tekidanhei/sta...

タグ：掛算

posted at 10:29:51

Hiraku Nakajima @hirakunakajima

そうそう、研究成果の報告書を書くのに、専門用語は分かりやすく和訳しなさい、という指示が上からあって、私のつむじ曲がりに火がつき、全く意味が分からない和訳にしたのでした。

タグ：

posted at 10:21:27

Haruhiko Okumura @h_okumura

_φ(･_･ LaTeX.js: A LaTeX to HTML5 translator written in JavaScript latex.js.org

タグ：

posted at 10:08:23

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

村上深 @DEEPER810

ひさしぶりにalphagoティーチで俺のある実戦の局面を入力してみたら、黒コスミってマジか。 pic.twitter.com/YK6dacZwlz

タグ：

posted at 10:06:15

もふもふ同好会 @mofmofclub

可愛すぎぃ😍💕
ふわもこ〜 pic.twitter.com/vxWoX1jM44

タグ：

posted at 10:05:37

Hakky(´･∀･) @St_Hakky

はてなブログに投稿しました #はてなブログ
Julia入門 - Functions(関数) - St_Hakky’s blog
st-hakky.hatenablog.com/entry/2018/02/...

タグ：はてなブログ

posted at 10:00:05

Slit Animation @SlitAnimation

仮装通貨 pic.twitter.com/6I2qCeL9Za

タグ：

posted at 09:55:01

飯島明子 @a_iijimaa1

とても良い作文なのに。 twitter.com/harunabiglove/...

タグ：

posted at 09:42:54

統計はRのように数値計算はJuliaと広く認知されるのはいつになるでしょうね

タグ：

posted at 09:34:55

#数楽数学用語としてのquiver=箙(えびら)は

点を矢線で繋いだ図

のことです。

(注意:ベクトル場のプロット函数のquiverと箙は違う。)

タグ：数楽

posted at 09:13:37

#数楽数学用語としてのquiverを箙(えびら)と翻訳することによって、日常では出会うことが極めて稀な「箙」という用語に新たなニュアンスが付加されたわけです。

将来的には、日常でも数学的な意味で「えびら」という言い方が使われるようになれば痛快だと思う。

タグ：数楽

posted at 09:07:45

#数楽続き。「矢筒」だと日本語圏住人にとって意味がわかり易すぎて、数学的に新たなニュアンスを付け加えることが難しい。

しかし「箙」(えびら)という言葉であれば、あまり使われていない用語なので、数学用語としての新たなニュアンスを付け加え易い。漢字一文字でシンプルな点もよい。

タグ：数楽

posted at 09:04:50

Robert Geller; ロバート・ @rjgeller

#数楽私が数学用語の決定の場面をリアルタイムで見ていたことに、現在では普通になった数学用語としての「quiver」を「箙」(えびら)と訳すことがあります(中島啓さんによる)。

quiverは矢筒という意味なのですが、数学でのquiverには矢筒感がありません。続く

タグ：数楽

posted at 09:00:21

政府地震当局は間違った予測モデル(周期説)に基づいて無意味の発生確率をまたも煽っている。もう、勘弁してくれよ❗️

真実は、日本は地震国であり、いつでも何処でも不意打ち発生があり得る、ということだ。 www.okinawatimes.co.jp/articles/-/207...

タグ：

posted at 08:56:08

#数楽あと、表現は最初から構造がよくわかっているものではなく、抽象的な定義は容易だが構造を調べるためには深い数学が必要になることがよくあります。

Kazhdan-Lusztig予想関連の話題は典型的。

表現論は新しい数学的な道具の威力を試す実験場にもなっています。

タグ：数楽

posted at 08:53:26

#数楽ある言葉が数学用語として使われることによって新たなニュアンスが付け加えられると考えた方が楽しいと思う。

数学では「表現達」先にあって「表現達全体」から「表現されているもの」を「再構成」しようとしたりすることがあるという事実は「表現」という言葉に新たなニュアンスを付け加える。

タグ：数楽

posted at 08:47:44

twitter.com/yusuke_ishizuk...

「表現」は必ずしも具体的とは限らず、「表現が先にあって、群は後で作られる」のような感じの場合もあるので、 representation という用語の意味にあんまりこだわらない方がよいと思いました。

数学では用語の意味にこだわるのは常に時間の無駄。

#数楽

タグ：数楽

posted at 08:40:31

非公開

タグ：

posted at xx:xx:xx

#Julia言語これ誰かレビューしてほしい・

sciencecow.mit.edu/matlab-to-julia/
matlab-to-julia
Translates MATLAB source code into Julia.

例えば渡辺澄夫さんが公開しているWAICに関する数値実験のmatlabコードを、Juliaで再現するために使えれば素晴らしいと思いました。

タグ： Julia言語

posted at 08:19:48

KS @SugitaKei

今の法律の修正には、EU加盟国の議会・政府の過半数の承認が必要で、一年以上はかかるだろうとのこと。　www.dw.com/en/european-pa... twitter.com/mkuze/status/9...

タグ：

posted at 06:18:20

Julius Donnert @CosmoCa3sar

@Cosmic_Horizons Maybe try #julialang it’s faster and the plots package is elegant and easy. ;-)

タグ： julialang

posted at 04:58:15

春 @sunbluesome

ごめんなさいJulia …ごめんなさい…って気分。

タグ：

posted at 04:05:14

春 @sunbluesome

Juliaからnumpyを使ったんだけど、なんだか罪悪感が凄い

タグ：

posted at 04:04:17

Michael P.H. Stumpf @theosysbio

@DrDeCaluwe @gringene_bio @OSFramework Try #julialang and use @tinysciencecow’s Matlab➡️Julia translation server. Used it successfully and repeatedly as a “gateway drug” to get people into Julia.

タグ： julialang

posted at 03:40:07

ク　ボ @fetalecg

読み始めたらおもしろそうな関数いっぱいある。今まで無知で損してたな…

タグ：

posted at 01:55:24

Keigo Nitadori @k_nitadori

数値計算をしたい人がプログラミング言語の教科書探したら「数値計算の為のFortran」と「オブジェクト指向の為のC++」が見つかるんじゃないかな。やはり前者が優位。

タグ：

posted at 01:49:50

ハヤテマル @h8t0

三連休、Pythonの300行くらいのコードをJuliaに移植するか…

タグ：

posted at 01:19:00

ク　ボ @fetalecg

matlabのドキュメンテーションのページのTry This Exampleでタブが出て、Try it in your browserを選択するとブラウザでmatlabが試せるのか。ちょうど気になる関数あって、会社で試すなら週明けだなーとか思ってたので非常に助かった。

タグ：

posted at 01:11:53

ʇɥƃıluooɯ ǝıʇɐs @tsatie

嬢様達と遊べたのにと思うとちょっと残念

タグ：

posted at 01:10:38

ʇɥƃıluooɯ ǝıʇɐs @tsatie

思い出すなぁ自分の手で動かしているのは分かってはいるんだけど、人形が一人で動いているように「見える」事とそれが何やら「僕の言いなりに」なっている事が綯い交ぜになってとても素敵な現象だったからずっと遊んでた覚えがあるなぁ。懐かしい事を思い出させてくれた。もそっと早く思い出せれば、、 twitter.com/bono_kichi/sta...

タグ：

posted at 01:10:13

otto.嶋@ @luki_luki

@SotaKimura @alexbk09 「江戸しぐさ」の信奉者でもあるようですね

www.chuo-tky.ed.jp/~taimei-es/ind... pic.twitter.com/rPDCZBQm97

タグ：

posted at 01:02:26

#Julia言語

古典的なforループが速いのは普通でかつ当然。

そして、無駄なメモリを消費しない適切な「ベクトル化」も当然速い。

しかし、無駄にメモリを消費するコードは遅くなる。そうならないように書くためには注意深さが必要。

タグ： Julia言語

posted at 00:56:56

#Julia言語で痛感したこと。

Juliaは、forループが速いのではなく、ベクトル化を不適切にして無駄にメモリ消費すると遅くなるということ。

私だと、Juliaならメモリの無駄な消費でダメなやり方しか、Python numpyではできない感じ。もちろんそれでもPythonでforループを使うより速いのですが。

タグ： Julia言語

posted at 00:51:12

非公開

タグ：

posted at xx:xx:xx

三乗根 @cubic_root3