Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 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日(木)

天むす名古屋 Temmus @temmusu_n

19年6月20日

#超算数 ちなみに、数理思想は緑表紙の次の時期の教科書にも関連する概念と思われる。文部省図書局の『国民学校教科書編纂方針案』(1940年6月)にこれから編纂さるべき教科書の題材は【数理思想ヲ涵養スルニ足ルモノヲ中心トシ】なければならないと謳われているので。

タグ: 超算数

posted at 23:56:41

天むす名古屋 Temmus @temmusu_n

19年6月20日

#超算数 参考資料
岡野勉「算術教育の目的としての『数理思想』の形成過程: 教育内容論との関連で」『北海道大學教育學部紀要』第54巻 (1990年2月)、127-157ページ。hdl.handle.net/2115/29344
岡野は塩野直道の数理思想を批判的に見ているようだが、結論部分がごちゃごちゃでよくわからなかった。Help!

タグ: 超算数

posted at 23:53:09

s.komata @_kmt46

19年6月20日

今日のベクトル解析の授業では電磁気学や流体力学などへの応用の話をちょっとしたのですが、ちょうど最新号の数セミをもっていたので、次号(8月号)の数セミの特集が「ベクトル解析と物理学」というのを紹介しました。別に日本評論社さんの回し者ではないのですが、いつもお世話になってますからね。 pic.twitter.com/vEtVGLJpWT

タグ:

posted at 23:52:16

Akinori Ito @akinori_ito

19年6月20日

歌詞生成テスト。昨日の狂気じみた出力はバグだったのだが、バグがとれたら普通っぽい候補しか出なくなった。芸術には狂気が必要か pic.twitter.com/lWMtDwcqyG

タグ:

posted at 23:41:08

黒木玄 Gen Kuroki @genkuroki

19年6月20日

もうみんな忘れたかもしれないが、ピケティーさんが警告していたことと以上の話はもろに関係がある。

タグ:

posted at 23:39:18

黒木玄 Gen Kuroki @genkuroki

19年6月20日

何度も話題になっている。この件は重要なので覚えておくべき。

twitter.com/perfect_inside...

タグ:

posted at 23:37:28

そすうぽよ @_primenumber

19年6月20日

競技プログラミング、やはりCoq等の定理証明系でアルゴリズムの正当性と計算量を証明させる形式にするべきでは。そうすれば嘘解法も定数倍の闇も無くなる

タグ:

posted at 23:23:37

黒木玄 Gen Kuroki @genkuroki

19年6月20日

資産分布のグラフの形は指数分布に近い。一方、統計力学の教科書を見ると、ランダムな分配で最も生じやすい分布が指数分布。この比較は示唆的。

収入の効用函数として対数を取るとき、収入の平均と効用の平均を与えたときの最もありがちな分布はガンマ分布になる。年収の分布の形はガンマ分布に近い。

タグ:

posted at 23:20:16

黒木玄 Gen Kuroki @genkuroki

19年6月20日

一方以下のリンク先の件は「増税」するときには必ず配慮するべき大問題。

twitter.com/genkuroki/stat...

タグ:

posted at 23:14:54

黒木玄 Gen Kuroki @genkuroki

19年6月20日

競技消費税率引上


やめろ

タグ:

posted at 23:13:33

シータ @Perfect_Insider

19年6月20日

高額所得者の税金が云々という話があるようですが、ここで分離課税等のさまざまな制度的問題のために、所得が一億円を超えると【所得が増えるほど税率が下がる】という信じがたい事実が起きていることをご覧くださいwww.mof.go.jp/tax_policy/tax... pic.twitter.com/8985lkFIJQ

タグ:

posted at 22:50:37

Atsushi Sakai @Atsushi_twi

19年6月20日

ちなみにこれが論文 arxiv.org/abs/1906.08236

タグ:

posted at 22:38:19

Atsushi Sakai @Atsushi_twi

19年6月20日

facebookのPythonのROSラッパー。だれかこれとPythonRoboticsでロボット動かしてくれないかな。facebookresearch/pyrobot: PyRobot: An Open Source Robotics Research Platform github.com/facebookresear...

タグ:

posted at 22:36:54

ロアネア@最多情報源バズニュース @roaneatan

19年6月20日

メキシコのコロナビールの缶、ビニール袋削減のために10個まで連結して持って帰れるようになって反響がすごい

pic.twitter.com/TVeV6GnWK7

タグ:

posted at 22:10:33

ペーター @c_t_orange

19年6月20日

山本太郎って脱原発に飽きたんじゃない? 山本太郎に限らずだけど他の政治運動の方が「おいしい」と感じて脱原発に飽きた連中って多く見るけどね。

タグ:

posted at 21:59:05

名取宏(なとろむ) @NATROM

19年6月20日

なので、はすみとしこ氏のこの主張は、「標準医療を行っても死ぬことだってあるだろう」と、効果のないばかりか害もあるニセ医学を擁護するようなもんです。論外。 twitter.com/hasumi29430098...

タグ:

posted at 20:59:12

名取宏(なとろむ) @NATROM

19年6月20日

体罰は効果がないばかりか、子どもの発達にとってマイナス要因であるというエビデンスがある[ www.kodomosukoyaka.net/pdf/201709-evi... ](仮に効果があったとしても体罰が容認されるわけではないが、それはそれとして)。 twitter.com/hasumi29430098...

タグ:

posted at 20:58:42

NHKニュース @nhk_news

19年6月20日

便利なものではありますが…www3.nhk.or.jp/news/html/2019...

タグ:

posted at 20:43:50

Tetsu @wtetsu

19年6月20日

あもりにも速すぎて熟語にも強い辞書ツールMouse Dictionaryですが、自分で使っていて追加したい機能や感じる不満がもうなくなったので、利用者からの要望等ありましたら教えてください😉

qiita.com/wtetsu/items/c... pic.twitter.com/qaIe6jSMjy

タグ:

posted at 20:13:12

羽藤 由美 @KITspeakee

19年6月20日

伊豆七島と小笠原諸島には,計9校の都立高校があるそうだ。新制度が始まると神津島の生徒は共通テストだけでなく,英語民間試験についても,GTECの公開会場ができる予定の伊豆大島か,東京に舟で行くしかなくなりそう。この問題をどう考えるかを私立中・高連合会長にうかがってみたい。

タグ:

posted at 19:50:39

羽藤 由美 @KITspeakee

19年6月20日

民活入試のために僻地・離島の生徒が被る不利益を皆が心配している一方で,私立中・高連合会は,4技能入試(つまり民間試験)への一本化を柴山文科大臣に要請。不買運動をしたいレベルの腹立たしさ。 pic.twitter.com/6oVyk5qo0o

タグ:

posted at 19:31:04

うる @urutom

19年6月20日

#julialang の話は既視感あると思ったら自分が昔通ったやつだ。
新言語やるか→juliaが面白そう→あなごる未対応→atcoderにある→TLEくらいまくり→挙動よくわからん→あ、バージョン古いからこのせいか?→あのツイート→juliaは俺には荷が重かった(今ここ)

それにしても黒木先生はいいキャラだ笑 twitter.com/urutom/status/...

タグ: julialang

posted at 19:15:00

黒木玄 Gen Kuroki @genkuroki

19年6月20日

#Julia言語

twitter.com/hyper0dietter/...
【個人的にCTFで使ったり】

‼️‼️‼️‼️

タグ: Julia言語

posted at 19:02:06

非公開

タグ:

posted at xx:xx:xx

あさくら (鰻より穴子派)スンデル @arthurclaris

19年6月20日

山本太郎の発言の数々はアンサイクロペディアが詳しい。ジョークだらけのネタサイトだけど、発言そのものはほぼ本物。
00m.in/cxln5

タグ:

posted at 18:05:14

事務カリー(人生ゲーム専用垢) @zimkalee

19年6月20日

山本太郎なんぞ、幾ら謝罪しても謝罪し足りないくらい奇行や珍発言がありすぎて、これに熱狂したり評価したりする人の気持ちが私には分からぬ。

タグ:

posted at 18:04:58

(「・ω・)「ガオー @bicycle1885

