J.JSSAC (2005) Vol. 12, No. 1, pp Risa/Asir (Received 2005/07/31 Revised 2005/08/23) 1 The palindrome name Risa/Asir comes from an abbreviation
|
|
- れんま いんそん
- 4 years ago
- Views:
Transcription
1 J.JSSAC (2005) Vol. 12, No. 1, pp Risa/Asir (Received 2005/07/31 Revised 2005/08/23) 1 The palindrome name Risa/Asir comes from an abbreviation of Research Instrument for Symbolic Algebra, a computer algebra system developed first at Fujitsu Laboratories, Ltd., and currently maintained by Risa/Asir Committers team. This paper is written in the hope of encouraging the future development of Japanese computer algebra activities in theory, systems and application, by reviewing the two decades of Risa/Asir. Risa/Asir Research Instrument for Symbolic Algebra Risa/Asir Committers team 1) ( ) Risa/Asir 2 Risa/Asir Risa/Asir formula manipulation computer algebra formula manipulation (=formula) ( ) (=computer algebra) tak@jp.fujitsu.com 1) Risa/Asir OpenXM Contrib2 Risa/Asir committers OpneXM committers ( OpenXM Committers c 2005 Japan Society for Symbolic and Algebraic Computation
2 Risa/Asir / 2) ( ) Asir Pari 3) 2 ( ) ( ) ICOT 4) 5) ICOT 1985 Risa/Asir 4 2) Risa/Asir GUI(Graphical User Interface) CUI(Command line User Interface) GUI 3) Pari: Henri Cohen C Library 4) ( ) 5)
3 J.JSSAC Vol. 12, No. 1, Risa/Asir 3 Risa/Asir Risa ( ) ( ) 6) 7) 8) 3 C Risa 9) risa( ) risa ( ) 2 Nor-Yokosyma Macsyma R. Fateman Yokosyma evil mind Nor-Yokosyma (neither Macsyma) nor evil mind ) 2 Research Symbolic Algebra R sa( ) ( ) Prolog (Prolog term) (concatenation) i Research Instrument for Symbolic Algebra ( ) Risa Asir Risa Risa/Asir 1992 ISSAC92 [4] Geddes 11) ( Asia ) 1990 (ISSAC90) ( ) 6) IT 7) 8) 9) L R Lisa Risa NHK Risa Stegmayer ( Risa ) 10) ( ) 11) K. O. Geddes. Waterloo Maple
4 Risa ( ) ( ) Risa ICOT 12) PSI Machine 13) Maple Mathematica ( ) 14) FLATS Reduce 15) Reduce Lisp Reduce Lisp 16) GAL(General Algebraic Laboratory) Lisp ( ) ( ) IBM PL/I FORMAC FORMAC ICOT ) ( ) 13) Personal Sequenctial Inference Machine ( = ) ICOT PIM (Parallel Inference Machine = ) (ICOT ) PSI 14) 15) Rand Corp. A. C. Hearn 16)
5 J.JSSAC Vol. 12, No. 1, ! 2 GCD Risch 17) Berlekamp Buchberger 18) 2 19) Risch 20) 21) 5 Risa/Asir 5.1 Risa/Asir 22) kan 23) 17) ICOT ESP 18) Bruno Buchberger, RISC-Linz. (Buchberger ) Berlekamp-Zassenhaus Risch-Norman 3 19) ICOT SSL 2 20) 21) ( ) adhoc Risa/Asir 22) GAL 1970 NTT AL(Algebraic Language)[9] 1986 Prolog Sync[16]
6 [19] kan Risa/Asir OpneXM 1985 (AI) Lisp Lisp Prolog ESP (Extended Self-contained Prolog) AI Prolog( ESP) Prolog Lisp ICOT Prolog (fomula manipulation) / ( ) (computer algebra) AI Lisp Prolog Lisp Prolog C 24) = 25) ( ) ( ) ( ) 26) 1997 ( Prolog Lisp ) ( ) 5.2 ICOT ICOT 27) PSI 23) kan/sm / OpenXM Risa/Asir 24) Maple Mathematica 3 C 25) ) 27) Prolog ICOT ESP Prolog
7 J.JSSAC Vol. 12, No. 1, GCD 1 GCD FM11 OS9-BASIC ( ) ( ) Berlekamp/Zassenhaus PSI-II SAM [18] Risch Reduce Maple 28) 5.3 Risa/Asir ICOT SUN DOS/V ICOT 2 ICOT SAM Prolog C Risa Asir Risa Asir [17] Asir dbx ( ) 28) Mathematica Risch
8 ( ) 1989 Risa/Asir Prolog GCD GC(Garbage Collection) C alloc(), free() 1989 Boehm-Weiser conservative garbage collector Risa/Asir Boehm-Weiser GC 9 RISC-Linz 1 RISC-Linz( Buchberger 29) ) 1990 Wang-Trager GCD EEZ EZ EEZ EZ Asir 1991 [8, 13] TCP/IP Risa/Asir Risa/Asir 2000 OpenXM 1992 Risa/Asir BigFloat( ) PARI BigFloat (BigFloat ) Asir Risa/Asir 640k DOS Petit-Asir[10] Unix Macintosh 1993 DOS / Risa/Asir (V940420) sci.math.symbolic, sci.math Risa/Asir Unix MSDOS DOSExtender (exe386, go32) dos Macintosh Mac 29) Buchberger Asir Manual Risa/Asir
9 J.JSSAC Vol. 12, No. 1, /OS Windows (V950831) 1 Risa Consortium Windows (3.1, NT, 95 V ) Risa/Asir CD 1998 Windows CD [14] SEG Risa/Asir ftp 30) Risa/Asir Risa/Asir 2000 Risa/Asir ( ) 31) Risa/Asir OpenXM Committers 32) ( ) Risa/Asir 33) Windows Unix 5.4 Risa Consortium/Risa Conference Risa Risa Consortium 34) 35) 36) Risa Consortium (RisaCon) Windows 1996 ( ) ( ) ( ) 3 5 (1997 ) 7 ( ) 30) Katsura-n n = Katsura-n 31) Φ p (x, y) 113 (30 ) p 32) 33) OpenXM Committers 34) 35) 36) ( )
10 (2002 ) Risa/Asir Conference 5 6 Risa / Risa/Asir Conference 5.5 Risa/Asir Risa ( ) Big Float Pari (log x, sin x f (x, y) ) Risa Asir parse tree Asir (Lisp quote evaluation ) 5.6 Risa ) 1992 Asir C Risa J-C.Faugere Faugere ( jcf/) Buchberger (0-dimensional radical) 38) Risa/Asir ( dp_f4_main ) 1996 Risa 37) ) F4
11 J.JSSAC Vol. 12, No. 1, Risa McKay 39) replicable functions of odd level 12 McKay Risa ( ) [7] 72 replicable functions of odd level ( ) ( ) 72 ( ) Risa Ultra Sparc 170MHz 460MB ) P6-200MHz MB [5] 41) / (2004 ) Mathematica Maple 42) 43) [15] Risa Reduce Mathematica Zalgaller Asir Mathematica Risa/Asir OpenXM Risa/Asir [7] Galois [2] Kan-sm1 39) John McKay, Concordia Univ. Canada. 40) [12] ) Buchberger 42) Risa 1 (1 ) ax + b b/a Risa/Asir 43)
12 b-function [6] ) QE(quantifier elimination) 1997 QE Risa Maple SyNRAC [1] QE QE QE 6 20 GUI IT QE QE 44) P 0 (P 0 ) τ τp 1 (τp 1 = 0 )
13 J.JSSAC Vol. 12, No. 1, / Risa/Asir ( ) QE ( ) Asir OpenXM Risa Consortium Risa Risa/Asir 20 Risa 3 45) ICOT Risa 46) 47) Risa [1] Anai, H., Yanami, H., SyNRAC: a Maplepackage for solving real alge-braic constraints. Presented at International Workshop on Computer Algebra Systems and their Applications (CASA), Proc. ICCS 2003, LNCS, 2657, , Springer-Verlag, [2] Anai, H., Noro, M., and Yokoyama, K.:Computation of the splitting fields and the Galois groups of polynomials, Progress in Mathematics, 143, 29-50, Birkhäuser, [3] Becker,T., Weispfenning,V. :Gröbner Bases, Springer-Verlag, 1993 [4] Noro, M., Takeshima, T.: Risa/Asir A Computer Algebra System, Proc. ISSAC92, , ACM Press, [5] Noro, M., McKay J. : Computation of replicable functions on Risa/Asir, Proc. PASCO 97, ACM Press, [6] Oaku, T.:Algorithms for b-functions, restrictions, and algebraic local cohomology groups of D-modules, Advances in Applied Mathematics, 19, , [7] Shimoyama, T. and Yokoyama, K.:Localization and primary decomposition of polynomial ideals, J. Symbolic Computation, 22, , Accademic Press, [8] Takeshima T., Noro M. and Saito T. : Graphic Drawing Apparatus for Generating Graphics of Implicit Functions, U.S.Patent No , ) 46) 47)
14 [9] AL 20, 2, , [10], : risa, 1,, 1, 2, 57-60, [11],, : Risa/Asir 2 ( ),, 2, 2, 48-51, [12], : weight,, 1395, 1-7, [13],,, : 2,, 41, 4, , [14] :RISA/ASIR SEG 1998 [15] :,, 1996 [16], : SYNC,, 30, 4, , [17], : risa C-like ASIR dbx-like debugger,,, [18] : PSI SAM , 1989 [19]
, : 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
More informationBulletin of JSSAC(2014) Vol. 20, No. 2, pp (Received 2013/11/27 Revised 2014/3/27 Accepted 2014/5/26) It is known that some of number puzzles ca
Bulletin of JSSAC(2014) Vol. 20, No. 2, pp. 3-22 (Received 2013/11/27 Revised 2014/3/27 Accepted 2014/5/26) It is known that some of number puzzles can be solved by using Gröbner bases. In this paper,
More informationA MATLAB Toolbox for Parametric Rob TitleDesign based on symbolic computatio Design of Algorithms, Implementatio Author(s) 坂部, 啓 ; 屋並, 仁史 ; 穴井, 宏和 ; 原
A MATLAB Toolbox for Parametric Rob TitleDesign based on symbolic computatio Design of Algorithms, Implementatio Author(s) 坂部, 啓 ; 屋並, 仁史 ; 穴井, 宏和 ; 原, 辰次 Citation 数理解析研究所講究録 (2004), 1395: 231-237 Issue
More information., White-Box, White-Box. White-Box.,, White-Box., Maple [11], 2. 1, QE, QE, 1 Redlog [7], QEPCAD [9], SyNRAC [8] 3 QE., 2 Brown White-Box. 3 White-Box
White-Box Takayuki Kunihiro Graduate School of Pure and Applied Sciences, University of Tsukuba Hidenao Iwane ( ) / Fujitsu Laboratories Ltd. / National Institute of Informatics. Yumi Wada Graduate School
More information0. Introduction (Computer Algebra) Z, Q ( ), 1960, LISP, ( ) ( ) 2
( ) 1 0. Introduction (Computer Algebra) Z, Q ( ), 1960, LISP, ( ) ( ) 2 ,, 32bit ( 0 n 2 32 1 2 31 n 2 31 1, mod2 32 ) 64 bit Z (bignum; GNU gmp ) n Z n = ±(b l 1 B l 1 + + b 0 B 0 ) (B = 2 32, 0 b i
More informationfiš„v8.dvi
(2001) 49 2 333 343 Java Jasp 1 2 3 4 2001 4 13 2001 9 17 Java Jasp (JAva based Statistical Processor) Jasp Jasp. Java. 1. Jasp CPU 1 106 8569 4 6 7; fuji@ism.ac.jp 2 106 8569 4 6 7; nakanoj@ism.ac.jp
More informationJ.JSSAC Vol. 7, No. 2, Mathematica Maple,., Open asir Open xxx asir. Open xxx Open asir, asir., Open xxx, Linux Open asir Open sm1 (kan/sm1). C
J.JSSAC (1999) Vol. 7, No. 2, pp. 2-17 Open asir HPC (Received 1997/12/1) 1 Open asir Open xxx,., ( ),,,,,.,., (1) (2) (3) (4),. Open xxx,.,., 1.,.,., 0 10, dx,.,., ohara@math.kobe-u.ac.jp taka@math.kobe-u.ac.jp
More informationIPSJ SIG Technical Report Vol.2016-ARC-221 No /8/9 GC 1 1 GC GC GC GC DalvikVM GC 12.4% 5.7% 1. Garbage Collection: GC GC Java GC GC GC GC Dalv
GC 1 1 GC GC GC GC DalvikVM GC 12.4% 5.7% 1. Garbage Collection: GC GC Java GC GC GC GC DalvikVM[1] GC 1 Nagoya Institute of Technology GC GC 2. GC GC 2.1 GC 1 c 2016 Information Processing Society of
More information/JST CREST TATSUYOSHI HAMADA FUKUOKA $UNIVERSITY/JST$ CREST $*$ KNOPPIX/Math Project Live Linux CD/DVD Linux KNOPPIX/Math
Title 数学ソフトウェア再考 ( 数式処理研究の新たな発展 ) Author(s) 濱田, 龍義 Citation 数理解析研究所講究録 (2015), 1930: 80-87 Issue Date 2015-01 URL http://hdl.handle.net/2433/223554 Right Type Departmental Bulletin Paper Textversion publisher
More information17 Proposal of an Algorithm of Image Extraction and Research on Improvement of a Man-machine Interface of Food Intake Measuring System
1. (1) ( MMI ) 2. 3. MMI Personal Computer(PC) MMI PC 1 1 2 (%) (%) 100.0 95.2 100.0 80.1 2 % 31.3% 2 PC (3 ) (2) MMI 2 ( ),,,, 49,,p531-532,2005 ( ),,,,,2005,p66-p67,2005 17 Proposal of an Algorithm of
More informationSQUFOF NTT Shanks SQUFOF SQUFOF Pentium III Pentium 4 SQUFOF 2.03 (Pentium 4 2.0GHz Willamette) N UBASIC 50 / 200 [
SQUFOF SQUFOF NTT 2003 2 17 16 60 Shanks SQUFOF SQUFOF Pentium III Pentium 4 SQUFOF 2.03 (Pentium 4 2.0GHz Willamette) 60 1 1.1 N 62 16 24 UBASIC 50 / 200 [ 01] 4 large prime 943 2 1 (%) 57 146 146 15
More information【教】⑩山森直人先生【本文】/【教】⑩山森直人先生【本文】
c.f. pp community of practice c.f. pp c.f. p pp c.f. Hutchins, CD c.f. teacher development surpriseschön, inquiryfreeman, puzzles Allwright, P P P P P P e IC Microsoft Excel KJ P P P P P P ALT ALT T ALT
More informationDPA,, ShareLog 3) 4) 2.2 Strino Strino STRain-based user Interface with tacticle of elastic Natural ObjectsStrino 1 Strino ) PC Log-Log (2007 6)
1 2 1 3 Experimental Evaluation of Convenient Strain Measurement Using a Magnet for Digital Public Art Junghyun Kim, 1 Makoto Iida, 2 Takeshi Naemura 1 and Hiroyuki Ota 3 We present a basic technology
More information自然言語処理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
More informationIPSJ SIG Technical Report Vol.2009-DPS-141 No.20 Vol.2009-GN-73 No.20 Vol.2009-EIP-46 No /11/27 1. MIERUKEN 1 2 MIERUKEN MIERUKEN MIERUKEN: Spe
1. MIERUKEN 1 2 MIERUKEN MIERUKEN MIERUKEN: Speech Visualization System Based on Augmented Reality Yuichiro Nagano 1 and Takashi Yoshino 2 As the spread of the Augmented Reality(AR) technology and service,
More informationFUJII, M. and KOSAKA, M. 2. J J [7] Fig. 1 J Fig. 2: Motivation and Skill improvement Model of J Orchestra Fig. 1: Motivating factors for a
/Specially issued Original Paper QOL 1 1 A Proposal of Value Co-creation Model to Promote Elderly People s Community Activities Concerning QOL Improvement Case Studies of Successful Social Activities by
More information適用して解析し多様性条件の解析を行い有効性を実証し これらの方向性の発展を期して国際会議 Algebraic Biology を立ち上げました 現在開発中のコアとなるソルバ部分及び制御系設計ツールは製品化に向けての活動 ( 契約等 ) を継続中で当プロジェクトの終了にむけて 製品化を完了しその成果を
平成 19 年度実績報告 シミュレーション技術の革新と実用化基盤の構築 平成 15 年度採択研究代表者 穴井宏和 富士通株式会社科学ソリューション事業本部計算科学ソリューションセンター センター長付 数値 / 数式ハイブリッド計算に基づくロバスト最適化プラットフォームの構築 1. 研究実施の概要 研究のねらい さまざまな ものづくり において, シミュレーション技術は設計 製造の効率化, 高品質化,
More informationIPSJ SIG Technical Report Vol.2014-CG-155 No /6/28 1,a) 1,2,3 1 3,4 CG An Interpolation Method of Different Flow Fields using Polar Inter
,a),2,3 3,4 CG 2 2 2 An Interpolation Method of Different Flow Fields using Polar Interpolation Syuhei Sato,a) Yoshinori Dobashi,2,3 Tsuyoshi Yamamoto Tomoyuki Nishita 3,4 Abstract: Recently, realistic
More informationII
II 2016 7 21 computer-assisted proof 1 / 64 1. 2. 3. Siegfried M. Rump : [1] I,, 14:3 (2004), pp. 214 223. [2] II,, 14:4 (2004), pp. 346 359. 2 / 64 Risch 18 3 / 64 M n = 2 n 1 (n = 1, 2,... ) 2 2 1 1
More informationPerturbation method for determining the group of invariance of hierarchical models
Perturbation method for determining the group of invariance of hierarchical models 1 2 1 1 2 2009/11/27 ( ) 2009/11/27 1 / 31 2 3 p 11 p 12 p 13 p 21 p 22 p 23 (p ij 0, i;j p ij = 1). p ij = a i b j log
More information数式処理によるパラメトリック多項式最適化手法 (最適化手法の深化と広がり)
http: 1773 2012 96-106 96 \star ( ) HIDENAO IWANE FUJITSU LABORATORIES LTD AKIFUMI KIRA KYUSHU UNIVERSITY \ddagger ( ) / HIROKAZU ANAI FUJITSU LABORATORIES LTD/KYUSHU UNIVERSITY \dagger 1 2 Maple Mathematica,
More informationuntitled
The Impact of Digitization on Music Production: From a Perspective of Modularity 51 2 pp. 87-108 2003 12 I 21 3 Information and Communication Technology, ICT 0 1 1 20 1 199820012000 1 MP3 CD 2 3 II CD
More informationSCM (v0201) ( ) SCM 2 SCM 3 SCM SCM 2.1 SCM SCM SCM (1) MS-DOS (2) Microsoft(R) Windows 95 (C)Copyright Microsoft Corp
SCM (v0201) ( ) 14 4 20 1 SCM 2 SCM 3 SCM 4 5 2 SCM 2.1 SCM SCM 2 1 2 SCM (1) MS-DOS (2) Microsoft(R) Windows 95 (C)Copyright Microsoft Corp 1981-1996. 1 (3) C:\WINDOWS>cd.. C:\>cd scm C:\SCM> C:\SCM>
More information04.™ƒ”R/’Ô”�/’Xfl©
Digicashecash PC IC AI LicenseCoin License Pk A L Pk A W Rc C Coin License Okamoto and Ohta Okamoto and Ohta IC Digicashecash TTP Trusted Third Party TTP TTP TTP TTP: Trusted Third Party TTPTTP TTP TTP
More informationSUN Solaris, HP, SGI IRIX, DEC Alpha, Linux,DOS,Windows, MacOS LinuxPPC CoCoA CoCoA 4.1 (May 2001)
J.JSSAC (2002) Vol. 9, No. 1, pp. 11-25 GAP Abstract GAP (Groups,Algorithms, and Programming) GAP UNIX(FreeBSD4.4) Windows98 1 OS SAL (Symbolic Applications on Linux) [1] Computer Algebra Systems http://sal.kachinateck.com/a/1
More informationPowerPoint プレゼンテーション
計算代数幾何学入門 - グレブナー基底とその応用 - 工藤桃成 * * 九州大学大学院数理学府数理学専攻九大整数論セミナー 2017/6/8( 木 ) 6/5/2017 1 目次 : 1. Introduction 2. Gröbner bases 3. Applications 4. How do we study Computational Algebraic Geometry? 6/5/2017
More informationi Version 1.1, (2012/02/22 24),.,..,.,,. R-space,, ( R- space),, Kahler (Kähler C-space)., R-space,., R-space, Hermite,.
R-space ( ) Version 1.1 (2012/02/29) i Version 1.1, (2012/02/22 24),.,..,.,,. R-space,, ( R- space),, Kahler (Kähler C-space)., R-space,., R-space, Hermite,. ii 1 Lie 1 1.1 Killing................................
More information独立行政法人情報通信研究機構 Development of the Information Analysis System WISDOM KIDAWARA Yutaka NICT Knowledge Clustered Group researched and developed the infor
独立行政法人情報通信研究機構 KIDAWARA Yutaka NICT Knowledge Clustered Group researched and developed the information analysis system WISDOM as a research result of the second medium-term plan. WISDOM has functions that
More information9_18.dvi
Vol. 49 No. 9 3180 3190 (Sep. 2008) 1, 2 3 1 1 1, 2 4 5 6 1 MRC 1 23 MRC Development and Applications of Multiple Risk Communicator Ryoichi Sasaki, 1, 2 Yuu Hidaka, 3 Takashi Moriya, 1 Katsuhiro Taniyama,
More information卒業論文2.dvi
15 GUI A study on the system to transfer a GUI sub-picture to the enlarging viewer for operational support 1040270 2004 2 27 GUI PC PC GUI Graphical User Interface PC GUI GUI PC GUI PC PC GUI i Abstract
More information1 1 CodeDrummer CodeMusician CodeDrummer Fig. 1 Overview of proposal system c
CodeDrummer: 1 2 3 1 CodeDrummer: Sonification Methods of Function Calls in Program Execution Kazuya Sato, 1 Shigeyuki Hirai, 2 Kazutaka Maruyama 3 and Minoru Terada 1 We propose a program sonification
More information19 Systematization of Problem Solving Strategy in High School Mathematics for Improving Metacognitive Ability
19 Systematization of Problem Solving Strategy in High School Mathematics for Improving Metacognitive Ability 1105402 2008 2 4 2,, i Abstract Systematization of Problem Solving Strategy in High School
More information7,, i
23 Research of the authentication method on the two dimensional code 1145111 2012 2 13 7,, i Abstract Research of the authentication method on the two dimensional code Karita Koichiro Recently, the two
More informationIPSJ SIG Technical Report Vol.2014-HCI-158 No /5/22 1,a) 2 2 3,b) Development of visualization technique expressing rainfall changing conditions
1,a) 2 2 3,b) Development of visualization technique expressing rainfall changing conditions with a still picture Yuuki Hyougo 1,a) Hiroko Suzuki 2 Tadanobu Furukawa 2 Kazuo Misue 3,b) Abstract: In order
More informationIPSJ SIG Technical Report Vol.2012-CG-148 No /8/29 3DCG 1,a) On rigid body animation taking into account the 3D computer graphics came
3DCG 1,a) 2 2 2 2 3 On rigid body animation taking into account the 3D computer graphics camera viewpoint Abstract: In using computer graphics for making games or motion pictures, physics simulation is
More information1. 1 DBMS Unix (USP ) ( )[3] 20 UNIX [2] KISS UNIX 1. 2 (Tukubai ) Unix OS Unix USP Tukubai Tukubai 1. 3 Unix SQL Tukubai usp Tukubai Open usp Tukubai
34 (2017 ) Unix UNIX 20 RDBMS RDBMS Java Unix Unix Unix Unicage is a system development method based on UNIX philosophy and has been applied on business system integration for 20 years. In these days,
More informationGUI(Graphical User Interface) GUI CLI(Command Line Interface) GUI
24 GUI(Graphical User Interface) GUI CLI(Command Line Interface) GUI 1 1 1.1 GUI................................... 1 1.2 GUI.................... 1 1.2.1.......................... 1 1.2.2...........................
More informationVol. 42 No. SIG 8(TOD 10) July HTML 100 Development of Authoring and Delivery System for Synchronized Contents and Experiment on High Spe
Vol. 42 No. SIG 8(TOD 10) July 2001 1 2 3 4 HTML 100 Development of Authoring and Delivery System for Synchronized Contents and Experiment on High Speed Networks Yutaka Kidawara, 1 Tomoaki Kawaguchi, 2
More information2 2.1 NPCMJ ( (Santorini, 2010) (NPCMJ, 2016) (1) (, 2016) (1) (2) (1) ( (IP-MAT (CONJ ) (PP (NP (D ) (N )) (P )) (NP-SBJ *
Emacs Emacs : Emacs 1 Emacs Emacs ( ) (NPCMJ ) 1 Emacs NPCMJ 2 1 2 2.1 NPCMJ (http://npcmj.ninjal.ac.jp/) (Santorini, 2010) (NPCMJ, 2016) (1) (, 2016) (1) (2) (1) ( (IP-MAT (CONJ ) (PP (NP (D ) (N )) (P
More information-like BCCWJ CD-ROM CiNii NII BCCWJ BCCWJ
-like BCCWJ CD-ROM CiNii NII BCCWJ BCCWJ BCCWJ Yahoo! Yahoo! BCCWJ BCCWJ BCCWJ BOAO PS Zipper CLASSY with Oggi Precious JJ GINZA Domani Precious Oggi ViVi GINZA BCCWJ NEXTSTEP Windows XP FD ELO KIDDIES
More informationgpw96.dvi
MOO An optimal MOO strategy Tetsuro Tanaka, Faculty of Engineering, University of Tokyo tanaka@ipl.t.u-tokyo.ac.jp MOO ( ) (exhaustive search). [1], MOO. MOO,.,, 0.5., MOO. 1 MOO MOO, Hit & Blow, Cow &
More information2016 Course Description of Undergraduate Seminars (2015 12 16 ) 2016 12 16 ( ) 13:00 15:00 12 16 ( ) 1 21 ( ) 1 13 ( ) 17:00 1 14 ( ) 12:00 1 21 ( ) 15:00 1 27 ( ) 13:00 14:00 2 1 ( ) 17:00 2 3 ( ) 12
More information3.1 Thalmic Lab Myo * Bluetooth PC Myo 8 RMS RMS t RMS(t) i (i = 1, 2,, 8) 8 SVM libsvm *2 ν-svm 1 Myo 2 8 RMS 3.2 Myo (Root
1,a) 2 2 1. 1 College of Information Science, School of Informatics, University of Tsukuba 2 Faculty of Engineering, Information and Systems, University of Tsukuba a) oharada@iplab.cs.tsukuba.ac.jp 2.
More information2 194
32 2008 pp. 193 210 1 Received October 31, 2008 The Japanese auxiliary verbs in benefactive construction can be classified in terms of the following two semantic functions: ones that only represent the
More informationnew_logo.eps
Oracle Enterprise Manager 2.0.4 :A62835-1 Oracle Enterprise Manager 2.0.4 :A62835-1 1 :1999 4 1 :Oracle Enterprise Manager Installation, Release 2.0.4 :A67818-01 Copyright 1999, Oracle Corporation. All
More information2. Eades 1) Kamada-Kawai 7) Fruchterman 2) 6) ACE 8) HDE 9) Kruskal MDS 13) 11) Kruskal AGI Active Graph Interface 3) Kruskal 5) Kruskal 4) 3. Kruskal
1 2 3 A projection-based method for interactive 3D visualization of complex graphs Masanori Takami, 1 Hiroshi Hosobe 2 and Ken Wakita 3 Proposed is a new interaction technique to manipulate graph layouts
More information( ) (, ) arxiv: hgm OpenXM search. d n A = (a ij ). A i a i Z d, Z d. i a ij > 0. β N 0 A = N 0 a N 0 a n Z A (β; p) = Au=β,u N n 0 A
( ) (, ) arxiv: 1510.02269 hgm OpenXM search. d n A = (a ij ). A i a i Z d, Z d. i a ij > 0. β N 0 A = N 0 a 1 + + N 0 a n Z A (β; p) = Au=β,u N n 0 A-. u! = n i=1 u i!, p u = n i=1 pu i i. Z = Z A Au
More informationMicrosoft Word - toyoshima-deim2011.doc
DEIM Forum 2011 E9-4 252-0882 5322 252-0882 5322 E-mail: t09651yt, sashiori, kiyoki @sfc.keio.ac.jp CBIR A Meaning Recognition System for Sign-Logo by Color-Shape-Based Similarity Computations for Images
More informationSage for Mathematics : a Primer ‚æ1Łfl - Sage ‡ð™m‡é
.. / JST CREST. s-yokoyama@imi.kyushu-u.ac.jp 2013 1 15 / IIJ Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, 2013 1 / 23 1 Sage Sage Sage Notebook Sage Salvus 2 Sage Sage Cryptosystem Sage Shun
More informationi IHE IHE-J HIS RIS PACS CT CT CT
16 Marlporl CT(Computed Tomography: ) 4 CT CT PC CT PC CT CT PC 2 Ruby CT C 1 CT 170.4 153.6 37 6 102 5 PC i 1 1 2 3 2.1 IHE IHE-J.................. 3 2.2 HIS RIS PACS................ 3 3 2 CT 5 3.1 2
More informationWindows Macintosh 3 3 4 = 3 4 = 4 5 6 Windows Macintosh 7 8 9 Windows Macintosh 0 Windows Macintosh 3 4 5 Windows Macintosh Windows Macintosh 3 4 5 = Windows Macintosh 3 4 3 4 5 3 4 5 3 5 4 5 6 3 4 3 5
More information橡Webcamユーザーガイド03.PDF
Desktop On-Call Version 4 Webcam extension Pak for Windows Webcam extension Pak Desktop On-Call Version 4 Web PC i Desktop On-Call Version 4 PC PC Desktop On-Call Version 4 PC Windows 98 Windows 98SE Windows
More informationRisa/Asir ,,. 2 Yoshihito Tachibana, Yoshiaki Goto, Tamio Koyama, Nobuki Takayama, Holonomic Gradient Method for Two Way Contingency Table
Risa/Asir 2018.03.25 1,,. 2 Yoshihito Tachibana, Yoshiaki Goto, Tamio Koyama, Nobuki Takayama, Holonomic Gradient Method for Two Way Contingency Tables, arxiv:1803.04170 3 import("gtt ekn.rr");. 1 / 12
More information& Vol.2 No (Mar. 2012) 1,a) , Bluetooth A Health Management Service by Cell Phones and Its Us
1,a) 1 1 1 1 2 2 2011 8 10, 2011 12 2 1 Bluetooth 36 2 3 10 70 34 A Health Management Service by Cell Phones and Its Usability Evaluation Naofumi Yoshida 1,a) Daigo Matsubara 1 Naoki Ishibashi 1 Nobuo
More information( 9 1 ) 1 2 1.1................................... 2 1.2................................................. 3 1.3............................................... 4 1.4...........................................
More informationuntitled
IT E- IT http://www.ipa.go.jp/security/ CERT/CC http://www.cert.org/stats/#alerts IPA IPA 2004 52,151 IT 2003 12 Yahoo 451 40 2002 4 18 IT 1/14 2.1 DoS(Denial of Access) IDS(Intrusion Detection System)
More information13 RoboCup The Interface System for Learning By Observation Applied to RoboCup Agents Ruck Thawonmas
13 RoboCup The Interface System for Learning By Observation Applied to RoboCup Agents 1020302 Ruck Thawonmas 2002 2 8 RoboCup RoboCup SemiReal SemiReal RAIK-NTG4 Huma SemiReal Huma RoboCup. i Abstract
More informationTitle KETpicによる曲面描画と教育利用 ( 数式処理と教育教育における数式処理システムの効果的利用に関する研究 ) : 数学 Author(s) 金子, 真隆 ; 阿部, 孝之 ; 関口, 昌由 ; 山下, 哲 ; 高遠, Citation 数理解析研究所講究録 (2009), 1624:
Title KETpicによる曲面描画と教育利用 ( 数式処理と教育教育における数式処理システムの効果的利用に関する研究 ) : 数学 Author(s) 金子, 真隆 ; 阿部, 孝之 ; 関口, 昌由 ; 山下, 哲 ; 高遠, Citation 数理解析研究所講究録 (2009), 1624: 1-10 Issue Date 2009-01 URL http://hdl.handle.net/2433/140279
More informationWeb Social Networking Service Virtual Private Network 84
Promising business utilized five senses information media through the Next Generation Network Toshio ASANO Next Generation Network 2004 11 2010 6,000 3,000 2006 12 2008 83 Web Social Networking Service
More informationVol.55 No (Jan. 2014) saccess 6 saccess 7 saccess 2. [3] p.33 * B (A) (B) (C) (D) (E) (F) *1 [3], [4] Web PDF a m
Vol.55 No.1 2 15 (Jan. 2014) 1,a) 2,3,b) 4,3,c) 3,d) 2013 3 18, 2013 10 9 saccess 1 1 saccess saccess Design and Implementation of an Online Tool for Database Education Hiroyuki Nagataki 1,a) Yoshiaki
More informationipod touch 1 2 Apple ipod touch ipod touch 3 ( ) ipod touch ( 1 ) Apple ( 2 ) Web 1),2) 3. ipod touch 1 2 ipod touch x y z i
ipod touch 1 1 ipod touch. 1) 6 2) 3) A library for detecting movements of an ipod touch by 3D acceleration Akira Kotaki 1 and Mariko Sasakura 1 The aim of this study is to develop a library for detecting
More informationIntroduction Purpose This training course demonstrates the use of the High-performance Embedded Workshop (HEW), a key tool for developing software for
Introduction Purpose This training course demonstrates the use of the High-performance Embedded Workshop (HEW), a key tool for developing software for embedded systems that use microcontrollers (MCUs)
More informationRIMS98R2.dvi
RIMS Kokyuroku, vol.084, (999), 45 59. Euler Fourier Euler Fourier S = ( ) n f(n) = e in f(n) (.) I = 0 e ix f(x) dx (.2) Euler Fourier Fourier Euler Euler Fourier Euler Euler Fourier Fourier [5], [6]
More information1,000km 1.7% 0.0% 0.8% 100% 80% 60% 40% 20% 94.4% 0.1% 3.0% 0.3% 0.5% 0.0% 96.2% 1 0.2% 2.8% 0% km ft 40f
96 SHIBASAKI, Ryuichi WATANABE, Tomihiro KADONO, Takashi 1 6 95 1 ISO 96 23 45 6 7 8 1994 9 OD 2 2.1 2.1.1 1998 1 11 95 2 Vol.7 No.4 2005 Winter 015 1,000km 1.7% 0.0% 0.8% 100% 80% 60% 40% 20% 94.4% 0.1%
More information1 3DCG [2] 3DCG CG 3DCG [3] 3DCG 3 3 API 2 3DCG 3 (1) Saito [4] (a) 1920x1080 (b) 1280x720 (c) 640x360 (d) 320x G-Buffer Decaudin[5] G-Buffer D
3DCG 1) ( ) 2) 2) 1) 2) Real-Time Line Drawing Using Image Processing and Deforming Process Together in 3DCG Takeshi Okuya 1) Katsuaki Tanaka 2) Shigekazu Sakai 2) 1) Department of Intermedia Art and Science,
More informationOn Japanese empathy and interpretation IKEDA, Masatoshi In this paper I compared it with empathy as a manner of psychotherapist about interpretation a
On Japanese empathy and interpretation IKEDA, Masatoshi In this paper I compared it with empathy as a manner of psychotherapist about interpretation and discussed it. For words of English empathy, there
More informationIT,, i
22 Retrieval support system using bookmarks that are shared in an organization 1110250 2011 3 17 IT,, i Abstract Retrieval support system using bookmarks that are shared in an organization Yoshihiko Komaki
More information1 OS 3 1.1 OS.................................................... 3 1.2 OS................................................... 3 1.2.1 Macintosh.......
2001 1 1 OS 3 1.1 OS.................................................... 3 1.2 OS................................................... 3 1.2.1 Macintosh............................................... 3 1.2.2
More information05 I I / 56
05 I 2015 2015.05.14 I 05 2015.05.14 1 / 56 I 05 2015.05.14 2 / 56 cd mkdir vis01 OK cd vis01 cp /tmp/150514/leibniz.*. I 05 2015.05.14 3 / 56 I 05 2015.05.14 4 / 56 Information visualization Data visualization,
More informationDanish 1 [7] Fig.2 2 Models for clinical investigator system 1 Danish Figure 1 Danish s information creation model through interactive process a) b) 2
+ openehr A Study on an Ontology Application to Individual Information Environment KUNIO OHNO + First, the electronic health record specification named openehr is introduced. Then the personal resume with
More information6_27.dvi
Vol. 49 No. 6 1932 1941 (June 2008) RFID 1 2 RFID RFID RFID 13.56 MHz RFID A Experimental Study for Measuring Human Activities in A Bathroom Using RFID Ryo Onishi 1 and Shigeyuki Hirai 2 A bathroom is
More informationVol. 48 No. 4 Apr LAN TCP/IP LAN TCP/IP 1 PC TCP/IP 1 PC User-mode Linux 12 Development of a System to Visualize Computer Network Behavior for L
Vol. 48 No. 4 Apr. 2007 LAN TCP/IP LAN TCP/IP 1 PC TCP/IP 1 PC User-mode Linux 12 Development of a System to Visualize Computer Network Behavior for Learning to Associate LAN Construction Skills with TCP/IP
More informationAbstract This paper concerns with a method of dynamic image cognition. Our image cognition method has two distinguished features. One is that the imag
2004 RGB A STUDY OF RGB COLOR INFORMATION AND ITS APPLICATION 03R3237 Abstract This paper concerns with a method of dynamic image cognition. Our image cognition method has two distinguished features. One
More informationFig. 3 Flow diagram of image processing. Black rectangle in the photo indicates the processing area (128 x 32 pixels).
Fig. 1 The scheme of glottal area as a function of time Fig. 3 Flow diagram of image processing. Black rectangle in the photo indicates the processing area (128 x 32 pixels). Fig, 4 Parametric representation
More information44 22 AKB48 CD 2030 SPEED 1954 AKB48 CD CM CM AKB AKB AKB AKB AKB AKB
43 AKB48 2 2 AKB48 CD 1998 15 2012 4 CD CD 3 Twitter 2012 AKB48 EXILE Z 5 1 AKB48 2011 2012 CD 5 2 5 1968 1 Sounds good! 182 4 100 2 5 1 Beginner 3 72 73 77 78 08 09 2 2 2012 11 6 1 6 5 2 URL http://www.oricon.co.jp/rank/js/y/2012/
More informationIPSJ SIG Technical Report Vol.2015-HPC-150 No /8/6 I/O Jianwei Liao 1 Gerofi Balazs 1 1 Guo-Yuan Lien Prototyping F
I/O Jianwei Liao 1 Gerofi Balazs 1 1 Guo-Yuan Lien 1 1 1 1 1 30 30 100 30 30 2 Prototyping File I/O Arbitrator Middleware for Real-Time Severe Weather Prediction System Jianwei Liao 1 Gerofi Balazs 1 Yutaka
More informationMac OS X Server QuickTime Streaming Server 5.0 の管理(バージョン 10.3 以降用)
Mac OS X Server QuickTime Streaming Server 5.0 Mac OS X Server 10.3 apple Apple Computer, Inc. 2003 Apple Computer, Inc. All rights reserved. QuickTime Streaming Server Apple Apple Computer, Inc. Apple
More informationIPSJ SIG Technical Report Vol.2010-NL-199 No /11/ treebank ( ) KWIC /MeCab / Morphological and Dependency Structure Annotated Corp
1. 1 1 1 2 treebank ( ) KWIC /MeCab / Morphological and Dependency Structure Annotated Corpus Management Tool: ChaKi Yuji Matsumoto, 1 Masayuki Asahara, 1 Masakazu Iwatate 1 and Toshio Morita 2 This paper
More informationComputer Security Symposium October 2013 Android OS kub
Computer Security Symposium 2013 21-23 October 2013 Android OS 243-0292 1030 y.kita@ccy.kanagawa-it.ac.jp mirang@nw.kanagawa-it.ac.jp 889-2192 1-1 kubota@cs.miyazaki-u.ac.jp oka@cs.miyazaki-u.ac.jp Android
More information( ) [1] [4] ( ) 2. [5] [6] Piano Tutor[7] [1], [2], [8], [9] Radiobaton[10] Two Finger Piano[11] Coloring-in Piano[12] ism[13] MIDI MIDI 1 Fig. 1 Syst
情報処理学会インタラクション 2015 IPSJ Interaction 2015 15INT014 2015/3/7 1,a) 1,b) 1,c) Design and Implementation of a Piano Learning Support System Considering Motivation Fukuya Yuto 1,a) Takegawa Yoshinari 1,b) Yanagi
More information149 (Newell [5]) Newell [5], [1], [1], [11] Li,Ryu, and Song [2], [11] Li,Ryu, and Song [2], [1] 1) 2) ( ) ( ) 3) T : 2 a : 3 a 1 :
Transactions of the Operations Research Society of Japan Vol. 58, 215, pp. 148 165 c ( 215 1 2 ; 215 9 3 ) 1) 2) :,,,,, 1. [9] 3 12 Darroch,Newell, and Morris [1] Mcneil [3] Miller [4] Newell [5, 6], [1]
More informationVol. 23 No. 4 Oct. 2006 37 2 Kitchen of the Future 1 Kitchen of the Future 1 1 Kitchen of the Future LCD [7], [8] (Kitchen of the Future ) WWW [7], [3
36 Kitchen of the Future: Kitchen of the Future Kitchen of the Future A kitchen is a place of food production, education, and communication. As it is more active place than other parts of a house, there
More informationxx/xx Vol. Jxx A No. xx 1 Fig. 1 PAL(Panoramic Annular Lens) PAL(Panoramic Annular Lens) PAL (2) PAL PAL 2 PAL 3 2 PAL 1 PAL 3 PAL PAL 2. 1 PAL
PAL On the Precision of 3D Measurement by Stereo PAL Images Hiroyuki HASE,HirofumiKAWAI,FrankEKPAR, Masaaki YONEDA,andJien KATO PAL 3 PAL Panoramic Annular Lens 1985 Greguss PAL 1 PAL PAL 2 3 2 PAL DP
More informationA pp CALL College Life CD-ROM Development of CD-ROM English Teaching Materials, College Life Series, for Improving English Communica
A CALL College Life CD-ROM Development of CD-ROM English Teaching Materials, College Life Series, for Improving English Communicative Skills of Japanese College Students The purpose of the present study
More information( )
NAIST-IS-MT9951117 2001 2 9 ( ) 3 CG, VR.,,,.,,,,,.,, 2, 3 3,.,, 2, 3.,,,,,.,,,.,,.,,, 3, NAIST-IS- MT9951117, 2001 2 9. i Intaractive terrain generation within Immersive Modeling System 3 Ryutarou Morimoto
More informationMicrosoft Excelを用いた分子軌道の描画の実習
J. Comput. Chem. Jpn.,Vol.9, No.4, pp.177 182 (2010) 2010 Society of Computer Chemistry, Japan Microsoft Excel a*, b, c a, 790-8577 2-5 b, 350-0295 1-1 c, 305-8568 1-1-1 *e-mail: nagaoka@ehimegw.dpc.ehime-u.ac.jp
More information& Vol.5 No (Oct. 2015) TV 1,2,a) , Augmented TV TV AR Augmented Reality 3DCG TV Estimation of TV Screen Position and Ro
TV 1,2,a) 1 2 2015 1 26, 2015 5 21 Augmented TV TV AR Augmented Reality 3DCG TV Estimation of TV Screen Position and Rotation Using Mobile Device Hiroyuki Kawakita 1,2,a) Toshio Nakagawa 1 Makoto Sato
More informationÆþÌçGTK+
1 1 GTK+ 1.1 GTK+ GTK+ *1 GUI Graphical User Interface GIMP * 2 1.1 GIMP GNOME *3 GTK+ + GTK+ 2 Pango ATK cairo 2 GTK+ GLib... 1.1 GIMP *1 GTK+ The GIMP Toolkit : http://www.gtk.org/ *2 GIMP The GNU Image
More information評論・社会科学 119号(P)☆/1.福田
2006 4 1 2 2-1 2-2 2-3 3 3-1 3-2 3-3 3-4 3-5 4 1 2010 2016 9 20 2016 9 30 1 10 20 2000 2000 2 2010 3 Youtube Twitter, facebook SNS 4 2005 AKB 48 SKE 48 2008 NMB 48 2010 HKT 48 2011 NGT 48 2015 AKB 48 2010
More informationsequentially Cohen Macaulay Herzog Cohen Macaulay 5 unmixed semi-unmixed 2 Semi-unmixed Semi-unmixed G V V (G) V G V G e (G) G F(G) (G) F(G) G dim G G
Semi-unmixed 1 K S K n K[X 1,..., X n ] G G G 2 G V (G) E(G) S G V (G) = {1,..., n} I(G) G S square-free I(G) = (X i X j {i, j} E(G)) I(G) G (edge ideal) 1990 Villarreal [11] S/I(G) Cohen Macaulay G 2005
More informationB 20 Web
B 20 Web 0753018 21 1 29 1 1 6 2 8 3 UI 10 3.1........................ 10 3.2 Web............ 11 3.3......... 12 4 UI 14 4.1 Web....................... 15 4.2 Web........... 16 4.3 Web....................
More informationAutumn 06 1 2005 100 100 1 100 1 2003 2005 10 2003 2005 2
2005 25-2 17 395.6 149.1 1 2004 2 2003p.13 3 Autumn 06 1 2005 100 100 1 100 1 2003 2005 10 2003 2005 2 Vol. 42 No. 2 2 100 20052005 2002 20052005 3 2005 10 1 II III IV 1 1 1 2 1 4 15-2 30 4,091 54.5 2
More informationIPSJ SIG Technical Report Vol.2015-MUS-107 No /5/23 HARK-Binaural Raspberry Pi 2 1,a) ( ) HARK 2 HARK-Binaural A/D Raspberry Pi 2 1.
HARK-Binaural Raspberry Pi 2 1,a) 1 1 1 2 3 () HARK 2 HARK-Binaural A/D Raspberry Pi 2 1. [1,2] [2 5] () HARK (Honda Research Institute Japan audition for robots with Kyoto University) *1 GUI ( 1) Python
More informationDEIM Forum 2010 D Development of a La
DEIM Forum 2010 D5-3 432-8011 3-5-1 E-mail: {cs06062,cs06015}@s.inf.shizuoka.ac.jp, {yokoyama,fukuta,ishikawa}@.inf.shizuoka.ac.jp Development of a Large-scale Visualization System Based on Sensor Network
More information(
... 3...3...3...3... 4...4...4...4...4...4...7 1 (...8... 9... 26 2 - 3.5 3.5 2HD MS-DOS DOS/V 1.44MB FAT 1 1 60 2 1 599 2400 1 99.999 CD-R 3 0 1 210 1 99.999 1 1 DOS CR+LF JIS JIS X 0208 JIS X 0211CR,LF
More informationI I / 68
2013.07.04 I 2013 3 I 2013.07.04 1 / 68 I 2013.07.04 2 / 68 I 2013.07.04 3 / 68 heat1.f90 heat2.f90 /tmp/130704/heat2.f90 I 2013.07.04 4 / 68 diff heat1.f90 heat2.f90!! heat2. f 9 0! c m > NGRID! c nmax
More informationComputational Semantics 1 category specificity Warrington (1975); Warrington & Shallice (1979, 1984) 2 basic level superiority 3 super-ordinate catego
Computational Semantics 1 category specificity Warrington (1975); Warrington & Shallice (1979, 1984) 2 basic level superiority 3 super-ordinate category preservation 1 / 13 analogy by vector space Figure
More information2. 2.1 Lytro [11] The Franken Camera [12] 2.2 Creative Coding Community Creative Coding Community [13]-[19] Sketch Fork 2.3 [20]-[23] 3. ourcam 3.1 ou
情 報 処 理 学 会 インタラクション 2013 IPSJ Interaction 2013 2013-Interaction (3EXB-06) 2013/3/2 ourcam: 1 2 ourcam ourcam: On-Site Programming Environment for Digital Photography RYO OSHIMA 1 YASUAKI KAKEHI 2 In these
More informationCPU Levels in the memory hierarchy Level 1 Level 2... Increasing distance from the CPU in access time Level n Size of the memory at each level 1: 2.2
FFT 1 Fourier fast Fourier transform FFT FFT FFT 1 FFT FFT 2 Fourier 2.1 Fourier FFT Fourier discrete Fourier transform DFT DFT n 1 y k = j=0 x j ω jk n, 0 k n 1 (1) x j y k ω n = e 2πi/n i = 1 (1) n DFT
More information