黒木玄 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月20日(木)
#超算数 参考資料
岡野勉「算術教育の目的としての『数理思想』の形成過程: 教育内容論との関連で」『北海道大學教育學部紀要』第54巻 (1990年2月)、127-157ページ。hdl.handle.net/2115/29344
岡野は塩野直道の数理思想を批判的に見ているようだが、結論部分がごちゃごちゃでよくわからなかった。Help!
タグ： 超算数
posted at 23:53:09
今日のベクトル解析の授業では電磁気学や流体力学などへの応用の話をちょっとしたのですが、ちょうど最新号の数セミをもっていたので、次号（8月号）の数セミの特集が「ベクトル解析と物理学」というのを紹介しました。別に日本評論社さんの回し者ではないのですが、いつもお世話になってますからね。 pic.twitter.com/vEtVGLJpWT
タグ：
posted at 23:52:16
歌詞生成テスト。昨日の狂気じみた出力はバグだったのだが、バグがとれたら普通っぽい候補しか出なくなった。芸術には狂気が必要か pic.twitter.com/lWMtDwcqyG
タグ：
posted at 23:41:08
資産分布のグラフの形は指数分布に近い。一方、統計力学の教科書を見ると、ランダムな分配で最も生じやすい分布が指数分布。この比較は示唆的。
収入の効用函数として対数を取るとき、収入の平均と効用の平均を与えたときの最もありがちな分布はガンマ分布になる。年収の分布の形はガンマ分布に近い。
タグ：
posted at 23:20:16
#JuliaLang #Julia言語
github.com/jdlangs/RobotO...
Julia interface to ROS (Robot Operating System)
posted at 22:58:20
高額所得者の税金が云々という話があるようですが、ここで分離課税等のさまざまな制度的問題のために、所得が一億円を超えると【所得が増えるほど税率が下がる】という信じがたい事実が起きていることをご覧くださいwww.mof.go.jp/tax_policy/tax... pic.twitter.com/8985lkFIJQ
タグ：
posted at 22:50:37
facebookのPythonのROSラッパー。だれかこれとPythonRoboticsでロボット動かしてくれないかな。facebookresearch/pyrobot: PyRobot: An Open Source Robotics Research Platform github.com/facebookresear...
タグ：
posted at 22:36:54
メキシコのコロナビールの缶、ビニール袋削減のために10個まで連結して持って帰れるようになって反響がすごい
pic.twitter.com/TVeV6GnWK7
タグ：
posted at 22:10:33
なので、はすみとしこ氏のこの主張は、「標準医療を行っても死ぬことだってあるだろう」と、効果のないばかりか害もあるニセ医学を擁護するようなもんです。論外。 twitter.com/hasumi29430098...
タグ：
posted at 20:59:12
体罰は効果がないばかりか、子どもの発達にとってマイナス要因であるというエビデンスがある[ www.kodomosukoyaka.net/pdf/201709-evi... ]（仮に効果があったとしても体罰が容認されるわけではないが、それはそれとして）。 twitter.com/hasumi29430098...
タグ：
posted at 20:58:42
あもりにも速すぎて熟語にも強い辞書ツールMouse Dictionaryですが、自分で使っていて追加したい機能や感じる不満がもうなくなったので、利用者からの要望等ありましたら教えてください😉
qiita.com/wtetsu/items/c... pic.twitter.com/qaIe6jSMjy
タグ：
posted at 20:13:12
伊豆七島と小笠原諸島には，計９校の都立高校があるそうだ。新制度が始まると神津島の生徒は共通テストだけでなく，英語民間試験についても，GTECの公開会場ができる予定の伊豆大島か，東京に舟で行くしかなくなりそう。この問題をどう考えるかを私立中・高連合会長にうかがってみたい。
タグ：
posted at 19:50:39
民活入試のために僻地・離島の生徒が被る不利益を皆が心配している一方で，私立中・高連合会は，4技能入試（つまり民間試験）への一本化を柴山文科大臣に要請。不買運動をしたいレベルの腹立たしさ。 pic.twitter.com/6oVyk5qo0o
タグ：
posted at 19:31:04
#julialang の話は既視感あると思ったら自分が昔通ったやつだ。
新言語やるか→juliaが面白そう→あなごる未対応→atcoderにある→TLEくらいまくり→挙動よくわからん→あ、バージョン古いからこのせいか？→あのツイート→juliaは俺には荷が重かった（今ここ）
それにしても黒木先生はいいキャラだ笑 twitter.com/urutom/status/...
タグ： julialang
posted at 19:15:00
非公開
タグ：
posted at xx:xx:xx
あさくら （鰻より穴子派）スンデル @arthurclaris
山本太郎の発言の数々はアンサイクロペディアが詳しい。ジョークだらけのネタサイトだけど、発言そのものはほぼ本物。
00m.in/cxln5
タグ：
posted at 18:05:14
非公開
タグ：
posted at xx:xx:xx
情報をたどり易くするためのリンク
現時点では、Juliaではコンパイル時間も実行時間に含められてしまうので、多くの問題でJuliaの使用は実質不可能。
事情を理解してアドバイスできる人が増えた方が良いと思う。
現状の仕様でも逃げ道が残っている可能性がある。
twitter.com/hyper0dietter/...
タグ：
posted at 17:04:58
情報をたどり易くするためのリンクと資料
私が数秒程度の計算にも #Julia言語 を非常に便利に使っていることは過去のツイートおよび公開しているJupyterノートブックが証明している。
その大部分が何らかの数学的な問題を解くこと。
twitter.com/genkuroki/stat... pic.twitter.com/T8wHzrC7g1
タグ： Julia言語
posted at 16:56:44
元体操五輪選手・岡崎聡子さんの薬物逮捕後の近況と報道する人たちへの提案(篠田博之) - Y!ニュース news.yahoo.co.jp/byline/shinoda...
タグ：
posted at 16:14:20
慎重さに欠けた言い方を訂正。
PackageCompiler.jl
github.com/JuliaLang/Pack...
を使えば一応バイナリを作れる場合があります。
しかし、これコンパイル過程が非常に重いので特別なケース以外には使いたくないです。現在の私は全く使っていない。 #Julia言語
twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 15:49:09
チャレンジングなことをやっているまだ発展途上のものをリアルタイムで見ておくことは(特に若い人たちにとっては)大事なことだと思います。
視野狭窄に陥る方向に大人達が誘導しちゃダメ。
他にも未完成だが進行中の面白いことがあればみんなでどんどん話題にして行くと良いと思います。
タグ：
posted at 15:45:31
ただし、 #Julia言語 は非常に若いだけではなく、他ではやっていない方向にかなりチャレンジングなことをやっていることが原因で、まだ「あって欲しいものが結構ない」状況です。
例えば独立して動くバイナリの生成はまだできない。議論については以下を参照。
twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 15:42:30
#Julia言語
nbviewer.jupyter.org/github/steveng...
スクショ解説
1. 連分数展開で指数積分函数E₁(z)を計算するための函数。
2. 相対誤差を1e-14以下にするために必要な連分数の長さnの視覚化。赤いところのnが小さい。そこでは連分数展開が効率的。
3. 同函数を数式で表示！
4. 完成品はマクロ！ pic.twitter.com/MCDoyGJuiU
タグ： Julia言語
posted at 15:25:00
やっている函数の最適化はアルゴリズムの最適化です。「SIMDを使えば速い」というような浅はかなことはしていません。アルゴリズムの最適化の作業過程で
* 計算結果の視覚化が容易であること
* 数値計算用の函数を数式で表示させて確認できること
* マクロ(コンパイル時計算)
などが使われています。
タグ：
posted at 15:12:30
@genkuroki @champion1941 @open_tyabouzu 実際、中高生に順列・組み合わせを教えていて、組み合わせを求めてもらう場合、樹形図で②みたく書いたり、ダブりを消したりしてゴチャゴチャしてしまって収拾が付かなくなるケースがままあります。
タグ：
posted at 15:09:57
何度も引用している
nbviewer.jupyter.org/github/steveng...
でやっていることは、Python scipyで採用されているFortranで書かれた指数積分函数と同等の誤差でかつ5～6倍で動く函数を #Julia言語 で書くこと。
その作業の全体がノートブック形式で公開されている。私はこれを見てJuliaの実用性を確信しました。
タグ： Julia言語
posted at 15:08:22
AOTコンパイルが可能になれば、#Julia言語 では特殊函数の数値計算のコードの最適化を実行し易いことを使って、既存のライブラリの数倍の速さで特殊函数を数値計算してくれる多言語でも使用可能なライブラリが作られる可能性があります。
nbviewer.jupyter.org/github/steveng...
タグ： Julia言語
posted at 15:04:48
「バイナリを作らなくても非常に便利」を示唆する発言は
【Juliaユーザーは普通、問題解決のためのコードを試行錯誤で仕上げた後にわざわざAOTコンパイルしないと思う】
の部分。数学パズルをJuliaを使った試行錯誤で解いた後もしくはその過程でAOTは使わないと思う。
twitter.com/genkuroki/stat...
タグ：
posted at 14:56:14
もしも以上の話題が「バイナリを提出させて、入力があった時間以後の実行時間を計測」の類で何とかなる話だと思っている人がいたら、何も理解していません。
あと、「バイナリを作らなくても非常に便利に使えるよね」ということを示唆する発言はスレッドの最初の方にすでにある。続く
タグ：
posted at 14:51:53
僕にとってJuliaは所属する会社の売上を上げるために機械学習や最適化やAPI生やすために使われている大切な商売道具で、個人的にCTFで使ったり、勉強してみた色んな方程式の数値解析や最適化で連立一次方程式を解くために使うものだけど、競プロで使っても全然いいと思うよ。みんなJulia使おう。
タグ：
posted at 14:42:25
いいからみんな101に寄付してくれろ〜
寄付金いっぱい集まるとまた大物呼んでおもしろい企画ができるかもだYO〜 twitter.com/econ101jp/stat...
タグ：
posted at 14:42:04
競技プログラミングという競技で結果を出したいならそれに良い言語を選べばいいだけで、AtCoder社が自分のためにJuliaユーザを取り込むために握手しましょうと言ってきているのであれば僕らユーザもJuliaの幅を増やせるのはいいねって思うけど、そのための言語ではない。
タグ：
posted at 14:25:16
@sekibunnteisuu @champion1941 @open_tyabouzu 私は
【証明として図が必要ということなら上の例では説明不足の気がします。ダブリの分を消すとかしないと見てもよく分からない。下の方ならわかります】
が教育的に有害なことを強調したいと思っています。引用した【】の内側のコメントを自分ちの子にされたら怒ります。
twitter.com/champion1941/s...
タグ：
posted at 14:21:05
非公開
タグ：
posted at xx:xx:xx
@champion1941 @genkuroki @open_tyabouzu どちらも正解、というのは当然としても、エレガントなのは①。10人から3人選ぶ場合、特定の～、などでも対応できる。
いずれにしても、この採点をした教師の見識を疑わざるを得ない。
タグ：
posted at 13:56:34
twitter.com/k_it1122/statu...
これ、結構レアもの。評価額は高いんじゃないかな？
私は、掛け算順序問題を10年以上追っているけど、リアルなバツの答案を見たことはないんだよね。「4人に3個ずつ、で4×3でバツ」という通常の奴でいいから見てみたい。
タグ：
posted at 13:52:37
@tatt61880 なるほど、atcoderルールでは実行時間計測の正確さは気にしなくてよいと。
#Julia言語 でタイムアウト付きで函数を実行する方法については以下のリンク先の方法を発見できました(自分では試していない)。 Julia言語の偉い人達ならもっとよい方法を知っていると思う。
www.reddit.com/r/Julia/commen...
タグ： Julia言語
posted at 13:27:13
@genkuroki 一参加者としての感想ですが、実行時間が制限時間に近いコードが正解扱いとなったり不正解扱いとなったりするのはある程度仕方ないと思っています。運も実力のうちという考え方です(※個人の感想です)。実行時間は順位には直接影響しないので、揺らぎが多少あっても基本的には問題ないと思っています。
タグ：
posted at 13:16:52
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@tatt61880 私的には、実行するごとに実行時間が揺らぐという問題にatcoder側がどのように対処しているのか教えてほしいです。
仮に
多くの場合に揺らぎは微小なので無視して問題ない
という対処の仕方ならば、どこかで揺らぎが小さいことを示すテスト結果が公開されているはず。そういう結果は見てみたい。
タグ：
posted at 13:06:03
@tatt61880 ～と非難されてしまうことになるでしょう。
流石にそれは避けたいので対策を練ります。
そういう場合に #Julia言語 ユーザーは通常 @ btime や @ benchmark を使って複数回実行させて統計を取る(実行時間については最小値を採用する)ことが多い。
知りたくなさそうな詳細の話すみませんでした。
タグ： Julia言語
posted at 13:00:28
@tatt61880 #Julia言語 ユーザーは公式ドキュメントで勧めているように、@ timeマクロなどを使って、自分が書いた函数の実行時間とメモリ使用量を常に監視していて、値が結構大きく揺らぐことをみんな知っている。
その問題をクリアしないとコンテストの開催者の私は「フェアな比較をしてくれなかった」と～
タグ： Julia言語
posted at 12:57:34
@tatt61880 上のは「仮に私個人がやるとしたら」の話なのでatcoderとは別の話だと思った方がいいかも。
詳細が気になるということなのでさらに書きますが、私がコンテストを開催するときには「同じコードを同じように実行しても実行時間は毎回微小に違う」という問題も気にしたいと思っています。続く
タグ：
posted at 12:54:38
@tatt61880 おそらく問題にしたいのはそのmain()函数のみの実行時間が長過ぎた場合にどうするかなのだと思います。上にも書いたようにそれについては考えていません。
これについてはごめんなさい。
だれか代わりに考えて！＞Julia言語の偉い人達
続く
タグ：
posted at 12:52:10
@tatt61880 それはまだ考えていません。あと読者の大部分が知らないと予想されるatcoder用語(TLEなど)を避けて頂けると読者に優しいと思います。
上の方法ではコンパイルが終わった後のmain()の実行時間を計測しています。だから「コンパイルにかかる時間」は計測されていません。続く
タグ：
posted at 12:47:42
#Wolfram言語 のような数式処理ソフトを使えば一発ですね！
添付画像1はWolframAlpha
www.wolframalpha.com/input/?i=Facto...
添付画像2はWolfram Cloud
www.wolframcloud.com/obj/genkuroki/...
添付画像はアプリの方でのスクショ。
twitter.com/kozukorio/stat... pic.twitter.com/dCvAaDFNL6
タグ： Wolfram言語
posted at 12:42:54
@champion1941 @open_tyabouzu ５人の中から特定の２人が選ばれる確率を求めよという問題に対する答案の図⓵で「ダブり」を消す必要はないです。
図①では全部で20通りで、特定の2人(例えばAとB)が選ばれる場合は2通りなので、求めたい確率は2/20=1/10と答えれば正解。
もちろん図②を使って1/10と答えても正解。 pic.twitter.com/5YzTqTuLtJ
タグ：
posted at 12:30:08
まったくその通りなんだなあ。アベノミクス一年目の勢いのまま続けていれば、安倍は今頃は「名宰相」ですよ twitter.com/5rzolabrie/sta...
タグ：
posted at 11:11:30
前も同じこと言ったかもしれないけど，数値計算とか科学技術計算のプログラムのコンパイル・パラメーター設定・実行・出力・可視化なんかの一連の作業をまとめて管理してくれる便利な執事システムどっかに無いんですか．Jenkins を trials & errors 特化したようなやつ．
タグ：
posted at 10:49:47
昨日ちょうど大学生に「高校の時、PとCを使うのをいつも逆にして間違ってたんですがどうしたらいいですか？」って聞かれたんだが、1番最初に「そもそもそういう発想が…」って言ったんだけどなぁ(諦観
タグ：
posted at 10:35:38
@genkuroki こんにちは。詳細が気になったので教えていただけたら幸いです。
この方法で「TLEになるコード」(非常に遅い実装のコード)をどのように判断して実行中断しますか？ 例えば「制限時間が2秒の場合に 10秒実行して終わらなかったら流石にコンパイルに8秒もかからないから中断する」という感じでしょうか？
タグ：
posted at 10:10:08
どんな関数があるのかを知ってもらう活動を始めましたよー。
Factor[a^4+b^4+(a+b)^4] -> 2(a^2+a b+b^2)^2
BOOTHでMarhematica本を頒布中です。
#Mathematicaを使おう twitter.com/genkuroki/stat...
タグ： Mathematicaを使おう
posted at 09:21:47
エルカフェで話をすることになったのだけど，聴いて下さる方が少ないらしいので，かなり空きがありますからぜひいらしてください。 明後日の午後です。
www.kokuchpro.com/event/amocafe_...
タグ：
posted at 09:08:56
書いた。 / “VRにもゲームにも興味のない僕が、生活に支障をきたすほどハマったOculus Questの何がすごいのかを具体的に説明する｜ふろむだ@分裂勘違い君劇場｜note” htn.to/2K7FLKibJo
タグ：
posted at 08:31:13
こういうのを見たら、悲しむのはやめて「は？バカじゃないの？ヤバいカルトゃね？？？」って鼻をほじるのが正しい対応の仕方です、って言い広めたい。 twitter.com/areyoume113/st...
タグ：
posted at 07:44:54
オレオレ詐欺、迷惑な電話勧誘の対策としてまずは「ナンバーディスプレイ」を無償化していただきたいのです。電話勧誘などよる詐欺や悪質商法被害を防ごうと、消費者弁護士の先生方と一緒に要望していますが聞き入れてもらえません。
悪質電話勧誘業者と繋がる政治家からの圧力でもあるのでしょうか。 twitter.com/nishidak0705/s...
タグ：
posted at 07:16:24
あさくら （鰻より穴子派）スンデル @arthurclaris
このツイートに対して「具体的にお願いします」とかいう人は、８年間ネット環境から切り離されて生活していて、Google等での検索もしたことない人？
twitter.com/himotarou/stat...
タグ：
posted at 07:02:15
世界でワクチン接種が減少、ネット上の偽情報削除を＝支援団体 | Article [AMP] | Reuters
jp.reuters.com/article/vaccin...
タグ：
posted at 05:11:26
AdS/CFT対応を使う立場ならば、境界に現れるCFTは相対論的な場の理論なので、そのバルク部分に出てくる量子重力理論でも、CPT対称性はやっぱり成り立っているのが自然だと思う。例えCPTが大域的対称性であろうとも。
タグ：
posted at 04:50:23
相対論的な場の理論では、CPT対称性が成り立つことは古くから知られている。超弦理論でも、長くCPT対称性は成り立つと信じられてきた。今回の大栗さん達のお仕事でも、CPT対称性まで破れるかどうかは言及されていない。
タグ：
posted at 04:40:57
追記しておくけど、大栗さん達は注意深く論文を書いており、内部空間の大域的対称性が無いことを主張しても、時空的な大域的対称性に関してはペンディングにされている。例えば時間反転が絡んだ大域的変換であるCPT対称性が破れるかどうかは、この議論からは分からない。
www.ipmu.jp/ja/20190619-sy...
タグ：
posted at 04:38:37
非公開
タグ：
posted at xx:xx:xx
いろいろ確認してみたところ、JITが問題でAtCoderにおいてJuliaによるACがほとんどできないというのは確実に僕の事実誤認で、致命的ではないです
本当の問題は標準入力のパースに時間がかかることにあってそれも工夫次第で十分解消可能な事がわかりました
誤った認識でお騒がせして申し訳ございません
タグ：
posted at 02:19:16
山本太郎が自民党とでも組むと宣言したのは、これまでの支持者を失ってでももっと広い支持を得ようということだから、放射能デマを謝罪する可能性も出てきたね。既存の支持者を捨てる気になれれば強いよなー。近寄らないようにしよう
タグ：
posted at 01:49:22
これはたぶん競プロ勢だけが持っている前提なんですが、作題者としては特定の言語で遅いアルゴリズムで解けてしまうことだけは絶対に避けないといけません。そうでないとアルゴリズムコンテストとしての競技性が破綻してしまうので。それに比べれば特定の言語で解けなくなることは圧倒的に許容できます twitter.com/genkuroki/stat...
タグ：
posted at 01:32:47
特定の言語でのみ実行時間に含まれないサーバーサイド前処理ができるのがアンフェアだというのは実際そうで、言語ごとの補正を持ち込めば多様性が生まれて面白そうだとぼくも思うけど、それは別にフェアになってはないんだよなぁ。フェアにするには言語を一択にするしかない。 twitter.com/genkuroki/stat...
タグ：
posted at 01:19:57
togetter.com/li/424177
山本太郎迷言集（または敗戦の弁）2012年12月のまとめ
を見たら
【右側頭部には人生初の円形脱毛も。「こんなの初めてですよ。被ばくの影響でしょう」と話した。】
と書いてあった。瓦礫受け入れ絶対反対の人でもあった。
twitter.com/_pseudoctor/st...
タグ：
posted at 01:18:14
@TakaMiki1101 @genkuroki 僕の時は「（みなしごのバラード風に）力さえあればいいんだ」と、微積を使って力からいろいろ導出した後、「一応教科書通りに」習った口だ。
だから、こんな風に覚えるなんて想像外だ。
せめて生徒さんには、「覚えるのが難しいなら、どうすれば楽になるか」考え/気付いてほしい。
タグ：
posted at 00:29:09