19年6月20日

競技メタプログラミング

タグ:

posted at 17:56:23

ceptree @ceptree

19年6月20日

競技ツイッター(制限時間内に多くツイートしたほうが勝ち)

タグ:

posted at 17:55:41

非公開

タグ:

posted at xx:xx:xx

mod_poppo @mod_poppo

19年6月20日

競技コンパイル(コンパイル時間が短いやつが勝ち)

タグ:

posted at 17:31:27

ceptree @ceptree

19年6月20日

競技数値計算

タグ:

posted at 17:20:05

黒木玄 Gen Kuroki @genkuroki

19年6月20日

情報をたどり易くするためのリンク

現時点では、Juliaではコンパイル時間も実行時間に含められてしまうので、多くの問題でJuliaの使用は実質不可能。

事情を理解してアドバイスできる人が増えた方が良いと思う。

現状の仕様でも逃げ道が残っている可能性がある。

twitter.com/hyper0dietter/...

タグ:

posted at 17:04:58

黒木玄 Gen Kuroki @genkuroki

19年6月20日

以下のリンク先の時点では、私的には異論もなく色々話も聞いてもらって大感謝状態だったのだ。

twitter.com/genkuroki/stat...

タグ:

posted at 16:58:56

黒木玄 Gen Kuroki @genkuroki

19年6月20日

情報をたどり易くするためのリンクと資料

私が数秒程度の計算にも #Julia言語 を非常に便利に使っていることは過去のツイートおよび公開しているJupyterノートブックが証明している。

その大部分が何らかの数学的な問題を解くこと。

twitter.com/genkuroki/stat... pic.twitter.com/T8wHzrC7g1

タグ: Julia言語

posted at 16:56:44

_ko1 @_ko1

19年6月20日

Julia では、@foo expr で @foo マクロに expr を渡すらしい。Rustは foo!。さて、Ruby で何か似たようなことをするとなると、ブロックをいじることになる。

タグ:

posted at 16:48:38

黒木玄 Gen Kuroki @genkuroki

19年6月20日

「元IMF幹部」という呼び方が気に入らずに「ブランシャール」と言い換えている人がたくさんいておもろい。

ブランシャールさんは世界的に有名な経済学者です。

タグ:

posted at 16:34:13

上海II @shanghai_ii

19年6月20日

元体操五輪選手・岡崎聡子さんの薬物逮捕後の近況と報道する人たちへの提案(篠田博之) - Y!ニュース news.yahoo.co.jp/byline/shinoda...

タグ:

posted at 16:14:20

koume @koume_nouka

19年6月20日

脱原発するべきか否か、どちらの考えを持っていてもまたはまるで考えてなくてもおしどりマコのデマは害悪ですね。

タグ:

posted at 16:14:15

黒木玄 Gen Kuroki @genkuroki

19年6月20日

慎重さに欠けた言い方を訂正。

PackageCompiler.jl
github.com/JuliaLang/Pack...

を使えば一応バイナリを作れる場合があります。

しかし、これコンパイル過程が非常に重いので特別なケース以外には使いたくないです。現在の私は全く使っていない。 #Julia言語

twitter.com/genkuroki/stat...

タグ: Julia言語

posted at 15:49:09

黒木玄 Gen Kuroki @genkuroki

19年6月20日

チャレンジングなことをやっているまだ発展途上のものをリアルタイムで見ておくことは(特に若い人たちにとっては)大事なことだと思います。

視野狭窄に陥る方向に大人達が誘導しちゃダメ。

他にも未完成だが進行中の面白いことがあればみんなでどんどん話題にして行くと良いと思います。

タグ:

posted at 15:45:31

黒木玄 Gen Kuroki @genkuroki

19年6月20日

ただし、 #Julia言語 は非常に若いだけではなく、他ではやっていない方向にかなりチャレンジングなことをやっていることが原因で、まだ「あって欲しいものが結構ない」状況です。

例えば独立して動くバイナリの生成はまだできない。議論については以下を参照。

twitter.com/genkuroki/stat...

タグ: Julia言語

posted at 15:42:30

黒木玄 Gen Kuroki @genkuroki

19年6月20日

昔から使われていると思われる枯れた特殊函数のFortranライブラリよりも5~6倍速い函数を #Julia言語 のような最新の道具を使えば、「SIMDを使えば速い」のような浅はかな態度ではなく、数学的なアルゴリズムの改善で実現できる、という話を私はとても痛快で面白い話だと思っています。

タグ: Julia言語

posted at 15:37:13

黒木玄 Gen Kuroki @genkuroki

19年6月20日

#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

黒木玄 Gen Kuroki @genkuroki

19年6月20日

訂正:「5~6倍の速さで」と書きたかった。

twitter.com/genkuroki/stat...

タグ:

posted at 15:18:43

黒木玄 Gen Kuroki @genkuroki

19年6月20日

やっている函数の最適化はアルゴリズムの最適化です。「SIMDを使えば速い」というような浅はかなことはしていません。アルゴリズムの最適化の作業過程で

* 計算結果の視覚化が容易であること
* 数値計算用の函数を数式で表示させて確認できること
* マクロ(コンパイル時計算)

などが使われています。

タグ:

posted at 15:12:30

積分定数 @sekibunnteisuu

19年6月20日

@genkuroki @champion1941 @open_tyabouzu 実際、中高生に順列・組み合わせを教えていて、組み合わせを求めてもらう場合、樹形図で②みたく書いたり、ダブりを消したりしてゴチャゴチャしてしまって収拾が付かなくなるケースがままあります。

タグ:

posted at 15:09:57

黒木玄 Gen Kuroki @genkuroki

19年6月20日

何度も引用している

nbviewer.jupyter.org/github/steveng...

でやっていることは、Python scipyで採用されているFortranで書かれた指数積分函数と同等の誤差でかつ5~6倍で動く函数を #Julia言語 で書くこと。

その作業の全体がノートブック形式で公開されている。私はこれを見てJuliaの実用性を確信しました。

タグ: Julia言語

posted at 15:08:22

黒木玄 Gen Kuroki @genkuroki

19年6月20日

AOTコンパイルが可能になれば、#Julia言語 では特殊函数の数値計算のコードの最適化を実行し易いことを使って、既存のライブラリの数倍の速さで特殊函数を数値計算してくれる多言語でも使用可能なライブラリが作られる可能性があります。

nbviewer.jupyter.org/github/steveng...

タグ: Julia言語

posted at 15:04:48

泉智紀 @jsdfq43wtr

19年6月20日

山本太郎を支持するわけないよねぇ. むしろこういう時だけまともなことを言う狡猾さにげんなりするわけで. この先なにをやらかすかわかったもんじゃない.

タグ:

posted at 15:03:06

黒木玄 Gen Kuroki @genkuroki

19年6月20日

しかし、これも何度も述べているように、AOTコンパイルの機能が #Julia言語 に追加されることは楽しみです。

楽しみな理由は、たとえパズル問題を解くために役に立たなくても、Julia言語で書いた「部品」を他で流用し易くなるメリットは大きいと思うからです。続き

タグ: Julia言語

posted at 15:00:10

黒木玄 Gen Kuroki @genkuroki

19年6月20日

「バイナリを作らなくても非常に便利」を示唆する発言は

【Juliaユーザーは普通、問題解決のためのコードを試行錯誤で仕上げた後にわざわざAOTコンパイルしないと思う】

の部分。数学パズルをJuliaを使った試行錯誤で解いた後もしくはその過程でAOTは使わないと思う。

twitter.com/genkuroki/stat...

タグ:

posted at 14:56:14

黒木玄 Gen Kuroki @genkuroki

19年6月20日

もしも以上の話題が「バイナリを提出させて、入力があった時間以後の実行時間を計測」の類で何とかなる話だと思っている人がいたら、何も理解していません。

あと、「バイナリを作らなくても非常に便利に使えるよね」ということを示唆する発言はスレッドの最初の方にすでにある。続く

タグ:

posted at 14:51:53

黒木玄 Gen Kuroki @genkuroki

19年6月20日

情報をたどり易くするためのリンク

twitter.com/genkuroki/stat...

タグ:

