黒木玄 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 を見て下さい。
2015年04月15日(水)
ほろぐらふぃっくＲＧ面白い。短波長ゆらぎをパラメータにくりこんでいくんじゃなくて、「ゆらぐパラメータ」に置き換えていくのか。決定論的RG flow の代わりに、くりこむ向きに確率過程が生成される。その確率過程で最適解がドミナントになる状況なら変分方程式で統計がきまる。なるほど。
タグ：
posted at 00:13:01
“連邦政府は子どもの予防接種の「良心的除外conscientious objections」者に2016年1月1日から子どもの保育に関する援助制度（Child Care Benefits, Child Care Rebateおよび”⇒
タグ：
posted at 01:43:22
“Family Tax Benefit Part A）を利用できなくする。
子どもに予防接種を受けさせた保護者は、子ども達が命に関わる病気をワクチン拒否している他人から感染させられるリスクがあるという恐怖なしに保育施設に子どもを預けることができなければならない。”⇒
タグ：
posted at 01:43:46
“医学的理由と宗教的理由による除外は継続されるが宗教的理由は政府が公式に認めた団体に限る。オーストラリアの1-5才の子どものワクチン接種率は90%を超えているが子ども達を予防可能な病気からしっかり守るにはさらなる対策が必要である。多くの家族は適切な年齢での予防接種を行っている”⇒
タグ：
posted at 01:44:15
“が（97%）、39000人以上の7才以下の子どもが親が予防接種拒否者であるという理由で予防接種をしていない。これは10年で24000人以上増加した。
子どもに予防接種をしないという家族の選択は公衆衛生からも医学研究からも支持されず、”⇒
タグ：
posted at 01:44:40
“そのような行動に税金からの支出で保育サービスは提供できない”・食品安全情報blog「予防接種をしない－保育援助はできない オーストラリア社会福祉大臣 首相との共同メディアリリース」d.hatena.ne.jp/uneyama/201504...
タグ：
posted at 01:45:23
“Tara Hillsとその夫は6年前に医療不信から子ども達に予防接種をしないことを決めた。7人の子ども達全員が百日咳になって外出禁止の中で、今彼女はその帰結をblogに投稿している。最初の3人の子どもは「代替スケジュール」での予防接種をしていたのだが下の4人は全く予防接種を”⇒
タグ：
posted at 01:53:49
“していない。CBCニュースの取材に対して「私はとてもおびえていた。怪しい情報がたくさんあって、悪いに違いないと信じていた」と語った。「反ワクチン陣営からの離脱についての賞賛も批判も期待はしない、これは人気コンテストではない。私の家族は間違った情報と恐怖の帰結を経験している」”⇒
タグ：
posted at 01:54:19
“彼女は今後全ての予防接種を受けさせるつもりだという。
（子どもが病気になって反ワクチン派の嘘を痛感して考え直したというひとは結構いるけれどあまりおおっぴらには言えない。自分の間違いを殊更言いたくはないし病気によっては何年も合併症の恐怖に怯えつつ後悔している。）”⇒
タグ：
posted at 01:54:35
Voevodskyは激怒した。Voevodskyは高次元数学をやりたい。Voevodskyにも証明の正しさが分からぬ。Voevodskyは数学者である。コホモロジーと遊んで暮して来た。けれども証明の穴に対しては、人一倍に敏感であった。www.math.ias.edu/~vladimir/Site...
タグ：
posted at 01:55:32
Voevodskyによるホモトピー型理論誕生の経緯の説明。(@orionis23 さんに紹介してモロタ)
間違った証明を発表したのに、Voevodsky自身の名声や自信が邪魔をして何年も見つからなかったケースが度々あったので、証明の正しさの検証の機械化を真剣に考えるようになった。
タグ：
posted at 01:55:43
ある論文は広く読まれたが誰一人自分で細かく検証しなかったようで、誤りの発見まで7年、修正まで更に6年。別の論文は反例が提示されたが、どの部分が誤ってるから反例が成り立つのか不明瞭な上、著者も似た例を事前に検証していたため、反例の方が間違ってるものと考えた。誤りの確定まで24年。
タグ：
posted at 01:55:49
そこで計算機に証明の審判をさせる事を考えるが、そのために新しい基礎論が要るという事は飲み込みにくいらしい。歴史的に重要な競合相手はZFCと圏論。ZFCは比較的単純で、ZFCを使う数学者の養成も簡単。しかし圏論が出てくると表現力の限界が目立つ。
タグ：
posted at 01:55:55
圏論は、「圏は高次元の集合」みたいに見えるので適切そうだが、よく考えると正確には「高次元の順序集合」であって、「高次元の集合」に相応しいのは∞-groupoid(詳しくはHoTT本を読んでね)。この発想から出て来たのがUnivalent foundations。
タグ：
posted at 01:56:02
計算機に証明の審判をさせるために使える基礎には次の三つが必要。
(1)形式的な推論系
(2)直観的なモデル
(3)数学で必要なアイディアを基礎の言語で体系的に符号化していくのに使える概念・構造
タグ：
posted at 01:56:07
ZFCでは
(1)一階述語論理とZFCの公理
(2)階層構造(木構造)の宇宙
(3)集合の概念
Univalent foundationsでは
(1)元々はCIC
(2)ホモトピー型
(3)「∞-groupoidsの論文」を読め
今の所、(3)が最も研究途上であるそうな。
タグ：
posted at 01:56:14
Voevodskyは陽には言ってないけど、それぞれの役割は多分:
(1)計算機に落とし込むのに必要
(2)無矛盾性を人間の直観に担保してもらうのに必要
(3)基礎を成す言語が実用に耐える表現力を持つ事を要請
という感じ。
(連投おしまい)
タグ：
posted at 01:56:31
@kouhei6213 掛け算の順序問題なんだが、この意見が一番しっくりくる。ちょっと中立的だけど代替案の方向も示してるし。keian.hatenablog.com/entry/2013/11/...
タグ：
posted at 06:21:35
Ninja DAO | CryptoNi @CryptoNlnjaNFT
｢斎藤｣｢斉藤｣｢齋藤｣｢齊藤｣･･この差って何？ 錦織圭が｢ニシキオリケイ｣ではない理由 | オリジナル - 東洋経済オンライン toyokeizai.net/articles/-/65709
タグ：
posted at 06:44:12
1位ディズニー、2位USJ――。テーマパークや遊園地の入場者数ツートップに続く、意外な第3位をご存じですか？
toyokeizai.net/articles/-/66260 pic.twitter.com/z3ZIYD5alT
タグ：
posted at 07:13:05
テレビ生出演だと「編集にバイアスがかかっていたからだ」という言い訳が通用しない。今回の生出演で浜田宏一さんは我々リフレ派の信用*も*失ったと思う。経済政策の行方は極めて深刻な問題なので、政府に近いリフレ派は浜田さんを何とかした方がよい。これは日本の将来にとって極めて残念な状況だ。
タグ：
posted at 07:37:30
以前、穴埋め式の問題を例外的に作ったが、その選択肢は正答を入れないダミーで、単に｢空欄を埋めよ｣とだけした。正解は、記号ではなく自分で考えた単語が入る。予想通りほとんど零点だった。もちろん、これは講義に出てこない学生用に作った問題で、まじめな学生にはまともな論述問題へと誘導した。
タグ：
posted at 07:56:12
Tsuyoshi Miyakawa @tsuyomiyakawa
「この分野の論文一般に再現性が低いのは何故ですか」: 1) 高IF誌に出しさえすれば研究費・人事で勝ち組になり、2) 高IF誌は再現性のチェックはせず、3) 再現性の有無や実際の波及効果・有用性についての評価は研究費・人事にはあまり影響しない、というシステムなので。
タグ：
posted at 08:07:15
大教室の授業だと量もハンパないしね。
あと、某武蔵大は非常勤講師にレポートを取りにこさせていたけど、そのときの交通費は出ないので、あれも問題あると思うなー。ぼく200人以上の受講者だったので、両手に紙袋提げて帰った。
タグ：
posted at 08:13:22
本当は消費税減税の方が効果がありそうだけど、浜田さんは法人税減税が持論だから、それは言えないだろうな。 / “インタビュー：すぐの追加緩和不要、月末でも反対せず＝浜田参与 | Reuters” htn.to/jBxD8s
タグ：
posted at 08:17:38
非公開
タグ：
posted at xx:xx:xx
@genkuroki 浜田宏一さんに言って欲しいこと。「我々の目標は国内の景気。為替レートの決定は市場にまかせる」「消費税率引き上げには反対だ」「短期的には景気のために財政政策も活用するべきだ」たぶん全部無理。浜田さんを持ち上げて来た人たちはきちんと浜田さんを批判するべきだ。
タグ：
posted at 08:28:42
非公開
タグ：
posted at xx:xx:xx
「業績・役割に合わせて予算配分を変える」というのは，予算削減に文句を言わせない言い訳になるのと，予算を傾斜配分したことが予算作成者の手柄になりがちなところがよくない
タグ：
posted at 08:44:24
Reading:国立大学を３分類化 交付金見直しへ NHKニュース nhk.jp/N4Im4DPb （大学院重点化の時から手をかえ品をかえ「分類化」が試みられ大学は疲弊．3分類したら若手のキャリアパスにも多大な影響が出るのではないかな）
タグ：
posted at 09:13:05
非公開
タグ：
posted at xx:xx:xx
受けたくても受けられない？ハードル高い新型出生前検査
www.yomidr.yomiuri.co.jp/page.jsp?id=11...
出生前検査＝「親になる覚悟が足りない」・・・。こういう話題になると背景を考察せず「安易な命の選択につながる」しか言えない「ジャーナリスト」もいますが、ぜひ読んでほしいですね
タグ：
posted at 12:05:25
純債務で比較していないところをみると、OECDにも「善意」の財務省の息がかかった草がいるのだろうか？
www.oecd.org/eco/surveys/Ja...
タグ：
posted at 12:34:41
テクニカルな問題として、90分×15回の講義ですべてを説明しきれるわけはないのだから、大学生は「知らないことは調べる」、大学教員は「調べ方を教える」でやっていかないと大学の授業はまわりません。
タグ：
posted at 13:40:36
学術研究は「下手な鉄砲数打ちゃあたる」でやるしかないことを理解していない人が、文部科学大臣をやっていたのか。twitter.com/nakayamanariak...
タグ：
posted at 15:09:52
Re: RT
「基礎研究の予算を申請します」
「はい、それでは具体的にそれが何に役に立つのかについて書類に書いてください」
(え？すでに何に役に立つかわかっていれば基礎研究いらないんですけど)
みたいな話もあったな。
タグ：
posted at 15:24:48
Re: RTs そうなんですね。逆三角関数は高校では教えないみたい。
大学生になったら定期的に図書館の数学書コーナーのそばに陣取って数学について色々調べるのはとても良いこと。
数学に限らず、大学図書館でどのような情報が得られるかをできるだけ早く把握しておくと楽しみが増える。
タグ：
posted at 15:39:58
@genkuroki おいしいのは閉架に隠されている大量の文献たち。宝の山。
何らかの理由で閉架に入れてもらえない場合は「権威」がありそうな教員に相談してみる。
今だとインターネット経由でどのような本があるかを検索できますが、昔はカードで探していました。
タグ：
posted at 15:45:56
@sekibunnteisuu 行列C^rの転置は多項式を多項式に移す線形写像f(x)→f(x+r)の基底1,x,x^2,x^3,...に関する行列表示に一致してます(二項定理の言い換え)。rは整数じゃなくてもOK
タグ：
posted at 16:12:27
きょうは数学最優秀学生賞、川井数学奨励賞の授賞式が行われました。そのお部屋には数学科の初代教授陣の林鶴一教授、藤原松三郎教授、窪田忠彦教授（開講当時は助教授）の写真が飾られてました。 pic.twitter.com/y3HLy7B8l3
タグ：
posted at 16:12:33
.@catqueue さんのコメント「船井ファミリーのヒカルランドから、こんな書籍が刊行されています。
「東の良識派」三橋貴明氏と「西の常識派」岩本沙弓さんの共著
htt..」にいいね！しました。 togetter.com/li/768591#c185...
タグ：
posted at 20:05:09
一切のセーフティネットを作らず、博士課程の定員や会計士資格や司法試験の合格者数を増やして、「溢れても優秀だから起業する」という論理をよく見たが、どう見ても国の言われるまま努力した人間を安全な所から死地に陥れて愉しんでいるとしか思えなかった。
あれで本当に起業して欲しいらしいだよな
タグ：
posted at 20:08:50
昨日、現地校から帰ってきたうちの１０歳児がいきなり
「お父さん、１年生のクラスにロボットが転校してきた！」
って言うんですよ。「ナニ言ってんだか」と思ったらホントでした。この写真みたいなロボットが小学１年生のクラスに入ったんです。 pic.twitter.com/Dn7i8NBcZs
タグ：
posted at 22:28:05
うちの１０歳児の現地校に転校してきたロボットですが、病気のために通学できない子供（小１）の代わりに、クラスに出席するらしいです。ちょうどこの写真みたいな感じで。スカイプみたいなアプリを使って、先生の質問に答えることもできるとか。 pic.twitter.com/8ruUxlZ8gj
タグ：
posted at 22:29:14
この写真みたいな感じで、自分の代わりにクラスに出席してくれるロボット。詳細は、以下のニュースをぜひご覧ください。英語がわからなくても、映像でだいたい理解できますので。
newjersey.news12.com/multimedia/sic... pic.twitter.com/Jj2mcugdW1
タグ：
posted at 22:30:15
【衝撃】東京理科大学が基礎学力テストの結果を公開して推薦入試組を公開処刑！「推薦の学生は極めてバカだから対処が必要」 | netgeek netgeek.biz/archives/34175 たぶんここまでの差があったらリメディアル教育でなんとかなるレベルを超えている。
タグ：
posted at 23:06:16
今更だけど「医者は金儲けのために患者を薬漬けにしている」系のトンデモ本を書きまくって儲けているセンセイへ。薬を沢山処方しても勤務医の給料は全く変わらないし、DPC・回復期・療養とかだとマルメだから薬代は病院負担。勤務医なんぞの給料よりあんたらが貰える印税の方がはるかに高いってば！
タグ：
posted at 23:13:40
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
