|
[Sage day 37] Free Open Source Mathematics Software : Sage Day (Seoul. Korea) |
|
| 1 | |||
|
|
|
[Sage day 37] Free Open Source Mathematics Software : Sage Day (Seoul. Korea)
A minute of 2012 대한수학회 봄 연구 발표회 <37th Sage-Day>
A minute of <37th Sage-Day>
2012 Spring Meeting of the Korean Mathematical Society -April 28 (Sat), 2012
SS-07. Free Open Source Mathematics Software Sage Day
숙대,명신관 1층 105호 (15발표장)
2012 Spring Meeting of the Korean Mathematical Society -April 28 (Sat), 2012
Free Open Source Mathematics Software Sage Day
A. 09:00 - 10:00 Chair: Heesung Shin (Inha University)
1. 09:00 - 09:20 How we were able to make a Korean version of Sage and Mobile Sage server (JinYeong Bak, Sang-Gu Lee and Duk-Sun Kim)
박진영*(카이스트), 이상구(성균관대), 김덕선(NHN-네이버)
JinYeong Bak*, KAIST, Sang-Gu Lee, Sungkyunkwan University, Duk-Sun Kim, NHN-Naver
2010 Mathematics Subject Classification: 97Uxx
Key Words and Phrases: Sage, mathematical educations, Mobile Sage, CAS
2. 09:20- 09:40 Use of Sage-Math in visualization of linear algebra concepts (Kyung-Won Kim, Hye-In Jeong and Sang-Gu Lee)
김경원*(성균관대), 정혜인(성균관대), 이상구(성균관대)
Kyung-Won Kim*, Sungkyunkwan University, Hye-In Jeong, Sungkyunkwan University, Sang-Gu Lee, Sungkyunkwan University
2010 Mathematics Subject Classification: 15Axx, 97Uxx
Key Words and Phrases: linear algebra, Sage, Sage-Math, mathematical educations, CAS
3. 09:40 - 10:00 Implementing decoding algorithms in Sage (Kwan Kyu Lee)
이관규(조선대) Kwan Kyu Lee, Chosun University
2010 Mathematics Subject Classification: 94B35
Key Words and Phrases: Sage, decoding algorithm
B. 10:10 - 11:30 Chair: Sang-il Oum (KAIST)
1. 10:10 - 10:30 Sage: Ultimate tool for math research and teaching (Robert Beezer)
Robert Beezer, University of Puget Sound
Sage is a powerful tool for research and teaching, in large measure because of its design as open source software. I will demonstrate several short examples from algebra and discrete mathematics as an introduction to the possibilities.
2010 Mathematics Subject Classification: 97Uxx
Key Words and Phrases: Sage, Sage-Math, CAS, algebra
2. 10:30 - 10:50 Sage and interactive (Dan Drake)
Dan Drake, KAIST
3. 10:50 - 11:10 Full Sage contents for linear algebra and Sage matrix calculator (Hee-Dong Yoon, Sang-Gu Lee and Jae Hwa Lee)
윤희동*(성균관대), 이상구(성균관대), 이재화(성균관대)
Hee-Dong Yoon*, Sungkyunkwan University, Sang-Gu Lee, Sungkyunkwan University, Jae Hwa Lee, Sungkyunkwan University
2010 Mathematics Subject Classification: 15-01
Key Words and Phrases: linear algebra, Sage, matrix calculator, web contents
4. 11:10 - 11:30 Linear algebra and calculus with Sage (Sang-Gu Lee)
이상구(성균관대), Sang-Gu Lee, Sungkyunkwan University
2010 Mathematics Subject Classification: 15Axx, 97Uxx
Key Words and Phrases: CAS, SAGE, linear algebra, calculus
5. 11:30 - 11:40 Q & A(질의응답) Practice and Discussion with All participant, Chair: Dan Drake, KAIST
********************************************
[Invited Lecture -Mathematics Education] April 28(Sat), 2012
수학교육분과 초청강연 : Prof. Robert Beezer 교수
15:10-16:10,
초청강연: Robert Beezer
Some overview of Sage and its use in teaching linear algebra, abstract algebra and graph theory with Open Textbooks
Sage is an open source software system for advanced
mathematics, and is a natural choice for use in teaching.
I will describe its
use in teaching linear algebra, abstract algebra and graph theory, along with
open textbooks.
1. How we were able to make a Korean version of Sage and Mobile Sage server
박진영 (카이스트)
- Sage Server의 한글화 과정을 어떻게 했을까?
- 메인 페이지 뿐만 아니라 워크시트도 한글화
- 모바일 서버 한글화
1) Sage 소스파일의 단어/문장 수정
이 중 작업이 필요없다.
해당 소스파일을 잘 모르는 경우 어떤 것이 코드인지 메시지인지 구분할 수 없어 코드를 수정할 경우 오류
언어별로 소스파일을 관리해야 함(단점)
2) 원 문장과 다른 문장의 매핑
source와 language function 사이에 독립성이 존재
gettext() 함수로 단어/문장을 감싸야 한다. -> 번역
소스파일을 언어별로 관리할 필요가 없다.
번역 과정: xgettext -> sagenb.pot -> sagenb.po -> sagenb_ko.po
-> sagenb.mo -> 서버에 적용
※Create po file
(1) Using Text Editer
(No function supports)
(2) Poedit
(쉽게 번역이 가능하다.)
브라질 교수의 작업을 가지고 확인
po 생성시 text editor 사용 -> poedit(유용한 에디터, tag이나 comments부가 가능)
결론 : 한국인들의 세이즈 사용의 어려움을 번역을 통해 쉽게 사용가능하게 함.
To Translate
2가지 (1) Modify source file, (2) Create language file 가 있지만 (2)의 방법이 더 편리하다.
2. Use of Sage-Math in Visualization of linear algebra concepts
김경원, 이상구, 정혜인 (성균관대학교)
- 선형대수학의 시각화
- 정적인 교육(책을 이용하는 것) -> 적절한 시각화의 자료 (Java, Flash)
- Sage를 이용한 시각화
- 무료, 한글화, 다양한 기능, 공개된 워크시트, 코드 공개
wep page를 통해 공개된 것을 복사하여 붙여넣기, 실행이 가능하다.
- Single cell server
아이디와 패스워드를 입력할 필요없이 바로 실행이 가능하다.
- 선형대수의 기본개념의 시각화
세이즈 math 자료를 웹을 통해 공개-역시 복사하여 사용가능.
- 이론, 코드, 실행을 통한 용이한 접근성
결론 : 수학적인 계산 시간을 줄일 수 있어 그 시간에 개념공부와 여러 가지 다른 공부를 할 수 있다. 즉, 시간을 벌 수 있다. 또한 동시에 더 복잡한 계산도 가능하다.
게다가, 또한 복사하여 실행하면 되기 때문에 언어를 배울 필요가 없다.
3. Implementing Decoding Algorithms in Sage (본인의 경험)
이관규 (조선대학교)
- Decoding Algorithm of AG codes.
- Algebraic Geometry codes
- mathematica, magma, singular, sage를 이용하여 비교(수학적 개념, 수학적 프로그래밍 언어, 무료, 공개소프트웨어, C언어와의 속도 비교)
- Magma가 굉장히 좋은 프로그램이지만 무료가 아니다.(비싸다.)
(convenient command line feature를 가진다.)
- 오픈 소스, open development
- sage 사용시 버그나 feature가 부족하면 어쩌지? 문제없음!
(1) Sage Discussion Group에 문의
(2) register a ticket in Trac
(3) patch를 만드는 것을 기다린다.
(4) 직접 patch를 만들어도 된다.
- 그뢰브너 basis patch를 만들어 merged to Sage 4.7.2
- command line
- mathematics and Sage
4. Sage: Ultimate tool for math research an teach
Robert Beezer (University of Puget Sound)
- Algebraic Graph theory
- Group Theory
- Designs
- Linear Algebra
- Field Extensions, Interval Arithmetic
- 웹페이지가 하나의 책이 될 수도 있을 것 같음
- 학생들이 빨리 배움
5. Interactive mathlets with Sage
Dan Drake(카이스트)
- interactive mathlets with Sage
- applets for math : mathlets
web-based and written in Java
- Sage: @interact
- Taylor polynomials
중요한 함수일지 모르나 손으로 Taylor 다항식을 계산하는 것은 어렵다. (학생의 입장)
- slider
6. Linear algebra and calculus with Sage
이상구 (성균관대학교)
- Sage를 이용한 공학적인 도구를 이용해 계산시간을 줄인다.
- Youtube를 이용한 학습을 언제 어디서나 할 수 있다.
- 줄어든 계산시간만큼 교과서의 연습문제를 모두 풀 수 있었다. 또한 기존의 문제를 변형시키면서 학생들은 각자 다양한 문제를 풀었다
<Invited Lectures>
7. Some overview of Sage and its use in teaching linear algebra, abstract algebra and graph theory with open textbooks
Robert Beezer (University of Puget Sound)
- Web-Text http://www.aimath.org/textbooks/beezer/Aarchetype.html
Sage를 이용하여 Latex코드 확인
|
A=matrix(3,3,[1,2,3,4,5,6,7,8,9]) latex(A) |
\left(\begin{array}{rrr}1 & 2 & 3 \\4 & 5 & 6 \\7 & 8 & 9\end{array}\right)
Sage 5.0버전은 행렬 A를 지정하고|
A. |
Made by SGLee 이상구 (SKKU) with 이재화, 김경원, 정혜인, 윤희동, 장지은
2012-Visual Math with Sage (LA &Calculus)
http://matrix.skku.ac.kr/2012-Sage/sage-la/
2012-CLA with Sage (all commands)
2012-Visual LA with Sage web book
2011-CLA with Mobile Sage
2011-Visualization of LA with Sage
2011-S-Matrix Theory - Appl (Web version)
(New) 2011-Mobile Math with Sage
2011-Mobile Linear Algebra with Sage
(SAGE) How to do LU 분해 with Sage
(SAGE) 2011-How to use Sage
2011-how to use Sage 2
Sage-Reference
SKKU-Sage-Math-설명
2010-12-Sage-QReference
http://matrix.skku.ac.kr/sage/ 와 http://matrix.skku.ac.kr/2011-sage/sage/clawithsage.html 의 조화
3. How to Solve Linear Algebra 1st HW problems,
http://www.youtube.com/watch?v=97qI2yQC5Gs , by Prof. Sang-Gu Lee
2. How to use Sage for Linear Algebra, http://www.youtube.com/watch?v=XiD5W1zZoTk ,
by Prof. Sang-Gu Lee
1. Visualization of LA(Linear Algebra) with Sage,
http://www.youtube.com/watch?v=e5MDq8wNWmw , by Prof. Sang-Gu Lee
<37th Sage-Day Attendants>
2012 Spring Meeting of the Korean Mathematical Society -April 28 (Sat), 2012
|
No |
Name |
e-mail address |
|
1 |
Sang-Gu Lee 이상구 |
sglee at skku.edu |
|
2 |
전대열 |
dyjeon at kongju.ac.kr |
|
3 |
신희성 |
shin at inha.ac.kr |
|
4 |
이석종 |
sjl at cbnu.ac.kr |
|
5 |
Tatsuyoshi HAMADA |
hamada at fukuoka-u.ac.jp |
|
6 |
김영식 |
yoskim at yonsei.ac.kr |
|
7 |
NUMATA, yasuhide |
numata at stat.t.u-tokyo.ac.kr |
|
8 |
김상욱 |
swkim.math at chonnam.ac.kr |
|
9 |
김현진 |
guswls41 at ewha.ac.kr |
|
10 |
금영희 |
conpana at empal.com |
|
11 |
김지영 |
jykim98 at snu.ac,kr |
|
12 |
박부성 |
pspark at kyungnam.ac.kr |
|
13 |
김익표 |
kimikpyo at daegu.ac.kr |
|
14 |
정영주 |
ychung at gist.ac.kr |
|
15 |
Dan Drake |
ddrake at member.ams.org |
|
16 |
K. K. Lee 이관규 |
kwankyu at chosun.ac.kr |
|
17 |
엄상일 |
sangil at kaist.edu |
|
18 |
임복희 |
bim at jnu.ac.kr |
|
19 |
양성덕 |
sdyang at korea.ac.kr |
|
20 |
정혜인 |
hin0823 at skku.edu |
|
21 |
장지은 |
jieun880426 at hanmail.net |
|
22 |
이재화 |
jhlee2chn at skku.edu |
|
23 |
K.W. Kim 김경원 |
kwkim at skku.edu |
|
24 |
H.D. Kim 윤희동 |
yoonhd at skku.edu |
|
25 |
전기완 |
jeonkiwan at nims.re.kr |
|
26 |
박승국 |
숙명여자대학교 |
skpark at sm.ac.kr |
|
27 |
김승원 |
경성대학교 |
kimsw at ks.ac.kr |
|
28 |
김선홍 |
숙명여자대학교 |
shkim at sm.ac.kr |
|
29 |
박달원 |
공주대학교 |
dwpark at kongju.ac.kr |
|
30 |
계영희 |
고신대학교 |
yhkye at kosin.ac.kr |
|
31 |
한정원 |
선부고등학교 |
garden9 at nate.com |
|
32 |
전원주 |
NIMS |
wjeon at nims.re.kr |
|
33 |
Mark Siggers |
경북대학교 |
mhsiggers at knu.ac.kr |
|
34 |
박규홍 |
서원대학교 |
parkkh at seowon.ac.kr |
|
35 |
정문자 |
수원대학교 |
mjeong at suwon.ac.kr |
|
36 |
오춘영 |
전남대학교 |
cyoh at jnu.ac.kr |
|
37 |
김기원 |
신라대학교 |
kwkim at silla.ac.kr |
|
37 |
김성옥 |
한동대학교 |
sokim at handong.edu |
|
39 |
최명숙 |
청량고등학교 |
mathchoi at korea.ac.kr |
