黒木玄 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年06月08日(金)
忘れてた。 haXeでもJSXでもなく、Royはどうか。Haskellっぽい構文、バリアント型、HM型推論、モナド記法（Ajax monadが！！）。t.co/RFNKqfK0 t.co/aE1ZdVQ9 ソースはJavaScriptで書かれてる！
タグ：
posted at 16:44:05
非公開
タグ：
posted at xx:xx:xx
2012年06月07日(木)
JSXは、JSにコンパイルされる高速な実行系としての性質はともかく、言語としては非常に微妙に感じる…。せっかく静的型付けがあるのに多相型が使えないなんて…。
タグ：
posted at 23:44:06
@rikoushonotana 講談社『ヤコビ 楕円関数原論』：訳者高瀬正仁先生のブログ「日々のつれづれ」reuler.blog108.fc2.com/blog-category-...
に翻訳覚書としてその翻訳作業にまつわる背景・歴史が細かに記されています。
他にもいろいろ参考になる歴史や人物評がたくさんあります。
タグ：
posted at 12:50:22
組合せ論方面については私の知識不足でなんとも言えないのですが，muPad上で実装されていたcombinatというパッケージ（と開発陣）が，Sageに引っ越してきて実装を続けているそうです： t.co/EnxZH6Tb (PDF)
タグ：
posted at 00:01:47
2012年06月06日(水)
Sageの組み込み関数の分野による濃淡の例として．有理数体上の楕円曲線のp進L関数が組込の関数ですぐ計算できるのに，Kubota-Leopoldtのp進L関数は実装されてない，とか :) t.co/nTEONLhM
タグ：
posted at 23:51:54
Sageは，普通の数式処理システムとして使えば，もちろんふつうに使えると思いますが，やりたいことが開発陣のそれと合致すると，とんがったことができると思います．数論幾何（楕円曲線，Abel多様体，保型形式…）とか，組合せ論とかですかね……．
タグ：
posted at 23:41:58
@suzukit216 P6の場合、モノドロミー曲面（3次方程式）を考えるときはSL2で考えないといけないので、神保さんも1982年の接続問題の論文では、三輪神保(II)での表示を、こっそりSL2に書き直しています。具体的にモノドロミと漸近展開の関係つけるときはSLになるんです
タグ：
posted at 19:30:12
Lax形式などに関して、細かい話は実際にPainleve方程式を解いて、モノドロミを計算する人でないと気にしないから、ほとんどの人は既存の表示をそのまま疑わずに使うだけですが…
タグ：
posted at 19:06:30
三輪神保の表示も、P4とP5は実は多項式Hamiltonianになってない（有理函数になる）ので、ずるいんですよね。正準座標を選び直せばすむのですが。P6のもSL2にすると有理Hamiltonianになるから、座標を取り直す必要がある。
タグ：
posted at 19:04:52
2012年06月05日(火)
日本は生活保護問題でこれだけもめるんだから、貧困の連鎖を断ち切るために低SESの家庭の就学前段階に介入して、子どもが低学力→貧困になるのを防ぐ、というのはコンセンサスが取れそうな気もするんだけどな。 t.co/tv3X3xrw
タグ：
posted at 22:42:14
「小1の時点で既に低SESの家庭の子どもは学力が低い/低SESの家庭の子どもに対する就学前教育は効果が大きい/低学力→貧困の流れ」を考えると、就学前段階こそ学力対策・貧困対策として重要なんだけど、国会ではそういった認識はなさそう。 t.co/tv3X3xrw
タグ：
posted at 22:37:12
駒崎さんが、「日本の子どもと老人に対する公支出の割合は1:11で、OECD諸国の中で最もいびつな公支出をしている」と発言した時の議員さんたちのリアクションを見ると、うーん。。。 こども子育て新システムって結局どうなんですか？～t.co/tv3X3xrw
タグ：
posted at 22:32:13
日本は就学前教育へのGDP比公支出がOECD諸国でダントツの最下位で、現在の5千億円程度の予算を1兆5千億円へ増やしても、3年保育グループの中ではまだ最下位という認識はなさそう。。。
こども子育て新システムって結局どうなんですか？～t.co/tv3X3xrw
タグ：
posted at 22:28:05
これを見た。保育士一人当たり児童数が20人以上なのはOECDでは日本ぐらいで、保育士不足解消のために待遇改善云々どころの話ではないと思う。
ニコ生×BLOGOS第8回～こども子育て新システムって結局どうなんですか？～t.co/tv3X3xrw
タグ：
posted at 22:24:28
非公開
タグ：
posted at xx:xx:xx
2012年06月04日(月)
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
2012年06月03日(日)
ゆとり教育では勉強しない人に合わせた教育を行ったのだから、学生が勉強しなくなったのはゆとり教育の目的が達成されたということ。大学のせいではない。 -- 文科省:「国立大改革」てこ入れ 専用予算に１３８億円－ 毎日ｊｐ(毎日新聞) mainichi.jp/feature/news/2...
タグ：
posted at 21:23:18
金魚草/鈴灯@海灯花工房 minne/C @kingyo_sou
@reps_ 十分も「じっぷん」の方が正しくて「じゅっぷん」だと機種によっては出ないのと同じようなもんですかねー
タグ：
posted at 16:30:07
2012年06月02日(土)
Hiraku Nakajima @hirakunakajima
@Wadaken12345 まとめると、ベクトル空間もしくは、カルタンの表現としては、余積によるテンソル積になっているが、U-加群としては、そうではない、ということですね。
タグ：
posted at 20:01:14
@hirakunakajima もちろん, 予想が正しければ, 作用をカルタンに制限したときには, 通常のテンソル積に余積でカルタンの作用を考えたものと同型になるはずですが, どれが U-加群としての同型を与えるわけではないということです。
タグ：
posted at 19:50:57
@hirakunakajima 違います。そうなっていればたぶん予想はそれほど難しくないはずです。空間を一度小さくして（通常の)テンソル積を取って, 空間をバカでかくして, 潰して小さくした結果, つじつまが合っているはずというのが予想です。
タグ：
posted at 19:46:00
Hiraku Nakajima @hirakunakajima
@Wadaken12345 ?? テンソル積の指標が、指標の積になっている、というのは、ベクトル空間として通常のテンソル積になっている、ということではないの？
タグ：
posted at 19:37:33
@hirakunakajima 初めはUのホップ代数としての構造を考えたのですが, 欲しい性質を仮定すると, 上手く余積を定義することができませんでした。
タグ：
posted at 18:57:02
@Wadaken12345 @hirakunakajima 空間を潰すので, 線形空間としてもどうなっているか分かりません。なので, そちらで予想を解くのは難しいのではないかと考えているのです。
タグ：
posted at 18:55:11
@hirakunakajima ベクトル空間としても, 通常のテンソル積にはなっていません。それぞれを,一度制限して, そこで, U_q(g) の余積を使ってテンソル積を取って, それを誘導して, U-加群としてから, cyclotomis q-Schur を テンソルして,
タグ：
posted at 18:52:58
Hiraku Nakajima @hirakunakajima
@Wadaken12345 あと、質問追加。`テンソル積'の指標が、指標の積になっているということは、昨日の定義の`テンソル積'が、少なくともベクトル空間としては通常のテンソル積になっている、ということでしょうか？ もしそうなら、U は、ホップ代数？
タグ：
posted at 18:47:03
@hirakunakajima 私の代数で, i=m_k のときの関係式の部分(A型との違いが出ている部分) がその modify している部分([SW]でred line と言っているとこ) に対応しているはずだと考えています。
タグ：
posted at 18:39:06
ピンカー翻訳2本だて．(1)スティーブン・ピンカー「言語戦争のニセ戦線」(part 2/3) t.co/qQIUVUA (2)エヴェレットに関するピンカーの批判 t.co/u1V8LAP
タグ：
posted at 18:02:48
Hiraku Nakajima @hirakunakajima
@Wadaken12345 [SW]を少し見てみましたが、巡回箙の KLR algebra ではなく、それをさらに modify しないと、cyclotomic q-Schur にならないようです。そうだとすると、単なる U_q(\hat gl_∞) の商ではないと思われます。
タグ：
posted at 17:07:42
Hiraku Nakajima @hirakunakajima
@Wadaken12345 少し計算してみましたが、たしかに exp(../[n]) ではないようです。
タグ：
posted at 17:06:27
@Wadaken12345 @hirakunakajima そう考えると、私の代数と、量子アファインとが直接関係はしない気もします。q-Schur に落として始めて関係が見えるような気がします。
タグ：
posted at 11:31:06
@Wadaken12345 @hirakunakajima ただし、私の代数からq-Schurへの全射は、glの量子群を経由しないはずです。つまり、対応する、対称群の次数ごとに対応が変わるはずです。
タグ：
posted at 11:27:11
@hirakunakajima 量子アファインの方をちゃんと分かってないので、断言は出来ませんが、違うんじゃないかと思います。少なくとも、r＝1の場合、q-Schur における、私の代数のＨと量子アファインのＨの像は、違うはずです。
タグ：
posted at 11:20:31
Hiraku Nakajima @hirakunakajima
@Wadaken12345 q 一般のときは、量子アファインのときに出てくる exp( ../[n]_q) と同じですか？
タグ：
posted at 06:22:11
あとは，誘導関手が，standard filtered 加群上では，完全であることを言えばよいが，q が generic なときは明らかで，q が１の冪根のときも，dual をちゃんと考えれば，割とstandard な方法で示せるんじゃないかと思います。
タグ：
posted at 03:43:18
セミナーの最後の予想の部分は，完全になっているかが問題ではなく，テンソル積の指標が，それぞれの指標の積になっているという部分が予想です。
つまり，standard 加群同士のテンソル積の指標に関する部分が予想の本質的なところで，そこは，すぐに分かるようなものではないと思います。
タグ：
posted at 03:37:32
あの対称多項式は、非常にきれいな形で書けることが判明した。
ちなみにq＝1のときに、冪和対称多項式になることは、非常に当たり前でした…。
私は、とってもおバカです…
タグ：
posted at 01:32:39
