DBPIA-NURIMEDIA

Size: px
Start display at page:

Download "DBPIA-NURIMEDIA"

Transcription

1 依存文法의形式化問題 * 李炳 훌 1. 序論 1.1. 훌훌間의共起 Hjelmslev는두終端 (two terminals) 간의의존관계는기능 (Funktion) 이고이終端가운데하나또는물은기능체 (Funktiv) 라하여기능이라는包括的언이론A로의존관계를청의하였다. 이와는대조척으로 Tesnière는依存이라는개념을구체적 a로말하지않고다만언어의一次元的發話連鎭에나타나는多次元的內部構造에서훌素들 1 상호간의 # 起關係를규명하려했을뿔이다. 例를들면 (1) Xj 가文童 X1X 2... Xn ( 단, l~j~n-l) 에서 j값의훌素로볼때일종의位置짧數 P (=Position) 는 P(Xj) 의값이언제나 Xj의바로右測에있는흉흉素가되도록 P(Xj)=Xi+ l로청의된다. (2a) Xi, 가同一한한文章內의흉 素이고 (Xi 추 Xν) (2b) Xo 이다른어떤훌素에도依存되지않는한文章의中心核 (Noed central) 일때文章 X1XZ,,,Xn에서 X; 추 Xo 훨素에대한일종의依存짧數 D(=Dependent) 는 D(Xj) =Xi, 로정의된다. 이와같이 Tesnière는흉용素들상호간의共起關係규명에서 Xo을中心核으로절정하였다. 이것이그의文章分析의출발첨 로 X 이모든交點 (Knoten) 의 * 이論文은 1985 年度문교부학술연구조성비에의해작성펀것엄. 1 여기서는쉽게흉용素 (Element) 라고하였지만훌累들의種類와훨素을間의關係플갱의하라할째는난관에부딪힌다. 그래서우리는相異한純離類짧에서文章成分 (Satzkonstituent) 擺念의相異한견해를그대로따를수밖에없다. 름홈홈學에대두되는가장작은文童單位의 * 훌性올보면, 첫째文章成分은字累記號의連훌이다. 이들의境界는특수한覆界記廳, 대개는空集合으로表示된다. 이字素運銀를語形 (Wortform) 으로記述한다. 툴쩨古典的樓造主훌의意味에서文章成分의意味흘지니는가장작은單位는形顧素 (Morphem) 다. 세쩨이와같은形願素는鏡廳類훨에따라 lexikalische Formativ, Environment, Wort, Lemma, Plerem 等 로옮述펀다. 이와같은훌素틀의 種類와機能들에대해여기서는그타당성을이론척으로제시하져않는다. 67

2 68 語學 li1f 究第 22 卷第 1 號 交點 o 로서文章을支配하는頂點 S로가정되었다. 다시말하면이 Xo은액떤다른要素에依存될수없는文章의中心훌素다. 이와같은분석은 X 이하에있는 X, 에대해값을주어야한다는뜻이다. 이것은그가분석한대로四範購 (O, A, I, E)2 가운데 1, Þ!P 動詞에해당된다그러나 D(Xj)=X,ν 가 D(Xj,)=X, 가 아니라는근거를우려는어디서찾아낼수있는가? 이문제 를해명하커위해우리는의존관계가존재할수있는특성이우엇인가를논 의하여야할것이다 依存의土훌 依存에대한대체적인윤곽은 Heringer (1970) 와 Kunze (1975) 의一方依存, 相효依存, 從屬形式등 o 로요약될수있 A 나, 이形式部門이相互依存에서 對稱關係 (Symmetrische Relation) 를非對稱關係의連言 (Konjunktion) 으로정 의한다는것은論理的으로불가능하다는 Witt 의지적 4 이 있고서부터 DG 를 총체적으로形式化시키려는작업이많았었다. 물론이작업에서集合, 置理植, 園數, 論理學등이그기반을제공해주었고그토대위에서진행되었다. 처음에는주로成分文法과依存文法을相효補完이론 로記述하기위해 Hays (1960), Gaifmann (1961), Bier isch (1966), Baumgärtner (1970), Vater (1973), HeringerCl970), Klein (1971) 퉁이나서서形式部門작업에역점을두었고순수한 DG의形式部門작업에는 Kunze (1975), Engel (1977), Heidolph et al. (1981) 등이나섰다. 그러나이들의 다는오히려數學的인면에방향이칩중되어이 연구들은言語學的이라기보 이론들의형식적천제가자 2 Tesnière 는文童構成成分올 Morphem 이아니라 mots 로기술하고있다 - 이 mots 는 mots plein( 톨휩 ) 와 mots vides( 虛詞 ) 로下位分類펀다. 前者는 idées 의特性에따라 動作的 (prozeßhaft) 또는抽象的 (abstrakt) 등과같은寶質로分類되고後者는文章의 구조척기능을指示하는데만使用펀다. 그가 mots plein 의 # 짧융 : 을끌어들였을째그 基準이抽象的 - 具體的 (Konkret) 었다. 고, 으로, 그려고實質 (Substanz)- 動作이라는 idées 의特性이 이에짜른그의四範購를보연名굶 (0) 는實質을具體的 S 로表示하는것이었 動詞 0) 는動作을具體的 ξ 로表示하는것이었 ξ 여形容휩 (A) 는實質을抽象的 홉 U 렵 (E) 는動作을抽象的 로表示하는것이었다. 그러나이와같은範購的分 類는어디까지나便宜上의것이었치쭉홉性을갖는것은아니다. 왜냐하연이範購들 을機能的인觀點에서또는구조적관첨에서볼때그範廳的意味가消失될때가많기해문이다. (Vgl. 本論文 S 33ff) a 그러기때문에이 X 올依存文法의範鷹에넣어서보면 I 에所屬되게된다. 이 I 는그意味資質에따라 actants 와 circonstants 를위성 로취하게된다. 이째前 者는 I 에필수척포는의무적요소이기때문에이것의규명여하가 DG의핍究核을形 成하케한 Valenz 이흔의登場계커다. 이이론의청럽에서는 Helbig 의副文章檢흉, Engel 의 Anaphorisierungsprobe, Heringer 의 InterdependeJ1Z, ÖIschläger 의 Selektionskriterium 둥이있 A 나우리들의形式化는 Heringer 를중첨척 A 로다루게펀다. 4 Witt: S.121"'126.

3 依存文法의形式化問題 69 주근본적인곡해를받아왔기때문에이것을 있을것이다. 여기서議論하는것도意議가 2. Metatheorie 2.1. Metasprache 우리는어떤言語 L 에대해말하는言語를이言語에대한上位言語 (Metasprache) 라고한다. 말하자면이것은일종의記述言語로서제二단계의言語 로본다. 이記述言語를수단 로自然言語 (= 對象言語 ) 가記述된다. 따라 서上位言語의記號意味는 L 言語의記號가된다. 그러나우리는이上位言 語에대해서도上位言語를쓸수있기때문에이言語를上位上位言語라고 한다. 그러기때문에우리는대상언어를제一단계의上位言語로區分하고 또제二단계의上位言語등 로구분한다. 例를들면 (3) 과같은文章에서 (3) Hans wird flektiert wie Kind. Hans 나 Kind 는 Hans 라는個體와 Kind 라는個體에관해서독얼말의文章 으로말하려는것이아니라 Hans 나 Kind 라는 L 言語의記號에관해말하려 는것이다. 이와같이自然言語속에는對象言語的훨素와上位言語的훨素들 이含意되어져있기때문에그용법들잔의한계를긋기가어렵다. 또例를 들어다음 (4"'-'6) 과같이비교적論理的으로찰다듬어진 한계가분명치않은것들이나타난다. (4a)" Das Subjekt ist Teil eines Satzes. 文章들에서도그 (4b) Das Subjekt eines Satzes nennt das Ding oder Wesen, von dem etwas ausgesagt wird. (4c) Das Subjekt wird in vielen Fällen zu dem von der Aussage unmittelbar betroffenen Ding oder Wesen im Satz. 이와같은前提가주어졌을때 (4a ",-, c) 를보고다음 (5) 의予居을지적하거나 (5) Die Kasse stimmt. 또는 (4a) 가참이라고볼때다음의 (6) 에서혼돈이일어나는것과또이것 (6) Die Kasse ist Subjekt von (5), da von ihr ausgesagt wird, daß sie stimmt. oòl 정확하게 形式化될수있는가의여부를보면 (6) 이라는우리의形式化 -는 (4a' ",-, b') 와같이되어言語와寶質이혼돈되어있다. 더구나 (6) 의主文

4 70 語學陽究第 22 卷第 1 號 章 sie 에걸릴수있는 die Kasse 가없다. die Kasse 는하나의記號얼뿐이묘 (4a') i) Die Kasse ist Subjekt von (5). ii) Die Kasse ist Teil von (5). iii) Die Kasse ist ein Ding. (4b') i) Ein Ding ist Subjekt von (5). ii) Ein Oing ist Teil von (5). 로이것을정확하게形式化시킬수가없다. 왜냐하면 (6) 에서代名詞 ihr 가 문제가되는레이것은 die Kasse 라는寶質을받을수있치만記號인 die Kasse 는받을수없기때문이다. 그밖에도主文章의寬味로보아서 die Kasse 라 는寶質에대한언급도없기때문이다. 그떻다고하더라도다음 (6') 처럼할 수없다. 왜냐하면여기서는 sie 가무엇을받는지명확하지않기때문이다. (6') Die Kasse ist Subjekt von (5), da von ihm ausgesagt wird, daß sie stimmt. 여기서 sie 대신에또 es 를쓰게되면記號언 die Kasse 라는主語에는맞지않 기때문에거짓이된다 論理學的홈體 이와반면에論理學的言語에서는言語學의形式化작업에서엄격한구분 을만들수가있다. 그러기때문에우리의形式化에는論理學的記號를援 用해서사용한다 5 "1 혜우리들의출발은體系의單位 (P h P 2, "', Pn) 와論理記號 (-, ) 와 補助記號를갖는集合 A= {(,),-,, P h P 2, "', Pn} 등에서비릇된다. 이와 같은形式言語를自然言語의記述로이용할때 A 는語훌明細 (Vokabular) 가 펀다. 이것은自然言語의記號素또는單語들의集合을意味하게된다. 그 래서이것들은모두 A 의婆素가될것이다. 이 A 의要素들을連鎭로묶을 때는 A* 가되고이 A 홉의 모든下集合이形式言語가된다. 例를을면한言 語는청확하게두글자이상으로되어있는단어들의集合이다 集슴의利用 言語는이청의에따라하나의集合이기때문에우리는 L1nL2= {x: xε Ll ^xel 2 }, Ll U L 2 = {x: x 든 L1Vxε L 2} 풍 로言語를集合理論的으로조작 5 다움에서記述하는論理學的記號에서보다상세한것은 독어학개론 의술얘 논리와양화논리 "' 을창조하라.

5 依存文法의形式化問題 71 할수있다. 이와같이우리는下集合 L이文章언記號素連錯만을갖도록그것을선택한다. 그러면 L은정확히自然言語의文章集合을記述하게된다. 우리는 A홉의정확한集合 L을청확히선택할수있는規則들을形式化시킬수있는가능성만을발견해야한다. 따라서文法의本質이라는것은어떤言語의文法的文章들을청확하게生成시키거나또는 A* 에서된連鎭가 L에서된흉흥素언지를확인하는장치 (Algorismus) 가되어야한다. 이와같은장치는句構造文法 (Phrasenstrukturgrammatik), 生成文法 (Erzeu.gungsgrammatik), 範隱文法 (Kategoriale Grammatik) 풍에서활발히연구되고심화되고있지만本題에서벗어나는것이기해문에여기서는依存文法 (DG) 에관한장치를선택하게된다. 이작업에서는무엇보다 Heringer와 Klein의그것이비중을차지하기때문에이들을중심으로진행된다. :3. Heringer 으 l 形式륨聽 6 :3. 1. Heringer 의롬짧體系 Heringer 의言語學的文章記述은다음 (7) 과 어成分體系와依存體系가補完理論 1 되도록구성되어었다. 캠 SB (7) S 1 헬 댐 SS l 힘 l 훤 SA 같은部門이그주축을이루 이때 S 는文章, KS 는成分體系, DS 는依存體系, SS 는構造記述 (Strukturbeschreibung), PL 은얼종의형태소안 Plerematik, SA 는表現部門 (Aus druck), PH 는륨題部門 (Phonetik), SB 는意味部門 (Inhalt), IS 는意味鏡解部 門 (Inhaltssyntax) 을의미하게된다. 여기서보면그의鏡解論은전체文章의 意味內容에대해構造記述을제공해주는前提역할을한다. 모든統解論的位置와緣蘇論的範購 7F 그러커때푼에 構造記述과 Plerematik 에중요한요 인을갖게되고文章의분리된意味記述은構造記述과最少의意味單位의 의미를제공해주는 Plerematik 을前提로하는意味統蘇論에依해記述된다. 6 여기서부터는주로 Heringer 1970, 1972, 1973 을參照. 7 Heringer는이 Rñ 離論的範購를終端部類 (Endklassen) 또는傳鏡的意味의品홉1 (W ortarten) 의뭇2. 로쓰고있 a며 (Theorie, S. 76) 이것은또 Plerem의意味記述部門의部分을의미하기도하고, 어떤部類의모든 Plerem의의미에포함되어져있는부분을의미 ( 일종의文法形態素 ) 하기도한다.!r. 나머지부분들은개별적2. 로 Plerematik 혜의하여제공되어진다 (Theorie, S.78).