posted at 14:43:03

志位++和夫 @hyper0dietter

19年6月20日

僕にとってJuliaは所属する会社の売上を上げるために機械学習や最適化やAPI生やすために使われている大切な商売道具で、個人的にCTFで使ったり、勉強してみた色んな方程式の数値解析や最適化で連立一次方程式を解くために使うものだけど、競プロで使っても全然いいと思うよ。みんなJulia使おう。

タグ:

posted at 14:42:25

Chie K. @chietherabbit

19年6月20日

いいからみんな101に寄付してくれろ〜
寄付金いっぱい集まるとまた大物呼んでおもしろい企画ができるかもだYO〜 twitter.com/econ101jp/stat...

タグ:

posted at 14:42:04

黒木玄 Gen Kuroki @genkuroki

19年6月20日

情報をたどり易くするためのリンク

twitter.com/genkuroki/stat...

タグ:

posted at 14:42:00

黒木玄 Gen Kuroki @genkuroki

19年6月20日

情報をたどり易くするためのリンク

twitter.com/antimon2/statu...

タグ:

posted at 14:41:07

志位++和夫 @hyper0dietter

19年6月20日

競技プログラミングという競技で結果を出したいならそれに良い言語を選べばいいだけで、AtCoder社が自分のためにJuliaユーザを取り込むために握手しましょうと言ってきているのであれば僕らユーザもJuliaの幅を増やせるのはいいねって思うけど、そのための言語ではない。

タグ:

posted at 14:25:16

黒木玄 Gen Kuroki @genkuroki

19年6月20日

@sekibunnteisuu @champion1941 @open_tyabouzu 説明不足でもないし、ダブりを消す必要もない。

タグ:

posted at 14:21:31

黒木玄 Gen Kuroki @genkuroki

19年6月20日

@sekibunnteisuu @champion1941 @open_tyabouzu 私は

【証明として図が必要ということなら上の例では説明不足の気がします。ダブリの分を消すとかしないと見てもよく分からない。下の方ならわかります】

が教育的に有害なことを強調したいと思っています。引用した【】の内側のコメントを自分ちの子にされたら怒ります。

twitter.com/champion1941/s...

タグ:

posted at 14:21:05

非公開

タグ:

posted at xx:xx:xx

積分定数 @sekibunnteisuu

19年6月20日

@champion1941 @genkuroki @open_tyabouzu どちらも正解、というのは当然としても、エレガントなのは①。10人から3人選ぶ場合、特定の~、などでも対応できる。

いずれにしても、この採点をした教師の見識を疑わざるを得ない。

タグ:

posted at 13:56:34

積分定数 @sekibunnteisuu

19年6月20日

twitter.com/k_it1122/statu...

これ、結構レアもの。評価額は高いんじゃないかな?

私は、掛け算順序問題を10年以上追っているけど、リアルなバツの答案を見たことはないんだよね。「4人に3個ずつ、で4×3でバツ」という通常の奴でいいから見てみたい。

タグ:

posted at 13:52:37

積分定数 @sekibunnteisuu

19年6月20日

どんなクソ採点でも、こうやって擁護する人が出てくる。実に興味深い現象である。 twitter.com/suke_6809/stat...

タグ:

posted at 13:50:32

黒木玄 Gen Kuroki @genkuroki

19年6月20日

@tatt61880 なるほど、atcoderルールでは実行時間計測の正確さは気にしなくてよいと。

#Julia言語 でタイムアウト付きで函数を実行する方法については以下のリンク先の方法を発見できました(自分では試していない)。 Julia言語の偉い人達ならもっとよい方法を知っていると思う。

www.reddit.com/r/Julia/commen...

タグ: Julia言語

posted at 13:27:13

Tatt(たっと) @tatt61880

19年6月20日

@genkuroki 一参加者としての感想ですが、実行時間が制限時間に近いコードが正解扱いとなったり不正解扱いとなったりするのはある程度仕方ないと思っています。運も実力のうちという考え方です(※個人の感想です)。実行時間は順位には直接影響しないので、揺らぎが多少あっても基本的には問題ないと思っています。

タグ:

posted at 13:16:52

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

19年6月20日

@tatt61880 私的には、実行するごとに実行時間が揺らぐという問題にatcoder側がどのように対処しているのか教えてほしいです。

仮に

多くの場合に揺らぎは微小なので無視して問題ない

という対処の仕方ならば、どこかで揺らぎが小さいことを示すテスト結果が公開されているはず。そういう結果は見てみたい。

タグ:

posted at 13:06:03

黒木玄 Gen Kuroki @genkuroki

19年6月20日

@tatt61880 ~と非難されてしまうことになるでしょう。

流石にそれは避けたいので対策を練ります。

そういう場合に #Julia言語 ユーザーは通常 @ btime や @ benchmark を使って複数回実行させて統計を取る(実行時間については最小値を採用する)ことが多い。

知りたくなさそうな詳細の話すみませんでした。

タグ: Julia言語

posted at 13:00:28

黒木玄 Gen Kuroki @genkuroki

19年6月20日

@tatt61880 #Julia言語 ユーザーは公式ドキュメントで勧めているように、@ timeマクロなどを使って、自分が書いた函数の実行時間とメモリ使用量を常に監視していて、値が結構大きく揺らぐことをみんな知っている。

その問題をクリアしないとコンテストの開催者の私は「フェアな比較をしてくれなかった」と~

タグ: Julia言語

posted at 12:57:34

黒木玄 Gen Kuroki @genkuroki

19年6月20日

@tatt61880 上のは「仮に私個人がやるとしたら」の話なのでatcoderとは別の話だと思った方がいいかも。

詳細が気になるということなのでさらに書きますが、私がコンテストを開催するときには「同じコードを同じように実行しても実行時間は毎回微小に違う」という問題も気にしたいと思っています。続く

タグ:

posted at 12:54:38

黒木玄 Gen Kuroki @genkuroki

19年6月20日

@tatt61880 おそらく問題にしたいのはそのmain()函数のみの実行時間が長過ぎた場合にどうするかなのだと思います。上にも書いたようにそれについては考えていません。

これについてはごめんなさい。

だれか代わりに考えて!>Julia言語の偉い人達

続く

タグ:

posted at 12:52:10

黒木玄 Gen Kuroki @genkuroki

19年6月20日

@tatt61880 それはまだ考えていません。あと読者の大部分が知らないと予想されるatcoder用語(TLEなど)を避けて頂けると読者に優しいと思います。

上の方法ではコンパイルが終わった後のmain()の実行時間を計測しています。だから「コンパイルにかかる時間」は計測されていません。続く

タグ:

posted at 12:47:42

黒木玄 Gen Kuroki @genkuroki

19年6月20日

#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

黒木玄 Gen Kuroki @genkuroki

19年6月20日

@champion1941 @open_tyabouzu 5人の中から特定の2人が選ばれる確率を求めよという問題に対する答案の図⓵で「ダブり」を消す必要はないです。

図①では全部で20通りで、特定の2人(例えばAとB)が選ばれる場合は2通りなので、求めたい確率は2/20=1/10と答えれば正解。

もちろん図②を使って1/10と答えても正解。 pic.twitter.com/5YzTqTuLtJ

タグ:

posted at 12:30:08

あ〜る菊池誠(反緊縮)公式 @kikumaco

19年6月20日

まったくその通りなんだなあ。アベノミクス一年目の勢いのまま続けていれば、安倍は今頃は「名宰相」ですよ twitter.com/5rzolabrie/sta...

タグ:

posted at 11:11:30

k @musicisthebest_

19年6月20日

16-5
ということで誕生日2にうまれたのは
2={1| }, 1/2={0|1}, -1/2={-1|0}, -2={ |-1}

なお{1|0}は、黒から打てば黒地1目、白から打てば0目という、後手1目のヨセみたいな状況で、囲碁の形勢判断ではこれを1/2目扱いするが、これと{0|1}は異なる。{0|1}はむしろ「取らず3目」的な状況。

#ONAG

タグ: ONAG

posted at 10:52:35

Tomoki UDA @t_uda

19年6月20日

