黒木玄 Gen Kuroki(@genkuroki)/2018年10月/Page 2

静的コンパイルした Julia が素の Julia にスピードで勝てない。
素の方が何故 4,000 倍も早くなるんだ!?
※ フィボナッチ数列 fib(n) = n < 2 ? n : fib(n-1) + fib(n-2), 第20項目の計算速度の比較

タグ：

posted at 00:05:36

#Julia言語

Pythonでの

```
from glob import glob
glob("*.jl") # Julia拡張子を持つファイルを集めたい
```
的なことをJuliaでしたいときはGlobパッケージらしい。標準ライブラリでないのか。

using Glob

glob("*.jl")

タグ： Julia言語

posted at 00:49:47

最近、算数教育について資料ツイートしてないなあ。
算数教育雑誌は毎月買っているし、図書館でいろいろ資料をコピーしてたので、かなり溜まっているんだけど。
どれを選んでツイートすればいいかわからない。

タグ：

posted at 01:02:00

しかし自分が持っている資料は極秘資料ではなく、学校の教師なら閲覧できるものばかり。
算数教育の専門家なら常識の類。
でもツイッターの論争を見ていると、そんな常識を知らない人が多いみたい。

タグ：

posted at 01:04:17

しかし「算数教育の専門家の常識」というのが、一般常識からすると非常識で酷い

タグ：

posted at 01:06:12

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

#Julia言語

パス操作。そう、アレ、Pythonで言うアレ。
```python
import os
os.path.NANIKAWOSITAI
```
的な・・・のをしたい皆さん。

`using Base.Filesystem` をして
スクリーンショットで書いてあることで解決できます。

For more information,
See docs.julialang.org/en/v1.0.0/base... pic.twitter.com/RU2yWVtfFQ

タグ： Julia言語

posted at 01:06:17

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

野口旭「アベノミクスが変えた日本経済」は僕のような素人にも読みやすいし、どこがうまくいってどこがうまくいってないのかも分かりやすいのでお薦めです。経済政策の目的は雇用を増やすことだとはっきり書いてあります。そして雇用は確かに改善してる。タイトルで損してるよね

タグ：

posted at 01:25:23

こういう経済政策を今はたまたま安倍内閣がやっているというだけであって、別に誰がやってもいいわけ。立憲民主もこれをパクればいいんですよ。「安倍内閣の政策だから全否定」みたいな人たちはちゃんと考えたほうがいいです。完全雇用の問題はもうひと突っ込み欲しい感じがしました

タグ：

posted at 01:28:00

10/20-21はJuliaTokyo #ここが未来に参加するため東京にいます

タグ：ここが未来

posted at 01:41:02

お父さんな。 class.method() 形式の古傷まだのこってるんや。

```
struct SomeData
x
y
end

function(somedata::SomeData)=nanikawosuru
```

とかするとき
class SomeData():
def nanikawosuru(self):
nanikawosuru

みたいに書きたくなるんや。
許してや(´・ω・｀)

タグ：

posted at 01:45:21

Hiroyasu Kamo @kamo_hiroyasu

次は片山さつき厚生労働大臣？ twitter.com/kamo_hiroyasu/...

タグ：

posted at 03:27:38

Julia1.0、REPLとかglobalで動くコードは関数にくるんでも同じように動いてほしい

タグ：

posted at 04:23:48

あれまだJuliaのスコープ把握できてないのか...

タグ：

posted at 04:42:38

Hiroyasu Kamo @kamo_hiroyasu

誤報だそうで。www.asahi.com/articles/ASLB2...

タグ：

posted at 04:59:36

goropikari @goropikari_

PackageCompiler.jl
何に由来するのかわからないけど常に0.2秒弱のオーバーヘッドがある。#julialang
gist.github.com/goropikari/297...

タグ： julialang

posted at 06:26:08

非公開

タグ：

posted at xx:xx:xx

#Julia言語

なるほど、using A: A とする手があるのか！
これは自力では思い付かない。

twitter.com/bicycle1885/st...

タグ： Julia言語

posted at 07:27:36

非公開

タグ：

posted at xx:xx:xx

Re:RT #Julia言語 v1.0では、REPLでの変数のスコープと、Jupyterでの変数のスコープが異なる場合がある。添付画像を参照。前者がREPLで、後者がJupyter上(IJulia)。

その辺の事情については

discourse.julialang.org/t/nested-for-l...

