黒木玄 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 を見て下さい。
2012年09月29日(土)
非公開
タグ：
posted at xx:xx:xx
@kamo_hiroyasu @kagami_hr そもそもmixを使わずにカット除去のできることはゲンツェン自身が気づいていたはずだから，彼が長生きしてくれたらそういう教科書を書いてくれただろうと思われます．
タグ：
posted at 20:22:16
@kamo_hiroyasu @kagami_hr 強く同意！ゲンツェンの論文は読みやすいけれど，カット除去にmixは不要．いま教科書を書くならmixなしですよね．竹内「数学基礎論」も松本「数理論理学」もゲンツェン1935のなぞりに過ぎないのが惜しい．
タグ：
posted at 20:19:37
@Eugene_EFL #掛算 続き。「算数教育業界標準」では「かけ算の意味」(←超要注意キーワード、これが出て来たらほぼアウト)と「かけ算の順序」を同一視することになっているのです。しかし実際にはそれらは無関係。cf. t.co/taovcKh1
タグ： 掛算
posted at 15:10:53
@Eugene_EFL #掛算 受験研究社『算数・自由自在 小学1・2年』2012別冊指導マニュアル56頁下段の写真で、「逆になっている場合は、答えは同じになりますが、かけ算の意味が理解できていないことになります」と書いてあります。続く t.co/8B0DZtqH
タグ： 掛算
posted at 15:07:43
@kagami_hr 同感．Cohenの原論文はわかりにくくて，私には読み通せなかった．強制概念は今どきの教科書でよく整理されたのを読む方がいいですね．ゲーデルのLも教科書の方がいいでしょう．しかしゲンツェンは原論文が読みやすい．
タグ：
posted at 14:40:55
「マージ可能ヒープの中で，現在「実用的に最速」と言われているものが Pairing heap です．」 / “Pairing Heap - spaghetti_source - TopCoder部” t.co/rXGMbWEv
タグ：
posted at 12:48:20
もっとも、オバマは感情的になったり失言したりすることが少ない人だと思うし、ロムニーが一気に支持を回復するような道筋って何も思いつかないんですけど。ただ、どうも反オバマ感情のくすぶりは体感できるので。
タグ：
posted at 02:13:35
まあ、私が自動車で走っているところというわけでバイアスはあるわけだけれども、でもこの前の選挙の時はオバマとマケインがほぼ同数だったことを考えると異常。キャッチコピーは"Keep America Free"とかになっている。
タグ：
posted at 02:11:01
反オバマ感情は確実に蔓延していて、失言一発でひっくり返る危険はいつでもあると思う。私が住んでいるオハイオは普段は両党の支持が拮抗している場所だけれども、この前の調査ではオバマが10%の差をつけてリードとなっていた。でも、一般家庭の庭に出ているサインはロムニー支持のものばかりだ
タグ：
posted at 02:09:37
私のTLにいる人とかRTとか見ると、これだけバカやって支持を下げているんだからロムニーは終わっただろうと思っている人が多いような気がするのだけれども、私は全然楽観していない。世論調査でもロムニーの支持はかなり減っているわけだけれども。
タグ：
posted at 02:07:04
2012年09月28日(金)
#掛算 算数タグでこんなものを発見しましたt.co/Q3hHdIyb。学研教室によるとおはじきを使うと「３人に２個ずつ配る」と「２人に３個ずつ配る」の違いがわかる。おはじきで作った長方形のような縦方向と横方向に差異がないものに、どうやったらそんな区別がうまれるのか？
タグ： 掛算
posted at 23:00:14
今日は反面教師だったのかな〜。RT @kikumaco: ずっと前から老害 “@Historyoflife: 一人ご満悦の有馬ローニンさん。老害だと思う。”
タグ：
posted at 22:40:01
プレプリ文化は物理発 RT @Historyoflife: コーネルのarxiv見ていろいろさがしたことあります？RT @itaimecom: 物理でも、プレプリント優先ってのはちょっと違和感が、、、"@Historyoflife: 物理は昔からプレプリはありました
タグ：
posted at 21:08:32
必ずしも優先というわけではないでしょうが、存在感あり。RT @itaimecom: 物理でも、プレプリント優先ってのはちょっと違和感が、、、"@Historyoflife: 分野による文化みたいなもの。物理は昔からプレプリはありました。優先度もそっち。生物は異文化。不思議
タグ：
posted at 21:04:22
コーネルのarxiv見ていろいろさがしたことあります？RT @itaimecom: 物理でも、プレプリント優先ってのはちょっと違和感が、、、"@Historyoflife: 分野による文化みたいなもの。物理は昔からプレプリはありました。優先度もそっち。生物は異文化。不思議
タグ：
posted at 21:03:17
かなりのことについて有馬さんが悪いです RT @Historyoflife: 有馬先生は、量子力学を習った「恩師」なので、わるくちはいいたくないが、大学院重点化を始めいろいろなさったことが、今ずしりと聞いているから、困ったことと思う。政治家などなさらなければよかった。
タグ：
posted at 17:07:56
有馬先生、IBM模型に回転群たっぷり使ったと自慢。今は物理学者が新しい数学を作っている時代。大栗さんの数学とか。それらの数学と物理のコラボはすごいよね。そういう話すればいいのに。まあ、回転群は杉浦先生、山内先生の名著もあるよね。
タグ：
posted at 17:02:43
分野による文化みたいなもの。物理は昔からプレプリはありました。優先度もそっち。生物は異文化。不思議。RT @itaimecom:公開されてると受け付けない雑誌ってある？ "@物理、数学だとプレプリントあり RT 雑誌に載っていないのに公開していいの？、平場の議論と査読との関係は
タグ：
posted at 16:44:17
有馬先生は、量子力学を習った「恩師」なので、わるくちはいいたくないが、大学院重点化を始めいろいろなさったことが、今ずしりと聞いているから、困ったことと思う。政治家などなさらなければよかった。
タグ：
posted at 16:38:25
物理、数学だとプレプリントという習慣あり、普通ですね。RT @itaimecom: 雑誌に載っていないのに公開していいの？、平場の議論と査読との関係は？。数学はこれが普通？ "@こうやって進む RT @ShinichirohM: Dimitrovが論文IVの定理1.10に反例ある
タグ：
posted at 11:53:16
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
光硬化樹脂を使った3Dプロッターですね。これは少し新しい。けれどエッチング処理が必要なのがやや面倒。削るタイプはだいぶ前から低価格のモノがROLAND DGから出ていますよね。“@genkuroki: t.co/w3XOqLUJ 3Dプリンター「現在商品化のための”
タグ：
posted at 11:09:13
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@genkuroki #掛算 学習指導要領解説算数編では「乗法,除法を加法,減法より先に計算すること」も「きまり」です。数学的法則も、法則と矛盾せずかつ一般的なとりきめも「きまり」になる。説明次第では「きまり」を法則の小学生向けいいかえとして使えるかとも思ったがやはりだめですね。
タグ： 掛算
posted at 10:01:49
#掛算 学習指導要領解説 t.co/ZEAuUUlW では「昆虫や植物の成長のきまり」は「卵→幼虫→蛹→成虫」とか「植物の育ち方には種子から発芽し～という一定の順序があるということ」を意味している。「学校のきまり」と同じ「きまり」という言葉を使っている。誰が決めた？
タグ： 掛算
posted at 08:00:34
#掛算 t.co/2VDP4Xh5 小学校の算数や理科では数学の世界は自然界における普遍的な法則を「きまり」と呼ぶ習慣があります。もしも子どもが「学校のきまり」の「きまり」の意味だと誤解すると、かなりの悪影響があると思う。教育界の言葉使いは意外なほど無神経。
タグ： 掛算
posted at 07:42:43
#掛算 t.co/Tv5ahiZD より【「たし算・かけ算では…交換のきまりや結合のきまりが成り立ちます」「…うまく使うと、計算が簡単になる」と書いてあった】←計算では交換法則を自由に使ってよいと言っているだけで、掛算の順序にはこだわっている可能性があるので注意！
タグ： 掛算
posted at 07:38:17
#掛算 続く。以上の連続ツイートを読んだ人はあまりにも現実離れした話なので信用できないかもしれません。ぼくを信用できない人は現役教師の方による解説 t.co/tTOUrMP1 も読んで下さい。算数教育業界のやり方に現場の教師が賛成しているとは限らないのだ。
タグ： 掛算
posted at 07:33:39
#掛算 掛順こだわり教育に関する昨晩の復習の続き。昨晩は東京書籍と啓林館の算数の教科書の指導書(学習指導要領とは無関係であることに注意！)に単位のサンドイッチ t.co/e5eWzdwJ な教え方の指示がもろに載っていることを紹介しました。続く
タグ： 掛算
posted at 07:06:58
囲碁の対局に夢中になって人を待たせてしまう。それで待たされた人は怒る。
後三年の役が勃発したり、関ヶ原の戦いの帰趨に影響したり。
t.co/eJ4CsnTa t.co/0YhdpYH2
タグ：
posted at 06:23:16
非公開
タグ：
posted at xx:xx:xx
