InfoQ

InfoQ

News

マイブックマーク

ブックマークするためにログイン または 会員登録 する

ブックマークされました!

ブックマークがエラーになりました。もう一度お願いします。

Meta Numerics による .NET 上での科学技術計算

作者 Abel Avram , 翻訳者 伊藤 幸博 投稿日 2009年4月22日

セクション
デベロップメント
トピック
Artifacts & Tools ,
.NET
タグ
CodePlex

原文(投稿日:2009/4/9)へのリンク

Meta Numerics(リンク) は複素数、行列、特殊関数および統計演算に対応した科学技術計算のための .NET ライブラリである。

複素数

本ライブラリは複素数、およびそれに関連するガンマ関数、Faddeeva 関数、リーマン・ゼータ関数など12の算術演算をサポートする。

行列

Meta Numerics では一般的な矩形行列および正方行列に対する以下の演算が可能である。

演算 一般 正方
算術

Y

Y

分解  

Y

行列式  

Y

逆行列  

Y

固有値および固有ベクトル  

Y

特殊関数

本ライブラリにはガンマ関数、プサイ関数、ベータ関数、不完全ガンマ関数、不完全ベータ関数、誤差関数、フレネル関数、積分、指数積分、ベッセル関数(第 1種、第2種)、球ベッセル関数(第1種、第2種)、リーマン・ゼータ関数、エルミート多項式、ラゲール多項式、ルジャンドル多項式、チェビシェフ多項式 といった特殊関数も含まれる。

統計および解析

本ライブラリはt検定、マン・ホイットニー検定、F検定、コルモゴロフ-スミルノフ検定、カイパー検定、ピアソンの相関係数、スピアマンの順位相関係数、ケンドールの順位相関係数を含む多数のデータ検定の実行が可能である。 また回帰分析にも利用可能であり、「定数近似、直線近似、任意のパラメータ化された関数への近似が含まれる。いずれの近似もカイ二乗値および全変数のエラーバーを返却する」。 確率分布として「一様分布、正規分布、指数分布、カイ二乗分布、t分布、F分布、コルモゴロフ-スミルノフ分布が定義されている。確率密度関数の値、累積分布関数の値、任意次数の中心積率および原点積率、プロビット関数の値を容易に得ることができる」。 「オッズ比を用いた分割表、カイ二乗検定、フィッシャーの正確確率検定」およびその他の解析が可能である。

本ライブラリは Microsoft Public License (Ms-PL) (リンク)のもとに CodePlex から(リンク)ダウンロードすることができる。

特集コンテンツ一覧

GAE開発の落とし穴

Googleのクラウド環境をつかったGoogle App Engineによる開発するにあたり、初めての試みで苦悩する開発者達の経験をもとに、各開発フェーズにあわせて問題点やどう解決したかをご紹介します

イベントレポート:「Coqチュートリアル#1」

去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。

Javaの未来についてのNeal Gafter氏とのディスカッション

Choosing Options

Neal Gafter氏はOracleによるJava買収の影響に関する議論、Javaにセグメンテッドスタックやメタオブジェクトプロトコルを追加することについての主張、そしてJavaとC#との比較について話をしてくれた。

Google Dartのエッセンス:アプリケーションの構築、スナップショット、Isolate

GoogleはVMをともなう新しい言語であり、JSコンパイラでもあるDartをプレビューした。 InfoQはDartのアプリの構築に貢献する文法の裏側を探った:スナップショット、Isolate、モジュール方式

CSPベースのモデル検査ツール「Process Analysis Toolkit」

本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の1つとして注目されている手法である。

Jenkinsによる継続的インテグレーションのススメ(4) ~CloudBeesでJenkinsをサービスとして使う~

前回まで、Jenkinsの幾つかの側面に注目して解説をしてきました。シリーズ最後の今回は、Jenkinsをサービスとして使う方法を紹介します。

書籍『抽象によるソフトウェア設計-Alloyではじめる形式手法-』の紹介

Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』(「Alloy本」)を紹介する。

Windows デバイスで開発するタッチユーザーインターフェイス

スマートフォンを中心としたマルチデバイスにおけるタッチユーザーインターフェイスへの対応は、既に必須の項目となりつつある。本記事では、Windows デバイスにおける UX のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。