메뉴 건너뛰기




Volumn 10, Issue 5, 1999, Pages 1099-1122

Subsymbolically managing pieces of symbolical functions for sorting

Author keywords

[No Author keywords available]

Indexed keywords

BACKPROPAGATION; DECISION THEORY; ERROR ANALYSIS; FUNCTIONS; FUZZY SETS; LEARNING ALGORITHMS; MATHEMATICAL MODELS; SORTING; TREES (MATHEMATICS);

EID: 0032594941     PISSN: 10459227     EISSN: None     Source Type: Journal    
DOI: 10.1109/72.788650     Document Type: Article
Times cited : (4)

References (78)
  • 3
    • 0004075799 scopus 로고    scopus 로고
    • O. Omidvar and D. L. Elliot, Eds., San Diego, CA: Academic
    • O. Omidvar and D. L. Elliot, Eds., Neural Systems for Control. San Diego, CA: Academic, 1997.
    • (1997) Neural Systems for Control
  • 6
    • 0029255891 scopus 로고
    • On the computational power of neural networks
    • H. T. Siegelmann and E. D. Sontag, "On the computational power of neural networks," J. Comput. Syst. Sci., vol. 50, pp. 132-150, 1995.
    • (1995) J. Comput. Syst. Sci. , vol.50 , pp. 132-150
    • Siegelmann, H.T.1    Sontag, E.D.2
  • 7
    • 0027554445 scopus 로고
    • Learning piecewise control strategies in a modular neural network architecture
    • R. A. Jacobs and M. I. Jordan, "Learning piecewise control strategies in a modular neural network architecture," IEEE Trans. Syst., Man, Cybern., vol. 23, pp. 337-345, 1993.
    • (1993) IEEE Trans. Syst., Man, Cybern. , vol.23 , pp. 337-345
    • Jacobs, R.A.1    Jordan, M.I.2
  • 8
    • 0032029136 scopus 로고    scopus 로고
    • Hybrid interior point training of modular neural networks
    • P. T. Szymanski, M. Lemmon, and C. J. Bett, "Hybrid interior point training of modular neural networks," Neural Networks, vol. 11, no. 2, pp. 215-234, 1998.
    • (1998) Neural Networks , vol.11 , Issue.2 , pp. 215-234
    • Szymanski, P.T.1    Lemmon, M.2    Bett, C.J.3
  • 9
    • 0002897323 scopus 로고
    • A decision-theoretic generalization of on-line learning and an application to boosting
    • Barcelona, Spain, Mar.
    • Y. Freund and R. E. Schapire, "A decision-theoretic generalization of on-line learning and an application to boosting," in Proc. II European Conf. Comput. Learning Theory, Barcelona, Spain, Mar. 1995.
    • (1995) Proc. II European Conf. Comput. Learning Theory
    • Freund, Y.1    Schapire, R.E.2
  • 10
    • 0032165969 scopus 로고    scopus 로고
    • A general framework for adaptive processing of data structures
    • P. Frasconi, M. Gori, and A. Sperduti, "A general framework for adaptive processing of data structures," IEEE Trans. Neural Networks, vol. 9, pp. 768-786, 1998.
    • (1998) IEEE Trans. Neural Networks , vol.9 , pp. 768-786
    • Frasconi, P.1    Gori, M.2    Sperduti, A.3
  • 11
    • 0029727454 scopus 로고    scopus 로고
    • Learning task-dependent distributed structure-representations by backpropagation through structure
    • C. Goller and A. Kuchler, "Learning task-dependent distributed structure-representations by backpropagation through structure," in IEEE Int. Conf. Neural Networks, 1996, pp. 347-352.
    • (1996) IEEE Int. Conf. Neural Networks , pp. 347-352
    • Goller, C.1    Kuchler, A.2
  • 14
    • 0009315675 scopus 로고
    • Integrating knowledge-based system and neural-network techniques for robotic skill acquisition
    • San Mateo, CA: Morgan Kaufmann
    • D. A. Handelman, S. H. Lane, and J. J. Gelfand, "Integrating knowledge-based system and neural-network techniques for robotic skill acquisition," in Proc. 11th Int. Joint Conf. Artificial Intell. San Mateo, CA: Morgan Kaufmann, 1989, pp. 193-198.
    • (1989) Proc. 11th Int. Joint Conf. Artificial Intell , pp. 193-198
    • Handelman, D.A.1    Lane, S.H.2    Gelfand, J.J.3
  • 15
    • 33749715009 scopus 로고
    • Problem solving and reasoning: A connectionist perspective
    • R. Pfeifer, Z. Schreter, and F. Fogelman-Soulié, Eds. Amsterdam, The Netherlands: Elsevier
    • J. A. Hendler, "Problem solving and reasoning: A connectionist perspective," in Connectionism in Perspective, R. Pfeifer, Z. Schreter, and F. Fogelman-Soulié, Eds. Amsterdam, The Netherlands: Elsevier, 1989, pp. 229-243.
    • (1989) Connectionism in Perspective , pp. 229-243
    • Hendler, J.A.1
  • 19
    • 3743100305 scopus 로고
    • Neural networks for control: Evolution, revolution, or renaissance
    • London, U.K.: Chapman and Hall
    • P. J. G. Lisboa, "Neural networks for control: Evolution, revolution, or renaissance," in Application of Neural Networks to Modeling and Control. London, U.K.: Chapman and Hall, 1993, pp. 9-24.
    • (1993) Application of Neural Networks to Modeling and Control , pp. 9-24
    • Lisboa, P.J.G.1
  • 20
    • 0027678679 scopus 로고
    • The extraction of refined rules from knowledge-based neural networks
    • G. Towell and J. Shavlik, "The extraction of refined rules from knowledge-based neural networks," Machine Learning, vol. 131, pp. 71-101, 1993.
    • (1993) Machine Learning , vol.131 , pp. 71-101
    • Towell, G.1    Shavlik, J.2
  • 23
    • 0031701573 scopus 로고    scopus 로고
    • Learning in certainty-factor-based multilayer neural networks for classification
    • L. Fu, "Learning in certainty-factor-based multilayer neural networks for classification, IEEE Trans. Neural Networks, vol. 9, pp. 151-158, 1998.
    • (1998) IEEE Trans. Neural Networks , vol.9 , pp. 151-158
    • Fu, L.1
  • 24
    • 0009883291 scopus 로고    scopus 로고
    • An overview of strategies for neurosymbolic integration
    • R. Sun and F. Alexandre, Eds. Hillsdale, NJ: Lawrence Erlbaum
    • M. Hilario, "An overview of strategies for neurosymbolic integration," in Connectionist-Symbolic Processing, R. Sun and F. Alexandre, Eds. Hillsdale, NJ: Lawrence Erlbaum, 1997, pp. 13-35.
    • (1997) Connectionist-Symbolic Processing , pp. 13-35
    • Hilario, M.1
  • 25
    • 0013371847 scopus 로고
    • On using decision trees as feature selector for feed-forward neural networks
    • Pensacola, FL
    • S. Piramuthu and M. I. Shaw, "On using decision trees as feature selector for feed-forward neural networks," in Int. Symp. Integrating Knowledge Neural Heuristics, Pensacola, FL, 1994, pp. 67-74.
    • (1994) Int. Symp. Integrating Knowledge Neural Heuristics , pp. 67-74
    • Piramuthu, S.1    Shaw, M.I.2
  • 27
    • 33747688763 scopus 로고
    • Encoding of labeled graphs by labeling RAAM
    • J. Cowan, G. Tesauro, and J. Alspector, Eds. San Mateo, CA: Morgan Kaufmann
    • A. Sperduti, "Encoding of labeled graphs by labeling RAAM," in Advances Neural Inform. Processing Syst. 6, J. Cowan, G. Tesauro, and J. Alspector, Eds. San Mateo, CA: Morgan Kaufmann, 1994, pp. 1125-1132.
    • (1994) Advances Neural Inform. Processing Syst. 6 , pp. 1125-1132
    • Sperduti, A.1
  • 28
    • 0029292219 scopus 로고
    • Schemas, logics, and neural assemblies
    • R. Sun, "Schemas, logics, and neural assemblies," Appl. Intell., vol. 5, no. 2, pp. 135-151, 1995.
    • (1995) Appl. Intell. , vol.5 , Issue.2 , pp. 135-151
    • Sun, R.1
  • 29
    • 33749768790 scopus 로고
    • Ann based classification for heart defibrillators
    • J. E. Moody, S. Hanson, and R. P. Lippman, Eds. San Mateo, CA: Morgan-Kaufmann
    • M. Jabri, S. Pickard, P. Leong, Z. Chi, B. Flower, and Y. Xie, "Ann based classification for heart defibrillators," in Advance in Neural Information Processing, J. E. Moody, S. Hanson, and R. P. Lippman, Eds. San Mateo, CA: Morgan-Kaufmann, 1992, vol. 4, pp. 637-644.
    • (1992) Advance in Neural Information Processing , vol.4 , pp. 637-644
    • Jabri, M.1    Pickard, S.2    Leong, P.3    Chi, Z.4    Flower, B.5    Xie, Y.6
  • 30
    • 0342711236 scopus 로고
    • A cooperating neural approach for spacecraft attitude control
    • B. Apolloni, F. Battini, and C. Lucisano, "A cooperating neural approach for spacecraft attitude control," Neural Comput., vol. 16, no. 4, pp. 279-317, 1977.
    • (1977) Neural Comput. , vol.16 , Issue.4 , pp. 279-317
    • Apolloni, B.1    Battini, F.2    Lucisano, C.3
  • 33
    • 0019528474 scopus 로고
    • Efficient sorting with CCD's and magnetic bubble memories
    • D. P. Agarwall and K. K. Agarwall, "Efficient sorting with CCD's and magnetic bubble memories, "IEEE Trans. Comput., vol. 30, pp. 153-156, 1981.
    • (1981) IEEE Trans. Comput. , vol.30 , pp. 153-156
    • Agarwall, D.P.1    Agarwall, K.K.2
  • 34
    • 0019579040 scopus 로고
    • An on-chip compare/steer bubble sorter
    • D. T. Lee, H. Cen, and C. K. Wong, "An on-chip compare/steer bubble sorter," IEEE Trans. Comput., vol. 30, pp. 396-405, 1981.
    • (1981) IEEE Trans. Comput. , vol.30 , pp. 396-405
    • Lee, D.T.1    Cen, H.2    Wong, C.K.3
  • 35
    • 0022044037 scopus 로고
    • A minimum area VLSI network for O(log n) time sorting
    • G. Bilardi and F. P. Preparata, "A minimum area VLSI network for O(log n) time sorting," IEEE Trans. Comput., vol. 34, pp. 36-343, 1985.
    • (1985) IEEE Trans. Comput. , vol.34 , pp. 36-343
    • Bilardi, G.1    Preparata, F.P.2
  • 36
    • 0025786392 scopus 로고
    • Optimal VLSI sorting with reduced number of processors
    • H. M. Alnuweiri and V. K. P. Kumar, "Optimal VLSI sorting with reduced number of processors," IEEE Trans. Comput., vol. 40, pp. 105-110, 1991.
    • (1991) IEEE Trans. Comput. , vol.40 , pp. 105-110
    • Alnuweiri, H.M.1    Kumar, V.K.P.2
  • 38
    • 0020118274 scopus 로고
    • Neural networks and physical systems with emergent collective computational abilities
    • J. J. Hopfield, "Neural networks and physical systems with emergent collective computational abilities," in Proc. Nat. Academy Sci. USA, vol. 79, 1982, pp. 2554-2558.
    • (1982) Proc. Nat. Academy Sci. USA , vol.79 , pp. 2554-2558
    • Hopfield, J.J.1
  • 39
    • 0011391579 scopus 로고
    • A neural sorting network with O(1) time complexity
    • W. T. Chen and K. R. Hsieh, "A neural sorting network with O(1) time complexity," Inform. Processing Lett., vol. 45, pp. 309-313, 1993.
    • (1993) Inform. Processing Lett. , vol.45 , pp. 309-313
    • Chen, W.T.1    Hsieh, K.R.2
  • 40
    • 0027611087 scopus 로고
    • The construction of minimal multilayered perceptrons: A case study for sorting
    • P. J. Zwietering, E. H. L. Aarts, and J. Wessels, "The construction of minimal multilayered perceptrons: A case study for sorting," Neurocomput., vol. 5, pp. 197-210, 1993.
    • (1993) Neurocomput. , vol.5 , pp. 197-210
    • Zwietering, P.J.1    Aarts, E.H.L.2    Wessels, J.3
  • 41
    • 0029343629 scopus 로고
    • Analysis and design of an analog sorting network
    • J. Wang, "Analysis and design of an analog sorting network," IEEE Trans. Neural Networks, vol. 6, pp. 962-971, 1995.
    • (1995) IEEE Trans. Neural Networks , vol.6 , pp. 962-971
    • Wang, J.1
  • 42
    • 0024931564 scopus 로고
    • Sorting by Hopfield net
    • Washington, D.C.
    • M. Atkins, "Sorting by Hopfield net," in Proc. Int. Joint Conf. Neural Networks, Washington, D.C., 1989, pp. 65-68, vol. II.
    • (1989) Proc. Int. Joint Conf. Neural Networks , vol.2 , pp. 65-68
    • Atkins, M.1
  • 43
    • 85132036561 scopus 로고
    • A parallel sorting network without comparators: A neural-network approach
    • Baltimore, MD
    • T. M. Kwon and M. Zervakis, "A parallel sorting network without comparators: A neural-network approach," in Proc. Int. Joint Conf. Neural Networks, Baltimore, MD, 1992, pp. 701-706, vol. I.
    • (1992) Proc. Int. Joint Conf. Neural Networks , vol.1 , pp. 701-706
    • Kwon, T.M.1    Zervakis, M.2
  • 44
    • 0025521939 scopus 로고
    • A super parallel sorting algorithm based on neural networks
    • Y. Takefuji and K. C. Lee, "A super parallel sorting algorithm based on neural networks," IEEE Trans. Circuits Syst., vol. 37, pp. 1425-1429, 1990.
    • (1990) IEEE Trans. Circuits Syst. , vol.37 , pp. 1425-1429
    • Takefuji, Y.1    Lee, K.C.2
  • 45
    • 0029410707 scopus 로고
    • Sorting with self-organizing maps
    • M. Budinich, "Sorting with self-organizing maps," Neural Comput., vol. 7, pp. 1188-1190, 1995.
    • (1995) Neural Comput. , vol.7 , pp. 1188-1190
    • Budinich, M.1
  • 46
    • 0031588794 scopus 로고    scopus 로고
    • A low-cost neural sorting network with O(1) time complexity
    • S. Lin and S. Hsu, "A low-cost neural sorting network with O(1) time complexity," Neurocomput., vol. 14, pp. 289-299, 1997.
    • (1997) Neurocomput. , vol.14 , pp. 289-299
    • Lin, S.1    Hsu, S.2
  • 47
    • 0025503558 scopus 로고
    • Backpropagation through time: What it does and how to do it
    • P. Werbos, "Backpropagation through time: What it does and how to do it," IEEE Proc., vol. 78, no. 10, pp. 1550-1560, 1990.
    • (1990) IEEE Proc. , vol.78 , Issue.10 , pp. 1550-1560
    • Werbos, P.1
  • 48
    • 0001609567 scopus 로고
    • An efficient gradient-based algorithm for on-line training of recurrent network trajectories
    • R. J. Williams and J. Peng, "An efficient gradient-based algorithm for on-line training of recurrent network trajectories," Neural Comput., vol. 2, pp. 490-501, 1990.
    • (1990) Neural Comput. , vol.2 , pp. 490-501
    • Williams, R.J.1    Peng, J.2
  • 49
    • 0029032236 scopus 로고
    • Properties of block feedback neural networks
    • S. Santini and A. del Bimbo, "Properties of block feedback neural networks," Neural Networks, vol. 8, no. 4, pp. 579-596, 1995.
    • (1995) Neural Networks , vol.8 , Issue.4 , pp. 579-596
    • Santini, S.1    Del Bimbo, A.2
  • 51
    • 84958551864 scopus 로고    scopus 로고
    • Inductive learning in symbolic domains using structure-driven recurrent neural networks
    • A. Küchler and Ch. Goller, "Inductive learning in symbolic domains using structure-driven recurrent neural networks," in Proc. Annual German Conf. Artificial Intell., 1996, pp. 183-197.
    • (1996) Proc. Annual German Conf. Artificial Intell. , pp. 183-197
    • Küchler, A.1    Goller, Ch.2
  • 52
    • 0028401356 scopus 로고
    • Steepest descent algorithms for neural networks controllers and filters
    • S. W. Piché, "Steepest descent algorithms for neural networks controllers and filters," IEEE Trans. Neural Networks, vol. 5, pp. 198-212, 1994.
    • (1994) IEEE Trans. Neural Networks , vol.5 , pp. 198-212
    • Piché, S.W.1
  • 54
    • 0016355478 scopus 로고
    • A new look at the statistical model identification
    • H. Akaike, "A new look at the statistical model identification," IEEE Trans Automat. Contr., vol. 19, pp. 716-723, 1985.
    • (1985) IEEE Trans Automat. Contr. , vol.19 , pp. 716-723
    • Akaike, H.1
  • 55
    • 0004035805 scopus 로고
    • Dynamic sizing of multilayer perceptrons
    • B. Apolloni and G. Ronchini, "Dynamic sizing of multilayer perceptrons," Biol. Cybern., vol. 71, pp. 49-63, 1994.
    • (1994) Biol. Cybern. , vol.71 , pp. 49-63
    • Apolloni, B.1    Ronchini, G.2
  • 56
    • 0028544395 scopus 로고
    • Network information criterion - Determining the number of hidden units for an artificial neural-network model
    • N. Murata, S. Yoshizawa, and S. Amari, "Network information criterion - Determining the number of hidden units for an artificial neural-network model," IEEE Trans. Neural Networks, vol. 5, pp. 865-872, 1995.
    • (1995) IEEE Trans. Neural Networks , vol.5 , pp. 865-872
    • Murata, N.1    Yoshizawa, S.2    Amari, S.3
  • 57
    • 0023981451 scopus 로고
    • The ART of adaptive pattern recognition by self-organizing neural networks
    • G. A. Carpenter and S. Grossberg, "The ART of adaptive pattern recognition by self-organizing neural networks," Computer, vol. 21, no. 3, pp. 77-78, 1988.
    • (1988) Computer , vol.21 , Issue.3 , pp. 77-78
    • Carpenter, G.A.1    Grossberg, S.2
  • 58
    • 0029690502 scopus 로고    scopus 로고
    • Subsymbolic case-role analysis of sentences with embedded clauses
    • R. Miikkulainen, "Subsymbolic case-role analysis of sentences with embedded clauses," Cognitive Sci., vol. 20, pp. 47-73, 1996.
    • (1996) Cognitive Sci. , vol.20 , pp. 47-73
    • Miikkulainen, R.1
  • 59
    • 0004027813 scopus 로고
    • New Haven, CT: Yale Univ. Press
    • A. Simon, Models of Thought. New Haven, CT: Yale Univ. Press, 1979.
    • (1979) Models of Thought
    • Simon, A.1
  • 60
    • 0001202594 scopus 로고
    • A learning algorithm for continually running fully recurrent neural networks
    • R. J. Williams and D. Zipser, "A learning algorithm for continually running fully recurrent neural networks," Neural Comput., vol. 1, no. 2, pp. 270-280, 1989.
    • (1989) Neural Comput. , vol.1 , Issue.2 , pp. 270-280
    • Williams, R.J.1    Zipser, D.2
  • 61
    • 0004423383 scopus 로고    scopus 로고
    • Hybrid symbolic subsymbolic system for controlling a single link flexible arm
    • B. Apolloni, A. Piccolboni, and E. Sozio, "Hybrid symbolic subsymbolic system for controlling a single link flexible arm," J. Syst. Eng. 6, pp. 208-222, 1996.
    • (1996) J. Syst. Eng. , vol.6 , pp. 208-222
    • Apolloni, B.1    Piccolboni, A.2    Sozio, E.3
  • 62
    • 0025399567 scopus 로고
    • Identification and control of dynamical systems using neural networks
    • K. S. Narendra and K. Parthasarathy, "Identification and control of dynamical systems using neural networks," IEEE Trans. Neural Networks, vol. 1, pp. 4-27, 1990.
    • (1990) IEEE Trans. Neural Networks , vol.1 , pp. 4-27
    • Narendra, K.S.1    Parthasarathy, K.2
  • 67
    • 0040422837 scopus 로고    scopus 로고
    • On NIL: The software constructor for neural net-works
    • H. T. Siegelman, "On NIL: The software constructor for neural net-works," Parallel Processing Lett., vol. 6, pp. 575-582, 1996.
    • (1996) Parallel Processing Lett. , vol.6 , pp. 575-582
    • Siegelman, H.T.1
  • 68
    • 33749757757 scopus 로고    scopus 로고
    • Distributed representations for terms in hybrid reasoning systems
    • R. Sun and F. Alexandre, Eds. Hillsdale, NJ: Lawrence Erlbaum, to be published
    • A. Sperduti, A. Starita, and C. Goller, "Distributed representations for terms in hybrid reasoning systems," in Connectionist Symbolic Integration, R. Sun and F. Alexandre, Eds. Hillsdale, NJ: Lawrence Erlbaum, to be published.
    • Connectionist Symbolic Integration
    • Sperduti, A.1    Starita, A.2    Goller, C.3
  • 69
    • 0031145983 scopus 로고    scopus 로고
    • Supervised neural networks for classification of structures
    • A. Sperduti and T. Starita, "Supervised neural networks for classification of structures," IEEE Trans. Neural Networks, vol. 8, pp. 714-735, 1997.
    • (1997) IEEE Trans. Neural Networks , vol.8 , pp. 714-735
    • Sperduti, A.1    Starita, T.2
  • 70
    • 0029291395 scopus 로고
    • Unified integration of explicit knowledge and learning by example in recurrent networks
    • P. Frasconi, M. Gori, M. Maggini, and G. Soda, "Unified integration of explicit knowledge and learning by example in recurrent networks," IEEE Trans. Knowledge Data Engineering, vol. 17, pp. 340-346, 1995.
    • (1995) IEEE Trans. Knowledge Data Engineering , vol.17 , pp. 340-346
    • Frasconi, P.1    Gori, M.2    Maggini, M.3    Soda, G.4
  • 71
    • 0030586641 scopus 로고    scopus 로고
    • The dynamics of discrete-time computation, with application to recurrent neural networks and finite state machine extraction
    • M. Casey, "The dynamics of discrete-time computation, with application to recurrent neural networks and finite state machine extraction," Neural Comput., vol. 8, pp. 1135-1178, 1996.
    • (1996) Neural Comput. , vol.8 , pp. 1135-1178
    • Casey, M.1
  • 72
    • 0002663413 scopus 로고
    • Turing computability with neural nets
    • H. A. Siegelmann and E. D. Sontag, "Turing computability with neural nets," Appl. Math. Lett., vol. 4, no. 6, pp. 77-80, 1991.
    • (1991) Appl. Math. Lett. , vol.4 , Issue.6 , pp. 77-80
    • Siegelmann, H.A.1    Sontag, E.D.2
  • 73
    • 0029880174 scopus 로고    scopus 로고
    • Extraction of rules from discrete-time recurrent neural networks
    • C. W. Omlin and C. L. Giles, "Extraction of rules from discrete-time recurrent neural networks," Neural Networks, vol. 9, no. 1, pp. 41-52, 1996.
    • (1996) Neural Networks , vol.9 , Issue.1 , pp. 41-52
    • Omlin, C.W.1    Giles, C.L.2
  • 75
    • 0030110968 scopus 로고    scopus 로고
    • Bounds on the complexity of recurrent neural network implementations of finite state machines
    • B. G. Horne and D. R. Hush, "Bounds on the complexity of recurrent neural network implementations of finite state machines," Neural Networks, vol. 9, no. 2, pp. 243-252, 1996.
    • (1996) Neural Networks , vol.9 , Issue.2 , pp. 243-252
    • Horne, B.G.1    Hush, D.R.2
  • 76
    • 0031915593 scopus 로고    scopus 로고
    • Dynamic on-line clustering and state extraction: An approach to symbolic learning
    • S. Das and M. Mozer, "Dynamic on-line clustering and state extraction: An approach to symbolic learning," Neural Networks, vol. 11, no. 1, pp. 53-64.
    • Neural Networks , vol.11 , Issue.1 , pp. 53-64
    • Das, S.1    Mozer, M.2
  • 77
    • 0002217386 scopus 로고
    • Quicksort
    • C. A. R. Hoare, "Quicksort," Comput. J., vol. 5, no. 1, pp. 10-15, 1962.
    • (1962) Comput. J. , vol.5 , Issue.1 , pp. 10-15
    • Hoare, C.A.R.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.