黒木玄 Gen Kuroki(@genkuroki)/2019年06月21日

競技証明か

タグ：

posted at 00:08:52

mod_poppo @mod_poppo

「適切な証明支援系を選ぶのも競技のうち」

タグ：

posted at 00:10:56

平岡拓也 @HiraokaTakuya

Rustで将棋の思考エンジン作りました(´･_･`)
今日は秒読みの不具合とか他にも色々直しました(´･_･`)
速度改善などの助けを求めています(´･_･`)よろしくお願いします(´･_･`)
github.com/HiraokaTakuya/...

タグ：

posted at 00:30:33

道良寧子℠ @doramao

どら息子2号、本棚のジョジョ、読破したようだ。
お父さんが好きなスタンドは何攻撃が熾烈だ。

タグ：

posted at 00:32:52

湖南祥二 @machakann

はてなブログに投稿しました
肥大した $HOME/.julia を整理する - 書いたものなど machakann.hatenablog.com/entry/2019/06/... #はてなブログ #julialang

タグ： julialang はてなブログ

posted at 00:43:56

私には他人が出した問題群を解くことが楽しいとは思えないんだけど(これは私個人の話)。

しかし、それで楽しんでいる様子を見るのはちょっと楽しいかも。楽しみが増えるのは良いことなので発展を希望。

しかし、そういうのに過剰適応はしないでねと言いたくなることもある。

タグ：

posted at 01:44:50

#Julia言語これは新情報。

「標準入力のパースが遅いコード」とそうでないコードを公開するべき。

こういう事柄について語る場合には、検証用のサンプルコードを必ず同時に公開する癖をつけることは非常に大事。

twitter.com/ma63713534/sta...

タグ： Julia言語

posted at 01:49:43

#Gist ちょっとしたコードの公開に便利なのは GitHub Gist gist.github.com

おかしなことをGistに投稿してコメント欄で教えてもらって助かったことがあります。色々教えてくれる人は神。

GitHub github.com のアカウントを取得すればすぐに使えます。

タグ： Gist

posted at 01:56:44

高橋かずひと@闇のパワポLT職人 @KzhtTkhs

天羽さんの話は面白いので行ける人はこの機会を逃さない方がいいかも。

twitter.com/apj/status/114...

タグ：

posted at 02:09:35

ちょっと作りたいツールがあって、かなり久しぶりに音声のデジタル信号処理を実施中。。。🐤
言語は何使おうか迷ったのですが、勉強もかねて #Julia言語で実施しています。
しかし、そもそもJulia以前にDSPの知識が錆付いている。。。🐤🐤 pic.twitter.com/ShLqiyhiQr

タグ： Julia言語

posted at 02:12:47

朗報、GitHub無料ユーザーも無制限にプライベートリポジトリを使えるようになる | TechCrunch Japan jp.techcrunch.com/2019/01/08/201... @jptechcrunchより

タグ：

posted at 02:14:14

GitHubの規約では個人で複数の無料アカウントを維持してはいけないということになっているので、長期的に使用する個人アカウントはそうなることを意識しつつ取得した方がいいかも。

あと非常に残念なことに13歳未満の人もGitHubアカウントを取得できない。

help.github.com/en/articles/gi... pic.twitter.com/AVKameolc5

タグ：

posted at 02:24:31

Sorbet @sorbet_ruby

We’re excited to announce that Sorbet—a fast, powerful type checker for Ruby, built by @Stripe—is now open source! See sorbet.org/blog/2019/06/2... for more.

タグ：

posted at 02:49:48

例えば、秘密のまま執筆編集バージョンアップを行いながらその途中経過の記録を残したいならば、GitHubのプライベートリポジトリを使えます。

修論執筆とかにも使えると思います。

twitter.com/genkuroki/stat...

タグ：

posted at 03:20:16

私はGitHubを全然使いこなせていないのですが、それでも非常に便利です。

私はGitHub Desktop経由でお手軽な使い方をしています。
desktop.github.com

タグ：

posted at 03:22:48

正確に言うと、正のx_1,…,x_n達の総和を一定にしたままで、n次元空間上の点(x_1,…,x_n)をランダムウォークさせるとx_1,…,x_nの分布はnが大きいとき近似的に指数分布に収束します。

x_kの総和を一定以下に制限したランダムウォークでも同じ。

twitter.com/genkuroki/stat...

タグ：

posted at 03:28:04

k @musicisthebest_

幕間。
real numberの定義を新たに導入して、これがデデキント切断と同じになる、という話をしようとしているのはわかった。
(ⅲ)の証明で、「xより小さい有理数は適当なnをもってくればx-(1/n)より小さい」がわからん。一般的な実数概念を密輸入しているのではというモヤモヤが晴れない。 pic.twitter.com/s82QnKsy0A

タグ：

posted at 03:29:52

x_kの加法平均を一定以下に制限するだけではなく、log x_k の加法平均を一定以上に制限してランダムウォークさせると、近似的にガンマ分布に収束します。

MCMC法の最も易しい場合なので、全部自分で考えてコードを書いて、視覚化すると結構感動できます。

タグ：

posted at 03:32:01

x_k≧0, x_1+…+x_n = n に制限された(x_1,…,x_n)の一様乱数を生成することはちょっとしたパズルです。

nが大きなとき、そのようにして生成した(x_1,…,x_n)に対して、x_k達のヒストグラムをプロットすれば平均1の指数分布 exp(-x) にほぼ一致していることを確認できます。

タグ：

posted at 03:37:08

k @musicisthebest_

次のページのnoteで「有理数をdyadic rationalsに置き換えて良し」とあり、それならええのはわかる。が、むしろそうじゃないとうまくないんじゃないかなあ。証明前の段階では有理数がこの定義の意味でrealかもわかってない。

タグ：

posted at 03:39:06

ファインマンbot @feynmannnn

権威なんぞというものには、金輪際頭を下げてはならん。どんな名言であろうと、それを誰様が言ったかなどということにこだわらず、始めと終りを必ずしっかりと見定め、はたしてそれが理に叶っているか？と、自分の心にたずねることだ、というのが親父の教えだった。

タグ：

posted at 04:01:31

#超算数参考資料
OECDの5年毎の調査で、日本の小中教員の学習指導に関する自己評価が48箇圏で最低に(全角英数ヤメテ)twitter.com/nhk_news/statu...。報道は日本が成績ではトップであることを述べ、国立教育政策研究所の杉浦健太郎の日本教員の謙虚さが影響かという意見を紹介。

タグ：超算数

posted at 08:57:22

#超算数小学校は兎も角、中学生の成績は学校より塾での学習の方が寄与率が高いのではないか。

タグ：超算数

posted at 09:00:21

#超算数日本はOECDのこの調査に2014年に初参加。その時も同じような傾向が見て取れたarchive.is/SkATI。NHK、たかが5年前のニュース残しておいてくださいよ。

タグ：超算数

posted at 09:12:56

Stripe Japan @StripeJapan

いよいよ Sorbet をリリースいたしました！Stripe でも Sorbet を導入し、静的型チェックを Ruby で行えるようになった結果、開発スピードがかなり上がりました。ご感想やPRをお待ちしています。 github.com/sorbet/sorbet
twitter.com/sorbet_ruby/st...

タグ：

posted at 09:22:47

kinnkanntei @kinnkanntei

@KITspeakee 僻地や離島に私立中学高校は作らないからね。
自分に関係ないものは、「教育」を脅かしてもどーでもいい、のでしょう。

タグ：

posted at 10:25:30

山の頂上から下界を眺めることだけを繰り返していると、下から上に登る能力を失うので要注意。

抽象数学の威力に気付いた数学科の学生にはよく言っている。

既存の「答え」が書いてある文献を読んで下界を眺めるだけだと失うものが結構ある。

twitter.com/hyuki/status/1...

タグ：

posted at 10:42:42

（株）ティーエスプランニング，（一社）持続可能事業支援機構　の本間さんという方が，わざわざネットとうほくにご連絡くださり，下のツイートを削除するように求めています。ネットとうほくが入っているのが都合が悪いらしいです。何故でしょう？
twitter.com/apj/status/112...

タグ：

posted at 10:55:48

グレッグ @glegory

最低賃金を1500円にするとか筋悪なことはしないで、消費税を減税して社会保険料を減免して、穴埋めに国債を発行し日銀が引き受ければいいんですよ。２％達成までどこまでも続けると政府と日銀がアコードを結めばいい。別に難しいことじゃない。シンプルだし別にＭＭＴとか不要。

タグ：

posted at 10:55:55

（つづき）消費者を守る，を自称しているのなら，私が普段行っている消費者側に立った活動と同じように，守る側に立って欲しいという要望を述べただけでのツイートが，（株）ティーエスプランニング（一社）持続可能事業支援機構の本間さんから削除を求められなくてはならないのでしょう。

タグ：

posted at 10:59:59

（つづき）ＮＭＲパイプテクターについて直接の批判もしていない，名の如く消費者を守る側に来てもらいたいという要望に過ぎないものを削除せよというのは，どういうご都合によるものなのでしょうね。ということで，情報緩募です。削除要求を出してこられれたこの方は，一体何者なのでしょうか。

タグ：

posted at 11:02:44

☕ @EADGCGDA

解けました pic.twitter.com/y5mKMIRdLi

タグ：

posted at 11:52:59

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

#超算数教科書の方針の方がより関連性が高いが、当時は厳秘扱いで、2008年まで全文が刊行されたことはない。国民学校の指導方針である「国民学校教則案」(文部省原案、1940年3月1日決定)はネット公開のNDL電書にふんだんに採録されている。例えば『国民学校理数科実践要義』dl.ndl.go.jp/info:ndljp/pid...。

タグ：超算数

posted at 12:59:21

#超算数理数科全体で【涵養】すべきものは合理創造であるとされ、理数科算数では数理思想、理数科理科では科学的精神が【涵養】の対象であった。【合理創造】は塩野直道の用語と思われる。

タグ：超算数

posted at 13:04:22

鈴木　学 @yougakuszk

アンケート
中学数学教員、塾講師向け
数学のテストを作成する立場になったとき、
√２÷√６
という問題を入れる場合
作問スタイルと採点基準を
以下の中から、選択してください。
フォロワー少ないので、RTしていただけると嬉しいです。

タグ：

posted at 13:37:57

#Julia言語型の再定義については、公式ドキュメントの2番目のFAQに答えが書いてある。

docs.julialang.org/en/v1/manual/f...

Main内の型を作ると再定義不可能だが、

module My
struct Hoge
x
end
end

の後に

module My
struct Hoge
x
y
end
end

ならば可能。

twitter.com/julialangisthe... pic.twitter.com/3uDYHIjzSC

タグ： Julia言語

posted at 14:06:40

#Julia言語スクショのJupyterノートブックは

nbviewer.jupyter.org/gist/genkuroki...

でも閲覧できる。

Juliaで型を再定義したければ、moduleで包んでmoduleごと置き換えてしまえばよい。

こういうコードを積極的に見せるようにした方が教育的だということなんですかね。これからは気を付けよう。 pic.twitter.com/PUBOdvXT3c

タグ： Julia言語

posted at 14:06:41

#Julia言語

Juliaの公式ドキュメントは本当に分かり易くて良いです。大抵の疑問は公式ドキュメントを見れば解決する。

しかし、分量的に半端ないので、全部に目を通すのは無理。

分かり難いことについては「公式ドキュメントの◯◯に書いてあった」という情報をみんなで広める必要があると思う。

タグ： Julia言語

posted at 14:09:10

いや、ほんと、我々は、昔から、「だったらみんなに十分な量のお金を直接配ったらいいんじゃない？」と言い続けているのにね。

twitter.com/glegory/status...

タグ：

posted at 14:17:05

究極のバラマキ。ヘリコプターマネー(笑)。

放射能デマや反経済成長言説のバラマキは潰して、お金だけをばらまいて欲しい。

誤解してはいけない大事なポイントはそれを永久に続けるわけではないこと。

永久に続けたいことがあれば別の政策で実現する。

目的ごとに別の政策を打つことが基本。

タグ：

posted at 14:20:27

非公開

タグ：

posted at xx:xx:xx

前田敦司 @maeda

中澤港％人類生態学者＠神戸大学 @MinatoNakazawa

リプが興味深い。 twitter.com/Tsumura_Keisuk...

タグ：

posted at 14:58:23

EtherCalcでもやってみた（Windows 10 Pro x64の1903でNode.jsは入るがPowerShellでethercalcのインストールでエラーが出るので，ethercalc.orgで実行）。同値判定の結果がソフトによって微妙に違っていて面白い。 pic.twitter.com/Q1eSIh1FKt

タグ：

posted at 15:16:47

江利川春雄 @gibsonerich

大学入学共通テスト英語の「民営化」中止を求める国会請願に関しては、ごく短期間に8,100筆もの署名が集まり、大手メデイア各社も報道しました。寺島隆吉先生が、各社の記事をブログで紹介されています。ぜひご覧ください。
tacktaka.blog.fc2.com/blog-entry-344...

タグ：

posted at 15:17:16

へー、WEB DB のJuliaの記事理化学研究所の人書いてるんだ(すっとぼけ)

タグ：

posted at 17:17:55

#超算数さらに「教則案」の敷衍と思われる「国民学校教則案説明要領」も理数科算数だけなら、dl.ndl.go.jp/info:ndljp/pid...で見られる。これは出版時期から草案ではなく改訂草案と思われる。

タグ：超算数

posted at 17:19:31

総称関数というジェネリックな言葉を知った。

タグ：

posted at 17:36:55

タメになった。

タグ：

posted at 17:36:56

非公開

タグ：

posted at xx:xx:xx

安藤昭太｜DXをノーコードで @ando_engineer

@yawaraka0ancock @nazomizusouti はじめまして。謎の消費者を守る氏は代理店してた方でしたか。いつ頃から代理店されてたのでしょうかね。

タグ：

posted at 19:03:25

この辞書ツールやばすぎる。爆速で単語が表示される。英文読むのはかどりすぎ。すぐに英辞郎もダウンロードしてインポートしました。これを無料で公開しているのまじですごすぎる。日本人の何万時間も削減した。
qiita.com/wtetsu/items/c... twitter.com/wtetsu/status/...

タグ：

posted at 19:35:53

大石雅寿 @mo0210

記事を削除するのなら、削除した理由を明らかにしてもらいたい。 twitter.com/kyodo_official...

タグ：

posted at 19:49:28

グリグリ

3D Surface Plots in Python in Python
plot.ly/python/3d-surf... pic.twitter.com/XE868nzrrn

タグ：

posted at 20:07:37

#数楽 Borwein積分関連

www.stat.ualberta.ca/people/schmu/p...
Random Harmonic Series
Byron Schmuland

s_nを1/2の確率で±1の値を取る独立確率変数列とするときの確率変数

X = s₁/1 + s₂/2 + s₃/3 + … (a.s.収束)

の特性函数が

ψ(t) = Π_{k=0}^∞ sinc(2t/(2k+1))

になるという話。sinc(x)=(sin x)/x.

タグ：数楽

posted at 20:50:49

@yawaraka0ancock @nazomizusouti フォローしました。あと，現在公開されている情報をまとめたものを追記しました。　www.cml-office.org/wwatch/magne/c...

タグ：

posted at 21:16:44

Juliaの本買うの忘れてた

タグ：

posted at 21:20:20

気になる宇宙 @Kininaruutyu

【綺麗】シャボン玉が凍る仕組みの解明に成功‼︎

www.nytimes.com/2019/06/18/sci...
通常、水は冷たい場所から凍っていく。しかし、シャボン玉は表面張力の場所的な力差によって生じる液体の自由移動が原因で、表面上に無数の結晶が生じ、全体がスノードームのようになるそうだ。 pic.twitter.com/qiNkHMdKo5

タグ：

posted at 21:24:45

tibigame @tibigame

テラショック定跡を掘ってみたノウハウなど github.com/tibigame/yaneu...

タグ：

posted at 21:27:03

tibigame @tibigame

横歩取り△４五角テラショック定跡。depth30で4500局面ほど掘って後手確殺(後手は確実に始末するという意味)定跡を完成させました。人類の研究では到底到達できない極みです。 github.com/tibigame/yaneu...

タグ：

posted at 21:28:24

言迷水 @genmeisui

磁気水の専門家にツイート削除を要求してきた謎の人物。
「代理店」というタレコミから２時間で過去の所業が洗いざらい。
地球の科学者の本気がヤバイ( ^ω^ ) twitter.com/apj/status/114...

タグ：

posted at 21:29:25

#超算数参考資料
外国人児童の困難は「学習言語」の未熟(未習得かも)によるかという記事を見つけたtwitter.com/iki_tanaka/sta...。理論的にはバーンスタインのelaborate/restricted codeを継受していると思われる。算数の教科書には子供に理解しにくい語彙が使われているという志水廣氏の報告がある。

タグ：超算数

posted at 21:39:57

でえもん @GreatDemon1701

@yougakuszk @sekibunnteisuu なんとなく中学では
√(1/3)
も減点されそうなイメージ。(個人の感想です)

タグ：

posted at 21:40:50

TaKu @takusansu

三春充希(はる)⭐第50回衆院選情報部 @miraisyakai

@temmusu_n #超算数日本人でも「学習言語」が未熟な事例が結構ありそうですね。
最近知った算数用語は沢山あるし、覚えてない(算数の授業でしか使わない)用語も結構ありました。
用語指導の強化とかやりだしそうで怖いです。((( ;ﾟДﾟ)))

タグ：超算数

posted at 22:12:04

森戸やすみ⠒̫⃝♡* 小児科医ママとパパ @jasminjoy

山本太郎の得票率の分布。（第23回参院選/東京都選挙区）

自治体ごとの面積を有権者数に比例させるように地図を変形させ、得票率で塗分けたもの。杉並区、世田谷区が大票田になっている。 pic.twitter.com/ftVrIKSsxF

タグ：

posted at 22:30:15

酷い記事。日本小児神経学会提言「言葉の遅れや自閉症があたかもすべてメディアのせいのようにとらえている論評があるが、いまのところ十分な科学的根拠はない」＞
親のスマホいじりで子どもが言葉遅れに！　子どもの自閉症は『育て直し』で治せる www.jprime.jp/articles/-/15408 @shujoprime

タグ：

posted at 22:50:03

#数楽どっかで調和級数の話を見た感じがするが見失った。調和級数の部分和

H_n = 1/1+1/2+…+1/n

は所謂q数

1+q+…+qⁿ⁻¹ = (1-q^n)/(1-q)

のq=0～1の定積分に等しいので、H_nを

H_x = ∫₀¹ (1-q^x)/(1-q) dq

によって連続変数xに拡張することが考えられます。

タグ：数楽

posted at 22:54:17

#数楽

1/(1-q)=1+q+q²+…,

(1-q^x)/(1-q) = (1-q^x)+(q-q^{x+1)+(q²-q^{x+2})+…

より

H_x = ∫₀¹ (1-q^x)/(1-q) dq
= (1/1 - 1/(x+1)) + (1/2 - 1/(x+2)) + (1/3 - 1/(x+3)) + …

これはnが正の整数のときの

H_n = 1/1+1/2+…+1/n

の良い拡張になっていることが知られています。

タグ：数楽

posted at 22:54:19

#数楽ダイガンマ函数ψ(x)がガンマ函数

Γ(x) = ∫_0^∞ e^{-t} t^{x-1} dt

によって

ψ(x) = d(log Γ(x))/dx = Γ'(x)/Γ(x)

と定義されます。Γ(x+1)=xΓ(x)より、

ψ(x+1)=ψ(x)+1/x.

さらにΓ(1)=1, Γ'(1)=-γ=-0.5772…より、正の整数nについて、

Γ(n+1)=n!

ψ(n+1)=1/1+1/2+…+1/n - γ = H_n - γ.

タグ：数楽

posted at 22:54:20

#数楽これで、H_nの2つの連続的な拡張

H_x = ∫₀¹ (1-q^x)/(1-q) dq,

ψ(x+1) + γ = Γ'(x+1)/Γ(x+1) + γ

が得られた(ψ(n+1)+γ=H_n). 実はこれらは一致:

ψ(x+1) + γ = H_x.

x→∞で

ψ(x+1) = log x + 1/(2x) + O(1/x²)

なので

H_n = 1/1+1/2+…+1/n = γ + log n + 1/(2n) + O(1/n²).

タグ：数楽

posted at 22:54:20

#数楽

H_n = 1/1+1/2+…+1/n

のn→∞での挙動について

(1) H_n → ∞
(2) H_n ～ log n
(3) H_n = log n + γ + o(1)
(4) H_n = log n + γ + 1/(2n) + O(1/n²)
……………

と段々精密に分かって行く様子が結構好き。

タグ：数楽

posted at 22:54:21

@takusansu 一応留保を。精密コード、制限コードは、70年代に提唱されてから激しい論争の的となってきましたが、専門家は抽象化、概念化を伴う言語使用に、日常的なそれとは異なる法則があることを否定できないでしょう。#超算数の語彙への私の批判はさなきだに大変なタスクを無駄に難しくするなというものです。

タグ：超算数

posted at 22:58:08

えるかふぇ @lcafe_bk

【あもうかふぇ－怪しい水と水商売（ビジネス）－明日】受付中・残席あり
www.kokuchpro.com/event/amocafe_...
今回は（都合の）良い水をチェックしてみますよ！
コーヒーとお菓子を片手にこの際聞きたいこと全部聞いちゃいましょう。ちっちゃいお子様連れも大歓迎ですよ。

タグ：

posted at 23:00:54

Juliaの本→雑誌

タグ：

posted at 23:07:32

発売日6月24日やんけ

タグ：

posted at 23:11:47

Julia本面白かったよー(エアプ)

タグ：

posted at 23:14:11

Hiromitsu Takagi @HiromitsuTakagi

ちょ、誰の話をしているのかw
www.bengo4.com/c_23/n_9797/
「男性は「自分のスコアを勝手に作成され、その内容について問い合わせをしようとしたら、1000円も支払えと言われました。釈然としません」と話す。さらに男性は、Yahoo!ショッピングやヤフオクでも利用できるTポイントで支払いたいと…」

タグ：

posted at 23:14:17

Dolphin7473 @Dolphin7473

これは当然買うとして，そろそろJuliaの本一冊ほしいんだけどどんなのが出てるんだろう？ twitter.com/wdpress/status...

タグ：

posted at 23:14:38

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Akiyoshi Kitaoka @AkiyoshiKitaoka

Footstep illusion (Anstis) pic.twitter.com/rXVTmfX6P5

タグ：

posted at 23:43:29

Hiromitsu Takagi @HiromitsuTakagi

こんなのもササっと作れないほど技術力ないの？って思われそうだけど、本当は、スコアの値が杜撰なのがバレるのが嫌で、沢山の人が見れないようにしてるんだろうね。
info-score.yahoo.co.jp/promotion/user/
「Yahoo!スコアをWebサイトでかんたんに確認できる機能については今後提供することを予定しています。」 pic.twitter.com/FLOsB4FEgm

タグ：

posted at 23:46:31

Hiromitsu Takagi @HiromitsuTakagi