github.com/JuliaLang/juli...

を参照。 pic.twitter.com/zrpOr3XjqQ

タグ： Julia言語

posted at 08:32:49

#Julia言語 Julia言語についてJupyter(IJulia)を使って講義をしている人にとっては死活問題(笑)。

IJuliaもJulia v1.0のREPLと同じ仕様だと、まず学生が大量に死に、そして教えている側がそれへの対処のために死ぬ。

IJuliaはMITでの講義で使われていて、学生が死なない仕様になっているという話。

タグ： Julia言語

posted at 08:32:50

#Julia言語についてイメージが湧かない人にとってもリンク先のstevengjさんのコメントは参考になるかも。

github.com/JuliaLang/juli...
【remember that many of us would like to use Julia as a substitute for Matlab etcetera in technical courses like linear algebra and statistics. ...】

タグ： Julia言語

posted at 08:42:57

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

#Julia言語 stevengjさんは、IJulia, PyCall, etc. の開発だけではなく、MITでJulia言語の講義も行っています。講義の記録のJupyter notebooks (Juliaカーネル)はそれ自体が非常に面白いです。コンピューターが楽しいと思えるような内容。

github.com/stevengj/18S096

タグ： Julia言語

posted at 08:42:57

Julia 1.0.1の正式リリース
discourse.julialang.org/t/julia-1-0-1-...

タグ：

posted at 08:50:05

#Julia言語がないと仕事に支障をきたす人自身がJulia言語のパッケージも開発もやっているケースが色々な意味で一番信用できます。

「Julia言語での実装を試してみました」的な開発のされ方をしたパッケージはすぐに開発が止まる。

stevengjさん自身が開発しているパッケージの信用度は最高レベル。

タグ： Julia言語

posted at 08:51:44

WIRED.jp @wired_jp

その男、なんと「バク宙」で2回転を達成。その凄さを物理的に解明してみた（動画あり） bit.ly/2LNJGSZ

タグ：

posted at 09:30:02

#数楽統計学の文脈でKullback-Leibler情報量D(q||p)は「未知の真の分布q(x)をモデルの分布p(x)でシミュレートしたときの誤差」として出て来ます。

D(q||p) = ∫ q(x) log(q(x)/p(x)) dx.

注意しなければいけないことは、統計学の文脈では真の分布が何であるかは不明なことです。続く

タグ：数楽

posted at 10:16:43

#数楽真の分布が何であるかが判明したら、統計学はその時点で不要になる。統計学が意味を持つのは、真の分布が未知の場合だけ。

だから、未知の真の分布qを含むKullback-Leibler情報量D(q||p)も統計学の文脈では未知だとみなされる量になります。

タグ：数楽

posted at 10:16:43

#数楽 KL情報量を

D(q||p) = G(q||p) - S(q)
(ここで G(q||p) = -∫ q(x) log p(x) dx, S(q) = G(q||q))

と分解して、モデルの分布pに依存する G(q||p) の項(汎化誤差)の推定量を作ることはよく行われています。その嚆矢がAICです。ベイズ統計ならWAICやLOOCVが便利。

タグ：数楽

posted at 10:16:44

#数楽未知の真の分布qの独立試行で生成されたそのサンプルから未知の確率分布qの推定確率分布p(予測分布と呼ばれる)を作ったとき、その作り方ごとに汎化誤差G(q||p)の推定量が色々開発されている。

AICとWAICをまとめて解説してあるのが、渡辺澄夫『ベイズ統計の理論と方法』です。

タグ：数楽

posted at 10:16:44

#数楽注意しなければいけないことは、以上で説明したケースは所謂i.i.d.の場合になっていることです。i.i.d.で生成されたサンプルは取り扱いが易しい。

時系列データの取り扱いでは別の議論が必要になる。

サンプルがどのように確率的に生成されているという設定なのかを最初に確認することは重要。

タグ：数楽

posted at 10:16:44

#数楽統計学は「ややこしい状況」を取り扱うので、サンプルデータがどのように生成されていると仮定しているかを最初に確認してから先に進まないと、扱っている事柄の位置付けを容易に誤解してしまう。

タグ：数楽

posted at 10:16:44

#数楽よく見る誤解は「頻度論vs.ベイズ統計」という対立図式を描いた解説。最尤法もベイズ推測も「データ(サンプル)は独立同分布確率変数列とみなせる」という仮定のもとで理論が作られているので、「ベイズ統計ではデータは定数となる」というような解説はまずすぎ。

