tet550/jawiki_sentences huggingface dataset:
わいわい行進曲
『わいわい行進曲』(わいわいこうしんきょく)は、声優の小山茉美、堀江美都子のシングル。河岸亜砂作詞、菊池俊輔作曲。
2曲は、フジテレビ系列で放送されたテレビアニメ『Dr.スランプ アラレちゃん』の第198話から第239話(1985年3月27日から1986年1月22日)までの主題歌、劇場版『Dr.スランプ アラレちゃん ほよよ!夢の都メカポリス』のオープニングテーマ。カップリング曲には、堀江美都子が歌う「あなたに真実一路」が収録されている。
「Dr.スランプアラレちゃん全曲集 Soundtrack」や「Dr.スランプアラレちゃん」めちゃんこベスト24」、「菊池俊輔 作曲50周年 CD-BOX」「Jアニメ TV主題歌大全集」にも収録されている。他に「わいわい行進曲」は「たのしい歌入り♪こどもマーチ*ベスト」、「あなたに真実一路」は「堀江美都子TV主題歌大全集」にも収録されている。
わいわい行進曲
歌:則巻アラレ(小山茉美)、コロムビアゆりかご会
台詞:則巻千兵衛(内海賢二)、則巻アラレ(小山茉美)
作詞:河岸亜砂、作曲:菊池俊輔、編曲:たかしまあきひこ
あなたに真実一路
歌:オボッチャマン(堀江美都子)
作詞:冬杜花代子、作曲:菊池俊輔、編曲:たかしまあきひこ
いちばん星み〜つけた
いちばん星み〜つけた
「いちばん星み〜つけた」(いちばんぼしみ〜つけた)は、水森亜土のシングル。河岸亜砂作詞、菊池俊輔作曲。
フジテレビおよび系列各局で放送されたテレビアニメ『Dr.スランプ アラレちゃん』の第128話から第173話(1983年9月28日‐1984年9月12日)までのエンディング、劇場版『Dr.スランプ アラレちゃん ほよよ!ナナバ城の秘宝』のエンディング。カップリング曲には、「オボッチャマンでございます」が収録されている。「オボッチャマンでございます」は157話の挿入歌として使われた。「Dr.スランプアラレちゃん全曲集 Soundtrack」や「Dr.スランプアラレちゃん」めちゃんこベスト24」「菊池俊輔 作曲50周年 CD-BOX」にも同曲が収録されている。
いちばん星み〜つけた
歌:水森亜土
作詞:河岸亜砂、作曲:菊池俊輔、編曲:たかしまあきひこ
オボッチャマンでございます
歌:堀江美都子
作詞:くのたかし、作曲:菊池俊輔、編曲:たかしまあきひこ
ハロ!プロ
Redirect ハロー!プロジェクト
淀町
淀町
特記以外の読みは「よどまち」。
淀町 - 京都府 久世郡 に所在。現・京都市(伏見区)。(よどちょう) → 淀
淀町 (鰺ヶ沢町) - 青森県 西津軽郡 鰺ヶ沢町 の地名。
淀町 (河南町) - 石川県 加賀市 河南町 の地名。
淀町 - 名古屋城下町に存在した地名。明治時代初期に伏見町に吸収された。
大石淀町 - 滋賀県 大津市 の地名。(おおいしよどちょう)
福岡市立百道小学校
福岡市立百道小学校(ふくおかしりつ ももちしょうがっこう)は、福岡県福岡市早良区百道三丁目にある公立小学校。
西新小学校の児童数増加を受け、1954年 (昭和29年)4月1日に西新小学校百道分校として創設され、翌1955年(30年) 4月1日付けで福岡市立百道小学校として独立開校した。当時は児童数768名、学級数14、教師数22名の規模であった。以後、児童数が増加の一途をたどり、1959年 (昭和34年) には児童数1,228名、学級数25となる。同年、室見小学校が創設され、校区の一部を分離して、児童数905名、学級数20となった。
また、学習にかける時間を増加させるためとして、3学期制から2学期制とした。
自ら学ぶ意欲と生きて働く学力や個性を高め、生涯を豊かにたくましく生きる子どもの育成を目指す。
1954年 - 福岡市立西新小学校の分校として、現在の場所に創設
1955年 - 福岡市の38番目の小学校として独立開校
1958年 - 室見小学校の前身となる百道小学校、高取小学校の分校を庄字金丸に創設
1959年 - 新たに創設された室見小学校に校区の一部を分割する
2005年 - 百道浜小学校創設にともない校区の一部を分割する。
百道1丁目〜3丁目、室見1丁目
福岡市地下鉄空港線 藤崎駅より徒歩6分
西鉄バス 百道バス停より徒歩2分
西鉄バス 百道浜4丁目バス停より徒歩4分
西鉄バス 百道中央公園西口バス停より徒歩5分
西鉄バス 藤崎バス停より徒歩6分
炎と嵐
「炎と嵐」(ほのおとあらし)は、長崎萠(現:平良千春)名義の1作目のシングル。1997年4月21日にソニーレコードから発売された。
長崎萠としてのデビューシングル。これ以前では、彼女が声優として出演した「THE KING OF FIGHTERS '95」 及び「ガルフォース〜ザ・レヴォリューション」、それぞれに対して、キャラクターソングを歌っている。
炎と嵐(3:52)
作詞:白峰美津子、作曲:都志見隆、編曲: 岩崎琢
三日月(ナイフ)(3:46)
作詞:大森祥子、作曲:都志見隆、編曲: 岩崎琢
炎と嵐 (オリジナル・カラオケ)(3:52)
三日月(ナイフ) (オリジナル・カラオケ)(3:46)
ローワン・ブランチャード
Rowan Blanchard
ローワン・ブランチャード(Rowan Blanchard、2001年10月14日 - )は、アメリカ合衆国の女優。ディズニー・チャンネル放送コメディドラマ『ガール・ミーツ・ワールド』のライリー・マシューズ役で知られる。
アメリカ合衆国カリフォルニア州ロサンゼルス出身。ヨガのインストラクターをしている父マーク・ブランチャード、母エリザベス・ブランチャードの長女として生まれた。母方の祖父は(レバノン、モロッコ、アルメニア、シリア)の血を引く中東移民である。また、父方の祖母の先祖は(スウェーデン、デンマーク、イングランド)の血を引く北ヨーロッパ出身である。母方の曾祖父からはドイツの血を、母方の曾祖母からはポルトガルの血を引いている。妹のカルメン(Carmen)と弟のシェイン(Shane)がいる。
5歳の時に演技を始めた。2010年、ジェニファー・ロペス主演のロマンティック・コメディ映画『カレには言えない私のケイカク』のミカエラ・ワトキンス演じるモナの娘役でデビューする。2011年、スパイアクション映画『スパイキッズ』シリーズの第4作である『スパイキッズ4D:ワールドタイム・ミッション』 に出演、スパイキッズのレベッカ・ウィルソン役を演じている。
アメリカABCで1993年から2000年まで放送された『ボーイ・ミーツ・ワールド』の派生ドラマである『ガール・ミーツ・ワールド』で主人公ライリー・マシューズ役に2013年1月にキャスティングされたことが発表される。オーディションは約12回に及んだという。米国で2014年6月27日放送開始され、日本では2015年1月からディズニー・チャンネルで放送。第3シーズンが放送中。。同番組の主題歌「Take On The World」は親友役のマヤ・ハートを演じるサブリナ・カーペンターとデュエットで歌っている。2015年秋、『いつだってベストフレンド』に同役で出演。2013年公開のアニメーション映画『アナと雪の女王』からの曲名「雪だるまつくろう」(原題: 「Do You Want to Build a Snowman?」)をディズニー・チャンネルのドラマ出演者たちによるカバー曲として発表されている。
2015年1月、科学プロジェクトで姿が見えなくなる姉との騒動を描いたコメディで、ディズニー・チャンネル・オリジナル・ムービーの『インビジブル・シスター』に出演し、主演のクレオを演じることが発表された。撮影は同年春に行われ、アメリカでは2015年10月9日に放送され、日本では2016年1月30日にディズニー・チャンネルで放送された。
国連組織UNウィメンの会議に参加して性別の平等についてスピーチを行っている。ホワイト・フェミニズムについてエッセイで表明。その後、米誌『タイム』が発表した2015年の「最も影響力のあるティーン」に選ばれている。
2016年に入ってから「私はこれまでの人生で、男の子を好きになった経験しかないけれど」「自分のことをストレートであれ、ゲイであれ、そんなような言葉で定義したくない。(中略)ただ存在しているってだけよ」と表明している。そしてクィアと自認している。
2014年12月、カリフォルニア州オレンジ郡小児病院に入院している子供たちを訪問。
2015年4月、テネシー州アーランガーの小児病院を訪問、KIDZエキスポに参加した。
『ガール・ミーツ・ワールド』の共演者とプライベートでも親しく、親友を演じているサブリナカーペンターとはお互いに親友であるとコメントしている。
外崎大輔
とのさき だいすけ
外崎 大輔(とのさき だいすけ、11月6日 - )は、日本の男性声優。青森県出身。スリートゥリー所属。冒頭部分に記載する代表作は、編集合戦誘発の原因となりますので、多数の出典で確認できるものに限ってください。プロジェクト:声優#冒頭部分にてガイドラインが制定されていますので、そちらも参照して下さい。
ブレンダン・フレイザーのエリートをぶっとばせ!(2014年、レアード 役)
ピエール・ブーヴィエ
Pierre Bouvier
ピエール・ブーヴィエ(Pierre Bouvier、1979年5月9日 - )はカナダのミュージシャン。シンプル・プランのメンバー。
ジェフ・スティンコ
Jeff Stinco
ジェフ・スティンコ(Jeff Stinco、1978年8月22日 - )はカナダのミュージシャン。シンプル・プランのメンバー。
チャック・コモー
Chuck Comeau
チャック・コモー(Chuck Comeau、1979年9月17日 - )はカナダのミュージシャン。シンプル・プランのメンバー。
デヴィッド・デロシアーズ
David Desrosiers
デヴィッド・デロジェ(David Desrosiers、 deʁozje, 1980年8月29日 - )はカナダのミュージシャン。シンプル・プランのメンバー。
セバスチャン・ルフェーヴル
Sébastien Lefebvre
セバスチャン・ルフェーヴル(Sébastien Lefebvre、1981年6月5日 - )はカナダのミュージシャン。シンプル・プランのメンバー。
クルル環
可換環論において、クルル環 (Krull ring) あるいはクルル整域 (Krull domain) は素イデアル分解の良い振る舞いの理論を伴った可換環である。それらは  によって導入された。それらはデデキント整域の高次元の一般化である。デデキント整域はちょうど次元が高々 1 のクルル整域である。
この記事において、環は可換で単位元をもつ。
A を整域とし P を高さ 1 の A のすべての素イデアルからなる集合、すなわち、0 でない素イデアルを真に含まないすべての素イデアルの集合とする。このとき A がクルル環 (Krull ring) であるとは、
A_{\mathfrak{p}  はすべての  \mathfrak{p} \in P  に対して離散付値環であり、
A はこれらの離散付値環の共通部分(A の商体の部分環と考えて)である。
A の任意の 0 でない元は高さ 1 の素イデアルの有限個にしか含まれない。
クルル整域が一意分解整域であることと高さ 1 のすべての素イデアルが単項イデアルであることは同値である。
A をザリスキ環(例えば局所ネーター環)とする。完備化 A がクルル整域であれば、A はクルル整域である。
すべての整閉ネーター整域はクルル環である。とくに、デデキント整域はクルル環である。逆に、クルル環は整閉であり、したがってネーター整域がクルルであることと整閉であることは同値である。
A がクルル環であれば多項式環 Ax と形式的冪級数環 Ax もそうである。
一意分解整域 R 上の無限変数多項式環 Rx1, x2, x3, … はネーターでないクルル環である。一般に、任意の一意分解整域はクルル環である。
A をネーター整域で商体を K とし、L を K の有限代数拡大とする。このとき A の L における整閉包はクルル環である (森–永田の定理)。
クルル環 A の(ヴェイユ)因子は高さ 1 の素イデアルの形式的整数線型結合であり、これらは群 D(A) をなす。A のある 0 でない x に対して div(x) の形の因子は主因子と呼ばれ、主因子は因子全体の群の部分群をなす。因子全体の群の主因子全体の部分群による商は A の因子類群 (divisor class group) と呼ばれる。
クルル環のカルティエ因子は局所主(ヴェイユ)因子である。カルティエ因子は主因子を含む、因子全体の群の部分群をなす。カルティエ因子の主因子による商は因子類群の部分群であり、Spec(A) 上の可逆層のピカール群に同型である。
例: 環 kx, y, z/(xy – z2) において因子類群は位数 2 をもち、因子 y = z によって生成されるが、ピカール部分群は自明群である。
環の直積
数学において、いくつかの環を1つの大きい直積環、積環 (product ring) に合併することができる。これは次のようにされる: I がある添え字集合で Ri が I のすべての i に対して環であれば、カルテジアン積 Πi ∈ I Ri は演算を 成分ごとの演算として定義することによって環にできる。
得られる環は環 Ri の直積 (direct product) と呼ばれる。有限個の環の直積は環の直和 (direct sum) と一致する。
重要な例は整数の n を法とした環 Z/nZ である。n が素数のベキの積
n=p_1^{n_1}\  p_2^{n_2}\ \cdots\ p_k^{n_k}
ただし pi は相異なる素数、として書かれていれば(算術の基本定理を見よ)、Z/nZ は自然に直積環
\mathbf{Z}/p_1^{n_1}\mathbf{Z} \ \times \ \mathbf{Z}/p_2^{n_2}\mathbf{Z} \ \times \ \cdots \ \times \ \mathbf{Z}/p_k^{n_k}\mathbf{Z}
と同型である。これは中国剰余定理から従う。
R = Πi ∈ I Ri が環の積であれば、すべての i ∈ I に対して、i 番目の座標に積を射影する全射環準同型 pi: R → Ri がある。射影 pi とともに積 R は、以下の普遍性をもっている:
S が任意の環で fi: S → Ri がすべての i ∈ I に対して環準同型であれば、ちょうど1つの環準同型 f: S → R が存在してすべての i ∈ I に対して pi ∘ f = fi である。
これは環の積が圏論の意味での積の例であることを示している。しかしながら、I が有限のときには環の直和とも呼ばれるにもかかわらず、環の直積は圏論の意味で余積ではない。とくに、I が1つより多くの元をもっていれば、包含写像 Ri → R は環準同型ではない、なぜならばそれは Ri の単位元を R の単位元に写さないからだ。
各 i ∈ I に対して Ai が Ri のイデアルであれば、A = Πi ∈ I Ai は R のイデアルである。I が有限であれば、逆が正しい、すなわち R のすべてのイデアルはこの形である。しかしながら、I が無限で環 Ri が 0 でなければ、逆は間違いである。有限個を除いてすべてが 0 でない座標の元全体の集合は Ri たちのイデアルの直積ではないイデアルをなす。Ai の1つを除くすべてが Ri に等しく残りの Ai が Ri の素イデアルであれば、イデアル A は R の素イデアルである。しかしながら、I が無限のとき逆は正しくない。例えば、Ri の直和はどんなそのような A にも含まれないイデアルをなすが、選択公理によって、a fortiori に素イデアルである極大イデアルに含まれる。
R の元 x が単元であることとその 成分 のすべてが単元であることは同値である、すなわち pi(x) がすべての i ∈ I に対して Ri の単元であることは同値である。R の単元群は Ri の単元群の直積である。
1 つよりも多い 0 でない環の積は常に零因子をもつ: x が pi(x) を除いて座標がすべて 0 の積の元で y が pi(x) を除いて座標がすべて 0 の積の元 (i ≠ j) であれば、積環において xy = 0 である。
ケーラー微分
数学において、ケーラー微分 (Kähler differential) は微分形式の任意の可換環やスキームへの応用を提供する。
アイデアは エーリッヒ・ケーラー によって1930年代に導入された。それは、少し後になって、複素数上の幾何から手法を適用する必要と微分積分学の手法の自由な使用に続いて、そのような手法が利用できない文脈に、可換環論と代数幾何において標準として適用された。
R と S を可換環とし φ:R → S を環準同型とする。重要な例は R が体で S が R 上単位的代数(例えばアフィン多様体の座標環)に対してである。
S 上の R-線型導分は R-加群の射 \mathrm d \colon S \to M であって R がその核に入りライプニッツ則 \mathrm d (fg) = f \mathrm \, \mathrm dg + g \, \mathrm df を満たす。ケーラー微分の加群は他のすべてを分解する R-線型導分 \mathrm d \colon S \to \Omega_{S/R} として定義される。
アイデアは今 R 上の導分 (抽象代数学)
d:S → ΩS/R
の普遍的構成を与えることである、ただし ΩS/R は S-加群であって、外微分の純代数的類似である。これが意味するのは d は R-加群の準同型であって S のすべての s と t に対して
d(st) = s dt + t ds
ということであり、d は任意の他の導分が S-加群準同型との合成によってそれから得られるという意味でそのような最良の導分である。
ΩS/R と d の実際の構成は以下のように進行する。S の元 s に対して形式的な生成元 ds を導入し、次の関係を課す: S のすべての元 s と t に対して、
dr = 0 for r in R,
d(s + t) = ds + dt,
d(st) = s dt + t ds
別の構成もある。I をテンソル積 S \otimes_R S の次のようなイデアルとする。すなわち、\Sigma s_i \otimes t_i \mapsto \Sigma s_i.t_i によって与えられる積写像 S \otimes_R S\to S の核として I を定義する。このとき S のケーラー微分の加群は次のように定義しても同値である。ΩS/R = I/I2 とし、射 d は
\mathrm ds = 1 \otimes s - s \otimes 1. \,
この構成が前の構成と同値であることを見るために、I は \Sigma s_i \otimes t_i \mapsto \Sigma s_i.t_i\otimes 1 によって与えられる射影 S \otimes_R S\to S \otimes_R R の核であることに注意しよう。したがって:
S \otimes_R S \equiv\,\,{} I \,{} \oplus S \otimes_R R.\,
すると S \otimes_R S/ S\otimes_R R  は、\Sigma s_i \otimes t_i \mapsto  \Sigma s_i \otimes t_i-\Sigma s_i.t_i\otimes 1 によって与えられるcomplementary projectionによって誘導される写像によって、I と同一視できる。
したがってこの写像は I を S の元 s に対して形式的な生成元 ds で生成された S 加群と同一視し、上で与えられた最初の2つの関係に従う(二番目の関係は d が R-線型であると要求することで強くなる)。最後の関係によって 0 に設定される元はちょうど I の I2 に写る。
幾何学的には、アフィンスキームの言葉で、I は Spec(S) → Spec(R) 上の Spec(S) のそれ自身とのファイバー積において対角線を定義するイデアルを表す。したがってこの構成は次のような意味でより幾何学的な風味をもつ。対角線の first infinitesimal neighbourhood の概念はそれによって二番目に少なくとも消える関数を法として消える関数を経由してとらえられる(関連した概念には余接空間を見よ)。
任意の S-加群 M に対して、ΩS/R の普遍性は自然同型
\operatorname{Der}_R(S,M)\cong \operatorname{Hom}_S(\Omega_{S/R},M)\,
を導く、ただし左辺は S から M へのすべての R-線型導分からなる S-加群である。(これは随伴ではないが)随伴関手の場合のように、これは単に加群の同型以上のものである。それは S-加群準同型 M → M と交換ししたがって関手の同型である。
p > 1 に対してケーラー p-形式 ΩpS/R を得るために、R-加群、p 次外冪をとる。(R と S に適用される)環の局所化のもとでの構成の振る舞いは代数幾何学における使用が可能な(相対)ケーラー p-形式の層の幾何学的概念が存在することを保証する。
代数的整数論において、ケーラー微分を代数体の拡大の分岐を研究するために使うことができる。L/K が有限拡大でそれぞれの整数環が O と o であれば、different ideal δL/K は、分岐のデータをエンコードするが、O-加群 ΩO/o の零化イデアルである:
\delta_{L/K} = \{ x \in O : x \mathrm{d} y = 0 \text{ for all } y \in O \} .
シュライアー整域
抽象代数学において、シュライアー整域 (Schreier domain) は、Otto Schreier にちなんで名づけられているが、整閉整域であって、すべての 0 でない元が primal なものである、すなわち、x が yz を割るときにはいつでも x は x = x1 x2 と書くことができて x1 は y を割り x2 は z を割る。整域が pre-Schreier とは、すべての 0 でない元が primal ということである。GCD整域はシュライアー整域の例である。用語"シュライアー整域"は P. M. Cohn によって 1960s に導入された。用語 "pre-Schreier domain" は Muhammad Zafrullah による。
一般に、既約元が primal であることと素元であることは同値である。したがって、シュライアー整域において、すべての既約元は素元である。とくに、atomic Schreier 整域は一意分解整域である。これは atomic GCD 整域は UFD であるという事実を一般化する。
ザリスキ環
可換環論において、ザリスキ環 (Zariski ring) は可換ネーター位相環 A であってその位相がジャコブソン根基、すべての極大イデアルの共通部分、に含まれるイデアル m によって定義されているものである。それらは  によって今では幾分違うことを意味する「半局所環」(semi-local ring) の名前で導入され、 によって「ザリスキ環」(Zariski ring) と名付けられた。ザリスキ環の例はネーター局所環と、ネーター環の \mathfrak a-進完備化である。
A をネーター環とし \widehat{A} をその \mathfrak a-進完備化とする。このとき以下は同値である。
\widehat{A} は A 上忠実平坦である(一般には、平坦でしかない)。
すべての極大イデアルは \mathfrak a-進位相で閉である。
A はザリスキ環である。
加群の長さ
抽象代数学において、加群の長さ (length) は加群の「大きさ」の尺度である。それは部分加群の最長の鎖の長さと定義され、ベクトル空間の次元の概念の一般化である。有限の長さをもつ加群は有限次元ベクトル空間と多くの重要な性質を共有する。
環と加群の理論において「大きさを測る」ために使われる他の概念は深さと高さである。これらは両方とも定義するのが幾分デリケートである。これらはまた有用な次元のさまざまなアイデアである。長さ有限の可換環は形式的な代数幾何学の関手的扱いにおいて本質的な役割を果たす。
M をある環 R 上の(左または右)加群とする。
N_0\subsetneq N_1 \subsetneq \cdots \subsetneq N_n
の形の M の部分加群の鎖が与えられると、n を鎖の長さ (length) という。M の長さはその任意の鎖の最長の長さと定義される。そのような最大の長さが存在しなければ、M の長さは無限であるという。
環 R が左 R 加群として有限の長さをもつとき,環として有限の長さをもつという。
零加群は長さ 0 の唯一の加群である。長さ 1 の加群はちょうど単純加群である。
すべての有限次元ベクトル空間に対して(基礎体上の加群と見て)長さと次元は一致する。
巡回群 Z/nZ の長さは(整数環 Z 上の加群と見て)n の重複度も込めた素因数の数に等しい。
加群 M が有限の長さをもつこととアルティンかつネーターであることは同値である。
M が有限の長さをもち N が M の部分加群であれば、N もまた有限の長さをもち、length(N) ≤ length(M) が成り立つ。さらに、N が M の真の部分加群であれば(すなわち M に等しくなければ)、length(N) < length(M) である。
加群 M1 と M2 が有限の長さをもてば、それらの直和もそうであり、直和の長さは M1 と M2 の長さの和に等しい。
0\rarr L \rarr M \rarr N \rarr 0
を R-加群の短完全列とする。このとき M が有限の長さをもつことと L と N が有限の長さもつことは同値であり、
length(M) = length(L) + length(N)
が成り立つ(この主張は前の 2 つを意味する)。
加群 M の組成列は
0=N_0\subsetneq N_1 \subsetneq \cdots \subsetneq N_n=M
N_{i+1}/N_i \mbox{ is simple for }i=0,\dots,n-1
であるようなものである。すべての長さ有限の加群 M は組成列をもち、すべてのそのような組成列の長さは M の長さに等しい。
ねじれなし加群
捩れなし加群 (torsion-free module) は代数学において、環上の加群 M であって、M において 0M のみが、台となる環の何れかの正則元(非零因子)とのスカラー倍によって 0M となりうる唯一の元であるようなものである。
整域 D において正則元は 0D でない元であるので、この場合捩れなし加群 M は 0M が環の非零元によって零化される唯一の元であるようなものである。整域上だけで考えこの条件を捩れなし加群の定義として使う著者もいるが、より一般の環上ではこれはうまくいかない。
というのも環が零因子をもてばこの条件を満たす加群は零加群しかないからだ。
全商環が K の可換環 R 上、加群 M が捩れなしであることと Tor1(K/R,M) が消えることは同値である。したがって平坦加群、とくに自由加群と射影加群は捩れなしであるが、逆が正しい必要はない。平坦でない捩れなし加群の例は体 k 上の多項式環 k[x,y] のイデアル (x,y) である。
任意の不ねじれ加群(torsionless module)は捩れなし加群であるが、逆は正しくない、なぜならば Q は 「不ねじれ」 でない捩れなし Z-加群だからだ。
ネーター整域上、捩れなし加群は唯一の素因子が 0 である加群である。より一般に、ネーター可換環上、捩れなし加群はすべての素因子が環の素因子に含まれる加群である。
ネーター整閉整域上、任意の有限生成捩れなし加群は自由部分加群であってそれによる商が環のイデアルに同型なものをもつ。
デデキント整域上、有限生成加群が捩れなしであることと射影的であることは同値であるが、一般には自由でない。任意のそのような加群は有限生成自由加群とイデアルの和に同型であり、イデアルのクラスは加群によって一意的に決まる。
主イデアル整域上、有限生成加群が捩れなしであることと自由であることは同値である。
群の生成系
抽象代数学において、群の生成系、生成集合 (generating set of a group) は部分集合であって群のすべての元が(群演算のもとで)その部分集合の有限個の元とそれらの逆元の結合として表現できるものである。
言い換えると、S が群 G の部分集合であれば、<S>、S で生成される部分群 (subgroup generated by S)、は S のすべての元を含む G の最小の部分群である、すなわち S のすべての元を含む部分群すべてに渡る共通部分である。同じことだが、<S> は S の元とそれらの逆元の有限積として書ける G のすべての元からなる部分群である。
\langle S \rangle = \{\, s_1^{e_1} \dotsb s_n^{e_n} \in G \mid n \in \mathbb{N},\ s_i \in S,\ e_i = \pm 1 \,\}
G = <S> であれば、S は G を生成する (generate) といい、S の元は生成元 (generator) や群の生成元 (group generator) と呼ばれる。S が空集合であれば、<S> は自明群 {e} である、なぜならば空積を単位元と考えるからである。
S にたった1つの元 x しかなければ、<S> は通常 <x> と書かれる。この場合、<x> は x のベキからなる巡回部分群 (cyclic subgroup) であり、巡回群で、この群は x によって生成されるという。元 x が群を生成すると言うことと同値なことは <x> が群全体と等しいと言うことである。有限群に対しては、x が位数 |G| をもつと言っても同値である。
S が有限であれば、群 G = <S> は有限生成 (finitely generated) と呼ばれる。有限生成アーベル群の構造はとくに容易に記述される。有限生成群に対して正しい多くの定理は一般の群に対しては成り立たない。有限群が部分集合 S によって生成されれば群の各元は群の位数以下の長さのアルファベット S からの語として表現できるということが証明されている。
すべての有限群は <G> = G なので有限生成である。整数全体のなす加法群は 1 と -1 どちらにもよって有限生成な無限群の例であるが、有理数全体のなす加法群は有限生成ではありえない。非可算群は決して有限生成でない。
同じ群の異なる部分集合が生成部分集合になることがある。例えば、p と q が整数で gcd(p, q) = 1 であれば、{p, q} もまた(ベズーの等式によって)整数全体のなす加法群を生成する。
有限生成群のすべての商は有限生成であるということは正しい(単純に生成元の商における像をとればよい)が、有限生成群の部分群は有限生成である必要はない。例えば、G を2つの生成元 x と y による自由群とし(これは明らかに有限生成である、なぜならば G = <{x,y}>)、S を n を自然数として ynxy−n の形の G のすべての元からなる部分集合とする。<S> は明らかに可算生成の自由群に同型であるので、有限生成ではありえない。しかしながら、有限生成アーベル群のすべての部分群はそれ自身有限生成である。実は、より強いことが言える。すべての有限生成群からなるクラスは拡大の下で閉じている。これを見るためには、(有限生成)正規部分群と商の生成集合をとれ。すると正規部分群の生成元は商の生成元の原像とともに、群を生成する。
集合 S で生成される最も一般的な群は S によって自由的に生成される (freely generated) 群である。S によって生成されるすべての群はこの群の商に同型であり、群の表示 の表現において役立つ特徴である。
生成元と関連する話題には非生成元 (non-generator) に関するものがある。群 G の元 x は、G を生成する x を含むすべての集合 S が x を S から除いてもなお G を生成するならば、非生成元である。整数全体のなす加法群において、唯一の非生成元は 0 である。すべての非生成元からなる集合は G の部分群、フラッティーニ部分群をなす。
単元群 U(Z9) は mod 9 の積の下で 9 と互いに素なすべての整数からなる群である (U9 = {1, 2, 4, 5, 7, 8})。ここではすべての算術は 9 を法としてされる。7 は U(Z9) の生成元ではない、なぜならば
\{7^i \bmod{9}\ |\ i \in \mathbb{N}\} = \{7,4,1\}.
一方 2 は生成元である、なぜならば:
\{2^i \bmod{9}\ |\ i \in \mathbb{N}\} = \{2,4,8,7,5,1\}.
他方、 n > 2 に対して、n 次対称群は巡回群でないので、どんな 1 つの元によっても生成されない。しかしながら、それは2つの置換 (1 2) と (1 2 3 ... n) によって生成される。例えば、S3 に対して、
e = (1 2)(1 2)
(1 2) = (1 2)
(2 3) = (1 2)(1 2 3)
(1 3) = (1 2 3)(1 2)
(1 2 3) = (1 2 3)
(1 3 2) = (1 2)(1 2 3)(1 2)
無限群が有限の生成集合をもつことがある。整数全体のなす加法群は 1 を生成集合としてもつ。元 2 は生成集合ではない、なぜならば奇数がいないからだ。2元部分集合 {3, 5} は生成集合である、なぜならば (−5) + 3 + 3 = 1 だからである(実は、互いに素な数の任意のペアはベズーの等式の結果として生成集合である)。
行列群
数学において、行列群 (matrix group) は(通常は前もって固定される)ある体 K上の n 次可逆行列からなる群 G で、行列の積と逆の演算をもつ。より一般に、可換環 R 上の n 次可逆行列を考えることができる。(行列のサイズは有限に制限されていることに注意。なぜならば任意の群は任意の体上の無限行列の群として表現することができるからだ。)線型群 (linear group) は体 K 上の行列群に同型な抽象群である、言い換えれば、K 上の忠実な有限次元表現を持つ。
任意の有限群は線型である。これはケイリーの定理を使って置換行列により実現できることによる。無限群論の中で、線型群は面白く扱いやすいクラスをなす。線型でない群の例はすべての「十分大きい」群を含む(例:無限集合の置換からなる無限対称群)。
可換環 R 上の n 次正方行列全体の集合 Mn(R) はそれ自身行列の加法と乗法の下で環である。Mn(R) の単元群は環 R 上の一般線型群と呼ばれ、GLn(R) あるいは GL(n, R) と表記される。すべての行列群は一般線型群の部分群である。
とりわけ面白い行列群はいわゆる古典群である。行列群の基礎環が実数のとき、これらの群は古典リー群である。基礎環が有限体であるとき古典群はリー型の群である。これらの群は有限単純群の分類において重要な役割を果たす。
すべての有限群はある行列群と同型である。これはすべての有限群はある置換群と同型であると述べるケイリーの定理と似ている。同型の性質は推移的であるので、置換群から行列群をどのように構成するかを考えるだけでよい。
G を n 点 (Ω = {1, 2, …, n}) 上の置換群とし {g1, …, gk} を G の生成集合とする。複素数体上の一般線型群 GLn(C) は自然にベクトル空間 Cn に作用する。B = {b1, …, bn} を Cn の標準基底とする。各 gi に対して Mi ∈ GLn(C) を各 bj を bgi(j) に送る行列とする。つまり、置換 gi が点 j を k に送るならば、Mi は基底ベクトル bj を bk に送る。M を {M1, …, Mk} で生成される GLn(C) の部分群とする。すると G の Ω 上の作用はちょうど M の B 上の作用と同じである。各 gi を Mi に送る対応は同型に拡張され、したがってすべての群は行列群に同型であることが証明できる。
M は成分が 0 か 1 の行列しか含まないので体(上の場合 C)は無関係であることに注意しよう。0 と 1 はすべての体に存在するので任意の体に対して同じ構成をができる。
例として、G = S3、3点上の対称群とする。g1 = (1, 2, 3) と g2 = (1, 2) とする。このとき
M_1 = \begin{bmatrix}
0 & 0 & 1 \\
1 & 0 & 0 \\
0 & 1 & 0 \end{bmatrix}
M_2 = \begin{bmatrix}
0 & 1 & 0 \\
1 & 0 & 0 \\
0 & 0 & 1 \end{bmatrix}
M1b1 = b2, M1b2 = b3 そして M1b3 = b1.  同様に、M2b1 = b2, M2b2 = b1 そして M2b3 = b3.
線型変換と行列は(一般的に言って)数学においてよく理解されている対象であり、群の研究において広く使われてきた。とくに表現論は群から行列群への準同型を研究し、指標理論は表現のトレースによって与えられる群から体への写像を研究する。
リー群一覧、有限単純群一覧、単純リー群一覧、推移的有限線型群一覧を参照
任意の n について、ブレイド群 Bn は線型である。これは2000年に証明されるまで60年以上にわたって未解決であった。
重複度 (数学)
数学において、多重集合の元の重複度(ちょうふくど、じゅうふくど、multiplicity)は、それがその多重集合において現れる回数である。例えば、与えられた多項式方程式が与えられた点において持つ根の数など。
重複度の概念は、(「二重根」は二個と考えるなどの)例外を指定せずとも「重複度を込めて」(with multiplicity) と表現すれば正確に数えることができるという点で重要である。
重複度を無視する場合には、そのことを「相異なる根の個数」というように相異なる(あいことなる、distinct)と言って強調することもある。ただし、(多重集合ではなく)集合を考える場合には「相異なる」と断らずとも自動的に重複度は無視される。
素因数分解において、例えば、
60 = 2 \times 2 \times 3 \times 5
だと、素因数 2 の重複度は 2 であり、各素因数 3 と 5 の重複度は 1 である。したがって、60 は 4 つの素因数をもつが、異なる素因数は 3 つしかもたない。
F を体とし p(x) を F に係数をもつ一変数多項式とする。元 a \in F は次のようなとき p(x) の重複度 k の根と呼ばれる。
ある多項式 s(x) が存在して s(a) \ne 0 かつ p(x) = (x-a)^k {s(x)}とするとき、k = 1 であれば、a は単根(simple root)と呼ばれ、k \geqq 2 であれば、a は重根 (multiple root) と呼ばれる。
例えば、多項式 p(x) = x^3+2x^2-7x+4 は 1 と -4 を根としてもち、p(x) = (x+4)(x-1)^2 と書くことができる。これが意味するのは、1 は重複度 2 の根であり -4 は'単'根(重複度 1)である。重複度は「根が何回もとの方程式に現れるか?」として考えることができる。
多項式の導関数は多項式の重複度 n の根において重複度 n - 1 の根をもつ。多項式の判別式 が 0 であることと多項式が重根をもつことは同値である。
多項式関数 y = f(x) のグラフは x-軸と多項式の実根で交わる。グラフは f の重根でこの軸に接し、単根では接しない。グラフは重複度が奇数の根で x-軸とクロスし、重複度が偶数の根で x-軸から跳ね返る(突き抜けない)。
0 でない多項式関数がつねに非負であることと、すべてのその根の重複度が偶数である x_0 が存在して f(x_0) > 0 であることは同値である。
代数幾何学において、代数多様体の2つの部分多様体の共通部分は既約多様体の有限個の和集合である。そのような共通部分の各 component に対して交叉重複度 (intersection multiplicity) が取り付けられる。この概念は次の意味で局所性質である。この成分の任意の生成点の近傍において起こることを見ることでそれを定義できる。一般性を失うことなく、交叉重複度を定義するために2つのアフィン多様体(アフィン空間の部分多様体)の共通部分を考えることができるということが従う。
したがって、2つのアフィン多様体 V1 と V2 が与えられると、V1 と V2 の共通部分の既約成分 W を考えよう。d を W の代数多様体の次元とし、P を W の任意の生成点とする。W の P を通る一般の位置にある d 個の超平面との共通部分は一点 P にreduceされる既約成分をもつ。したがって、共通部分の座標環のこの成分における局所環は素イデアルを 1 つしかもたず、したがってアルティン環である。それゆえこの環は基礎体上有限次元ベクトル空間である。その次元が V1 と V2 の W における交叉重複度 (intersection multiplicity) である。
この定義によってベズーの定理とその一般化を正確に述べることができる。
この定義は多項式の根の重複度を次のように一般化する。多項式 f の根はアフィン直線上の点で、その多項式によって定義される代数的集合の成分である。このアフィン集合の座標環は R=K[X]/\langle f\rangle,  ただし K は f の係数を含む代数閉体。f(X)=\prod_{i=1}^k (X-\alpha_i)^{m_i} が f の分解であれば、R の素イデアル \langle X-\alpha_i\rangle における局所環は K[X]/\langle (X-\alpha)^{m_i}\rangle である。これは K 上のベクトル空間で、次元として根の重複度 m_i をもつ。
交叉重複度のこの定義は、本質的に Jean-Pierre Serre の本 Local algebra によるが、集合論的な成分(isolated component とも呼ばれる)に対してしかうまくいかず、埋め込まれた素因子に対してはうまくいかない。埋め込まれたケースを扱うために理論は発達してきている(詳細は交叉理論を見よ)。
z0 を正則関数  ƒ  の根とし、n を ƒ の n 次導関数の z0 における値が 0 とは異なるような最小の正の整数とする。このとき ƒ の z0 についての冪級数は n 次の項から始まり、ƒ は重複度(あるいは「位数」) n の根をもつという。n = 1 であれば、根は単根と呼ばれる (Krantz 1999, p. 70)。
有理型関数の零点と極の重複度もまた次のように定義することができる。有理型関数 ƒ = g/h があれば、点 z0 についての g と h のテイラー展開をとり、それぞれにおいて最初の 0 でない項を見つける(項の位数をそれぞれ m と n で表す)。m = n であれば、点は 0 でない値をもつ。m > n であれば、点は重複度 m − n の零点である。m < n であれば、点は重複度 n − m の極をもつ。
リーマンのクシー関数
数学において、リーマンのクシー関数(リーマンのクシーかんすう、Riemann Xi function)はリーマンのゼータ関数の変形で、とりわけ単純な関数等式をもつように定義される。関数はベルンハルト・リーマンに敬意を表して名づけられている。
リーマンのもともとの小文字のクシー関数、ξ はエトムント・ランダウによって大文字のクシー Ξ に改名された(下記参照)。ランダウの小文字クシー ξ は次のように定義される: s ∈ C に対して
\xi(s) = \frac{1}{2} s(s-1) \pi^{-s/2} \Gamma\left(\frac{1}{2} s\right) \zeta(s).
ここで ζ(s) はリーマンのゼータ関数を表し、Γ(s) はガンマ関数である。クシーの関数等式(あるいは reflection formula)は
\xi(1-s) = \xi(s)
である。大文字のクシー Ξ は Landau (loc. cit., §71) によって
\Xi(z) = \xi\left(\frac12+zi\right)
と定義され、関数等式
\Xi(-z) =\Xi(z)
をもつ。Landau (loc. cit., p. 894) によって報告されているようにこの関数 Ξ はリーマンがもともと ξ によって表記した関数である。
\xi(2n) = (-1)^{n+1}\frac{1}{(2n)!}B_{2n}2^{2n-1}\pi^{n}(2n^2-n)(n-1)!
である、ただし Bn は n 番目のベルヌーイ数を表す。例えば
\xi(2) = {\pi \over 6}
である。
\frac{d}{dz} \log \xi \left(\frac{-z}{1-z}\right) =
\sum_{n=0}^\infty \lambda_{n+1} z^n
をもつ、ただし
\lambda_n = \frac{1}{(n-1)!} \left. \frac{d^n}{ds^n}
\left[s^{n-1} \log \xi(s) \right] \right|_{s=1} = \sum_{\rho} \left[1-
\left(1-\frac{1}{\rho}\right)^n\right]
であり、この和はゼータ関数の非自明な零点 ρ を Im(ρ) の順番で渡る。
この展開は Li's criterion においてとりわけ重要な役割を果たす。その主張は、リーマン予想はすべての正の n に対して λn > 0 であることと同値であるというものである。
\Xi(s) = \Xi(0)\prod_\rho \left(1 - \frac{s}{\rho} \right),\!
ただし ρ は ξ の根を走る。
展開の収束を保証するには、積は零点の "matching pairs" 上でとられなければならない、すなわち ρ と 1 − ρ の形の零点のペアの因子は一緒にグループされなければならない。
有限生成群
代数学における有限生成群(ゆうげんせいせいぐん、finitely generated group)は、適当な有限部分集合 S を生成系とする群 G を言う。すなわち有限生成群 G の任意の元は、S ∪ S−1(有限集合 S とそれに属する元の逆元の集合 S−1 の合併)の有限個の元の積に書ける。
定義により任意の有限群 G は有限生成である(S = G ととればよい)。任意の有限生成無限群は可算でなければならないが、任意の可算群は必ずしも有限生成でない。実際、有理数全体の成す加法群 Q は有限生成でない可算群の例を与える。
有限生成群の任意の剰余群はまた有限生成である。有限生成群の部分群は有限生成とは限らない。
単生群すなわちただ一つの元で生成される群は巡回群とも呼ばれる。任意の無限巡回群は整数全体の成す加法群 Z に同型である。
群が局所巡回群であるとは、任意の有限生成部分群が単生なるときに言う。有理数の加法群 Q は巡回群でない局所巡回群の例を与える。任意の局所巡回群はアーベル群である。任意の有限生成局所巡回群は巡回群である。
任意のアーベル群は有理整数環 Z 上の加群と見ることができ、生成系 x1, …, xn を持つ有限生成アーベル群 G は、その任意の元 x をそれら生成元の整係数線型結合
(α1, …, αn は適当な整数)として書くことができる。
有限生成アーベル群の基本定理は、有限生成アーベル群が有限階の自由アーベル群と有限アーベル群の直和に分解できて、各直和因子が同型を除いて一意となることを述べるものである。
有限生成群の部分群は必ずしも有限生成に限らない。二元生成自由群 F2 の交換子部分群は有限生成群の有限生成でない部分群の例を与える。
有限生成群の指数有限な部分群は常に有限生成であり、またシュライアー指数公式はそのような部分群に対して必要な生成元の数の上限を与える。
は自由群の二つの有限生成部分群の交わりがふたたび有限生成となることを示した。より精確には、二つの有限生成部分群の生成元の数をそれぞれ m, n とするとき、それら部分群の交わりは高々 2mn − m − n + 1 個の生成元で生成される。この上界の値はハンナ・ノイマンによって 2(m − 1)(n − 1) + 1 まで著しく改善された(ハンナ・ノイマン予想を参照)。
群の部分群束が昇鎖条件を満足するための必要十分条件は、その群の任意の部分群が有限生成になることである。任意の部分群が有限生成となる群はネーター群であると言う。
任意の有限生成部分群が有限となる群は局所有限群であると言う。任意の局所有限群はねじれ群、すなわち任意の元が位数有限となる群である。逆に、任意のねじれアーベル群は局所有限である。
幾何学的群論は、有限生成群の代数的性質と、そのような群が作用する空間の幾何学的および位相的性質との間の関連性の研究である。
有限生成群の群の語の問題は、群の生成元からなる二つの語 (群論)がいつその群の同じ元を定めるかを問う決定問題である。与えられた有限生成群に対する語の問題が解けるための必要十分条件は、その群が任意の代数閉群に埋め込めることである。
群の階数はしばしば、その群の生成系の濃度のうち最小のものと定義される。定義により、有限生成群の階数は有限である。
岡安辰雄
岡安 辰雄(おかやす たつお、本名:伊藤 辰雄、1934年5月19日 - 2014年5月31日)は日本の演劇評論家・ジャーナリスト 。
日本伝統芸能・芝居などの舞台演劇評論家・新聞記者。愛知県西尾市生まれ。名古屋市を拠点に活動した。
東海地方を中心に演劇・舞台芸術評論のリーダー的存在であり、造詣が深く関係者からも厚い信頼を得た第一人者。舞台芸術の育成に大きく貢献した人物。
1953年 愛知県立西尾高等学校卒業
1957年 愛知大学 法経学部経済学科卒業
1957年 名古屋タイムズ社 入社。報道部長、文化部長、編集局次長を務める。
2010年 中日新聞社 放送芸能部退社
2010年~演劇評論家 ・フリーランス記者として活動
御園座・名鉄ホール・中日劇場の興業を軸に半世紀以上、主たる興業の稽古取材・プログラム執筆を手掛けた。
歌舞伎・芝居・舞踊などを一般の観劇者に判りやすい解説文を書くことがポリシーであり、ユーモア溢れる人柄で多くの役者・舞台関係者から慕われた。
中京五流舞踊公演のほか名古屋西川流名古屋をどりは評論当初から携わった。
新聞記者としては「芸能」のほかに「釣り」「囲碁」などの取材執筆も晩年まで担当した。
2010年あいちトリエンナーレ 公募選考委員
ファクシミリが一般普及以前の時代、雑誌「演劇界」への原稿送付は取材・観劇後すぐに名古屋中央郵便局に出向き、立って執筆を行い速達投函が常だった。記者となって最初の取材は丹下キヨ子。
2001年 NPO世界劇場会議 名古屋 第6回ITCN文化賞受賞
2011年 第52回CBCクラブ文化賞受賞
2012年 愛知大学優秀奨励賞受賞
レコーディング芸術科学ラテン・アカデミー・パーソン・オブ・ザ・イヤー
レコーディング芸術科学ラテン・アカデミー・パーソン・オブ・ザ・イヤー Latin Recording Academy Person of the Year
レコーディング芸術科学ラテン・アカデミー・パーソン・オブ・ザ・イヤー(レコーディングげいじゅつかがくラテン・アカデミー・パーソン・オブ・ザ・イヤー、Latin Recording Academy Person of the Year)は、年に一度、ラテン・グラミー賞を発表するのと同じ団体であるレコーディング芸術科学ラテン・アカデミーがラテン音楽産業において傑出した実績をあげたミュージシャンおよび慈善活動での多大な芸術的献身を成し遂げたミュージシャンを賞賛するために贈呈する賞である。
ちなみに、ここで言う、ラテン音楽とは、ラテンアメリカ圏を意味するのではなく、世界中のスペイン語圏およびポルトガル語圏のコミュニティでの音楽を意味し、ラテンアメリカ、スペイン、ポルトガル、そしてアメリカ合衆国も含む文化圏での音楽を指し、更にはラテンアメリカ圏出身でフランス、ドイツ等に亡命他の理由で移民移住したような人々のコミュニティおよび、そのようなフランス等を拠点に活動するスペイン語圏のアーティストも存在するので、ラテンアメリカまたはイベロアメリカと呼ばれる地域よりも更に広範囲な地域での音楽ということになる。
受賞者は、毎年恒例のラテン・グラミー賞受賞式典に先立ち、様々な祝祭的特別行事が開催される「ラテン・グラミー週間(Latin Grammy Week)」の期間中に賞を授与される。
同賞の初の受賞者は、キューバ系アメリカ人ミュージシャンで音楽プロデューサーのエミリオ・エステファン(Emilio Estefan)で、ラテン音楽に対する世間一般の人々の認知度を高めることに貢献した、という理由で2000年に授与された。
ちなみに、その8年後の2008年、彼の妻で、日本でも「グロリア・エステファン&ザ・マイアミ・サウンド・シーン」として知名度の高い歌手であるグロリア・エステファンが同賞の初の女性受賞者となった。
グロリア・エステファンは、それ以前の1994年にもグラミー賞を発表する団体ナショナル・アカデミー・オブ・レコーディング・アーツ・アンド・サイエンスによる同賞と類似の賞ミュージケアーズ・パーソン・オブ・ザ・イヤーの受賞歴がある。
2000年以来続く同賞の受賞者は、多民族多言語文化なラテン・カルチャーを反映し、受賞者の国籍が多岐に渡るだけでなく、2〜4つ等複数の国籍を持ち幅広く世界で活躍するミュージシャンも多く含まれているのが1つの特徴である。
1 各年の年数は、その年のラテン・グラミー賞の記事ページにリンクしている。日本語記事ページあるものはそのページに、ないものは英語版記事ページに。
ソウル市立交響楽団
ソウル市立交響楽団(ソウルしりつこうきょうがくだん、서울시립교향악단(서울市立交響樂團)、Seoul Philharmonic Orchestra、英文略称:SPO)は、韓国ソウル特別市の世宗文化会館を中心に活動する、同国で最古のオーケストラである。
1948年に設立され、1957年にはソウル市による独立団体として承認され、1965年には日本で初の海外演奏を行った。その後、米国、ヨーロッパ、アジア諸国で演奏している。
韓国生まれ、アメリカ国籍のチョン・ミョンフン(Myung-Whun Chung、鄭明勳)が2005年から2015年まで首席指揮者・音楽監督を務めた。
キム・センリョ(1948年 - 1961年)
キム・マンボク(1961年 - 1969年)
キョンスー・ウォン(1970年 - 1971年)
ジェ・ドンジョン(1974年 - 1990年)
パク・ウンスク(1990年 - 1991年)
ウォン・キョンス(1994年 - 1996年)
マルク・エルムレル(2000年 - 2002年)
クァク・スン(2003年)
チョン・ミョンフン(2005年 - 2015年、音楽監督)
コンダクター・イン・レジデンス
マルクス・シュテンツ(2017年 - )
ティエリー・フィッシャー(2017年 - )
ジェ・ドンジョン(1971年 - 1974年)
クァク・スン(2002年)
パク・ウンスク(1984年 - 1989年)
シーヨン・ソン(2009年 - 2013年)
チェ・スヨル(2014年 - )
コンポーザー・イン・レジデンス
チン・ウンスク(2006年 - )