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

Size: px
Start display at page:

Download "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"

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

, : 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 information

Bulletin 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 (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 information

A 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) 坂部, 啓 ; 屋並, 仁史 ; 穴井, 宏和 ; 原 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, 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 information

0. Introduction (Computer Algebra) Z, Q ( ), 1960, LISP, ( ) ( ) 2

0. 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 information

fiš„v8.dvi

fiš„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 information

J.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 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 information

IPSJ 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

IPSJ 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

/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 information

17 Proposal of an Algorithm of Image Extraction and Research on Improvement of a Man-machine Interface of Food Intake Measuring System

17 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 information

SQUFOF NTT Shanks SQUFOF SQUFOF Pentium III Pentium 4 SQUFOF 2.03 (Pentium 4 2.0GHz Willamette) N UBASIC 50 / 200 [

SQUFOF 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 information

DPA,, ShareLog 3) 4) 2.2 Strino Strino STRain-based user Interface with tacticle of elastic Natural ObjectsStrino 1 Strino ) PC Log-Log (2007 6)

DPA,, 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

自然言語処理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 information

IPSJ 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

IPSJ 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 information

FUJII, 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

FUJII, 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 を立ち上げました 現在開発中のコアとなるソルバ部分及び制御系設計ツールは製品化に向けての活動 ( 契約等 ) を継続中で当プロジェクトの終了にむけて 製品化を完了しその成果を

適用して解析し多様性条件の解析を行い有効性を実証し これらの方向性の発展を期して国際会議 Algebraic Biology を立ち上げました 現在開発中のコアとなるソルバ部分及び制御系設計ツールは製品化に向けての活動 ( 契約等 ) を継続中で当プロジェクトの終了にむけて 製品化を完了しその成果を 平成 19 年度実績報告 シミュレーション技術の革新と実用化基盤の構築 平成 15 年度採択研究代表者 穴井宏和 富士通株式会社科学ソリューション事業本部計算科学ソリューションセンター センター長付 数値 / 数式ハイブリッド計算に基づくロバスト最適化プラットフォームの構築 1. 研究実施の概要 研究のねらい さまざまな ものづくり において, シミュレーション技術は設計 製造の効率化, 高品質化,

More information

IPSJ 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

IPSJ 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 information

II

II 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 information

Perturbation method for determining the group of invariance of hierarchical models

Perturbation 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 information

untitled

untitled 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 information

SCM (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) ( ) 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 information

04.™ƒ”R/’Ô”�/’Xfl©

04.™ƒ”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 information

SUN Solaris, HP, SGI IRIX, DEC Alpha, Linux,DOS,Windows, MacOS LinuxPPC CoCoA CoCoA 4.1 (May 2001)

SUN 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 information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 計算代数幾何学入門 - グレブナー基底とその応用 - 工藤桃成 * * 九州大学大学院数理学府数理学専攻九大整数論セミナー 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 information

i Version 1.1, (2012/02/22 24),.,..,.,,. R-space,, ( R- space),, Kahler (Kähler C-space)., R-space,., R-space, Hermite,.

i 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

独立行政法人情報通信研究機構 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 information

9_18.dvi

9_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

卒業論文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 information

1 1 CodeDrummer CodeMusician CodeDrummer Fig. 1 Overview of proposal system c

1 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 information

19 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 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 information

7,, i

7,, 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 information

IPSJ SIG Technical Report Vol.2014-HCI-158 No /5/22 1,a) 2 2 3,b) Development of visualization technique expressing rainfall changing conditions

IPSJ 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 information

IPSJ 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

IPSJ 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 information

1. 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

1. 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 information

GUI(Graphical User Interface) GUI CLI(Command Line Interface) GUI

GUI(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 information

Vol. 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 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 information

2 2.1 NPCMJ ( (Santorini, 2010) (NPCMJ, 2016) (1) (, 2016) (1) (2) (1) ( (IP-MAT (CONJ ) (PP (NP (D ) (N )) (P )) (NP-SBJ *

2 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 -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 information

gpw96.dvi

gpw96.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 information

2016 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 information

3.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

3.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 information

2 194

2 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 information

new_logo.eps

new_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 information

2. 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

2. 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: 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 information

Microsoft Word - toyoshima-deim2011.doc

Microsoft 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 information

Sage for Mathematics : a Primer ‚æ1Łfl - Sage ‡ð™m‡é

Sage 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 information

i IHE IHE-J HIS RIS PACS CT CT CT

i 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 information

Windows 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

橡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 information

Risa/Asir ,,. 2 Yoshihito Tachibana, Yoshiaki Goto, Tamio Koyama, Nobuki Takayama, Holonomic Gradient Method for Two Way Contingency Table

Risa/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

& 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 information

untitled

untitled 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 information

13 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 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 information

Title KETpicによる曲面描画と教育利用 ( 数式処理と教育教育における数式処理システムの効果的利用に関する研究 ) : 数学 Author(s) 金子, 真隆 ; 阿部, 孝之 ; 関口, 昌由 ; 山下, 哲 ; 高遠, Citation 数理解析研究所講究録 (2009), 1624:

Title 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 information

Web Social Networking Service Virtual Private Network 84

Web 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 information

Vol.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 (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 information

ipod 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 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 information

Introduction 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 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 information

RIMS98R2.dvi

RIMS98R2.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 information

1,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

1,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 information

1 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

1 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 information

On 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 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 information

IT,, i

IT,, 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 information

1 OS 3 1.1 OS.................................................... 3 1.2 OS................................................... 3 1.2.1 Macintosh.......

1 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 information

05 I I / 56

05 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 information

Danish 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

Danish 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 information

6_27.dvi

6_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 information

Vol. 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 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 information

Abstract This paper concerns with a method of dynamic image cognition. Our image cognition method has two distinguished features. One is that the imag

Abstract 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 information

Fig. 3 Flow diagram of image processing. Black rectangle in the photo indicates the processing area (128 x 32 pixels).

Fig. 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 information

44 22 AKB48 CD 2030 SPEED 1954 AKB48 CD CM CM AKB AKB AKB AKB AKB AKB

44 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 information

IPSJ SIG Technical Report Vol.2015-HPC-150 No /8/6 I/O Jianwei Liao 1 Gerofi Balazs 1 1 Guo-Yuan Lien Prototyping F

IPSJ 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 information

Mac OS X Server QuickTime Streaming Server 5.0 の管理(バージョン 10.3 以降用)

Mac 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 information

IPSJ SIG Technical Report Vol.2010-NL-199 No /11/ treebank ( ) KWIC /MeCab / Morphological and Dependency Structure Annotated Corp

IPSJ 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 information

Computer Security Symposium October 2013 Android OS kub

Computer 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

( ) [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 information

149 (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 :

149 (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 information

Vol. 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

Vol. 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 information

xx/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

xx/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 information

A pp CALL College Life CD-ROM Development of CD-ROM English Teaching Materials, College Life Series, for Improving English Communica

A 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 information

Microsoft Excelを用いた分子軌道の描画の実習

Microsoft 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

& 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+

ÆþÌç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.福田

評論・社会科学 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 information

sequentially 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

sequentially 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 information

B 20 Web

B 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 information

Autumn 06 1 2005 100 100 1 100 1 2003 2005 10 2003 2005 2

Autumn 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 information

IPSJ 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.

IPSJ 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 information

DEIM Forum 2010 D Development of a La

DEIM 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 information

I I / 68

I 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 information

Computational 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 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 information

2. 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

2. 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 information

CPU 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

CPU 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