6 72 語學 liff 究第 22 卷第 l 號 3.2. KS 와 DS 으 l 빼係 이와같은統廳論的部門들에대한그의形式的記述은부분들 (Teile) 의그것에서시작되고, 전체文章意味記述을위해서는意味內容統蘇論 (Inhaltssyn - tax) 이라는部門理論에서발전되고있다. 다시말하면그의統홉離 論은文 g 服따 自由型的 PSG(KF-PSG) 와文 g 服따制約的 PSG( 따 KS-P 어있다. 또앞에서도본바와같이그의結解理論은成分體系 (KS) 와依存 體系 (DS) 의補完理論이기때문에우선그의 KS 와 DS 의形式化를보고, 다음그의補完理論의形式化를보기로한다. 그러나이形式化는相효補完 的이기때문에기술순서는없다 KS 그의 KS 는生成文法의再書規 Jt U (rewriting rule) 과별반다를바없다. 션다음 (8 rv 11) 의不許容規則은 (8) 이 X1 과 X2 가일치될위험성과단위들의 (8) K (Xh :CZ) 8 (9) K (X1. X2) 또는 K(x, 0) (10) K (X1o x2+x31 X4) (11) K(Xt+ X2' X3 ) 또는 K (xd X2, X3 ) 중복성때문에그렇고 (9) 도마찬가지며 (1 0) 은連言規則과選言規則을분할 시킬염려가있으며 (11) 은初期項에 Plerem 結合을許容치않기해문에그 렇다. 이와같은但書로그의統廳論을 KS 의낌홉環과 DS 의 (Transitivität) 로파악하게된다 續훌形式 그 우 依存을轉位關係 領環形式은다음 (12) 와같이정의되어있다. 이의통사론에서의활용은 4.8. 에서언급되어었다. 이 (12a rv b) 는그의生成規則의宿環性을數學的 (12a) F(x,O)=A(x) (12b) F(x, 찌 ) =B(x, y, F(x, y)) 公式에의해확언받으려는작업 로볼수있다. 이를數學에적용시켜자세히설명하기로한다. 例를들어 5+4가있고 4를 N3으로청의하면 (13) (13) 5+4=5+N3=5+NN2=5+NNN1=5+NNNNO 8 K 는, 로構成되어있다 郞.1:1 은.1:2 로분할된다, 또는구성원다 로읽는다. 이때 z는 Plerem이다. 의用語를그대로따르자는데었다. 이것을 Morphem 또는 Monem 이라하지않는것은 Heringer

7 依存文法의形式化問題 73 처렴되어結合規則과交換規則때문에 (13') 가된다. 이 (13) 을 (12b) 에래, 03') NNNN5=NNN6=NN7=NS=9 비시켜 5 를 Z 로하고 4 를 y 로하면 (12b') 가된다. 더 자세히설명하면 (l2a) (I2b') F(x, N y ) =B(5, 3, F(5, 3)) 에서 ysj 짧數를 o. 으로했을때는그機能體 (Definiens) A 는 A(x) 가되고 y 의 엽數를 2 로하면 (12b) 가되고 로하면 (I2c) 가되어이함수를점 차적 S 로늘려나잘수있어서결국이함수는순환적이되는것이다. 이것 (l2c) F(x, N 찌 ) =C(x, y, F(x, 쩌 )) 을部分들 (Teile) 에대한함수로바꾸어보면, 다음 (l 4a,,-,b) 와같이된다. 이 (l4a) T(O, 찌 =PL(x) (l4b) T(x, N(SF))=T(T(x, SF), SF) 때 z 를 Teile 에대한變異體 (Variable) 로보면 (l 4a) 는 Tei1e 가없는변이 체만남아그가능체의합수는 PL (=Pleremklasse) 가된다. (l4b) 에서는 T (x, N(SF) 에서 N o 냐 1 이냐또는 2 냐에따라 SF 의수가늘어나게된다. 이와같이 (12a"-'c) 는 (l 4a,,-, b) 와같은순환규칙이된다 DS 그러나 Heringer 는部分全體關係 (Tei1-Ganzes- Beziehung) 을나타내는데는 이와같은순환규칙만 o 로는文章구성적관계를기술할수없고文章은그 의개별적部分間에依存關係가성렵하기때문에文童의意味論에접근하기 위해서는 DS 를발전시켜야한다고주장한다 이를위해그는 Hjelmslev. 의 정의를援用하여그의기능 (Funktion) 과기능체 (Funktiv) 가다같이통합관 계 (syntagmatische Re1ation) 로서의기능이라는포괄적인개념에들어가는것 a 로보고그의한정 (determination) 과선택제약 (selection) 을똑같이같은 법 주에넣어依存擺念을끌어대고있다. 물론우리는그의依存擺念을그렇게 보았다. 이를좀더구체척으로보면 Hje1mslev 는 10 기능체가상항 (Constant) 과변항 (Variable) 에도있다는청의에셔依存의기능을규청한다. r 相互依存 은두개의상항간와기능이고一方依存은상항과변항간의기능이고相효 無依存은두변항간의기능이라고정의할수있다. 상호의존과상호무의폰 은, 전자는상항간에서만, 후자는변항간에서만 依存하는것이기때문에 9 V gl. Heringer: 1970 S V g1. Hjelmslev: S. 24f.

8 74 語學맑究第 22 卷第 l 號 상항은피의존기능체 (determined [selected, specified] Functive) 라하고그변항은의존기능체 (determining[selecting, specifying] Functive) J 라한다. 문제는여기서상항과변항에모아진다. 그러나 DG에서의依存은이와같은포괄적개념연기능간의그것이아니고또상항과변항간의그것도아니고오히려 Plerem 간의, 어쩌면 Tesnière적인의미에서, 要素들간의그것이다. 그러기때문에그가의존개념의정의를 Hjelmslev에게서끌어대었다하더라도또 (1 5,,-, 16) 처럼그에게맞추어依存規則과相互依存規則을形式化시컸다하더라도그것은 Hjelmslev의그것과차이가난다. (1 5) (Sx) V(X2' Sx) V(XI, Sx)=def D(XI, X2) (16) I(xI, x2)=def D(xI, x2)^d(x2, Xl) (1 5) 에서는염의의文章에서 X2는 Sx에서 Xl 이 Sx에서나타날때나타난다. (V=kommt vor in) 이째 X2는 Xl에의존한다는정의고 (16) 은 Xl과 X2 는相互依存한다, 즉 X2는 Xl에의존하고 Xl은 X2에의존한다는정의다. 이용어는그가註 에서도언급한것처렴依存文法에최초로도입한것이기는하지만 Witt가지적한것처렴의존의정의를相효依存에삽입시켰을때논리적 A로거짓이되는정의가되고만다. 그러나 Heringer는이런비판이나온후의 形式論理學과文法 J(1972) 에도또 Theorie의 1973 年修正版에서도이비판을외면하고있다. 왜냐하면이갱의는전위관계에서는모순을발견할수없기때문이고이정의에업각해서만들어진그의補完理論인環規則 (Schleife) 과直接環規則 (Schlinge) 도재정의해야할처지이기때문이다. 아좋든일단은그의갱의를받아들이는엽장에서보면文章構成的關係를기술하기위해서는그의정의가필요하다. ~.6. 許容規 ftlj (8"-'11) 에서再書規則의不許容規則을보았는데이에업각해서그許容規則을보자. (17) K(XO, Xl 1- X 와 ) =def VXo3"X1X2... Xn T u (Xo, Xl) ^ T u (Xo, X2)... T (Xo, xn)1\ (-3"x mt, (Xo, Xm) ^m )n) 이 (1 7) 은 Plerem X 이 Xl에서와으로構成되어있을해 Xl 와은 Xo의직접부분 (unmittelbarer Teil) 이고이중에적어도와보다큰 Xm이있올때이것은 Xo의칙첩부분이아니라는돗이다. 이것을다시集合에서보면 (18) 은 11 ibid. S. 78.

9 依存文法의形式化問題 75. (18) K (xo, X1 +X2) z 이 X1과 X2로구성되어 (18a) 는가능한것이고 (18b) 는불가능한것이다 (18a) X1nX2=ø (18b) X1 U X2=.xO 다시말하면 (18a) 에서는 (1 8a') 처렴 ah과 X2가공통되는부분이없기때문 에 X1과 X2가서로요소가되는것이고 (18b) 에서는 (18b') 처럼 X1과 X2가 서로겹쳐진合集合이기때문에서로요소가될수없다. (18a') 얹꽉 =ø (18b') 繼꼈 =XO 위의 (17"-'18) 에의해서우리는連言規則 (Konjunktionsregel) (19) 와選言規則 (Adjunktionsregel) (20) 을만들수있다. (19) K(Yi,xáxZ+,"+xn) (20) K(Xi,YdY2/"'/Yn) 이때連言規則 (19) 는 Heringer의 K-System의 K2 K(SFI, Pi+F(En) + F(An)) 등과같은緣合關係 (syntagmatische Beziehung) 와갇고 (20) 의選言規則은그의 K3 K (E n, Nomn/ESn/IK) 등과같은系列關係 (paradigmatische Beziehung) 와같아이것은 (20a) 처럼合集合이되어 (20b) 로하였을때 (20b') 로된다. (20a) 와 =Y1UY2 니 Yn (20b) Y1UY2=Ø'" (20b') 靈 轉位關係 (Transitivität) 를나타내기위해서는 (2 1) 의 는 Xh X2, X3 形式을쓴다. 여기서 (21) (:t\) (X2) (X3) T(Xh X2) ^ T(X2, X3) T(Xh :Z;3) 이라는훨素가있어서이중에 X2는 X1의부분이고그리고 X3이 X2' 의부분이 면 X3은 X1의부분이라는것이며 이것은集合의포함관계 (X<Y와 Y<Z는 z <z를포함 ) 12, 連接素 (Junktor), 形式論理學의轉位關係, 先行制約關係등에 12 V gl. Fischer: S. 20.

10 76 語學맑究第 22 卷第 l 廳 이용되고있다. 이때集合에서볼때는이이론의바탕이부분칩합에있으 묘로여기서는상흔을보지않아도되고, 연첩소의경우는例를들어 " Vater und Mutter und "Mutter und Kind 는 " Vater und Kind" 와같이 Vater 가 Mutter 와 Kind 를동시에포함시키고있는째다. 論理學에서는例를들어 (22a,,-, c) 를단축시켜증명형식으로기업해보면 (22d) 에서 (22a,,-,b) 는전제 가되고 (22c) 는수. 명선밑이되어결론이된다. (22a) Wenn dieses Huhn Subjekt des Satzes Sx ist, bezeichnet dieses Huhn ein Ding. (22b) Wenn dieses Huhn ein Ding bezeichnet, dann ist dieses Huhn ein sprachliches Zeichen. (22c) Wenn dieses E.μhn Subjekt des Satzes Sx ist, dann ist dieses Huhn ein sprachlies Zeichen. (22d) X1 X2 X2 - X3 X1 - X3 先行制約關係는 X1 이 X2 에 先行하고 ( 이때의표치는 X1r-X2) 었다는약속 a 로 쓰인다 位置制約과階톨制約 (23) 은이것이부분전체관계에놓여지거나같은階層의위치에도입되도 (23) (X1) (X2) T(Xh X2) VT(X2, X1) V (X1=X2) V (~xn) (xηr-x1^xnr-x2) 록요구되는규칙이기때문에文法이청의되어있지않는위치를갖도록하 는조건 a 로쓰인다. 이것은기호의집합이 Konnex 하다는것을보증하고있 고그러기때문에구조기술의位置制約흐로 쓰이고階層制約 A 로는다음의 環規則이쓰언다. 環規則 (Schleife) 은 (24) 와같은것 a 로서규칙순서에서미리내보낸위치 가다시들어가도록구성되어있다 13 따라서이와같은위치들은제二항위 (24) K(Xh X2, "', X n) K(xj, Xh "', Xk) 치에서한번또는두번이상나타나게된다. 이것을圖型 로그렬수도있 a 여기까지말한규칙들은 Heringer(1970) 의 BK28 과 Heringer(1973) BK4 에적 용되어있고그圖型的인응용은 Heringer (1 973) 의 以下에詳輪되어있다.

11 依存文法의形式化問題 77 다. 이해도형을그럴려면거기에따른함수를정해놓아야한다. 도형 G 는 G(K, R,f) 에의해정의되고 G는集合 K와集合 R 그리고 R로된모든훨素들에 K로된두훨素들을할당시키는함수 f로되어있다. 例를들면우리가 (25) 를가정할경우이에대한도형은 (26) 과같을것이다. (25) K= {1, 2, 3, 4, 5, 6, 7} R=(1, 2), R=(2, 1), R (I, 3), R(3, 4), R(4, 4), R=(3, 5), R= (5, 6), R= (3, 7) (26) 3 (25) 에서보면 K 의요소플은數字이고이것은그대로이도형에서交點이 된다. 서로이웃한數字틀을연결시켜주는線, 즉 Xh X2εK 일때 R(Xh X 상 에해당하는것들은가지 (Kannten) 라한다. 가지의走行方向은화잘표로 표시되었고, 주행션은화살표를따라가면된다. 이때주행션의첫번째와 끝 ( 終端 ) 이일치하는주행션의線을따라가는規則을環規則이라한다. (26) 의 (1, 2,1) 이그것이다. 마찬가지로주행선이하나의교점이면그것을直接 環規則 (Schlinge) 이라한다. (26) 의 (4, 4) 가그것이다. 이도형의도움으로 (24) 를좀더상세히보면 (24a) 가될것이다. 이때 (24a) K(xl, X2, "', 와 ) K(X2, XS, ) K(XS, X4, ) K(Xj_ l, 짜 ) K(Xj, Xl, 짜 ) 제 2 항위치들은 X2, XS, X4, 로나올수도있고안나올수도있다. 또그 (24a') K(Xl, X2, "', Xn )

12 78 語곁홈 ~ 究第 22 卷第 l 號 중에서어떤것이나와도된다. 줄의제 2 항위치의,x 1 이 環이된다. 그리고環이되는이유는 (24a') 처럼맨끝 다시맨앞줄의제 2 항위치에되돌아가기때문에 環規則의특수케이스는다음규칙형식의직접환규칙이다. 이형 식의규칙은依存規則 D(,x2,,x 1) 이동시에유효할때만가능하다. 왜냐하면 $2 가,x 1 의要素가아닐째는 (27) 의集合그림 (28) 처럼첫째,x2 는,x 1 을포 (28) 斷 콸할수 τ 없고, 둘째,x l 은,x2 를언제냐포괄하고있고, 셋째,x l 이높은階層 이고,x2 가낮은階層이기때문에,x l 과,x2 는서로왔다갔다하는, 즉 (26) 의 (4, 4) 처럼,x 1,x2 가동일계충이되는環이된다. 다시말하면이런環은無 限이다. 간접환의경우에는이附則條件은성립하지않는다. 왜냐하면여기 서는또零位置에의해서環이끝나는選言規則이삽엽되어있기때문이다. 이때選言規則이라는것은, (20) 과 (19) 를참조해보면알겠지만, 간접환 얼경우 y 에의하여환이끝나는환에삽인된選言規則을말한다. S 에서어디까지환이끝나는가를 y 가확정시켜주게된다 계층 (Stufe) 말하자면 이것은지금부터우리가몇가지규칙을가지고形式化시켜보려는文法의 階層에의해서만가능하다. 屬한다. 하나청도더밭의계충에속하는 SF 요소의통사부분에의해서생긴다. 이때첫번쩨기호 SF (=Satzform) 는零階層에 것으로볼수있는부분들은이 이와반대로하위부류의요소들은選 言規則에서버力시킨부류들의계충과똑같은계충을가진다. 우리가위치 들의계충을표시하기위해서벽 ( 驚 ) 을쓰면文法의규칙 A 로서다음 (29,,-, 30) 과같이形式化시킬수가있다. (29) kn.-a k n=k ak.-kn k=n-1 그러기때문에환의위치플은향상다른계층을가진다. 따라서일반적 a 로 환규칙에대해다음 (3 1) 의규칙이쓰이고直接환규칙에는 (32) 가쓰인다. (31) T( 썩, 책 )^T( 쩍, 확 ) k 추 t

13 依存文法의形式化問題 79 (32) 썩 r- 책 π=k-l 우리가 K-System의어떤특정한가지에서終端階層 k까지連言規則을주사시키면종단계충은 k값의계충이된다. K-System은이가지에서深度 (Tiefe) 는 k가된다. 어떤文法의심도는환규칙을가진가지에서무한이다. 그러기때문에환규칙을고려하지말고그심도를알려주는것이좋다. 그것은환규칙이나다나지않고도 k의최대치가된다 의존체계의조작여기서우리는의존체계의규칙을만들기위해서는첫번째제약s!... 로서依存規則이連言規則에해당되도록形式化시켜야한다. 우리가연언규칙 A로서 K(,α, kák2+kg) 으로한다면우리는두종류의依存規則을구분할수있다. i) 첫째依存規則은항위치를뛰어념어서조착을하고그리고선언은제일영향력이많은연언이나轉換詞와결합한다. 이규칙은 D(a, k 1 ) 와같은形式을가질수있다. 이때는어떤意味內容的結束은이依存規則에상응하지않는다. 이것은상이한단계에걸려서만生成될수있다. 그러기때문에우리는의존을依存樹型圖에서選言을가지고없앤다. 連言은여러連言規則에나타날수있기때문에이것은이런종류의여러依存規則에도나타날수있다. 例를들면依存體系에서 D (,α10 k 1 ) 과 D(a2' k 1) 이라는依存規則이동시에있을수도있다. 그러나이때는 a1 추 a2다. ii) 둘째依存規則은제 2 항위치의連言에해당한다. 이것은 D(k h k2) 의形式을가진다. 따라서 (33) 과같은形式이된다. 왜냐하면어떤훌素도그 (33) D (k 1o k2) k 1 추확자체에依存하는것은아니기때문이다. 이것은직정환의경우에있어서는첫째依存規則에는해당되지않는다. 그러기때문에일반적으로우리는位置를위한形式을다음 (34) 와같이만들수있다. (34) D( 척, 책 ) (X1 추 x2)v(n =l= k) 依存規則의항 로서는위치만이허용되어져있고위치결합은허용되어있지않다. 그밖에도 D(x, 0) 이나 D(O, x) 形의依存規則은없다. KS와마찬가지로 DS도 konnex이어야한다. 그러기째문에모든위치는初期기호를제외하고는다음 (35) 와같은依存規則에, 나타나야한다. (35) (x) (3:.x1) D(x,.x1) VD(X1,.x) V (.x=sf) DS의 Konnexität는계속해서 KS에의해서보장된다. 물론 DS에서는 D-

14 80 語學맑究第 22 卷第 l 號 Regel 이직접의존에대해서만形式化되기때문에전위규칙이 KS에서똑같은양 로나타나는것은아니다. 그러나우리가間接依存 (Dm) 을함께도입하게되면그 Konnexität는분명해진다. 다음 (36) 과같은규칙이다. (36) DCα10 k 1 )/\ D(k 1o k 2 ) Dm(a1o k 2 ) (37) D (k 1o k 2 ) ^D (k 2 k 3 ) Dm(kr, k 3 ) 간접의존은 D-Regel에따라連言과바로밑의계충의連言간에도나타난 다. 例를들어다음의 KS가맞a면, K( 안 aïla~/a;) 그리고 KC칙. k2+l+k;+1) (38a) 가성렵하고또 (36) 때문에다음 (38b) 도성랩된다, (38a) D(, 따 k;+l) Dm( 함 k~+l) (38b) Dm( 확 k~ +l) 補完理論 이와같이 Heringer는 KS와 DS를순환, 의존, 상호의존, 연언, 선언, 전위, 연첩, 환규칙등을통해이두理論을보완시키면서變形이없는순수한생성이론을만들기위한토대를형성했다. 이형식화작업에는여기나온모든규칙들의相互作用을통해서보완되고있는것이그특색이다. 따라서이것을적절히운용하면依存理論에펼수적인連接詞 (Junktor) 와轉換詞 (Translator) 階層 (Stufe) 풍의문제도수학적방식에의해 보장이가능할 것이다. 그러나진작중요한 Valenz의문제는여기서빠져있다. 이문제는특히동사의의미자질과관련된결속과관계되는것이기때문에의미내용통사부문에서다루어야한다. 물론의촌과장호의존의정의에서 E와 A의 관계를명시하고술어부문 (Prädikatsteil) 의 결합 (Verknüpfung) 간의계충을 환규칙에셔形式化시켜여기서 E 와 A 를분할시키고있지만그것은어디까 지나形式部門의것이고論理的으로거짓이없는 이들의구분은의미를전 제로形式化되어야한다. 그러커위해서는먼저文章의중의성의문제를해 결하는형식화작업이있어야한다. 그에게는이작업이없다. 이작업을 통해서바로소變形을펼요로하지않는生成文法이나타날것이다. 4. Klein 의依存形式 4.1. Klein 의 DS Klein 의依存理論은 Tesnière 가설정한몇가지假說들의 토대위에文章

15 依存文法의形式化問題 81 의훨素가어떻게할당되어있으며형태소 (Morphem) 들이文章의어떤형태 소에의존되는가를제시하고이의존이어떻게존재할수있는가플形式 化시키고있다. 우선이形式化에필요한그의몇가지形式言語에서출발 한다 훌짧 (Mots pleins) 우리는註 2 에서 Tesnière 는형태소는 mots 이고이것은실사 (mots pleins) 와虛蘇 (mots vides) 로분할되는것을보았다. ( 앞 로는펀의를위해서 部類로는 Mp, Mv 로, 部類의훨素로는 mp, mv 로쓴다. ) 그가이 Mp 를 四部類로분할시켰을해도업한略字는 O, I, A, E 다. 이기준은두가지의 자철언抽훌性과具體性, 實質과動作이라는範購區分에있었다. 이률간단 한 Matrix 로나타내보면다음 (39) 와같다. (39) 실절구체적 o I A E 그러나이分類에는여러가지문제성이있다. 우선그가모든 Mp를위두자질에따라분류시컸을때그는이것을전적 S로表훌을나타내는 idées의특정에따라그렇게한것이다. 이렇게보면 mp는형태소이다. 그러나이런意味로는 -ig, -en, cþ 같은것은 mp가아니다. 왜냐하면이들은첫째 gütig, geben, Schlagcþ와같은單語들에서는 funktionale Morphem일뿐 Tesnière 의말대로허사일뿐이고, 둘째 B1utcþ (=0), blutig (=A), bluten (=1) 에서어휘요소인 Blut는 Tesn끓re의말대로 idée에서근거를찾을수없기혜문에품사에서중립적인업장을갖게되기때문이다. 마찬가지로 Lieb 같은형태소에 -en을첨가시키거나 e를첨가시키면전자에서의 mp는 A (meine lieben Landsleute) 로도 I(Wir liebeπ den Regen) 로도될것이고후자에서의 mp는 o (die Liebe) 로도, 1 (ich liebe) 로도 A(meine liebe Cousine) 로도될것이다. 이와같은이유에서우리는 Tesnière의 Mp 분류를수정해서 Heringer척인의미에서 Plerematik이라는범주에넣게되면이분류는형식상의차질 (formale Merkmale) 에의해지시될수있을것이다. 우리는이것을形式的 A로청의해보면 Mp의集合은 W; (W ortklasse i) 의 14 以下는주로 Klein 의 Parsing 을커초로커솔된다.

16 82 語學 & 다究第 22 卷第 l 觀 選言的部分集合으로할당훨것이고字素連續 R jl5의集合은 L j (Lexemj) 16 에할당될것이다. 이렇게될경우 mpiεwj는두개의자소연속 Lj와 Rij로 구성되며이것은 mpi=lr R j로도形式化완다. 이때 은자소연속의뾰行을뭇하게된다. Homographie는, 例를들어위의 Blut나 Lieb 같은경우는 어형 mpi, 가 mpii'=lr R;j=Lj.R j'j' 일때 풍사 Wi 와 Wi, 어1 관한형식으로 쓰이게펀다. 이와같이 mpi와 mpii로분석해야하는다당성은우리가일단은 Tesnière 의 mp분류를부분적으로받아들여야한다는업장에서다. 우리가 (1 7) 과같 은규칙을받아들이는이유도구조배열의관정에서훨素을상호간의관계가 依存關係에었다는데있다. 4.3 虛廳 (mots vides) 질사에서 A는寶質의특성을抽象的오로나타낸다면 O는實質그自體를 具體的 o 로나타낸다. 반면에 A나 E가抽銀的언속성을나다낸다면屬性에 重點이두어진다. 이렇게볼때 A는 0의속성을, E는 I의속성을나타내게 되어 (40a rv b) 와같은빼數를얻게된다. 그렇게보면이실사에서는構造 (40a) D(A)=O (40b) D(E)=I 的, 範隱的, 意味論的 意味가 包括되어있는範購라하겠지만허사에서는 範購的, 意味論的意味를含有하지않는構造的 意味만지니고오직구조 적기능을지시하는文法的기능만을지닌다. 이기능에는連接 (Junktion), 轉換 (Translation), 反複代用的園數 (anaphorische Funktion), 指標的園數 (indexikalische Funktion) 로四等分된다. 이 중에연첩과전환만이구조적이 지만, 形式的인要素들이많은짧數를동시에나타내기혜문에이들의形式 化에는많은어려움이따른다 運接휩훨 연접은 (18) 의 K(XO, X1+ X2) 플 (l 8a) 의원 n X2=ø로했을째 X1과 X2가서로콩통되는훨素가없어서서로훌素가되고또 (20) 의 K(Xi, YdY2/ /Yn) 을 (20b) 의 Y1UY2=Ø. 로하면같은결과가 나오는규칙과같아보이치만 이것을을 Heringer의生成規則에적용시킬때는꼭분리시켜야된다. 그러나 15 指標 i 는 R;, 에의해제시되는 W ortklasse i 를가리키고指標 j 는그때마다할당되는 Lexem 에관계된다. 16 Lexem 은表像이連想되는字素連續 (Graphemf 이 gen) 이다.

17 依存文法의形式化問題 83 Tesnière의連接擺 ; 웅에서는이 (1 8) 이나 (20) 이한데묶여진것으로나타난다. 그러기때문에그의연접은하나의語形 (und, oder, sowie) 으로된것도있고, 하나의句讀點 (, -) 으로된것도있고또두개나여릿의語形 (entweder... oder, zwar"'aber) 으로된것도있다. 이것들은같은뱀주에속하는 文章의 mp 간의依存에기언하지않는關係들로파악된다. 이를위해우리는 A 나 V 같은기호를버리고 J, CJunktion) 이라는새로운기호를 도업하기로 한다. 이때 J 는연첩기호로, r 는順位로보면된다. 例를들어 (4 1) 은 O 벙 주의 mp 들이 i 와 j 순으로연접되어있다는뭇이다. (4 1) 의연첩을대칭적이 (41) X~ JoX6 면서추이적인것으로하면 (41a) 와같이되고 含意的이되려면 (42) 와같 (41a) X~ ιx~=x~ J,X~ ( 단 X~, X~ EWx) (42) X~ J,X{/ 이 X: J,X: X~ J,XZ ( 단, X~, X~, X: E Wx) 이된다. 그러나연첩된훌素들의수는 J, 에서제한을받지않기때문에우 (43) X! J,X~ J,X~ J,... JrX~=X; J 융 xt 리는 (43) 과같은記法율쓸수있다. 이 (43) 의경우 X!,J*X! 는모든임 의의 X~( 단 l:::;i:::;k) 와통사적 o 로는대개같은상태에있다. 다시말하면 이것은 (44) 의원전체에서 Wx 의훌素들을 Xlo X z, X 3, X4로한정시컸을때 이 속에는여러 개의 X~ 가나올것이다. 즉 X1Xz의集合, XZX3/XIX3fXIXZ X 3 / X1XZX 4 / Xd XZ/ X 3/ X 4 / 등의集合이있을수있는데, 이중에서 X1XZ (44) 라든지 X ZX 3 X 4 등로하나씩하나씩연첩되어있는것은임의의 X~ 가되고연접이안된 XloXZ,... 가 Xr. XZ, X3, X4드 Wx 로된다. 따라서복합체는다른복합체와같은상태에있다. 이런복합체, 즉연접펀이 mp는다시어떤依存關係에설수있다. Tesnière에의해확렵된연첩 (43) 의 X!, J X~ J... J X~( 단 k 2:: 2) 는다음 (45) 와같은依存關係를나타낸다. 그는 (45a) 룰모든

18 84 語學 lvf 究第 22 卷第 l 觀 (45a) D(X 십 =X,( 단 X,ε W,) (45b) D(Xz) =X~( 단 XzEWz) 엄의의 X~( 단 l ::Ç i ::Ç k) 에, 즉연정된모든항은동일한 mp 에依存된다고하 여 jonction chopée 라이름짓고, 반면에 jonction chaussée 라는 (45b) 는모든 임의의 X~( 단 l ::Ç{::Ç k) 에연첩된전체흉 素에依存하는하나의 mp 를추청 하고있다. f7l1 를들면 (45a) 는예문 (46) 의依存樹型圖 (46') 와같은경우이 고 (45b) 는예문 (47) 의依存樹型圖 (47') 와같은경우가될것이다. (46) Jene Frau hat einen Sohn und eine Tochter. (46') hat(x,) /"\\ Frau Sohn-Tochter (X~) Jene emen eme (47) Man lernt und spricht(hochdeutsch in der Schule.) (47η lernt-spricht (X~) /"\\ man (X z ) (Hochdeutsch in der Schule) 이상과같이보면연접과의존의관계는 (45a) 와 (45b) 에서처럼완전히 다르게나타난다. 이것을좀더쉽게 (43) 의연접 X~J*X~ 를 k 값의조작으 로보고이 (43) 을 (48) 로바꾸어쓸수있다. (48) X1J*X!=J(Xi, Xi,..., X!)=Nx 이때 Nx 드 NKx 이며 NKx 는통사척 o 로품사 Wx 의 mp 와같은상태에있는 모든단위들의접합이다. 다시말하면 (44) 의원전체가 NKx 가되는데이때 연첩된임의의 X~ 가 N 라는뭇이다. 그래써우리는구조척인의미와범주 적인의미를분리시키는데이때구조적인의미는통사적인기능을하는것 으로정의되어야한다. 그리고 Wx 는 NKx 의부분칩합, 즉 Wx 드 NKx 가된 다는것을바로알수있다. 왜냐하면 Wxε NKx~VxXε Wx Xε NKx 이기 때문이다. 이를 Tesni, 송 re 에연관시켜 Nε enkx 를 Nukleus 17 라이름짓는다. 여기서우리는 (45a'"'-'b) 를더욱명확하게形式化시켜 (49a'"'-'c) 로할수 있다. (49a) D(Nx) =Xy (49b) D(Xz) =Nx 11 註 3 의意味에서의 x 이아니고그째마다의階層的훌味에서의그것이다.

19 依存文法의形式化問題 85 (49C) D(X.) =N. 와 D(N.)=X y 이때 Xy. X. 풍 로지표가다른것은 mp 가속하는집합이다음 (49a') 처럼 (49a') X y 上 j (X!, 와. X n) (X 1 J X 2 (X 1 J X 3 )... \ Xy 에依存되는연접된모든항들이 NK. 가되고 NK. 에서의각각의훨素는 N. 로되어있는것과같아 Xy 는항상 NK. 칩합중의한개의훨素인 N. 를 의존시킬수있다는말이다. 이것이 (49a) 의경우다. 마찬가지로 (49b) 는 (49b') 처럼 X. 는 NK. 의각각의흉흥素인 N. 에의존한다. (49b') I (X h X 2... X n ) (X 1 J X 2 ) (X 1 J X 3 )... Xz 여기서우리는 (50) 처렴 1f. 의전체集合올추정하게되는데이것을 NKges 라 (50) 하여모든 Nuklei 의접합으로본다. (4 8') 에의해 Xy 와 X.εNKges 이기때문 에이를다시한번일반화시키면 (5 1) 과같다. (51) D (N;) =N j ( 단 N;.Njε NKges ) 그러나연첩과의존간의관계에대한일반적인가설은믿을수가없다. 왜냐하면 (49b""c) 가形式으로는가능하나, 다음 (52) 에의해경험적으로틀 렸다는것을알수있기때문이다. (52a) Vater arbeitet und Mutter schläft. ( 연첩환 1) (52b) ein rotes Buch und ein blaues Heft. ( 연캡된 0) (52c) ein sehr dummes. aber überaus hübsches Mädchen( 연접흰 A)

20 86 語學 R 다究第 22 卷第 l 號 우선 Vater arbeitet(y) 와 Mutter schläft(z) 에서 arbeitet (X:;) 는 Vater und Mutter(N씨라는의존된흉흉素를공동 로취하지않고 y와 z가서로뾰列되어있기때문에다른要素들이연접될수있다는것이확실하다 轉換전환은연접과함께구조적의미를가지고文法的기능을행사한다. 그러나이전환은 Tesnière적인의미에서品詞變化로이해되고있기때문에범주적의미에동퉁한구조적의미를갖는다. 품사변화는例를들어 X 와 X:; 가품사 Wx와 W, 의두훨素이면 (53) 과같은함수로정의된것을말하는것 이다. 이때 Xx 는 X:; 로전환된다는것을의미하며 X x, 즉전환될수있는 mp라는함수의論項을轉換子 (Transferend) 라하고 X:;, 즉함수의값을轉 (53) T xy (Xx) =X:; 換體 (Translat) 라한다. 전환에서는법주적의미와부분적 S로는구초적의미까지도변화된다. 이 (53) 을 Mp에적응시켜보면전환은명백허재귀적이거나대칭적이아니기때문에 12종류의전환이가능하다. 다음 (54) 는 (53) (54) T 01 T IO T AO T EO T OA T 1A T Al T E1 T OE T 1E T AE T EA 의 Tx :; 에서 Z 를전환자로, y 를전환체로본것이다. 이 Tx :; 는원칙적 a 로 Mp 간의전환이기때문에이.x, y 간에는의존관계가성렵한다. 例를들어 Tx :; (Xx)=X:; 가 Xx, X:; 에적용되면다음 (55a",b) 만 Xx, X:; 에허용되고 (55c",d) (55a) D(Xu)=Xx (55b) D(X:;) =Xv (55c) D(Xx) =X,μ (55d) D(Xv) =X:; ( 단 Xxε Wx, X:;ε W:;,x. ε Wu, Xvε Wv) 는허용되지않는다. 그이유는이기호들을 (54) 의표에서하나를골라여기에적용시켜보면쉽게알수있기때문이다. 例를들어 T}J(X})=xt에서의존관계 (55) 를척용시켜보면 (56a) 는 0가 I에依存하기때문에 (40) 의形式에따라가능하지만 (56b) 는 I가 O에의존하는경우는없치해문에불가 (56a) D(Xb) =X}

21 依存文法의形式化問題 87 (56b) D(Xi) =Xh 18 능하다. 다시말하연 I는의존관계의계충에서가장영향력이많은훨素이기때문에그것은보면적우로다른 mp에의존될수없게되어있다. 그러나文章은두개의 I(Xj와 X1) 를내표시키는데그중의하나는 o (Xõ) 로전환되고 O로서다른 I에의존시키게된다. 그래서 I끼리는 D(X[)=X[ 와같은함수를갖지못하게하는대신에 (57) 과같은함수를적용시키케한다. (57) D(X[) =X% ( 단 X; 는엄의의 mp) 이 (57) 에서한文章 r 에 1 X}\ X}2..., X}' 가주어쳐있을혜다음 (58a) 나 (58b) 가 Xfk, X}l (I ~k, l~r) 에적용되는데 (58a) 는두 I가연정되는경우이고 (5Sb) 는두 I중에서하나는전환자고이전환차의전환체가다른 I에 (58a) X}k J X}l (58b) T없 (X1) =X쌓 D(X씻 )=X~) 의존한다는뭇이된다. 이 (57) 과갚은낀x 전환의유형을 (54) 에따라그例文들을보면다음 (59a""b) 와같다. (59a) 깐 o i) Sonntags zι arbeiten ist gottlos. ii) Daß man so.ηηtags arbeitet, ist gottlos. (59b) T[A i) Der aus der Kirche kommende Mann schaut fìnster. ii) Der Mann, der aus der Kirche kommt, schaut fìnster. (59c) T[E i) Wegen seines langsamen Arbeitens fliegt er. ii) Weil er lang$a~η arbeitet, fliegt er. 유형 i) 을 Tesniére는제 1 급전환, ii) 를제 2 급전환이라하고있다 : 우 리는전자를, 즉句로전환된 i) 을마x로, 후자를, 즉文童 S로전환된 ii) 를 7: IX로사용한다. 이例文들을지금까지의 規則들로기술하기는매우복장하다. (59a) i) 의 경우전환소 (Translator) 로서 zu를가진 전환 T/O (X[)=Xo는 i 전환자 18 이 (56a ",b) 에서의새로운지표 X! 는 W ortklasse lj강의 i값의 mp를말하고 X~ 는 W ortklasse Xy의 j값의 mp플말한다. 그래서전환의일반척인形式은 (53') 와 같다. (53') T!j(X~) =X~

22 88 語學맑究第 22 卷第 l 號 arbeit. Rl19에 sonntags와같은특청한 mp의의존이존재하지않을때에만전환할수있고, 반면에 iî) 의 '1:10(X 1 ) =Xo는전환자 arbeit.r 1가어떤要素를지배하여도상관없다. (5gb) i) 의경우는전환자는 komm.rl이고이의 T 1A (X1)=XA 인전환체는 kommend다. ii) 에서는전환체로서간주될수있는 der aus der Kirche kommt의 Transferend가 der Mann kommt aus der Kirche 정도로암시적 a로나와있을뿐이지, 전환을형식적 S로실현시킬수는없게되어었다. 이와같은경우 komm.rl인 I에의존되고있는 Mann(O) 는 I인 schaut에직접의존이되어있을뿐만아니라 der aus der Kirche kommt도 Mann(O) 에의존되어이 0가 schaut에의존되어있다. 양자가다 I에의존하게되지만전자의 O는삭제되고후자의 0만존재한다. 그러면전자의 0가처음부터深層에존재한다는전제가있어야되는데의존에서는이런전제가없다. 전환에서는첫째삭제가있어서는안되고, 둘째形式的寶現이있어야하고, 세쩨依存關係가있어야하는데여기서는그원칙을위배하고있다. (59c) 에서는낀 (X1)=Xo의로대위에전환자연 arbeit.rl가전환체인 Arbeiten 으로전환되고여기에소속된다른 mp들도 (sein-, langsam-) Txy의원칙에따른전환을통하게되면그절차는복장해진다. 여기서는기술을생략한다 Anaphern Anapher (An) 의문제는여러理論들의토대위에서反複代用語, 頭語훌훌用, 照應指示詞, 照應的代名詞등으로해석되어여러측면에서그명시적커솔을위한노력들이경주되고있다. 대부분이意味論的측면에서의정근이지結蘇論的측면에서의첩근은드물다. Tesnière도구조적이아닌의며론적측면과연관을갖는다. An의困數가첫째전통척언의미에서 dies- 같은치시대명사뿐만아니라인칭대명사 (er",), 지시부사 (dort, hin,'" ), 부사적접속사 (deshalb...) 20 등에포괄적으로나타나그것이 O를대체할수있을뿐만아니라 O를대신할수도있고, 물째개개文章의분석에서명확하게 An의짧數를청의할수없는, 말하자면文章의要素가어떤함수를지시하는가를확청지을수가없기때문이다. 이에엽각해서다음 (60) 을보면우리가이때까지도입해서사용한記表法 X를쓸수없고 mp틀을그대로사용할수밖에없다. 왜냐하면이때의 An은그共指示制約이없을때에는그함수를 (60) Vater hat seineπ Plan verwirklicht. 19 Vgl. 註 2 20 Vgl. Engel: S.23, S.260ff.

23 依存文法의形式化問題 89 확정짓기어려우묘로야함수를 (61) 과같이하고이것을지시하는훨素인 sein 에도 (62) 처럼동시에적용시켜야하기때문이다. 이와같은 An 이 좀더 (61) A η (Vater) =Plan (62) D (seinen) = Vater 확장되고복잡한경우를우리는이미 (59b) ii) 에서보았다. 여기서는 der가 다음 (63a rv c) 처럼제가지함수를제공할수있다. (63a) An(Mann)=komm.RI (63b) D(der)=komm.RI (63c) 낀 A (komm'ri+ 의존소 ) =der... kommt( 전환은또 der를통해나 타난다. ) 그러나이 기술을 Tesnière의의존수형도에적용시키게되면 이런결과가 나오지않고오히려 (63a') 와같은모양을갖게되고 (6 1) 은 (61') 와같은 결과가나오게되어있다. (63a') An (der) =Mann (61') An (seinen)=vater 결국 (61) 과 (61') 그리고 (63a rv c) 와 (63a') 가같은 귀결을가지고오지 만 (64) 가보여주는바와같이 *D(Vater) =Plan이라는 Aη을전면에내세우느냐또는共指示 (Id.) 를전면에내세우느냐의차이밖에없다. 그래서우리 (64) Plan D/ \ 용 D seinen Id. Vater 는 Id. 도 D 도 An 으로해석할수있다 의존과품사 우리는 (53 rv 57) 과연관시켜 mp 틀간에는연접플에의하여특정한依存關 係가있음을보았다. 그러나여기에서우리는특정한품사에속하는 mp 들 간의잠채적인관계에서상당한제약이있다는것도보았다. 특히 T1X에서그랬었다. 이제우리는가능한依存을위해서이제약을形式化시켜보면다음 (65) 와같은 167~ 의가능성을발견할수있을것이다 D의첫벤째指標는依存的훨素를의미하고두번째指標는支配흉흉素를의미한다. 즉 D AI는 D(XA)=X1와같은의미다.

24 90 語學맑究第 22 卷第 l 號 (65) D1X Dox D AX D EX Dxo DIO Doo D AO DEO D XA D1A D OA D AA DEA D XE D IE D OE DAE D EE D X1 D[[ D 01 D AI D E! 이 (65) 에서 D1X 의존은 (57) 이하에서충분히다루었기때문에더논의플 피하는것이좋고 Dox 依存에서는전환을통하는것을제외하고는 D 01 만가 능하다. 여기서결합가 (Valenz) 서규명하느냐가많은문제를대두시키게한다. 을抽象的으로표시하는 Mp 로정의되어있다. 문제가생겨나고그것을어느레벨의측면에 D AX 依存의경우 A 는寶質 여기서 DAX 依存의특정적인 依存關係가 DAO 라는사실이직접적 로나온다. 보족어 (actants) 관계는의미 론적해석을이미 A 의정의속에내포시키고있다. 그래서우리가의존관계 를의미론적 a 로해석하려고할때일반적무로인용되는 文章이 (66) 과같 은것인데여기서보면述蘇 (Kopula) 는動作의개념에서볼때 I 뱀주에안 든다. (66) Tater ist stark. Tesnière 는그럼에도불구하고 sein 을 I 로기술하고있는데이것은분 명히언어수행에따라서그리고언어사적이유에서그러하다 sein 은의존관 계와다른기능적인관점에서 I 의법주적의미를갖고있지않는엄의의 Xj 와같은單位다. 이로써그는모순에빠진다. 왜냐하면 stark 가첫째 I 의법 주적의미를갖든지, 둘째 I 의자절을범주적의미에서가아니고구조적의 미에서제공해주어야하기때문이다 DEX 의존의경우는 D AO 의존에서만 올수있는 A 에대한관계에유추하여 E 에서는유일한 DEX 의존, 즉 D(XE ) =X1 만있다고가정해야한다. 이에대해 Tesnière 는상황어 (circqnstants) 라 는이름을사용했다. 이의존관계는여러가지방법으로 J 의미론척 a 로해석 될수있다. 상황어가독특한相互共起關係에있는보족어에서와꼭같이 우리는여기셔더이상논의하지않는다. 이와같이본다면이 (65) 의 167~ 의의존가능성중에서다음 (67arv e) 와같 은의존가능성만남게된다. (67a) D(Xo) =X1 ( 콩연사함수 ) (67b) D(XA) =Xo ( 한정적함수 ) (67C) D(XE) =X1 ( 상황적함수 ) (67d) D(XE) =XA (A 의부가화 ) (67e) D(XE) =XE (E 의부가화 )

25 依存文法의形式化問題 91 이에입각해서연접과전환을고려하지않을경우다음 (68) 과같응의존수형도가생긴다. (68) X[ ~\ X O X E X A X E X E X E 4.8. 순환성 (Rekursivität) 우리는 3.4. 에서文法의 1홉環形式을數學에서보장받을수있다는것을보았다. 이순환은의존수형도 (68) 에서우리는부사가서로의존할수있다는것은依存펀文章形式을순환적모형이되게한다는것을알수있다. DG 에서순환형식이이용되는것은이미계속해서논의펀바와같이 DEX, 전환, 연접을통해서다 DEX를가지고순환적모형이되케하는것은 (68) 에서볼수있고연접을통해서하는것은이미 (45) 이하에서보았기때문에더논의하지않는다. 전환을가지고하는경우는다음 (69) 가보여주는바와같이무한히긴전환과의존의순환이가능하다. (69) T OA (XJ) =X~ D(X~)=Xð TOA(X8)=X~ D(Xi)=Xã 이런종류의구조는 (das Haus)... des Freunds der Frau im Garten_ des Bruders der Mutter... 구조와같은것이다. 이구조는 KS의右分技순환적 구조와정우에따라서는左分技순환적구조에해당한다. 5. 結論 5.0. DG 에서의形옳化問題는이상에서그대체적언울곽이드러났다. Heringer 의 KS, DS, 連言, 選言, 環規則들은모두 KlrvK38 의生成規則을 끌어내기위하여數學으로부터그보창을받으려는의도에서였다. 이때그의形式들은바로그의 K-Regel 에접합시키키위한형식들이었커혜문에 Tesnière

26 92 語學몽주究第 22 卷第 l 號 의形式과차이를나타낸다는것은어쩔수없는것이었다. Klein 은처음부터 Tesnière 의 이폰을形式化시키는데있었고그것은어느 정도실효를거두었다. 실사와허사의정의에서출발하여이 結束關係에서는양상을관찰하고있다. 기능을행사하는연점과 지고훨素들간에서순환을 mots 들이서로 특히구조적의미를가지고文法的 전환들이범주척의미에동등한구조적의미를가 얼으킴으로써生成文法에대한기반을제콩하였 다는것은새로운依存의生成形式을제시한것이라볼수있다. Literaturverzeichnis Baumgärtner, Klaus (1970) Konstituenz und Dependenz. Zur Integration der beiden grammatischen Prinzipien, in Steger, Hugo, ed., Vorschlδge zμ eiηer struktιralen Graηzmatik des Deutschen, Darmstadt. Biere, Bernd Ulrich (1972) Dependenz bei Heringer, Ids-Arbeitspapier V 105 S der Arbeitsgruppe V alenzlexikon", Mannheim. Engel, Ulrich (1977) 8yηtax der. deutscheπ Gegeηψartssprache, Ber1in. Fischer, Walther L. (1973) Äqμivalenz- und Toeraη zstrι ktιren in der Linguistik, München. Heidolph, Kar1 Erich et al. (1981) Grμndzüge eiπer deutschen Grammatik, Berlin. Helbig, Gerhard (1969); Valenz, Tiefenstruktur und Semantik, Glottodidactica 3/4. (1970) Die Abhängigkeitsgrammatik, in G. Helbig, Geschichte der neuren 8prackwissensckaft, Leipzig. Heringer, Hans-]ürgen (1973) Theorie der deutscheπ 8yπtax, München. (1972) Formale Logik und Grammatik, Tübingen. Hjelmslev, Louis (1974) Prolegomeπa zu einer 8prachtheorie, München. Klein, Wolfgang (1971) Parsing, Frankfurt/M. Kunze, ]ürgen (1975) Abhängigkeitsgrammatik, Ber1in. Maas, Utz (1974) Dependenztheorie, in Arnold, Heinz Ludwig/Sinemus, Volker, eds., Grundzüge der 8prach- und Literaturwissenschaft, München. Witt, ]. W. Ralf (1971) Dependenz und Abhängigkeit. Anmerkungen zu Heringers Versuch einer Präzisierung und Axiomatisierung der strukturalen Syntax Tesnièrs, Zeitschrift fi 강 r 38. Dialektologie uπ d Liηguistik

27 依存文法의形式化問題 93 ZUSAMMENFASSUNG Zum Problem einer Forma1isierung in der Dependenzgrammatik Byong Tschan Rhie In dieser Abhandlung habe ich versucht, für die Dependenztheorie zu formalisieren, um die Leistungsfähigkeit einer Dependenzgrammatik (DG) mit einer Konstituentengrammatik (KG) vergleichen zu können. Dabei habe ich mich der deutschen Entwicklung zuge andt und mich auf H-J. Heringer und W. Klein beschränkt, weil sie in weiterem Ver1auf der Untersuchungen von Belang sind. Da aber andererseits die DG in der koreanischen Germanistik ausgiebig reklamiert wird und dabei gerade die formalen Voraussetzungen der Theorie mehr mathematisch als linguistisch ausgerichtet sind, ar es sinnvoll, diese hier ausführlicher darzulegen. Für die Auswahl mußte ich mich deshalb daran orientieren, welche mathematischen Verfahren bisher in der DG tatsächlich verwendet werden oder als verwendbar erkannt sind. Innerhalb der Forma1isierung Heringers zeigten uns zuerst seine theoretische Zielsetzung, wie wir seine mathematischen Verfahren verwenden sollen. Sie sind nichts anders als seine Beschreibungssprache, um seine Konstitutionsregeln zu lesen oder zu benutzen. Auf diesem Grund interpretierte ich, wie diese mittels jener mathematische Sprache transferieren können. Dafür habe ich Mengentheorie ausführ1icher dargelegt. Andererseits habe ich mich auch auf die Untersuchung von Kleins Parsing konzentriert und mich hauptsächlich auf seinen Begriff Dependenz' beschränkt. Da er im Zusammenhang mit der Junktion und der Translation rekursiv ist, mußten auch ihre Funktionen berücksichtigt werden. Deshalb kam es darauf an, wieviel ich seine jeglichen Interpretationen von Tesnière sparen und welche Formalisierung ich einführen konnte. In diesem Rahmen war die Verwendung seiner speziellen Form notwendig. Wie in Heringer habe ich auch hier die Mengenthorie ausführ1icher dargelegt. 151 서울시관악구신렴통 서울대학교인문대학독어독문학과 접수 : )

242 외국어로서의독일어제 41 집.,.,. III.3 Y,. (2016). (2016),,,.,..., II.,,,

242 외국어로서의독일어제 41 집.,.,. III.3 Y,. (2016). (2016),,,.,..., II.,,, 41, 2017, 241-274 ( ).. (CBC), (CIC)., -.,., CIC CBC.,,. I.,., ( ) 242 외국어로서의독일어제 41 집.,.,. III.3 Y,. (2016). (2016),,,.,..., II.,,, 가상공간그룹소통의특징연구 243. II.3,.,. III.3..,. II.2., - ( 2016 ).. - -. 1),.

More information

고등독일어브로셔내지_양도원

고등독일어브로셔내지_양도원 CHUNJAE EDUCATION,INC. CHUNJAE EDUCATION,INC. CONTENTS 06 07 08 10 12 14 16 양도원 ( 독일어 I II) 경희대학교외국어교육학과학사 Goethe-Institut (Deutschlehrer-Diplom) 서강대학교독어독문학과석사, 박사 주한독일문화원어학부전임강사 EBS TV Deutsch heute

More information

°ø±â¾Ð±â±â

°ø±â¾Ð±â±â 20, 30, 40 20, 30, 40 1 2 3 4 5 6 7 8 9 10 3.1 6.3 9.4 12.6 15.7 18.8 22.0 25.1 28.3 31.4 2.4 4.7 7.1 9.4 11.8 14.1 16.5 18.8 21.2 23.6 7.1 14.1 21.2 28.3 35.3 42.4 49.5 56.5 63.6 70.7 5.9 11.9 17.8 23.7

More information

2 張奭鎭 차 례 序論

2 張奭鎭 차 례 序論 학술원논문집 ( 인문 사회과학편 ) 제 51 집 1 호 (2012) 37-87 話行의統合文法的記述 張奭鎭 * 초록 - 37 - 2 張奭鎭 차 례 序論 - 38 - 話行의統合文法的記述 3 Ⅱ 話行 - 39 - 4 張奭鎭 - 40 - 話行의統合文法的記述 5-41 - 6 張奭鎭 - 42 - 話行의統合文法的記述 7-43 - 8 張奭鎭 - 44 - 話行의統合文法的記述

More information

Microsoft PowerPoint - 26.pptx

Microsoft PowerPoint - 26.pptx 이산수학 () 관계와그특성 (Relations and Its Properties) 2011년봄학기 강원대학교컴퓨터과학전공문양세 Binary Relations ( 이진관계 ) Let A, B be any two sets. A binary relation R from A to B, written R:A B, is a subset of A B. (A 에서 B 로의이진관계

More information

Grundkurs Deutsch Lektion 1 Guten Tag! Ich heiße Yumi Park. Guten Tag! Ich heiße Yumi Park. 안녕하세요, 내이름은박유미입니다. Guten Tag! Ich heiße Yumi Park. 안녕하세요,

Grundkurs Deutsch Lektion 1 Guten Tag! Ich heiße Yumi Park. Guten Tag! Ich heiße Yumi Park. 안녕하세요, 내이름은박유미입니다. Guten Tag! Ich heiße Yumi Park. 안녕하세요, Grundkurs Deutsch Lektion 1 Guten Tag! Ich heiße Yumi Park. Guten Tag! Ich heiße Yumi Park. 안녕하세요, 내이름은박유미입니다. Guten Tag! Ich heiße Yumi Park. 안녕하세요, 내이름은박유미입니다. Ich komme aus Korea. 나는한국에서왔습니다. Ich bin

More information

Microsoft PowerPoint Relations.pptx

Microsoft PowerPoint Relations.pptx 이산수학 () 관계와그특성 (Relations and Its Properties) 2010년봄학기강원대학교컴퓨터과학전공문양세 Binary Relations ( 이진관계 ) Let A, B be any two sets. A binary relation R from A to B, written R:A B, is a subset of A B. (A 에서 B 로의이진관계

More information

<C8AFB0E6B9FDBFACB1B85F3236B1C75F33C8A32E687770>

<C8AFB0E6B9FDBFACB1B85F3236B1C75F33C8A32E687770> *32).,.,. 1),. 1),,,,,,,,.,,, 2002, 21. 26 3,..,,,. GMO, LMO. GMO(Genetically Modified Organism),. WTO OECD. LMO(Living Modified Organisms). LMO GMO 1992 (UNEP; United Nations Environment Programme) Rio.,,

More information

가장죽 - 독일어 문법 훑기

가장죽 - 독일어 문법 훑기 Gebrüder Grimm - Der süße Brei 동화로독일어문법공부하기 Es war einmal ein armes frommes Mädchen, das lebte mit seiner Mutter allein, und sie hatten nichts mehr zu essen. Da ging das Kind hinaus in den Wald, und begegnete

More information

PowerPoint Presentation

PowerPoint Presentation 5 불대수 IT CookBook, 디지털논리회로 - 2 - 학습목표 기본논리식의표현방법을알아본다. 불대수의법칙을알아본다. 논리회로를논리식으로논리식을논리회로로표현하는방법을알아본다. 곱의합 (SOP) 과합의곱 (POS), 최소항 (minterm) 과최대항 (mxterm) 에대해알아본다. 01. 기본논리식의표현 02. 불대수법칙 03. 논리회로의논리식변환 04.

More information

<32303136C7D0B3E2B5B520B4EBBCF6B4C920C7D8BCB3C1F620C1A632BFDCB1B9BEEE26C7D1B9AEBFB5BFAA5FB5B6C0CFBEEE20492E687770>

<32303136C7D0B3E2B5B520B4EBBCF6B4C920C7D8BCB3C1F620C1A632BFDCB1B9BEEE26C7D1B9AEBFB5BFAA5FB5B6C0CFBEEE20492E687770> 2016학년도 대학수학능력시험 제2외국어/한문영역 독일어Ⅰ 정답 및 해설 01. 1 02. 2 03. 4 04. 2 05. 2 06. 5 07. 1 08. 4 09. 3 10. 5 11. 4 12. 5 13. 3 14. 1 15. 5 16. 2 17. 3 18. 1 19. 1 20. 5 21. 4 22. 4 23. 5 24. 3 25. 2 26. 5 27.

More information

DBPIA-NURIMEDIA

DBPIA-NURIMEDIA 話用論의記述 * 張奭鎭 話用論 ( pragmatics) 1 01 70 年代에들어서서言語哲學에서활발히論議되고었다變形生成文法을기축무로하는美國言語學界에서도종래의統解위주의言語記述에서부터意味와話用을중시하는방향으로연구의관심이옮아가고있다. 본고에서는먼저話用論의言語哲學的배경을간단히살펴고 (9 1), 言語記述에서話用꿇이論議되는문제점을살피고 ( 92 ), 國語記述에서話用홈움이문제가될話階

More information

통편집.hwp

통편집.hwp 발 간 사 법학전문대학원 설립이라고 하는 법학계의 큰 변화를 몸소 겪으며 이러한 변화에 상응한 교육과 일정을 소화하기에도 빠듯한 일정 중에도 불철주야 연 구에 매달리시는 학계와 실무계의 많은 학자분들 및 독자분들에게 감사와 존 경의 뜻을 전하고 싶습니다. 유난히 더웠던 날씨 탓에 끝날 것 같지 않았던 여름도 지나가고 있습니다. 뜨거운 여름의 볕을 이겨낸 곡식이

More information

<3235B0AD20BCF6BFADC0C720B1D8C7D120C2FC20B0C5C1FE20322E687770>

<3235B0AD20BCF6BFADC0C720B1D8C7D120C2FC20B0C5C1FE20322E687770> 25 강. 수열의극한참거짓 2 두수열 { }, {b n } 의극한에대한 < 보기 > 의설명중옳은것을모두고르면? Ⅰ. < b n 이고 lim = 이면 lim b n =이다. Ⅱ. 두수열 { }, {b n } 이수렴할때 < b n 이면 lim < lim b n 이다. Ⅲ. lim b n =0이면 lim =0또는 lim b n =0이다. Ⅰ 2Ⅱ 3Ⅲ 4Ⅰ,Ⅱ 5Ⅰ,Ⅲ

More information

3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로

3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로 3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로성립한다. Theorem 7 두함수 f : X Y 와 g : X Y 에대하여, f = g f(x)

More information

-주의- 본 교재는 최 상위권을 위한 고난이도 모의고사로 임산부 및 노약자의 건강에 해로울 수 있습니다.

-주의- 본 교재는 최 상위권을 위한 고난이도 모의고사로 임산부 및 노약자의 건강에 해로울 수 있습니다. Intensive Math 극악 모의고사 - 인문계 등급 6점, 등급 점으로 난이도를 조절하여 상위권 학생들도 불필요한 문제에 대한 시간 낭비 없이 보다 많은 문제에서 배움을 얻을 수 있도록 구성하였습니다. 단순히 어렵기만 한 문제들의 나열이 아니라 수능에 필요한 대표 유형을 분류 하고 일반적인 수험환경에서 흔하게 배울 수 있는 내용들은 과감하게 삭제 수능시험장

More information

C# Programming Guide - Types

C# Programming Guide - Types C# Programming Guide - Types 최도경 lifeisforu@wemade.com 이문서는 MSDN 의 Types 를요약하고보충한것입니다. http://msdn.microsoft.com/enus/library/ms173104(v=vs.100).aspx Types, Variables, and Values C# 은 type 에민감한언어이다. 모든

More information

<3033C6AFC1FD5FC0CCB3B2C0CE2E687770>

<3033C6AFC1FD5FC0CCB3B2C0CE2E687770> 비판적합리성의구조 이남인 * 1),,,,,, (Husserl, Habermas, evidence, theory of truth, critical rationality, communicative rationality, intuitive rationality) 1). I, II, III V. VI * 1) 2004 2 19-20.. 84.. VI. I. 하버마스의의사소통행위론

More information

Alle Menschen werden Brüder, ( 합창 알토, 테너, 바리톤 ) 시류가가차없이갈라놓은것을네마법이다시묶는구나. 네온화한날개가머무는곳에서모든사람이형제가되리라. (A, T, B Solo) Wem der große Wurf gelungen, Eines F

Alle Menschen werden Brüder, ( 합창 알토, 테너, 바리톤 ) 시류가가차없이갈라놓은것을네마법이다시묶는구나. 네온화한날개가머무는곳에서모든사람이형제가되리라. (A, T, B Solo) Wem der große Wurf gelungen, Eines F An die Freude 기쁨에게바치는찬가 (Bariton Solo) O Freunde, nicht diese Töne! Sondern laßt uns angenehmere anstimmen und freudenvollere. ( 바리톤독창 ) 벗들이여, 이런노래는그만! 대신즐겁고기쁨에찬노래를불러보자. Freude, (Freude) Freude, (Freude)

More information

09_Week_KR_Syntax_Merkmale

09_Week_KR_Syntax_Merkmale Einführung ins Koreanische Syntaktische Merkmale Korean Word Order S S O V 한스는책을산다. S SS 2005 Prof. Dr. See-Young Cho cho@fk1-tu-berlin.de 1 2 Word Order in Dependent Clauses I know that Hans bought a

More information

1 1,.,

1 1,., ,.,. 7 86 0 70 7 7 7 74 75 76 77 78 79 70 7 7 7 75 74 7 7 7 70 79 78 77 76 75 74 7.,. x, x A(x ), B(x ) x x AB =x -x A{x } B{x } x >x AB =x -x B{x } A{x } x =[ -x(xæ0) -x (x

More information

제 3강 역함수의 미분과 로피탈의 정리

제 3강 역함수의 미분과 로피탈의 정리 제 3 강역함수의미분과로피탈의정리 역함수의미분 : 두실수 a b 와폐구갂 [ ab, ] 에서 -이고연속인함수 f 가 ( a, b) 미분가능하다고가정하자. 만일 f '( ) 0 이면역함수 f 은실수 f( ) 에서미분가능하고 ( f )'( f ( )) 이다. f '( ) 에서 증명 : 폐구갂 [ ab, ] 에서 -이고연속인함수 f 는증가함수이거나감소함수이다 (

More information

0 cm (++x)=0 x= R QR Q =R =Q = cm =Q =-=(cm) =R =x cm (x+) = +(x+) x= x= (cm) =+=0 (cm) =+=8 (cm) + =0+_8= (cm) cm + = + = _= (cm) 7+x= x= +y= y=8,, Q

0 cm (++x)=0 x= R QR Q =R =Q = cm =Q =-=(cm) =R =x cm (x+) = +(x+) x= x= (cm) =+=0 (cm) =+=8 (cm) + =0+_8= (cm) cm + = + = _= (cm) 7+x= x= +y= y=8,, Q . 09~ cm 7 0 8 9 8'-p 0 cm x=, y=8 cm 0' 7 cm 8 cm 9 'åcm 90 'åcm T T=90 T T =" 8 - =' (cm) T= T= _T _T _'_ T=8' (cm ) 7 = == =80 -_ =0 = = _=(cm) M = = _0= (cm) M M =" - = (cm) r cm rcm (r-)cm H 8cm cm

More information

1 11 111 111-1 p, q, r A, B, C (1 p

More information

Microsoft PowerPoint - chap06-2pointer.ppt

Microsoft PowerPoint - chap06-2pointer.ppt 2010-1 학기프로그래밍입문 (1) chapter 06-2 참고자료 포인터 박종혁 Tel: 970-6702 Email: jhpark1@snut.ac.kr 한빛미디어 출처 : 뇌를자극하는 C프로그래밍, 한빛미디어 -1- 포인터의정의와사용 변수를선언하는것은메모리에기억공간을할당하는것이며할당된이후에는변수명으로그기억공간을사용한다. 할당된기억공간을사용하는방법에는변수명외에메모리의실제주소값을사용하는것이다.

More information

Kompetent.Kernig.Kreativ.tiv.

Kompetent.Kernig.Kreativ.tiv. Kompetent.Kernig.Kreativ.tiv. Kompetent. Kernig. Kreativ. www.studio1.de Studio1 Kommunikation GmbH Kommunikation verbindet. Menschen, Märkte und Momente. Kommunikation ist immer und überall. Und: sie

More information

<C7D5C0C7BEC8C0C75FC1A6BDC3BFCD5FC3A4B9ABC0C75FBDC2C0CE5FB9E9B0E6C0CF5FC3D6C1BEBABB2E687770>

<C7D5C0C7BEC8C0C75FC1A6BDC3BFCD5FC3A4B9ABC0C75FBDC2C0CE5FB9E9B0E6C0CF5FC3D6C1BEBABB2E687770> 합의안의 제시와 채무의 승인* - 大 法 院 2008.7.24. 선고 2008다25299 판결 - 백 경 일** [ 사실관계 및 판결요지 ] I. 사실관계 원고인 진주상호저축은행 1) 은 1997년 8월 19 일 한국주택 주식회사( 이하 한국주택 이라 한다) 와의 사이에 차용금액 5 억 원, 거래기간은 2 개월로 하는 어음거래약정을 체결하였고, 같은 날 한국주택에게

More information

완벽한개념정립 _ 행렬의참, 거짓 수학전문가 NAMU 선생 1. 행렬의참, 거짓개념정리 1. 교환법칙과관련한내용, 는항상성립하지만 는항상성립하지는않는다. < 참인명제 > (1),, (2) ( ) 인경우에는 가성립한다.,,, (3) 다음과같은관계식을만족하는두행렬 A,B에

완벽한개념정립 _ 행렬의참, 거짓 수학전문가 NAMU 선생 1. 행렬의참, 거짓개념정리 1. 교환법칙과관련한내용, 는항상성립하지만 는항상성립하지는않는다. < 참인명제 > (1),, (2) ( ) 인경우에는 가성립한다.,,, (3) 다음과같은관계식을만족하는두행렬 A,B에 1. 행렬의참, 거짓개념정리 1. 교환법칙과관련한내용, 는항상성립하지만 는항상성립하지는않는다. < 참인명제 > (1),, (2) ( ) 인경우에는 가성립한다.,,, (3) 다음과같은관계식을만족하는두행렬 A,B에대하여 AB=BA 1 가성립한다 2 3 (4) 이면 1 곱셈공식및변형공식성립 ± ± ( 복호동순 ), 2 지수법칙성립 (은자연수 ) < 거짓인명제 >

More information

체의원소를계수로가지는다항식환 Theorem 0.1. ( 나눗셈알고리듬 (Division Algorithm)) F 가체일때 F [x] 의두다항식 f(x) = a 0 + a 1 x + + a n x n, a n 0 F 와 g(x) = b 0 + b 1 x + + b m x

체의원소를계수로가지는다항식환 Theorem 0.1. ( 나눗셈알고리듬 (Division Algorithm)) F 가체일때 F [x] 의두다항식 f(x) = a 0 + a 1 x + + a n x n, a n 0 F 와 g(x) = b 0 + b 1 x + + b m x 체의원소를계수로가지는다항식환 Theorem 0.1. ( 나눗셈알고리듬 (Division Algorithm)) F 가체일때 F [x] 의두다항식 f(x) = a 0 + a 1 x + + a n x n, a n 0 F 와 g(x) = b 0 + b 1 x + + b m x m, b m 0 F, m > 0 에대해 f(x) = g(x)q(x) + r(x) 을만족하는

More information

함수공간 함수공간, 점열린위상 Definition 0.1. X와 Y 는임의의집합이고 F(X, Y ) 를 X에서 Y 로의모든함수족이라하자. 집합 F(X, Y ) 에위상을정의할때이것을함수공간 (function space) 이라한다. F(X, Y ) 는다음과같이적당한적집합과

함수공간 함수공간, 점열린위상 Definition 0.1. X와 Y 는임의의집합이고 F(X, Y ) 를 X에서 Y 로의모든함수족이라하자. 집합 F(X, Y ) 에위상을정의할때이것을함수공간 (function space) 이라한다. F(X, Y ) 는다음과같이적당한적집합과 함수공간 함수공간, 점열린위상 Definition.1. X와 Y 는임의의집합이고 F(X, Y ) 를 X에서 Y 로의모든함수족이라하자. 집합 F(X, Y ) 에위상을정의할때이것을함수공간 (function spce) 이라한다. F(X, Y ) 는다음과같이적당한적집합과같음을볼수있다. 각 x X에대해 Y x = Y 라하자. 그리고 F := Y x x X 이라하자.

More information

Vector Differential: 벡터 미분 Yonghee Lee October 17, 벡터미분의 표기 스칼라미분 벡터미분(Vector diffrential) 또는 행렬미분(Matrix differential)은 벡터와 행렬의 미분식에 대 한 표

Vector Differential: 벡터 미분 Yonghee Lee October 17, 벡터미분의 표기 스칼라미분 벡터미분(Vector diffrential) 또는 행렬미분(Matrix differential)은 벡터와 행렬의 미분식에 대 한 표 Vector Differential: 벡터 미분 Yonhee Lee October 7, 08 벡터미분의 표기 스칼라미분 벡터미분(Vector diffrential) 또는 행렬미분(Matrix differential)은 벡터와 행렬의 미분식에 대 한 표기법을 정의하는 방법이다 보통 스칼라(scalar)에 대한 미분은 일분수 함수 f : < < 또는 다변수 함수(function

More information

ÀÎÅͳÝ-°ø°£µµÇüÇØ

ÀÎÅͳÝ-°ø°£µµÇüÇØ .. Q.... M M : M Q : Q M : //Q.,.. I FG FE F FG, HG EH H HG F G FG ;!;_F _FG ;!;_G _F ;!;_'_;!; F F... 5. 5. 6. 5 7. 0 8. 7 9. ' FG, HG H G, H F E G H '. FG HG F, H. FH ' FH ' ' {} +{} -(') cos h -;!;

More information

2),, 312, , 59. 3),, 7, 1996, 30.

2),, 312, , 59. 3),, 7, 1996, 30. *,.1) 1),. 2),, 312, 2000. 3., 59. 3),, 7, 1996, 30. 4).. 1. 2 ( :,,, 2009). 5) 2004. 2. 27. 2003 7507 ; 1985. 6. 25. 85 660 ; 1987. 2. 10. 86 2338. 6) 1987. 7. 21. 87 1091. 7) 2006. 4. 14. 2006 734. 8),

