Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 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 を見て下さい。
並び順 : 新→古 | 古→新

2016年02月08日(月)

天むす名古屋 Temmus @temmusu_n

16年2月8日

1884年教科書は #掛算|も割算もロビンソンの高等算術に依拠していると述べていた。91年版は何を参考にしたか記述なし。ただし、「釈義」という冒頭の一節で数、量、値などについて英語の術語を交えつつ解説。名数、無名数も導入。思うに割算の意味を二つに整理する根拠になったか。

タグ: 掛算

posted at 23:52:51

黒木玄 Gen Kuroki @genkuroki

16年2月8日

@genkuroki #数楽 半無限外積空間と無限変数の対称多項式の空間のあいだの同型が得られた!ボゾン・フェルミオン対応が得られた!τ函数を作る手続きで佐藤グラスマン多様体の点とその時間発展の情報は失われていないので、すべてをτ函数から作り直すことができる。たったこれだけの話。

タグ: 数楽

posted at 23:38:35

天むす名古屋 Temmus @temmusu_n

16年2月8日

田中矢徳(1891:39)は割算を【実の数を法の数に従ひて若干に等分すと解する者】と【実の数の中に法の数を包含すること幾許なるかを発見すと解する者】の二つに分類。1884年には意味は三つと述べていた。#掛算 pic.twitter.com/MRC03mjL74

タグ: 掛算

posted at 23:33:32

黒木玄 Gen Kuroki @genkuroki

16年2月8日

@genkuroki #数楽 佐藤グラスマン多様体を埋め込む先の外積の空間の基底としてz^{-2}∧1∧z^2∧z^3∧…を一般化した単項式達を取れます。これにそのτ函数=Schur多項式を対応させる写像は一次独立性を保ちます(∵Schur多項式達は対称多項式環の基底)。続く

タグ: 数楽

posted at 23:33:25

黒木玄 Gen Kuroki @genkuroki

16年2月8日

@genkuroki #数楽 一般に部分空間Wに対して、その基底w_1,w_2,…を取って外積w_1∧w_2∧…を作っても、もとのWの情報は失われません。τ函数を作るときにはそれだけとは違うことをやっているように見えます。しかし実際にはそうではないのです。続く

タグ: 数楽

posted at 23:27:03

黒木玄 Gen Kuroki @genkuroki

16年2月8日

@genkuroki #数楽 単なる計算としては自明な以上の話の中に一ヶ所だけ「え?そんなことをしたら、グラスマン多様体の点(部分空間)の情報が失われるでは?」と疑ってしかるべきステップが含まれています。それは1∧z∧z^2∧…の係数だけを拾って他の項の情報を捨てるステップ。続く

タグ: 数楽

posted at 23:23:25

黒木玄 Gen Kuroki @genkuroki

16年2月8日

@genkuroki #数楽 以上の話はSchur多項式の行列式表示(ヤコビ・トゥルディ公式)を知っていれば自明。知らない人はそうやって出て来た行列式をSchur多項式の定義だと思って問題無し。単なる計算なので何も深い話はありません。

タグ: 数楽

posted at 23:18:20

天むす名古屋 Temmus @temmusu_n

16年2月8日

#掛算 田中矢徳 著『高等算術教科書. 巻1』攻玉社 1891年は、26頁kindai.ndl.go.jp/info:ndljp/pid...で定理一として交換法則を提示。乗法句訣の記述より先である。これは同じ著者の1884年の教科書twitter.com/temmusu_n/stat...とは異なる構成。

タグ: 掛算

posted at 23:16:10

黒木玄 Gen Kuroki @genkuroki

16年2月8日

@genkuroki #数楽 @genkuroki #数楽 先の例1/z^2,1,z^2,z^3,…のような基底を持つ佐藤グラスマン多様体の点に対応するτ函数はp_mたちを成分に持つ行列式で書けます。その式がSchur多項式のヤコビ・トゥルディ公式による表示そのものになっている。

タグ: 数楽

posted at 23:15:23

黒木玄 Gen Kuroki @genkuroki

16年2月8日

