[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Description-ja] s



岡@奈良先端ã§ã™ã€‚

ã¡ã‚‡ã£ã¨æ°—ãŒã¤ã„ãŸæ‰€ã ã‘ã§ã™ã€‚

At Wed, 11 Aug 1999 20:57:00 +0900,
Seiji Kaneko <skaneko@xxxxxxxxxxxx> wrote:
> 
> > Package: slatec
> > Version: 4.1-2
> > #Description: numerical computation library
> > Description: 数値計算ライブラリ
> > # slatec is a fortran library of over 1400 routines
> > # for numerical tasks.  Some of the subjects covered
> > # are: Arithmetic, error analysis, Elementary
> > # and special functions, Linear Algebra, Interpolation,
> > # Solution of nonlinear equations, Optimization,
> > # Differentiation, integration, Differential and
> > # integral equations, Integral transforms, Statistics,
> > # probability, and Data handling.
> >  slatec ã¯æ•°å¼èª²é¡Œã®ãŸã‚ã® 1400 ルーãƒãƒ³ä»¥ä¸Šã® fortran ライブラリã§ã™ã€‚ã‚«ãƒãƒ¼
> >  ã•ã‚Œã¦ã„る課題ã®ã„ãã¤ã‹ã¯æ¬¡ã®ã¨ãŠã‚Šã§ã™: ç®—è¡“ã€ã‚¨ãƒ©ãƒ¼è§£æžã€è¦ç´ ã¨ç‰¹åˆ¥ãªé–¢æ•°
> >ã€
> >  線形代数ã€è£œå®Œã€éžç·šå½¢æ–¹ç¨‹å¼ã®è§£æ±ºã€æœ€é©åŒ–法ã€å¾®åˆ†ã€ç©åˆ†ã€å¾®åˆ†ã¨ç©åˆ†æ–¹ç¨‹å¼ã€
> >  ç©åˆ†å¤‰æ›ã€çµ±è¨ˆã€ç¢ºç«‹ã€ãƒ‡ãƒ¼ã‚¿æ“作。

 * 「エラー解æžã€â†’「誤差解æžã€
 * 「特別ãªé–¢æ•°ã€â†’「特殊関数ã€
 * 「補完ã€â†’「補間ã€
 * 「課題ã€ã‚ˆã‚Šã€Œã‚¿ã‚¹ã‚¯ã€ã®æ–¹ãŒã‚€ã—ã‚分ã‹ã‚Šã‚„ã™ã„ã‹ã¨æ€ã„ã¾ã™ã€‚

> > Package: smalleiffel
> > Version: 1.5.0.80-3
> > #Description: The GNU Eiffel Compiler
> > Description: GNU Eiffel コンパイラ
> > # SmallEiffel is a compiler for the Eiffel language, which is a pure
> > # object-oriented language providing strong type-checking and based on
> > # the concept of 'design by contract'.  It allows multiple inheritance
> > # and does it well.
> >  SmallEiffel ã¯å¼·ã„åž‹ãƒã‚§ãƒƒã‚¯ã‚’æä¾›ã—〠'約定ã«ã‚ˆã‚‹è¨­è¨ˆ' ã®ã‚³ãƒ³ã‚»ãƒ—トをベース
> >  ã«ã—ãŸç´”粋ãªã‚ªãƒ–ジェクト指å‘言語 Eiffel 言語用ã®ã‚³ãƒ³ãƒ‘イラã§ã™ã€‚複数ã®ç¶™æ‰¿ã‚’
> >  許ã—ã€ãれをéžå¸¸ã«ä½¿ã„ã¾ã™ã€‚
> 
> eiffel ã®æœ¬ã©ã£ã‹ã„ã£ã¦ã—ã¾ã£ã¦å†…容ãŒç¢ºèªã§ããªã„ã‚“ã ã‘ã©ã€

 # OOSCã€ã‚ã‚‹ã„ã¯è¨³æ›¸ã¯ã€Œã‚ªãƒ–ジェクト指å‘入門ã€ã§ã™ã­ã€‚

上記ã®è¨³æ›¸ã‚’å‚考ã«ã™ã‚‹ã¨

  * ``design by contract''ã¯ã€Œå¥‘ç´„ã«ã‚ˆã‚‹è¨­è¨ˆã€ã§ã™ã€‚

> > # Design-by-contract means that a class guarantees that certain conditions
> > # will always hold, and that a routine guarantees certain results
> > # given certain specified inputs.  The rules for inheritance mean
> > # that contracts can be relied on even when classes are reused through
> > # inheritance.
> >  約定ã«ã‚ˆã‚‹è¨­è¨ˆã¨ã¯ã€ç¢ºã‹ãªçŠ¶æ…‹ã‚’常ã«ä¿ã£ãŸã‚¯ãƒ©ã‚¹ã®ä¿è¨¼ã¨ã€ç¢ºã‹ãªæŒ‡å®šã®å…¥åŠ›ã‚’
> >  与ãˆã‚‹ã¨ç¢ºã‹ãªçµæžœã‚’示ã™ãƒ«ãƒ¼ãƒãƒ³ã®ä¿è¨¼ã‚’æ„味ã—ã¾ã™ã€‚

  * ``condition''ã¯ã€Œæ¡ä»¶ã€ã¨è¨³ã™ã®ãŒä¸€èˆ¬çš„ã§ã™ã€‚

--
岡 充 (Mitsuru Oka)
奈良先端科学技術大学院大学