More information

헨체의 엘리트적...

헨체의 엘리트적... - (WDR: West Deutscher Rundfunk Kln) - 19935 (Meine Musik und Politik) 1995 106 ( ). - - ( ) ( ),. ( ) ( ),, 1995 (? ) ( ) /. - (WDR: West Deutscher Rundfunk Kln) - 19935 (Meine Musik und Politik)' 1995106

More information

2 A A Cs A C C A A B A B 15 A C 30 A B A C B. 1m 1m A. 1 C.1m P k A B u k GPS GPS GPS GPS 4 2

2 A A Cs A C C A A B A B 15 A C 30 A B A C B. 1m 1m A. 1 C.1m P k A B u k GPS GPS GPS GPS 4 2 www.ebsi.co.kr 2 A A 1 133 Cs 1 11 1 A C C A A B A B 15 A C 30 A B A C B. 1m 1m A. 1 C.1m P k A B u k GPS GPS GPS GPS 4 2 www.ebsi.co.kr A B t B A ;2!;t v v= = (3_t)+(6_0.5t) v=4 m/s t+0.5t 3 m/s 6 m/s

More information

hwp

hwp , 14% 18,300.,. ( ),.. 14 % 18,3 0 0., " "., ( ) " ".,... (E PA) (CARB ). " E PA ".. 9 6 5 1 0 1 5 %. CARB ( ). . "9 9 E PA, ".,. 1 3 [H P E 1 0 0 M ]., 7 2 0 0, 5 0 0.,.. " ".., 1 0 %., " 2 0 % ".,. '