twitter.com/genkuroki/stat...

タグ：数楽

posted at 10:16:45

#数楽 AICやWAICやLOOCVでは、推定先の未知の分布qが未知のまま、その未知の分布にモデルで作った分布がどれだけ近いかの指標の推定量を求めるという欲張ったことをしているので、それらを使ったモデルの優劣の比較は確率的に失敗するという認識はとても重要だと思います。

タグ：数楽

posted at 10:16:45

#数楽統計学では、未知のものが未知のままであっても、確率的に様々な推測ができることを主張します。現実問題への応用で重要なのは、その推測がどれだけの確率でどのように失敗するかです。これは統計学の基本テーマの一つ。

タグ：数楽

posted at 10:16:45

#数楽漸近的に(サンプルサイズを大きくすると)、AIC、WAIC、LOOCVは、真の予測誤差D(q||p)が大きくなると、逆に小さくなる傾向を持ちます。そのことが原因でモデル選択に失敗する。渡辺澄夫『ベイズ統計の理論と方法』の

p.71の定理4
p.119の定理15
pp.179-180の注意65(3)

にその結果が書いてある。

タグ：数楽

posted at 10:16:46

#数楽渡辺澄夫『ベイズ統計の理論と方法』の読者は、コンピューターによる数値実験で

p.71の定理4
p.119の定理15
pp.179-180の注意65(3)

が成立することを確認することを目標にすれば、ややこしい証明を理解できなくても、AIC、WAIC、LOOCVを実用的に使えるようになるはずです。

タグ：数楽

posted at 10:16:46

#数楽実際に #Julia言語を使って色々確認した例が以下のリンク先にあります。現時点ではJulia v0.6用であることに注意。

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

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

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

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

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

解説必須かも。続く

タグ： Julia言語数楽

posted at 10:16:46

#数楽添付画像は

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

より。真の分布を1つ決めてサイズ1024のサンプルを1万個作り、各々について2つの事前分布1,2から予測分布を作り、予測誤差(KL)とWAICを計算してプロットしています。各点が1つのサンプルに対応。各々のサンプルは1024個の数値を含みます。続く pic.twitter.com/XTDZYY5p9Q

タグ：数楽

posted at 10:16:47

#数楽確率モデルは単純な正規分布モデルで、2つの事前分布はその共役事前分布の特別な場合なのですが、その辺の詳細は以下で解説する事柄には影響しません。

以下で説明する事柄はモデルの詳細によらない普遍的な結果になっています。

タグ：数楽

posted at 10:16:48

#数楽同じ色の点が同じサンプルに対応しています。

2つの事前分布の正しい選択を予測誤差(KL)が小さな事前分布を選ぶことだと定義します。しかし、現実的な状況では真の分布は不明なので予測誤差(KL)は計算できません。そこでKLの代わりにWAICが小さい方の事前分布を選択することにします。続く pic.twitter.com/618MQmfBCo

タグ：数楽

posted at 10:16:48

#数楽そのとき、どのような感じで事前分布の正しい選択に失敗するかが、添付画像を見ればわかる。選択は白の点線の「45度線」のどちら側にあるかで決まります。KLの側が正しい選択です。赤(と存在しない青)の点はWAICが正しい選択をしている場合で、黄と水色の点は正しい選択に失敗している場合です。 pic.twitter.com/xrzxjNCC9q

タグ：数楽

posted at 10:16:49

#数楽 (真の)予測誤差KLのプロットとWAICのプロットがほぼ180度回転した形になっていることに注意して下さい(平行移動も必要であることに注意)。漸近的に(サンプルサイズ大で)、真の予測誤差とWAICは逆相関します。漸近的には相関係数が-1に収束します！動く方向が完全に逆になる！ pic.twitter.com/o36ByRkZKp

タグ：数楽

posted at 10:16:49

#数楽そのことが原因で、事前分布1(prior_1)による予測誤差が大きくなり過ぎると、事前分布1のWAICは逆に小さくなり、結果的にWAICを使うと予測誤差が大きな事前分布1の方が選択されてしまう「事故」が起こるわけです。

こういうことは約16%の確率で起こっています。

nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/KRHNKAIm2d

タグ：数楽

posted at 10:16:50

#数楽以上で述べたことは、LOOCVでもAICでも完全に同様に起こります(添付画像)。そのことを単純な正規分布モデルで確認したのが、

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

