黒木玄 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 を見て下さい。
2021年12月07日(火)
塾講だけど, 性別を問わず, 生徒とハグが
合理的に認められる状況が思いつかない。
する必要性も感じない。 twitter.com/mickey07251104...
タグ：
posted at 00:09:22
samurai 搬逸屋(おさむらい) @samurai75376961
行為自体この国ではアウトでは？
ハグ?って言葉で…嫌がってないから？
どちらも？？？ twitter.com/mickey07251104...
タグ：
posted at 00:44:31
新しい記事がQiitaにアップされました！#Julia言語 #Julia日本語記事
qiita.com/MandoNarin/ite...👈
タグ： Julia日本語記事 Julia言語
posted at 00:56:49
非公開
タグ：
posted at xx:xx:xx
以前書いた #Julia言語 版HMC(Hamiltonian Monte Carlo)のサンプルコード
ポテンシャル函数φ(x)から、確率分布p(x)=exp(-φ(x))/Zのi.i.d.サンプルを生成する方法の1つ。
60行程度しかない。 twitter.com/genkuroki/stat... pic.twitter.com/kw5k38QHia
タグ： Julia言語
posted at 06:09:38
#Julia言語 leapfrog法でHamiltonの正準方程式を解くので、leapfrog法のために必要な情報をLFProblem型の変数に格納し、それをHMC函数に渡すと分布p(x)=exp(-φ(x))/Zのサンプルを返してくれる。
そういうシンプルなコードになっています。
nbviewer.org/github/genkuro... pic.twitter.com/5OjdvVOen4
タグ： Julia言語
posted at 06:09:40
#Julia言語 この手の問題では、ポテンシャル函数φ(x)がパラメータに依存している場合が多いので、ポテンシャル函数はφ(x, param)の形式の函数で与える仕様になっています。
だから、HMC函数および関連の函数にはポテンシャル函数を決めるためのparamを渡す必要があります。
nbviewer.org/github/genkuro... pic.twitter.com/0DBBSZGFKS
タグ： Julia言語
posted at 06:09:44
#Julia言語 HMCの短いサンプルコード
nbviewer.org/github/genkuro...
で参考になると思われる点は他にもあります。
まず、JuliaにおけるStaticArrays.jlを用いた計算の効率化。Juliaには多彩な配列の型があり、使いこなすと楽に見易く高速なコードを書けます。続く pic.twitter.com/EDMHbeHL8o
タグ： Julia言語
posted at 06:09:48
#Julia言語 次に、自動微分！
Hamiltonの正準方程式ではポテンシャル函数φ(x, param)のxに関する導函数(gradient)が必要になります。
手計算でgradientを計算して、それを函数として実装して、問題を記述する情報が格納された変数に格納するのは面倒です。続く#
nbviewer.org/github/genkuro... pic.twitter.com/oNvAFU7GBK
タグ： Julia言語
posted at 06:09:51
#Julia言語 φ(x, param)を与えるだけで、そのgradientを丸め誤差を除いて正確にかつ高速に自動的に計算してくれるならば、人間側はgradientを手計算する作業から解放されます。
nbviewer.org/github/genkuro... のサンプルコードでは実際にそれをForwardDiff.jlによる自動微分で実現しています！ pic.twitter.com/g7VCjSAQ1h
タグ： Julia言語
posted at 06:09:53
#Julia言語 シンプルなサンプルコードだけでどれだけのことができるのか？
例1. φ(x) = (x₁² + x₁x₂ + x₂²)/2の場合の分布p(x)=exp(-φ(x))/Z (これは2次元の正規分布になる)のサンプルの生成。
問題を記述するデータを格納した変数lfを
lf = My.LFProblem(2, φ)
で作っています。 pic.twitter.com/gylIHYor1x
タグ： Julia言語
posted at 06:15:01
#Julia言語 例2. φ(x) = a(x₁² - 1)² の場合の分布p(x)=exp(-φ(x))/Zのサンプルの生成。a=3,4,5,6,7,8の場合を計算しています。
aが大きいほど、2つの山が強く分離されるようになり、偏りのないサンプル生成が難しくなります。 pic.twitter.com/Z0E1xkRtjP
タグ： Julia言語
posted at 06:18:33
#Julia言語 例3. 正規分布モデルでのベイズ統計
HMC法はベイズ統計での事後分布のサンプルの構成でも役立つ。
面倒なので事前分布はフラット事前分布にしてしまっています(手抜き)。その場合のポテンシャル函数φ(x)はモデルのパラメータxの対数尤度函数の-1倍になります。
nbviewer.org/github/genkuro... pic.twitter.com/RdcZgAxVJx
タグ： Julia言語
posted at 06:22:46
#Julia言語 サンプルコード
nbviewer.org/github/genkuro...
はJuliaで効率的に計算するための基礎になる「型安定性」と「アロケーションの削減」もきっちり実現しています。
こういう点も参考になると思います。 pic.twitter.com/N139D4B8r7
タグ： Julia言語
posted at 06:27:13
#Julia言語 ループの内側でrandn(rng, n)で長さnの配列の乱数を生成すると、毎回その分だけにメモリ割当が発生し、計算効率が悪化してしまいます。
サンプルコードでは randn!(rng, vtmp) の形式で事前割当された配列vtmpに乱数を書き込むことによってそれを防いでいます。
nbviewer.org/github/genkuro... pic.twitter.com/q8E1doDUIx
タグ： Julia言語
posted at 06:32:21
#超算数
先生がどんな話をしたのか、めちゃくちゃ気になる。
いずれにしても、教える教員にも、「掛け算順序指導はおかしい」という話は伝わっているようだ。 twitter.com/theBrachies/st...
タグ： 超算数
posted at 06:42:07
掛順とかで「高校などで困らないように」みたいな実態と真逆のことを言う人がいるんだけど、こういうふうなパターン暗記、キーワードマッチングが数学だと思ってるなら少し分かる。高校あたりからパターンの数が膨大になって大変だから早い段階からパターン暗記の訓練をしようということだろう
タグ：
posted at 06:44:54
@kale_aojiru 王様は裸に見えたけど、「素晴らしい服だ」と取り繕っていたのではなく、
本当に素晴らしい服を着ていたと思っていた人は、「失礼しました。」の一言で誤魔化すしかないのでしょうね。
子供に謝れ！
twitter.com/Mayayalin2/sta... pic.twitter.com/21eLIilESF
タグ：
posted at 06:56:14
衝撃の事実。独り言が多い人は「変わり者だね」って言われがちだけど、トレント大学の研究によると、独り言を言いながら作業をすることで「78%もミスが減る」ことが報告されている。思っていることを声に出して言うことで集中力が上がり、前向きになれて、認知機能も高めてくれるから独り言って最強。
タグ：
posted at 07:01:04
@tomoak1n @mahiru_nyan レシートで数量×単価なんて普通にありますよ。
twitter.com/genkuroki/stat...
あなたのその認識はどこで身に付けたのでしょうか？
タグ：
posted at 08:43:23
自分の体感でも、定数さんの実行例見てても、比の感覚って子ども達は漠然と持っていて、小中学の教育で混乱させられてるだけに思えるのよね。 twitter.com/sekibunnteisuu...
タグ：
posted at 09:39:10
どっちでもいいのであって「逆」じゃないんだよな。あえて言えば「教える側が想定する順序と逆」
式には数以外の「意味」はないから「意味は同じか違うか」という問いかけが無意味。 twitter.com/kamachukamanak...
タグ：
posted at 09:39:42
櫻井杉浦法による一般化固有値問題ソルバーのz-Pares、もう少しでJuliaから呼べそう。プルリクが通ればWindowsからもM1 macからも呼べるようになるはず
zpares.cs.tsukuba.ac.jp
タグ：
posted at 10:04:02
@sekibunnteisuu @tomoak1n @mahiru_nyan 国税庁にウェブサイトの
www.nta.go.jp/law/joho-zeika...
では
3,500個 × 1円 ＝ 3,500円
と
10,000円 × 1,500個 ＝ 15,000,000円
のスタイルがすぐ側で混在しています。
国税庁にも「3,500個×1円＝3,500円と書いてはいけません。順序が逆です！」と是非とも指導して欲しいです！(笑) pic.twitter.com/GMvX3KRiM8
タグ：
posted at 10:04:34
「1時間3円で500時間お手伝いをしました、という意味になっちゃう」
そういう意味にはならない、という批判に対して、「こういう意味になっちゃうからやっぱりかけ算の順序に意味はある」という“反論”をする人が驚くほど多いのですよ。
「かけ算の順序」に拘る人たちに欠けているものが見える気が。 twitter.com/mahiru_nyan/st...
タグ：
posted at 11:06:58
鉛筆の合計とか兎の耳の本数しか問うていない問題文について、【今は場面を式で表せというのが問題になってる】と忖度するのはなぜでしょうか？ 場面の理解を問うなら画像のような表を作るよう指示するべきです。【たし算ひき算でも散々やったはず】というのもやらないでくださいとお願いしています。 twitter.com/mahiru_nyan/st... pic.twitter.com/Ozc49mFWdh
タグ：
posted at 12:15:58
たとえば増加の問題には交換法則が適用されないと述べる算数教育の専門家がいます。論外です。学習指導要領でさえ、これこれの場面でたしざんが使えることを指導せよというに留めています。増加と合併を区別すると称して、たし算に可換・非可換の2種類を捏造するのはダメです。先生方に求めるのは、
タグ：
posted at 12:15:58
増加の問題も合併の問題も子供が解けるよう支援することです。これは、増加として与えた問題を合併の発想で解くこと(逆もあり)、全く別の発想で解くことも子供に許容してもらいたいという意味です。それが自らの力で考えることであり、自分で考えるのでなしには算数の初歩の初歩でさえ身につきません。
タグ：
posted at 12:15:58
定型文を覚えさせたパターンマッチングで立式させて答えを求める事は全く数学的思考じゃないし、勉強できない子が定型外の問題に対応できなくなって余計勉強できなくなるだけだと日々実感してる。
おはじきで状況を再現して指で１個ずつ数えてた方が遥かに数量感覚身につく。
タグ：
posted at 12:16:37
前職の仕事を起業する手前のときに、某旧帝大の理事をやってた某IT系戦略コンサルに「大学院生なんて企業社会では無能だから紹介ビジネスなんて無理だからやめなさい」と言われて、逆にビジネスとしてブルーオーションでうまくいく、と確信した。そういうものだと思う。
タグ：
posted at 12:41:26
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
これ、すごく大事で、色覚補正眼鏡（正確には補助眼鏡、サポート眼鏡）は、仮に期待通りの効果があるのだとしても、それは３色型ワールドの基準の押し付けになってしまって、当事者が見ている世界を否定する小さな攻撃（マイクロアグレッション）にもなりうると思います。 twitter.com/maronism07/sta...
タグ：
posted at 15:57:16
で、実際には製造者が予防線を張る通り、色覚（補正）眼鏡をかけても、３色覚と同じ見え方になるわけではないです。区別できなかった色の組み合わせが区別できたとしても、できなくなる区別もあって、トレードオフです。売っている眼鏡店も理解しているのかわかりません
タグ：
posted at 15:59:46
非公開
タグ：
posted at xx:xx:xx
日本システム企画株式会社が，やまもといちろう氏のブログを検索避けしたようです。 lineblog.me/yamamotoichiro...
「山本一郎 パイプテクター」で検索し，検索結果1ページ目の下のところをご覧下さい。
タグ：
posted at 17:01:14
@chopin1989 「足し算の順序」についてのまとめです。 暇つぶしにでもどうぞ。 こんなまとめを作ったのがもう6年前です。→ togetter.com/li/901635
タグ：
posted at 17:46:39
「「打ちそびれた理由なんていくらでもある」気が変わって今から新型コロナワクチンを打ちたい人は、"住んでる市町村名＋ワク..」togetter.com/li/1813002 をお気に入りにしました。
タグ：
posted at 18:51:47
この記事を読んでください👀🖖
ミニ定規への執着、なんのエビデンスもないんですよ。買わせるためにやってるんです
land.toss-online.com/lesson/aan6nnl...
タグ：
posted at 19:06:29
有名な資料だが改訂増補版が出てるのは知らなかったのでメモ。「標本数」とか「不偏標準偏差」とかありがちなミスが訂正されてるみたい。
改訂増補版：統計検定を理解せずに使っている人のために
katosei.jsbba.or.jp/view_html.php?...
katosei.jsbba.or.jp/view_html.php?...
katosei.jsbba.or.jp/view_html.php?...
タグ：
posted at 19:35:58
不偏分散の平方根は不偏推定量ではないって凄い罠だよな。よっぽど疑い深い人じゃないと教科書に書いてあったって読み飛ばすと思う。こういうとこが独学だと怖い。たぶん講義とかでは口頭で説明がありそう。 pic.twitter.com/oPm6sdlQyB
タグ：
posted at 19:39:46
Dr. Chris Rackauckas @ChrisRackauckas
Check out the Differentiable Programming in Julia for Earth System Modeling project (DJ4Earth), a @MIT_CSAIL Julia Lab initiative to render the full @ClimateMachine Climate Model differentiable without requiring significant code changes.
dj4earth.github.io
#sciml #julialang
posted at 19:43:18
Dr. Chris Rackauckas @ChrisRackauckas
Differentiable programming is required in order for optimization, inverse problems, and #sciml to be fast. A nice example of this is how #julialang's DifferentialEquations.jl vastly outperforms Mujoco in training speed and stability (also DiffTaichi BTW)
homes.cs.washington.edu/~thickstn/ctpg...
posted at 19:43:18
Dr. Chris Rackauckas @ChrisRackauckas
Way back in 2019 we showed how the Julia dP tools allow for differentiating code that was never written for automatic differentiation. This is huge because that means #julialang code "is the ML framework", and nobody has to rewrite everything.
ceur-ws.org/Vol-2587/artic...
タグ： julialang
posted at 19:43:18
Dr. Chris Rackauckas @ChrisRackauckas
Yeah sure, someone rewrite an ocean model in TensorFlow or Jax, etc. but a whole climate model is too big to do that. It's orders of magnitudes larger then every simple component. Rewriting that entire thing to an ML framework (on a language subset) is not even feasible!
タグ：
posted at 19:43:19
Dr. Chris Rackauckas @ChrisRackauckas
But of course there's always been a few caveats, specifically with the implementation of Zygote. Speed of codegen for higher order differentiation, compatibility with mutation, etc. so everything could be differentiated in theory but in practice it had some limits.
タグ：
posted at 19:43:19
Dr. Chris Rackauckas @ChrisRackauckas
The DJ4Earth project is designed to overcome those limitations with the newer #julialang dP tooling. Enzyme.jl is fast and handles mutation with ease. Diffractor.jl has really fast handling of higher order AD
dj4earth.github.io/research/frame...
タグ： julialang
posted at 19:43:19
Dr. Chris Rackauckas @ChrisRackauckas
And of course, the end goal of the project is to get working usable derivatives of the full climate model without major changes to the model's code. It's already well-underway and will be an exciting next stage in #julialang automatic differentiation
タグ： julialang
posted at 19:43:19
#超算数 数学濫用？
新井一成・高籔学「Piaget発達段階論における『操作』概念の整理: S.Papert (1980) との比較を中心に」『東京学芸大学紀要 人文社会科学系 II』第65巻 (2014年1月)、141-8ページ。hdl.handle.net/2309/134574
【Piaget も『構造主義』のなかでブルバキから強く影響を受けているため】
タグ： 超算数
posted at 20:04:02
マナー講師と同じで、出鱈目算数によって算数教育界のヒエラルキーの上位に上りついた人が牛耳っているから。
今さら「王様は裸でした。騙していてすみません」とは言えない。
独裁政権打倒されそうなときに「革命になれば殺される」と権力にしがみつくのと同じ。
免責の確約が必要なのかな？ twitter.com/chronekotei/st...
タグ：
posted at 20:30:09
「そういう問題は出さない」で終了しそう。
だって教員経験のある三島市教委指導主事は「テストで両方の順序の答案があったら、どっちが1つ分か分かりにくい問題だったのか？と反省する」と言っていたから。
馬鹿だよねｗ twitter.com/_reikx/status/...
タグ：
posted at 20:38:25
#数楽
多変数ベータ函数 = Dirichlet積分 = Dirichlet分布の分母
に関する原論文 Dirichlet (1839) は多分これかな？
↓
* eudml.org/doc/235403
* portail.mathdoc.fr/JMPA/afficher_... twitter.com/genkuroki/stat... pic.twitter.com/6BE3lLr6Qo
タグ： 数楽
posted at 20:43:52
#数楽 #統計
www.jstor.org/stable/1403455
The History of the Dirichlet and Liouville Distributions
Rameshwar D. Gupta and Donald St. P. Richards
2001 pic.twitter.com/KlR2mb8hWZ
posted at 20:47:21
しかし、「詳細を知らないのでノーコメント」ならまだしも、
なぜ
「その先生が、そのことを子どもたちにしっかりと話をすればいいと思いますし」
などと余計なことを言うのか？
噓出鱈目をしっかり話すなんて最悪twitter.com/syurikusuketo5...
タグ：
posted at 20:50:54
崩壊寸前の独裁政権の要人の亡命を受け入れるような、
出鱈目算数推奨していた元凶を受け入れる機関とかあればいいのかな？
そしたら「人民裁判員にかけろ」とか言って、引き渡し要求デモとかやっちゃいそう。
人民裁判にかける？かけられる？
タグ：
posted at 20:54:03
あえて今言わなくても…と思うかも知れませんが、本来対象年齢の時に打っていれば得られた効果は、今からでは取り返しがつかないのは事実です。
キャッチアップ接種はもちろん大切ですが、油断せずに検診もしっかり通ってください。
タグ：
posted at 20:55:12
@tjTgcL #Julia言語 青線が破導函数の実部で橙線が虚部。
全ソースコード
↓
nbviewer.org/github/genkuro...
調和振動子の中のガウシアンパケットの運動
↓ pic.twitter.com/ETNL41IzYN
タグ： Julia言語
posted at 21:31:34
@tjTgcL #Julia言語
nbviewer.org/github/genkuro...
ポテンシャルが V(x) = -100 exp(-100x²) の場合。波束はぐちゃぐちゃに壊れる。 pic.twitter.com/1tzuGbyG11
タグ： Julia言語
posted at 21:33:18
@tjTgcL #Julia言語 KdV方程式で初期値がsinの場合
nbviewer.org/github/genkuro...
では他の場合の計算もしています。
Julia言語はこの手の目的にはお勧め。 pic.twitter.com/2btkDtCpeS
タグ： Julia言語
posted at 21:35:28
@genkuroki @tomoak1n @mahiru_nyan ＞今は場面を式で表せというのが問題になってるんだよね？
問題文にはそんなこと書いてありません。場面を式で表すことなどできません。
twitter.com/mahiru_nyan/st...
タグ：
posted at 21:42:06
「相手が嫌がっているならアウト」と言っているけど、「相手が嫌がっていないならセーフ」ってこと？
（数学や論理学の話じゃないから、に事情言語での話だから）
でも、それ判断できるのかな？嫌だけど言えないとか普通にあると思うけど。 twitter.com/mickey07251104...
タグ：
posted at 21:53:16
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n この本が参考になります
www.amazon.co.jp/%E6%80%9D%E6%8...
タグ：
posted at 21:54:25
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n 「ライプニッツ著作集」の訳者の１人でもあります。
だからライプニッツについての説明も入っています。
構造主義にはかなり批判的な内容で、ピアジェ理論も丁寧に説明してあります。
タグ：
posted at 22:08:03
@Ra_koyama @yjo #超算数
冗談じゃなく、本当にそういう授業があるのですが・・・
どの方向から来ても関係なく、時系列に並べる
と言うことらしいのですが、くだらない。
www.shinko-keirin.co.jp/keirinkan/sans...
タグ： 超算数
posted at 22:10:13
@OokuboTact 目次見てもその辺はわからないので参考になりました。私の疑問にはピアジェを受けて日本の算数教育専門家がどんな言葉を発したか調べる方がいいのかもしれませんが、のぞいてみますね。
タグ：
posted at 22:12:20
これは消すかもしれません。
教科書の著者や協力者が
「〇〇を教科書に載せてよ。」
って言ってるけど、
それを載せたら検定を通らなくなるってパターンがあるみたいです。
なかなか
「それは載せません！」
なんて強く言えないじゃないですか。
じゃあどうやっておさめるのか。
「では指導書に…」
タグ：
posted at 22:23:33
@OokuboTact 私は、群論による親族関係分析が成功しすぎた気がするんですよね。ヴェイユの協力が得られなくなった途端に構造が甘くなったとは見ないということです。ともあれ、読んでみましょう。
タグ：
posted at 22:33:24
ここ10年で得た情報から、これは非常に納得できる話。
算数教育界には100年以上前から受け継がれて来た子供を害する教え方があるという予備知識があると、教科書の記述の不味さにやっと気付けるのだが、本当にまずい記述であることの決定的な証拠は一般人購入不可の指導書を見ないと得られない。 twitter.com/84yame1000/sta...
タグ：
posted at 22:35:15
@OokuboTact 日本の算数教育専門家が、ピアジェや構造主義に悪い影響を受けて、数学的構造で心理的構造(とくに算数学習に関するそれ)を説明できないかと画策したのではないかと疑っています。
タグ：
posted at 22:40:45
私企業による単なる出版物なので政府が手を出せない教科書の指導書に教科書の使い方の説明を入れて、さらにその出版物を一般人購入不可&高価にすることによって、全国の小学校の先生への巨大な影響力を行使したままで、子供を害する教え方を広めることができる。
堂々とこれが行われているわけ。
タグ：
posted at 22:40:53
@OokuboTact 算数教育専門家といっても実践家ではなく大学の研究者を想定します。数学はかなりできるはずで、そういう人たちが数学は社会構造や心理的構造の分析に使えるかもしれないと示唆を受けたら、やることは決まっていると思うんです。
タグ：
posted at 22:43:09
子供相手のことでここまでの無茶が堂々と行われており、何十年ものあいだ完全に放置されている。
さらにそういう無茶をやる人達の後任を育てる社会的仕組みも整備されている。算数教育界伝統の非常識な教え方をマスターした人を社会的に出世させる仕組みがある。
稀に見るひどい話。
タグ：
posted at 22:45:04
@OokuboTact 数教協の人たちがファイバーなんちゃらとか口走ったのと同様に、主流派の人々も数学の濫用をしていますよね。構造図とかごちゃごちゃした記号だらけの理論背景があります。他にも立派な理論立てから生み出されたなんかの成れの果てが転がっているかもしれません。
タグ：
posted at 22:46:37
#統計
改訂増補版：統計検定を理解せずに使っている人のために I
池田 郁男
東北大学未来科学技術共同研究センター
Published: 2019-08-01
© 2019 公益社団法人日本農芸化学会
katosei.jsbba.or.jp/view_html.php?...
いやあ、これは色々雑な解説の仕方で頭を抱えた。 twitter.com/shirakawa_love... pic.twitter.com/4wNbZ3sfu1
タグ： 統計
posted at 23:02:07
#統計
改訂増補版：統計検定を理解せずに使っている人のためにII
池田 郁男
東北大学未来科学技術共同研究センター
Published: 2019-09-01
© 2019 公益社団法人日本農芸化学会
katosei.jsbba.or.jp/view_html.php?...
Welch検定で自由度を四捨五入するのはやめて！
以前にもこれ見た覚えがある。 twitter.com/shirakawa_love... pic.twitter.com/g01VHujJ6a
タグ： 統計
posted at 23:07:55
#統計 不偏分散の平方根は母標準偏差の不偏推定量にならないことは自明。
多分それよりも要注意なのは、不偏分散は緩い条件のもとで任意のi.i.d.サンプルで母分散の不偏推定量になること。これは例外的なので要注意。
一般に不偏推定量は特定のモデル内でしか不偏推定量にならない。 twitter.com/shirakawa_love...
タグ： 統計
posted at 23:19:24
#統計 自由度に関するこの説明も雑すぎ。たぶん、これを書いている人自身が理解していない。
線形代数の直交射影の直観があれば、直交射影先の部分空間の直交補空間の次元が添付画像の文脈での自由度になる。
katosei.jsbba.or.jp/view_html.php?... pic.twitter.com/o96vWn3LS4
タグ： 統計
posted at 23:23:05
非公開
タグ：
posted at xx:xx:xx
