黒木玄 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年06月19日(水)
講義中にスマートフォン上のGeoGebraで，微分方程式に対するベクトル場と対応する積分曲線を描かせてみたら，ベクトル場と，その積分曲線が直交している絵を提出してき学生が多数いた．理解していない学生が多いということが判明したから，それなりに，やらせてみる価値あるな．
タグ：
posted at 23:51:19
#掛算 #超算数 研究授業のファイルは移転した。現在、福岡市立小学校長会の『算数科研究委員会研究のまとめ: 平成27年度』(2016年3月)は
www.fuku-c.ed.jp/schoolhp/zelpr... > (PDF) www.fuku-c.ed.jp/schoolhp/zelpr...
で見られる。 pic.twitter.com/VR5tvFT7HW
posted at 23:25:06
#数楽
(a⁴+b⁴+(a+b)⁴)/2
= a⁴+2a³b+3a²b²+2ab³+b⁴
= a⁴+a²b²+b⁴+2a³b+2a²b²+2ab³
= (a²+ab+b²)²
2つ目の等号の変形は式をじっと見れば心に浮かび上がる(笑)。
twitter.com/tamaki_py/stat...
タグ： 数楽
posted at 23:02:03
PseuDoctor＠フォロワーさん以外 @_pseudoctor
続き）事なのだろうか。だとすれば、一方の山本太郎が「誘われれば安倍内閣にも入る snjpn.net/archives/138391 とまで言った以上、薔薇マークはその真価が問われる事態になっていると言えよう。
タグ：
posted at 23:01:10
PseuDoctor＠フォロワーさん以外 @_pseudoctor
続き）したのかは不明だが、おそらく趣旨を理解していないのだろう。
そして薔薇マーク運動の方も、何故内田氏を受け入れたのか。山本太郎氏を推している所といい「清濁併せ呑む」にも程があるだろう。その一方で自民党内の反緊縮派は完全無視。結局は「反緊縮」ではなく「反アベ」という（続く
タグ：
posted at 23:01:09
PseuDoctor＠フォロワーさん以外 @_pseudoctor
【週間PseuDoctor】【政治】【経済】「薔薇マーク運動になんと内田樹氏が賛同」：内田氏と言えば「もう成長しない」論で知られる。即ち自分だけは逃げ切って悠々自適の老後を過ごしながら、若者には貧困に甘んじろという、世代間対立を煽る役にしか立たない人物。何故薔薇マーク運動に賛同（続く
タグ：
posted at 23:01:09
PseuDoctor＠フォロワーさん以外 @_pseudoctor
続き）落選した時の逆ギレぶり（落選したのは自分なのに「日本は終わり、脱出した方がいい」などと言う togetter.com/li/424177 ）を考慮すると、責任ある立場など到底任せられる人材ではない、と判断している。
タグ：
posted at 22:59:54
PseuDoctor＠フォロワーさん以外 @_pseudoctor
続き）山本氏は推せない。その理由は勿論、震災後の福島に対する暴言の数々、そしてそれらを謝罪はおろか、撤回も訂正も釈明すらしていないという点にある。更に言えば、天皇陛下に無理矢理手紙を渡そうとした件（政治的に意味が無いばかりか、民主主義に対する冒涜ですらある）や（続く
タグ：
posted at 22:59:53
PseuDoctor＠フォロワーさん以外 @_pseudoctor
続き）こちら www.jiji.com/jc/article?k=2... などを見ると結局「制度を説明する」「高齢者にも働いてもらう」ぐらいしか言っていない。
一方の山本氏。確かにマクロ経済の勉強をしている事は認める。少なくともそこらの国会議員よりも遥かに詳しくなっているのは間違いない。しかし、だからといって（続く
タグ：
posted at 22:59:53
PseuDoctor＠フォロワーさん以外 @_pseudoctor
続き）その実態は「本質的ではない所で目立とうとしている」だけ。例えばこれ www.jiji.com/jc/article?k=2... 。全会一致で決議されているのだから、小泉氏が棄権しようが実質的には何も変わらない。要するにスタンドプレイ。年金問題にしても「議論のチャンス」とか言っている様だが（続く
タグ：
posted at 22:59:53
PseuDoctor＠フォロワーさん以外 @_pseudoctor
【週間PseuDoctor】【政治】「小泉進次郎氏と山本太郎氏はどちらも危険」：政治的主張や立ち位置はかなり違うものの、この二人、ある意味では似ている。一言で言えば「ウケ狙い」な所。まず小泉氏。「自民党内での良識派」を気取る事で保守勢力と無党派層の両方を取り込もうとしているが（続く
タグ：
posted at 22:59:52
@MPEG31 知っているかどうかという点で，積極的に主張するのは変じゃないですし，twitter.com/genkuroki/stat...
というところに尽きるかと思います
タグ：
posted at 22:59:26
しかしながらHPVワクチンと例の筋痛性脳脊髄炎と呼ばれる疾患群を関連付けることに蓋然性がないのだから、特発性の難病として扱う方向に舵を切らないといけない。ワクチンと関連なしに、若い女性にああいう症状が出る、ということはものすごく重要な事実なんだ。
タグ：
posted at 22:30:52
病気の発生は環境と遺伝的要素が複雑に絡まって偶然に起こり、それはとても不幸なことで受け入れるのは辛くて悲しいことだけど、本質的には不運であって誰も悪くない。そのときに薬害みたいに攻撃できる相手があることが、患者や支える人たちにとって精神的支柱になってしまいがちだ。
タグ：
posted at 22:30:51
ワクチンの副作用でないものを副作用だと言い張ったら、疾患概念の確立や、治療法の発見や、実際にその患者さんの苦痛を取り除く機会を失うことになるわけ。実際に目の前に病気の患者さんはいるわけだから、科学的に適切な態度を貫かないといけないの。
タグ：
posted at 22:30:50
「おしどり話法」への回答は「伝聞でもデマはデマ。伝えた責任を取れ」でFA。おしどりマコは人権侵害の放射能デマをたくさん発信しており、その多くは曖昧な伝聞の形式を取っていますが、伝聞でもデマはデマです。伝聞なら許されるわけではありません
#おしどりマコ擁立問題
@CDP2017 @edanoyukio0531
タグ： おしどりマコ擁立問題
posted at 22:16:18
@genkuroki `@ timed` を使うと標準出力に出力せずに結果と実行時間（とその他）を取得できますよ。
```
function fib(n)
# 略
end
precompile(fib, (Int,))
(res, t, a, gc, obj) = @ timed fib(40)
# res == 102334155
# t == 0.532237034 (sec)
# a == 176 (bytes)
# gc::Float64
# obj::Base.GC_Diff
```
タグ：
posted at 22:15:20
@takusansu @AS_Insects #超算数 #観点別評価
私も情報提供。というか情報を探せそうな場所の情報。
私がGoogle groupsで検索したらと示唆していたのは以下のリンク先の検索のようなことです。私の黒歴史も出て来ると思うのでそこはお手柔らかに(笑)。
かけ算順序問題も話題になっていたはず。
groups.google.com/forum/#!search...
posted at 21:48:02
@AS_Insects @genkuroki #観点別評価 「市川伸一氏の情報その１」という題名で掲示板に書き込みました。
8254.teacup.com/kakezannojunjo...
タグ： 観点別評価
posted at 21:39:09
こういうことをはっきり述べているのはatcoderの発展**も**願っているから。
実際、atcoderで出されたパズル問題について楽しそうな悲鳴が上がっている様子は楽しそうだよね。(たまにTLをそういう楽しそうな発言が流れて行く。)
タグ：
posted at 21:31:34
#Julia言語 以上のような文脈で
【（2秒程度の実行時間のプログラムにおいて、juliaの性能が低い、というのは残念ながら事実だと思いますので。）】
という発言は看過できないと思いました。
私は悪印象を持ったことを明瞭に表明する必要があると思ったのです。
twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 21:28:04
非公開
タグ：
posted at xx:xx:xx
#Julia言語 補足：普段全く使わないので書かなかったのですが、#Julia言語 では函数を実行せずにコンパイルすることもできます：
f(x) = 2x
precompile(f, (Int64,))
precompile(f, (Float64,))
だから「2度実行するなら不正可能」という問題は考えなくてもよい。
docs.julialang.org/en/v1/base/bas...
タグ： Julia言語
posted at 21:13:35
@k_it1122 @genkuroki こんなんされると子供達が途中式書かないようになるだろ。数学理解への妨げ。
数学できんもんが算数教える今の制度はホンマくそ。
ああ、前川元次官みたいな無能がいたんだよな。
タグ：
posted at 21:03:20
1:15あたりからが感動的！
それまではJeffBezansonさんの孤独な開発が続く。
JeffBezansonさんは #Julia言語 の開発者の一人。
Evolution of femtolisp (Gource Visualization) youtu.be/dWetkrho4W8 @YouTubeより
タグ： Julia言語
posted at 20:21:16
Is the inner square moving? [optical illusion by @AkiyoshiKitaoka: bit.ly/2r5OZUO] pic.twitter.com/TWX2HWoe9P
タグ：
posted at 20:01:07
書泉ブックタワーコンピュータ書【営業時間 @shosen_bt_pc
6/19【先行販売分完売】『WEB+DB PRESS Vol.111』技術評論社（978-4-297-10657-7）WEB+DB PRESS編集部 編◆先行販売分は完売致しました。たくさんのご来店ありがとうございました！
タグ：
posted at 19:12:48
「欠陥試験で人生の大勝負がメチャメチャだ。」
↑
これが事実です。
NHK，民放TV，全国紙もしっかり報道してください！
www.nikkan-gendai.com/articles/view/... #日刊ゲンダイDIGITAL
タグ： 日刊ゲンダイDIGITAL
posted at 18:59:09
ごまふあざらし(GomahuAzaras @MathSorcerer
MatrixFlow は美味しい食べ物を共有できるメリットもありますね。 twitter.com/zero_kpr/statu...
タグ：
posted at 18:40:36
wakabame.hatenablog.com/entry/2018/02/...
めるも以前ABCをjuliaで解いてみたことがあったな pic.twitter.com/3YKAJ8fOYk
タグ：
posted at 18:35:03
OokuboTact 大久保中二病中年 @OokuboTact
池上彰はなんで、佐藤優のようなアホと対談本を大量生産しているのだろう？
池上彰の周りにはろくなアドバイザーがいないのか？
とっくに墓場行きのマルクス経済学についての対談本まで出しているし
タグ：
posted at 18:34:51
「特務機関NERV」Twitterアカウント、地震直後に“凍結” 災害情報発信できず 運営者「一番あってはならないタイミング」
www.itmedia.co.jp/news/articles/... pic.twitter.com/g0WwGaRb6d
タグ：
posted at 18:10:04
@genkuroki 「技術的にバカなことは言わない方が良いと思いました。」が酷いことだと思わず、それに対する「馬鹿にするのはやめた方が良いですよ？」が相手を怒らせる行為だと思うのであれば、もちろん構いませんよ。
タグ：
posted at 18:07:14
@genkuroki 一応僕の立場ですと、こちらが提供しているサービスに「有害」「ひどいコンテスト」と言われている状態で、説明できることについて説明していると、「印象が悪くなりました」って言われたりし続けている、って感じなのも考慮して頂ければ……。
タグ：
posted at 18:05:09
@genkuroki ですよね。バイナリを作る手段がない、ということはそういうことですよね。
AtCoder的に重要でも、他の大半の場面では重要でないなら、そう語るべきではない、というのは解りますが、「バイナリを作る機能」って、そこまで他の場面で重要でない機能ですかね？だったら提案されないと思うんですが。
タグ：
posted at 17:59:02
@nyk_nyk_nyk #数楽 さんきゅ！そう言って頂くとめっちゃうれしいです。
件のPDFファイルの最新版が
genkuroki.github.io/documents/2016...
Kullback-Leibler情報量とSanovの定理
にあります。
正規分布はxとx²の期待値を固定したときの「もっともありそうな」確率分布。x,x²を他に変えると他の指数型分布族が出て来る。
タグ： 数楽
posted at 17:52:59
@genkuroki えーっと、再確認させてください。2回目の実行からjuliaが早くなるのであれば、確かにgccと同条件と言えますが、2回目の実行（2回目の関数呼び出しではなく、再起動した場合です）の際に、gccのコンパイルと同じように高速に動作するんですか？
タグ：
posted at 17:46:10
@genkuroki JITコンパイラの個別対応を認めると、他言語でも同様の個別対応が求められて酷いことになるので、しばらくはこの対応で続けていくと思います。申し訳ないです。
juliaがバイナリを吐けるようになるのを期待しております。
タグ：
posted at 17:36:32
@genkuroki 申し訳ないのですが、この2つについて変更する気は現状ありません。
（2秒程度の実行時間のプログラムにおいて、juliaの性能が低い、というのは残念ながら事実だと思いますので。）
実行時間が100秒になれば話は全然違うのだと思いますし、別コンテストではjuliaが活躍する可能性はあるとは思ってます
タグ：
posted at 17:35:33
@genkuroki いえいえー。こちらこそ知見がいただけてありがたいです。
申し訳ないのですが、AtCoderとしては、現状、「実行時間そのものを計る」ルールとなっていますし、現実的な問題を踏まえて、「2秒程度の制限時間で測る」というルールになってしまっていて、Juliaにとって不利な環境であると理解しました（続
タグ：
posted at 17:34:17
@p1scesCom それは不正。不正を防ぐ話は後回しで良いと思います。
たぶん、atcoder側はどうして不快感を表明されているか自体をまったく理解できていない。
タグ：
posted at 17:24:48
「JITコンパイル後の函数の実行時間やメモリ消費のみを計測する」というのを大規模な競技で実行する仕組みを実現することは簡単なことではないかもしれません。
しかし、JITコンパイルのみで便利に使えている強力なプログラミング言語が実質的に排除されている現状について理解して欲しいと思います。
タグ：
posted at 17:20:56
以上のような事情になっているので、函数の実行時間の短さがスコアとして採用されるなら、JITコンパイル後の函数の実行時間を at time マクロなどで計測して欲しいです。
それなら普段実用的にJulia言語を使っていて函数の最適化を行なっている最中とほぼ同じになる。
タグ：
posted at 17:16:29
まとめ：
* 現在のJulia言語にはスタンドアローンで動くコンパクトなバイナリを生成する普段使い可能なほど便利な方法は存在しない。
* JITコンパイルのみでも、Julia言語は非常に便利なプログラミング言語である。
* Juliaユーザーはコンパイル時間を除いた函数の実行時間を頻繁に計測している。
タグ：
posted at 17:12:38
@genkuroki 嫌な例えで申し訳ないのですが、一回目の計測がないのであれば、愚直な計算でもメモ化して、2回目からはメモから取ってきて速度がO(1)になる問題が多くあると思うのですが、どうお考えでしょうか。
タグ：
posted at 17:10:04
そのような場合には函数の最適化がどこまでうまく行っているかが気になるので、メインの計算を行う函数の実行時には常に実行時間を計測するようにしたりします。
公式ドキュメントでも at time マクロで実行時間とメモリ使用量を計測することが推奨されています。
docs.julialang.org/en/v1/manual/p...
タグ：
posted at 17:06:50
私が特にJuliaで計算したいと感じるのは「待っていると苛つく程度」以上に重い計算を試行錯誤しながら行いたい場合です。例えば最近ではチューリングパターンを生成するパラメータの探索などが典型的。続く
タグ：
posted at 17:03:53
続き
方法2: BenchmarkTools.jlパッケージの at btime マクロまたは at benchmark マクロを使う。函数を複数回実行して結果を教えてくれます。
以上のスクショは
nbviewer.jupyter.org/gist/genkuroki...
より。
スクショはat btimeですが、at benchmarkならもっと詳しい情報を表示してくれる。続く pic.twitter.com/esT4ZZEc5S
タグ：
posted at 17:00:19
はじめまして、黒木先生 @genkuroki そしてありがとうございます。
正準分布の導出にまつわる疑問が解消する気がしてきました。
www.math.tohoku.ac.jp/~kuroki/LaTeX/...
タグ：
posted at 17:00:16
将来的に可能になりそうなことではなく、現在の状況に戻る。
(7) 現時点でJulia言語ユーザーはどのようにして、JITコンパイルの時間を除いた函数の実行時間を計測しているか。
方法1: 一度実行してJITコンパイルを行ってから、実行時間計測の at time マクロを使用する(添付画像)。
続く pic.twitter.com/J1HSyHhCuy
タグ：
posted at 16:56:04
(6) このようなことが可能ならば多言語で利用できるライブラリをJuliaで作れると良いと思うのですが、現時点の開発はそこまで到達していません。しかし、ターゲットにはなっているようです。続く
github.com/JuliaLang/juli... pic.twitter.com/Ldnz0q29mv
タグ：
posted at 16:45:14
例：scipyで採用されているFortranで書かれた指数積分函数のライブラリの5～6倍の速さで計算してくれる指数積分函数をJuliaを使うと楽に書くことができる。
Juliaは現代的なプログラミング言語なのでアルゴリズムの最適化を楽にできることを利用した仕事です。
nbviewer.jupyter.org/github/steveng...
タグ：
posted at 16:36:48
(5) Julia言語では、やろうと思えばCやFortran並に速く動くコードを書けます。
ただし、JITコンパイルに数秒程度の時間を取られることがある。
しかし、高速な言語を使いたくなるような計算は通常数秒では終わりません。
だから、実用的だと感じられるわけです。
続く
タグ：
posted at 16:33:12
(4) Julia言語のそのような利点を享受するためには、スタンドアローンで動くバイナリを生成できなくても、十分に実用的です。
おそらくすでに十分に実用的なので、スタンドアローンで動くバイナリを生成するコンパイラの開発の優先順位が下がりがちだったのだと思われます。続く
タグ：
posted at 16:28:31
(3) Julia言語は、函数に引数の型宣言をしなくても、引数の型情報が伝搬するようなコードを書いておけば、函数の引数に応じた型推論によって適切にコンパイルしてくれます。
ユーザー側は面倒な型宣言せずにかなり気楽にコードが書ける。
CPUで動くのと同一のコードでGPUも利用できたりします。
タグ：
posted at 16:25:47
このスレッドの始まりは
github.com/JuliaLang/juli...
[Julep/WIP] Standalone AOT compilation mode #32273
の件の紹介でした。
この試みは非常に楽しみです。続く
タグ：
posted at 16:21:17
(2) (現在の)Julia言語では、普段使い可能なほど便利な、実行前コンパイルによってスタンドアローンで動くバイナリを作る方法はない。
続く
試みはあります。
以下のリンク先の議論はJITで便利に使えている言語ではAOTをどのように実装するべきかに関する議論がある。
discourse.julialang.org/t/compiler-wor...
タグ：
posted at 16:17:34
@genkuroki 参加費等を取っているサービスではないので、運営人数はかなり少ないですし、現行は個別対応は難しいです。（それをすると、今度はコンパイラの更新が5年ごと、とかになります
大部分が満足するサービス、というのを提供するのが今のAtCoderの限界ですし、そのあたりはご理解いただければと思います。
タグ：
posted at 16:07:01
@genkuroki ということで、現状ですと、LL系の言語や、実行時にコンパイルするような言語の対応はちょっと難しいです。申し訳ないです。
逆に、どのようなフレームワークを用意してあげれば、JITコンパイル等を含む言語でも時間測定ができるようになるかのご提案を頂ければと思います。（続く）
タグ：
posted at 16:05:57
@genkuroki さて、ここで、「複数言語を入れた時に公平性を保つ方法」は複数あるかと思います。各種一長一短あると思いますが、AtCoderの選択は、「そもそも言語選択の自由があるのだから、現行システムで速度が出せない言語は切り捨てる」です。可能な限り拾い上げたくはありますが、現行のリソースだと……（続
タグ：
posted at 16:03:35
(1) Julia言語では、函数を初めて実行したときに函数のコードと引数の型情報に基いて、ネイティブコードにコンパイルされて、即時実行されます(所謂just-in-timeコンパイル)。
そのときに、コンパイル時間が長くなる場合があります。
一度コンパイルされればその後のコンパイル時間は無くなる。続く
タグ：
posted at 16:02:43
@genkuroki 情報科学的な側面だけで競うのであれば、「独自言語を作って命令数で制限をかける」のような方向性もあるでしょう。これを実施したコンテストも存在します。（Samurai Coding）
ですが、情報工学的な観点から、多言語での環境を提供した方が有益と考え、現在多言語での提供をしております（続きます）
タグ：
posted at 16:00:38
@genkuroki 競技としての公平性に関してですが、これを完全に保つのでしたら、「何か一つの言語しか使えないようにする」以外に公平性を保つ手段はありません。アルゴリズムを競う競技、という意味においては、作問の観点だけで言えば、このルールに統一したい点もあります。（続きます）
タグ：
posted at 15:59:05
@genkuroki なるほど。そういう意味であれば正直知らないです。ごめんなさい。
Juliaについて意見を求めたところ、PackageCompiler.jlを使えば高速に出来るのでは、という意見があったのですが、あまり詳細は把握しておりません。
（ツイート続きます）
タグ：
posted at 15:57:42
@genkuroki まず前提を共有したいのですが、AtCoderは、「ユーザから、コンパイルコマンド、実行コマンド、インストールコマンドの希望を取り、それに基づいて環境を構築している」という前提を把握した上でのご意見でしょうか？
docs.google.com/spreadsheets/d...
タグ：
posted at 15:48:38
個々のプログラミング言語ごとに別々に適切な実行時間計測を行う仕様にすることは大変なことなので、すぐには多分無理。
だから、忘れないように、何度も繰り返し発言して行けたらよいと思っています。
アンフェアなルールの競技で勝ってもうれしくない人が増えるとよいと思う。
タグ：
posted at 15:21:34
このatcoderについて「ある言語ではコンパイル時間が実行時間とみなされず、別の言語では実行時間とみなされる」という件について不満を表明すると、びっくりするような反応が飛んで来る。
「その言語のサポートをやめる」にはびっくり。
実質排除を有害だと言っているのに排除するべきという反応。
タグ：
posted at 15:18:57
個々のプログラミング言語への対応にはコストがかかるので、「現時点では運営側がコストを割けないので適切な対応は無理」という意見であれば十分に理解可能だが、個々のプログラミング言語ごとに適切な対応をすると怒る人が出るという類の話は理解不可能。
タグ：
posted at 15:05:55
サポートをやめるとさらに有害だと思う。
若い人達が熱心にやりそうな競技から一部の有力プログラミング言語を排除することが良いことだとは思えない。
各言語ごとに適切な別々の実行時間計測方法を採用すれば問題無し。個人的にはこれが一番建設的だと思います。
twitter.com/akensho/status...
タグ：
posted at 15:00:41
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ある言語ではコンパイル時間は競技の成績に影響せず、別の言語ではコンパイル時間(JITコンパイルを含む)が実行時間とみなされてダメだとみなされる。
これはひどい競技だよね。
「色々なプログラミング言語で面白そうなアルゴリズムを実装して挑戦すること」は個人的に非常に楽しいことだと思う。
タグ：
posted at 14:27:31
私は個々の言語ごとに個別に対応するしかないと思う。
各種のプログラミング言語の利点を活かした楽しみ方をできる競技ではなく、複数のプログラミング言語のあいだで不適切な比較をするような競技の存在は若い人達が技術を適切にマスターすることについて有害だと思う。
twitter.com/akensho/status...
タグ：
posted at 14:23:56
@AS_Insects @takusansu こういう質問は非常に助かります。
自分の発言がどれだけ薄い根拠に基いているかをはっきりさせることができる。
しかし、(私にとっては黒歴史なので探しませんが)fjでの市川伸一さんの数学教育関係の発言を探して読んでおく価値はあると思っていたので、紹介しています。
twitter.com/AS_Insects/sta...
タグ：
posted at 14:20:20
@AS_Insects @takusansu 私の「市川伸一さんまずくね」という意味の発言は1997年前後のfjでの市川さんが提案していた試験問題と「知識の習得」系のテスト問題の雰囲気が似ていることを根拠にしています。
それ以上の根拠は皆無なので、ひどく的を外している可能性があります。
タグ：
posted at 14:18:03
お子さんが学校の数学で満足できないというときは、Wolfram Aiphaを勧めてみてください。
www.wolframalpha.com
画像はちょっと使った例。Mathematicaの文法がほぼ使えると思います。 pic.twitter.com/3t8RI8hl9D
タグ：
posted at 14:14:11
Scalaとかもそうなんですけど、いまはVMの起動時間も実行時間として計測されてしまっていたはず（間違えてたらごめんなさい）で、そういうのを除外したピュアな実行時間を計測できる方法があるなら教えて欲しいです。
タグ：
posted at 14:10:56
>そもそもAtCoderは全言語でACできることを保証しておらず
はい。大変なので。30個くらい使えます。言語。
>一番速い言語を選択するのも競技のうち
実行速度の早い言語を使うと有利になるのは避けられません。それが競技のうちかというと微妙です。
twitter.com/genkuroki/stat...
タグ：
posted at 14:06:35
非公開
タグ：
posted at xx:xx:xx
今の大学では「データサイエンスのための教育の充実」のためにリソースを割こうとしているのだが、私は個人的に極めて愚かな行為だと思う。
「データサイエンス」に限らず何か流行り物に合わせて教育の仕方を変えるのはやめた方が良い。
大学へのお金の出し方がクズだとどんどん酷いことになる。
タグ：
posted at 13:10:36
もしも放射能デマの効力が下がっているならば、放射能デマのおしどりマコを立憲民主党が重用していることはなおさら愚かな行為ではないかと思いました。
私は個人的におしどりマコは悪人だと思っています。悪人が悪の行為によって既成政党から重用されて国会議員になるのは非常にまずい。
タグ：
posted at 13:03:50
資料：「反原発」→「放射能デマ」
放射能デマの効力が下がっていることを自覚しているのかな？
山本太郎には落選してもらいたい。 pic.twitter.com/piDYTLiKud
タグ：
posted at 12:59:16
twitter.com/ma63713534/sta...
【Juliaみたいにコンパイル処理等の影響で(本来速いのに)ほとんどの問題がTLEで通せない言語もあり、そもそもAtCoderは全言語でACできることを保証しておらず、一番速い言語を選択するのも競技のうち】
「一番速い」の定義がこれだと「つまらん競技だね」と言いたくなる。
タグ：
posted at 12:52:00
#超算数 鹿児島県教育会『鹿児島県小学校教員検定試験教育科問題解説』鹿児島、鹿児島県教育会、1939年。dl.ndl.go.jp/info:ndljp/pid...
【算術は、その思考も発表も飽くまで正確でなければならぬ。故に答数の名を誤ったり、乗数を名数で呼んだり…するやうな事は一切許してはならぬ。】(230頁)とある。
タグ： 超算数
posted at 12:15:55
今、友人の一人から連絡がきた。山本太郎・れいわ新選組に寄付をしたんだが、この記事を見て、今すぐ寄付金返してほしいって思っているって
自民党と組む・立憲批判ために寄付したんじゃないと相当怒っていた。
怒るよね普通にさ
#拡散希望 #山本太郎 #れいわ新選組
dot.asahi.com/aera/201906180...
posted at 11:24:23
HAYASHI Tomohiro @SokoranoKumasan
もはや増税前の駆け込み需要すら起こらないほど消費者の購買力低下している中での増税は、深刻なダメージをもたらすと思います。
消費増税は無期限延期を 元IMF幹部が異例の反対論：朝日新聞デジタル www.asahi.com/articles/ASM6H...
タグ：
posted at 10:57:54
私が個人的に特に経済学部でExcelを統計教育で主に使うことが社会的に有害だと考える理由は以下のリンク先の件があるから。
仮にExcelの数値計算での謎挙動が無くても、スプレッドシートでの作業は再現性のない手作業が介在してしまうことを防げなくなるので危ない。
twitter.com/genkuroki/stat...
タグ：
posted at 10:27:03
私がそういうコメントをしたら、別の人からも、
「Excelの計算の仕方はおかしい場合がある」
というコメントが出た。
Excelの謎の挙動については以下のリンク先を参照：
twitter.com/genkuroki/stat...
タグ：
posted at 10:21:57
とあるところで、〇〇大学△△学部の統計の偉い先生が「Rを教育で使うのはまずい。Excelの方がよい」と言っていたという話を聞いた(私にとっては未確認情報)。
私は「Excelを統計教育で主に使うようにするのはやめた方がよい」とコメントしておいた。
個人的な意見では特に経済学部でExcelはまずい。
タグ：
posted at 10:19:12
奥村さんによる決定的なコメント。
twitter.com/h_okumura/stat...
添付画像は
oku.edu.mie-u.ac.jp/~okumura/softw...
より。引用：Excelは
【トップレベルが引き算の場合は特別なことをするようだ】
【引き算全体をかっこでくくるだけで例外処理をしなくなる】
Excelがやっていることが謎過ぎ。 pic.twitter.com/SAFYqucVlh
タグ：
posted at 10:12:05
RやLibreOfficeで当然出るはずの丸め誤差を確認。当然の常識的な結果が得られる。Excelの側がおかしい。
twitter.com/MinatoNakazawa...
タグ：
posted at 10:12:01
資料：発端になったExcelの異常動作の再発見の報告。Excelの側が謎な動作をしているという認識までにはこの時点では到達していない。
twitter.com/haou13fri/stat... pic.twitter.com/mVTNyQTIss
タグ：
posted at 10:12:00
結論：
* 平方根を含む浮動小数点数の計算で丸め誤差が発生するのは当たり前のこと。
* LibreOfficeは当たり前の動作をしている。
* Excelは謎の処理で出るべき誤差が出ないようにしている場合がある。
やはり統計教育などでのExcelの安易な使用は避けるべきだと思う。
twitter.com/LibreOffice_Ja...
タグ：
posted at 10:11:58
Wolfram社の社員には何語を話す人が多いのでしょうか？
このワードクラウドを見ればわかります。皆さんが習得したい言語はありますか？
見ているだけで、にぎやかですね。 pic.twitter.com/fFyi9NC9Cw
タグ：
posted at 10:06:04
【「のだめ」生んだ 汚部屋写真】
yahoo.jp/efTvN4
「のだめカンタービレ」は音大生の音楽にかける情熱をコミカルに描いた漫画。主人公・のだめには実在のモデルがおり、作品誕生のきっかけは「ゴミ屋敷のような部屋でピアノを弾く」写真だったという。
タグ：
posted at 09:46:15
中澤 港％人類生態学者＠神戸大学 @MinatoNakazawa
@LibreOffice_Ja 引用RTでRでの計算結果から，Excelの方が特殊な処理をしているのではないかと書いたら，三重大学の奥村先生がコメントくださり
twitter.com/h_okumura/stat...
かつて検証されたページを教えてくださいました。
タグ：
posted at 09:43:30
昔調べたことですが，Excelの不動小数点演算はおかしな（まずい）ことをしているようです oku.edu.mie-u.ac.jp/~okumura/softw... twitter.com/MinatoNakazawa...
タグ：
posted at 09:22:07
「ヒール靴を強要されているなんて、本当にあるのか？」「そんなの聞いた事が無い」というご意見が頻繁に来ていますが、参考として「ヒール靴を履くことが決められている」事例が記事となっています。
www.asahi.com/articles/ASM6D...
タグ：
posted at 09:14:03
村井俊治・東大名誉教授らの地震予測メルマガ『MEGA地震予測』が山形県沖地震（最大震度6強）の直前に発表していた地震予測に、同地震の震源を青☓印で描き込んだ。これだけ日本中に網を張っても、いつもいつも絶妙にハズす、もはや芸術の域。 pic.twitter.com/4LMAbRT9cZ
タグ：
posted at 08:49:06
噂に聞いてた「掛け算の順番」間違い…小6息子もやられたようです(´Д` )
しかも直方体の計算で…⤵︎ pic.twitter.com/oMc0h4upmR
タグ：
posted at 08:41:19
中澤 港％人類生態学者＠神戸大学 @MinatoNakazawa
確かにoptions(digits=20); Bとやると，4項目が3.0000000000000004となっている。25項目は誤差が5e-11を初めて超える項。ちなみにLibreOffice Calc 6.2.4.2 (x64)では，小数点以下16桁表示で10桁目に1が出るがB=CはTRUEを返す。 pic.twitter.com/YJUKURp4IL
タグ：
posted at 08:26:57
中澤 港％人類生態学者＠神戸大学 @MinatoNakazawa
浮動小数点演算の丸め誤差が出ない方が特殊な処理だと思う。Rで
A <- 1:25; B <- (((1+sqrt(5))/2)^A-(((1-sqrt(5))/2)^A))/sqrt(5); C <- numeric(25); C[1] <- 1; C[2] <- 1; for (i in 3:25) { C[i] <- C[i-2] + C[i-1] }; B==C
とやると4項目からFALSE twitter.com/LibreOffice_Ja...
タグ：
posted at 08:19:00
平成31年度全国学力調査 中3国語でも、
非連続型テキストのひどい問題が出題されているのではないかという懸念をまとめたツイート群は下記から。
twitter.com/RochejacMonmo/...
タグ：
posted at 07:57:43
大学に入るまで論理的なアーギュメントの組み立て方を知らず、こういう忖度決意表明文ばっかり書かされていたら大変だからやっぱり大学入試改革が必要だな。まずGTECを共通テストから外そう。
タグ：
posted at 07:52:17
消費増税は無期限延期を 元ＩＭＦ幹部が異例の反対論 www.asahi.com/articles/ASM6H...
ブランシャール。
"消費増税を実施すれば不況になるかもしれない一方、債務残高の国内総生産（ＧＤＰ）に対する比率は大して改善しない。"
要約すると「君らの政府と官僚はバカだな」かな？
(^◇^;)
タグ：
posted at 07:33:15
なんと。。dockerのためだけにWindows 10 Proにアップグレードしたのに。。いや、素晴らしい改善。メイン機以外でも使えるようになるのでメリットは十分にある。 www.publickey1.jp/blog/19/docker...
タグ：
posted at 07:32:34
@jo3emc @hiddenbugs @argrath @LibreOffice_Ja Excel Onlineで試してみました。確かにn=25でも誤差が生じないです。n=74で漸化式計算側も精度の情報落ちが生じますが、逆にいうとn=1～73まで正しく整数で答えが出ていることが確認できました。(確認のため小数点以下を30桁表示しました。実際の内部の演算精度はそこまでないと思いますが。) pic.twitter.com/5oU7uHDZuy
タグ：
posted at 07:03:42
久々の動画です！
2016年の日本数学オリンピック予選の根号を外す問題です。
youtu.be/GOb0Mh79mmw pic.twitter.com/3vRhzTISws
タグ：
posted at 06:56:12
Mathematicians can't get enough of this chalk that many regard as the best in the world. alumni.berkeley.edu/california-mag...
タグ：
posted at 04:01:16
ggplot2再入門（2015年バージョン） #ggplot2 #rstatsj www.slideshare.net/yutannihilatio... via @SlideShare
posted at 02:07:42
Graphの文法を解説しつつ、それにそったライブラリを紹介している動画。良い。 / Jake VanderPlas - How to Think about Data Visualization - PyCon 2019 youtu.be/vTingdk_pVM via @YouTube
タグ：
posted at 02:07:24
津田和俊／急激に進行した網膜剥離と闘って @kaztsuda
と、いうエネルギー収支がわからない人を金づるにした、投資目的の提灯記事なんでしょうねえ --;;;
タグ：
posted at 01:46:31
津田和俊／急激に進行した網膜剥離と闘って @kaztsuda
国際帝石、CO2を都市ガス原料に 国内初の事業化
www.nikkei.com/article/DGXMZO...
どうやって二酸化炭素を還元して炭素を回収するのかと思ったら、再エネの余剰電力で電気分解した水素。。。これ、回収した炭素は末端で再度燃焼して二酸化炭素に戻って拡散されるので、再エネをそのまま利用した方が効率的。
タグ：
posted at 01:45:28
カラスマ%ナチュラル・ボーン・うっかり @KARASUMA13
何やらバズったら宣伝していいらしいので、そろそろライターのお仕事を再開しようと思っています。書ける分野は日本史、労基法関連、ADHD含む発達障害者向けライフハック（医師の監修あり）、病気で失業したときの社会制度利用を駆使したサバイバル戦略。ご興味をもたれた媒体・出版社の方はDMで。
タグ：
posted at 00:11:04
#超算数
『文部省国民学校教則案説明要領及解説(1940)+國民學校敎則案說明要領(草案)dl.ndl.go.jp/info:ndljp/pid...
同(1942)+國民學校敎則案說明要領(改訂草案)dl.ndl.go.jp/info:ndljp/pid...
は、国民学校制度の主管部局が文部省普通学務局であるといっているように見える。
タグ： 超算数
posted at 00:06:20
