Sage for Mathematics : a Primer ‚æ1Łfl - Sage ‡ð™m‡é
|
|
|
- ゆりか やすこ
- 9 years ago
- Views:
Transcription
1 .. / JST CREST. [email protected] / IIJ Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
2 1 Sage Sage Sage Notebook Sage Salvus 2 Sage Sage Cryptosystem Sage Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
3 Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
4 Sage William Stein Magma, Maple, Mathematica, Matlab etc., Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
5 UI GMP, MPFR, Givaro Singular (libsingular) LinBox, M4RI, IML, fplll GnuTLS, PyCrypto FLINT-QS, ECM GAP NetworkX Pari, NTL, FLINT, mwrank GSL, Numpy, Scipy Maxima, Sympy Sage Notebook, jsmath, Moin wiki, IPython Matplotlib, Tachyon, libgd, Java3d Twisted ZODB, SQLite, Python Pickles Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
6 F 2 e (1 e 10) M4RI, M4RIE F p (3 p 2 22, prime) LinBox F p k (generic) Q, Z LinBox, Pari, IML, NTL R, C (default: 53-bit) NumPy + ATLAS K[x] (univar.) (generic) K[x 0, x 1,..., x n 1 ] (multivar.) Singular (generic) (provided by Martin Albrecht) Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
![) (generic) K[x 0, x 1,..., x n 1 ] (multivar.](/docs-images/41/20185114/images/page_6.jpg ") Singular (generic) (provided by Martin Albrecht) Shun ichi Yokoyama (IMI/JST")
7 Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
8 Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
9 Python 2 3 Matplotlib 3 Stein 2012/03/10 Have you ever wondered how difficult it might be to switch Sage from Python 2.7 to Python 3.x? Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
10 A survey on Python 3.x Dependencies Draza Miloshevich and Nason Waniska Stein Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
11 26, KAIST Yongbok Nanyang Technological University Indian Institute of Technology Madras Yandex Tsinghua University 1 1 WIDE project / Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
12 Python CAS Sage or Sage Notebook Sage-interact Emacs Sage-mode optional package Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
13 for Mac OS / Linux ver. 5.4 for Windows VirtualBox Linux, Linux Sage MathLibre, Sage Notebook Windows 7 Sage Sage. CUI. localhost:8000,. for ios / Android OS Sage Math Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
14 Sage Math for ios by Ivan Andrus Sage, Sage Notebook Android OS sagemath.org, β Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
15 Android OS CAS Maxima on Android OS, Sage symbolic computation Lisp, Macsyma Google Play Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
16 Android OS CAS PariDroid for Android OS, Sage number theory CUI,. ISABELLE. C Pascal Pascal ARIthmetic Google Play Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
17 Sage Notebook 100,000.. Sage Notebook IPython - JavaScript Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
18 Salvus Sage Notebook.,. Salvus = Sage α - β Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
19 Salvus α 5, Google app engine Salvus project - Android OS Sage project Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
20 LMFDB The L-functions and modular forms database β Wikipedia Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
21 LMFDB Sage John Cremona, William Stein, Mark Watkins Jone W. Jones Conway Frank Luebeck Riemann etc. LMFDB Commit log Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
22 Sage Sage-Japan / Science with Python Everforth Co. Ltd. Google Group SJ 24, SwP Sage Days in Japan Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
23 2 Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, / 23
数学ソフトウェアとは? 数式処理ソフトウェア 計算機代数システム 可視化ソフトウェア 定理自動証明支援システム 数式表現システム... 数学を計算機で表現するソフトウェア
数学ソフトウェアの森 KNOP PIX/Math 濱田龍義 福岡大学 KNOPPIX/Math Project 第 7 回 代数学と計算 研究集会 (AC2007) 2007.12.6 数学ソフトウェアとは? 数式処理ソフトウェア 計算機代数システム 可視化ソフトウェア 定理自動証明支援システム 数式表現システム... 数学を計算機で表現するソフトウェア 汎用数式処理システム Mathematica
. UNIX, Linux, KNOPPIX. C,.,., ( 1 ) p. 2
2009 ( 1 ) 2009 ( 1 ) p. 1 . UNIX, Linux, KNOPPIX. C,.,.,. 2009 ( 1 ) p. 2 , +, ( ), ( ), or PC orange2, knxm2008vm, iyokan-6 KNOPPIX/Math (DVD ) 2009 ( 1 ) p. 3 ,. Mathematica (20-30 /1 ), Maple (20 /1
Python ( ) Anaconda 2 3 Python Python IDLE Python NumPy 6 5 matpl
Python ( ) 2017. 11. 21. 1 1 2 Anaconda 2 3 Python 3 3.1 Python.......................... 3 3.2 IDLE Python....................... 5 4 NumPy 6 5 matplotlib 7 5.1.................................. 7 5.2..................................
Microsoft Word - hozon-fujimura-ＨＰ-伊勢工業高校における造船教育の歴史から学ぶ20160713
1233 1 600 300 1578 1636 1800 Google 2 3 1853 1854 2000 1842 1848 300 1800 4 300 800 5 6 7 8 9 10 14 6 2 4 3 1 2 1 13 3 3 3 1 3 3 1 1 1 10 1 14 14 2 23 3 136 1 72 1 6 1 22 2 236 12 236 11 10% 7% 16% 17%
Solving the Longest Oneway-ticket Problem and Enumerating Letter Graphs by Augmenting the Two Representative Approaches with ZDDs
BDD ライブラリの紹介と SAPPOROBDD extended( 構想 ) 奈良先端科学技術大学院大学 川原純 発表内容 既存の BDD ライブラリを紹介 SAPPOROBDD ライブラリの拡張に向けて XDD ライブラリの機能図 CuDD Python CuDD Knuth 本 SAPPOROBDD ZDD vector Ruby/Python VSOP ZSDD SeqDD SeqDD 拡張
2.2 Sage I 11 factor Sage Sage exit quit 1 sage : exit 2 Exiting Sage ( CPU time 0m0.06s, Wall time 2m8.71 s). 2.2 Sage Python Sage 1. Sage.sage 2. sa
I 2017 11 1 SageMath SageMath( Sage ) Sage Python Sage Python Sage Maxima Maxima Sage Sage Sage Linux, Mac, Windows *1 2 Sage Sage 4 1. ( sage CUI) 2. Sage ( sage.sage ) 3. Sage ( notebook() ) 4. Sage
: Shift-Return evaluate 2.3 Sage? Shift-Return abs 2 abs? 2: abs 3: fac
Bulletin of JSSAC(2012) Vol. 18, No. 2, pp. 161-171 : Sage 1 Sage Mathematica Sage (William Stein) 2005 2 2006 2 UCSD Sage Days 1 Sage 1.0 4.7.2 1) Sage Maxima, R 2 Sage Firefox Internet Explorer Sage
USB 起動 KNOPPIX / Math / 2010 について (数式処理研究の新たな発展)
1759 2011 74-80 74 USB KNOPPIX/Math/2010 USB bootable KNOPPIX/Math/2010 /JST CREST TATSUYOSHI HAMADA FUKUOKA UNIVERSITY/JST CREST * Abstract KNOPPIX/Math offers many documents and mathematical software
untitled
2013 2 1 2 3 SNS 2012 9 Facebook 4 SNS 2012 9 Subject: [APP ] Date:2012/09/24 11:30 To: @i.jp --------------------------------------------------------- http://.net/ /.html --------------------------------------------------------
Python (Anaconda ) Anaconda 2 3 Python Python IDLE Python NumPy 6
Python (Anaconda ) 2017. 05. 30. 1 1 2 Anaconda 2 3 Python 3 3.1 Python.......................... 3 3.2 IDLE Python....................... 5 4 NumPy 6 5 matplotlib 7 5.1..................................
A Brief Introduction to Modular Forms Computation
A Brief Introduction to Modular Forms Computation Magma Supported by GCOE Program Math-For-Industry Education & Research Hub What s this? Definitions and Properties Demonstration H := H P 1 (Q) some conditions
一般演題（ポスター）
6 5 13 : 00 14 : 00 A μ 13 : 00 14 : 00 A β β β 13 : 00 14 : 00 A 13 : 00 14 : 00 A 13 : 00 14 : 00 A β 13 : 00 14 : 00 A β 13 : 00 14 : 00 A 13 : 00 14 : 00 A β 13 : 00 14 : 00 A 13 : 00 14 : 00 A
cocos2d-x #cocos2d-x
cocos2d-x #cocos2d-x 1 1: cocos2d-x 2 2 Examples 2 Mac OS X 2 2 2 2 Windows 3 3 3 4 8 You can share this PDF with anyone you feel could benefit from it, downloaded the latest version from: cocos2d-x It
. KNOPPIX cloop, 700MB CD 1.8GB. DVD, KNOPPIX DVD 12GB.,.,,,. *2, KNOPPIX. 2.1 Windows Mac CD/DVD, Windows PC KNOPPIX. Apple Mac,, Mac Intel CPU
KNOPPIX/Math KNOPPIX/Math Project 1 Maxima [1],,,.., KNOPPIX/Math *1. CD/DVD PC,. KNOPPIX/Math/2007 2000, 100. KNOPPIX/Math,,. KNOPPIX/Math.,,., CD/DVD,. USB,. KNOPPIX/Math,. 2 KNOPPIX KNOPPIX/Math KNOPPIX
P1-1 P1-2 P1-3 P1-4 P1-5 P1-6 P3-1 P3-2 P3-3 P3-4 P3-5 P3-6 P5-1 P5-2 P5-3 P5-4 P5-5 P5-6 P7-1 P7-2 P7-3 P7-4 P7-5 P7-6 P9-1 P9-2 P9-3 P9-4 P9-5 P9-6 P11-1 P11-2 P11-3 P11-4 P13-1 P13-2 P13-3 P13-4 P13-5
2015-s6-4g-pocket-guidebook_H1-4.indd
56C504-01 2 47 47 32 3435 35 2124 26 26 26 424343 434446 4646 12 14 16 18 20 4 28 30 31 36 37 38 42 47 48 49 4 4 4 3 4 5 16 16 6 6 18 18 32 32 30 30 7 20 20 8 9 28 31 10 Do you have a? 36 Do you have
1 913 10301200 A B C D E F G H J K L M 1A1030 10 : 45 1A1045 11 : 00 1A1100 11 : 15 1A1115 11 : 30 1A1130 11 : 45 1A1145 12 : 00 1B1030 1B1045 1C1030
1 913 9001030 A B C D E F G H J K L M 9:00 1A0900 9:15 1A0915 9:30 1A0930 9:45 1A0945 10 : 00 1A1000 10 : 15 1B0900 1B0915 1B0930 1B0945 1B1000 1C0900 1C0915 1D0915 1C0930 1C0945 1C1000 1D0930 1D0945 1D1000
Microsoft Word - .....J.^...O.|Word.i10...j.doc
P 1. 2. R H C H, etc. R' n R' R C R'' R R H R R' R C C R R C R' R C R' R C C R 1-1 1-2 3. 1-3 1-4 4. 5. 1-5 5. 1-6 6. 10 1-7 7. 1-8 8. 2-1 2-2 2-3 9. 2-4 2-5 2-6 2-7 10. 2-8 10. 2-9 10. 2-10 10. 11. C
BA-100_Ver3.05
JA Windows 1 2 3 4 5 6 7 8 10 1 1 2 11 1 2 3 12 1 1 1 13 1 2 3 1 2 3 14 4 1 5 6 7 2 3 15 16 17 18 19 20 21 22 1 2 3 23 24 25 26 1 2 3 1 2 27 1 2 3 1 28 2 3 4 1 2 1 2 3 4 29 5 6 1 2 3 1 2 3 4 1 2 3 30
WEBサービス超入門 mask.key
WEB WEB 2 3 4 6 7 8 10 11 12 13 15 16 IT UX UI Logic UI Logic DB WEBAPI IT UX UI UI Logic UI Logic API DB DB WEBAPI xunit OS IT JavaScript UI Logic UI Logic Objective-C Swift HTML PHP Ruby Python JavaScript
Linux Activities for Promoting Desktop Linux Utilization Jun Iio Research Center for Information Technology, Mitsubish
Linux Activities for Promoting Desktop Linux Utilization Jun Iio [email protected] 100-8141 2-3-6 Research Center for Information Technology, Mitsubishi Research Institute, Inc. 2-3-6 Otemachi, Chiyoda-ku,
204 / CHEMISTRY & CHEMICAL INDUSTRY Vol.69-1 January 2016 047
9 π 046 Vol.69-1 January 2016 204 / CHEMISTRY & CHEMICAL INDUSTRY Vol.69-1 January 2016 047 β γ α / α / 048 Vol.69-1 January 2016 π π π / CHEMISTRY & CHEMICAL INDUSTRY Vol.69-1 January 2016 049 β 050 Vol.69-1
自然言語処理16_2_45
FileMaker Pro E-learning GUI Phrase Reading Cloze. E-learning Language Processing Technology and Educational Material Development Generating English Educational Material using a Database Software Kenichi
Japan Android Group / C-LIS CO., LTD. 2
Android - 2009/07/18 Attender Android Japan Android Group / C-LIS CO., LTD. 2 Japan Android Group / C-LIS CO., LTD. 3 # ID # QR # Android QR # ID # # # ETC Japan Android Group / C-LIS CO., LTD. 4 ABC Japan
P-12 P-13 3 4 28 16 00 17 30 P-14 P-15 P-16 4 14 29 17 00 18 30 P-17 P-18 P-19 P-20 P-21 P-22
1 14 28 16 00 17 30 P-1 P-2 P-3 P-4 P-5 2 24 29 17 00 18 30 P-6 P-7 P-8 P-9 P-10 P-11 P-12 P-13 3 4 28 16 00 17 30 P-14 P-15 P-16 4 14 29 17 00 18 30 P-17 P-18 P-19 P-20 P-21 P-22 5 24 28 16 00 17 30 P-23
IPSJ SIG Technical Report Vol.2014-EIP-63 No /2/21 1,a) Wi-Fi Probe Request MAC MAC Probe Request MAC A dynamic ads control based on tra
1,a) 1 1 2 1 Wi-Fi Probe Request MAC MAC Probe Request MAC A dynamic ads control based on traffic Abstract: The equipment with Wi-Fi communication function such as a smart phone which are send on a regular
1 (bit ) ( ) PC WS CPU IEEE754 standard ( 24bit) ( 53bit)
GNU MP BNCpack [email protected] 2002 9 20 ( ) Linux Conference 2002 1 1 (bit ) ( ) PC WS CPU IEEE754 standard ( 24bit) ( 53bit) 10 2 2 3 4 5768:9:; = %? @BADCEGFH-I:JLKNMNOQP R )TSVU!" # %$ & " #
Cisco Meraki ios Android Web 1 1 BYOD Apple iphone CISCO MERAKI Mac Windows Windows Active Directory GPO Cisco Meraki IT Windows Mac Windows MSI Mac P
データーシート システム マネージャ Cisco Meraki OTA ios Android Mac Windows Cisco Meraki Web Cisco Meraki Cisco Meraki ios Android Mac Windows Cisco Meraki WAN LAN LAN 1 MX MS MR LAN IT PC PC Apple ios Android Mac Windows
,,,, : - i -
2017 Future University Hakodate 2017 System Information Science Practice Group Report Project Name Manga engineering Group Name Literacy Manga /Project No. 19 /Project Leader 1015131 Kiyomasa Murakami
/27 (13 8/24) (9/27) (9/27) / / / /16 12
79 7 79 6 14 7/8 710 10 () 9 13 9/17 610 13 9/27 49 7 14 7/8 810 1 15 8/16 11 811 1 13 9/27 (13 8/24) (9/27) (9/27) 49 15 7/12 78 15 7/27 57 1 13 8/24 15 8/16 12 810 10 40 1 Wikipedia 13 8/18, 8/28 79
, : GUI Web Java 2.1 GUI GUI GUI 2 y = x y = x y = x
J.JSSAC (2005) Vol. 11, No. 3,4, pp. 77-88 Noda2005 MathBlackBoard MathBlackBoard is a Java program based on the blackboard applet. We can use the blackboard applet with GUI operations. The blackboard
橡ボーダーライン.PDF
1 ( ) ( ) 2 3 4 ( ) 5 6 7 8 9 10 11 12 13 14 ( ) 15 16 17 18 19 20 ( ) 21 22 23 24 ( ) 25 26 27 28 29 30 ( ) 31 To be or not to be 32 33 34 35 36 37 38 ( ) 39 40 41 42 43 44 45 46 47 48 ( ) 49 50 51 52
20169 3 4 5003 n=3,000 61.8% 38.2% n=3,000 20 7.3% 30 21.3% 40 34.8% 50 36.6% n=3,000 3.0% 2.0% 1.5% 12.1% 14.0% 41.4% 25.9% n=3,000 37.7% % 24.8% 28.8% 1.9% 3.1% 0.2% n=3,000 500 64.0% 500 1,000 31.3%
野岩鉄道の旅
29th 5:13 5:34 5:56 6:00 6:12 6:20 6:21 6:25 6:29 6:31 6:34 6:38 6:40 6:45 6:52 6:56 7:01 7:07 7:11 7:32 7:34 7:50 7:58 8:03 8:17 8:36 8:44 5:50 5:54 6:15 6:38 6:39 6:51 6:59 6:59 7:03 7:08 7:08 7:11 7:15
(I) GotoBALS, http://www-is.amp.i.kyoto-u.ac.jp/ kkimur/charpoly.html 2
sdmp Maple - (Ver.2) ( ) September 27, 2011 1 (I) GotoBALS, http://www-is.amp.i.kyoto-u.ac.jp/ kkimur/charpoly.html 2 (II) Nehalem CPU GotoBLAS Intel CPU Nehalem CPU, GotoBLAS, Hyper-Thread technology
STC-PC10_Ver1.01
JA Windows 1 3 4 5 6 1 8 1 8 1 2 1 3 5 6 2 4 7 1 9 2 3 4 5 Χ 7 8 1 6 2 3 4 5 10 1 2 3 4 5 6 11 12 2 1 2 1 13 3 4 1 2 14 2 1 2 1 15 3 4 16 1 2 17 3 1 18 2 19 2 1 20 3 4 21 5 1 6 2 7 3 8 4 22 2 1 23 3