@genkuroki #数楽 佐藤グラスマン多様体の点(部分空間)の基底にexp(t_1 z+t_2 z+…)=Σp_m z^m をかけて、全部の外積をとったときの、1∧z∧z^2∧…の係数が佐藤グラスマン多様体の点に対応するτ函数の定義です。定数倍を除いて一意に定まる。

タグ: 数楽

posted at 23:11:06

黒木玄 Gen Kuroki @genkuroki

16年2月8日

@genkuroki #数楽 続き。たとえば、1/z,z,z^2,…に対応するSchur多項式はヤング図形が箱1つのやつ。

1/z^2,1,z^2,z^3,…は箱が3つのL型のヤング図形が対応。

佐藤ゲームでのマヤ図形とヤング図形の対応の話を知っていれば、その話になります。

タグ: 数楽

posted at 23:04:46

天むす名古屋 Temmus @temmusu_n

16年2月8日

#掛算 長沢亀之助 編『算術初等教科書 : 理論及び応用』尚成堂 1890年 kindai.ndl.go.jp/info:ndljp/pid... 25頁に割算の意味が二つ記される。後の等分除、包含除にあたる。文章題をいくつか例示するが、命名はしない。 pic.twitter.com/iB6Nc7ZVJ1

タグ: 掛算

posted at 23:02:47

黒木玄 Gen Kuroki @genkuroki

16年2月8日

@genkuroki #数楽 1,z,z^2,…を基底とする1/zの形式ローラン級数全体の空間の部分空間は最も簡単な佐藤グラスマン多様体の点。その基底の先頭の有限個のzのべき指数をずらしたものからも佐藤グラスマン多様体の点が得られる。それらに対応するτ函数がSchur多項式。続く

タグ: 数楽

posted at 22:54:10

黒木玄 Gen Kuroki @genkuroki

16年2月8日

@genkuroki #数楽 で、τ函数としてのSchur多項式の話。部分空間の基底の外積を作る話と、exp(t_1 z+t_2 z^2+…)型の時間発展を組み合わせれば自然にSchur多項式が出て来る。続く

タグ: 数楽

posted at 22:49:13

