約 3,611,434 件
https://w.atwiki.jp/stalker_soc/pages/71.html
字幕入り動画ファイル ~作中の動画に日本語字幕を埋め込んだもの。修正パッチのバージョン問わず使用可能です。 http //www.megaupload.com/?d=O6YLP1KY Stalker VideoCC Modを日本語化 ~Stalker VideoCC Mod を日本語化します color(red){注意！現行バージョン(1.11)は、1.0004以降の環境ではフリーズするため導入できません。(バージョンアップ待ち)}; → 上記字幕入り動画ファイルを使いましょう。; ~ Stalker VideoCC Mod ~導入には、ひらがな化が完全に動作している必要があります。 導入法（簡単） ~ Stalker VideoCC Mod をVideoCCのReadmeに則ってインストールします（英語ですが動作を確認するとベターです） #ref error ：ご指定のファイルが見つかりません。ファイル名を確認して、再度指定してください。 (stalker_videocc_v1.11_jp_070625.ZIP) ~（動作している環境に）このファイルを上書きします（これで日本語になります） 導入法（詳細） ~ Stalker VideoCC Mod をDL、解凍します ~日本語MODと同居させるため以下の三つのファイルを変更する必要があります。 ~(VideoCCMod)\gamedata\config\text\eng\ 以下にある ~stable_closecaption.xml ~stable_game_credits.xml ~ui_st_mm.xml ~下二つは、それぞれスタッフロール、GUIメニューのファイルですのでVideoCC Modのものをそのまま上書きで構いませんが ~GUIメニューの日本語を残したい場合は、日本語のui_st_mm.xmlの198行目に string id="ui_mm_play" text Play /text /string string id="ui_mm_play_video" text Movies /text /string ~以上を挿入し上書きしてください ~v1.11追記 更に記述が増えてる部分があります ~３行目に string id="no_GetGSVer_function" text ver. 1.0000 (or below) /text /string string id="ui_mm_playcc" text Subtitles /text /string ~stable_closecaption.xmlを日本語の物にしてください ~以上の物をインストールすることによって動作します。 表記について stable_closecaption.xml を、ひらがな化の表記ルールをベースとし、以下のサイトの「字幕表記のルール」を参考に、若干の修正をしました（07.06.18）。 http //www.con-can.com/blog/jp/project/subtitle/2007/06/43.html アップデート 07/06/25 V1.11対応 ↓旧バージョン(v1.10)用のファイル #ref error ：ご指定のファイルが見つかりません。ファイル名を確認して、再度指定してください。 (stalker_videocc_en_v1.10_JP_070618.zip) トラブルシューティング Q 日本語化の方を更新したら字幕が出なくなりました~ A 字幕MODのファイルが上書きされて消えてます~ stable_game_credits.xml ui_st_mm.xml~ この２つのファイルは必ず字幕MOD側のファイルを使用してください~ Q Barで「新米にアドバイス」だかを選ぶと落ちるんだけど~ A 半角中黒（・）が使われているためです。全角か三点リーダー（…）に置き換えましょう。
https://w.atwiki.jp/kummer/pages/28.html
最終更新日時 2011年03月04日 (金) 21時23分41秒 代数的整数論(801-900) 元スレ： http //science4.2ch.net/test/read.cgi/math/1126510231/801-900 ログ元： http //2se.dyndns.org/test/readc.cgi/science4.2ch.net_math_1126510231/801-900 801 ：１３２人目の素数さん：2005/11/11(金) 17 13 51 オッカムの剃刀 おお新手の言いがかり登場だぞ でも何が言いたいのか 奥歯にうんこがはさまっているようだ 802 ：１３２人目の素数さん：2005/11/11(金) 17 14 10 800 なにがさ？ 803 ：１３２人目の素数さん：2005/11/11(金) 17 15 25 801 うんこ美味しいよね 804 ：１３２人目の素数さん：2005/11/11(金) 17 16 11 802 だれが何を削ってるってのか？ 805 ：１３２人目の素数さん：2005/11/11(金) 17 17 18 皆んなぁ！ ケンカはやめて仲良くしようよ！！ 806 ：１３２人目の素数さん：2005/11/11(金) 17 17 54 804 なにをかんちがいしてるかね？ 807 ：１３２人目の素数さん：2005/11/11(金) 17 18 50 基地外の巣でしたか。ここは。 808 ：１３２人目の素数さん：2005/11/11(金) 17 20 02 806 なにも削ってないだろ 削ってるのは208の脳味噌だけ 809 ：１３２人目の素数さん：2005/11/11(金) 17 21 50 208がやけ糞になって焦土戦術に出たようです 810 ：１３２人目の素数さん：2005/11/11(金) 17 21 59 808 ２０８の脳味噌が削っているのかね？ それとも何かが２０８の脳みそを削っているのかね？？？ 811 ：１３２人目の素数さん：2005/11/11(金) 17 23 03 あと200くらいすぐだな 812 ：１３２人目の素数さん：2005/11/11(金) 17 24 18 焦土戦術は、防御側が効果的な反撃をできないと、ただの敗走だべ 813 ：１３２人目の素数さん：2005/11/11(金) 17 24 38 それとも何かが２０８の脳みそを削っているのかね？？？ そんなおそろしいことを！！！ 208は狂牛病なのか？？？ 814 ：１３２人目の素数さん：2005/11/11(金) 17 25 53 ようするに敗走だった と後でわかる 815 ：１３２人目の素数さん：2005/11/11(金) 17 26 12 811 ということは、ここに封印されていた208が外にあふれ出すのか。 危険！危険！ 900を超えたら全スレに警報を発令せよ！ 816 ：１３２人目の素数さん：2005/11/11(金) 17 29 38 815 それはただの上げ荒らしだからたのむからやめてくれ。 817 ：１３２人目の素数さん：2005/11/11(金) 17 30 13 208隔離スレがあらたに必要なのか でもおとなしく隔離されるかな？ 818 ：１３２人目の素数さん：2005/11/11(金) 17 31 56 817 ズバリ！「２０８隔離スレ」でスレ立ててくれ。ファンスレという事でゆるす。 819 ：１３２人目の素数さん：2005/11/11(金) 17 42 01 ガロア理論part2の残骸ものせて 820 ：１３２人目の素数さん：2005/11/11(金) 17 52 51 新スレが立ってしまったが208はいずこへ？ 821 ：１３２人目の素数さん：2005/11/11(金) 17 55 52 208は、最後に「うすらが」という言葉を残して 休眠状態に transfer した。 822 ：１３２人目の素数さん：2005/11/11(金) 18 08 50 こうして、208のブルバキ帝国再興の夢は潰えた。 そして千年後の復活に備えて、永い冬眠状態に 入ったのであった・・・（完） 単に、いじけて泣いているだけという説もあるという。 823 ：１３２人目の素数さん：2005/11/11(金) 18 09 05 208泣いてるよ ほら 824 ：１３２人目の素数さん：2005/11/11(金) 18 15 10 新生208は ガウスラ か？ 825 ：１３２人目の素数さん：2005/11/11(金) 18 37 13 ああ単因子よ外積よ 日の目をみずに眠るのか どうか安らかに死んだように眠っておいてくれ 826 ：１３２人目の素数さん：2005/11/11(金) 18 43 14 208軍団指揮官ガウスラ将軍はいまニューロードを進軍中。 827 ：１３２人目の素数さん：2005/11/11(金) 19 00 24 826 フロンティアの開拓村がガウスラ将軍指揮下の精鋭部隊によって壊滅する。 ブルバキ帝国再興の夢は叶うのか。 828 ：１３２人目の素数さん：2005/11/11(金) 19 14 16 一体いままでなんのために写経してきたんだ これがあの208の最後の姿なのか それでいいのか208よ おまえの子分どもが泣いているぞ さあガウスラとなって立ち上がるのだ 829 ：１３２人目の素数さん：2005/11/11(金) 19 40 08 ガウスラ帝国 万歳！！ 830 ：１３２人目の素数さん：2005/11/11(金) 19 46 20 この荒れようを見ると、ほんと、208って、数学板で嫌われていたんだな。 つくづくそう思う。 261のような信者も中にはいるが・・・ 831 ：１３２人目の素数さん：2005/11/11(金) 20 05 43 830 そうそう、あの時が208の絶頂期だったんだよね。今思うと。 数学科を出ていないこの板の普通の住人を侮蔑的に排除するような 言動が結果的に命取りになったかな。ブルバキ帝国を再興したい なら、まず大義を掲げて一般の住民の支持を得ないとだめだね。 832 ：１３２人目の素数さん：2005/11/11(金) 20 08 16 ↓信者へのお答えがこれじゃあねえ。まさに宗教 初学者？ そうね、我慢して証明を追っていく。 そのうち、トンネルを抜けるように見晴らしがパーっと良くなる。 この感覚は言葉でいくら説明してもわからない。 体験するしかない。 833 ：１３２人目の素数さん：2005/11/11(金) 20 55 49 ＞＞８３１ このスレで数学科出てない人がいる？とは思えないけど 834 ：１３２人目の素数さん：2005/11/11(金) 21 25 54 833 興味がある人はいたと思うよ。2chのような開かれた掲示板で 玄人だけくるようにさせるのは不可能。 それと、208が出没したのはここだけじゃないからね。 835 ：１３２人目の素数さん：2005/11/11(金) 21 28 37 ブルマ履き 836 ：１３２人目の素数さん：2005/11/11(金) 22 10 20 そういえば学会で意味のないらしい内容の発表を５回もするので、本来１５分の発表時間を数分に短縮されていた人がいたけど、２０８ではないよね。 837 ：１３２人目の素数さん：2005/11/11(金) 22 17 56 834 ＞08が出没したのはここだけじゃないからね。 どこどこ。ほかにはどこ？ 838 ：１３２人目の素数さん：2005/11/11(金) 22 41 37 837 知ってる範囲で・・・ ・オイラーすれで、198と名乗っていた。住人が温厚だったせいか208の独壇場。 ・数学の本スレ（すでに1000超えてdat落ち）でブルバキ関係の話題で現れて 荒れたｗ ・線形代数スレで、発言を well known and trivial と指摘されて切れる。 ・圏論スレの594以降を見てみん。すさまじく荒れたｗ ・ご存じガロアスレ。このスレの773以降208の没落始まる。 その他、208の陰を感じさせる発言多数。やりとりをした香具師の ほとんどが気を悪くしている。数学板きっての嫌われ者。 839 ：１３２人目の素数さん：2005/11/11(金) 22 51 30 オイラースレでの言動 670 ：198：2005/08/08(月) 14 50 28 666 お前よりは１００倍以上知ってるよ。 自慢にはならないがｗ 840 ：１３２人目の素数さん：2005/11/11(金) 23 23 01 838 なるほど。ブルバキ教徒だからすぐわかるってこともあるね。 841 ：１３２人目の素数さん：2005/11/12(土) 13 19 29 ガウスラ将軍の軍団はどこに消えたんだ？ 842 ：１３２人目の素数さん：2005/11/14(月) 11 07 31 841 ブルバキ帝国正規軍ガウスラ将軍の軍団はただのニートの208に 準同型写像された。 843 ：１３２人目の素数さん：2005/11/14(月) 12 21 05 715 A がネーターなら EGA IV-2 p.153 に証明がある。 Eisenbud の本(Commutative algebra with a view ...) にも。 844 ：208：2005/11/14(月) 13 05 37 753 の前に以下を述べるべきだった。 R を可換環、 A_1, ... , A_n を必ずしも可換でない R 上の次数代数とする。 これ等の歪テンソル積 (A_1)(x) ...(x) (A_n) も 748 と同様に 定義される。 詳しく述べると、 (x_1)(x)...(x)(x_n) と (y_1)(x)...(x)(y_n) の積は ε(p,q)(x_1y_1)(x)...(x)(x_ny_n) と定義する。 ここで、各 x_i ∈ (A_i)_(p_i), y_i ∈ (A_i)_(q_i) ε(p,q) = (-1)^（Σ(p_i)(q_j)) Σは i j のすべての組合わせを動くものとする。 p、q、r ∈ Z^n のとき、 ε(p+q, r) = ε(p, r)ε(q, r) ε(p, q+r) = ε(p, q)ε(p, r) となる。 これから、ε(p, q)ε(p+q, r) = ε(p, q+r)ε(q, r) となる。 これから、結合律 (xy)z = x(yz) が出る。 歪テンソル積の結合律 (A(x) B)(x) C = A(x) (B(x) C) = A(x) B(x) C も成立つ。 845 ：１３２人目の素数さん：2005/11/14(月) 13 07 46 208さんお帰りなさい。まったく酷い荒れようでした。 846 ：１３２人目の素数さん：2005/11/14(月) 14 17 48 845 jisakujien, jisakujien 847 ：１３２人目の素数さん：2005/11/14(月) 14 20 38 843 本当にありがとう。Eisenbudの本は読んだことあるんだけどな。読んでも覚えないな。 848 ：１３２人目の素数さん：2005/11/14(月) 15 00 50 熱烈歓迎 数学板きっての嫌われ者。 849 ：208：2005/11/14(月) 15 08 59 定義 A を可換環、 M, N を A-加群とする。 p 0 を整数として、M^p から N への多重線形写像 f が交代的 であるとは x_i = x_j, i ≠ j のとき常に f(x_1, ... x_p) = 0 となることをいう。 850 ：208：2005/11/14(月) 15 09 32 命題 A を可換環、M, N を A-加群とする。 p 0 を整数として、f を M^p から N への交代的多重線形写像、 x_1, ... , x_p を M の元とし、σを {1, ... , p} の順列とする。 このとき、次の等式が成立つ。 f(x_σ(1), ... , x_σ(p)) = ε(σ)f(x_1, ... , x_p) 証明 746と同様。 851 ：１３２人目の素数さん：2005/11/14(月) 15 15 30 関数y=√3x-2sinx(0＜x＜2π)の極値を求めなさい って問題がどうしても解けません(´;ェ;`) 852 ：208：2005/11/14(月) 15 34 56 命題 A を可換環、M, N を A-加群とする。 p 0 を整数として、f を M^p から N への交代的多重線形写像とする。 A-加群としての射 g (Λ^p)M → N で f = gh となるものが一意に 存在する。 ここで h M^p → N は、h(x_1, ... , x_p) = x_1Λ...Λx_p で定義 される交代的多重線形写像である。 証明 727 の記号を使う、 定義より、(Λ^p)M = T^p(M)/(I ∩ T^p(M)) であるから、 I ∩ T^p(M) は T^p(M) の部分加群として、x_1(x)...(x)x_p, x_i = x_(i+1) の形の元で生成される。 一方、テンソル積の普遍性より、A-加群としての射 φ T^p(M) → N で f = φu となるものが一意に存在する。 ここで、u(x_1, ... , x_p) = x_1(x)...(x)x_p である。 よって、I ∩ T^p(M) ⊂ Ker(φ) となる。 よって、g(x_1Λ...Λx_p) = φ(x_1(x)...(x)x_p) と定義すればよい。g の一意性は明らか。 証明終 853 ：208：2005/11/14(月) 15 53 18 753 の別証を行う。 補題 A を可換環、 M を階数 n の A-自由加群とする。 n 0 なら (Λ^n)M ≠ 0 である。 証明 M^n から A への交代的多重線形写像の１つとして行列式 det がある。 つまり、M のある基底により M を縦ベクトル空間 A^n と同一視 して、M^n の元 X を nxn 型の行列と考え det(X) を対応させればよい。 X が単位行列なら det(X) = 1 だから、これは 0 でない。 よって、 752 より (Λ^n)M ≠ 0 である。 証明終 854 ：１３２人目の素数さん：2005/11/14(月) 16 09 47 ぷっ 855 ：208：2005/11/14(月) 16 13 40 753 の別証 A を可換環、 M を階数 n の A-自由加群とする。 p n なら (Λ^p)M = 0 であり、 p ≦ n なら (Λ^p)M は階数 nCp の A-自由加群である。 証明 p n なら (Λ^p)M = 0 は明らか。 p ≦ n なら (Λ^p)M は e_(i_1)Λ...Λe_(i_p), i_1 ... i_p で生成される。この e_(i_1)Λ...Λe_(i_p) を e_I と書く。 I は {1, .... , n} の濃度 p の部分集合 {i_1, ... , i_p} を 表す。e_I の全体が A上一次独立であることを言えばよい。 p = n なら 853 より明らか。 p n で Σ(a_I)(e_I) = 0 とする。ここで、a_I ∈ A である。 １つの I をとり、その補集合を J とする。 e_J Λ(Σ(a_I)(e_I)) = (a_I)e_J Λ e_I + Σ(a_K)e_J Λ e_K = 0 である。ここで、Σ(a_K)e_J Λ e_K は K ≠ I, |K| = p となる K に関する和である。 e_J Λ e_K = 0 であるから、(a_I)e_J Λ e_I = 0 となる。 853 より e_J Λ e_I ≠ 0 であるから、a_I = 0 となる。 証明終 856 ：208：2005/11/14(月) 16 23 24 753 から、有限階数 の A-自由加群 M の階数は基底の取り方に よらないことが分かる。この事実の別証としては A の極大イデアル m をとり k = A/m としたとき、M(x)k の体 k 上の次元は M の A 上の階数に一致することを使う。ただし、この証明は A がネーターでないとき Zorn の補題が必要である。 857 ：208：2005/11/14(月) 16 36 44 定義 A を可換環、 B を A-加群とする。 A-加群としての射 φ B → B(x)B があるとき、 組 (B, φ) または B を A-余代数(A-coalgebra)という。 858 ：１３２人目の素数さん：2005/11/14(月) 17 57 11 寒くないのか？ 859 ：１３２人目の素数さん：2005/11/14(月) 23 14 13 857 つつつ? 860 ：１３２人目の素数さん：2005/11/14(月) 23 44 22 855 写すのはいいけど、せめて正確に写そうよｗ 861 ：208：2005/11/15(火) 09 28 58 A-余代数( 857)の例： A を可換環、 M を A-加群とする。 対角射 Δ M → M + M を考える。ここで M + M は直和であり、 Δ(x) = (x, x) である。 Δ により、A-代数の射 ΛΔ ΛM → Λ(M + M) が誘導される。 751 より Λ(M + M) = (ΛM)(x) (ΛM) である。 (ΛM)(x) (ΛM) は加群としては普通のテンソル積であるから、 ΛΔ により、ΛM は A-余代数となる。 ΛΔ は次数を保つことに注意。 862 ：208：2005/11/15(火) 10 02 32 861 の ΛΔ ΛM → (ΛM)(x) (ΛM) を具体的に求めよう。 x ∈ M のとき ΛΔ(x) = x(x)1 + 1(x)x である。 よって、x_1, ... , x_n が M の元であるとき、 ΛΔ(x_1Λ...Λx_n) = Σ(-1)^μ (x_(i_i)Λ...Λx_(i_p)) (x) (x_(j_i)Λ...Λx_(j_(n-p))) となる。ここで μ は i_k j_l となるペアの個数である。 863 ：208：2005/11/15(火) 10 17 12 外積代数 ΛM が自然に余代数となることは余り知られていない。 このあたりはBourbakiの独壇場だろう。 864 ：208：2005/11/15(火) 10 22 09 862 の式の訂正 正しくは、 ΛΔ(x_1Λ...Λx_n) = Σ(-1)^μ (x_(i_1)Λ...Λx_(i_p)) (x) (x_(j_1)Λ...Λx_(j_(n-p))) 865 ：208：2005/11/15(火) 10 47 45 A を可換環、 (B, φ) を A-余代数とする。 C を結合的とは限らない A-代数 とする。 m C(x)C → C を乗法から得られる A-加群としての射とする。 u B → C v B → C を A-加群としての射とする。 φ B → B(x)B と u(x)v B(x)B → C(x)C と m C(x)C → C の合成 m(u(x)v)φ B → C を u と v の積と定義することにより、 Hom(B. C) は結合的とは限らない A-代数 となる。 866 ：208：2005/11/15(火) 15 56 56 865 の Hom(B. C) が結合的となる条件を考えよう。 A を可換環、E を結合的な A-代数とする。 μ E(x)E → E を乗法から得られる A-加群としての射とする。 μ(x)1 (E(x)E)(x)E → E(x)E と μ E(x)E → E の合成 E(x)E(x)E → E(x)E → E と 1(x)μ E(x)(E(x)E) → E(x)E と μ E(x)E → E の合成 E(x)E(x)E → E(x)E → E は結合的より一致する。 ここで、(E(x)E)(x)E と E(x)(E(x)E) を E(x)E(x)E と同一視している。 これの双対として、つまり、矢印の向きを変えることにより次の定義が得られる。 定義 (B, φ) を A-余代数とする。 φ B → B(x)B と φ(x)1 B → (B(x)B)(x)B の合成 B → B(x)B → B(x)B(x)B と φ B → B(x)B と 1(x)φ B → B(x)(B(x)B) の合成 B → B(x)B → B(x)B(x)B が一致するとき、B は余結合的という。 ここで、(B(x)B)(x)B と B(x)(B(x)B) を B(x)B(x)B と同一視している。 867 ：208：2005/11/16(水) 10 07 39 命題 (B, φ) を A-余代数で余結合的とする。 C を結合的な A-代数 とする。 Hom(B, C) は 865 の乗法により結合的な A-代数となる。 証明 u, v, w を Hom(B, C) の元とする。 u(x)v(x)w B(x)B(x)B → C(x)C(x)C と 乗法から得られる C(x)C(x)C → C の合成を h とする。 h B(x)B(x)B → C これと、φ B → B(x)B と φ(x)1 B(x)B → B(x)B(x)B の合成 B → B(x)B → B(x)B(x)B → C は、(uv)w に等しい。 同様に h と φ B → B(x)B と 1(x)φ B(x)B → B(x)B(x)B の合成 B → B(x)B → B(x)B(x)B → C は、u(vw) に等しい。 B は余結合的だから (uv)w = u(vw) となる。 証明終 868 ：208：2005/11/16(水) 10 54 15 865 の Hom(B. C) が単位元を持つ条件を考えよう。 A を可換環、E を単位元 1 を持つ A-代数とする。 ν A → E を 1 を 1 に写す A-加群としての射とする。 μ(ν(x)1) A(x)E → E(x)E → E は A(x)E を E と見なしたとき E の単位射である。ここで、μ E(x)E → E は E の乗法から 得られる射。同様に μ(1(x)ν) E(x)A → E(x)E → E は E の単位射である これの双対として、つまり、矢印の向きを変えることにより次の定義が得られる。 定義 (B, φ) を A-余代数とする。 A-加群としての射 η B → A が以下の条件 1) と 2) を満たすとき η を B の余単位と呼ぶ。 1) (ν(x)1)μ B → B(x)B → A(x)B は A(x)B を B と見なしたとき B の単位射である。 2) (1(x)ν)μ B → B(x)B → B(x)A は B(x)A を B と見なしたとき B の単位射である。 869 ：208：2005/11/16(水) 11 08 40 命題 (B, φ) を A-余代数で余単位を持つとする。 C を単位元を持つ A-代数 とする。 Hom(B, C) は 865 の乗法により単位元を持つ A-代数となる。 証明 η B → A を余単位とする。 ν A → C を 1 を 1 に写す A-加群としての射とする。 νη B → C が Hom(B, C) の単位元となる。 この証明は読者にまかす。 870 ：208：2005/11/16(水) 11 38 46 命題 A を可換環、 M を A-加群とする。 ΛM は余結合的である。 証明 対角射 Δ M → M + M と h = (1, Δ) M + M → M + M + M の合成 hΔ M → M + M → M + M + M を考える。 ここで、h は h(x, y) = (x, y, y) で定義される射である。 よって、hΔ(x) = (x, x, x) である。 同様に、対角射 Δ M → M + M と g = (Δ, h) M + M → M + M + M の合成 gΔ M → M + M → M + M + M を考える。 ここで、g は g(x, y) = (x, x, y) で定義される射である。 よって、gΔ(x) = (x, x, x) である。 よって、hΔ = gΔ である。 Δ から誘導される A-代数の射 ΛΔ ΛM → Λ(M + M) が ΛM の余代数としての構造射である( 861)。 よって、ΛM が余結合的であることは、 Λh = 1(x)(ΛΔ), Λg = (ΛΔ)(x)1 に注意すれば、 hΔ = gΔ から明らか。 証明 871 ：208：2005/11/16(水) 11 49 45 命題 A を可換環、 M を A-加群とする。 ΛM は余単位( 869)を持つ。 証明 ΛM = Σ(Λ^p)M (直和) であり、A = (Λ^0)M である。 η ΛM → A をこの直和における射影とする。 これが余単位であることは、 862 の公式から分かる。 証明終 872 ：208：2005/11/16(水) 13 45 53 ここで、次数加群の Hom について少し述べる。 A を可換な Z-型の次数環( 720)とする。 M と N を Z-型の A-次数加群( 722)とする。 u M → N を A-加群としての射で、ある p ∈ Z があり、 u(M_n) ⊂ N_(n+p) が任意の n ∈ Z で成立つとき u を次数 p の同次射という。次数 p の同次射 u M → N の集合 を仮に H_p と書こう。H_p は Hom(M, N) の Z-加群としての 部分加群である。H_p で生成される Hom(M, N) の部分加群 ΣH_p は H_p の直和である(証明は読者に任す)。 ΣH_p を Homgr(M, N) と書く(gr は graded の略)。 Homgr(M, N) は H_p を同次部分加群とする A-次数加群である。 873 ：208：2005/11/16(水) 14 28 25 命題 A を可換な Z-型の次数環( 720)とする。 M と N を Z-型の A-次数加群( 722)とする。 M が A-加群として有限生成なら Hom(M, N) = Homgr(M, N) である。 証明 x_1, ... , x_r を M の生成元で各元は同次とする。 u ∈ Hom(M, N) とし、各 i に対して u(x_i) = Σz_(i, p) とする。 ここで、z_(i, p) は u(x_i) の p 次の同次成分。 u_p(x_i) = Σz_(i, p) により、u_p ∈ Homgr(M, N) を定義する。 u_p は同次でありその次数は p - deg(x_i) である。 u_p が well-defined であることは、 Σ(a_i)(x_i) = 0 のとき 各 p で Σ(a_i)u_p(x_i) = 0 を 確かめればよい。ここで、a_i は A の元で同次である。 これを確かめるのは読者に任せる。 u = Σu_p だから Hom(M, N) = Homgr(M, N) である。 証明終 874 ：208：2005/11/16(水) 14 42 29 規約： A を可換環、 M を A-次数加群とする。 ただし A は A_0 = A, p ≠ 0 のとき A_p = 0 として次数環と見なす。 Homgr(M, A) の p 次部分 Homgr(M, A)_p は Hom(M_(-p), A) と 見なせる。しかし、我々は Homgr(M, A) を考えるときは Homgr(M, A)_p = Hom(M_p, A) と定義することにする。 何故、このように定義するかは後にわかる。 875 ：208：2005/11/16(水) 14 52 54 A を可換環、 M を A-加群とする。 Homgr(ΛM, A) は A-次数加群である。 これが、結合的な A-次数代数で単位元を持つことは、ΛM が余代数 となり( 861)、余結合的で( 870)、余単位を持つ( 871) ことから明らかだろう( 867 と 869 より)。 876 ：208：2005/11/16(水) 16 33 06 A を可換環、 M を A-加群とする。 整数 p 0 に対して、M^p から A への交代的多重線形写像( 849)の 集合をAlt(M^p, A)と書こう。これは、A-加群である。 874 の規約より、Homgr(ΛM, A)_p = Hom((Λ^p)M, A) だが、 これは 852 より Alt(M^p, A) と見なせる。 u ∈ Alt(M^p, A), v ∈ Alt(M^q, A) のとき A-次数代数としての Homgr(ΛM, A) における u と v の積を明示的に求めてみよう。 862 より ΛΔ(x_1Λ...Λx_n) = Σ(-1)^μ (x_(i_1)Λ...Λx_(i_p)) (x) (x_(j_1)Λ...Λx_(j_(n-p))) である。 よって、(ΛM)(x) (ΛM) を (Z^2)-型の次数代数と見たときの ΛΔ(x_1Λ...Λx_(p+q)) の (p, q)-成分は、 Σε(σ) (x_σ(1)Λ...Λx_σ(p)) (x) (σ(p+1)Λ...Λx_σ(p+q)) となる。ここで、σは集合 {1, ... , p+q} の置換で、それぞれ 区間 {1, ... , p} と 区間 {p, ... , p+q} において狭義単調増加 するものを動く。ε(σ) は σ の符号。 これと 865 から (uv)(x_1, ... , x_(p+q)) = Σε(σ) u(x_σ(1), ..., x_σ(p))v(x_σ(p), ..., x_σ(p+q)) となる。 877 ：１３２人目の素数さん：2005/11/16(水) 17 02 34 無眼界乃至無意識界無無明亦無無明尽 878 ：208：2005/11/16(水) 17 08 21 話は変わるけど(実は外積代数と関係あるが)、不変式論って面白そうだね。 以下はEisenbudその他の受け売り。 不変式論は１９世紀の半ば頃から末まで流行ったが、Hilbertが不変式論で 大きな仕事をしてから廃れてしまい、２０世紀半ばくらいまでは 内容を知ってる人間はわずかだった。それが、Mumford が 幾何的不変式論を発表してから再び日の目を見るようになった。 Hilbertは、不変式論の研究で四つの大きな発見をした。 1) 多項式イデアルの基底定理 2) 多項式イデアルの零点定理 3) 同次イデアルのHilbert多項式 4) 同次イデアルのSyzygy定理 これらは、可換環論で重要なものばかり。これらが不変式論から 出てきたということから、この理論が只者じゃないことがわかる。 879 ：１３２人目の素数さん：2005/11/16(水) 17 38 40 878 Hilbert s Invariant Theory Papers http //www.amazon.co.jp/exec/obidos/ASIN/0915692260/250-2656433-1963463 880 ：１３２人目の素数さん：2005/11/16(水) 17 58 09 永田雅宜先生も古典的な不変式論を高く評価されています。 881 ：１３２人目の素数さん：2005/11/16(水) 18 14 28 877 乃至無老死亦無老死尽無苦集滅道無智亦無得 882 ：１３２人目の素数さん：2005/11/16(水) 20 55 17 永田氏の思考力には驚嘆する。すごく入り組んだことを考えれる人だ。 883 ：208：2005/11/17(木) 09 33 16 873を以下のように訂正する。 命題 A を可換な Z-型の次数環( 720)とする。 M と N を Z-型の A-次数加群( 722)とする。 M が A-加群として有限生成なら Hom(M, N) = Homgr(M, N) である。 証明 x_1, ... , x_r を M の生成元で各元は同次とする。 u ∈ Hom(M, N) とし、各 i に対して u(x_i) = Σz_(i, p) とする。 ここで、z_(i, p) は u(x_i) の p + deg(x_i) 次の同次成分。 各 i に対して u_p(x_i) = z_(i, p) により、u_p ∈ Homgr(M, N) を定義する。 u_p は同次でありその次数は p である。 u_p が well-defined であることは、 Σ(a_i)(x_i) = 0 のとき 各 p で Σ(a_i)u_p(x_i) = 0 を 確かめればよい。ここで、a_i は A の元で同次である。 これを確かめるのは読者に任せる。 M は有限生成だから u_p は有限個を除いて 0 である。 u = Σu_p だから Hom(M, N) = Homgr(M, N) である。 証明終 884 ：208：2005/11/17(木) 09 52 06 A を可換環、 M を A-加群とする。 x_1, ... , x_p ∈ M y_1, ... , y_q ∈ M とする。 ΛM において、 (x_1Λ...Λx_p)Λ(y_1Λ...Λy_q) = (-1)^(pq) (y_1Λ...Λy_q)Λ(x_1Λ...Λx_p) となる。 よって、x ∈ (Λ^p)M, y ∈ (Λ^q)M のとき、 xΛy = (-1)^(pq) yΛx となる。 定義 B を (Z+)-型の(結合的な)次数代数とする。 ここで Z+ は非負の有理整数の集合を表す x ∈ B_p, y ∈ B_q のとき、xy = (-1)^(pq) yx となるとき、 B を歪可換次数代数という。 885 ：208：2005/11/17(木) 10 04 22 A を可換環、 M を A-加群とする。 x ∈ (Λ^p)M とする。 x = Σx_i で各 x_i = x_(i_1)Λ...Λx_(i_p), x_(i_j) ∈ M とする。 xΛx = Σx_iΛx_i + Σ(x_iΛx_j + x_jΛx_i) となる。 ここで２番目の和は i j となる組を動くとする。 i j のとき、x_jΛx_i = (-1)^(p^2) x_iΛx_j であるから、 p が奇数のときは x_iΛx_j + x_jΛx_i = 0 となる。 よって、このとき xΛx = 0 である。 定義 A を可換環、 B を A 上の歪可換な次数代数とする。 x ∈ B_p で p が奇数のとき x^2 = 0 となるとき、 B を交代代数という。 886 ：208：2005/11/17(木) 10 53 13 これ良さげだね Classical Invariant Theory http //www.amazon.com/gp/product/0521558212/002-8762346-9714458?v=glance n=283155 s=books v=glance 887 ：１３２人目の素数さん：2005/11/17(木) 11 08 38 永田雅宜先生も古典的な不変式論を高く評価されています。 881 ：１３２人目の素数さん ：2005/11/16(水) 18 14 28 877 乃至無老死亦無老死尽無苦集滅道無智亦無得 882 ：１３２人目の素数さん ：2005/11/16(水) 20 55 17 永田氏の思考力には驚嘆する。すごく入り組んだことを考えれる人だ。 888 ：208：2005/11/17(木) 11 25 59 A を可換環、 M を A-加群とする。 876 より f, g ∈ Hom(M, A) のとき、Homgr(ΛM, A) において、 (fg)(x, y) = f(x)g(y) - f(y)g(x) となる。 よって、f^2 = 0 である。 よって、 747 より A-代数としての射 θ Λ(Hom(M, A)) → Homgr(ΛM, A)^op で f ∈ Hom(M, A) のとき、θ(f) = f となるものが一意に存在する。 ここで、Homgr(ΛM, A)^op は Homgr(ΛM, A) の乗法を逆にした 代数を表す(op は opposite の略)。 乗法を逆にするのは後の計算を簡単にするためであり、便宜的なもの に過ぎない。 889 ：208：2005/11/17(木) 12 34 13 A を可換環、 E を A-余代数( 857)で余結合的( 866)とする。 φ E → E(x)E をその構造射とする。Hom(E, A) は 867 より 結合的な A-代数となる。u_1, ... , u_n ∈ Hom(E, A) のとき その積 u_1...u_n を求めよう。 E から E の n 個のテンソル積 E(x)...(x)E への A-加群としての射 φ_n E → E(x)...(x)E を帰納的に φ_n = (φ_(n-1)(x)1)φ で定義する。 つまり φ_n を φ E → E(x)E と φ_(n-1)(x)1 E(x)E → (E(x)...(x)E)(x)E の合成で定義する。 ここで、E(x)...(x)E は E の(n-1)個のテンソル積。 双対的に A の n 個のテンソル積 A(x)...(x)A から A への射を A の乗法で定義したものを μ_n とおく。 μ_n = μ(μ_(n-1)(x)1) である。 このとき、 u_1...u_n = μ_n(u_1(x)...(x)u_n)φ_n となる。 証明 n に関する帰納法。 u_1...u_(n-1) = μ_(n-1)(u_1(x)...(x)u_(n-1))φ_(n-1) とする。 u_1...u_(n-1)u_n = μ(μ_(n-1)(u_1(x)...(x)u_(n-1))φ_(n-1))(x)u_n)φ = μ(μ_(n-1)(u_1(x)...(x)u_(n-1))(x)u_n)(φ_(n-1)(x)1))φ = μ((μ_(n-1)(x)1)(u_1(x)...(x)u_(n-1)(x)u_n))(φ_(n-1)(x)1))φ = μ((μ_(n-1)(x)1)(u_1(x)...(x)u_(n-1)(x)u_n))(φ_(n-1)(x)1))φ = μ_n(u_1(x)...(x)u_n)φ_n 証明終 890 ：208：2005/11/17(木) 17 20 43 A を可換環、M を A-加群とする。 ΛΔ ΛM → Λ(M + M) は ΛM の余代数としての構造射である 簡単のために ΛΔ = φ とおく。 f_1, ... , f_n ∈ Hom(M, A) のとき これ等の積 f_1...f_n を具体的に求めよう。 889 より f_1...f_n = μ_n(f_1(x)...(x)f_n)δ_n である。 ここで、δ_n は φ_n の 次数 (1,...,1) の成分を表す。 同様に δ は φ の 次数 (1,...,1) の成分を表す。 ただし、ここでは ΛM の n 個のテンソル積 (ΛM)(x)...(x)(ΛM) に (Z^n)-型の次数付けを入れている。 δ_n(x_1Λ...Λx_n) = Σε(σ)(x_σ(1)(x)...(x)x_σ(n)) となることを n に関する帰納法により証明する。 δ は φ の 次数 (1,...,1) の成分だから 862 より δ_n(x_1Λ...Λx_n) = (δ_(n-1)(x)1)δ(x_1Λ...Λx_n) = Σ(-1)^(n-j) φ_(n-1)(x_1)Λ..[x_j]..Λx_n) (x) x_j ここで、x_1)Λ..[x_j]..Λx_n は x_j を除いたことを意味する。 この右辺に帰納法の仮定を適用して = Σ(-1)^(n-j)(Σε(σ)(x_σ(1)(x)..[x_σ(j)]..(x)x_σ(n))(x)x_j = Σε(σ)(x_σ(1)(x)...(x)x_σ(n)) つまり δ_n(x_1Λ...Λx_n) = Σε(σ)(x_σ(1)(x)...(x)x_σ(n)) である。よって、 (f_1...f_n)(x_1, ... , x_n) = μ_n(f_1(x)...(x)f_n)δ_n(x_1Λ...Λx_n) = Σε(σ) f_1(x_σ(1))...f_n(x_σ(n)) = det(f_i(x_j)) となる。 891 ：208：2005/11/18(金) 10 36 15 890 の最後の式 (f_1...f_n)(x_1, ... , x_n) = det(f_i(x_j)) は、 889 を使わなくても 876 から帰納法により証明できる。 つまり、 (f_1...f_n)(x_1, ... , x_n) = (f_1...f_(n-1))f_n(x_1, ... , x_n) = Σ(-1)^(n-j-1) (f_1...f_(n-1))(x_1,..[x_j]..,x_(n-1)))f_n(x_j) = Σ(-1)^(n-j-1) Σε(σ) f_1(x_σ(1))..[x_j]..f_(n-1)(x_σ(n-1))f_n(x_j) = Σε(σ) f_1(x_σ(1))...f_n(x_σ(n)) = det(f_i(x_j)) 892 ：208：2005/11/18(金) 11 03 01 A を可換環、M を A-加群とする。 f_1, ... , f_n ∈ Hom(M, A) のとき θ(f_1Λ...Λf_n) = (f_n)...(f_1) = (-1)^(n(n-1))/2 (f_1)...(f_n) である。ここで、θは 888 の θ Λ(Hom(M, A)) → Homgr(ΛM, A)^op である。 M が A 上の階数 m の自由加群で、e_1, ..., e_m をその基底とする。 f_1, ..., f_m をその双対基底とする。 つまり、f_1, ..., f_m ∈ Hom(M, A) で f_i(e_j) = δ(i,j) である。ここで、δ(i,j) は Kronecker の δ I が {1,...,m} の部分集合で I = {i_1, ..., i_p}, i_1 ... i_p のとき、 f_I = f_(i_1)Λ...Λf_(i_p) と書く。 同様に e_I も定義する。 890 の最後の式 (f_1...f_n)(x_1, ... , x_n) = det(f_i(x_j)) より、 (-1)^(p(p-1))/2 θ(f_I)(e_J) = δ(I, J) となる。 ここで、δ(I, J) は Kronecker の δ の拡張で I = J のとき δ(I, J) = 1、I ≠ J のとき δ(I, J) = 0 よって、{(-1)^(p(p-1))/2 θ(f_I)} は {e_J} の Hom((Λ^p)M, A) における双対基底である。 よって θ Λ(Hom(M, A)) → Homgr(ΛM, A)^op は同型射である。 893 ：１３２人目の素数さん：2005/11/18(金) 11 07 10 882 永田氏の思考力には驚嘆する。すごく入り組んだことを考えれる人だ。 別に反対はしないけど、永田の可換体論の本は分かりにくい。 あの本の内容はそれほど難しくはないんだが。 894 ：１３２人目の素数さん：2005/11/18(金) 11 15 18 永田の local rings は Eisenbud が褒めてるね。 deep and beautiful って。 あの本を褒める人は珍しい。普通、重要な結果を載せているとは 認めていても almost unreadable とか言ってる(例えばMilne)。 895 ：１３２人目の素数さん：2005/11/18(金) 11 21 31 893 入り組んだ思考の跡をそのまま記述するのが永田の限界かも。 この特徴は教科書の執筆にも現れている。 896 ：１３２人目の素数さん：2005/11/18(金) 11 41 31 なるほど 897 ：１３２人目の素数さん：2005/11/18(金) 11 51 08 895 と言うより、彼にとって当然の事が普通の(数学をやってる)人に とって当然じゃないんだろうね。才能のある人にありがちな事。 898 ：１３２人目の素数さん：2005/11/18(金) 11 58 18 almost unreadable とか言ってる(例えばMilne) where?? 899 ：１３２人目の素数さん：2005/11/18(金) 12 00 28 英語が奇妙ってことはあるが 900 ：１３２人目の素数さん：2005/11/18(金) 12 02 24 大学、大学院では数学（の勉強、研究）をやらずに 塾講師と非常勤（中～大学で）をバリバリやってた 奴だけがアカポス獲得競争への参加資格が得られる 時代になった、ということだ。要するにね http //science4.2ch.net/test/read.cgi/math/1132224232/77 タグ： A-余代数 交代的多重線形写像 余結合的 幾何的不変式論 歪テンソル積 狭義単調増加 コメント
https://w.atwiki.jp/itmsanime/pages/939.html
【作品名】PC版 Summer Days ED 【曲名】タンポポの綿帽子 【歌手】yozuca* 【ジャンル】サウンドトラック 【価格】￥200 □■iTMS■□ 【作品名】PC版 Summer Days グランドED 【曲名】海から始まる物語 【歌手】栗林みな実 【ジャンル】サウンドトラック 【価格】￥200 □■iTMS■□
https://w.atwiki.jp/f1ab/pages/34.html
HAMMER BLOW
https://w.atwiki.jp/tag_editor/pages/13.html
SuperTagEditor 1 ：さすらい人：02/03/11 04 19 ID 7RYFOGae 機能性、ユーザビリティ、デザイン、斬新なアイデア どれを取っても至高と言える MP3 タグ エディタを求める スレを立ち上げてみました。「SuperTagEditor で決まり！」 などというお決まりの文句しか言えない者はお呼びでは ありません（勿論 STE が駄目と言っている訳ではない）。 もしかするとあなたが密かに発見した TE が急速に日本で 広まり、あなたはその TE を日本で初めて紹介した人と して名を残すことになるでしょう！（ウソ） MERCURY's Software Lab. MP3-Tag-Editor 3 ：さすらい人：02/03/11 04 35 ID 7RYFOGae 今まで使ってきた TE の中でもかなりのレベルだと思うのだが （かなり細かいところまでユーザビリティが考慮されている） 一番痛いのは "ドイツ語" という点！！！ Resource Hacker でリソースを見てみると Language ノードが あり簡単にインターフェイスに表示されるすべての文字を各 言語用にカスタマイズ可能な設計がなされているようだ。 が、学生時代は第二外国語がフランス語だった私にとっては ドイツ語の辞書すら持っていない。故にさっぱりわからんのよ。 せめて英語化した人はいないかと Google 最大活用してみたが そんな奴すらいなかった（ドイツ語- 英語- 日本語なら何とか なったんだが...）。わからないながらも使ってみてくれないか？ これが日本語か英語だったらと感じると思うんだけどね。 http //www.mp3-tag-editor.de/ ※ ドイツ語得意な人募集中！ ※ 以外にドイツには使えそうなツールが多かったりする。というもの 検索でヒットするサイトに .de が多いんだよね。 http //filez.de/detailsuche/ergebnis_detail.php?param_search_string=MP3%20Tag int_bereich=2 betriebssystem=7 lizenzart= sprache= installer= zeitraum_von= zeitraum_bis= windows_familie= handhelds_familie= Gisi's MP3-Tag-Editor mp3infp 13 ：名無しさん＠お腹いっぱい。：02/03/12 08 45 ID ??? mp3infpだね。 ファイルのプロパティでmp3タグが作れるし、WinMe/2000/XPだとエクスローラで表示できるし。 Win32工作小屋 - mp3infp つゆたぐ 23 ： ：02/03/14 00 45 ID FxLyXKPU http //www.lares.dti.ne.jp/~mk3/Akmsoft/ つゆだくはどう？ P'sSoft SuperTagEditor 改造版（非プラグイン版） 28 ：名無しさん＠お腹いっぱい。：02/03/19 02 14 ID ??? SuperTagEditor改造版はどう？ 漏れは改造版の方が使いやすいかも。 SuperTagEditor 改造版 SuperTagEditor 改造版（ Plugin Version ） SuperTagEditor 改造版 Tag Rename 30 ：名無しさん＠お腹いっぱい。：02/03/20 00 28 ID ??? Tag Rename がよさげだがシェアだ。 フリーにならんかな。 ちなみにこいつもドイツ。 Mp3 tag editor Tag Rename - edit tag in mp3, wma, mp4 files, automatic amazon and freedb import BlizTagEditor 43 ：名無しさん＠お腹いっぱい。：02/03/22 02 12 ID 7MWRTIkb BlizTagEditor http //www.ah.wakwak.com/~blippe/blizsoft/ Blizsoft HomePage Free Software Helium Music Manager 51 ：名無しさん＠お腹いっぱい。：02/03/31 09 05 ID ??? Helium2 は どうかな？ 日本語が通る。フリーとシェアの二種類がある。 http //www.helium2.com/ Get the most out of your music - Helium Music Manager m2h 59 ：名無しさん＠お腹いっぱい。：02/04/01 22 08 ID ??? 普段はm2h使ってるけど、 これもタグエディタって言うのかな。 m2hの詳細情報 Vector ソフトを探す！ EMIT 86 ：名無しさん＠お腹いっぱい。：02/04/21 12 40 ID ??? 「至高のタグエディタ」はSTEでいいんだけど。 MP3はほとんど購入orﾚﾝﾀﾙCDからﾘｯﾋﾟﾝｸﾞ。その際に大体ﾀｸﾞ打ちも済ませておく。 タグエディタ(本来の)使用はちょっとした修正程度。 普段はﾀｸﾞｴﾃﾞｨﾀでいろんなﾌｫﾙﾀﾞを見て、その日の気分で曲を選んでWinampに放り込むのがﾒｲﾝ。 こういう「聴く」中心の使い方してるとSTEはちょっと大げさなんだよな。 っつーわけで EMIT使ってるんだが、他の人はSTE以外何も使ってないの？ 最近何も作ってないしな～ J2 90 ：名無しさん＠お腹いっぱい。：02/04/21 15 08 ID ??? 昔からの惰性でJ2使ってる... 個人的に*.rmp好きだし。 もう配布されてない過去のソフトだけどなぁ。 KbSTE 100 ：名無しさん＠お腹いっぱい。：02/04/29 22 55 ID ??? 95 改造版のKbSTEでは(KbMediaPlayerの作者)いろいろ扱えるぞ。 http //home7.highway.ne.jp/Kobarin/ ID3Edit 101 ：名無しさん＠お腹いっぱい。：02/05/13 23 55 ID ??? ID3EDIT の Ver1.6 を古くから使っているが割とつかいやすい。 ただし、ＩＤタッグのバージョンが古いのか、使えないジャンルが あるのが残念。どうしてもカテゴリーにない場合 Winamp で変更し ている。最近、最新バージョンが出たみたいだけど、何か変。 ID3Editの詳細情報 Vector ソフトを探す！ Mega MP3 Launcher 104 ：名無しさん＠お腹いっぱい。：02/05/28 15 20 ID ??? SuperTagEditor はレジストリ使うので MegaMP3Launcherを使ってます Mega MP3 Launcherの詳細情報 Vector ソフトを探す！ Fam Plus! れふとはんど WRX 105 ：kamo：02/05/28 23 04 ID tpuz1PNc こんなん作ってみました。 といっても、MP3のタグ情報を読み込んできてアーティスト名のフォルダ作ってその中にファイルを移動するだけですが・・・・ 一応アルバム対応です。 http //www.geocities.co.jp/Milkyway-Cassiopeia/3303/soft.html MP3 TAGフォルダ一括処理班 143 ：ﾉｺﾉｺ：02/07/31 20 11 ID fyfUJUIM WindowsXP Proで安定して動かなければ意味ありません MP3フォルダ一括処理班これがいいですねシェア300円成り http //www.geocities.jp/naoto0325/ MP3 TAGフォルダ一括処理班の詳細情報 Vector ソフトを探す！ Teatime 155 ：名無しさん＠Ｍｅａｄｏｗ：02/08/07 19 19 ID ouQtNRY9 teacupはやくid3v2に対応してくれ iTunes 191 ：教えてくれ、なぜだ！？：02/10/17 09 13 ID M2C2lSvd STEでID3タグを編集しようしてもでてくるファイルとでてこないファイルがある。 MusicMatch, iTunesとかででてくるのだが STEとかTraktorではタグが表示されない。 STEでがID3v2とはでてくるのだが、他のすべての項目がでてこない。 アップル - 音楽からゲームまで、iTunesでダウンロードしてiPodで楽しもう。 AudioGrail(K-MP3) 332 ：名無しさん＠お腹いっぱい。：03/02/05 14 49 ID 1dWe5KGm 330 K-MP3 KC Softwares MusicPack 3on3 534 ：名無しさん＠お腹いっぱい。：03/07/20 02 52 ID PzPyqbCU タグエディタではないが MusicPack 3on3 が何気に使いやすい MP3on3 foobar2000 588 ：名無しさん＠お腹いっぱい。：03/08/26 05 42 ID 3Js1CwPp foobar2000 のMassTaggerは何げに便利だと思うんだけど…。 foobar2000 Mp3tag Mp3tag - der universelle Tag Editor (ID3v2, MP4, OGG, FLAC, ...) 599 ：名無しさん＠お腹いっぱい。：03/08/28 00 41 ID g4MUjtPq Mp3tag - the universal ID3-Tag Editor - Overview ttp //www.mp3tag.de/en/ どうですかこれ？ GodFather . The GodFather . 666 ：名無しさん＠お腹いっぱい。：03/10/30 10 24 ID 7uh8fPXc GodFatherいいよね Tag Lunch! Tag Lunch! 680 ：名無しさん＠お腹いっぱい。：03/11/10 03 22 ID p/oKpZw2 TagLunch!はどうよ Media Tagger 810 ：名無しさん＠お腹いっぱい。：04/01/12 00 00 ID 484+L9Ia 167 ttp //www.mediatagger.zde.cz/ チェコ産。日本語駄目だけど… Media Tagger mp3,wma等のタグ自動取得/画像埋め込み等ができるタグエディター | 窓の杜・ベクター・海外フリーソフトのダウンロード Quintessential Media Player 825 ：名無しさん＠お腹いっぱい。：04/01/22 09 58 ID aI39Uh7z 断然、ＱＣＤプレイヤーの「オートタグ」機能！ タグ情報が不完全でも、ヒントになるテキストを元に ＣＤＤＢから情報を検索してくれて、候補を表示。 自分は、常にこの機能でタグを完璧にしてまーす。 ジャンルとかも入るし、かなりいいと思うんだけど。 わざわざタイトルとか入力する必要なし！ Quintessential Player Tag Clinic 866 ：名無しさん＠お腹いっぱい。：04/02/07 22 39 ID r8uHSS9F おい、おまいら。異国の方が大絶賛のこれ使え！ MP3 Tag Clinic ttp //www.kevesoft.com/ ユーザーの声 ： ttp //fileforum.betanews.com/detail.php3?fid=972632184 Don t download this. This is crippleware at its absolute worst. Why bother with this for crippled software, when there are many more useful utilities that do the same thing. This interface is very clunky and lacks capabilities. Avoid it. This is crippleware at its worst. Go for the free editors. One crappy program and on top it wants money! Trash, trash, trash. Uninstall .... Tag Clinic v4.3 - tag editor and bulk file renamer
https://w.atwiki.jp/hmiku/pages/11327.html
【登録タグ CD CDC samfreeCD】 前作 本作 次作 Story Crime Fever samfree 発売：2010年8月14日 価格：￥1,000（税込） 流通：即売 サークル：Nation One CD紹介 samfree氏のVOCALOIDアルバム第4弾。 今回も殿堂入り曲を含む既発表曲に書き下ろし曲を含めた12曲を収録。その中の「Sign」は「Perfect Crime」のオルゴールアレンジとなっている。 2010年8月14日の夏コミC78東A-67aにて頒布。 曲目 Sign Perfect Crime Prism Heart ミキミキ★ロマンティックナイト Gravity=Reality Fate of Soul Bye-Bye Lover コトノハ No Distortion! Bye-Bye ミクミク☆サマーナイトファンタジー Time to say Good-bye リンク 特設サイト Nation One offical web コメント ちょっとミクミクっておい欲しいぞ＼(＾o＾)／ -- 名無しさん (2010-08-06 20 15 53) 歪みねえ曲が凄く良かったｗ -- 名無しさん (2010-08-23 20 59 27) 某同人CDショップで見て飛び付いた。この人のCDは(発売数と人気から)凄くレアだし、逃したら逃したで２万なんて値段も付いた事があったし…。これからも見つけたら片っ端から買おう♪ -- 歌才 優 (2011-02-24 17 20 05) これってamazonとかで買え…ないですよねorz 欲しい欲しい欲しいいいー…というかまだ売ってるのかな？； -- 君の首を舐める夢を魅たのよ………きゃっほい！ (2012-04-03 01 56 07) ミクミク☆サマーナイトファンタジーめっちゃ良い曲だった。sam最高です！ -- 名無しさん (2015-02-05 07 42 03) 名前 コメント
https://w.atwiki.jp/triman/pages/21.html
Traffic PRINT TICKET, MAPS (to hotel, hotel to office, office to airport), INTINERARY Egencia Mapquest - sbolen0777@aol.com GoogleMaps Date Location Comment 5/28/10 Chicago Jack 5/27/10 Miami Jack 5/21/10 Detroit Jack 5/20/10 Cincy Jack 5/12-14/10 Philly Jack 5/11/10 Atlanta Jack 4/20/10 Philly Jack 3/10-12/10 New Jersey Jack 2/17-19/10 New Jersey (Jack) 1/25-28 Tampa, Florida Community 1/11-13/10 Dana Point, SoCal Process Model Training 10/12-13/09 New Jersey (Madison Project Manager Training 9/28-30/09 Atlanta(Tucker) Customer Attrition 8/21-22/09 Detroit(Auburn Hills) Customer Attrition July 2009 New Jersey (Madison) Interview 2009 Chicago Vacation 2008 Branson Big Wolf Lodge 2008 Phoenix ASQ conference 2008-Spring Las Vegas Intro to Lean 2008-Spring Tampa Lean Supply 2008 New Jersey PBViews Training 2008-Jan Madison BB #2 2007-Oct Madison BB #1 2007-Oct Orlando Ironman 2007-Oct Denver World Series 2007-July Denver Visit Jamie Directions to Tampa BU I-275 North (4.6 miles) to Exit 45B. I-4 East (8.1) to Exit 9. I-75 North (5.9) to Exit 266. Fletcher Ave/CR-582A (1.3) Right on Cypress Glen to 13775 Cypress Glen Directions to Madison (Remember it is like a J on the side.) I-78 - Head northeast out of the airport. Within a mile or so the road curves around to the SW. Travel ~8 miles US24 - Exit #55??? This too goes about 8 miles. I-287 - This gets tricky because I always forget about it and you pass signs that say Livingston and Madison. Just stay to the right. Heads up though because exit 39 (SR10) is only about a mile into this. State Route 10 - It always looks new but 2 miles later you ll see the cigar shop on the right then the Courtyard by Marriott on the right. (Don t turn too early) Directons from Marriot to 3 Garadi Farms. Just east of the hotel is Ridgedale. The Panera is just off to the right a few miles down. Stay on Ridgedale to the right at the Getty s gas. Take a left at Park Ave. Take a a left at the end and a QUICK right at the railroad bridge. Vere right again. Drive ~2 miles past Drew U. Need to stay to the right to take the loop around to the facilities. Need to find a better way from the office to Marriott since Ridgedale comes in to the east and crossing SR10 is not possible Garaldi Farm to the airport Very easy. Take 124 (road in front of Quest) Runs into I-78 which goes directly to the airport Auburn Hills (address?) Near the Palice at Auburn Hills. Also near the old Poniac Dome. Think big rectange. From the hotel go north for 1-2 miles than turn right for less than a mile. Near Atlanta (1777 Montreal Circle Tucker, GA 30084) Courtyard Atlanta Northlake (4083 La Vista Road) Saved on Marriot My Hotels Near Stone Mountain. Pretty easy. Just take I-285 to exit 93, although it is faster through the city. The Courtyard is on the left side a kind of hidden. There is a grocery store just to the west. The facility is just down the left on Montreal. Past the tracks less then a mile down, take a left. SJC Really easy to get around. Fly into Orange Co (John Wayne) airport. Take 55 to I-5. Take I-5 to Dana Point. Take the first left under the Dana Point bridge then a quick right. I get to the facility just take I-5 north to Ortega Highway (~5 miles). Returning to the airport is a different way (I-405). It takes you right to the airport. Packing Laptop, cord, and network cable Itinerary, Maps to Hotel, Hotel to Site. Underware socks Shoes Jeans, Slacks Shirts Belts Toileteries Cell Phone, adapter. Wallet/Cash. Call ahead to hotel re exercise/runs
https://w.atwiki.jp/asigami/pages/819.html
足10 (M~日本語) 全130曲（楽6曲／踊28曲／激87曲／鬼9曲） 旧足7中級～上級 半分以上が激譜面で、一部MAX2の鬼のみの曲やショックアロー搭載の鬼譜面、ボス曲の楽・踊譜面がある。 難易度変更情報 X→X2で難易度が変更された曲。 昇格曲Koko Soko(激) 9→10 Lift You Up(激) 9→10 Blue Rain(激) 10→11 Healing Vision (Angelic mix)(踊) 10→11 Party Lights(激) 10→11 Freeway Shuffle(鬼) 10→12 降格曲MOON(激) 11→10 曲名 フォルダ BPM NOTES/FREEZE(SHOCK) Malacca(激) X 140 229/3 MAX 300 (Super-Max-Me Mix)(楽) SN 140-320 345/30 MAXX UNLIMITED(楽) MAX2 140-320 222/49 Melody Life(激) X2 172 366/10 MIDNIGHT SPECIAL(激) SN 182 267/14 Monkey Punk(激) SN 180 322/17 MOON(激) SN 156 315/7 more more more(激) X2 135 268/27 NGO(楽) SN2 68-274 203/2 oarfish(激) X2 140 252/118 On The Break(踊) X 85-170 294/29 PARANOiA ETERNAL(踊) 5th 200 300/2 PARANOIA EVOLUTION(踊) 4th 200 287/0 PARANOiA MAX ~DIRTY MIX~(踊) 2nd 190 288/0 PARANOiA Rebirth(踊) 3rd 190 322/0 PASSION OF LOVE(激) SN 78-155 290/22 Pink Rose(激) EXT 146 243/25 Pluto The First(楽) X2 50-440 201/20 POSSESSION(楽) X2 185-370 389/13 rainbow rainbow(激) SN 177 307/12 S・A・G・A(踊) X 200-244 281/12 SABER WING(踊) X 74-222(-444) 346/33 SABER WING (AKIRA ISHIHARA Headshot mix)(楽) X 79-316 297/17 sakura storm(激) X2 184 311/13 Sakura Sunrise(踊) X2 181 340/20 Silent Hill(激) 3rd 125 265/0 Silent Hill (3rd christmas mix)(鬼) MAX2 125 232/50 Slip Out (bounce in beat mix)(激) X 106 228/53 smooooch・∀・(鬼) X2 177 278/8(46) SP-TRIP MACHINE ~JUNGLE MIX~(激) 2nd 160 245/0 Star Gate Heaven(激) SN 145 281/5 STARS☆☆☆ (Re-tuned by HΛL) -DDR EDITION-(踊) SN2 145 280/9 STILL IN MY HEART(激) 5th 150 290/0 SUPER STAR (FROM NONSTOP MEGAMIX)(鬼) MAX2 128 282/8 Swingin (激) X 105 245/6 switch(激) SN2 152 289/14 Taj He Spitz(激) X 107 281/2 The flower in your smile(激) X 186 293/8 Theory of Eternity(鬼) X2 160 275/12(46) Ticket to Bombay(激) X 145 285/7 TIERRA BUENA(激) SN 115 246/5 TimeHollow(激) X 94 185/14 TOMORROW(激) SN 140 290/10 Tomorrow Perfume(激) SN 144 258/33 Tracers (4Beat Remix)(激) X 140 300/7 Trim(踊) SN2 85-340 313/13 TRIP MACHINE(激) 1st 160 230/0 TRIP MACHINE ~luv mix~(踊) 3rd 160 251/0 TRUE ♥ LOVE(激) SN 188 353/1 Trust -DanceDanceRevolution mix-(激) SN2 164 288/22 U Can t Touch This(激) X 133 299/25 un deux trois(激) SN 70-140 267/11 VANESSA(踊) X2 185 327/17 We Come Alive(激) X 126 291/15 WILD RUSH(激) 4th 80-180 247/0 xenon(踊) EXT 158 271/12 Xepher(踊) SN 170 336/9 You gotta move it (feat.Julie Rugaard)(激) SN 134 253/12 Your Angel(激) X2 175 353/16 月光蝶(激) SN 218 299/8 この子の七つのお祝いに(踊) SN 161 316/8 世界は踊る(激) X 110 240/5 チカラ(激) SN 185 367/1 ヒマワリ(激) SN 185 370/2 ポリリズム(激) X 128 323/12 凛として咲く花の如く(激) X 163 337/21
https://w.atwiki.jp/ddrspwiki2nd/pages/38.html
足10 (M~日本語) 全130曲（楽6曲／踊28曲／激87曲／鬼9曲） 旧足7中級～上級 半分以上が激譜面で、一部MAX2の鬼のみの曲やショックアロー搭載の鬼譜面、ボス曲の楽・踊譜面がある。 難易度変更情報 X→X2で難易度が変更された曲。 昇格曲Koko Soko(激) 9→10 Lift You Up(激) 9→10 Blue Rain(激) 10→11 Healing Vision (Angelic mix)(踊) 10→11 Party Lights(激) 10→11 Freeway Shuffle(鬼) 10→12 降格曲MOON(激) 11→10 曲名 フォルダ BPM NOTES/FREEZE(SHOCK) Malacca(激) X 140 229/3 MAX 300 (Super-Max-Me Mix)(楽) SN 140-320 345/30 MAXX UNLIMITED(楽) MAX2 140-320 222/49 Melody Life(激) X2 172 366/10 MIDNIGHT SPECIAL(激) SN 182 267/14 Monkey Punk(激) SN 180 322/17 MOON(激) SN 156 315/7 more more more(激) X2 135 268/27 NGO(楽) SN2 68-274 203/2 oarfish(激) X2 140 252/118 On The Break(踊) X 85-170 294/29 PARANOiA ETERNAL(踊) 5th 200 300/2 PARANOIA EVOLUTION(踊) 4th 200 287/0 PARANOiA MAX ~DIRTY MIX~(踊) 2nd 190 288/0 PARANOiA Rebirth(踊) 3rd 190 322/0 PASSION OF LOVE(激) SN 78-155 290/22 Pink Rose(激) EXT 146 243/25 Pluto The First(楽) X2 50-440 201/20 POSSESSION(楽) X2 185-370 389/13 rainbow rainbow(激) SN 177 307/12 S・A・G・A(踊) X 200-244 281/12 SABER WING(踊) X 74-222(-444) 346/33 SABER WING (AKIRA ISHIHARA Headshot mix)(楽) X 79-316 297/17 sakura storm(激) X2 184 311/13 Sakura Sunrise(踊) X2 181 340/20 Silent Hill(激) 3rd 125 265/0 Silent Hill (3rd christmas mix)(鬼) MAX2 125 232/50 Slip Out (bounce in beat mix)(激) X 106 228/53 smooooch・∀・(鬼) X2 177 278/8(46) SP-TRIP MACHINE ~JUNGLE MIX~(激) 2nd 160 245/0 Star Gate Heaven(激) SN 145 281/5 STARS☆☆☆ (Re-tuned by HΛL) -DDR EDITION-(踊) SN2 145 280/9 STILL IN MY HEART(激) 5th 150 290/0 SUPER STAR (FROM NONSTOP MEGAMIX)(鬼) MAX2 128 282/8 Swingin (激) X 105 245/6 switch(激) SN2 152 289/14 Taj He Spitz(激) X 107 281/2 The flower in your smile(激) X 186 293/8 Theory of Eternity(鬼) X2 160 275/12(46) Ticket to Bombay(激) X 145 285/7 TIERRA BUENA(激) SN 115 246/5 TimeHollow(激) X 94 185/14 TOMORROW(激) SN 140 290/10 Tomorrow Perfume(激) SN 144 258/33 Tracers (4Beat Remix)(激) X 140 300/7 Trim(踊) SN2 85-340 313/13 TRIP MACHINE(激) 1st 160 230/0 TRIP MACHINE ~luv mix~(踊) 3rd 160 251/0 TRUE ♥ LOVE(激) SN 188 353/1 Trust -DanceDanceRevolution mix-(激) SN2 164 288/22 U Can t Touch This(激) X 133 299/25 un deux trois(激) SN 70-140 267/11 VANESSA(踊) X2 185 327/17 We Come Alive(激) X 126 291/15 WILD RUSH(激) 4th 80-180 247/0 xenon(踊) EXT 158 271/12 Xepher(踊) SN 170 336/9 You gotta move it (feat.Julie Rugaard)(激) SN 134 253/12 Your Angel(激) X2 175 353/16 月光蝶(激) SN 218 299/8 この子の七つのお祝いに(踊) SN 161 316/8 世界は踊る(激) X 110 240/5 チカラ(激) SN 185 367/1 ヒマワリ(激) SN 185 370/2 ポリリズム(激) X 128 323/12 凛として咲く花の如く(激) X 163 337/21
https://w.atwiki.jp/ngssoft/pages/17.html
SHRiMP - SHort Read Mapping Package http //compbio.cs.toronto.edu/shrimp/ SHRiMP2はリファレンスゲノムに対してリードをマッピングするためのソフトウエアです。 SHRiMP2の特徴として 入力ファイルはFasta 出力ファイルはSAM letter space (Illumina/Solexa)とcolour space (AB SOLiD)の両方のリードをサポート pair-end情報を利用するペアマッピングモード SMPプロセッサの能力をフルに利用する並列計算 SHRiMP2はリードをゲノムにマッピングするために2つの技術を利用します。 まずはじめに、それぞれのリードのマッピング場所の候補を見つけるためにq-gram filtering技術を使います。 次に見つかった候補を標準的な(Smith-Waterman)アルゴリズムによって徹底的に調査します。それによって、ミスマッチ(SNPs)、micro-indels、crossovers(カラースペースのシーケンシングエラー)を正確に同定することができます。 SHRiMP2はまず高い感度を第一目標としてきましたが、妥当なスピードを得るために 検出感度 SHRiMP2は1つのSNPと大きさが5bpまでの1つのindelをもつ、4% per-base error でシーケンスされた50bpのカラースペースリードをマッピングした時に94.4%の適合率(precision)と78.6%の再現率(recall)を得ることができます。 スピード SHRiMP2は１つの3.0GHzCPUで16GBのRAMをもつ計算機を利用した時に、36bpのカラースペースリードをヒトゲノムに対して一時間に160,000リードマッピングすることができます。また、pair-end情報を利用すると、速度は2倍になります。 SHRiMP2は並列に計算を行うため、16GBのRAMをもつ2 quad-core CPUの計算機を4台利用した場合、4x2x4=32倍の速度でマッピングすることができます。 更新履歴 SHRiMP_2_0_1 26-Jun-2010 SHRiMP_2_0_0 12-May-2010 SHRiMP_1_3_2 30-Jan-2010 SHRiMP_1_3_1 24-Nov-2009 SHRiMP_1_3_0 06-Oct-2009