|13:00 ~ 14:20||등록|
|14:20 ~ 14:30||개회식|
|14:30 ~ 15:30||Gunnar Carlsson
<The Shape of Data>
|15:40 ~ 16:30||강명주 교수
<할리우드 영화 속 수학의 미(美)>
|16:40 ~ 17:50||
이승재 (NIMS/옥스포드) 임동규 (NIMS/UC 버클리)
|대중강연 Ⅲ 및 토크 콘서트
<어! 여기에도 수학이?>
|17:50 ~ 18:30||수학 카드 마술 콘서트 (최현우)|
|19:00 ~ 20:30||강연자들과 함께하는 만찬 (사전 등록 및 추첨을 통하여 참석자 선정)
장소 : 인터컨티넨탈 서울 코엑스 비너스룸 30층
13:00 ~ 17:00
|NIMS-IMAGINARY, 3D 프린팅 시연
장소 : 코엑스 오디토리움 로비 (3F)
The problem of extracting knowledge and understanding from data is a very old one.
The question "what is the shape of the earth" is an early example of such a problem, since it had to be based on the understanding of data from many sources.
However, the problem has now become very acute due to our newfound ability to collect large amounts of data from many distinct sources. The problem is now called the Big Data problem, but the size of the data is only one problem. Another is the complexity of data.
We will discuss the complexity of data, and present some new ways of dealing with that complexity coming from the mathematical discipline of Topology, the study of shape.
최근의 영화/애니메이션에서는 복잡한 자연현상, 예를 들면 해일, 태풍, 폭발 등과 같은 커다란 자연재해로부터 강물, 소용돌이에 의한 나뭇잎의 움직임, 유리잔의 물 출렁거림 등과 같은 작은 현상들까지 모든 자연현상들의 보다 사실적인 모사를 요구하고 있다. 이러한 자연현상은 유체의 복잡한 움직임에 기인한다.
자연현상의 실제적 모사는 유체의 움직임에 대한 모델, 계산하는 부분과 그 움직임을 시각적으로 보여주는 렌더링에 관한 부분으로 크게 나눠 볼 수 있다. 우리는 이러한 자연현상 애니메이션을 전쟁, 우주과학, 역사 등을 다루는 대규모의 프로젝트 영화, 미래를 상상하는 광고와 산업디자인 등을 통해 매우 가까이에서 접하게 된다. 예를 들면 영화 “스타워즈” 의 등장인물과 영화 “타이타닉” 에서의 엄청난 바닷물의 요동은 이러한 애니메이션 기술로서 가능할 수 있었다. 따라서 대규모 자연재해, 전쟁의 폐허, 상상의 미래도시를 실제와 다름없이 보여주려는 컴퓨터 그래픽스 기술은 예술과 산업 그리고 생활 전반에 걸쳐 새로운 표현매체로써 진보하고 있다.
본 발표에서는 이러한 기술을 구현하기 위한 근본적인 수학적 이론에 대하여 간단히 소개하고자 한다.
사람들은 왜 수학을 싫어할까? 사람들은 왜 수학을 재미없어 할까?
많은 사람들이 공감하는 이유로 수학이 어디에 쓰이는지 직관적으로 알기 어렵기 때문이다. 어렸을 때부터 근의 공식, 피타고라스 정리, 미적분 공식을 외우지만 실제 어떻게 쓰이는지 모르니 재미가 없을 수밖에 없다.
국어공부를 위해 ㄱ, ㄴ, ㄷ, ㄹ부터 배워야 하지만 우린 그걸 통해 재미있는 책을, 흥미로운 영화를 볼 수 있다. 도레미파솔라시를 외우는 건 재미없지만 그걸 통해 감미로운 음악을 들을 수 있으며, 미술 이론공부는 어려워도 아름다운 예술 작품을 쉽게 감상하는 데 바탕이 된다.
수학도 마찬가지다. 본 발표에서는 수학이 우리 주위에 어떻게 쓰이는지, 수학이 우리 사회에 왜 중요한지를 쉽고 분명한 예시들을 통해, ‘수학’ 이라는 단어에서 느껴지는 거부감을 줄이고 수학이 대중과 조금 더 가까워지는 계기를 만들고자 한다.
Mathematics-in-Industry Study Groups as we know them today, originated in the UK in 1968, under the name Oxford Study Groups with Industry. I was a postdoctoral fellow there around then and my mentor was its founder. Since then, the concept has been adopted by many other countries, and study groups have become a well-established institution and a leading format for interaction between mathematics and industry world-wide. Besides being a source of interesting new problems in mathematics, they also serve as an important mechanism for the transfer of mathematical technology between academia and industry. They were first introduced in Australia in 1984 under the auspices of the CSIRO. (Again I was there.) In the 1990s they were transferred to the Division of Applied Mathematics of the Australian Mathematical Society. In 1993 when this was re-constituted to embrace New Zealand, thereby becoming the Australian and New Zealand Industrial and Applied Mathematics (ANZIAM) organisation we know today, the MISGs were packaged as an activity of ANZIAM. NZ activity became a significant part of this activity for the last twenty years and NZ hosted the joint one with Australia in Auckland in the three years 2004-6. Of late increasingly, both NZ Industry and Government groups have asked for a regular NZ-based activity of this kind, and this is the rationale for this new initiative to be launched. We were determined that it is seen as an activity for the whole country and embedded in the wider Asia-Pacific Region. Importantly, we ensured it was also seen as an activity constituted within ANZIAM and the NZ branch is charged with general oversight of this.
The informal grouping Mathematics-for-Industry in NZ (MINZ) in 2014 formed a strong link with KiwiNet, a national industry organisation formed to foster links for Industry with technical expertise. See http://www.kiwinet.org.nz KiwiNet has provided strong administrative input and leadership into this development which is gratefully acknowledged. Without this we would not have been launched as we now are today. See the You/Tube video
KiwiNet now provides a firm administrative home for all MINZ activities. The original Australian one continues as a parallel activity, six months apart from the one in NZ. This talk will review the thirty-plus years of operation in the South-West Pacific, highlighting its undoubted successes and give pointers for the future, both there and in the wider East Asian-Pacific region.
This presentation will comprise
(i) An overview of how industrial and academic researchers can derive mutual benefit from applying innovative mathematics to problems of economic or social importance;
(ii) A list of mechanisms that have, on a global scale, proved most effective in stimulating industrial-academic collaboration.
There has been an enormous amount of attention paid to the Big Data problem. To be sure, the size of the data is an important problem that confronts us, but perhaps more important are methods for representing and making understandable and actionable complex data sets. Data can be complex in a number of ways, including the input format as well as the intrinsic structure. We will discuss new methods for understanding data, and demonstrate their utility for many disparate problems in industry and science.
The Softwarepark Hagenberg was founded in 1987 by the speaker as a spin-off of his Research Institute for Symbolic Computation (RISC) at the Johannes Kepler University in Linz, Austria. At that time, it was the first technology park worldwide exclusively devoted to software and having “software” in its name. It started from the 25 co-workers and PhD students od RISC. By now, 2,500 R&D people are working and studying in the Softwarepark in 12 research institutes, an extra engineering school for software and approximately 60 companies. The companies are mostly start-up companies founded by graduates from the institutes in the Softwarepark. Two of them were recently bought by international companies for 120 million and 200 million Euros, respectively.
People were always wondering why a pure mathematics institute like RISC can create such a strong industrial impulse like the Softwarepark. In this talk, I want to explain the strategies behind RISC and the Softwarepark. Our emphasis will be on the role of mathematics basic research and a strong international mathematics PhD program for innovation in advanced software development, software application and software education. Experience supports the conviction that mastering the deep layers of formal abstract mathematical thinking form the indispensable solid ground for going beyond trivial software applications and passive software consumption by the masses. The fundamental innovation chain proceeds from formal logic through abstract and computational mathematics to software science and software technology - also as a basis for all other technologies.
Currently, Korea is witnessing a strong demand from many sectors to build up a competitive industrial mathematics program. Based on the lessons learned from the pioneers in industrial mathematics in other countries, we should aim not only to build up a strong R&D program in this area but also to build up a whole eco-system of industrial mathematics. This eco-system consists of education component at the university level, a strong tie with traditional industry, and incubating and collaborating with math-based startups.
In order to build up such a healthy eco-system of industrial mathematics in Korea, we propose a policy of building up a nationwide network of research centers located at universities, setting up a collaboration center at Pangyo Valley (a startups’ heaven in Korea), and establishing a global hub to coordinate such activities and to function as a control tower.
The recent advance in network and computing technologies and the growing interests in energy savings have been driving the commercialization of the non-intrusive load monitoring problem, which has initially introduced in 80’s by an applied mathematician. The problem is to approximate individual appliances’ electric consumption from given total electric consumption. In this talk, we will introduce the NILM problem with details and our solution in brief. Several applications based on the NILM problem will be given together.
수학 스타트업은 산업수학의 열매라고 할 수 있다. 열매가 씨를 보호하고 멀리 퍼뜨리듯, 수학 스타트업은 수학 꿈나무를 키우고 고용까지 책임진다. 전통적으로 수학은 산업기술의 보조역할을 수행해 왔다.
최근에는 모바일, 빅데이터, 클라우드, 초고속 계산 등이 가능해짐에 따라 수학자체를 비즈니스의 핵심 아이템으로 적용하는 회사, 이른 바 수학 스타트업이 등장했다. 이 발표에서는 국내 수학 스타트업의 현황을 소개한다.
대표적인 수학 스타트업에는 에너지 빅데이터를 분석 및 서비스하는 인코어도 테크놀로지스와 맞춤형 수학 학습 프로그램 개발 회사인 노리 등이 있다. 또한 빅데이터 분석툴을 제공하는 이씨마이너, 수학 문제 풀이 플랫폼인 바풀, 수학 교구제작 및 프로그램 개발의 수학 사랑 등이 있다. 이밖에도 수학을 포함한 교육 스타트업인 리노트, 붐스코어도, 스페이스 에듀 등이 있다. 끝으로 향후 국내 수학스타트업의 발전 방향에 대하여 논의해 본다.
We will review and discuss practical experiences of various collaborations with industry from mathematics in Japan such as Ph.D internship, Study group and joint projects with industry.
These efforts and trials have been made/started extensively around in the past decade by some institutions and the MEXT in the government. Further, we will discuss the government policy for the promotion of this activity and trials in institutions, particularly in IMI at Kyushu University, from the viewpoint not only the research but also fostering younger researchers.
In 2011 a French initiative to promote interaction between mathematics and industry was funded by the government. Its programs are largely inspired form recommendations issued by the European Science Foundation in its Forward Look for Mathematics in Industry.
In this talk we will give a few illustrations of how these programs, which combine education, research and dissemination, can contribute to create new collaborations and give more visibility to mathematics in the society. We will also outline new challenges that mathematicians will meet in the future to establish mathematics as a key enabling technology.