川端裕人 『ドードー鳥と孤独鳥』(国書刊 @Rsider

16年2月8日

嬉しい引用→“「2色型や明確な変異3色型」というのは今の医学の言葉では「色覚異常」……しかし河村さんの研究の上に立って見渡すと、実はヒトの集団が持っているのは「異常」ではなく「多型」。──『 「正常色覚」が本当に有利なのか |へのコメb.hatena.ne.jp/entry/27846549...

タグ:

posted at 22:16:04

oto @oto_oto_oto

16年2月8日

五×3 ♯掛算

タグ:

posted at 21:05:31

川端裕人 『ドードー鳥と孤独鳥』(国書刊 @Rsider

16年2月8日

色覚の進化連載、最終回。
進化の研究から、2色型の色覚が「劣って」いるわけではないって話。
意味があって多様性がある、と。
そして、現実的には、2色型の色覚が有利な局面だってある。
優劣の問題じゃないと意識できる、まず一歩として。 fb.me/7LIRBE2HN

タグ:

posted at 20:52:21

@kuri_kurita

16年2月8日

「民主党が“お手本”としているイギリス」と同じ比率にすると、「議員定数は1390人となります」だって。

www.jlaf.jp/jlaf_file/1011...

タグ:

posted at 15:09:00

@kuri_kurita

16年2月8日

OECD加盟国中、国会議員一人当たりの人口はアメリカに次いで多い、って、アメリカは連邦制で「国会」の役割が他国とかなり違うんで、要するに日本は最低じゃないか。

www.jlaf.jp/jlaf_file/1011... pic.twitter.com/e6Qv3MrXWS

タグ:

posted at 15:07:25

川端裕人 『ドードー鳥と孤独鳥』(国書刊 @Rsider

16年2月8日

@kamo_hiroyasu なにか不思議なことがかなり属人的に起きているのかもしれません。昨晩いろんな文書を見ると、色覚環境を変えていこうとする動きに、眼科学会はとても消極的です。非公式なところでは、対立を示唆するような発言も散見します(もちろん表立ってのことではないです

タグ:

posted at 14:31:46

Hiroyasu Kamo @kamo_hiroyasu

16年2月8日

@Rsider @IshidaTsuyoshi 心ある眼科医さんたちが動いてくださって、色覚異常お断り状態だった地下鉄の路線図を色覚バリアフリーの優等生に変えたのは、四半世紀も前のことなんですけどね。眼科医が社会を変えた実績はちゃんとあるのに。

タグ:

posted at 14:29:15

川端裕人 『ドードー鳥と孤独鳥』(国書刊 @Rsider

16年2月8日

@IshidaTsuyoshi 眼科の使命は、「色覚異常者を発見し、診断し、彼らの社会生活を支援すること」だそうです。

タグ:

posted at 11:20:25

お好み焼きにはカープソースをどうぞ。 @IshidaTsuyoshi

16年2月8日

@Rsider その話の流れから「自然は変えられないから社会を変えるべく医療者としての情報発信を」とか、「医療の進歩によりいつかは」とかいった話にはなっていないということですか。

タグ:

posted at 09:45:11

@lastoresorter

16年2月8日

「本校教員が電車内でスマホでひたすらゲームをして遊んでいた事案が報告されていますが、教職員としての矜持を改めて但し、教職者として望ましい公共の在り方を考えて行動してください」

みたいなプリントが来たけど、正直大きなお世話感ある。

タグ:

posted at 08:01:58

黒木玄 Gen Kuroki @genkuroki

16年2月8日

@genkuroki #数楽 メモ
www.kurims.kyoto-u.ac.jp/~kyodo/kokyuro...
単体的凸多面体とレフシェッツの強定理
小田忠雄
1990

タグ: 数楽

posted at 07:52:27

黒木玄 Gen Kuroki @genkuroki

16年2月8日

@genkuroki @sekibunnteisuu #数楽 似た問題に「有限集合Aが有限個の部分集合A_1,…,A_nの和集合になっているとき、Aの元の個数をA_{i_1}∩…∩A_{i_r}(i_1<…<i_r)の元の個数で表せ」があります。

タグ: 数楽

posted at 07:38:11

黒木玄 Gen Kuroki @genkuroki

16年2月8日

@sekibunnteisuu 四面体と立方体のn次元版の場合には計算で証明できているので、一般の場合を考えているのだと思います。単体的ホモロジー論の教科書などを見てアイデアの一部(単体分割と細分)を盗まずにやるのは大変だと思います。n次元トポロジーはやっぱり結構大変。

タグ:

posted at 07:29:42

OokuboTact 大久保中二病中年 @OokuboTact

16年2月8日

『心の成長と脳科学 (別冊日経サイエンス )』(2013年)を読んだら、ピアジェ批判の記事が二つあった。最新号は児童心理学特集だけど、ピアジェについての言及は無し  #掛算

タグ: 掛算

posted at 01:08:01

2016年02月07日(日)

黒木玄 Gen Kuroki @genkuroki

16年2月7日

とてたま!

タグ:

posted at 23:47:15

黒木玄 Gen Kuroki @genkuroki

16年2月7日

@sekibunnteisuu 次元に寄らずにface(面)と言っちゃうことが多いと思います。次元を指定したい場合にはk-dimensional face(k次元の面)。

タグ:

posted at 23:41:58

積分定数 @sekibunnteisuu

16年2月7日

@golgo_sardine @altitudinous_d #掛算 実際には、どちらの順序の式を書いた子もちゃんと理解していた、というデータがある。

タグ: 掛算

posted at 23:33:41

積分定数 @sekibunnteisuu

16年2月7日

@golgo_sardine @altitudinous_d #掛算 以上は、掛け算順序でバツをつける指導をする人がいう「4人に3個ずつ蜜柑を配る問題で4×3とする子は理解していない」という言い分を前提にしても、4×3をバツにする合理的根拠がないという話。

タグ: 掛算

posted at 23:32:44

積分定数 @sekibunnteisuu

16年2月7日

@golgo_sardine @altitudinous_d   #掛算 その結果、子供が理解しているかどうかを判断する道具を教師自身が自分で手放すことを意味する。

タグ: 掛算

posted at 23:30:41

積分定数 @sekibunnteisuu

16年2月7日

@golgo_sardine @altitudinous_d #掛算 理解していれば自然にAの答案になる傾向があることで、理解しているかどうかの判断材料になりえていたのに、「Aの答案を書くように」と指導することで、理解していなくてもAを書くようになる。

タグ: 掛算

posted at 23:26:45

積分定数 @sekibunnteisuu

16年2月7日

@golgo_sardine @altitudinous_d #掛算 も参考になるだろう。しかしここで、「Bという答案は理解していないとみなしてバツにします。Aという答案は理解しているとみなして丸にします」と子供に知らせたらどうなるか?

タグ: 掛算

posted at 23:23:58

積分定数 @sekibunnteisuu

16年2月7日

@golgo_sardine @altitudinous_d #掛算 その場合、教える側が「この子の答案はBだからちゃんと理解していないかもしれない。」として教える上で参考にするのはかまわない。答案だけじゃなく、答えを出すまでの時間や、口頭で答える場合ならその表情、声、など

タグ: 掛算

posted at 23:21:34

積分定数 @sekibunnteisuu

16年2月7日

@golgo_sardine @altitudinous_d #掛算 この辺が混乱している人がありますね。

ある問題の答案としてAとBがあって、どちらも正しいが、ちゃんと理解している割合がAの方が高くて、Bは低い、ということはありえる。

タグ: 掛算

posted at 23:18:31

積分定数 @sekibunnteisuu

16年2月7日

@genkuroki  どうもありがとうございます。「測度」というべきなのかとも思ったのですが。あと、前にやった前ちょっとやったn次元空間の図形の、頂点、辺、面を一般化した名称があるのでしょか?0次元だと頂点、1次元だと辺、二次元だと面、m次元だと???

タグ:

posted at 23:13:45

黒木玄 Gen Kuroki @genkuroki

16年2月7日

@sekibunnteisuu m本のベクトルw_1,…,w_nから作られる平行2m面体の体積よりも詳しい情報がそれらの外積w=w_1∧…∧w_mの中に入っています。ある方法で自然に定義されるwのノルムが平行2m面体の体積になります。この話が書いてある教科書を知らない。 #数楽

タグ: 数楽

posted at 23:08:30

ゴルゴ・サーディーン @golgo_sardine

16年2月7日

@sekibunnteisuu
#掛算 の順序問題で当惑させられるのがこの「〇か×かという議論と、掛け算の概念の習得を分けろ」という議論ですね。
テストに出題して「出来なければバツだよ」と宣言するのは、それを身に付けよと言っている事になるのに。@altitudinous_d

タグ: 掛算

posted at 23:02:57

黒木玄 Gen Kuroki @genkuroki

16年2月7日

@sekibunnteisuu 「面積」「体積」の方がよいと思います。n次元でも体積や面積と言います。

タグ:

posted at 23:02:00

黒木玄 Gen Kuroki @genkuroki

16年2月7日

@sughimsi 文科省が何を言っていようが、実際にはボソンもボゾンもどっちも正しい発音だと思います。個人的な印象では最近の多数派はボゾンであるように感じているので、その感覚に合わせています。 #数楽

タグ: 数楽

posted at 22:24:43

sughimsi @sughimsi

16年2月7日

…あれ。ボゾンって書いてる。
twitter.com/genkuroki/stat...
twitter.com/genkuroki/stat...
は覆されたのかな。

@genkuroki

タグ:

posted at 22:11:20

川端裕人 『ドードー鳥と孤独鳥』(国書刊 @Rsider

16年2月7日

日本眼科学会って色覚についてなかなか大変なことを言っているのかもしれない。理事という肩書の人が、「色覚異常はなおらないのでいくら学校で配慮しても、社会では配慮してくれないし、自然は作り変えられない」みたいなことを言ったりするんだ……。

タグ:

posted at 21:19:45

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 τ函数の理論をリーマン面の幾何と相性が良いように綺麗に定式化するには共形場理論の言葉が必須だと思う。τ函数は共形ブロック(アデール的な定式化の話の共形場理論の言葉での実現)の特別な場合であり、BA函数(波動函数)はフェルミオンを1つ挿入した相関函数になります。

タグ: 数楽

posted at 21:15:42

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 Σ_i ∂/∂v_i⊗v_i がVの基底v_iによらないことは、v_iに関する偏微分∂/∂v_iたちがv_iたちの双対基底の変換性を持つことを使えば容易に証明できます。もしくは外微分df=Σ∂f/∂x_i dx_iの座標不変性を知っていても証明できるはず。

タグ: 数楽

posted at 21:07:19

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 肝腎のボゾン=フェルミオン対応の証明は単なる計算なので簡単なのですが、どうしてそのように具合のよい理論が可能になっているかについて実は数十年間ずっと理解できていない。理解していそうな人の名前を挙げよと言われても挙げることができないくらいわかっていない。誰か教えて。

タグ: 数楽

posted at 20:52:17

天むす名古屋 Temmus @temmusu_n

16年2月7日

#掛算 @bampaku 補足。38頁kindai.ndl.go.jp/info:ndljp/pid...に交換法則。それまでは筆算でも下の数(数式でいう後数)が乗数決め打ち。割算の意味は29
コマだった。ページで言えば47頁。

タグ: 掛算

posted at 20:46:36

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 無限次元化すると、プリュッカー関係式は外積代数版の微分作用素のΣ_i ∂/∂v_i⊗v_iの作用でw⊗w消えるという条件で書き直せるのですが、外積代数版の微分作用素がすべてt_i達の微分作用素で書き直せるので、結果的にt_i達の函数τひとつだけですべての条件を書き下せる。

タグ: 数楽

posted at 20:44:14

鶴原顕央 @tsuruhara

16年2月7日

『オデッセイ』脚本家「僕は科学の街で育ったから、科学者たちの話しかたを知っている。実はファニーなのだ。原作小説はその部分をよく捉えてる。原作者に会ったとき「なぜ知ってるんだ?」とたずねたら、両親が科学者だと」 youtu.be/5wP1YgAVmTc

タグ:

posted at 20:43:34

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 続き。無限次元化して時間変数をt_1,t_2,…の無限個に増やすことによって、外積代数版の微分作用素環(クリフォード代数、フェルミオンの代数)がt_iたちの微分作用素環(のある種の完備化)の中に実現できる!(ボゾン=フェルミオン対応)続く

タグ: 数楽

posted at 20:40:38

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 続き。有限次元の場合には普通の線形代数の知識(外積代数+αを含む)があれば全部自明な話です。それではソリトン方程式の佐藤理論のτ函数の理論の非自明な部分はどこから出て来るのか?それは無限次元にしたことによる「御利益」の部分にあります。続く

タグ: 数楽

posted at 20:38:05

鶴原顕央 @tsuruhara

16年2月7日

『オデッセイ』脚本家「原作小説でユニークだったのは科学者たちの会話。ほかでは読んだことがない。ユーモアがある。そしてそのユーモアは、失敗と対面している。科学は失敗と再トライだから。原作と映画の魂の部分だ。人生も同じ。失敗の繰り返し」 youtu.be/qok_tiJrIxc

タグ:

posted at 20:37:26

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 w_1,…,w_mを拡張してVの基底w_1,…,w_nを作ると、T:=Σ_i ∂/∂v_i⊗v_i=Σ_i ∂/∂w_i⊗w_iであり、i≦mならばw_i w=w_i∧w=0で、i>mのときwはw_iを含まないので∂/∂w_i w=0なので、T(w⊗w)=0. qed

タグ: 数楽

posted at 20:35:15

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 続き。Wの基底w_1,…,w_mから得られるw=w_1∧…∧w_mとそれ自身のテンソル積がΣ_i ∂/∂v_i⊗v_iの作用で消えることの証明は簡単です(逆の証明の方が面倒)。その証明にはΣ_i ∂/∂v_i⊗v_iがVの基底によらないことを使います。続く

タグ: 数楽

posted at 20:30:57

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 続き。KP階層のτ函数はある双線形方程式で特徴付けられるのですが、Wの基底から作られるwたち全体を特徴付ける関係式は「Σ_i ∂/∂v_i⊗v_iのw⊗wへの作用が0になる」です。この関係式は所謂プリュッカー関係式の書き直しになっています。続く

タグ: 数楽

posted at 20:27:53

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 Vの一次変換AによってVのベクトル達がv(t)=e^{At}vによって時間発展しているときに、グラスマン多様体の点W∈Gr(m)とその基底から作られる単項式w=w_1…w_m=w_1∧…∧w_mの時間発展も自然に定まります。wの時間発展がτ函数のおもちゃバージョン。続く

タグ: 数楽

posted at 20:19:20

A級3班国民 @kankichi573

16年2月7日

#掛算 (異なる演算子間の優先順位のみならず)四則演算の意味からそれらが左結合であることも自然に出てくると誤解されているのだろうか。

タグ: 掛算

posted at 20:14:22

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 逆にw=w_1…w_m=w_1∧…∧w_mから元の部分空間WをW={v∈V|vw=0}によって復元できます(証明は線形代数の簡単な演習問題)。つまりたった一つの単項式w∈Λ^m(V)は元の部分空間W∈Gr(m)を復元できるだけの情報量を持っている!続く

タグ: 数楽

posted at 20:12:23

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 続き。グラスマン多様体の話に戻ります。Vのm次元部分空間Wに対して、その基底w_1,…,w_mの外積代数の中での積w_1…w_m=w_1∧…∧w_mは基底の取り変えても「行列式倍」しか変わらないので、もとのWから定数倍を除いて一意に定まります。続く

タグ: 数楽

posted at 20:06:09

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 続き。x_iと∂/x_jたちから生成される多項式環版の微分作用素環には「ワイル代数」という名前が付いているようです。v_iと∂/∂v_jたちから生成される外積代数版の微分作用素環はクリフォード代数と呼ばれています。それぞれがボゾンとフェルミオンの場合に対応しています。続く

タグ: 数楽

posted at 19:21:15

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 続き。ここで[A,B]=AB-BAで[A,B]_+=AB+BAです。それぞれ交換子、反交換子と呼ばれています。AとBが反可換とはBA=-ABが成立することです。可換な多項式環は実質的に中学校数学で導入されますが、なぜか外積代数の方はなかなか導入されない。続く

タグ: 数楽

posted at 19:18:48

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 多項式環の微分作用素環の基本関係式は「[∂/∂x_i,x_j]=δ_{ij}、x_iどうしと∂/∂x_iどうしは可換」でした。外積代数の場合は基本関係式は「[∂/∂v_i,v_j]_+=δ_{ij}、v_iどうしと∂/∂v_iどうしは可換」です。続く

タグ: 数楽

posted at 19:16:13

天むす名古屋 Temmus @temmusu_n

16年2月7日

.@bampaku #掛算|も1×1ではじまる片九九で、後の数が乗数です。これは当時にしては普通の形式なんでしょうかね。

タグ: 掛算

posted at 19:10:40

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 以下、外積代数の演算記号∧を略してv_i∧v_j∧v_kなどをv_i v_j v_kと書くことにします。x_i から生成される多項式環にx_iに関する偏微分∂/∂x_iが作用しているのと同じことを外積代数についても考えることができます。外積代数での微分作用素を考える。続く

タグ: 数楽

posted at 19:06:34

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 外積代数の基本関係式はv_i∧v_j=-v_j∧v_iです。i=jの場合からv_i∧v_i=0が導かれる。外積代数は(可換な)多項式環の類似物です。x_iから生成される多項式環の基本関係式はx_i x_j=x_j x_iです。外積代数は多項式環の仲間だという認識が大事。

タグ: 数楽

posted at 19:01:58

tsujimotter 日曜数学者 @tsujimotter

16年2月7日

以上の証明によると,"n = 2^k p^n q^m" の形をした数(p, q は相異なる奇素数,k, n, m は 0 以上の整数)の場合,n 次の円分多項式の係数は 0, 1, -1 のいずれかになるようですね。一方で,n = 104 までの正整数はすべてこの形をしている,と

タグ:

posted at 18:52:33

tsujimotter 日曜数学者 @tsujimotter

16年2月7日

例の「105次の円分多項式の係数に -2 が出てくる」という件ですが,以下のページで半分理解できました。すなわち「104次以下の円分多項式の係数には 0, 1, -1 しか存在しない」ことは、この証明で示せそうです。

www005.upp.so-net.ne.jp/mi_kana/story/...

タグ:

posted at 18:44:30

積分定数 @sekibunnteisuu

16年2月7日

@altitudinous_d  #掛算 タグは、掛け算の順序でバツになる、ということが発端だけど、それだけじゃない算数教育や教育一般に関する話題をする場となっています。
いずれにしても黒木さんのあのコメントを「順序強制派と決めつけた」と見たとしたら、読解力が相当低いです。

タグ: 掛算

posted at 18:27:19

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 続き~定義しておく。ただし±1は小さな順に並び換えるために必要な置換が偶なら1、奇なら-1で決めます。たとえば、v_j∧v_i=-v_j∧v_iです。Λ^r(V)をrを動かして直和を取ると自然に外積∧を積とする代数が得られ、外積代数(グラスマン代数)と呼ばれています。続く

タグ: 数楽

posted at 18:14:33

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 続き。Vの基底v_1,…,v_nも一つ固定しておきます。v_iたちの外積v_{i_1}∧…∧v_{i_r} (i_1<…<i_r)を基底として持つベクトル空間をΛ^r(V)と書くことにします。i_νたちが小さな順で並んでいない場合の外積は並んでいる場合の±1倍で~続く

タグ: 数楽

posted at 18:10:58

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 続き。以下簡単のために基礎体は複素数体Cだとしておき、n次元のベクトル空間Vを固定し、Gr(m)はVのm次元部分空間全体の集合であるとします。Gr(m)には自然に多様体の構造が入り(今はこの意味も証明も知る必要はない)、グラスマン多様体と呼ばれています。続く

タグ: 数楽

posted at 18:05:38

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 続き。無限次元の場合の「τ函数」の理論を理解したい人は有限次元の場合のグラスマン多様体と「フェルミオン」(クリフォード代数)の関係を知っておいた方がよいです。知っていれば単純に無限次元化するだけで理解は終了することになります。続く

タグ: 数楽

posted at 18:00:40

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#数楽 このツイートがくっついている連ツイで、ソリトン解と多ソリトン解の場合を例にソリトン方程式の佐藤理論(ソリトン方程式の解を無限次元グラスマン多様体から作る話)の説明がかなり終わっているのですが、まだ大物が残っています。それは「τ函数」の理論。

タグ: 数楽

posted at 17:57:24

K.$uzuki @BellTreeNursing

16年2月7日

俺の卒業制作
書き時計 pic.twitter.com/NSBi45Lj77

タグ:

posted at 16:23:05

澤田 涼 / Ryo Sawada @ryo_sawada

16年2月7日

@kerokerohappy65 レイリーテイラー不安定性の数値計算シミュレーション。コーヒーフレッシュの落ちる様も、物理なんだよ、物理法則で描かれるんだよ、ほら綺麗でしょ(狂乱)。
youtu.be/0x2PJjG1qCI

タグ:

posted at 16:04:29

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#掛算 twitter.com/genkuroki/stat...
もしもこういう講習を受けて信じてしまった小学校の先生がしたとすると、児童相手に同じ説明を繰り返して被害を拡大しているかもしれない。足算より掛算を先に計算するという習慣の説明がおかなことになっている。さすがにこれはまずすぎ。

タグ: 掛算

posted at 13:41:53

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#掛算 続き。以上のようなことをわざわざ述べたのは、掛算の意味から必然的に足算より掛算を先に計算することになると誤解しているような人が算数の教え方を小学校の先生達に指導しているケースの存在を知っているから。算数教育の世界の闇は深い。
twitter.com/genkuroki/stat...

タグ: 掛算

posted at 13:32:35

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#掛算 続き。単なる慣習的なルールを覚えていることと内容を理解していることは違う。この点を厳密に区別できるような人だけに算数を教えて欲しいと思う。理解していない人が算数を教えることになる場合にはきちんと以上に説明したことを理解するようにした方がよい。

タグ: 掛算

posted at 13:27:21

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#掛算 続き。それに対して「足算引算を掛算より先に計算しなければいけない。そうすることには必然性がある」と考えている人は権威に弱く、論理的な理解力の面で弱い可能性がある。実際には単なる標準的な慣習に過ぎない。こういうことに教える側はきちんと注意を払う必要があると思う。続く

タグ: 掛算

posted at 13:24:11

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#掛算 続き。「常に括弧を使って演算の順序を指定することができるので、足算引算よりも掛算を先に計算するというルールは必須ではない」という考え方は論理的に正しい。そのように考えることができる人は論理的に考える能力があるので、教える側はその点をしっかり認め褒めなければいけない。続く

タグ: 掛算

posted at 13:20:29

黒木玄 Gen Kuroki @genkuroki

16年2月7日

#掛算 twitter.com/cygnusgm/statu...
教える側は「四則演算を理解していること」と「式の構文解析のルールをおぼえていないこと」を厳密に区別しなければいけない。足算引算よりも掛算を先に計算するというルールは人為的なルールに過ぎないという理解がないととてもまずい。

タグ: 掛算

posted at 13:18:35

川端裕人 『ドードー鳥と孤独鳥』(国書刊 @Rsider

16年2月7日

ブルーバックスの人類学連載は、ここに集積されていくようです。
今のところ3つ読めます。今週はたぶん休みで、来週からさらに更新続きます。
bluebacks.kodansha.co.jp/serial/ fb.me/2CPVkDOdH

タグ:

posted at 12:07:10

かずたん @Kazutan_Go

16年2月7日

最近作者本人と言われている、deepmindは9段で現在ほぼ負けなしだ。
その人はアマの大会とか出ないのかな?これだけの実力がありながらもったいない。

タグ:

posted at 11:36:40

LM-7 @LunarModule7

16年2月7日

『水ようかん味のジュースがあると思って買った→開けてみたら大変なことに…』bit.ly/1Qkqm6Z 何度も話題になった商品だけど、このパッケージがいつまでも新たな犠牲者を生むんだろうな。

タグ:

posted at 10:20:16

アルミニ @cygnusgm

16年2月7日

#掛算 順番問題とは異なるものの、「カッコがなければ答は2だ」と断言する人もいて面白い。この人は演算記号の暗黙の優先順位をわざと無視しているのだろうが、結構な%が集まっているところを見ると素で理解していない人も多い気がする。

twitter.com/SpaceVerseTM/s...

タグ: 掛算

posted at 09:47:11

UFO教授 (藤木文彦 Fumihiko @UFOprofessor

16年2月7日

学校教育が知的好奇心を奪ってると言うことですね。#掛算 順序問題の意味のないお仕着せ教育は、新しい発想、柔軟な発想の芽をつみ取っていることに教師や文科省役人は気づくべき。 twitter.com/k_motoyama/sta...

タグ: 掛算

posted at 08:47:13

UFO教授 (藤木文彦 Fumihiko @UFOprofessor

16年2月7日

@motcho_tw @h_okumura これ良いですねえ 学生の教育に使わせてほしいです。と言うか発想さえあればプログラムは困難でないからプログラミングの課題にさせてもらおうかと。

タグ:

posted at 08:31:57

Takafumi Yonekura @tyonekura

16年2月7日

かけ算の順序は、日本語習得のため、と先生から説明があった。やはり、数学はMathだけど算数はMathじゃなくて国語の一教科なんだな。

タグ:

posted at 08:09:42

鯵坂もっちょ @motcho_tw

16年2月7日

一応言っとくとこういう視覚化のアイデアは昔からあって、面白そうだしじゃあ俺も数式エディタで作ってみよーっつって作ってたらいろんな関数を入力できるようなマシーンが出来上がってきたよやったね!っていうあれのあれだからね

タグ:

posted at 00:57:29

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました