黒木玄 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 を見て下さい。
2019年11月08日(金)
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
FrederikSchnack @FrederikSchnack
The Amsler surface, a solution of the discrete sine-Gordon equation and an example of a surface with constant negative Gaussian curvature. Visualization with Makie in #JuliaLang. pic.twitter.com/gnnzRqfkwH
タグ： JuliaLang
posted at 02:14:55
There are many great reasons to use #JuliaLang but @m_abski's terrible shenanigans with 🤮as pipe isn't one... pic.twitter.com/tL1y6Yt8xW
タグ： JuliaLang
posted at 02:33:34
... yet. Not because it isn't A Good Idea, which it clearly is the best syntax sugar for pipe, but because it (currently) needs ReplMaker.jl tricks: pic.twitter.com/CrWL1JyYBN
タグ：
posted at 02:33:35
Dr. Jessie Christian @aussiastronomer
@MorganMJohnsen @businessinsider I actually made a slightly updated version to address some of the critiques of the original (updated the period of rotation of the Galaxy, took out plesiosaurs since THEY'RE NOT ACTUALLY DINOSAURS JESSIE WHAT KIND OF NERD ARE YOU ANYWAY?!) pic.twitter.com/LjLW6k5IGU
タグ：
posted at 04:32:11
「科学至上主義者」という言葉を非難のつもりで使っている人がいるようだが、意味がわからん。ぶっちゃけ、おれは科学至上主義者だよ。科学至上主義者とは、「“わかっていることと、わかっていないこととをちゃんとはっきりさせよう”という考えかたをいちばん大切にしている人」のことだよね。
タグ：
posted at 08:12:50
構造化行列（FFT, アダマール等）は高速行列積を実現できるが人手で設計していた。万華鏡行列（Kaleidoscope行列）は既知の殆どの構造化行列、疎行列をほぼ最適な空間/時間計算量で表現でき、微分可能であり実際高速である。離散的な操作（置換）も高速に学習できる openreview.net/forum?id=BkgrB...
タグ：
posted at 08:29:53
試行調査の数学や理科の問題を，通常の入試問題（冗長な情報を含まず結論を導くのに必要十分な条件を含む問題文）に書き換える作業を手伝ってくださる方はDMをください。
入試問題としての低俗さ，無駄に問題文が長く中身が軽薄であることを知らしめたいと思います。
タグ：
posted at 08:42:22
@MathSorcerer @ma63713534 @abap__ え？！私は以下のリンク先のバグが嫌でJulia v1.2.0を使うのをやめたのですが。v1.0.5やv1.3-RC以降では直っている。
twitter.com/genkuroki/stat...
タグ：
posted at 09:36:00
@MathSorcerer @ma63713534 @abap__ PackageCompiler.jlの使用を強制されたら、誰もJuliaを使わないと思う。そうなりそうなことは実際に使ってみれば分かる。
そして、数学的な小パズルをJuliaで解くときには、独立なバイナリをわざわざ作るのは無駄手間を増やすだけ。
タグ：
posted at 09:39:25
来年度からの統計力学の講義に向けて、まずは同人誌みたいな教科書を作る決心をしたよ。なぜ同人誌みたいになるかというと、今から書いて春までに出版流通は無理だからだよ。「統計力学の薄い本」だよ。20年越しくらいで書く約束をしている出版社があるので、来年度にそこに持ち込むのが目標だ
タグ：
posted at 10:45:01
これも前から言ってきたし発表もしたことだけど、哲学内部の見解の多様性というのは、他分野に関しても凄く多い。分析系形而上学内でも百花放斉だし、科学哲学から形而上学を根本的に批判する議論もある。
タグ：
posted at 11:18:19
ところが、制度上区別される他分野との対話や批判になった途端、その多様性がないかのような語りになることが多い。そして、哲学内部でよくある批判が他分野からあるとき、相手は哲学を理解してないなどという応答をする人も出てくる。これはよく見るパターンで、なぜこうなるのかはずっと考えている。
タグ：
posted at 11:18:19
Kouji Ohnishi 大西浩次 @koujiohnishi
高校現場から見た英語民間試験と大学入試改革 - 篠原秀雄｜論座 - 朝日新聞社の言論サイト
「大学入試改革の目玉というべきもののほとんどが大きな欠陥を抱えており、（略）。本質的に無理なことをやろうとしているのである。」
webronza.asahi.com/science/articl...
タグ：
posted at 12:10:51
「このままではワクチンを接種した学年だけ子宮頸がんがガクッと減り、また元に戻るという由々しき事態が起こる。世界中の研究者が固唾をのんで見守っている」 / “若年化が進む子宮頸がん 性交で男女にHPV感染（時事通信） - Yahoo!ニュース” htn.to/2ndBC1L22M
タグ：
posted at 12:42:59
うん
やめた方がよいでしょう
・大量答案を公平に採点できる記述式＝マーク式と選抜力は同じ
・ここまで労力をかけて得られる利益は僅少
→大学入学共通テストへの記述式問題の導入について、立憲民主党など野党４党は、公平に採点を行うのは困難だとして、導入を中止す… www3.nhk.or.jp/news/html/2019...
タグ：
posted at 12:45:26
非公開
タグ：
posted at xx:xx:xx
ジュリアナ東京かと思った。
「技術計算のための新しいプログラミング言語「Julia」の集いです」
JuliaTokyo - connpass juliatokyo.connpass.com
タグ：
posted at 13:30:16
3月に亡くなったDubrovinのDuke論文のReviewを書いた。4年前に亡くなった金子さんの論文が引用されていた。
モノドロミ保存変形で，特異点をぶつけた時にモノドロミがぶつけた時まで保存されることを改めて確認している（同等の，不確定特異点版で扱っている）
projecteuclid.org/euclid.dmj/155...
タグ：
posted at 13:53:25
@genkuroki それはそうなんですが、近所に "スープカレー" でヒットする店がないので「スープ OR カレー」にフォールバックするのです。
ちなみに同じ理由で、今日の昼飯もスープカレーから学食のカツカレーにフォールバックしました。
タグ：
posted at 13:54:50
この計算はひじょうにやっかいで，答えは「想定通り」だから，なかなか評価されにくい。P6の場合
3x3連立系 Y'(z)= [A(t) +B/z] Y(z)
で，A(t)が対角行列(0,1,t)のとき，t=0にしたら無限遠の周りのStokes曲線が重なるけど，モノドロミ保存の変形方程式はt=0までしっかり伸びる。
タグ：
posted at 14:02:12
twitter.com/AkiraTOSEI/sta... これはよくない論文だと思います。N体問題が言及されるときよく解析的に解けないことがクローズアップされますが、だいたいの系はそうなわけで、数値解析的な難しさとは別の話です
タグ：
posted at 14:23:54
ではNNによる近似解が既存ソルバの10^5~10^8速かったと主張しているのはなんなのかと言うと、比較対象のBrutusが「通常要求される品質」ではない解を求めるためのソルバだからです
タグ：
posted at 14:23:54
一般論としては、数値解析は(特にN体問題のようなメジャーな問題では)それなりに完成された分野なので、シミュレーション単発を機械学習のモデルで置き換えるというアプローチは筋が悪いことが多いと思います。完
タグ：
posted at 14:23:55
あ、あとAppendix CでNNに保存量からのずれを修正するレイヤーを加えることを提案してますがこういう本来の構造を無視して値を修正するようなことをすると解が崩壊することが多いというのも数値計算屋さんには広く知られています
タグ：
posted at 14:31:06
阿部公彦 ABE Masahiko @jumping5555
国立大に民間試験を強制しようとしたこのガイドライン。大混乱の発端でした。撤回が当然。そして、国大協がなぜ、急に方針転換してこんなものを入れたのか、明らかにしてほしい。どんな圧力があったのか。 twitter.com/asahi_school/s...
タグ：
posted at 15:06:12
ツイッターとかみてると日本がひどい国みたいに思えてくるけど、東南アジアとかアフリカ系の人に「自分の国に帰りたくならないですか？」ってきくと「帰りたくない。日本がいい」って答えるね。とりあえず医療へのアクセスだけは誇れる。いいんだかどうなんだか感もあるけど
タグ：
posted at 17:27:44
果汁は１歳になるまでは与えないほうが良いでしょう
メリットは少なく、デメリットが大きいため、１歳未満の乳児に果汁を与えるのは避けた方がよいでしょう。こちらで理由を詳しく説明しています。
www.dr-kid.net/entry-2018-04-...
タグ：
posted at 18:19:45
”家庭が宗教やってると子供は不寛容になる”(2015年の心理学実験)に重大なミスがあったことが判明、撤回
www.economist.com/science-and-te...
研究が公開され、誤りが指摘され、撤回されるのは科学が機能している証拠。
しかし4年の間にそれに言及したメディアがたくさんあって、訂正記事出さないところは多い
タグ：
posted at 19:12:52
@gaelforget@mastodon @GaelForget
My first ~ global simulation of #ocean #microplastics / #plankton drifts in pure @julialang
IndividualDisplacements.jl and my plotting sure need more work but am pleased with this first step
To follow #opensource project or get involved, please visit bit.ly/2qwBsFO pic.twitter.com/EnbFoOSYNY
タグ： microplastics ocean opensource plankton
posted at 19:20:34
6月くらいにHydrogenっていうAtomのパッケージによく一緒にcontributeしてたやつ、その頃は結構バギーなコード書いたりしてたんだけど、最近はatom/github(超コアパッケージ)にもcontributeしてて、俺が送ったissueとかFRすすっと解決してくれたりもして、めちゃめちゃ成長を感じる。
タグ：
posted at 19:53:08
津田和俊／急激に進行した網膜剥離と闘って @kaztsuda
韓国、半導体素材国産化に「死の谷」 脱・日本に壁 www.nikkei.com/article/DGXMZO...
「韓国企業もつくろうと思えば、何とかつくれる。ただ歩留まりが悪かったり、割高になったりして、採用は難しい。価格や納期も品質のうちだ」実験室レベルでは可能であっても工業化には高い壁がある。
タグ：
posted at 20:08:33
一力さん vs 里菜さんYouTube中継キター＼(^o^)／＼(^o^)／＼(^o^)／ #名人戦
第45期名人戦 最終予選決勝
youtu.be/pyNIN5EZOhc pic.twitter.com/KxNp4Q5lGt
タグ： 名人戦
posted at 20:18:53
ごまふあざらし(GomahuAzaras @MathSorcerer
実行オーバヘッドが短縮できても
コードをサブミットしたときに
PackageCompilerによるビルドの作業が走る時間が増えてUXが（控えめに言って）悪くなりそう． twitter.com/genkuroki/stat...
タグ：
posted at 20:42:27
ごまふあざらし(GomahuAzaras @MathSorcerer
Meta moji サイツヨ twitter.com/juvenile_crime...
タグ：
posted at 20:45:05
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
1) 関数の配列
[sin, cos, tan]
2) 関数を返す関数
function makeMulti(num)
return function(x) return x*num end
end
3) 演算子を指定して、配列の次元を下げる
reduce(+, 1:100)
#julialang 復習
タグ： julialang
posted at 21:18:48
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#Julia言語 Plots.jl pyplot()
nbviewer.jupyter.org/gist/genkuroki...
上の新しいバージョン。線の種類を増やして、モノクロの場合のプロットも作った。 pic.twitter.com/Iym8F74eep
タグ： Julia言語
posted at 22:08:49
無茶な大学入試改革について「政治主導」という側面を強調する人もいるが、文科省官僚の天下りの様子を見ると、かなりミスリーディングだと思う。
天下りの餌がある限り、どの勢力が政権を握っても、天下りのための無茶な大学入試改革への流れは無くならないと思う。
タグ：
posted at 22:14:02
東大の先生がニュース番組とそのウェブ記事で「安全なウェブサイトの見分け方」なるお話をされて、その内容がツッコミどころ満載でプチ炎上しているようですね。「アドレスバーに鍵マークが表示されてれば90%くらいは信用できる」などというのは誤った情報なので、真に受けてはいけません 😩
タグ：
posted at 22:18:21
iPadでJupyter
iPadOSになって、ブラウザがモバイル向けでなくなったからか、Jupyterも快適に使えるのね・・・
これはこれでいいかもな・・・
タグ：
posted at 22:19:40
むしろ逆のケース、苦労して成功したという自分の経験から弱者への温かみを欠いてしまうケースの方が多い気がします。 twitter.com/kirikomio/stat...
タグ：
posted at 22:24:56
いまどきのフィッシング詐欺サイト（偽サイト）は、ちゃんと鍵マークが表示されてるのが当たり前になってます。10年前ならいざ知らず、現在ではまったく判断材料になりえません。
タグ：
posted at 22:26:12
“こういった、物理学的なメカニズムが、化学組成について関心をもって観測したからこそ解明できたというのが面白い。 ” / “第2回 「あるはずないもの」がもたらした星形成での大きな発見 | ナショナルジオグラフィック日本版サイト” htn.to/2KYuJ2ijHd
タグ：
posted at 22:28:55
ちなみに、以前わたしは「アドレスバーが緑色になってて会社名が表示されてれば信用できる」とツイートしたことがありますが、もはや現在では通用しなくなってます。その判断方法にも問題があることが判明し、アドレスバーをそのように表示する機能自体がブラウザから削除されています。
タグ：
posted at 22:32:46
@MathSorcerer @ma63713534 @abap__ いつもお世話になっているかーどそーへーさんが発信していた関連情報。公平に感じられる仕様は大事。
JITのおかげで数学的なパズルを解くのに超絶便利なプログラミング言語に対して、独立なバイナリを作ることを強制すること自体に技術に問題があるように思えました。
twitter.com/kdwkshh/status...
タグ：
posted at 22:40:11
非公開
タグ：
posted at xx:xx:xx
数学の実力を測る試験では、問題文にある但し書きにたとえ従っていなくても、数学的実力を示していれば正当に評価するべき。
私は「√9.9を小数点以下第2桁まで求めよ。ただし四捨五入する前の値を答えよ」に対して「√9.9=3.146…なので四捨五入して3.15」と答えた答案を正解にしたことがあります。
タグ：
posted at 23:06:39
手計算で数値を求める問題。
√9.9=3.146…と計算できていれば数学的には十分。「ただし四捨五入する前の値を答えよ」という指示を見逃したことは数学的実力と無関係。だから、減点せずに完全正解で採点することが数学の試験としては妥当だと思いました。
数学的実力を測る採点はこうあるべき。
タグ：
posted at 23:06:40
完全なフリースタイルの記述式の試験のよいところは、理解度を純粋に測る採点をやりやすいことだと思います。
数学的実力と無関係の非本質的な事柄を全て無視して採点することが可能になる。
タグ：
posted at 23:06:41
@LimgTW @kuma_sakurairo #超算数 戦前の算術(=算数)教育は、指導方針が現代とはかなり違うので、掛順こだわりも戦後の算数教育界の言い分を検証するのが直接的な解明につながると思います。目下のところ1951年指導要領の算数編や、その執筆者の一人山本喜治が主導したかけ算の筆算の指導実践が現代の諸課題の根源と考えます。
タグ： 超算数
posted at 23:19:53
@LimgTW @kuma_sakurairo あと、私一人でやっているわけではなく、いろいろな人に教えてもらってここまで分かってきました。古い自分のツイを読み返すと結構見当はずれなことを書いているので、今やっていることも改善の余地大有りなはずです。ツッコミ、別資料、その他何でも歓迎します。#超算数
タグ： 超算数
posted at 23:38:50
ごまふあざらし(GomahuAzaras @MathSorcerer
Metamoji ペンの傾きカスタマイズできるので
横や縦の線が異なるようにするとちょっと綺麗にせることができる．
タグ：
posted at 23:47:14
ごまふあざらし(GomahuAzaras @MathSorcerer
@physics303 > 僕の実装ではそこそこ計算時間がかかってしまうので
お！ #Julia言語 の出番では!
タグ： Julia言語
posted at 23:48:24
