하이거

판교핫뉴스1

[판교테크노밸리]대한민국 산업수학주간

하이거 2015. 10. 20. 11:34

대한민국 산업수학주간

담당부서 대외협력팀 등록일 2015/10/19

 

해당안내 링크주소

 

http://www.venture.or.kr/kova/allboard/index.jsp?head=6&task_name=kova_notice&mode=kova&inc=view¬ice_id=8084

 

 

  http://mathweek.nims.re.kr/index.do

 

 

 

모시는 글

수학이 만들어가는 새로운 세상!
모두가 함께 즐기는 '대한민국 산업수학주간'에 여러분을 초대합니다. 

그동안 우리 사회에서 수학은 불편하고 어려운 대상으로 여겨져 왔습니다.
학교에서 점수를 따고 대학에 진학하기 위해, 대학에서는 다른 학문을 익히기 위해, 수학은 필수적으로 공부해야 하는 과목일 뿐이었습니다. 반면, 오늘날 선진국에서는 수학을 활용하여 부가가치가 높은 상품을 개발하고 산업의 난제를 해결하는 활동이 활발히 진행되고 있습니다.
핀테크의 보안기술, 계량수학이 낳은 고수익펀드 개발, 유전정보를 위상으로 분석한 암발생 예측, 최적화기법을 활용한 교통ㆍ물류 설계, 기하학의 원리를 이용한 애니메이션 등 성공한 사례만도 셀 수 없을 정도이며, 관련 기업과 벤처들이 나날이 성장하고 있습니다.
이제 수학은 ‘산업혁명의 황금열쇠’라 해도 과언이 아닐 것입니다.
이에 정부와 수학계는 ‘세계과학정상회의’가 열리는 10월 넷째 주를 ‘대한민국 산업수학주간’으로 정하고 의미있는 행사들을 마련하였습니다.
수학이 활용되는 사례를 알기 쉽게 풀어주는 ‘대중강연’과, 선진국의 산업수학 발전 과정을 짚어보고 우리의 나아갈 방향을 모색하는
‘산업수학 혁신 포럼’ 등 알찬 프로그램을 많이 준비하였습니다.
자라나는 아이들에게 미래 비전과 꿈을 심어주고 우리 수학과 산업의 새로운 지평을 열어보는 축제의 한마당이 될 것입니다.
아무쪼록 귀한 시간 내시어 흥미로운 수학과 함께하는 풍성한 가을을 만끽하시기 바랍니다.

미래창조과학부 장관 최 양 희

 