です。このJuliaカーネルJupyter notebookは(他の4つも含めて)そういう意味で非常に教育的な内容になっていると思います(自画自賛！😝)。 pic.twitter.com/OEawvCQrDa

タグ：数楽

posted at 10:16:50

前田敦司 @maeda

過剰診断は甲状腺がんだけの話ではない。前立腺がんについての記事。具体的な弊害についても触れている。twitter.com/maeda/status/1...

タグ：

posted at 10:21:05

Cory Simon @CoryMSimon

👇speed up my Ewald sums, work towards a Hacktoberfest t-shirt! 😀

hacktoberfest.digitalocean.com

github.com/SimonEnsemble/...

#Hacktoberfest2018 #Hacktober #julialang

タグ： Hacktober Hacktoberfest2018 julialang

posted at 10:34:50

目からあざらしがでた。なるほど twitter.com/bicycle1885/st...

タグ：

posted at 10:59:05

#Julia言語「コンピューターが楽しい」の意味は、「プログラミングが楽しい」という意味**だけではなく**、「うぉ！CPUのレジスタが！キャッシュが！メモリが！」というような意味も含みます。

twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 11:04:03

#Julia言語のような、気楽に使えるプログラミング言語で、OpenBLASのdgemmの9割の速度を実現できたらしい。すごすぎ。

github.com/Sacha0/GemmDem...

タグ： Julia言語

posted at 11:04:04

前田敦司 @maeda

「早期検診・早期発見は常に良いこと」という誤解は根強い。韓国ではマスコミによる報道が、過剰診断災害の沈静化に寄与したそうだ。twitter.com/maeda/status/1...

タグ：

posted at 11:09:40

おーーーーーーーーーー twitter.com/genkuroki/stat...

タグ：

posted at 11:14:45

#Julia言語添付画像は

github.com/Sacha0/GemmDem...

より。Julia言語を使ってあれもこれも面倒なことを何もやっていないのにOpenBLASの10%以内に迫る性能が得られたぜ、と言っている感じ。

どや顔が見える(笑)。

こういうことが可能だという話を見るだけでも楽しいよね。 pic.twitter.com/YoWm2RmHh2

タグ： Julia言語

posted at 11:50:32

#Julia言語には「お気楽計算環境」(Jupyter経由で超極高級電卓＋数式を含む解説)と「コンピューターの性能を小さな努力でほぼ使い切るための道具」という2つの側面を持っていると思います。

タグ： Julia言語

posted at 11:50:32

#Julia言語 MITでのJulia言語の講義の内容は「コンピューターの性能を小さな努力でほぼ使い切るための道具」としてのJulia言語の講義なのですが、学生の教育用として採用している環境はJupyterであり、学生の側からは「お気楽計算環境」に見えているはず。

タグ： Julia言語

posted at 11:50:33

Juliaの任意精度浮動小数点数べんりやな〜

タグ：

posted at 11:57:03

JuliaのBigFloat使ってDKA法で100個の零点を求めれた。ただAll or Nothingで失敗する。

タグ：

posted at 12:02:13

Arbitrary Precision Arithmetic
docs.julialang.org/en/v1/manual/i...

タグ：

posted at 12:04:54

テラモナギ @teramonagi

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

@bicycle1885 プロをくれーーーーー

タグ：

posted at 12:08:27

@teramonagi まだ0.6系で止まってるんですね。パッケージのサポートが終わってないのかな…

タグ：

posted at 12:11:46

テラモナギ @teramonagi

@bicycle1885 くううう、情弱な、ワイにはプロが必要なんや！

タグ：

posted at 12:18:42

#Julia言語コンピューターを使った講義をする可能性がある人がJulia言語について読んでおくべきなのは、Juliaのリポジトリでのstevengjさんの発言。例えば

github.com/JuliaLang/juli...

では、学生に計算環境として、Matlabではなく、Juliaを使わせた場合のメリットについて語っています。続く

タグ： Julia言語

posted at 12:34:54

#Julia言語続き。stevengjさんによれば、

学生にMatlabを計算機として使わせると、その学生が「リアル」プログラミングに移行するのは難しくなる。Juliaならば選択肢が豊富なのでそうはならない。Juliaならばすべてを「ベクトル化」に詰め込むとかの悪いことを強制する必要はない。

タグ： Julia言語

posted at 12:34:54