More information

FGB-P 학번수학과권혁준 2008 년 5 월 19 일 Lemma 1 p 를 C([0, 1]) 에속하는음수가되지않는함수라하자. 이때 y C 2 (0, 1) C([0, 1]) 가미분방정식 y (t) + p(t)y(t) = 0, t (0, 1), y(0)

FGB-P 학번수학과권혁준 2008 년 5 월 19 일 Lemma 1 p 를 C([0, 1]) 에속하는음수가되지않는함수라하자. 이때 y C 2 (0, 1) C([0, 1]) 가미분방정식 y (t) + p(t)y(t) = 0, t (0, 1), y(0) FGB-P8-3 8 학번수학과권혁준 8 년 5 월 9 일 Lemma p 를 C[, ] 에속하는음수가되지않는함수라하자. 이때 y C, C[, ] 가미분방정식 y t + ptyt, t,, y y 을만족하는해라고하면, y 는, 에서연속적인이계도함수를가지게확 장될수있다. Proof y 은 y 의도함수이므로미적분학의기본정리에의하여, y 은 y 의어떤원시 함수와적분상수의합으로표시될수있다.

More information

(Hyunoo Shim) 1 / 26 조건부생명확률 (coningen probabiliy) 이란? 사망의순서 ( 조건이됨 ) 를고려한생명확률동시생존자 / 최종생존자생명확률 : 사망이 x이든 y이든가리지않음 ( 대칭적 ) [ 조건부생명확률 : x와 y의사망순서를고려함 ( 비대칭적 ) ➀ 기호 : 예를들어, q 1 xy a) 사망순서 : 숫자 1, 2, 3,...

More information

+변협사보 4월호

+변협사보 4월호 Seoul Bar Association 2014. 08. 06_ 07_ 08_ 13_ 14_ 16_ 18_ 23_ 26_ 28_ 30_ 32_ 33_ 34_ 36_ 38_ 45_ 48_ 49_ 58_ 62_ 68_ 2014 August_3 2014.08 Sunday Monday Tuesday Wednesday Thursday Friday Saturday 01

More information

SB-600 ( ) Kr SB-600 1

SB-600 ( ) Kr SB-600 1 SB-600 () Kr SB-600 1 " " "! $ ' " " $ % & 2 ' ( # # # # " & " # # "! 3 " " # ' # $ # " " " " " 4 " " " " ( # " " " " 5 # $ " " # " " " ( # " 6 " # $ " " # " " " ( # ' " " 7 8 9 k k k k k k k k k 10 k

More information

2011³»ÁöÆíÁýÃÖÁ¾

2011³»ÁöÆíÁýÃÖÁ¾ 5 6 NDI POLICY SEMINAR 2011 7 8 NDI POLICY SEMINAR 2011 9 10 NDI POLICY SEMINAR 2011 13 14 NDI POLICY SEMINAR 2011 15 16 NDI POLICY SEMINAR 2011 17 18 NDI POLICY SEMINAR 2011 19 20 NDI POLICY SEMINAR

More information

<B3EDB9AEC0DBBCBAB9FD2E687770>

<B3EDB9AEC0DBBCBAB9FD2E687770> (1) 주제 의식의 원칙 논문은 주제 의식이 잘 드러나야 한다. 주제 의식은 논문을 쓰는 사람의 의도나 글의 목적 과 밀접한 관련이 있다. (2) 협력의 원칙 독자는 필자를 이해하려고 마음먹은 사람이다. 따라서 필자는 독자가 이해할 수 있는 말이 나 표현을 사용하여 독자의 노력에 협력해야 한다는 것이다. (3) 논리적 엄격성의 원칙 감정이나 독단적인 선언이

More information

OCW_C언어 기초

OCW_C언어 기초 초보프로그래머를위한 C 언어기초 4 장 : 연산자 2012 년 이은주 학습목표 수식의개념과연산자및피연산자에대한학습 C 의알아보기 연산자의우선순위와결합방향에대하여알아보기 2 목차 연산자의기본개념 수식 연산자와피연산자 산술연산자 / 증감연산자 관계연산자 / 논리연산자 비트연산자 / 대입연산자연산자의우선순위와결합방향 조건연산자 / 형변환연산자 연산자의우선순위 연산자의결합방향

More information

NFC칩이 없거나 다른 OS

NFC칩이 없거나 다른 OS 붙임 RFID 적용가능스마트폰기종현황 (2017. 7 월기준 ) 제조사기기명모델명 OS 넥서스 S SHW-M200S 안드로이드 2.3 2.1 - 상 갤럭시 S2 SHW-M250S 안드로이드 2.3 3.0 - 상 갤럭시 S2 LTE SHV-E110S 안드로이드 2.3 3.0 - 중 갤럭시 S2 HD LTE SHV-E120S 안드로이드 2.3 3.0 - 중 갤럭시넥서스

More information

Lektion 01 Guten Tag! Gute Nacht, Mama! 안녕하세요! Auf Wiedersehen. 학습목표 Frau Schmidt! 인사말안부묻기명사의성인칭대명사 sein 동사 Ich heiße Kim Minhee.

Lektion 01 Guten Tag! Gute Nacht, Mama! 안녕하세요! Auf Wiedersehen. 학습목표 Frau Schmidt! 인사말안부묻기명사의성인칭대명사 sein 동사 Ich heiße Kim Minhee. Danke, gut. Und Ihnen? Guten Abend! Lektion 01 Guten Tag! Gute Nacht, Mama! 안녕하세요! Auf Wiedersehen. 학습목표 Frau Schmidt! 인사말안부묻기명사의성인칭대명사 sein 동사 Ich heiße Kim Minhee. 기본회화 1 A : Guten Morgen, Herr Meyer!

More information

l 접속법 1 식 Er fragte mich: Gehst du zur Wahl? I) 간접화법의서술문 Er sagte: Heute komme ich zu dir. Er sagte, heute komme er zu mir. Er sagte, dass er heute zu

l 접속법 1 식 Er fragte mich: Gehst du zur Wahl? I) 간접화법의서술문 Er sagte: Heute komme ich zu dir. Er sagte, heute komme er zu mir. Er sagte, dass er heute zu 접속법 (Der Konjunktiv) 3) 접속법의어형 l 접속법이란? 1) 화법의세가지종류직설법 (Indikativ) : 행위나사실의진술명령법 (Imperativ) : 명령이나금지의표현접속법 (Konjunktiv) : 간접화법, 비현실화법 ( 가정법, 소망문 ) 접속법은화자가남에게전해듣거나, 상상하거나, 아니면불확실한사실을표현할때사용한다. 접속법의문장은 er

More information

2

2 rev 2004/1/12 KAIST 2 6 7 1 13 11 13 111 13 112 18 113 19 114 21 12 24 121 24 122 26 13 28 131 28 132 30 133 (recurrence) 34 134 35 4 2 39 21 39 211 39 212 40 22 42 221, 42 222 43 223, 45 224 46 225, 48

More information

Boström, Familienerbrecht und Testierfreiheit in Schweden und anderen skandinavischen Ländern, in: Familienerbrecht und Testierfreiheit im europäische

Boström, Familienerbrecht und Testierfreiheit in Schweden und anderen skandinavischen Ländern, in: Familienerbrecht und Testierfreiheit im europäische 가정의 달 기념 심포지엄 ❷ 부부 공동노력으로 형성된 재산, 상속법에서도 인정해야!! 고령사회에서 노년의 복지와 밀접한 연관이 있는 배우자 상속분의 문제를 지속적으로 제기하여 민법상 부부재산제 개정을 주도 해온 상담소에서는 가정 내 양성평등과 혼인재산형성에 기여한 배우자의 권리를 보호하기 위해 지난 5월 24일 가정의 달 기념 심 포지엄 부부 공동노력으로 형성된

More information

@ p a g e c o n te n tt y p e = " te x t/ h tm l;c h a rs e t= u tf- 8 " fo r (in t i= 0 ; i< = 1 0 ; i+ + ) { o u t.p rin tln (" H e llo W o rld " + i + " < b r/> " ); = re s u lt + re s u lts u m ()

More information

AD AD 8-0 / A A-2 / A A A-5 / A A T-T / Q

AD AD 8-0 / A A-2 / A A A-5 / A A T-T / Q 8-0 / 1-00... 002 A-1..... 003 A-2 / A-3....... 004 A-4..... 007 A-5 / A-6..... 012 A-8..... 016 T-T / Q-7... 017 1 8-0 1986-1991 20-5083-A5 RH 20-5084-A5 LH 893941030 893941029 HE LAMP B TYPE 18-5143-05

More information

¹ÌÀûºÐ-±³°úA(001~007)

¹ÌÀûºÐ-±³°úA(001~007) . x«.,,,..,. 2008 96..,.. 86. 0 F(x)=x«(=, 2, 3, ) F'(x)=f(x).. F(x) F'(x)=f(x) x x x x xfi 2x 5x 6xfi x«. f(x) f'(x). f(x). ( ) idefiite itegral. : f(x)dx f(x) f(x)dx. F(x) f(x), F'(x)=f(x), F(x) f(x),

More information

(001~042)개념RPM3-2(정답)

(001~042)개념RPM3-2(정답) - 0 0 0 0 6 0 0 06 66 07 79 08 9 0 000 000 000 000 0 8+++0+7+ = 6 6 = =6 6 6 80+8+9+9+77+86 = 6 6 = =86 86 6 8+0++++6++ = 8 76 = = 8 80 80 90 00 0 + = 90 90 000 7 8 9 6 6 = += 7 +7 =6 6 0006 6 7 9 0 8

More information

중급독어 1 : 재귀동사 : 보충설명 sich erholen erholen 은항상재귀대명사를필요로하는재귀동사이다. 사전에서이러한재귀동사는 sich ~ 라고표기된다. 여

중급독어 1 : 재귀동사 : 보충설명 sich erholen  erholen 은항상재귀대명사를필요로하는재귀동사이다. 사전에서이러한재귀동사는 sich ~ 라고표기된다. 여 중급독어 1 : 재귀동사 http://german.kr/dt_learning/de_grammatik01/20801.html 동사 (Verb) 제 8 장 : 재귀동사 (Reflexive Verben) 제 1 절종류 재귀 ( 再歸 ) 동사란어떤동작의작용이동작자자신, 즉그주어에게로되돌아가는의미를나타내주는동사를말한다. 이러한의미를갖도록하는것은그동사와함께사용된재귀대명사

More information

자연언어처리

자연언어처리 제 7 장파싱 파싱의개요 파싱 (Parsing) 입력문장의구조를분석하는과정 문법 (grammar) 언어에서허용되는문장의구조를정의하는체계 파싱기법 (parsing techniques) 문장의구조를문법에따라분석하는과정 차트파싱 (Chart Parsing) 2 문장의구조와트리 문장 : John ate the apple. Tree Representation List

More information

파이널생명과학1해설OK

파이널생명과학1해설OK EBS EBS 00 Finl E d u c t i o n l B r o d c s t i n g S y s t e m CO A B A~C CHON CHONP N.5 % 86.5 % 5.... 5. 6.. 8. 9. 0..... 5. 6.. 8. 9. 0. X Y X X 6 G DNA DNA S (A) (B) G DNA DNA (A)=; ;=;6!; (B)=;

More information

¿Ü±¹¹ýÁ¦³»Áö09054)

¿Ü±¹¹ýÁ¦³»Áö09054) Germany,,,.. (Vom Feld bis auf den Tisch) (Weißbuch zur Lebensmittelsicherheit) ). (EG Verordnung) Nr. /. ) /. ( ), ( ), (Rückverfolgbarkeit, ), ( ). (Europäischen Behärde für Lebensmittelsicherheit).

More information

Microsoft PowerPoint Predicates and Quantifiers.ppt

Microsoft PowerPoint Predicates and Quantifiers.ppt 이산수학 () 1.3 술어와한정기호 (Predicates and Quantifiers) 2006 년봄학기 문양세강원대학교컴퓨터과학과 술어 (Predicate), 명제함수 (Propositional Function) x is greater than 3. 변수 (variable) = x 술어 (predicate) = P 명제함수 (propositional function)

More information

04 Çмú_±â¼ú±â»ç

04 Çмú_±â¼ú±â»ç 42 s p x f p (x) f (x) VOL. 46 NO. 12 2013. 12 43 p j (x) r j n c f max f min v max, j j c j (x) j f (x) v j (x) f (x) v(x) f d (x) f (x) f (x) v(x) v(x) r f 44 r f X(x) Y (x) (x, y) (x, y) f (x, y) VOL.

More information

제조사기기명모델명 OS 갤럭시윈 SHV-E500S 안드로이드 신형태그중하 갤럭시노트 3 SM-N900S 안드로이드 신형태그상 갤럭시 S4 액티브 SHV-E470S 안드로이드 신형태그중 갤럭시코어어드밴스 SHW-M570S 안드로

제조사기기명모델명 OS 갤럭시윈 SHV-E500S 안드로이드 신형태그중하 갤럭시노트 3 SM-N900S 안드로이드 신형태그상 갤럭시 S4 액티브 SHV-E470S 안드로이드 신형태그중 갤럭시코어어드밴스 SHW-M570S 안드로 붙임 RFID 적용가능스마트폰기종현황 (2017. 10 월기준 ) 제조사기기명모델명 OS 넥서스 S SHW-M200S 안드로이드 2.3 2.1 - 상 갤럭시 S2 SHW-M250S 안드로이드 2.3 3.0 - 상 갤럭시 S2 LTE SHV-E110S 안드로이드 2.3 3.0 - 중 갤럭시 S2 HD LTE SHV-E120S 안드로이드 2.3 3.0 - 중 갤럭시넥서스

More information

제조사 기기명 모델명 OS NFC위치 갤럭시골든 SHV-E400S 안드로이드 신형태그 하 갤럭시윈 SHV-E500S 안드로이드 신형태그 중하 갤럭시노트 3 SM-N900S 안드로이드 신형태그상 갤럭시 S4 액티브 SHV-E47

제조사 기기명 모델명 OS NFC위치 갤럭시골든 SHV-E400S 안드로이드 신형태그 하 갤럭시윈 SHV-E500S 안드로이드 신형태그 중하 갤럭시노트 3 SM-N900S 안드로이드 신형태그상 갤럭시 S4 액티브 SHV-E47 붙임 RFID 적용가능스마트폰기종현황 (2018. 3 월기준 ) 제조사기기명모델명 OS 넥서스 S SHW-M200S 안드로이드 2.3 2.1 - 상 갤럭시 S2 SHW-M250S 안드로이드 2.3 3.0 - 상 갤럭시 S2 LTE SHV-E110S 안드로이드 2.3 3.0 - 중 갤럭시 S2 HD LTE SHV-E120S 안드로이드 2.3 3.0 - 중 갤럭시넥서스

More information

<4D F736F F F696E74202D2035BBF3C6F2C7FC5FBCF8BCF6B9B0C1FA2E BC8A3C8AF20B8F0B5E55D>

<4D F736F F F696E74202D2035BBF3C6F2C7FC5FBCF8BCF6B9B0C1FA2E BC8A3C8AF20B8F0B5E55D> 5. 상평형 : 순수물질 이광남 5. 상평형 : 순수물질 상전이 phase transition 서론 ~ 조성의변화없는상변화 5. 상평형 : 순수물질 전이열역학 5. 안정성조건 G ng ng n G G 자발적변화 G < 0 G > G or 물질은가장낮은몰Gibbs 에너지를갖는상 가장안정한상 으로변화하려는경향 5. 상평형 : 순수물질 3 5. 압력에따른Gibbs

More information

독일기악미학\(이경희\)

독일기악미학\(이경희\) 18 1 18 1 6 2 7 3 8 4 5 1 18 - -,, 17,,,, 15,,, :,, 18, 90,,, 18,, (),,,,,, 2 17 18 3,, ( ),,,, tragdie lyrique ( ) 18,,, 15, 18? (distinct),, 18, 3, (JMattheson 1681-1764), (KLJunker 1748-1797), (JNForkel

More information

제 12강 함수수열의 평등수렴

제 12강 함수수열의 평등수렴 제 강함수수열의평등수렴 함수의수열과극한 정의 ( 점별수렴 ): 주어진집합 과각각의자연수 에대하여함수 f : 이있다고가정하자. 이때 을집합 에서로가는함수의수열이라고한다. 모든 x 에대하여 f 수열 f ( x) lim f ( x) 가성립할때함수수열 { f } 이집합 에서함수 f 로수렴한다고한다. 또 함수 f 을집합 에서의함수수열 { f } 의극한 ( 함수 ) 이라고한다.

More information

#수Ⅱ지도서-4단( )

#수Ⅱ지도서-4단( ) IV 4 3 4 5 5 exponent 3 3 Archimedes B.C. 87~B.C. Diophantos?00~?84 a m _a n =a m+n (mn=0y) Stifel M. 487~567 Arithmetica integra y-3--03y y ;8!; ;4!; ;!; 48y Stevin S. 548~60 xx x ()()(3) x ;!; x ;3!;

More information

(Hyunoo Shim) 1 / 24 (Discrete-time Markov Chain) * 그림 이산시간이다연쇄 (chain) 이다왜 Markov? (See below) ➀ 이산시간연쇄 (Discrete-time chain): : Y Y 의상태공간 = {0, 1, 2,..., n} Y n Y 의 n 시점상태 {Y n = j} Y 가 n 시점에상태 j 에있는사건

More information

2005 7

2005 7 2005 7 ii 1 3 1...................... 3 2...................... 4 3.................... 6 4............................. 8 2 11 1........................... 11 2.................... 13 3......................

More information

1 경영학을 위한 수학 Final Exam 2015/12/12(토) 13:00-15:00 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오. 1. (각 6점) 다음 적분을 구하시오 Z 1 4 Z 1 (x + 1) dx (a) 1 (x 1)4 dx 1 Solut

1 경영학을 위한 수학 Final Exam 2015/12/12(토) 13:00-15:00 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오. 1. (각 6점) 다음 적분을 구하시오 Z 1 4 Z 1 (x + 1) dx (a) 1 (x 1)4 dx 1 Solut 경영학을 위한 수학 Fial Eam 5//(토) :-5: 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오.. (각 6점) 다음 적분을 구하시오 4 ( ) (a) ( )4 8 8 (b) d이 성립한다. d C C log log (c) 이다. 양변에 적분을 취하면 log C (d) 라 하자. 그러면 d 4이다. 9 9 4 / si (e) cos si

More information

a b c d e f^xh= 2x 2 + ax a f^1+ hh -f^1h lim 6 h 0 h = " A B C D E A J an K O B K b 1O C K 1 1 c 1 0O D K O 0 d K O E Le 1

a b c d e f^xh= 2x 2 + ax a f^1+ hh -f^1h lim 6 h 0 h =  A B C D E A J an K O B K b 1O C K 1 1 c 1 0O D K O 0 d K O E Le 1 b c d e + + + + x + x f^+ hh -f^h lim 6 h h " A B C D E A J N K O B K b O C K c O D K O d K O E Le P - - 5 A B C D E A J N K O B K b O C K c O D K d O K O E Le P f^+ hh - f^h lim 6 h " h f l^h 6 x + x

More information

보험판매와 고객보호의 원칙

보험판매와 고객보호의 원칙 77)..... :,,,,,,.........,.. ( ). *,. (2015.11.19), (2015.12.5), (2015.12.20) - 269 - 9 2 (2015)......,.,,,... 1962 2015.. 2003 8 2005 2 22-270 - -.,..... ( 652, 653 ).. ( ) ( )..,., - 271 - 9 2 (2015)....

More information

3. 다음은카르노맵의표이다. 논리식을간략화한것은? < 나 > 4. 다음카르노맵을간략화시킨결과는? < >

3. 다음은카르노맵의표이다. 논리식을간략화한것은? < 나 > 4. 다음카르노맵을간략화시킨결과는? < > . 변수의수 ( 數 ) 가 3 이라면카르노맵에서몇개의칸이요구되는가? 2칸 나 4칸 다 6칸 8칸 < > 2. 다음진리표의카르노맵을작성한것중옳은것은? < 나 > 다 나 입력출력 Y - 2 - 3. 다음은카르노맵의표이다. 논리식을간략화한것은? < 나 > 4. 다음카르노맵을간략화시킨결과는? < > 2 2 2 2 2 2 2-3 - 5. 다음진리표를간략히한결과

More information

41호-소비자문제연구(최종추가수정0507).hwp

41호-소비자문제연구(최종추가수정0507).hwp 소비자문제연구 제41호 2012년 4월 해외 소셜 네트워크 서비스이용약관의 약관규제법에 의한19)내용통제 가능성* : Facebook 게시물이용약관의 유효성을 중심으로 이병준 업 요약 업 규 규 논 업 쟁 때 셜 네트워 F b k 물 규 았 7 계 건 됨 규 규 업 객 계 규 므 받 객 드 객 규 7 말 계 률 업 두 않 트 접속 록 트 른징 볼 규 업 내

More information

#7단원 1(252~269)교

#7단원 1(252~269)교 7 01 02 254 7 255 01 256 7 257 5 10 15 258 5 7 10 15 20 25 259 2. 어휘의 양상 수업 도우미 참고 자료 국어의 6대 방언권 국어 어휘의 양상- 시디(CD) 수록 - 감광해, 국어 어휘론 개설, 집문당, 2004년 동북 방언 서북 방언 중부 방언 서남 방언 동남 방언 제주 방언 어휘를 단어들의 집합이라고 할 때,

More information

75)..... ( ).,,,,, < 국문초록 >.....,, * ( ), ( ), ( )

75)..... ( ).,,,,, < 국문초록 >.....,, * ( ), ( ), ( ) 75)..... ( ).,,,,, < 국문초록 >.....,,.. 2016 3 3...... * (2016.06.02), (2016.06.14), (2016.06.28) - 281 - 10 1 (2016)...,.,. 1).,,. 2009 1, 2).,.,,. 3),. 2016 3 3 1),, 19 3, 2006, 145. 2),,,, 7, 2016 4, 9.

More information

1 1 장. 함수와극한 1.1 함수를표현하는네가지방법 1.2 수학적모형 : 필수함수의목록 1.3 기존함수로부터새로운함수구하기 1.4 접선문제와속도문제 1.5 함수의극한 1.6 극한법칙을이용한극한계산 1.7 극한의엄밀한정의 1.8 연속

1 1 장. 함수와극한 1.1 함수를표현하는네가지방법 1.2 수학적모형 : 필수함수의목록 1.3 기존함수로부터새로운함수구하기 1.4 접선문제와속도문제 1.5 함수의극한 1.6 극한법칙을이용한극한계산 1.7 극한의엄밀한정의 1.8 연속 1 1 장. 함수와극한 1.1 함수를표현하는네가지방법 1.2 수학적모형 : 필수함수의목록 1.3 기존함수로부터새로운함수구하기 1.4 접선문제와속도문제 1.5 함수의극한 1.6 극한법칙을이용한극한계산 1.7 극한의엄밀한정의 1.8 연속 2 1.1 함수를표현하는네가지방법 함수 f : D E 는집합 D 의각원소 x 에집합 E 에속하는단하나의원소 f(x) 를 대응시키는규칙이다.

More information

h ttp :/ / lo c a lh o s t:8 0 8 0 / js p b o o k h ttp :/ / lo c a lh o s t:8 0 8 0 / m y a p p h ttp :/ / w w w.th in k o n w e b.c o m / js p b o o k re q u e s t.g e tc o n te x tp a th () a p p lic

More information

갤럭시윈 SHV-E500S 안드로이드 4.2 신형태그중하 갤럭시노트 3 SM-N900S 안드로이드 4.3 신형태그상 갤럭시 S4 액티브 SHV-E470S 안드로이드 4.2 신형태그중 갤럭시코어어드밴스 SHW-M570S 안드로이드 중 갤럭시그랜드 2 SM-G7

갤럭시윈 SHV-E500S 안드로이드 4.2 신형태그중하 갤럭시노트 3 SM-N900S 안드로이드 4.3 신형태그상 갤럭시 S4 액티브 SHV-E470S 안드로이드 4.2 신형태그중 갤럭시코어어드밴스 SHW-M570S 안드로이드 중 갤럭시그랜드 2 SM-G7 붙임 RFID 적용가능스마트폰기종현황 (2016. 12 월기준 ) 제조사기기명모델명 OS 버전태그유형 넥서스 S SHW-M200S 안드로이드 2.3 - 상 갤럭시 S2 SHW-M250S 안드로이드 2.3 - 상 갤럭시 S2 LTE SHV-E110S 안드로이드 2.3 - 중 갤럭시 S2 HD LTE SHV-E120S 안드로이드 2.3 - 중 갤럭시넥서스 SHW-M420S

More information

Lektion 1 A wie Apfel ( 알파벳 ) 'A 는 Apfel 처럼 ' 여기서 'wie' 는접속사로 서 ' 처럼 ' 이라는뜻. Wortschatz ( 어휘 ) 단어의뜻을찾아빈칸에쓴다. 쓰면서입으로소리내어발음해본다. 1 과에서의학습 목표는철자와발음을공부를하는것

Lektion 1 A wie Apfel ( 알파벳 ) 'A 는 Apfel 처럼 ' 여기서 'wie' 는접속사로 서 ' 처럼 ' 이라는뜻. Wortschatz ( 어휘 ) 단어의뜻을찾아빈칸에쓴다. 쓰면서입으로소리내어발음해본다. 1 과에서의학습 목표는철자와발음을공부를하는것 Lektion 1 A wie Apfel ( 알파벳 ) 'A 는 Apfel 처럼 ' 여기서 'wie' 는접속사로 서 ' 처럼 ' 이라는뜻. Wortschatz ( 어휘 ) 단어의뜻을찾아빈칸에쓴다. 쓰면서입으로소리내어발음해본다. 1 과에서의학습 목표는철자와발음을공부를하는것이지만, 단어를익히는과정자체가철자와발음의 학습을포함하고있으므로암기하는기분으로단어를공부하는게좋다.

More information

2 KAIST 1988,,KAIST MathLetter, 3,,, 3,, 3, 3,

2 KAIST 1988,,KAIST MathLetter, 3,,, 3,, 3, 3, (M 2 ) 2 KAIST 1988,,KAIST MathLetter, 3,,, 3,, 3, 3, 3,,, 2003 8, 4 1 7 11 8 12 26 2 39 21 40 22 54 23 67 24 80 3 93 31 n! 94 32 101 33 115 4 131 41 132 6 42 146 5 163 51 164 52 180 1 8 11 4 4?!,? 2??,?

More information

Check 0-9, 9,, - 6, 6, 6, =0.04, (-0.) = , =64 8 8, -8 (-6) =6 (-6) 6, -6 7, , -0. 8, -8 6, '7 ' '

Check 0-9, 9,, - 6, 6, 6, =0.04, (-0.) = , =64 8 8, -8 (-6) =6 (-6) 6, -6 7, , -0. 8, -8 6, '7 ' ' 0 06 0 4 4 9 4 8 5 40 45 5 57 Check 0-9, 9,, - 6, 6, 6, -6 0-0. =0.04, (-0.) =0.04 0.04 0., -0. 8 =64 8 8, -8 (-6) =6 (-6) 6, -6 7, -7 0. 0., -0. 8, -8 6, -6 0-7 7 '7 ' 0.5 0.5 -' 0.5 ;!; ;!; æ;!; '7 '

More information

Microsoft PowerPoint - chap05-제어문.pptx

Microsoft PowerPoint - chap05-제어문.pptx int num; printf( Please enter an integer: "); scanf("%d", &num); if ( num < 0 ) printf("is negative.\n"); printf("num = %d\n", num); 1 학습목표 제어문인,, 분기문에 대해 알아본다. 인 if와 switch의 사용 방법과 사용시 주의사항에 대해 알아본다.

More information

미분기하학 II-16 복소평면의선형분수변환과쌍곡평면의등장사상 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 Ø 'x! xxñ 2007 년 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 (Ø 'x!) 미분기하 II 2007 년 1 / 26

미분기하학 II-16 복소평면의선형분수변환과쌍곡평면의등장사상 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 Ø 'x! xxñ 2007 년 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 (Ø 'x!) 미분기하 II 2007 년 1 / 26 미분기하학 II-16 복소평면의 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 Ø 'x! xxñ 2007 년 김영욱 (ÑñÁ) 강의양성덕 (zû ) 의강의록 (Ø 'x!) 미분기하 II 2007 년 1 / 26 자, 이제 H 2 의등장사상에대해좀더자세히알아보자. Definition 선형분수변환이란다음형식의사상을뜻한다. Example f (z) = az +

More information

폴리리듬과 무질서...

폴리리듬과 무질서... : 1980 - (1985-88) -.. 70.... (1951-53), (1988-93), 70.. (1961) (1967) 60,. 1960 1980, 22. 60, 1 80.. 1 80. 70, 80,.. 70 1960 61 60. 60 70. 1972 6. 197350 ), 60, 8(, 2001), 421-455. ),.. 1980, 5, 1985-86.

More information

455 Köln - Wuppertal - Hagen Hamm Dortmund - - Münster 455 Köln - Solingen Hb Verbundtari VRS Solingen Hb - Unna Verbundtari VRR Unna - Hamm/Münster V

455 Köln - Wuppertal - Hagen Hamm Dortmund - - Münster 455 Köln - Solingen Hb Verbundtari VRS Solingen Hb - Unna Verbundtari VRR Unna - Hamm/Münster V 455 Köln - Wuppertal - Hagen Hamm Dortmund - - Münster 455 Köln - Solingen Hb Verbundtari VRS Solingen Hb - Unna Verbundtari VRR Unna - Hamm/Münster Verkehrsgemeinschat Münsterland/Ruhr-Lippe (VGM/VRL)

More information

DBPIA-NURIMEDIA

DBPIA-NURIMEDIA 국어進行相형태의處所論的해석 강同永根 이 글은필자가이미試圖한動作相 (aspect) 과處所理論 (l ocalistic theory ) 에관한定魔작 업 1 을토대로하여國語의進行相형태를處所論的觀點에서해석해보는것이다. 國語의進行相형태로서代表的으로치적되어온것은 cl) 에서 나다나는 -고 있다 이 다 (1) 철수는책을읽고있다. (2) 에서보는 -는중이다 도 (1) 의형태와마찬가지로廷說的인것이라

More information

Semantic Consistency in Information Exchange

Semantic Consistency in Information Exchange 제 3 장시맨틱스 (Semantics) Reading Chap 13 숙대창병모 1 시맨틱스의필요성 프로그램의미의정확한이해 소프트웨어의정확한명세 소프트웨어시스템에대한검증혹은추론 컴파일러혹은해석기작성의기초 숙대창병모 2 3.1 Operational Semantics 숙대창병모 3 의미론의종류 Operational Semantics 프로그램의동작과정을정의 Denotational

More information

<312D303128C1B6BAB4BFC1292E666D>

<312D303128C1B6BAB4BFC1292E666D> k Ÿy y y + ûz m Ì ˆw k Ÿ ø ky w y y» wk Ÿ v w k w w ƒ Ÿ ew k Ÿy yø k Ÿ ý k z» w ƒ w Ÿ y k y w x mw w w ³Ÿ wšy v mw y w r œw yÿ ý w z»ÿ Ÿ»» Ÿ ¾ Ÿ 6TCXGN 9GGMN[ ýw k Ÿ Ÿ ƒ š wš y w k Ÿ ƒ m ³ w w y y y 'EQVQWTKUO

More information

Interview einer Erzieherin / eines Erziehers Das Interview wird mit Personen aus verschiedenen Ländern geführt und jeweils eines aus Deutschland und e

Interview einer Erzieherin / eines Erziehers Das Interview wird mit Personen aus verschiedenen Ländern geführt und jeweils eines aus Deutschland und e Interview einer Erzieherin / eines Erziehers Das Interview wird mit Personen aus verschiedenen Ländern geführt und jeweils eines aus Deutschland und einem anderen Land in Kombination im Blog von KiTA-Global.de

More information

Microsoft PowerPoint - 27.pptx

Microsoft PowerPoint - 27.pptx 이산수학 () n-항관계 (n-ary Relations) 2011년봄학기 강원대학교컴퓨터과학전공문양세 n-ary Relations (n-항관계 ) An n-ary relation R on sets A 1,,A n, written R:A 1,,A n, is a subset R A 1 A n. (A 1,,A n 에대한 n- 항관계 R 은 A 1 A n 의부분집합이다.)

More information

MATLAB and Numerical Analysis

MATLAB and Numerical Analysis School of Mechanical Engineering Pusan National University dongwoonkim@pusan.ac.kr Review 무명함수 >> fun = @(x,y) x^2 + y^2; % ff xx, yy = xx 2 + yy 2 >> fun(3,4) >> ans = 25 시작 x=x+1 If문 >> if a == b >>

More information

<322EBCF8C8AF28BFACBDC0B9AEC1A6292E687770>

<322EBCF8C8AF28BFACBDC0B9AEC1A6292E687770> 연습문제해답 5 4 3 2 1 0 함수의반환값 =15 5 4 3 2 1 0 함수의반환값 =95 10 7 4 1-2 함수의반환값 =3 1 2 3 4 5 연습문제해답 1. C 언어에서의배열에대하여다음중맞는것은? (1) 3차원이상의배열은불가능하다. (2) 배열의이름은포인터와같은역할을한다. (3) 배열의인덱스는 1에서부터시작한다. (4) 선언한다음, 실행도중에배열의크기를변경하는것이가능하다.

More information

.,,,,.,.,.,, (Adop tionsvermittlungsg), (JÖSchG), (JGG). (Mutterschutzgesetz), (RVO). (Bunde serziehungsgesetz, BErzGG), (Erziehungsurlaub). (Bundesel

.,,,,.,.,.,, (Adop tionsvermittlungsg), (JÖSchG), (JGG). (Mutterschutzgesetz), (RVO). (Bunde serziehungsgesetz, BErzGG), (Erziehungsurlaub). (Bundesel . (.. %,.,..., (..,.,,. .,,,,.,.,.,, (Adop tionsvermittlungsg), (JÖSchG), (JGG). (Mutterschutzgesetz), (RVO). (Bunde serziehungsgesetz, BErzGG), (Erziehungsurlaub). (Bundeselterngeld und Elternzeitgesetz

More information

*) α ρ : 0.7 0.5 0.5 0.7 0.5 0.5-1 - 1 - - 0.7 (**) 0.5 0.5-1 - (**) Max i e i Max 1 =150 kg e 1 = 50 g xxx.050 kg xxx.050 kg xxx.05 kg xxx.05 kg Max 2=300 kg

More information

5장. JSP와 Servlet 프로그래밍을 위한 기본 문법(완성-0421).hwp

5장. JSP와 Servlet 프로그래밍을 위한 기본 문법(완성-0421).hwp 1 0 1.7 6 5 'A ' '/ u 4 4 2 2 ' " JS P 프로그래밍 " A ', 'b ', ' 한 ', 9, \ u d 6 5 4 ' c h a r a = 'A '; 0 1 0 2 0 3 0 4 0 5 0 6 0 7 0 8 0 9 1 0 1 1 1 2 1 3 1 4 1 5 1 6 1 7 1 8 1 9 < % @ p a g e c o n te n

More information

음악과언어\(대표,권오연\)

음악과언어\(대표,권오연\) (Musik und Sprache) 3 1 (Musik und Sprache) 3 T - -( :,1974, 2), TGeorgiades 6 (Palestrina 1525-1594) 2 ( 12, 296 ) -,,, [] 1000,, ( ) 14 (Musikalisierung) (Versprachlichung) - -,,, ( 12, 314 ),, 7 - (Sprachgestalt,

More information

Herr Klinger: Nein, im Juli. Ich will in die Schweiz, nach Zermatt. 아니예요, 7 월에 ( 가요). 나는스위스체르마트 로가려고해요. Auf den Gletschern kann man auch im Sommer Ski

Herr Klinger: Nein, im Juli. Ich will in die Schweiz, nach Zermatt. 아니예요, 7 월에 ( 가요). 나는스위스체르마트 로가려고해요. Auf den Gletschern kann man auch im Sommer Ski Skifahren im Sommer Grundkurs Deutsch Lektion 5 Skifahren im Sommer 여름에스키타기 Herr Neumann: Guten Tag, Herr Klinger. Herr Klinger: 안녕하세요, 클링어씨. Guten Tag, Herr Neumann. Wie geht es Ihnen? 안녕하세요, 노이만씨. 어떻게지내세요?

More information

A 001~A 036

A 001~A 036 4 3 2 0 8 91 0 1 2 3 4 5 6 08 09 00 01 02 03 04 18 19 10 29 20 22 23 39 30 31 32 33 48 49 40 41 59 50 69 1 2 3 4 1 2 3 4 1 4 7 10 13 1 2 3 4 5 6 rev. C C r C a f h f h L h h nrpm f h f n L C 3 P L

More information

Microsoft PowerPoint - semantics

Microsoft PowerPoint - semantics 제 3 장시맨틱스 (Semantics) Reading Chap 13 숙대창병모 Sep. 2007 1 3.1 Operational Semantics 숙대창병모 Sep. 2007 2 시맨틱스의필요성 프로그램의미의정확한이해 소프트웨어의정확한명세 소프트웨어시스템에대한검증혹은추론 컴파일러혹은해석기작성의기초 숙대창병모 Sep. 2007 3 의미론의종류 Operational

More information

Wir lernen Deutsch. Grundkurs Deutsch Lektion 2 Wir lernen Deutsch. Wir lernen Deutsch. 우리는독일어를배웁니다. 우리는독일어를배웁니다. Frau Müller ist unsere Deutschlehrer

Wir lernen Deutsch. Grundkurs Deutsch Lektion 2 Wir lernen Deutsch. Wir lernen Deutsch. 우리는독일어를배웁니다. 우리는독일어를배웁니다. Frau Müller ist unsere Deutschlehrer Wir lernen Deutsch. Grundkurs Deutsch Lektion 2 Wir lernen Deutsch. Wir lernen Deutsch. 우리는독일어를배웁니다. 우리는독일어를배웁니다. Frau Müller ist unsere Deutschlehrerin. 뮐러부인은우리독일어 ( 여) 선생님입니다. Um 14 Uhr beginnt der Deutschunterricht.

More information

Mappe_holzimgarten.pdf

Mappe_holzimgarten.pdf Blumentröge Preisliste 1 / 2019 Äusserst stabile Tröge, fertig montiert, mit Boden und Füssen Kieferkanthölzer 7x7 cm, kesseldruckimprägniert Alle Modelle fertigen wir auch nach Ihren Massangaben mit ohne

More information

436 8., {(x, y) R 2 : y = x, < x 1} (, 1] φ(t) = (t, t), (, 2] ψ(t) = (t/2, t/2), [1, ) σ(t) = (1/t, 1/t).. ψ φ, σ φ. (φ, I) φ(i) φ : I φ(i). 8.2 I =

436 8., {(x, y) R 2 : y = x, < x 1} (, 1] φ(t) = (t, t), (, 2] ψ(t) = (t/2, t/2), [1, ) σ(t) = (1/t, 1/t).. ψ φ, σ φ. (φ, I) φ(i) φ : I φ(i). 8.2 I = 8. 8.1 ( ).,,,.. 8.1 C I R φ : I R m φ (φ I ) φ(i) = {x R m : x = φ(t), t I} C, t, I. C C = (φ, I). x R m C C. 1 x, a R m. φ(t) := ta + x R ( 2). x a. R m. 2 φ(t) = (cos t, sin t) [, 2π].. 435 436 8.,

More information