黒木玄 Gen Kuroki
- いいね数 389,756/311,170
- フォロー 995 フォロワー 14,556 ツイート 293,980
- 現在地 (^-^)/
- Web https://genkuroki.github.io/documents/
- 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
2018年10月24日(水)
いやしかし、今回始めて使ったけど、Google Sheetsすごいなぁ。ブラウザ上でサクサク動くし、UIもExcelより直感的だし、これもうExcelいらないじゃん・・・ pic.twitter.com/hmXIDcjADS
タグ：
posted at 23:54:24
静岡県は県政の根深いところにニセ科学の「伝道者」が入り込んでいるように見えます。
早めに駆除した方がいいと思う。
www.pref.shizuoka.jp/kensetsu/ke-15...
タグ：
posted at 23:43:37
平成23年の静岡県学生科学賞
「磁化による水質変化の研究 ～磁化水の秘密を探る～」
(中学2年生)
磁化水を使うとお湯が早く沸いて、植物の成長が促進されたそうです。
すごいですね〜。これが事実ならエネルギー革命が起きちゃいますね(^^)
gakusyu.shizuoka-c.ed.jp/science/ronnbu...
タグ：
posted at 23:43:37
ごまふあざらし(GomahuAzaras @MathSorcerer
つらい・・・。やっぱりレイジーローダーは必須だわ。
OutOfMemoryError pic.twitter.com/hoaQqwVu0M
タグ：
posted at 23:36:11
JapaneseFoxBoy @orematasaburou
RigidBodyDynamics.jl という多剛体のシミュレータを使ってみたが、かなり使いやすい。
タグ：
posted at 23:29:21
ごまふあざらし(GomahuAzaras @MathSorcerer
脳内では完全勝利のBGMが流れています（ユニコーン）。
ラズパイ上でjulialang.org/downloads/の32-bit (ARMv7-a hard float) をポチッとする。解答。パスを通す。
無事Julia１.0.0が導入できました。
#Julia言語
#JuliaTokyo pic.twitter.com/X9nXxZ17i6
タグ： JuliaTokyo Julia言語
posted at 23:13:54
@kingbiscuitSIU @gishigaku @policedoog1971 「大人には大人向けを、そして幼児には幼児向けのものを。／そのうえで、初めて作品の善し悪しをいおうではないか。今はそれ以前の段階である」これがあの論文の終わりですね。よくこんなことが言えるという気がします。
タグ：
posted at 23:07:47
@kingbiscuitSIU @gishigaku @policedoog1971 「資本主義社会である。表現の自由もある社会である。それは是認せざるをえない状況である。しかし有害なものは有害というしかなく、俗悪なものは俗悪といいたい。／金の亡者たる企業にはなにも言うまい。だが、クリエイター達にいいたい。対象を考えてものを作って欲しいと」
タグ：
posted at 23:06:43
@kingbiscuitSIU @gishigaku @policedoog1971 というか、純文学だろうとなんだろうと商品なのですが、おとしめたいものにだけ商業主義のレッテルを貼るという悪しき作法があって、例の論文はその反復でもありますね。
タグ：
posted at 23:05:14
#超算数 NDL (国会図書館<-ツイターではたいてい字数がたりない)検索で面白そうな論文があることが分かりました。入手の予定は全く立ちませんが。
岡野勉「明治検定期算術教科書における分数乗法の意味と規則に関する説明--第1期・後期および第2期の教科書を……」
id.ndl.go.jp/bib/7224653
タグ： 超算数
posted at 23:02:12
@gishigaku @policedoog1971 @shinkai35 「商品」としての評価軸ってのは、マンガやアニメに限らず映画や音楽、はたまたブンガクでもその他アート類一般でも、批評／評論／研究系の文脈じゃあまり考慮されん／せんのが長らくお約束＆作法だったのは確かだとおも(´･ω･`)
タグ：
posted at 22:59:01
Google Colab で #Julia言語 + TPU が正式サポートされることになればビッグニュースですね。Google側にもメリットがありそう。
twitter.com/kenofischer/st...
タグ： Julia言語
posted at 22:52:32
#超算数 力つきてきていい加減に画像を貼ってしまった。西本徳蔵編で面白いのはこのツイに貼った[9]と[10]。とくに10頁で【乗数は常に不名数なり、5人の3倍といひ得れど、5の3円倍とはいひ難し。】と乗法の説明を終えているところ。つまり西本編にあっては乗法の意味とは[名数]倍といわないことかも。 pic.twitter.com/QYsRe2S0Wk
タグ： 超算数
posted at 22:52:08
#超算数
西本徳蔵編『補習用算術教科書: 筆珠合纂』後編 東京、文会堂、1907年。dl.ndl.go.jp/info:ndljp/pid... [7], [8]
東京中等教育数学研究会編『中等教育新制算術』東京、中文館書店、1926年。dl.ndl.go.jp/info:ndljp/pid... [14-15]
[数字]は画像のページ pic.twitter.com/qeTr9BTa0g
タグ： 超算数
posted at 22:42:11
不摂生に繋がる精神疾患の慢性期の症状は薬が効きにくく、息の長い生活指導や支援を要する。精神疾患の患者は貧困に苦しむ人も多い。長年症状を抱え、限られた予算内で健康に留意した生活を心がけることは難しい。不摂生は必ずしも自己責任ではないことを、日々摂生に努める余力のある人は知るべきだ。
タグ：
posted at 22:40:52
ここ最近での私のお気に入りは以下のリンク先の記事
econ101.jp/%E3%82%A2%E3%8...
ここで「比較優位」とは、仮にM国の生産性があらゆる分野でF国よりも劣っていたとしても、F国とM国は貿易によって双方が利益を得ることができるというお話(笑)。
こんな面白い話をよく見つけて来たなと思いました。
タグ：
posted at 22:37:01
@chietherabbit @econ101jp に翻訳された記事は楽しく読んでいます。ボランティアの翻訳者に感謝。
@econ101jp をフォローしておくだけで色々読めるのでおすすめ。
タグ：
posted at 22:30:19
#超算数 では、戦前の教育では意味を理解させるという目標にどれだけ重点が置かれていただろうか？ 50年代初頭に和田義信は戦前の教育は計算の手順を重視していたと述べている。しかし同時代人には同時代人の偏見があることだろう。そこでNDLで【乗法の意味】を古い順に検索ndlonline.ndl.go.jp/#!/search?lang...
タグ： 超算数
posted at 22:24:48
精神疾患を長年患うと徐々に生活能力が奪われる。急性期のような激しい症状は目立たなくなるが、自室に篭り単調な生活を続ける人も多い。食事が乱れ運動不足で生活習慣病のリスクが高まる人も。不摂生で病気になった人の医療の是非について賛否が聞かれるが、不摂生が病気の症状の一部という人もいる。
タグ：
posted at 22:22:48
#超算数 1947年学習指導要領算数編には、【乗法の意味】という語が現れる。それは第二章の能力表と第七章の第二学年の指導。 #掛算 指導について貴重な乗法だと思われる。
47年能力表はwww.nier.go.jp/guideline/s22e...で【四則計算の意味を理解し】を検索のこと。
VP(1937)babel.hathitrust.org/cgi/pt?id=wu.8... pic.twitter.com/265NpRTqXo
posted at 22:13:07
@genkuroki 読者は多ければ多いほど嬉しいです(^ ^) 101はみんなボランティアで翻訳をやっていて、何を訳すかは各訳者が自分で自由に決めるシステムです。新しくこのブログを翻訳したいという希望が訳者さんから上がってくれば翻訳許可交渉して著者に許可取ってから翻訳開始しています
タグ：
posted at 22:10:19
#超算数 参考資料
蒔苗直道「昭和22年の『学習指導要領算数科数学科編(試案)』における意味説の影響に関する一考察」『筑波数学教育研究』第19号 (2000年)、25-34ページ。www.human.tsukuba.ac.jp/~mathedu/1904....
蒔苗氏は、最初の学習指導要領の算数編能力表がヴァージニアプラン1934年と43年に基づいていると主張。
タグ： 超算数
posted at 22:01:15
漁業法を抜本的に改正いたします。漁獲量による資源管理を導入し、船のトン数規制から転換する。大型化を可能とすることで、漁業の生産性を高めます。漁業権の新たな付与について、法律で優先順位を定めた現行制度を廃止し、養殖業の新規参入、規模拡大を促してまいります。www.kantei.go.jp/jp/98_abe/stat...
タグ：
posted at 21:59:06
JuliaをTPU上で動かすためのコンパイラが発表された。ベンチマークによるGPUとの速度比較はまだだが、CPUに比べて227倍とのことなので、大分速いよう(GPUの場合概ね数倍~数十倍程度)。 twitter.com/KenoFischer/st...
タグ：
posted at 21:46:02
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語
アレー前見た時バイナリーのリンクなかったんだけれどArmのがあるやん
julialang.org/downloads/
タグ： Julia言語
posted at 21:43:22
2点A(Ax, Ay), B(Bx, By)を通る直線の式って、
x=tAx+(1-t)Bx
y=tAy+(1-t)By
と表せるじゃないですか
あれを
x=(1-t)Ax+tBx
y=(1-t)Ay+tBy
の形で計算して求めたら×になってておったまげた
タグ：
posted at 21:42:54
自宅マインクラフトサーバーを立てたら、キーボードやマウスの使い方を子はすぐに覚えた。さらに、
/weather clear
のようなコマンド入力も自力で調べ、レッドストーン回路で遊んでいた。
日本全体の小中学校でやればみんなパソコンをかなり使えるようになると思う。
タグ：
posted at 21:41:29
コンピューターを使いたい理由はゲームをやりたいからで全然問題ないと思う。
「全国の小中学校にマインクラフトをみんなで遊べる環境を整備する」という案が出たら、私は賛成しまくる。
それだけの環境があればめちゃくちゃ快適に色んなことができる。
タグ：
posted at 21:41:29
ごまふあざらし(GomahuAzaras @MathSorcerer
すごいハッキなJulia1.0の導入方法 pic.twitter.com/33kbH2BW1P
タグ：
posted at 21:40:24
@sekibunnteisuu #超算数 #中教審 「「教科別の「評定」なくなる？」記事の直近の資料を見て」という題名で掲示板に書き込みました。
8254.teacup.com/kakezannojunjo...
posted at 21:36:42
今日の昼くらいにTLで「教師の重要性」みたいなワードを見かけたけど、これは本当にあって、直線をパラメータ表示で表す問題で、うちの高校の数学教師は、結果的に表す直線は同じであっても、教科書に載ってる公式から導かれるパラメータ表示に一致していないと×にするというすごいことをしていた
タグ：
posted at 21:36:03
わかっていました。天才だと思いました。
しかもその動機は「Scratchで弾丸を250歩動かすのにいきなり動かすとイマイチだから4回に分けて動かしたいから」なんだそうです。
息子(7)には「そういうのは problem-based learning って言って何か問題解決のために必要なことを調べたり勉強したりすること
タグ：
posted at 21:31:10
今消灯後の息子(7)との布団会話で250÷4がやりたいと言い始めました。半分にしてさらに半分にすればいいと勝手に気づき、あとは125を半分にするのに少し手間取ったけど、120と5をそれぞれ半分にして足すことで自己解決していました。120が半分にできたのはいいとして、5は半分が2.5というのがなぜか
タグ：
posted at 21:26:12
Automatic Full Compilation of Julia Programs and ML Models to Cloud TPUs
By Keno Fischer, Elliot Saba: arxiv.org/abs/1810.09868
#ArtificialIntelligence #MachineLearning #ProgrammingLanguages #TPU pic.twitter.com/FAwnIx3M2B
タグ： ArtificialIntelligence MachineLearning ProgrammingLanguages TPU
posted at 21:25:53
@_eiko_ @TuvianNavy その設計していたミニコンっす、大みか工場だから、HIDICかな？DigitalのVAXアーキテクチャからPDP-11の命令セットを抜いた、アーキテクチャの。あ、大みか工場って、日立でパラメトロンを最初にやった所と聞いている。メインフレームは秦野だけど。
タグ：
posted at 21:24:33
もしかして私が寄付していると表明すると火に油をそそぐことになる？(笑)
サイト名が経済学101ですが、内容は経済学とは限りません。何を翻訳するかのセンスが非常に優れていると思う。
タグ：
posted at 21:20:12
Function-like objects のお勉強 #julialang
docs.julialang.org/en/v1/manual/m... pic.twitter.com/5DrFTexkcP
タグ： julialang
posted at 21:18:32
日本だと、まだ
「ゲームで教育なんてありえない！」
って感じなんだよなぁ。
プログラム教育やるって場合の入口はゲームだろうに。 twitter.com/livedoornews/s...
タグ：
posted at 21:17:40
個人的にめちゃくちゃ嬉しい。
そうか、これが「寄付の思いがけないほど大きな効用」なのかと思いました。
私は2014年12月から経済学101に毎月寄付しています。
econ101.jp/%E5%AF%84%E4%B...
twitter.com/kemohure/statu...
タグ：
posted at 21:13:23
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julia言語
そういえばFluxjlのDepthwiseConvレイヤーはマスターにマージされたのでMobileNetの設計できるようになりましたと報告します。
タグ： Julia言語
posted at 21:10:18
隠岐先生はガンダムシリーズのキャラ描写さえ知らないのに、アニメの美少女描写を考えるには未成年女性の人権状況も視野に入れなければならないといっている。自分の立場を議論の前提に忍ばせるとはこういうことだ。まさにヒースの批判が全弾当たってる状態。
タグ：
posted at 21:05:25
ヒースはこの記事で、ある種の左派は敵をロジカルに批判できないのでネオリベラルとか何とかレッテル貼りをするという話をしているのだが、ヒースに「経済学系の頭の人」というレッテル貼りをすることで批判した気になっている隠岐先生は、ヒースの指摘の正しさを身をもって証明したといえる。
タグ：
posted at 20:54:24
@yamabunmath @sekibunnteisuu dx,dyは微分形式と呼ばれていて、実用的な計算でも、純粋数学的にも極めて優れた道具になっています。
微分形式を知らないと、高校生に数学を教えるのは苦しいと思います。
積分 ∫_a^b f(x) dx における f(x) dx も微分形式です。
∫_a^b と dx で f(x) を挟んでいるのではないです。
タグ：
posted at 20:45:08
ヒースの記事は、フーコーやブルデュー系の社会科学者は、論敵にレッテル貼りをしたり、立場を隠して中立的でない見解を中立であるかのような顔で主張したりする人が多いと指摘していた。自身もフーコーやブルデューの影響を受けた学者である隠岐先生は、この記事にこう反論した。
タグ：
posted at 20:44:19
下記の論文：Julia から TPU をTensorFlow XRTを使って高速化したお話。著者は、Julia Computingのメンバー。
Automatic Full Compilation of Julia Programs and ML Models to Cloud TPUs
arxiv.org/abs/1810.09868
ふふふ。そして、いろいろと、見つけた。
タグ：
posted at 20:40:57
@genkuroki @sekibunnteisuu dxやdyそのものに意味を持たせるという流儀が割と一般的に知られてるっぽいですね。
知らなかった概念がいくつか出てきたので、ちょっと家帰って考えてみます。
タグ：
posted at 20:26:06
周囲から、ヒースはそもそも哲学者で経済学畑の人ではない、と指摘されると、隠岐先生は、自分は政治思想とか政治経済思想とかを指すつもりで経済学という言葉を使ったのだと抗弁し、ヒースのことは前から知っていたかのような言動をした。
タグ：
posted at 20:25:07
ジョセフ・ヒースというハーバーマス門下の哲学者による、フーコー系の左派社会科学者を批判した記事の翻訳が、経済学１０１というブログに翻訳された。隠岐先生はおそらくブログ名をみて、その記事に「経済学系の頭の人」にありがちな発想だとレッテルを貼った。
タグ：
posted at 20:21:20
ここに書きましたが、隠岐先生がアニメの女性描写について最低限の知識もないと言われるのはしょうがないと思いますよ。富野アニメガンスルーみたいな状態なので。
twitter.com/i/moments/1054...
タグ：
posted at 20:01:06
OokuboTact 大久保中二病中年 @OokuboTact
@tsurujiro_drago これは、算数教育の悪しき伝統なんです。
算数教育の偉い人達にトンデモが多いので
タグ：
posted at 19:57:15
【宮城県：11/23上映】「Linked Horizon Live Tour『進撃の軌跡』総員集結 凱旋公演」【通常版】応援上映なるか!?TOHOシネマズ 仙台
約24時間後に購入可能
限定132枚
50枚で上映成立
www.dreampass.jp/e1740
twitter.com/l_horizon_info...
タグ：
posted at 19:52:30
ごまふあざらし(GomahuAzaras @MathSorcerer
これ誰か試してないかな？
“Stop Installing Tensorflow using pip for performance sake!” by @LearnedVector link.medium.com/YNrMwFx1gR
タグ：
posted at 19:40:01
食塩水の問題を線分比で解かせる指導、かなりクソだと思ってる。あれ生徒の方は何にも訳分からず解いてるでしょ。
ちゃんと分かってる人が好き好んで使う分には自由だと思うけどね。
タグ：
posted at 19:29:15
数年前の先輩が研究していた振動反応を再現しました！！
部員がうるさすぎて無音になっていますが、本当は気体が発生して出る「ｼｭﾜｼｭﾜｼｭﾜｼｭﾜー」という音と期待が達成されて出る「うおおおおおおすっげーーー！！！！！」という音がついていました！ pic.twitter.com/ZJdA00Zyaa
タグ：
posted at 19:28:14
＞2019年春闘での賃上げに前向きな姿勢を示した
＞「日本の給与水準は国際的にも低いとの見方は（政府と）基本的に同じだ」と強調
Eメールどうこうより100倍重要なニュース twitter.com/kyodo_official...
タグ：
posted at 19:16:24
池田としえ「ワクチンを打つぐらいなら子宮癌になった方がいい」
いや、あの、正直久々に怒り心頭なんですけど。
全ての癌患者に謝って土下座しておまえが癌になれと言いたい。何という浅慮。「あなたは5年以内に○%の確率で死ぬ」と言われる人間の気持ちを想像しろ。その恐怖よ。 twitter.com/pe27ach1/statu...
タグ：
posted at 19:14:56
@yamabunmath @sekibunnteisuu dyをdx=Δxの線型汎函数で定義するスタイルは多変数函数にそのまま拡張されます。z=f(x,y)のときに、dzは
dz = a(x,y)dx + b(x,y)dy
の形の(dx,dy)=(Δx,Δy)の線形汎函数として定義されます(1次近似)。dx=Δx≠0, dy=Δy=0のときに
dz/dx = a(x,y) = ∂f(x,y)/∂x
なので偏微分も分数で書けています。
タグ：
posted at 19:01:34
@yamabunmath @sekibunnteisuu dy/dxを分数だと思って良い理由は、yがxに比例しているときに、任意のx≠0について比例定数がy/xと分数で書けるという当たり前に話と同じです。続く
タグ：
posted at 18:54:56
@yamabunmath @sekibunnteisuu dxやdyはdx=Δxの線型汎函数です。それで問題無し。
高木貞治『解析概論』と同じスタイルの(全)微分dyの定義は他の教科書にもよく書いてあり、スタンダードメニューと言ってよいと思います。
高木貞治『解析概論』で納得できないなら、他の大学生向けの微積分の教科書も参照してみて下さい。
タグ：
posted at 18:52:04
[1810.09868] Automatic Full Compilation of Julia Programs and ML Models to Cloud TPUs buff.ly/2yVeJ6S これはヤバさしかない。XLAを使ってJuliaで書いた行列計算やVGG19のDNNをクラウドTPUで実行し、爆速化。
タグ：
posted at 18:31:01
Linked Horizon 情報局 @L_Horizon_info
「劇場版 LH Live Tour『#進撃の軌跡』総員集結 凱旋公演」
"ドルビーアトモス アンコール上映"＆"応援上映"決定！！！一部劇場では #ドリパス を使用し、チケット販売枚数が定員に達すると開催正式決定！ドリパス受付は10/25から！
詳細はこちら↓
shingeki.linked-horizon.com/special/index....
#LinkedHorizon #shingeki pic.twitter.com/ojGmLTZzmJ
タグ： LinkedHorizon shingeki ドリパス
posted at 18:01:27
@genkuroki @sekibunnteisuu 素人質問で恐縮ですが、高木貞治先生の本の定義だと、dxやdyの定義が⊿xに依るような気がします。
割り算すれば、⊿xが消えてwell-definedになるのは分かりますが、単独で定義しようとすると、うまく定義されないような気がします。
その辺、大丈夫なのでしょうか？
タグ：
posted at 17:51:37
ああ、また、衝撃的な話を聞いた。小学校で、研究授業があり、全国の先生が某小学校に見学に来る。そのために、最寄り駅からその学校まで、要所要所に、PTAの保護者が立って、道案内をするんだって。もちろん、ボランティア。えーと、これは、スマフォもなかった戦前の話じゃなくて、明日の話。
タグ：
posted at 17:29:40
#と教 朝日新聞の杉原里美記者の記事。志教育とマナーキッズの紹介。両論併記だが推進側の論点を多く紹介している。ツイターでの記事宣伝twitter.com/asahi_Sugihara...は、小さいスペースだからか問題点の言及なし。
タグ： と教
posted at 17:22:57
ハードの設計をしていた当時、デバッグであんまりきれいにパッチをハンダ付けするものだから、製造部門のハンダ付けと区別つかないので止めれと苦情がきた、とも聞いた。
タグ：
posted at 16:39:23
経団連新会長にはお気の毒な記事。この方、ミニコンハードを設計していた1980年代に、会社のルールかいくぐってイーサネット引いた方だから。/ ネット時代到来、経団連会長の執務室にパソコンを初導入headlines.yahoo.co.jp/hl?a=20181024-...
タグ：
posted at 16:35:01
OokuboTact 大久保中二病中年 @OokuboTact
小学校の算数は、教師用指導書という教科書会社のマニュアル＆解説に依存している場合が多い。
デタラメな教育方法なので、依存している教師は賽の河原の石積み状態
タグ：
posted at 15:25:15
OokuboTact 大久保中二病中年 @OokuboTact
小学校の算数は、ピアジェ理論のような時代遅れの心理学で、「児童の発達段階が・・・」ばかりをやっている。
骨折り損のくだびれもうけ。
タグ：
posted at 15:21:31
OokuboTact 大久保中二病中年 @OokuboTact
掛け算で、例えば３×２
どちらを「かける数 乗数」「かけられる数 被乗数」にするかは任意。
順番も「かける数 乗数」×「かけられる数 被乗数」でも、逆順でもかまわない。
当たり前の話。順番を変えても答えも、「式の意味」も変わらない。
こんなくだらないことに労力をさくのはもったいない
タグ：
posted at 15:19:38
本日の詰将棋（7手詰）です。
わかったら「いいね」ボタンをお願いします。
→ヒント、解答はこちら buff.ly/2AqxMIa
#詰将棋 #まいにち詰将棋 #7手詰 pic.twitter.com/Kfc7YH7AN4
posted at 15:00:06
米村歩@日本一残業の少ないIT企業社長 @yonemura2006
なんかガチなコメントもらったりしちゃったのですが、これ最上級の皮肉なのでガチなコメントはしないでくださいｗ
タグ：
posted at 14:37:54
良い記事
Julia言語と Plots + GR で複素関数のgifアニメーションを作る - Optie研 optie.hatenablog.com/entry/2018/03/...
タグ：
posted at 14:37:12
非公開
タグ：
posted at xx:xx:xx
米村歩@日本一残業の少ないIT企業社長 @yonemura2006
経団連が今までメールを使っていなかったことは評価に値する。メールは既に時代遅れのツールであり、弊社も社内でのメール使用は廃止したが、取引先でメールを使う会社が多いので外部含めて完全廃止には中々できない。今までメール不使用であれば今すぐ完全メール廃止して時代の最先端を行けるはずだ。
タグ：
posted at 13:55:29
たとえば元の微分方程式の安定性をできるだけ保つ離散化とか気になるよね。これだとテスト方程式(y’=λy)なので、複素平面の左半面が安定な領域になっていて、右２つの手法はある程度保ってるけど、左２つは保ってない(安定じゃない領域で安定になってる) twitter.com/ceptree/status...
タグ：
posted at 13:36:39
Julia + TPUs = fast and easily expressible ML computations! twitter.com/KenoFischer/st...
タグ：
posted at 13:23:12
@dzj_evalparse @Google @staticfloat is working on getting those benchmarks. Also note that the TPU results in the paper are on one core of a TPUv2. For full fairness, we'd probably need to benchmark all eight cores or even go to TPUv3.
タグ：
posted at 12:50:19
@KenoFischer @Google If compared to a GPU of the same generation whats the speed up like?
タグ：
posted at 12:35:28
Julia コードが Cloud TPU で動くようになったらしい。うーむ、 Julia 未だに使ったことがない。 twitter.com/KenoFischer/st...
タグ：
posted at 12:11:07
@ChristianPeel @Google We'll have more benchmarks, etc. out in due course. For now the focus has been on getting this working end to end and then getting the code out.
タグ：
posted at 12:07:09
@KenoFischer @Google A factor of 227 faster is pretty good ;-) Is there an article that compares the same problem on CPUs, GPUs, and TPUs? Or is your article is a step towards such a comparison?
タグ：
posted at 11:12:47
数学的なことを扱う場合には、概念の側が主であり、単語の意味もしくはニュアンスの側を概念に合わせて改変した方が便利なことが多く、実際にそうしまくる習慣。
算数でも「長くなくても長方形になる場合がある」(正方形)となっているわけです。
チョー算数ではその辺がデタラメなのですが。
タグ：
posted at 11:07:45
数論では一般の代数体に整数の概念が拡張されているので、最も小さな代数体である有理数体における普通の整数を特に有理整数と呼びます。
有理曲線は代数函数体が有理函数体になるような代数曲線のこと。一般の代数曲線には一般の代数函数体が対応。
rationalという単語の数学的ニュアンスは独特。
タグ：
posted at 11:07:45
例えば、rational integer (有理整数)という言い方がある。これを「比で書ける」という意味を込めて「有比整数」などと訳すことになると非常にまずい。
rational curve (有理曲線)も「比で書ける」という意味を込めて「有比曲線」とは訳すのはまずい。
タグ：
posted at 11:07:43
「数学では呼び方は大事じゃない」という私の主張は以下のリンク先のように「元来の意味的には〇〇と呼ぶべき」的な発想にこだわることはよろしくないという主張を含んでいます。
数学用語としてのrationalのニュアンスは「比で書ける」とは異なります。続く
twitter.com/m_takaharasan/...
タグ：
posted at 11:07:41
DSCF_1224_open @DSCF_1224_open
AbstractFFTs.jl, FFTW.jlの使い方の確認 pic.twitter.com/IvpHk0mubR
タグ：
posted at 10:37:04
#julialang 1.0 brings the same familiar abstractions and performance to @GoogleAI #TPUs. The goal is to reuse the same code and abstractions whether running on CPUs, GPUs or TPUs.
Really excited to see what we can do with the price-performance benefits of such new hardware. twitter.com/KenoFischer/st...
posted at 10:31:35
日本の景気が良くなって状況が変わってから商売すれば良いだけでは?債権村のために日本経済があるわけではない。＞シャッター街化する日本の債券市場、これを阻止するには日銀の異次元緩和を止めるべき(久保田博幸) - Y!ニュース news.yahoo.co.jp/byline/kubotah...
タグ：
posted at 10:23:54
@yamabunmath @sekibunnteisuu この件については、やまぶんさんの側が誤解しており、高木貞治『解析概論』の第3章微分法の最初の3ページを読めば問題解決です。微分形式の定義に繋がる話です。
以下のリンク先で必要最小限の引用をしてあるので、それを読むだけでも十分だと思います。
twitter.com/genkuroki/stat...
タグ：
posted at 09:45:52
Our new paper today: arxiv.org/abs/1810.09868. Compile your #julialang code straight to @Google's #CloudTPU. Must go faster! We'll have an (alpha quality) repo up soon for people to start playing with this.
posted at 09:34:50
非公開
タグ：
posted at xx:xx:xx
「かける数、かけられる数」が大事と言う側が途中で逆の説明をし、「かける数、かけられる数」なんて意味ないと言う側が「そこ間違えてますよ」と指摘するシュールな展開(^_^;)。 twitter.com/sekibunnteisuu...
タグ：
posted at 08:39:46
The DM behind the sc @Hjorimir
@SPACEdotcom Just saying. @TraylorAlan @andyjte pic.twitter.com/JNDLZrEaY7
タグ：
posted at 08:18:05
NASA's Found a Weird, Rectangular Iceberg in the Antarctica goo.gl/XZxKdb pic.twitter.com/HE0XozR43x
タグ：
posted at 08:02:06
経団連すごい！歴代会長の誰にもなし得なかった大改革！パソコンを初めて部屋に持ち込み、メールを使ってペーパーレスの大改革！ pic.twitter.com/dEuQsSiiF1
タグ：
posted at 07:16:58
数学用語の体系の作り方として、学生時代に知ってものすごく感心したのは、層の理論の用語の体系。
germ(芽)が集まって、stalk(茎)になり、さらにsheaf(層)ができあがる。
柔らかい感じで、住み心地が良さそうな雰囲気をうまく出している。
タグ：
posted at 07:12:04
純粋に数学的な事柄についてであれば、実社会に直接影響することは稀なので、権威的に響く言い方の横行の害は限定的。
しかし、統計学の場合には直接的な害が社会に及ぶ可能性があるので、「権威的な響き」は排除した方が良いと思う。しかし、現実には逆方向にバイアスがかかっているように見える。
タグ：
posted at 07:05:30
あと、自明もしくは易しい数学的結果に人の名前がついた用語を割り振ってあたかも「非自明で権威ある結果」に見えるように教えるのもやめて欲しいと思うことが結構多い。
学生の中には、人の名前がついた公式や定理に権威を感じ、しかも権威的に響く呼び名を有り難がる傾向のある人がいるので要注意。
タグ：
posted at 06:56:44
記号や用語は大事じゃないと思っていても、小さなコストで標準的な言い方に直せるのにそうしていないケースを見るとやはりちょっといらついたりする。例えば
⊗を「直積」と呼ぶ一族。
ベクトル空間の直積V×Wとテンソル積V⊗Wは全然違うもの。
タグ：
posted at 06:52:34
一方、非人間的な機械になり切って正確に記号を操作して計算を何一つ省略せずに書くべき場面もある。
何を理解しなければいけないかに合わせて態度を変える必要がある。
教える方も教わる方もいきなり完璧にやるのは無理だと思うので、逐次近似的もしくは試行錯誤的にうまくやって行くしかない。
タグ：
posted at 06:47:52
試験の採点時には、用語や記号の混乱は見ないことにして、計算結果が正しいかどうかだけに注目する方針。やるべき計算を完璧に遂行していれば、用語や記号の使い方が少々変でも概念的には理解しているとみなせる。偶然正解できる確率はほぼ皆無。
タグ：
posted at 06:47:52
実際、線形代数の試験の採点をすると、行列と行列式の区別が色々な意味で(概念的、記号的)に混乱している場合をよく見かける。用語が似ているだけではなく、記号法も似ているので、どうしても混乱する人が出て来る。
「呼び方や書き方は重要ではない。概念そのものが重要なのだ」という考え方は大事。
タグ：
posted at 06:47:51
普及してしまっている数学用語で教育的に不都合があるものは結構ある。普及してしまった用語を別のに変えることは大変過ぎるので「呼び方は大事じゃない」としっかり教えておく必要がある。
例えば「行列式」という用語。「行列」自体が式の一種なのにdeteminantをそう呼ぶことになっている。ひどい。
タグ：
posted at 06:47:50
呼び方自体は数学的に重要ではないという事実について生徒に理解してもらうように努力することは正しい数学教育。
間違った考え方と数学的無知に基いて「dy/dxをdx分のdyと読んではいけない」と教えるのは単なるトンデモ。そのように教わった生徒はトンデモ教育の被害者。
タグ：
posted at 06:33:03
dy
━
dx
を「dx分のdyと読んではいけない」というようなどうでもよいくだらないことを言う人達は消えて欲しいと思う。どう呼ぶかは数学的にはどうでも良い事柄。
微分形式の概念を知っていると、dyとdxがそれぞれ別々に定義されていて、dy/dxが実際にdy÷dxの意味だと解釈できる。
タグ：
posted at 06:29:52
a
━
b
を「b分のa」と言いながら「b」「━」「a」の順番に書く日本語圏の人はよく見るのですが、「a over b」と言いながら「a」「━」「b」の順で書くこともできる方が便利。overを使いにくい人(例えば小学生)には
「a わる b」
と言いながら「a」「━」「b」の順に書かせてよいと思う。
タグ：
posted at 06:20:12
@gishigaku @policedoog1971 @shinkai35 いろいろ興味深いですが、考えたらそういうマーケティング・データだの市場の数字だのを参照しながらなされるマンガだのアニメだのに対する批評／評論って、実は作法として、また認識としてもある時期まであまりなかったりしたような気もします、善し悪しは別にして「そういうもの」という意味で。
タグ：
posted at 05:55:35
@GreatDemon1701 @sekibunnteisuu 以下のリンク先へのコメント。
このスレッドの上の方でした高木貞治『解析概論』からの引用や私が描いた図を見て、「dy/dxも(誤差無しに)分数として扱える」という厳密さを尊ぶ現代数学的には当たり前のスタイルについて学べば、視界が広がると思いました。
twitter.com/yamabunmath/st...
タグ：
posted at 05:54:13
〇〇の抽象化について書かれた教科書の最初の主張は「たったこれだけの条件だけから〇〇に関する基礎的な命題の一般化を証明できてしまう」であることは多い。そういうことの確認のためには自明でつまらない証明の積み重ねが必須。モチベーションが分かっていればかなり楽になる。
タグ：
posted at 05:36:45
自明でつまらない証明自体に特別な価値があるかのように誤解してはいけないし、自明でつまらない証明に数学的に深い価値があるかのように言われているとも誤解してはいけないが、自明でつまらない証明をノータイムでできるようになっておかないと先に進めなくなる。心の中に自動的に働く回路が必要。
タグ：
posted at 05:31:27
ただし注意しなければいけないことは、以下のリンク先程度の個々の証明には数学的に深い価値は皆無であること。
しかし、証明を膨大に積み重ねた結果として有用な代数的道具ができ上がり、自明でつまらない証明もその一部分として必須。
twitter.com/genkuroki/stat...
タグ：
posted at 05:31:26
惣流・アスカ・ラングレーは自分からキスを迫って男がそれ以上なにもしないとブチ切れるようなドチャクソ感情デカ女ですが、それでも人類補完計画は拒否するような女なんだよ。わかるかお前ら。わかってんのか。
タグ：
posted at 02:32:18
@TsuInCircle ありがとうございます。SEGのテキストは立体になってますね。流石です。
一応，さっき検索してみて，こんな感じで出せるようになりました。 pic.twitter.com/uh2a2Wjcb9
タグ：
posted at 00:07:04