#Julia言語悪いことの強制云々のくだりの原文は【In contrast, if you start with Julia ～ You don't have to train them to cram everything into "vector" operations or force them to do things badly before they do it right.】

全てをベクトル化に詰め込ませるのは教育的によくないそうですw

タグ： Julia言語

posted at 12:34:54

#Julia言語

 github.com/stevengj/SoftG...
SoftGlobalScope is a package for the Julia language that simplifies the variable scoping rules for code in global scope. It is intended for interactive shells ～ to make it easier to work interactively with Julia, especially for *beginners*. pic.twitter.com/Nfg8fPnXYj

タグ： Julia言語

posted at 12:43:33

Astellon @astellon_music

Dr. Chris Rackauckas @ChrisRackauckas

1.0.1が出たからもうoutofdateつけられてる
www.archlinux.org/packages/commu...

タグ：

posted at 12:58:35

@goropikari_ Possibly from the `run` function itself?

タグ：

posted at 13:00:56

#数楽総和法に関する補遺。

私がすでに挙げた1-2+3-4+…を1/4にしてくれる総和法の例：

* 急減少函数による滑らかなカットオフによる総和法(アーベルの総和法を特別の場合に含む)

* チェザロ総和法の一般化(チェザロ平均の十分な繰り返し)

* Euler変換

があります。

twitter.com/genkuroki/stat...

タグ：数楽

posted at 13:19:36

#数楽どれも公開されたJupyter notebookの日付を見ればわかるように以前から繰り返し述べていたものです。もちろん、他にも例を挙げることもできるし、挙げられそうなことが想定できるような解説の仕方をして来たと思います。

タグ：数楽

posted at 13:23:58

#数楽あと「総和法」については、「通常の意味で収束する級数の『総和』では同じ値になる」(正則性)と線形性は仮定することが多いです。「総和法」に正則性を仮定した途端に「条件収束級数は和の順序を入れ替えることによって異なる値に収束させることができる」という話は無関係の話題になります。

タグ：数楽

posted at 13:25:55

ら @odashi_t

いまの日本の科学行政、「20年間の社会実験によって国家を滅ぼす効果があることを実証した」とかでイグノーベル経済学賞を将来的に受賞してほしい。

タグ：

posted at 13:28:46

#数楽以上のスレッドを読むときには、「1-1/2+1/3-1/4+…の収束先はlog 2だが、項の順序を大きく並べ変えると異なる値に収束する」というような話題と混同しないように注意！

「1-1/2+1/3-1/4+…の収束先はlog 2なので、定義より正則な任意の総和法でもその値は常にlog 2になる」の方が近い。

タグ：数楽

posted at 13:29:02

#数楽最初からテーマになっていたので見逃していましたが、最初から例がもう1つ挙げられていますね。

* ディリクレ級数の解析接続を使う方法。

1-2+3-4+…の場合には

Z(s) = Σ_{n=1}^∞ (-1)^{n-1}n / n^s = (1-2^{2-s})ζ(s-1)

の解析接続のs=0での値。

twitter.com/genkuroki/stat...

タグ：数楽

posted at 13:46:21

#数楽誤解されると複数の意味で困るので繰り返しておきますが、「1-1/2+1/3-1/4+…の収束先はlog 2だが、項の順序を大きく並べ変えると異なる値に収束する」というような浅はかな話と混同しないようにお願いします。項を並べ変える話と「総和法」の話は範疇が異なる話題です。

タグ：数楽

posted at 13:50:40

＃算数　　　＃正方形と長方形の関係

ブログ「わさっき」は、算数教育情報を知るにはいいけど、主張が酷いなあ

d.hatena.ne.jp/takehikom/2018...

タグ：正方形と長方形の関係算数

posted at 14:34:48

#超算数　　　 #正方形と長方形の関係

＞第2学年で，長方形や正方形を学習する時点では，それらを区別すること，すなわち正方形を長方形の仲間に入れないという指導・採点の方針に，賛同します．
＞その段階では包摂関係への理解よりも，弁別できることが望まれているからです

酷い主張

posted at 14:44:43

goropikari @goropikari_

@ChrisRackauckas Thank you for comment.
If I execute those files on bash, it also takes about 0.2 seconds.
So I think there may be another reason for the overhead. pic.twitter.com/rVMdzwRYdw

タグ：

posted at 15:08:45

増田聡 @smasuda

