0.999･･･は1と等しいか - hiroyukikojima’s blog
刊行からだいぶたってしまったが、吉永良正さんの『アキレスとカメ』講談社というたいへん楽しい本を紹介しよう。 吉永さんは、ぼくが東京出版の受験雑誌『大学への数学』や『高校への数学』に連載し出した頃、同じように連載を持った人だが、サイエンスライターとしては大先輩であり、すばらしい本をたくさん書き、また翻訳もしている。現在は、大東文化大学の先生をされているので、ライターから大学教員になった、という経歴も似ており、勝手に親近感を抱いている。何度か対談をさせていただき、いっしょにお酒を飲んだこともあるので、知人と言ってもいいと思う。ライターとして気骨を持ったかたで、物書きとして生きていく上での心構えなどを教えていただいた。 アキレスとカメ 作者: 吉永良正,大高郁子出版社/メーカー: 講談社発売日: 2008/07/02メディア: 単行本購入: 19人 クリック: 395回この商品を含むブログ (1
Tree Automata Techniques and Applications
SECSI - Security of information systems (France) 2337LSV - Laboratoire Spécification et Vérification [Cachan] (Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX - France) 2571ENS Cachan - École normale supérieure - Cachan (61, avenue du Président Wilson - 94230 Cachan - France) 6862CNRS - Centre National de la Recherche Scientifique : UMR8643 (France) 441569ENS Cachan - École no
Haskell の構文に惑わされているね - 檜山正幸のキマイラ飼育記 (はてなBlog)
2月21日に、rst76さんからトラックバックをいただきました。 「技術者／プログラマのためのラムダ計算、論理、圏」セミナー第2回 だいぶ遅くなってしまいましたが、口語体、つうかオシャベリ体でお応えします。 こりゃカリー化つうより、コンビネータの利用じゃね rst76さん曰く： Prelude> let g a b x = a * x + b Prelude> g 3 5 7 26 Prelude> let g1 a b = (+ b) . (* a) Prelude> g1 3 5 7 26 んーんと、これはカリー化（ラムダ抽象）と関係ないなー。確かに関数の変数（引数）が減っているように見えるんだけど、それは単にgとg1で違う書き方をした、ってだけ。g1がgのカリー化（ラムダ抽象）ということではない。 これはむしろコンビネータに関係するかな。コンビネータを使うとラムダ変数（束縛変数）を減
LAPACK サンプルプログラム集
【LAPACKとは？】 LAPACKはLinear Algebra PACKageの略で、netlibにより公開されている高性能線形代数パッケージです。（日本語ではエルエーパック、もしくはレイパックと発音されます） 連立一次方程式、最少二乗問題、固有値問題、特異値問題を解くためのサブルーチンが含まれています。LAPACKは性能を追求するため、BLAS、特にその中でも行列・行列演算を行うLevel 3 BLASを最大限に利用するように設計されています。LAPACK/BLASは現在ほとんどのプラットフォームで利用することができます。 【 LAPACKのパフォーマンスを追求される方へ】 LAPACKの開発には私どもNAGからも研究者が参加していますので、NAG Fortran SMP LibraryにはOpenMPにより並列化済みのLAPACKルーチン(並列化済みLAPACKルーチンリスト
LAPACK - Wikipedia
LAPACK (Linear Algebra PACKage)は数値線形代数のための数値解析ソフトウェアライブラリで、線型方程式や線型最小二乗問題、固有値問題、特異値問題等を数値的に解くために利用される。本ライブラリは複素数または実数を成分とする行列を扱うことが可能であり、LU分解やコレスキー分解、QR分解、シュア分解等の行列の分解を行うためのサブルーチンを含む。サブルーチンは単精度版と倍精度版が提供される。1992年)のLAPACKの初版はFORTRAN 77 で実装されていたが、現在はFortran 90が用いられている。LAPACK 3.4.0からはC言語インターフェースであるLAPACKEが統合され、C言語やC++からの利用が容易になった。 LAPACKはLINPACKおよびEISPACKの後継と見做されている。ただし、LINPACKの設計が開発当時近代的であった共有メモリ型ベクト
Currying - Wikipedia
This article is about the mathematical technique. For the cooking process of this name, see Curry. For the leather finishing process, see Currier. For horse grooming, see Currycomb. In mathematics and computer science, currying is the technique of translating a function that takes multiple arguments into a sequence of families of functions, each taking a single argument. In the prototypical exampl
REDUCE Computer Algebra System
What is REDUCE? REDUCE is a portable general-purpose computer algebra system. It is a system for doing scalar, vector and matrix algebra by computer, which also supports arbitrary precision numerical approximation and interfaces to gnuplot to provide graphics. It can be used interactively for simple calculations (as illustrated in the screenshot below) but also provides a full programming language
Maxima, a Computer Algebra System
Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, sets, lists, vectors, matrices and tensors. Maxima yields high precision numerical results by using exact fractions, arbitrary-precision integers and variable-precision fl
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
New Math - craig damrauer
http://suseum.jp/lib/show/10
GIF and PNG Images for Math Symbols
プログラマの数学