행사명
대한민국 산업수학주간(Industrial Mathematics Awareness Week)
  • 슬로건
    수학이 만들어가는 새로운 세상
  • 일시
    2015년 10월 21일(수)~22일(목), 24일(토)~25일(일)
  • 장소
    코엑스 및 연세대학교 과학관
  • 주요 행사 일정
    구 분 10월 21일 (수) 10월 22일 (목) 10월 24일 (토) 10월 25일 (일)
    시간 13:00 ~ 18:30 09:00 ~ 18:00 09:00 ~ 20:00 -
    행사 모두가 함께하는
    수학대중강연 시리즈
    글로벌 리더에게 듣는
    산업수학 혁신 포럼
    대한수학회
    해외 석학 특별강연
    대한수학회
    산업수학발표회
    강연자 Gunnar Carlsson, 강명주,
    강 환, 이석형,
    이승재, 임동규
    Bruno Buchberger,
    Gunnar Carlsson,
    Georges-Henri Cottet,
    John R. Ockendon,
    Hyungju Park,
    Graeme Wake,
    Masato Wakayama
    Jin Akiyama,
    Bruno Buchberger,
    Gunnar Carlsson
    -
    장소 코엑스 오디토리움 (3F) 코엑스 홀 E(5&6) (3F) 연세대학교 과학관 연세대학교 과학관
  •  

     

    모두가 함께하는 수학 대중강연 시리즈

     

     

     

    글로벌 리더에게 듣는 산업수학 혁신 포럼

     

      Invited Speakers

    ◎ KIAS Plenary Lecture (10.24(토) 15:30~16:20)

    Bruno Buchberger

    • Professor, Computer Mathematics, Johannes Kepler University, Linz, Austria
    • Research Institute for Symbolic Computation
       
    Title: Mathematics and Computer: The Story only Starts   
    The computer is a deeply mathematical invention. A decade before the first computer was built (around 1940), its simple but ingenious principle was invented by mathematicians (in fact, “meta”-mathematicians who studied the foundations of mathematics by mathematical methods). And a decade before the first computer was built, one of these meta-mathematicians (Gödel 1931) already showed that mathematical thinking can be automated to an arbitrary degree of sophistication but, at the same time, every level of sophistication leaves potential mathematical insights open that cannot be discovered and proved automatically by the current level of sophistication.

    We will report on the current state of automated discovery and proof in mathematics by discussing progress made in the speaker’s Theorema Project: By recent advances in automated proving and algorithm synthesis we were able to automatically synthesize a Gröbner bases algorithm automatically from the problem specification. This seems to be epistemologically interesting since the invention of the first Gröbner bases algorithm in 1965 solved a problem that was 65 years open.

    We will discuss some perspectives of the increasing power of automated reasoning methods on the future of mathematical research, teaching, and applications. In particular, we will report on a task force that aims at building up a “Global Math Formal Knowledge Base”. This global program was initiated at the International Congress of Mathematicians 2014 in Seoul, and so, the Meeting of the KMS seems to be an appropriate occasion for discussing the current state of the program.



    ◎ KIAS Public Lecture (10.23(금)17:00~18:00)

    박용문  Park, Yong Moon

    • 연세대학교 이과대학 수학과 명예교수
       Emeritus Professor, Department of Mathematics, Yonsei University
       
    Title: 수학과 물리학으로의 산책  
    본 강연은 두 부분으로 이루어졌다. 먼저 1915년 연희전문대학교가 설립되고 수물과(수학 및 물리학과)가 개설되면서 서구의 근대수학이 도입된 후 한국수학이 어떻게 발전하여 왔는가를 살펴보고자 한다. 특히 1970년대 초까지 걸음마 수준이었던 한국수학의 연구 활동이 어떻게 선진국 수준에 근접할 수 있게 되었는가를 본인의 연구경험을 토대로 하여 설명하고자 한다. 다음으로 수학이 어떤 학문인가를 설명하기 위하여 수학의 특징과 구조 그리고 공리체계에 대하여 개략적으로 설명하고자 한다. 그리고 수학과 가장 가까운 학문분야인 물리학이 수학과 어떻게 상호보완 하면서 발전하여 왔는가를 간략하게 언급하려고 한다.



    ◎ NIMS Public Lectures

        (10.24(토) 10:40~12:10)

     

    Jin Akiyama
     
    • Professor, Tokyo University of Science, Japan
    • Director, Research Center for Math & Science Education, Japan
     
    Title: Math Spectacle Show  
    It is demonstrated how powerful mathematical theories can be when applied to real life situations. Everywhere you look has mathematics. Keep your eyes open and you can see math used everywhere around you.

       (10.24(토) 16:30~17:20)

     

    Gunnar Carlsson
     
    • Co-founder of AYASDI, USA
       (Former professor, Standford University, USA)
     
    Title: Topology for Data Analysis  
    Topology (the mathematical subdiscipline that concerns itself with the study of shape) is an old subject in mathematics. The first paper was published in 1736, and the subject has developed within pure mathematics over the last few centuries, with particular acceleration in the 20th century. Since the beginning of the 21st century, mathematicians have been working on applying the methods to a new domain, namely point clouds, or data sets. The new methods include extensions of techniques for "measuring" shape, called homology, as well as novel ways of representing data. We will discuss these ideas, with numerous examples.



    ◎ Secial Invited Lecture (10.24(토) 13:20~14:00)

    Chieh-Yu Chang  

    • Professor, Department of Mathematics, National Tsing Hua University
    • The Mathematical Society of Republic of China
       
    Title: Linear relations among double zeta values in positive characteristic  
    This talk is motivated by the conjecture of Zagier on the explicit dimension formula for the space of the same weight double zeta values in terms of the dimension of elliptic cusp forms for the full modular group. We will present an effective criterion for computing the dimension of the same weight double zeta values over a rational function field in positive characteristic. Contrary to the Zagier's conjecture, the analogue of Zagier's conjectural dimension provides a lower bound for the dimension of the double zeta values when the weight is 'even'.



    ◎ Invited Lectures (10.24(토) 13:20~14:00)

    [대수학 Algebra]  이동희  Lee, Donghi

    • 부산대학교 자연과학대학 수학과 교수
       Professor, Department of Mathematics, Pusan National University
       
    Title: Construction of a new family of two-generator non-hopfian groups  
    A group G  is called hopfian if every epimorphism from G  to G  is an isomorphism. The simplest non-hopfian groups are Baumslag-Solitar groups, and not many are known, up to now, finitely presented non-hopfian groups which do not essentially use Baumslag-Solitar groups. Motivated by this, we will construct a new family of two-generator non-hofian groups (and hence non-residually finite) using one relator presentations of 2-bridge link groups and Heckoid groups. These groups are not finitely presented, but we will talk about a possibility to turn them into finitely presented non-hopfian groups by adding some further relations, in contrast with B. H. Neumann's two-generator non-hopfian group. This is a joint work with Makoto Sakuma.

     

    [해석학 Analysis]  김준일  Kim, Joonil

    • 연세대학교 이과대학 수학과 교수
       Professor, Department of Mathematics, Yonsei University 
    • 2015년도 대한수학회상 봄 논문상 수상자
       The winner of 2015 Excellent Research Paper Award
        
    Title: Oscillatory integrals associated with vector polynomials  
    We discuss about the asymptotic behaviors for the 2D oscillatory integrals with polynomial phase functions. Especially, we study the cases that (1) the domain of integral is unbounded, or (2) the phase function involves a vector polynomial. Similar problem is measuring a sublevel-set which can be an unbounded set, or an intersection of various different sublevel sets. Our results are described in terms of generalized notions of Newton polyhedra.

     

    [기하학 Geometry]  조종택  Cho, Jong Taek

    • 전남대학교 자연과학대학 수학과 교수
       Professor, Department of Mathematics, Chonnam National University
        
    Title: CR geometry of contact manifolds   
    For a contact manifold, we have the two fundamental structures associated with the given contact form. one is Riemannian structure and the other is CR structure. In this talk, we study CR geometry, which preserves transversal almost complex structure. Using the generalized Tanaka-Webster connection as a canonical connection, we define it’s curvature tensor, Ricci tensor, Bochner type pseudo-conformal invariant, and we investigate their geometrical properties. Then we introduce several recent results on the topic.

     

    [위상수학 Topology]  이대웅  Lee, Dae-Woong

    • 전북대학교 자연과학대학 수학과
       Professor, Department of Mathematics, Chonbuk National University
        
    Title: Strong homology groups, phantom maps, comultiplications and same n  -types   
    In this talk, the following topics in algebraic topology will be briefly outlined:
    (1) strong (co)homology groups,
    (2) phantom maps,
    (3) comultiplication structures for a wedge of spheres, and
    (4) the same n-types of CW-complexes.  

     

    [확률 및 통계학 Probability and Statistics]  김판기  Kim, Panki

    서울대학교 자연과학대학 수리과학부 교수
       Professor, Department of Mathematical Sciences, Seoul National University 
    • 2015년도 대한수학회상 봄 논문상 수상자
       The winner of 2015 Excellent Research Paper Award
        
    Title: Two-sided Green function estimates for killed subordinate Brownian motions  

    A subordinate Brownian motion is a Lévy process which can be obtained by replacing the time of the Brownian motion by an independent subordinator. The infinitesimal generator of a subordinate Brownian motion is ϕ(Δ)  , where ϕ  is the Laplace exponent of the subordinator. In this talk we discuss  the sharp two-sided estimates on the Green functions of  a large class of subordinate Brownian motions without diffusion component in any bounded κ  -fat open set D  . When D  is a bounded C 1,1   open set, such estimates have an explicit form in terms of the distance to the boundary and ϕ  . We also discuss consequences of such sharp Green function estimates such as boundary Harnack principle in C 1,1   open sets with explicit rate of decay, Poisson Kernel estimates, Fatou type theorem.

    This talk is based on several joint papers with Jaehoon Kang, Yunju Lee, Ante Mimica, Renming Song, Zoran Vondraček.

     

    [응용수학 Applied Mathematics]  임미경  Lim, Mikyoung

    • 카이스트 자연과학대학 수리과학과 교수
       Professor, Department of Mathematical Sciences, KAIST (Korea Advanced Institute of Science and Technology)
        
    Title: Asymptotic analysis for the electric field enhancement in between two nearly touching conductors with extreme conductivities

    Two nearly touching inclusions with extreme conductivities can cause the enhancement of the electric field. In an external electric field of long wavelength compared to the size of conductors, the presence of nearly touching conductors induces a very large electric field confined in the narrow gap region between the conductors. In this talk, we analyze this field enhancement based on the quasi-static approximation and the related conductivity equation for the electric scalar potential. The generic blow-up rate of the gradient of the solution to the conductivity problem in presence of two perfect conductors is |ϵlnϵ| 1   in three dimensions and ϵ 1/2   in two dimensions, where ϵ  is the distance between the two conductors. I derive asymptotic formulas for the solution to the conductivity problem, which characterize the gradient blow-up of the solution.
     

     

    [수학교육학 Mathematical Education]  박경미  Park, Kyungmee

    • 홍익대학교 사범대학 수학교육과 교수
       Professor, Department of Mathematics Education, Hongik University
        
    Title: The direction of mathematics curriculum revised in 2015   
    2015 개정 교육과정 총론의 비전은 창의・융합형 인재를 양성하는 것으로, 대표적인 개정의 방향은 인문학적 상상력과 과학기술 창조력을 갖춘 균형 잡힌 인재의 양성이다. 2015 개정 수학과 교육과정 시안은 교육과정 총론이 추구하는 방향성을 따르고, 수학과 교육과정의 국제적 동향을 반영하는 한편 2014년에 이루어진 ʻ문・이과 통합형 수학과 교육과정 재구조화 연구ʼ의 개정 방향을 이어받아 개정의 방향을 ʻ수학 교과역량의 강조ʼ, ʻ학습 부담 경감 실현ʼ, ʻ학습자의 정의적 측면 강조ʼ, ʻ실생활 중심의 통계 내용 재구성ʼ, ʻ공학적 도구의 활용 강조ʼ의 다섯 가지로 선정하였다.

     

    [전산수학 Mathematics for Information Sciences]  천기상  Cheon, Gi-Sang

    • 성균관대학교 자연과학대학 수학과 교수
       Professor, Department of Mathematics, SungKyunKwan University
        
    Title: Riordan arrays and related topics   
    Analytic combinatorics is a branch of combinatorics that describes combinatorial classes using generating functions and aims at predicting precisely the properties of large structured combinatorial configurations. This approach starts from an exact enumerative description of combinatorial structures by means of generating functions; the next step consists in extracting their coefficients in exact or asymptotic form and thus finding results for the corresponding counting sequences. When we describe a sequence with a bivariate generating function it has a particular form, we call it a Riordan array or Riordan matrix. Riordan arrays strongly simplify computations about this kind of sequences in addition to having an interesting algebraic structure and to provide a powerful and simple method to obtain the solution of combinatorial sums. Also, Riordan arrays can be used as a machine to generate combinatorial identities, given so new proofs to old ones or directly finding new ones. In this talk, we will introduce recent developments for the theory of Riordan arrays and related topics arising in combinatorics, matrix theory, group theory, polynomial ring, analytic number theory and Lie theory.

     

    [암호학 Cryptography]  이주영  Lee, Jooyoung

    • 세종대학교 자연과학대학 수학통계학부 교수
       Professor, Mathematics-Applied Statistics, Sejong University
        
    Title: Partition and Mix: Generalizing the Swap-or-Not Shuffle

    Recently, card shuffle algorithms has begun to attract renewed interest from a cryptographic point of view with applications to format preserving encryption. In this work, we naturally extend the swap-or-not shuffle by replacing a perfect matching used in each round of the swap-or-not shuffle by a certain uniform keyed partition. By using such a random set partition of blocks of size D, we prove that the number of rounds can be reduced by 1/log D for the same level of security compared to the swap-or-not shuffle, improving the efficiency of the resulting encryption scheme~(in terms of the number of rounds). We also give a couple of examples of the uniform keyed partitions that allow efficient implementation in practice.

     

      Program

    ◎ 상설분과 발표 (Contributed Talks)

    Session
    Code
    분과명
    Title/Topic
    주관교수
    Organizers
    Slot A Slot B Slot C
    24(토)
    09:00~10:30
    24(토)
    10:40~12:10
    24(토)
    14:10~15:10
    AL 대수학
    Algebra
    김남균(한밭대) O O O
    AN 해석학
    Analysis
    허재성(한양대) O O O
    GE 기하학
    Geometry
    황승수(중앙대) O O O
    TO 위상수학
    Topology
    이상율(부산대) O O O
    PS 확률 및 통계학
    Probability and Statistics
    황강욱(카이스트) O O
    AM 응용수학
    Applied Mathematics
    손성익(강릉원주대) O O O
    ME 수학교육 · 수학과 문화
    Mathematical Education · Culture and Mathematics

    계영희(고신대)

    황홍택(금오공대)

    O O
    IS 전산수학
    Mathematics for Information Sciences
    권영수(영남대) O O
    CR 암호학
    Cryptography
    권순학(성균관대) O O O

    ◎ 특별세션 (Special Sessions) 발표

     Session
    Code
    분과명
    Title/Topic
    주관교수
    Organizers
    Slot A Slot B
    24(토)
    09:00~10:30
    24(토)
    10:40~12:10
    SS-01 유한요소법 및 관련주제
    Advances in finite element methods and related topics
    박은재(연세대) O O
    SS-02 선형대수학 및 그의 응용
    Linear algebra and its applications
    송석준(제주대) O O
    SS-03 준 리만기하학과 부분다양체론
    Semi Riemannian geometry and submanifold theory
    최재동(공군사관학교) O O
    SS-04

    동력계와 그와 관련된 주제들 
    Dynamical systems and related topics

    이만섭(목원대) O O
    SS-05 수학교육 · 수학과 문화
    Mathematical Education · Culture and Mathematics

    계영희(고신대)

    황홍택(금오공대)

    O
    GST 예비수학자 연구발표
    Graduate Student Session 
    변순식(서울대) O O

     ※ 대학원생이 박사 이상의 연구자와 공동 연구
    한 결과를 발표하는 경우 가능하면 이 분과에서
    발표하도록 하여 주십시오.


    ◎ 포스터 (Poster Session) 발표

    1. 발표 분과
      대수학, 해석학, 기하학, 위상수학, 확률 및 통계학, 응용수학, 전산수학, 수학교육학, 암호학
      (Algebra, Analysis, Geometry, Topology, Probability and Statistics, Applied Mathematics, Mathematics for Information Sciences, Mathematical Education, Cryptology and etc.)

    2. 게시 및 질의응답 시간
      • 10.24(토): 게시 10:00-15:10 / 질의응답 14:40-15:10

    3. 주의사항
      • 포스터 판의 크기는 약 90cm x 120cm이며, 발표예정자는 이 판에 적합하게 되도록 제목, 저자 성명 및 내용을 적절한 크기로 준비하시기 바랍니다.
      • 포스터는 지정시간 1시간 전까지 게시하여야 하며, 지정시간(30분)동안 연구자가 대기 하셔서 질문과 토의에 응하셔야 합니다. 포스터 게시와 철거 상황은 본 학회에서 별도로 확인할 예정이오니 시간을 지켜 주시기 바랍니다.
      • 본 학회에 별도의 연락 없이 포스터를 게시하지 않거나, 지정시간을 지키지 않으면 추후 발표가 제한될 수 있으니 유의하여 주시기 바랍니다.

    ◎ 한국연구재단 자연과학단장 초청 간담회 (10.24(토) 14:10~15:10)

         한국연구재단 남계춘 자연과학단장님을 초청하여 “기초연구사업 설명회 및 토론회”를 개최합니다.
         • 일시: 10월 24일(토) 14:10~15:10
         • 장소: 연세대학교 과학관 B103호 (3발표장)

    ◎ 한국 근대수학 100년 기념 전시 (10.24(토) 09:00~17:00)

         한국 근대수학 100년, 연희전문 수물과 100주년을 기념하여 수학관련 사료를 전시합니다.
         • 일시: 10월 24일(토) 09:00~17:00
         • 장소: 연세대학교 과학관 226A호

    ◎ [NIMS] 산업수학점화 프로그램 소개 및 연구 발표 (10.25(일) 10:00~12:30)

    시간 연사 주제
    [1부] 10:00~11:15 (좌장: 임용도)
    10:00~10:15 조도상(NIMS) 선진국의 산업수학 사례연구
    10:15~10:30 이훈희(서울대) 수학이론 기반 미래 산업기술 연구 및 인재양성
    10:30~10:45 이창옥(카이스트) KAIST 산업수학 점화 프로그램
    10:45~11:00

    최영우(아주대)

    아주 산업수학 센터를 통한 점진적 산업수학 점화 계획
    11:00~11:15 홍석준(성균관대)

    빅데이터와 음악의 만남: 화음 인식으로 여는 자동악보

    11:15~11:30 Tea & Coffee
    [2부] 11:30~12:30 (좌장: 조도상)
    11:30~11:45 임용도(성균관대)

    빅데이터 수리해석 인력 양성 사업단

    11:45~12:00 민조홍(이화여대)

    수학기반기술지도(M2T Map)를 이용한 산업수학 활성화 방안

    12:00~12:15 권오상(충북대)

    산업수학 기반 초정밀 계측 시스템 구축

    12:15~12:30 정일효(부산대)

    산업수학 기반 초정밀 계측 시스템 구축

    12:30~         중식

     

     

    강연자 소개

    • 대중강연 Ⅰ<The Shape of Data>

      Gunnar Carlsson
      • Gunnar Carlsson
      • AYASDI, 공동설립자
      • 前 스탠포드 대학교 수학과 교수
    • 대중강연 Ⅱ <할리우드 영화 속 수학의 미(美)>

      강 명 주
      • 강명주
      • 서울대학교 수리과학부 교수
      • 한국산업응용수학회 부회장

    대중강연 Ⅲ 및 토크콘서트 <어! 여기에도 수학이?>

    • 강  환
      • 강 환
      • 국가수리과학연구소 연구원
      • 하버드 대학교 수학과 박사과정
      • '06 ’07 국제수학올림피아드 금메달
    • 이 석 형
      • 이석형
      • 국가수리과학연구소 연구원
      • 프린스턴 대학교 수학과 박사과정
      • ‘06 국제수학올림피아드 금메달
    • 이 승 재
      • 이승재
      • 국가수리과학연구소 연구원
      • 옥스포드 대학교 수학과 박사과정
      • ‘07 국제수학능력평가경시대회 대상
    • 임 동 규

     

     

    부대행사

    • 일 시
      10월 21일(수) 13:00 ~ 17:00
    • 장 소
      코엑스 오디토리움 로비 (3F)
    • NIMS-IMAGINARY

      IMAGINARY는 2008년 독일 수학의 해를 기념하여 오버볼파크 수학 연구소(MFO)에서 시작되었으며,
      수학을 직접 보고 만지고 느끼면서 무한한 상상력과 창의력을 키울 수 있는 3D 수학 체험 프로그램입니다.


    • 3D 프린팅 시연

      수학, 과학, 기술 예술이 창의적으로 융합된 3D 프린팅 기반으로 산출되는 의료, 패션, 금속, 식품 산업 분야의 다양한 사례를 시각적으로 체험할 수 있는 공간

    • 수학카드마술쇼

      카드 마술에 수학을 접목한 수학카드 마술쇼(최현우)