黒木玄 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 を見て下さい。
2018年06月24日(日)
Eulerの公式e^(±vi)=cos v±i sin v やベータ函数、ガンマ函数などがEulerには並行して頭にあったのでしょう。i,π,eの記号もEulerによります（πは実はWilliam Jonesが早い）し、Euler定数0.5772…や総和のΣ記号などと合せて、彼がいろんな記号を定めることになったのは自然なことだったと思います。
タグ：
posted at 23:44:42
ここまでわかっていて、1748年の記念碑的著作Introductioにはっきり書かなかった理由はよくわかりません。 20年前なので忘れたか、むしろ終わっていた話だったのか。Goldbachへの手紙じたいはガンマ函数が問題になっており、(1/2)!をどう定義するべきかというのが、当時は大問題でした。
タグ：
posted at 23:33:39
#数楽 #Julia言語
大学1年生レベルの実1変数の解析学で、何か流行の話と関係があってかつ、単なる流行で終わらない普遍的かつ基本的な話題を入れたいと思って、
ガンマ函数→n!の近似に関するStirlingの公式→KL情報量に関するSanovの定理
という流れを考えた。
twitter.com/genkuroki/stat...
posted at 23:32:30
実は、EulerやBernoulliは log i の値をどう定めるかずっと前に悩んでおり、Cotesの後になりますが、1729年に Goldbachへの手紙の中で
1/2 * √(√-1*log(-1) ) =√π
という式を書いています。指数函数に書き直せば e^(iπ)+1=0になります。以下のpdfのp.5下の方を参照：
eulerarchive.maa.org//correspondenc... pic.twitter.com/a06QaoV2VC
タグ：
posted at 23:29:23
せきゅーんさんのブログの補足続き
integers.hatenablog.com/entry/2015/12/...
オイラーの等式 e^(iπ)+1=0が1748年のIntroductioにないのはその通りで、一般の形であるEulerの公式e^(±vi)=cos v±i sin v のみが記されています。
archive.org/stream/introdu... pic.twitter.com/GbEI5rNFun
タグ：
posted at 23:29:22
#数楽 #Julia言語
github.com/genkuroki/Calc... に
nbviewer.jupyter.org/github/genkuro...
Kullback-Leibler情報量
の解説を追加。多項分布のSanovの定理と中心極限定理の証明付き(完全に正確に書くのが面倒だったので議論は荒い)。
実1変数函数の微分積分学だけであっても、何か面白いネタを入れるべきだと思う。
posted at 23:12:47
@OokuboTact @sekibunnteisuu どうしてって答えは、「理論も実験もないけど、何か偉いことをしてる風を装わないと職を失う(でも、やってることがマトモかを判断する能力は無い連中が財布を握ってる)」からじゃないですかねぇ？
タグ：
posted at 22:44:45
A box that only opens if all the tiny blocks are moved in the correct sequence bit.ly/2rE47Hl pic.twitter.com/sH2QEoyVkV
タグ：
posted at 22:30:06
高校に通ってる妹の教科書見たんだけど、高校って三角関数のこの程度の関係性も公式扱いして暗記させられるらしい
理屈で想像したらこんなもん暗記しなくてもすぐにわかる筈なのに、そういうのは不要でとりあえず暗記させられるんだからそりゃあ高校生が三角関数嫌いになるわけだわ pic.twitter.com/X7VvP9xFQ7
タグ：
posted at 21:45:12
OokuboTact 大久保中二病中年 @OokuboTact
今は群馬大学ではなく、大谷大学だそうだ
専門は【数学教育学】
www.otani.ac.jp/kyouin/nab3mq0...
タグ：
posted at 21:27:40
OokuboTact 大久保中二病中年 @OokuboTact
この本を書いている江森氏の経歴
ウィキペディアより
ja.wikipedia.org/wiki/%E6%B1%9F...
タグ：
posted at 21:25:46
OokuboTact 大久保中二病中年 @OokuboTact
＃超算数 ＃資料 ＃算数教育
どうして算数教育の専門家は、自分達しか通じない用語を使いたがるのだろう？ pic.twitter.com/5RjifcRdZR
posted at 21:23:23
どんどん録音すべし。無断で録音すること自体に違法性はないと考えて良い。自らを守るほとんど唯一の手段。訴訟の際の有効な証拠となる。
ただし、それをネットに晒して良いかどうかはまた別の問題で、注意が必要。 twitter.com/bengo4topics/s...
タグ：
posted at 20:52:45
この写真今まで撮ったサーバルの中で一番長い
#多摩動物公園 #サーバル pic.twitter.com/8EqTimopOP
posted at 20:42:05
#左派は経済を知らない (6/25日刊ゲンダイ) 森永卓郎氏による「そろそろ左派は〈経済〉を語ろう」の書評。3人の共著者の共通認識は"日本の左派はあまりにも経済を知らない"。再分配を強調するが、金融緩和や財政出動に反対する。しかし欧米で支持を広げる左派は反緊縮を謳う。日本の左派も学ぶべきと。 pic.twitter.com/VXzPnYrq8E
タグ： 左派は経済を知らない
posted at 20:09:09
非公開
タグ：
posted at xx:xx:xx
DARPAの『タイヤと無限軌道を切り替える研究』キモい(褒め言葉)
現代のクリスティー式?
Demonstrations of DARPA's Ground X-Vehicle Technologies youtu.be/HrQrJ57J9eE @YouTubeさんから pic.twitter.com/BDVPW0n4TC
タグ：
posted at 19:23:32
こちらのビデオ↓によりますと赤ちゃんのワクチン接種回数は最初の18ヶ月で１８～２０回（カナダ 🇨🇦）。嫌がる子供を病院へ連れていく手間、診療の手間、そして健康維持面からも、赤ちゃんの病院ぎらいを減らすことで得られる経済効果は大きいと思います。その意味でも先生に拍手です 👍👏👏👏。 pic.twitter.com/byehX9xbbL
タグ：
posted at 17:02:05
この先生、本当にすごい 🎵🎶！
赤ちゃん、全然気づいてない 💉。
@Pregnancy_Video から pic.twitter.com/CUbipvurO3
タグ：
posted at 11:51:01
@vecchio_ciao #超算数 学習指導要領(平成29年告示)解説では、12÷3から□×3＝12を想起しても、3×□＝12とも考えられるので【３の段の乗法九九を用いて能率的に求めることができる。】と主張しています。
4の段は誤りとは記述されていませんが、【能率的】ではないと受け取れる表現です。8254.teacup.com/kakezannojunjo... pic.twitter.com/yRQLTbmaN5
タグ： 超算数
posted at 11:28:18
就活中の無断録音について、一部の大学が「マナー違反」だとして学生に注意しているとの新聞報道がありました。そもそも違法なのか、企業によるセクハラやオワハラを立証する有力手段にならないのかーー。気になることを弁護士に聞きました。
www.bengo4.com/internet/n_8095/
タグ：
posted at 11:25:35
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
このような「激しい凸凹のランドスケープが現れる」「複数の谷底が低くなっていて、どこかにはまり込む」という現象は、ガラス、スピングラス、タンパクの折り畳み、計算困難性などと関わっています。最近だと機械学習の理論的理解についてもこうした視点の研究があります。
タグ：
posted at 10:40:23
この「うまい分割を探す」という問題は、実はコンピュータにとっては先程の「でこぼこした地形で一番低い場所を探す」状況と似た状況になっており、最初はランダムエネルギーモデルでよく記述できることも知られています。途中の谷で立ち往生するのは、最適解を見つけられない状況と対応しています。
タグ：
posted at 10:32:04
例えば、7,11,13,19,31,33,62が与えられたとすると、(7,19,62)と(11,13,31,33)に分けると合計が一致します。整数分割は、数が大量に与えられたときにこのような分け方を見つける問題で、一般にこれはコンピュータで解くことが非常に難しい問題であることが知られています。
タグ：
posted at 10:31:46
この描像は実はガラスの物理に限ったものではなく、一見関係のない「コンピュータで最適化問題を解く難しさ」とも関係しています。例えば「整数分割」という問題を考えましょう。これは与えられたたくさんの数字を、合計が同じになるように二つの組に分ける、という問題です。
タグ：
posted at 10:31:02
ガラスの一つの見方として、物体は一般にエネルギーの低い状態（図でいうと低い場所）になりたがるのですが、ガラスの場合「今より少し低い状態」に状態を変えようとすると高い山を一旦登らねばならないため、結果途中の谷で乱れたまま止まってしまう、という見方がありますwww.quora.com/What-is-the-en... pic.twitter.com/YnHdHvatE9
タグ：
posted at 10:30:39
固まっているものとして通常頭に浮かぶのは「固体」ですが、固体ではそれを構成する原子が規則正しく並んでいます。逆に配置が不規則でぐちゃぐちゃなものの代表例は「液体」です。ところがガラスは、原子の配置はぐちゃぐちゃなのに固まっている、という、どちらともいえない性質を持ちます。
タグ：
posted at 10:30:09
#仮面ライダービルド 今週の黒板の式は、ガラスのランダムエネルギーモデルです。ガラスは身近な物質ながら「そもそもガラスとはどういう状態なのか」は実は未だ未解決の問題です。ランダムエネルギーモデルはこのうち特に「乱れた状態に固まる」ことをミニマルに表現したモデルです。
タグ： 仮面ライダービルド
posted at 10:29:00
この定理の証明は、「qがオイラーの幸運数」と「虚二次体Q（√(1-4q))の類数が1」の同値性を示し、類数1の虚二次体がベイカー・スタークの定理で示されていることから言えます（詳細はtsujimotter.hatenablog.com/entry/prime-ge...）。なお、ベイカー・スタークの定理はこちらのスタークとは特に関係ありません。 pic.twitter.com/RkD27cKIqw
タグ：
posted at 10:25:04
#仮面ライダービルド 今週の話数の式は、最大のオイラーの幸運数は41だというものです。「オイラーの幸運数」というのは、f(x)=x^2+x+qにx=0,1,…,q-2と順に代入したときに、すべて素数が出てくるような数qのことです。このような数の最大が41なのです。
タグ： 仮面ライダービルド
posted at 10:22:00
目を向けないというよりは、経済弱者に優しい「実効性のある」政策を掲げないということでしょうね。目だけ向いてもしょうがなくて、実のある政策を掲げないのなら実質的には経済弱者に冷淡なわけでしょう。松尾匡が左翼から完全にされているのがそれを表していると思います twitter.com/docseri/status...
タグ：
posted at 09:59:44
#仮面ライダービルド 第41話の黒板の数式はスピングラスかな？RSB(レプリカ対称性の破れ)が見えたり。 sci.tea-nifty.com/blog/2018/06/4... pic.twitter.com/RBodGvsJnm
タグ： 仮面ライダービルド
posted at 09:49:55
オーストラリア・シドニーの南南西約30kmの海岸にある「八の字のプール」と呼ばれる場所の紹介 bit.ly/2tuBoEo および内部の構造も見える美しい写真。 imgur.com/DhH9UAy 波で回転する石が作った甌穴（ポットホール）が連結したもの。興味深い小地形だが到達には数時間歩く必要がある。 pic.twitter.com/G7sFgvTUT7
タグ：
posted at 07:55:53
#JuliaLang 0.7β release imminent! Another small step toward @JuliaLanguage 1.0 github.com/JuliaLang/juli...
タグ： JuliaLang
posted at 07:08:23
超算数ってのは公平で自明であるようこれまで積み上げられた算数数学を謎の俺ルールで上書きするから批判されてるのに批判されると反体制呼ばわりとか、いつの間に体制側にまで成り上がったつもりなんだ
タグ：
posted at 00:21:20
超算数なんぞを肯定的に扱う連中が算数以外ならまともな知識や考えを持っているわけがなかったというあまりにも腑に落ちる twitter.com/sekibunnteisuu...
タグ：
posted at 00:14:04
