黒木玄 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月21日(金)
Rustで将棋の思考エンジン作りました(´･_･`)
今日は秒読みの不具合とか他にも色々直しました(´･_･`)
速度改善などの助けを求めています(´･_･`)よろしくお願いします(´･_･`)
github.com/HiraokaTakuya/...
タグ：
posted at 00:30:33
はてなブログに投稿しました
肥大した $HOME/.julia を整理する - 書いたものなど machakann.hatenablog.com/entry/2019/06/... #はてなブログ #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
ちょっと作りたいツールがあって、かなり久しぶりに音声のデジタル信号処理を実施中。。。🐤
言語は何使おうか迷ったのですが、勉強もかねて #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
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
幕間。
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
次のページのnoteで「有理数をdyadic rationalsに置き換えて良し」とあり、それならええのはわかる。が、むしろそうじゃないとうまくないんじゃないかなあ。証明前の段階では有理数がこの定義の意味でrealかもわかってない。
タグ：
posted at 03:39:06
権威なんぞというものには、金輪際頭を下げてはならん。どんな名言であろうと、それを誰様が言ったかなどということにこだわらず、始めと終りを必ずしっかりと見定め、はたしてそれが理に叶っているか？と、自分の心にたずねることだ、というのが親父の教えだった。
タグ：
posted at 04:01:31
#超算数 参考資料
OECDの5年毎の調査で、日本の小中教員の学習指導に関する自己評価が48箇圏で最低に(全角英数ヤメテ)twitter.com/nhk_news/statu...。報道は日本が成績ではトップであることを述べ、国立教育政策研究所の杉浦健太郎の日本教員の謙虚さが影響かという意見を紹介。
タグ： 超算数
posted at 08:57:22
#超算数 日本はOECDのこの調査に2014年に初参加。その時も同じような傾向が見て取れたarchive.is/SkATI。NHK、たかが5年前のニュース残しておいてくださいよ。
タグ： 超算数
posted at 09:12:56
いよいよ Sorbet をリリースいたしました！Stripe でも Sorbet を導入し、静的型チェックを Ruby で行えるようになった結果、開発スピードがかなり上がりました。ご感想やPRをお待ちしています。 github.com/sorbet/sorbet
twitter.com/sorbet_ruby/st...
タグ：
posted at 09:22:47
山の頂上から下界を眺めることだけを繰り返していると、下から上に登る能力を失うので要注意。
抽象数学の威力に気付いた数学科の学生にはよく言っている。
既存の「答え」が書いてある文献を読んで下界を眺めるだけだと失うものが結構ある。
twitter.com/hyuki/status/1...
タグ：
posted at 10:42:42
（株）ティーエスプランニング，（一社）持続可能事業支援機構 の本間さんという方が，わざわざネットとうほくにご連絡くださり，下のツイートを削除するように求めています。ネットとうほくが入っているのが都合が悪いらしいです。何故でしょう？
twitter.com/apj/status/112...
タグ：
posted at 10:55:48
最低賃金を1500円にするとか筋悪なことはしないで、消費税を減税して社会保険料を減免して、穴埋めに国債を発行し日銀が引き受ければいいんですよ。２％達成までどこまでも続けると政府と日銀がアコードを結めばいい。別に難しいことじゃない。シンプルだし別にＭＭＴとか不要。
タグ：
posted at 10:55:55
（つづき）消費者を守る，を自称しているのなら，私が普段行っている消費者側に立った活動と同じように，守る側に立って欲しいという要望を述べただけでのツイートが，（株）ティーエスプランニング（一社）持続可能事業支援機構の本間さんから削除を求められなくてはならないのでしょう。
タグ：
posted at 10:59:59
（つづき）ＮＭＲパイプテクターについて直接の批判もしていない，名の如く消費者を守る側に来てもらいたいという要望に過ぎないものを削除せよというのは，どういうご都合によるものなのでしょうね。ということで，情報緩募です。削除要求を出してこられれたこの方は，一体何者なのでしょうか。
タグ：
posted at 11:02:44
非公開
タグ：
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
アンケート
中学数学教員、塾講師向け
数学のテストを作成する立場になったとき、
√２÷√６
という問題を入れる場合
作問スタイルと採点基準を
以下の中から、選択してください。
フォロワー少ないので、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
いや、ほんと、我々は、昔から、「だったらみんなに十分な量のお金を直接配ったらいいんじゃない？」と言い続けているのにね。
twitter.com/glegory/status...
タグ：
posted at 14:17:05
究極のバラマキ。ヘリコプターマネー(笑)。
放射能デマや反経済成長言説のバラマキは潰して、お金だけをばらまいて欲しい。
誤解してはいけない大事なポイントはそれを永久に続けるわけではないこと。
永久に続けたいことがあれば別の政策で実現する。
目的ごとに別の政策を打つことが基本。
タグ：
posted at 14:20:27
非公開
タグ：
posted at xx:xx:xx
中澤 港％人類生態学者＠神戸大学 @MinatoNakazawa
EtherCalcでもやってみた（Windows 10 Pro x64の1903でNode.jsは入るがPowerShellでethercalcのインストールでエラーが出るので，ethercalc.orgで実行）。同値判定の結果がソフトによって微妙に違っていて面白い。 pic.twitter.com/Q1eSIh1FKt
タグ：
posted at 15:16:47
大学入学共通テスト英語の「民営化」中止を求める国会請願に関しては、ごく短期間に8,100筆もの署名が集まり、大手メデイア各社も報道しました。寺島隆吉先生が、各社の記事をブログで紹介されています。ぜひご覧ください。
tacktaka.blog.fc2.com/blog-entry-344...
タグ：
posted at 15:17:16
#超算数 さらに「教則案」の敷衍と思われる「国民学校教則案説明要領」も理数科算数だけなら、dl.ndl.go.jp/info:ndljp/pid...で見られる。これは出版時期から草案ではなく改訂草案と思われる。
タグ： 超算数
posted at 17:19:31
非公開
タグ：
posted at xx:xx:xx
@yawaraka0ancock @nazomizusouti はじめまして。謎の消費者を守る氏は代理店してた方でしたか。いつ頃から代理店されてたのでしょうかね。
タグ：
posted at 19:03:25
安藤 昭太｜DXをノーコードで @ando_engineer
この辞書ツールやばすぎる。爆速で単語が表示される。英文読むのはかどりすぎ。すぐに英辞郎もダウンロードしてインポートしました。これを無料で公開しているのまじですごすぎる。日本人の何万時間も削減した。
qiita.com/wtetsu/items/c... twitter.com/wtetsu/status/...
タグ：
posted at 19:35:53
グリグリ
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
【綺麗】シャボン玉が凍る仕組みの解明に成功‼︎
www.nytimes.com/2019/06/18/sci...
通常、水は冷たい場所から凍っていく。しかし、シャボン玉は表面張力の場所的な力差によって生じる液体の自由移動が原因で、表面上に無数の結晶が生じ、全体がスノードームのようになるそうだ。 pic.twitter.com/qiNkHMdKo5
タグ：
posted at 21:24:45
横歩取り△４五角テラショック定跡。depth30で4500局面ほど掘って後手確殺(後手は確実に始末するという意味)定跡を完成させました。人類の研究では到底到達できない極みです。 github.com/tibigame/yaneu...
タグ：
posted at 21:28:24
磁気水の専門家にツイート削除を要求してきた謎の人物。
「代理店」というタレコミから２時間で過去の所業が洗いざらい。
地球の科学者の本気がヤバイ( ^ω^ ) twitter.com/apj/status/114...
タグ：
posted at 21:29:25
#超算数 参考資料
外国人児童の困難は「学習言語」の未熟(未習得かも)によるかという記事を見つけたtwitter.com/iki_tanaka/sta...。理論的にはバーンスタインのelaborate/restricted codeを継受していると思われる。算数の教科書には子供に理解しにくい語彙が使われているという志水廣氏の報告がある。
タグ： 超算数
posted at 21:39:57
@temmusu_n #超算数 日本人でも「学習言語」が未熟な事例が結構ありそうですね。
最近知った算数用語は沢山あるし、覚えてない(算数の授業でしか使わない)用語も結構ありました。
用語指導の強化とかやりだしそうで怖いです。((( ;ﾟДﾟ)))
タグ： 超算数
posted at 22:12:04
三春充希(はる)⭐第50回衆院選情報部 @miraisyakai
山本太郎の得票率の分布。（第23回参院選/東京都選挙区）
自治体ごとの面積を有権者数に比例させるように地図を変形させ、得票率で塗分けたもの。杉並区、世田谷区が大票田になっている。 pic.twitter.com/ftVrIKSsxF
タグ：
posted at 22:30:15
森戸やすみ⠒̫⃝♡* 小児科医ママとパパ @jasminjoy
酷い記事。日本小児神経学会提言「言葉の遅れや自閉症があたかもすべてメディアのせいのようにとらえている論評があるが、いまのところ十分な科学的根拠はない」＞
親のスマホいじりで子どもが言葉遅れに！ 子どもの自閉症は『育て直し』で治せる www.jprime.jp/articles/-/15408 @shujoprime
タグ：
posted at 22:50:03
@takusansu 一応留保を。精密コード、制限コードは、70年代に提唱されてから激しい論争の的となってきましたが、専門家は抽象化、概念化を伴う言語使用に、日常的なそれとは異なる法則があることを否定できないでしょう。#超算数 の語彙への私の批判はさなきだに大変なタスクを無駄に難しくするなというものです。
タグ： 超算数
posted at 22:58:08
【あもうかふぇ －怪しい水と水商売（ビジネス）－ 明日】受付中・残席あり
www.kokuchpro.com/event/amocafe_...
今回は（都合の）良い水をチェックしてみますよ！
コーヒーとお菓子を片手にこの際聞きたいこと全部聞いちゃいましょう。ちっちゃいお子様連れも大歓迎ですよ。
タグ：
posted at 23:00:54
Hiromitsu Takagi @HiromitsuTakagi
ちょ、誰の話をしているのかw
www.bengo4.com/c_23/n_9797/
「男性は「自分のスコアを勝手に作成され、その内容について問い合わせをしようとしたら、1000円も支払えと言われました。釈然としません」と話す。さらに男性は、Yahoo!ショッピングやヤフオクでも利用できるTポイントで支払いたいと…」
タグ：
posted at 23:14:17
非公開
タグ：
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
質問に答えてないのがウケるww
info-score.yahoo.co.jp/promotion/user... pic.twitter.com/4EQVZpYq0H
タグ：
posted at 23:48:34