金の卵を毎日産むアヒルがいました。飼主は餌代をケチったため、金の卵は週に一度しか産まれなくなりました。アヒルを信賞必罰の環境に置けばもっと卵を産むはずだ、と思った飼主は、アヒルが金の卵を産んだ日にだけ餌を与え、産まない日には与えませんでした。やがてアヒルは死にました。今の大学政策

タグ：

posted at 16:08:49

WIRED.jp @wired_jp

なぜ、鳩は頭を振りながら歩くのか？鳩の動きを研究した結果、それは周りの世界をその目で見るために必要な動作だということがわかった。 bit.ly/2lZCrH5

タグ：

posted at 16:15:00

天むす名古屋 Temmus @temmusu_n

#Julia言語

JSONファイルを読み込まなければいけない状態になったので調べた結果

```
using JSON
JSON.parsefile("gomagoma.json")
```

でいけることを知りました。

github.com/JuliaIO/JSON.jl

タグ： Julia言語

posted at 17:16:04

國立拓治＠3刷重版「中学生」成績トップの @sakurakobetu

#超算数 @sakurakobetu さんの、
算数の嫌われ者「ハジキ」を再び探る！ sakura394.jp/diary/teach/ha...
という記事に気づいた。【ハジキの貴重な資料をいただいた！】以降で私が集めた資料にふれている。この記事を読む人には、私に関連する記述に正しいものが皆無であることに留意してもらいたいです。

タグ：超算数

posted at 19:05:46

天むす名古屋 Temmus @temmusu_n

@temmusu_n すいませんでした。たしかに勝手に想像で書きました。表記を「ツイッターで声をかけていただいた方」と直しました。まだ間違えてしまってるところありますでしょうか？

タグ：

posted at 19:10:05

國立拓治＠3刷重版「中学生」成績トップの @sakurakobetu

@sakurakobetu 以前私が【許可を与える筋合いのものではない】と答えた通りです。【勝手に想像で書い[た]】事柄と同様、これについても私は否定も肯定もしません。

タグ：

posted at 19:17:14

天むす名古屋 Temmus @temmusu_n

@temmusu_n たしかにそのようにおっしゃってました。沿う形に表記を改めます。

タグ：

posted at 19:19:06

@sakurakobetu #超算数上の通りブログの筆者の方にメンションをつけたら直ぐに対応してもらえることになった。それでこそ、ニコニコと仲良く喧嘩できるというもの。ありがたし。

タグ：超算数

posted at 19:35:08

4Gamer @4GamerNews

全盲のゲームクリエイターが作る「音だけのゲーム」。その制作者に“オーディオゲーム”の現状などを聞いた www.4gamer.net/games/999/G999... pic.twitter.com/yOBu3Nigci

タグ：

posted at 20:13:32

真人間 @manitas0

機械学習してるお笑いコンビ
「あるある探検隊！あるある探検隊！！

精度高い時、過学習！！！

はい！はい！はいはいはい！！！」

タグ：

posted at 20:20:30

Atsushi Sakai @Atsushi_twi

またすごいPRきた。。。😳。マージしたけど、正直あんまりついていけてない。。。マニピュレータすこしは勉強しないと、ただマージボタンを押すメンテナになっちゃう。。 pic.twitter.com/TLwaAbEm6i

タグ：

posted at 21:12:28

adhara_mathphys @adhara_mathphys

#超幾何クラブ
特殊関数間の関係というのは面白いものだと思います。 twitter.com/adhara_mathphy...

タグ：超幾何クラブ

posted at 21:12:59

k-takahashi @k___takahashi

『過去１４年以上のストーカー的誹謗中傷行為、「ＮＭＲパイプテクター」に対する誹謗中傷の書き込みがネット上で多数存在』　効果が出てきたってことかな htn.to/Ef9naCLhR #メディアリテラシー #ニセ科学

タグ：ニセ科学メディアリテラシー

posted at 21:19:36

Yuki Nagai @cometscome_phys

Juliaでタイトバインディング模型を取り扱うパッケージを作ってみた。適宜追加する予定。
cometscome/TightBinding.jl github.com/cometscome/Tig...

タグ：

posted at 21:33:11

羽藤由美 @KITspeakee

東大は入試の実施主体として慎重かつ責任ある判断をされ，判断理由も明快です。それにひきかえ京大は「無責任」「権力に尻尾を振って受験生を犠牲にした」などと揶揄されないような判断をしてくださることに期待します。ここでは山極総長が国大協会長であられることは関係ありません。

タグ：

posted at 21:50:50

skyred @skyred001

Yasuyuki Ozeki/小関泰之 @ysozeki

＞今はどこの自治体も財政が厳しいので、『自分の仕事は生活保護をカットすること』という“使命感”に燃えている人もいます

こんな勘違いした奴はケースワーカーにしてはならんだろう。

「生活保護カットが職務」若手ケースワーカーの“使命感” | 日刊SPA! nikkan-spa.jp/231224

タグ：

posted at 21:58:31

1. 2018年ノーベル物理学賞の解説をします。光ピンセットと超短パルスレーザーというと自分より適任の方は日本にも大勢いらっしゃると思いますが。。。

タグ：

posted at 22:15:04

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

NHKニュース @nhk_news

台風25号は、最も強い「猛烈な」台風になっています。
今後の進路の予報です。
www3.nhk.or.jp/weather/typhoo... #nhk_news pic.twitter.com/DLkxNR4NFz

タグ： nhk_news

posted at 22:23:36

所長おち @02320_ochi

Twitterのおかげで見逃さずに済んだ眉月とか虹とかISSとか数え切れないくらいあるし、Twitterでの「月が綺麗ですね」は「おめーも外に出ろ」って意味ですよ。 #決闘罪まったなし

タグ：決闘罪まったなし

posted at 22:31:21

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

915hPaってやばくね

タグ：

posted at 22:38:01

プログラミング言語くらい自由に使いたいよね。

タグ：

posted at 22:39:53

matlabのクソ適当に使える構造体好きなんだけどなぁ

タグ：

posted at 23:01:13

残り16件のツイートを見る

シータ @Perfect_Insider

日常用語の「疑う」は「その見解を否定する」の意味でもしばしば用いられるが、科学の文脈で例えば「教科書を疑え」と言ったときに意味していることは、「教科書の内容の正しさを自力で検証せよ。完全に正しくないならばどこまで正しくどこに限界があるか検討せよ」という意味。

タグ：

posted at 23:06:23

初期化いらず pic.twitter.com/pcqc9IPvFx

タグ：

posted at 23:07:28

＃超算数　　＃正方形と長方形の関係

ここは教師用指導書を見てみよう pic.twitter.com/3bK3YCivzp

posted at 23:12:00

増田聡 @smasuda

このつぶやきを見た妻が描いたアヒルの絵。金の卵…？ pic.twitter.com/6YWNRaP1XK

タグ：

posted at 23:13:19

TaKu @takusansu

twitter.com/sekibunnteisuu...
苦痛(苦難)に耐えて努力するのを美談とする風潮があると感じています。
【得るものは少ない】に関しては、価値観の違いかと。
受験に合格すれば得た事になり、学問的な能力を身に付ける事は目標になっていないと思われます。

タグ：

posted at 23:19:25

#超算数　　 #正方形と長方形の関係

別の頁も参考になる pic.twitter.com/SdKXZNX2Nv

posted at 23:21:42

#超算数　　 #正方形と長方形の関係

説明を読めば、「正方形は長方形」という結論になる。

教える側は「正方形ではない長方形」と「正方形」の区別をしたがっている。

posted at 23:24:36

HAYASHI Tomohiro @SokoranoKumasan

友人夫婦もデマのせいで離婚しました。
関東の実家に子供を連れて避難した配偶者に会いに行ったら、配偶者やその実家の家族から、子供を福島に連れ帰ろうとするなんて「ひとごろし」だと罵倒され、泣きながら帰ってきた、らしい。
その後、結局離婚。

原因作ったヤツは、今でもテレビでニヤケ面。 twitter.com/pino_0127/stat...

タグ：

posted at 23:25:42

wired.jp/2015/02/14/wha...
【こんなことが分かってきたのも、1970年代に研究者のグループが鳩をランニングマシンに乗せて（～）、鳩がいくら歩いても周囲が動かない限り、鳩は頭を動かさないことを見つけてくれたおかげである。】

鳩は頭を動かさなくても歩けたのか！

タグ：

posted at 23:27:43

#超算数　　 #正方形と長方形の関係

小学校では、正方形は長方形でありながら、長方形ではない。
矛盾した存在だ！
なぜなら
「正方形ではない長方形」だけを「長方形」と呼ばせている。
そして
「小学校の長方形の定義」に従うと正方形は長方形になってしまうから。