前も同じこと言ったかもしれないけど,数値計算とか科学技術計算のプログラムのコンパイル・パラメーター設定・実行・出力・可視化なんかの一連の作業をまとめて管理してくれる便利な執事システムどっかに無いんですか.Jenkins を trials & errors 特化したようなやつ.

タグ:

posted at 10:49:47

なべきち @nabekichi32

19年6月20日

昨日ちょうど大学生に「高校の時、PとCを使うのをいつも逆にして間違ってたんですがどうしたらいいですか?」って聞かれたんだが、1番最初に「そもそもそういう発想が…」って言ったんだけどなぁ(諦観

タグ:

posted at 10:35:38

Tatt(たっと) @tatt61880

19年6月20日

@genkuroki こんにちは。詳細が気になったので教えていただけたら幸いです。
この方法で「TLEになるコード」(非常に遅い実装のコード)をどのように判断して実行中断しますか? 例えば「制限時間が2秒の場合に 10秒実行して終わらなかったら流石にコンパイルに8秒もかからないから中断する」という感じでしょうか?

タグ:

posted at 10:10:08

kozukorio @kozukorio

19年6月20日

どんな関数があるのかを知ってもらう活動を始めましたよー。

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

闇のapj @apj

19年6月20日

エルカフェで話をすることになったのだけど,聴いて下さる方が少ないらしいので,かなり空きがありますからぜひいらしてください。 明後日の午後です。

www.kokuchpro.com/event/amocafe_...

タグ:

posted at 09:08:56

k @musicisthebest_

19年6月20日

16-4
x={0|1}とすると、0<x<1で、
x+x={x+xL|x+xR}={x+0|x+1}={x|x+1}
ここで、x<1<x+1で、1={0| }は16のth.の要件をみたす。
すなわち、x+x=1よりx=1/2

{0|1}が1/2であることは、
{0|1}+{0|1}+{ |0}=(1/2)+(1/2)+(-1)
というゲームが0(後手必勝)、を実際にプレーすることで確認できる。

#ONAG

タグ: ONAG

posted at 08:32:05

ふろむだ @fromdusktildawn

19年6月20日

書いた。 / “VRにもゲームにも興味のない僕が、生活に支障をきたすほどハマったOculus Questの何がすごいのかを具体的に説明する|ふろむだ@分裂勘違い君劇場|note” htn.to/2K7FLKibJo

タグ:

posted at 08:31:13

砂___の___女 @vecchio_ciao

19年6月20日

こういうのを見たら、悲しむのはやめて「は?バカじゃないの?ヤバいカルトゃね???」って鼻をほじるのが正しい対応の仕方です、って言い広めたい。 twitter.com/areyoume113/st...

タグ:

posted at 07:44:54

yuri @syoyuri

19年6月20日

オレオレ詐欺、迷惑な電話勧誘の対策としてまずは「ナンバーディスプレイ」を無償化していただきたいのです。電話勧誘などよる詐欺や悪質商法被害を防ごうと、消費者弁護士の先生方と一緒に要望していますが聞き入れてもらえません。

悪質電話勧誘業者と繋がる政治家からの圧力でもあるのでしょうか。 twitter.com/nishidak0705/s...

タグ:

posted at 07:16:24

あさくら (鰻より穴子派)スンデル @arthurclaris

19年6月20日

このツイートに対して「具体的にお願いします」とかいう人は、8年間ネット環境から切り離されて生活していて、Google等での検索もしたことない人?
twitter.com/himotarou/stat...

タグ:

posted at 07:02:15

GIGAZINE(ギガジン) @gigazine

19年6月20日

難しい数式などを一発で解いてくれる「Wolfram Alpha」を使ってみた(2018)
bit.ly/31JpE1g

タグ:

posted at 05:30:03

西真岡こどもクリニック @nishimoka0404

19年6月20日

世界でワクチン接種が減少、ネット上の偽情報削除を=支援団体 | Article [AMP] | Reuters
jp.reuters.com/article/vaccin...

タグ:

posted at 05:11:26

Masahiro Hotta @hottaqu

19年6月20日

AdS/CFT対応を使う立場ならば、境界に現れるCFTは相対論的な場の理論なので、そのバルク部分に出てくる量子重力理論でも、CPT対称性はやっぱり成り立っているのが自然だと思う。例えCPTが大域的対称性であろうとも。

タグ:

posted at 04:50:23

Masahiro Hotta @hottaqu

19年6月20日

相対論的な場の理論では、CPT対称性が成り立つことは古くから知られている。超弦理論でも、長くCPT対称性は成り立つと信じられてきた。今回の大栗さん達のお仕事でも、CPT対称性まで破れるかどうかは言及されていない。

タグ:

posted at 04:40:57

Masahiro Hotta @hottaqu

19年6月20日

追記しておくけど、大栗さん達は注意深く論文を書いており、内部空間の大域的対称性が無いことを主張しても、時空的な大域的対称性に関してはペンディングにされている。例えば時間反転が絡んだ大域的変換であるCPT対称性が破れるかどうかは、この議論からは分からない。
www.ipmu.jp/ja/20190619-sy...

タグ:

posted at 04:38:37

k @musicisthebest_

19年6月20日

16-3
忘れ物あった。

th.
x, yが数のとき、x+y, -xは数

証明は簡単なので手順のみ。
①オプションは数(帰納法の仮定)
②左は右以上ではない(普通に不等式を解く)

さて、x={0|1}は0より大、1より小だが、いかなる値の数か。

#ONAG

タグ: ONAG

posted at 03:38:37

非公開

タグ:

posted at xx:xx:xx

m @m5196245258

19年6月20日

いろいろ確認してみたところ、JITが問題でAtCoderにおいてJuliaによるACがほとんどできないというのは確実に僕の事実誤認で、致命的ではないです
本当の問題は標準入力のパースに時間がかかることにあってそれも工夫次第で十分解消可能な事がわかりました
誤った認識でお騒がせして申し訳ございません

タグ:

posted at 02:19:16

あ〜る菊池誠(反緊縮)公式 @kikumaco

19年6月20日

山本太郎が自民党とでも組むと宣言したのは、これまでの支持者を失ってでももっと広い支持を得ようということだから、放射能デマを謝罪する可能性も出てきたね。既存の支持者を捨てる気になれれば強いよなー。近寄らないようにしよう

タグ:

posted at 01:49:22

Misato Nakagawa @tayama0324

19年6月20日

これはたぶん競プロ勢だけが持っている前提なんですが、作題者としては特定の言語で遅いアルゴリズムで解けてしまうことだけは絶対に避けないといけません。そうでないとアルゴリズムコンテストとしての競技性が破綻してしまうので。それに比べれば特定の言語で解けなくなることは圧倒的に許容できます twitter.com/genkuroki/stat...

タグ:

posted at 01:32:47

Misato Nakagawa @tayama0324

19年6月20日

特定の言語でのみ実行時間に含まれないサーバーサイド前処理ができるのがアンフェアだというのは実際そうで、言語ごとの補正を持ち込めば多様性が生まれて面白そうだとぼくも思うけど、それは別にフェアになってはないんだよなぁ。フェアにするには言語を一択にするしかない。 twitter.com/genkuroki/stat...

タグ:

posted at 01:19:57

黒木玄 Gen Kuroki @genkuroki

19年6月20日

togetter.com/li/424177
山本太郎迷言集(または敗戦の弁)2012年12月のまとめ

を見たら

【右側頭部には人生初の円形脱毛も。「こんなの初めてですよ。被ばくの影響でしょう」と話した。】

と書いてあった。瓦礫受け入れ絶対反対の人でもあった。

twitter.com/_pseudoctor/st...

タグ:

posted at 01:18:14

akavei @R2Deisui2

19年6月20日

@TakaMiki1101 @genkuroki 僕の時は「(みなしごのバラード風に)力さえあればいいんだ」と、微積を使って力からいろいろ導出した後、「一応教科書通りに」習った口だ。
だから、こんな風に覚えるなんて想像外だ。
せめて生徒さんには、「覚えるのが難しいなら、どうすれば楽になるか」考え/気付いてほしい。

タグ:

posted at 00:29:09

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました