目次
107 関係: Android (オペレーティングシステム)、ARMアーキテクチャ、ATLAS、多変量解析、対称型マルチプロセッシング、任意精度演算、地理情報システム、マルチコア、バイナリ、ユーザインタフェース、ワシントン大学 (ワシントン州)、プログラミング言語、プログラム (コンピュータ)、パーソナルコンピュータ、フロントエンド、初等関数、分散コンピューティング、アメリカ国立科学財団、インタフェース (情報技術)、ウィキ、ウェブブラウザ、ウェブアプリケーション、オープンソース、オブジェクト指向、キャラクタユーザインタフェース、グラフ (データ構造)、グラフィカルユーザインタフェース、コンピュータネットワーク、ストリーミングSIMD拡張命令、ソースコード、ソフトウェア、Basic Linear Algebra Subprograms、C++、CAD、C言語、CPU、Cython、組合せ (数学)、複素数、車輪の再発明、関数型プログラミング、自由ソフトウェア、Fast Library for Number Theory、File Transfer Protocol、Fortran、GAP (数式処理システム)、GD Graphics Library、GiNaC、GNU General Public License、GNU Scientific Library、... インデックスを展開 (57 もっと) »
- Linux向け数式処理システム
- フリー教育ソフトウェア
- 数学ソフトウェア
Android (オペレーティングシステム)
Android(アンドロイド)は、Googleが開発した汎用モバイルオペレーティングシステムである。Linuxカーネルやオープンソースソフトウェアがベースで、主にスマートフォンやタブレットなどのタッチスクリーンモバイルデバイス向けにデザインされている。PC用にはAndroid-x86、テレビ用にはAndroid TV、自動車用にはAndroid Auto、ウェアラブルデバイス用にはWear OS(旧:Android Wear)がある。世界で最もよく使われているオペレーティングシステムであり、2021年5月時点で30億台を超えるアクティブデバイスがある。 iPhoneと区別する為に、Androidスマートフォンをさす呼称としても使われる。。
見る SageMathとAndroid (オペレーティングシステム)
ARMアーキテクチャ
ARMアーキテクチャ(アームアーキテクチャ) とは、ARMホールディングスの事業部門であるARM Ltd.により設計・ライセンスされているアーキテクチャである。組み込み機器や低電力アプリケーションからスーパーコンピューターまで様々な機器で用いられている。
ATLAS
ATLASと表記されるものには、以下のものがある。
多変量解析
多変量解析(たへんりょうかいせき、analysis)は、多変量のデータの特徴を要約する方法のことである。データの要約により、データの特徴を単純化し、分析しやすくする。 当初は統計学の理論として生まれたが、コンピュータの発展とともに他の分野でも応用されるようになっていった。
対称型マルチプロセッシング
対称型マルチプロセッシング(たいしょうがたマルチプロセッシング、Symmetric Multi-Processing、SMP)とは、物理メモリを共有して管理する「メモリ共有型並列コンピューティング(マルチプロセッシング)方式」のこと。 対義語は(Asymmetric Multi-Processing、AMP)。
任意精度演算
任意精度演算(にんいせいどえんざん)とは、数値の精度を必要ならいくらでも伸ばしたりできるような演算システム(実際上は利用可能なメモリ容量に制限されるが)による演算である。
地理情報システム
地理情報システム(ちりじょうほうシステム、英語:geographic information system(s)、略称:GIS)とは、地理情報および付加情報をコンピュータ上で作成・保存・利用・管理・表示・検索するシステムを言う。 人工衛星、現地踏査などから得られたデータを、空間、時間の面から分析・編集することができ、科学的調査、土地、施設や道路などの地理情報の管理、都市計画などに利用される。 コンピュータの発展にともなって膨大なデータの扱いが容易になり、リアルタイムでデータを編集(リアルタイム・マッピング)したり、シミュレーションを行ったり、時系列のデータを表現するなど、従来の紙面上の地図では実現不可能であった高度な利用が可能になってきている。
マルチコア
マルチコア (multiple core, multi-core) は、1つのプロセッサ・パッケージ内に複数のプロセッサ・コアを搭載する技術であり、マルチプロセッシングの一形態である。 外見的には1つのプロセッサでありながら論理的には複数のプロセッサとして認識されるため、同じコア数のマルチプロセッサと比較して実装面積としては省スペースであり、プロセッサコア間の通信を高速化することも可能である。主に並列処理を行わせる環境下では、プロセッサ・チップ全体での処理能力を上げ性能向上を果たすが、アムダールの法則による制約を受ける。このプロセッサ・パッケージ内のプロセッサ・コアが2つであればデュアルコア (dual-core)、3つであればトリプルコア (triple-core)、4つであればクアッドコア (quad-core)、6つであればヘキサコア (hexa-core)、8つは伝統的にインテルではオクタルコア (octal-core)、AMDではオクタコア (octa-core) と呼ばれるほか、オクトコア (octo-core) とも呼ばれる。さらに高性能な専用プロセッサの中には十個以上ものコアを持つものがあり、メニーコア (many-core) と呼ばれる。
バイナリ
バイトであり、318バイトのデータである。 バイナリ、バイナリー(binary)とは、算術的な用法では二進法のことであるが、情報技術においては、コンピュータが直接的に処理するために2進数で表現されるデータ(バイナリデータ)のことを指して用いられる。
ユーザインタフェース
ユーザインタフェース(User Interface、 UI)または使用者インタフェースは、機械、特にコンピュータとその機械の利用者(通常は人間)の間での情報をやりとりするためのインタフェースである。これには長音符の有無などによる表記ゆれが見られるが、本記事では「ユーザインタフェース」で統一する。ユーザインタフェースは以下の手段を提供する。
ワシントン大学 (ワシントン州)
ワシントン大学(ワシントンだいがく、、略称: UW)は、ワシントン州シアトルに本部を置くアメリカ合衆国の州立大学。1861年創立。ワシントン州の成立以前から存在する名門大学のひとつであり、米国太平洋岸北西部の中では最大規模。公共政策分野のエバンズ公共政策大学院(Evans School)は、全米TOP10で名高い。医学大学院のワシントン大学医学部(UWSOM)は全米TOP15前後となっている。また、ロースクールのワシントン大学ロースクール(UW Law)と経営大学院(MBA提供校)のフォスター・スクール・オブ・ビジネス(UW Foster)は全米TOP25となっている。
プログラミング言語
プログラミング言語(プログラミングげんご、)とは、プログラムを記述するための人工言語。コンピュータプログラムを書くために考案された、正確に定義された記号と規則のしくみ。以前は、しばしばプログラム言語と表記された。
プログラム (コンピュータ)
JavaScriptで書かれたコンピュータプログラムのソースコード コンピュータプログラム(computer program)は、コンピュータに対する命令(処理)を記述したものである。programの原義は、前もって()書く()であり、いわゆるプログラミング言語の世代に応じて意味合いは変わっている。プログラム内蔵方式のコンピュータのCPUには、CPUで実行するプログラムの命令が必要である。
パーソナルコンピュータ
パーソナルコンピュータ(personal computer)は、個人によって占有されて使用されるコンピュータのことである。 略称はパソコン、またはPC(ピーシー)。ただし「PC」という略称は、特にPC/AT互換機を指す場合もある。1980年頃は「パーコン」と呼ぶ人もいたが、現在では「パーコン」とは呼ばれない。
フロントエンド
フロントエンド(front-end)とバックエンド(back-end)は、プロセスの最初と最後の工程を指す一般的用語である。フロントエンドは各種入力をユーザーから収集し、バックエンドが使える仕様に合うようにそれを加工する。フロントエンドとバックエンドの結合部はインタフェースと呼ばれる。
初等関数
初等関数(しょとうかんすう、)とは、以下の一変数関数、及びこれらの関数を有限回合成して得られる合成関数の総称である。
分散コンピューティング
分散コンピューティング(ぶんさんコンピューティング、distributed computing)とは、プログラムの個々の部分が同時並行的に複数のコンピュータ上で実行され、各々がネットワークを介して互いに通信を行いながら全体として処理が進行する計算手法のことである。複雑な計算などをネットワークを介して複数のコンピュータを利用して行うことで、一台のコンピュータで計算するよりスループットを上げようとする取り組み、またはそれを実現する為の仕組みである。分散処理(ぶんさんしょり)ともいう。並列コンピューティングの一形態に分類されるが、一般に並列コンピューティングと言えば、同時並行に実行する主体は同じコンピュータシステム内のCPU群である。ただし、どちらもプログラムの分割(同時に実行できる部分にプログラムを分けること)が必須である。分散コンピューティングではさらに、それぞれの部分が異なる環境でも動作できるようにしなければならない。例えば、2台の異なるハードウェアを使ったコンピュータで、それぞれ異なるファイルシステム構成であっても動作するよう配慮する必要がある。
アメリカ国立科学財団
アメリカ国立科学財団(アメリカこくりつかがくざいだん、National Science Foundation, NSF)は、アメリカ合衆国の科学・技術を振興する目的で1950年に設立された連邦機関である。 数学、コンピュータ科学、社会科学といった分野まで含む、アメリカ国立衛生研究所(NIH)が管轄する医学分野を除く幅広い科学・工学分野に対する支援を行っている。年間予算は70.3億ドル(2012年度)。米国の大学における基礎研究に対する米連邦政府からの支援の内、およそ20%を担当している。NIHといった他の研究費配分機関と異なり、自前の研究所を持たず(極地プログラムを除く)、大学等の外部機関に研究費を交付することに特化している。毎年約10000件の資金(グラント)を交付しているが、主な交付先は個人または少人数からなるグループである。その他には、研究センター支援、機器・施設整備のための資金提供(ファンド)を行っている。これによって、160個以上のノーベル賞を受賞した研究が行われるなど、多くの革新的な研究成果がNSFの支援によって生み出されている。
インタフェース (情報技術)
情報技術において、インタフェース(interface)は、情報の授受を行うシステム間のプロトコル、または、その接続を行う部分をいう。コンピュータシステムの各部、あるいはシステム間の接続や、人間と機械の間の入出力部(ヒューマンマシンインタフェース)などがある。インターフェイスあるいはインターフェースなどと表記することもある。
ウィキ
世界初のウィキを開発したウォード・カニンガム。 Wiki Wiki という表示。ここではダニエル・K・イノウエ国際空港(ハワイ・ホノルル)のシャトルバスの名前。 ウィキ(wiki)とは、不特定多数のユーザーが共同してウェブブラウザから直接コンテンツを編集するシステム、またはそれを採用したウェブサイトである。一般的なウィキにおいては、コンテンツはマークアップ言語によって記述されるか、リッチテキストエディタによって編集される。 ウィキはウィキソフトウェア(ウィキエンジンとも呼ばれる)上で動作する。ウィキソフトウェアはコンテンツ管理システムの一種であるが、サイト所有者や特定のユーザーによってコンテンツが作られるわけではないという点において、ブログなど他のコンテンツ管理システムとは異なる。またウィキには固まったサイト構造というものはなく、サイトユーザーのニーズに沿って様々にサイト構造を作り上げることが可能であり、そうした点でも他のシステムとは異なっている。
見る SageMathとウィキ
ウェブブラウザ
ウェブブラウザ(インターネットブラウザ、web browser)とは、パソコンやスマートフォン等を利用してWebサーバに接続するためのソフトウェアであり、ウェブページを表示したり、ハイパーリンクをたどったりするなどの機能がある。単にブラウザ(ブラウザー)とも呼ばれる。 主なウェブブラウザとして、Google Chrome、Safari、Microsoft Edge、Mozilla Firefox、Opera、Internet Explorer、Vivaldi等がある。Windows 7など古いOSではサポートが終了しているものがある。
ウェブアプリケーション
ウェブアプリケーション(Web application)は、ウェブ(World Wide Web)技術を基盤とした'''アプリケーション'''ソフトウェアである。
オープンソース
オープンソース(open source)は、専らを促進する目的で、コンピュータプログラムの著作権の一部を放棄し、ソースコードの自由な利用および頒布を万人に許可するソフトウェア開発モデル。この開発モデルでは、コンピュータで実行できるが人間が容易に理解・変更できないオブジェクトコードだけでなく、ソースコードも含めて自由な再頒布を許可するライセンスのもとで公開する。 オープンソースを推進するために設立されたオープンソース・イニシアティブは、ソフトウェアがオープンソースであるための要件を定めた「オープンソースの定義」を策定した。
オブジェクト指向
オブジェクト指向(オブジェクトしこう、object-oriented)は、ソフトウェア開発とコンピュータプログラミングのために用いられる考え方である。元々は特定のプログラミングパラダイムを説明するために考案された言葉であり、その当時の革新的技術であったGUI(グラフィカル・ユーザーインターフェース)とも密接に関連していた。明確な用語としては1970年代に誕生し、1981年頃から知名度を得て、1986年頃からソフトウェア開発のムーブメントと化した後に、1990年頃にはソフトウェア開発の総合技術としての共通認識を確立している。ソフトウェア開発における一つの標語のような扱い方もされている。 オブジェクトとは、プログラミング視点ではデータ構造とその専属手続きを一つにまとめたものを指しており、分析/設計視点では情報資源とその処理手順を一つにまとめたものを指している。
キャラクタユーザインタフェース
CLIの画面例。内容はGentoo LinuxでBashコマンドを実行したもの。 キャラクタユーザインタフェース (CUI)、キャラクタベースユーザインタフェース 、コンソールユーザインタフェース (CUI) 、またはコマンドラインインタフェース (CLI) は、キーボード等からの文字列を入力とし、文字列が表示されるウィンドウや古くはラインプリンタで印字される文字などを出力とする、ユーザインタフェースの様式である。キャラクタユーザインタフェースの語は日本語での使用が主流であり、英語圏やその日本法人などでは『command line interface』と称すのがほとんどで、英語版Wikipediaの表題もCommand line interfaceである。もっぱらグラフィカルユーザインタフェース (GUI) の対義語として使われる。
グラフ (データ構造)
6個の頂点と7本の枝からなるラベル付きグラフ グラフ(英: Graph)とは、ノード(頂点)群とノード間の連結関係を表すエッジ(枝)群で構成される抽象データ型、and・orその実装である具象データ型である。グラフ理論を基盤として、なんらかの証明が可能であったり、豊富なアルゴリズムが利用できること、などが特徴である。 グラフは G。
グラフィカルユーザインタフェース
GUIを提供するソフトウェアの1つ、GNOME グラフィカルユーザインタフェース(graphical user interface、略称:GUI(ジーユーアイ、グイ、グーイ))は、コンピュータグラフィックスとポインティングデバイスなどを用いる、グラフィカル(ビジュアル)であることを特徴とするユーザインタフェース。キャラクタユーザインタフェース (CUI) やテキストユーザインタフェース (TUI) と対比して語られることが多い。
コンピュータネットワーク
コンピュータネットワーク(computer network)は、複数のコンピュータを接続する技術。または、接続されたシステム全体。コンピュータシステムにおける「通信インフラ」自体、あるいは通信インフラによって実現される接続や通信の総体が(コンピュータ)ネットワークである、とも言える。
ストリーミングSIMD拡張命令
ストリーミングSIMD拡張命令(Streaming SIMD Extensions、略称:SSE)は、インテルが開発したCPUのSIMD拡張命令セット、およびその拡張版の総称である。後継の Advanced Vector Extensions (AVX) と Advanced Matrix Extensions (AMX) についても本項で記載する。
ソースコード
■) で示されているのが有効なコードである。 ソースコード(source code)は、プログラミング言語で書かれた、コンピュータプログラムを表現する文字列(テキストまたはテキストファイル)である。
ソフトウェア
ソフトウェア(software)は、コンピューター分野でハードウェア(物理的な機械)と対比される用語で、何らかの処理を行うコンピュータ・プログラムや、さらには関連する文書などを指す。
Basic Linear Algebra Subprograms
Basic Linear Algebra Subprograms(BLAS)は数値線形代数の基礎的演算に必要な関数を定義するAPIである。ベクトル・行列演算を含む38の関数からなるLevel 1 BLASが1979年に発表されたのち、Level 2 および Level 3 まで拡張された。多数の実装が作成・整備され続けており、この分野におけるデファクトスタンダードとなっている。BLASの基礎演算を利用してLAPACKなどの上位パッケージが構築されており、科学技術計算・高性能計算で多用される。 BLASの関数を多用するソフトウェアにおいてBLAS実装(ライブラリ)の質は速度に直結する。高度な最適化は実装が動くハードウェアに依存するため、多くのハードウェアベンダーが自社デバイスに特化したライブラリを提供している(インテル:Intel oneAPI Math Kernel Library)。オープンソースの最適化 BLAS 実装として OpenBLAS などがある。
見る SageMathとBasic Linear Algebra Subprograms
C++
C++(シープラスプラス)は、汎用プログラミング言語のひとつである。派生元であるC言語の機能や特徴を継承しつつ、表現力と効率性の向上のために、手続き型プログラミング・データ抽象・オブジェクト指向プログラミング・ジェネリックプログラミングといった複数のプログラミングパラダイムが組み合わされている。C言語のようにハードウェアを直接扱うような下位層向けの低水準言語としても、複雑なアプリケーションソフトウェアを開発するための上位層向け高水準言語としても使用可能である。アセンブリ言語以外の低水準言語を必要としないこと、使わない機能に時間的・空間的コストを必要としないことが、言語設計の重要な原則となっている。
見る SageMathとC++
CAD
CAD(キャド、computer-aided design)は、コンピュータ支援設計とも訳され、コンピュータを用いて設計をすること、あるいはコンピュータによる設計支援ツールのこと(CADシステム)。人の手によって行われていた設計作業をコンピュータによって支援し、効率を高めるという目的からきた言葉である。 CADを「コンピュータに支援される製図(システム)」と解する場合は「computer-assisted/aided drafting」、「computer-assisted/aided drawing」を指し、同義として扱われることもある。 設計対象や目的によりCADD()、CAID()、CAAD()などと区分される場合もある。
見る SageMathとCAD
C言語
C言語(シーげんご、C programming language)は、1972年にAT&Tベル研究所のデニス・リッチーが主体となって開発した汎用プログラミング言語である。英語圏では「C language」または単に「C」と呼ばれることが多い。日本でも文書や文脈によっては同様に「C」と呼ぶことがある。制御構文などに高水準言語の特徴を持ちながら、ハードウェア寄りの記述も可能な低水準言語の特徴も併せ持つ。基幹系システムや、動作環境の資源制約が厳しい、あるいは実行速度性能が要求されるソフトウェアの開発に用いられることが多い。後発のC++やJava、C#など、「C系」と呼ばれる派生言語の始祖でもある。 ANSI、ISO、またJISにより言語仕様が標準規格化されている。
見る SageMathとC言語
CPU
CPU(シーピーユー、Central Processing Unit)、中央性処理装置(ちゅうおうせいしょりそうち)または中央演算処理装置(ちゅうおうえんざんしょりそうち)は、コンピュータの主要な構成要素のひとつで、コンピュータ内の他の装置・回路の制御やデータの演算などを行う装置。
見る SageMathとCPU
Cython
Cython(サイソン)は、C言語によるPythonの拡張モジュールの作成の労力を軽減することを目的として開発されたプログラミング言語である。その言語仕様はほとんどPythonのものと同じ (上位互換) だが、Cの関数を直接呼び出したり、C言語の変数の型やクラスを宣言できるなどの拡張が行われている。Cythonの処理系ではソースファイルをCのコードに変換し、コンパイルすればPythonの拡張モジュールになるようにして出力する。 このようにCとPythonをシームレスに取り混ぜて扱うCythonの利点の一つは、既にあるPythonコードを、いくつかの静的な型 (static type) を宣言して律速なループをうまく書き直すだけで、コンパイル後のコードの実行速度がC言語並みに高速化されることである。複雑なC言語インターフェイスを使う必要はない。コーディングのしやすさと可読性はPythonと変わらない、つまりなままである。数値計算/配列操作では、多くの場合実行速度がおおよそ100倍になる。PythonのJITコンパイラであるPsycoの場合はおおよそ4倍である。
組合せ (数学)
数学において、組合せ(くみあわせ、combination, choose)とは、有限個の互いに区別可能な要素の集まりから有限個を選び出す方法である。あるいは選び出した要素をその“並べる順番の違いを区別せずに”並べたもののことである。組合せは組合せ数学と呼ばれる数学の分野で研究される。身近な例でいえば、デッキ(山札)から決まった数のカード(手札)を引くことや、ロトくじなどがその例である。 日常では組合せとは要素が2個以上の物を示すが、数学においては要素が1個や0個の場合も組合せの内に含めて考える。
複素数
2。
見る SageMathと複素数
車輪の再発明
車輪の再発明(しゃりんのさいはつめい、reinventing the wheel)とは、「広く受け入れられ確立されている技術や解決法を(知らずに、または意図的に無視して)再び一から作ること」を指すための慣用句。誰でも直観的にその意味が分かるように、車輪という誰でも知っていて古くから広く使われている既存の技術を比喩の題材として使った慣用表現で、世界中で使われている。
関数型プログラミング
関数型プログラミング(かんすうがたプログラミング、functional programming)とは、数学的な意味での関数を主に使うプログラミングのスタイルである。 functional programming は、関数プログラミング(かんすうプログラミング)などと訳されることもある。 (functional programming language)とは、関数型プログラミングを推奨しているプログラミング言語である。略して関数型言語(functional language)ともいう。
自由ソフトウェア
自由ソフトウェア(じゆうソフトウェア、)See とは、ユーザーがどのような目的に対しても実行することを許可し、また、プログラムについて研究したり、変更したり、それを配布したりする自由も認めることを条件として配布されるコンピュータソフトウェアのことである (gnu.org)。自由ソフトウェアには、プログラムの対価として支払った価格とは無関係に、ユーザーが(個人で、あるいは、コンピュータプログラマーと協力して)ソフトウェアのコピーを用いて、自身が望むことを(自由ソフトウェアを用いて利益を獲得することを含めて)する自由が存在するということである (gnu.org)。コンピュータプログラムが自由であるとみなされる必要十分条件は、本質的には(開発者のみではなく)すべてのユーザーに第一にプログラムをコントロールする権利があるということであるとされる。したがって、ユーザーが所有する装置が「自由」であるためには、プログラムによって何が行われるのかを、ユーザーが本質的にはコントロールできなければならない。
Fast Library for Number Theory
The Fast Library for Number Theory (FLINT) は数論の計算を行うために高度に最適化されたC言語のライブラリである。現在 FLINT は多項式の計算や二次ふるい法 (en) などを実装している。FLINT は GNU MP を利用するように作られており、GPL にしたがった利用、再配布などが行えるようになっている。開発はウォーリック大学のウィリアム・ハート (en) およびハーバード大学のデイビッド・ハーベイ (en) によって行われており、PARI/GP や NTL に迫る演算速度を目指している。
見る SageMathとFast Library for Number Theory
File Transfer Protocol
File Transfer Protocol(ファイル・トランスファー・プロトコル、FTP、ファイル転送プロトコル)は、コンピュータネットワーク上のクライアントとサーバの間でファイル転送を行うための通信プロトコルの一つである。
見る SageMathとFile Transfer Protocol
Fortran
1956年に発行された最初のFortran解説書『The Fortran Automatic Coding System for the IBM 704』 Fortran(フォートラン)は科学技術計算に向いた手続き型プログラミング言語。1954年にIBMのジョン・バッカスが考案したコンピュータ用で世界最初の高水準言語であり、その後も改訂されて使用されている。
GAP (数式処理システム)
GAP (ギャップ、Groups, Algorithms and Programming) は計算機で群を扱うために開発された計算機代数システムである。
GD Graphics Library
GD グラフィック ライブラリ (GD Graphics Library) はトーマス・ボーテル (Thomas Boutell) 他によって作られたイメージを動的に操作するライブラリである。本来のプログラミング言語はANSI Cであるが、他の多くのプログラミング言語とのインタフェースが作成されている。GIF、JPEG、PNG、WBMP を生成できる。 1999年に米ユニシスがGIFに使用されている LZW圧縮法の非商業的なソフトウェア・プロジェクトに許可していた無償のライセンスを取り消したことにより、GIF を操作する機能は削除された。2004年7月7日、ユニシスの特許が世界中で失効した時に、GIFを操作する機能が再び実装された。
見る SageMathとGD Graphics Library
GiNaC
GiNaCとは、GPLのもとでリリースされているフリーの数式処理のためのC++ライブラリである。名称は、GiNacは数式処理システムではない(GiNaC is Not a Computer Algebra System)の再帰的頭字語である。この事実と異なる名称は、GNUプロジェクトをさりげなく言及している。ファインマン・ダイアグラムを計算するためのソフトウェアである xloops から利用でき、Maple の代替となることを目的に開発されているが、特に高エネルギー物理学に特化したものではない、としている。 他のほとんどの数式処理システムと異なり、GiNaCはユーザーインタフェースのための高レベルインタフェースを提供しない。この点はどちらかというと、利用者がGiNaCの実装言語であるC++言語で、記号アルゴリズムを直接記述することを促している。代数構文は、C++オペレータのオーバーロードによって実現される。
GNU General Public License
GNU一般公衆ライセンス(GNU General Public License、GNU GPLまたは、単にGPL) とは、GNUプロジェクトのためにリチャード・ストールマンにより作成されたフリーソフトウェアライセンスである。八田真行の日本語訳ではGNU 一般公衆利用許諾書と呼んでいる。現在、GNU公式サイト日本語ページではGNU一般公衆ライセンスと表記されている。
見る SageMathとGNU General Public License
GNU Scientific Library
GNU Scientific Library (GSL) は、C言語で記述された科学技術計算関数のライブラリである。オープンソースであり、GNU General Public Licenseのもとで配布されている。 このプロジェクトは1996年にロスアラモス国立研究所のDr. M. GalassiとDr.
見る SageMathとGNU Scientific Library
GNU TeXmacs
GNU TeXmacsはGNUプロジェクトで開発されている科学技術に特化したワープロまたは組版のフリーソフトウェアである。TeXmacsはその機能にTeXとGNU Emacsの長所を取り入れており、ソースコードはどちらからも独立して書かれているが、のフォントを利用する。TeXmacsはJoris van der Hoevenが開発、メンテナンスを行っている。TeXmacsを使うことで、WYSIWYGなGUIで構造化された文書を作成できる。また文書スタイルを新しく定義することもできる。TeXmacsは高品質な組版アルゴリズムとフォントにより、商用に耐えうる品質の文書を生成することができる。
Google Summer of Code
Google Summer of Code (Googleサマーオブコード 略称GSoC) は2005年の5月から8月に初めて開催され、その後毎年行われている恒例のイベントで、Googleがフリーソフトウェアやオープンソースのプロジェクトを指定し、その夏の間に課題をクリアした数百人の学生に賞金を支払う制度である。参加資格は18歳以上の学生で、これを補完する無制限部門 Google Highly Open Participation Contestは18歳未満を対象に含める。 イベントの名称は1967年の Summer of Love(1960年代のカウンターカルチャー)に由来し、発想そのものはGoogle創業者のセルゲイ・ブリンとラリー・ペイジから引き継いでいる"Google's Summer of Code concludes" (first year), Bruce Byfield, September, 2005, webpage:.。プログラムマネージャのレスリー・ホーソン Leslie Hawthorn は2006年からプロジェクトに関わり、2007年に管理者となった。
見る SageMathとGoogle Summer of Code
Graphics Interchange Format
(グラフィックス・インターチェンジ・フォーマット、略称GIF、ジフ)とはCompuServeのPICSフォーラムで提唱された画像ファイルフォーマットの一つ。LZW特許を使用した画像圧縮が可能。一般的に用いられている拡張子は.gif。「ギフ」または「ジー・アイ・エフ」と読まれることもあるが に "GIF" が選出された際のインタビューにおいて設計者のは「jif(ジフ)」が正しい読み方と述べている。
見る SageMathとGraphics Interchange Format
GSL
* GNU Scientific Library。
見る SageMathとGSL
HTTPS
HTTPS(Hypertext Transfer Protocol Secure)は、HTTP通信をより安全(セキュア)に行うためのURIスキームである。「HTTPS」はプロトコルではなく、SSL/TLSプロトコルなどによって提供されるセキュアな接続の上でのHTTP通信をさす。
Hypertext Transfer Protocol
Hypertext Transfer Protocol(ハイパーテキスト・トランスファー・プロトコル、HTTP)はアプリ間コネクション上のリクエスト/レスポンス型・ステートレス・メッセージ指向通信プロトコルである"The Hypertext Transfer Protocol (HTTP) is a family of stateless, application-level, request/response protocols...
見る SageMathとHypertext Transfer Protocol
IA-32
IA-32(アイエー32、Intel Architecture 32)は80386の開発の際に定義された、16ビットx86を32ビットに拡張した命令セットアーキテクチャである。
Internet Message Access Protocol
Internet Message Access Protocol(インターネット メッセージ アクセス プロトコル、IMAP(アイマップ)) は、メールサーバ上の電子メールにアクセスし操作するためのプロトコル。クライアントとサーバがTCPを用いて通信する場合、通常サーバ側はIMAP4ではポート番号143番、IMAP over SSL (IMAPS) では993番を利用する。
見る SageMathとInternet Message Access Protocol
Internet Relay Chat
Internet Relay Chat(インターネット・リレー・チャット、略称: IRC)とは、サーバを介してクライアントとクライアントが会話をする枠組みの名称である。インスタントメッセンジャーのプロトコルの一つに分類される。また、これに基づいて実装されるソフトをIRCクライアントと呼び、しばし略してクライアントもIRCと呼ばれる事がある。文章のみをやり取りして会話を行い、DCCなどを利用することでファイル転送も対応する。 TCPを通信用のプロトコルとして主に用いる。TLSで暗号化することもできる。
見る SageMathとInternet Relay Chat
IOS
WWDC 2008の基調講演で、iPhoneの新しいOSの対応言語を紹介するスティーブ・ジョブズ とは、Appleが開発および提供する、iPhoneとiPod touch向けのモバイルオペレーティングシステム(組み込みプラットフォーム)であり、BSD系UNIXから開発されたNeXTのOPENSTEPを起源とするMacintosh専用のmacOSをモバイル機器用途に改変したものである。2023年9月時点で、最も新しいバージョンであるiOS 17は、iPhone SE(第2世代)やiPhone XS/XS Max/XRとそれ以降に発売されたiPhoneに対応している。 バージョンのアップデートは無料で行えるが、アップデート後に古いバージョンへ戻す行為(いわゆるダウングレード)を行うことはできないことには多くの批判がある。なお、Appleの公式サポートページには、「ソフトウェアを常に最新の状態にしておくことは、Apple製品を安全に使うための最も重要な方策の一つ」との記載がされている。
見る SageMathとIOS
IPython
IPython(アイパイソン)はPythonを対話的に実行するためのシェルである。CPython内蔵の対話的に実行するためのシェルと比べ、機能、対話的実行のための文法などが追加されてあり、コードのシンタックスハイライトおよびタブによる補完が行える。IPythonの開発はNumFOCUSによって財政的に支援されている。
Itanium
Itanium(アイテニアム)は、インテルが2001年にリリースした、64ビットマイクロプロセッサ。ヒューレット・パッカード (HP) と共同開発した高性能サーバ向けの命令セットアーキテクチャであるIA-64を初めて採用した。 Itanium 2(アイテニアムツー)は、翌2002年に発表されたItaniumの後継で、3次キャッシュを内蔵させるなど性能の向上を図った。2008年2月25日、インテルはItanium 2の表記を「Itanium 9000」などに変更した。これはプロセッサナンバーの採用によりItaniumとItanium 2を区別する必要性が薄れたこと、ブランド力の強化などがあげられる。
Java
Java(ジャバ、ジャヴァ)は、汎用プログラミング言語とソフトウェアプラットフォームの双方を指している総称ブランドである。オラクルおよびその関連会社の登録商標である。1996年にサン・マイクロシステムズによって市場リリースされ、2010年に同社がオラクルに吸収合併された事によりJavaの版権もそちらに移行した。 プログラミング言語Javaは、C++に類似の構文、クラスベースのオブジェクト指向、マルチスレッド、ガベージコレクション、コンポーネントベース、分散コンピューティングといった特徴を持ち、平易性重視のプログラム書式による堅牢性と、仮想マシン上での実行によるセキュリティ性およびプラットフォーム非依存性が理念とされている。
Jmol
Jmolは化学や生化学分野の教育研究に用いられる、3次元コンピュータグラフィックスの分子シミュレーションソフトウェアである。Javaで組まれておりMicrosoft Windows、macOS、Linux、 UNIXで動作し、GNU Lesser General Public License Ver2.0で公開されたFLOSSである。 スタンドアロン版及びソフトウェア開発キット は、BioclipseやTavernaなど他のJavaアプリケーションと統合できる。 人気の機能として、球棒モデル、空間充填モデル、リボンダイヤグラムなど様々に分子をウェブページに表示できる上、Protein Data Bank (pdb)、Crystallographic Information File (cif)、MDL Molfile (mol)、Chemical Markup Language (CML)など多様な化学ファイルフォーマットに対応している。Java不要でJavaScriptで動作するHTML5版のJSmolも利用できる。
Konqueror
Konqueror (コンカラー、コンケラー、コンキュラー)は、KDEデスクトップ環境の中核として設計されたファイルビューアとしての機能を提供するウェブブラウザおよびファイルマネージャである。元々はボランティアによって開発されたもので、Linux、FreeBSDなどの Unix系オペレーティングシステムのほか、WindowsやmacOS上でも動作する。KonquerorはKDEBaseパッケージ内の他のコンポーネントと同様にGNU General Public Licenseの下で配布されている。
LAPACK
LAPACK (Linear Algebra PACKage)は数値線形代数のための数値解析ソフトウェアライブラリで、線型方程式や線型最小二乗問題、固有値問題、特異値問題等を数値的に解くために利用される。本ライブラリは複素数または実数を成分とする行列を扱うことが可能であり、LU分解やコレスキー分解、QR分解、シュア分解等の行列の分解を行うためのサブルーチンを含む。サブルーチンは単精度版と倍精度版が提供される。のLAPACKの初版はFORTRAN 77 で実装されていたが、現在はFortran 90が用いられている。LAPACK 3.4.0からはC言語インターフェースであるLAPACKEが統合され、C言語やC++からの利用が容易になった。
LaTeX
(ラテック、ラテフ、など。詳細は後述)とは、レスリー・ランポートによって開発されたテキストベースの組版処理システムである。電子組版ソフトウェアTeXにマクロパッケージを組み込むことによって構築されており、単体のに比べて、より手軽に組版を行うことができるようになっている。と表記できない場合は「LaTeX」と表記する。 の各派生エンジンに対しても と同等なフォーマットが提供されていることがほとんどであり、多くの場合において という名称はそれらも含めた総称として用いられている。 専門分野にもよるが、学術機関においては標準的な論文執筆ツールとして扱われている。
Linux
Linux(リナックス、他の読みは#「Linux」の読み方で後述)とは、狭義にはUnix系オペレーティングシステムカーネルであるLinuxカーネルを指し、広義にはそれをカーネルとして周辺を整備したシステム全体のことをいう(GNU/Linuxも参照)。
MacOS
macOS(マックオーエス)は、Appleが開発・販売するMacのオペレーティングシステムである。当初の名称はMac OS X(マックオーエステン)で、のちにOS X(オーエステン)に改められていた(後述)。 技術的には直系ではないが、Classic Mac OS(Mac OS、System)の後継として、新たにBSD系UNIXをベースに開発された。
Macsyma
Macsyma (Project MAC’s SYmbolic MAnipulator) は、1968年から1982年までMITの Project MAC の一環として開発された数式処理システムであり、その後商用化された。世界初の数式処理システムで、初期のエキスパートシステムの1つであり、その様々なアイデアが後の Mathematica や Maple といったシステムに影響を与えた。
Magma (数式処理システム)
Magmaは代数学、数論、代数幾何学、組合せ数学の問題を解くために開発された計算機代数ソフトウェアである。Magmaという名前は代数的構造のマグマから取られている。MagmaはUnix系あるいはLinuxで実行できる。またはWindowsでも利用することができる。
Maple
Maple(メイプル)は、カナダの (以下 Maplesoft)によって開発されている数式処理ソフトウェアである。Maple は、記号計算、数値解析、データ処理、統計処理、可視化などを行うことができる。数学(四則演算、微積分、常微分方程式、偏微分方程式、数論、群論、グラフ理論、統計など)や物理に関する幅広い分野をカバーしている。日本では、Maplesoft Japan や代理店により販売される。「Maple」という名前は、カナダの国旗を象徴している。
Mathematica
Mathematica(マセマティカ)は、スティーブン・ウルフラムが考案し広く使われている数式処理システム。ウルフラム・リサーチの、ウルフラムが率いる数学者とプログラマのチームが開発し、同社()により販売されている。Mathematicaは項書き換えを基本として、複数のパラダイムをエミュレートするプログラミング言語としても強力である。
MATLAB
MATLAB(マットラブまたはマトラボ)は、アメリカ合衆国のMathWorks社が開発している数値解析ソフトウェアであり、その中で使うプログラミング言語の名称でもある。MATLABは、数値線形代数、関数とデータの可視化、アルゴリズム開発、グラフィカルインターフェイスや、他言語(C言語/C++/Java/Python)とのインターフェイスの機能を有している。MATLABは、主に、数値計算を扱う事ができるが、追加のオプションを使うことで、数式処理の能力を得ることができる。2019年時点でMATLABのユーザー数は400万人を超えており、100,000 以上の企業・政府・大学で、工学・理学・経済学など幅広い分野に利用されている。
Matplotlib
Matplotlibは、プログラミング言語Pythonおよびその科学計算用ライブラリNumPyのためのグラフ描画ライブラリである。オブジェクト指向のAPIを提供しており、様々な種類のグラフを描画する能力を持つ。描画できるのは主に2次元のプロットだが、3次元プロットの機能も追加されてきている。描画したグラフを各種形式の画像(各種ベクトル画像形式も含む)として保存することもできるし、wxPython、Qt、GTKといった一般的なGUIツールキット製のアプリケーションにグラフの描画機能を組みこむこともできる。MATLABの対話環境のようなものを提供するpylabというインタフェースも持っている。Matplotlibは、BSDスタイルのライセンスの下で配布されている。
Maxima
Maxima(マキシマ)は、LISP で記述された数式処理システムである。GNU GPL に基づくフリーソフトウェアであり、活発に開発が続けられている。Maple や Mathematica などの商用の数式処理システムと比べても遜色のない機能を持っている。
Microsoft Windows
Microsoft Windows(マイクロソフト ウィンドウズ)は、マイクロソフトが開発・販売するオペレーティングシステム (OS) の製品群である。グラフィカルユーザインタフェース (GUI) を採用している。Windows発売以前では高価なワークステーション(ハイエンドパソコンを上回る性能のデスクトップコンピュータ)でしか実現されていなかったマルチタスクやGUIを中心とした使い勝手の良さを、一般消費者が入手しやすい標準的な規格のパソコンに順次取り込んで行き、一般向けOSのシェアのほとんどを占めるに至り、今や大きな知名度を持つ。
MoinMoin
MoinMoin(モインモイン)はPythonで書かれたウィキクローンの一つ。ユルゲン・ヘルマン、トーマス・ヴァルドマンらによって開発された。ライセンスはGPLである。Moinとは北部ドイツ等で話されるフリジア語の挨拶の言葉であり、直訳すると「よき一日を!」という意味である。
Mozilla
Mozilla Mozilla(モジラ)は、旧ネットスケープコミュニケーションズ(以下ネットスケープ)や同社が開発したインターネット関連アプリケーションソフトウェアなどいくつかの意味を持つ。現在はウェブブラウザの「Mozilla Firefox(モジラ・ファイアーフォックス)」「Mozilla Application Suite(モジラ・アプリケーション・スイート)」を開発する 「Mozilla Foundation(モジラ・ファウンデーション)」(以降「ファウンデーション」)を指すことが多い。様々な意味を持つ「Mozilla」の単語には以下のものがある。
Mozilla Firefox
Mozilla Firefox(モジラ・ファイアーフォックス)は、Mozilla Foundationおよびその傘下のMozilla Corporationによって開発されているフリーかつオープンソースのウェブブラウザである。単にFirefoxと呼称されるほか、fireおよびfoxの和訳から火狐とも呼称される。 マルチプラットフォームに対応しておりMicrosoft Windows、macOS、Linuxで動作する。スマートフォンなどのモバイルデバイス (Android / iOS) にはFirefox for Mobileが利用可能である。 2004年にバージョン1がリリースされ、大きなシェアを獲得することに成功した。
Network News Transfer Protocol
Network News Transfer Protocol(ネットワーク ニュース トランスファー プロトコル、NNTP)は、インターネットアプリケーションプロトコルのひとつである。おもに、ネットニュース (Usenet) の記事を読むことと記事を投稿することのために使われる。記事はニュースサーバ間を相互に配送される。カリフォルニア大学サンディエゴ校のBrian Kantorとカリフォルニア大学バークレー校のPhil LapsleyがNetwork News Transfer Protocolの仕様であるを1986年の5月に完成させた。他の貢献者として、Baylor College of MedicineのStan BarberとApple ComputerのErik Fairがいる。
見る SageMathとNetwork News Transfer Protocol
NTL
NTL。
見る SageMathとNTL
NumPy
NumPyは、プログラミング言語Pythonにおいて数値計算を効率的に行うための拡張モジュールである。効率的な数値計算を行うための型付きの多次元配列(例えばベクトルや行列などを表現できる)のサポートをPythonに加えるとともに、それらを操作するための大規模な高水準の数学関数ライブラリを提供する。
Opera
Opera(オペラ)は、ノルウェーのソフトウェア開発会社、オペラ・ソフトウェア (Opera Software ASA) によって開発されているウェブブラウザである。法人としてのオペラ・ソフトウェアは、2016年7月、中国の奇虎360に6億米ドルで売却され同社の傘下に入った。
PARI/GP
PARI/GPは計算機代数アプリケーションであり、数論に関する様々な演算を行うために開発された。バージョン2.1.0からはフリーソフトウェアとしてGNU General Public Licenseにしたがって米フリーソフトウェア財団から公開、配布されている。PARI/GPはマルチプラットフォームであり、多くのプラットフォームで実行することができる。 特に、整数論 (因数分解、 代数的数理論、楕円曲線等) 、行列、多項式、冪級数、代数的数を扱う分野においては有用になるようにできている。
Python
Python(パイソン)はインタープリタ型の高水準汎用プログラミング言語である。
REDUCE (数式処理システム)
REDUCE(リデュース)は汎用の計算機代数アプリケーションである。主に物理学における利用を想定して開発された。
R言語
R言語(アールげんご)はオープンソース・フリーソフトウェアの統計解析向けのプログラミング言語及びその開発実行環境である。ファイル名拡張子は.r,.R,.RData,.rds,.rda。 R言語はニュージーランドのオークランド大学のRoss IhakaとRobert Clifford Gentlemanにより作られた。現在ではR Development Core Team によりメンテナンスと拡張がなされている。 R言語のソースコードは主にC言語、FORTRAN、そしてRによって開発された。 なお、R言語の仕様を実装した処理系の呼称名はプロジェクトを支援するフリーソフトウェア財団によれば『GNU R』であるが 、他の実装形態が存在しないために日本語での慣用的呼称に倣って、当記事では、仕様・実装を纏めて適宜にR言語や単にR等と呼ぶ。
見る SageMathとR言語
Safari
Safari(サファリ)は、Appleにより開発されているウェブブラウザ。レンダリングエンジンのWebKitを初めとするオープンソースソフトウェアをベースにしており、Mac標準搭載のウェブブラウザとして過去のInternet Explorer for MacやNetscape Navigatorを置き換える形で登場した。macOS、iOS、iPadOSに対応しており、2007年から2012年まではWindows版も提供されていた。
SciPy
SciPyは、Python言語から利用するための数学、科学、工学分野のための数値解析ソフトウェア・ライブラリである。自由かつオープンソースであり、Windows・Linux・macOSを含むオペレーティングシステムで動作する。ScientificPythonとは無関係である。
Secure Shell
Secure Shell(セキュア シェル、SSH)は、暗号や認証技術を利用して、安全にリモートコンピュータと通信するためのプロトコル。パスワードなどの認証を含むすべてのネットワーク上の通信が暗号化される。
SIAM (学会)
SIAM (Society for Industrial and Applied Mathematics) は米国に本部を置く応用数学の学会である。
SINGULAR (数式処理システム)
SINGULAR (正しくはスモールキャピタルで Singular) は多項式や環 (可換多元環) の演算を念頭に置いて開発された、計算機代数のソフトウェアである。 SINGULAR はフリーソフトウェアであり、GNU General Public Licence にしたがった利用、配布が認められている。可換でない環での演算は SINGULAR の派生ソフトウェアである PLURAL で実行できる。SINGULAR の開発は、Gert-Martin Greuel、Gerhard Pfister、Hans Schönemann の3人により1984年に始まった。
見る SageMathとSINGULAR (数式処理システム)
Solaris
Solaris(ソラリス)はサン・マイクロシステムズ(サン)によって開発され、UNIXとして認証を受けたオペレーティングシステム (OS) である。2010年1月27日のオラクルによるサン買収に伴い、現在の開発は同社が担っている。 プロプライエタリソフトウェアであるが、かつてコア部分(ONという:OS+NETの略)はOpenSolarisとしてオープンソース化されたことがある。しかし2010年8月以降、ONのソースコードの公開はされていない。 なお、公開されていたONのソースコードは、有志の手によってillumosプロジェクトとしてオープンソース化されたまま更新が続けられている。
SPARC
UltraSPARC IIマイクロプロセッサ SuperSPARC TMX390Z50GF H359403658C SPARC(スパーク、Scalable Processor Architecture)は、サン・マイクロシステムズが開発・製造したRISCベースのマイクロプロセッサであり、その命令セットアーキテクチャの名称である。 現在はSPARCインターナショナルの登録商標であり、複数のメーカーがこのアーキテクチャに基づいたプロセッサを製造している。 オープンソース版がある。
SQL
SQL(Structured Query Language)(エスキューエルよりデジタル大辞泉、IT用語がわかる辞典を参照、シークェル、シーケルよりDBM用語辞典を参照)は、関係データベース管理システム (RDBMS) において、データの操作や定義を行うためのデータベース言語(問い合わせ言語)、ドメイン固有言語である。プログラミングにおいてデータベースへのアクセスのために、他のプログラミング言語と併用される。 SQLが使われるRDBは「エドガー・F・コッドによって考案された関係データベースの関係モデルにおける演算体系である、関係代数と関係論理(関係計算)に基づいている」と宣伝されていることが多い。しかし、SQLについては、そのコッド自身をはじめ他からも、関係代数と関係論理にきちんと準拠していないとして批判されてはいる(The Third Manifesto - クリス・デイト、ヒュー・ダーウェン)。
見る SageMathとSQL
SQLite
SQLite(エスキューライト、エスキューエライト、なお、作者のHippはエスキューエルアイト(/ˌɛsˌkjuːˌɛlˈaɪt/)と発音している)は、パブリックドメインの軽量な関係データベース管理システム (RDBMS) である。
SymPy
SymPy は、プログラミング言語Pythonで記号計算を行うためのオープンソースのライブラリである(Python用の離散事象シミュレーションライブラリ と混同しやすい名前だが別ものである)。プロジェクトの目的は、完全な機能を持つ計算機代数システム (CAS; Computer Algebra System) を完備すること、さらに、拡張性を損なわないようにソースコードを可能な限り簡素に保つこと、とされている。SymPyはすべてPythonで書かれており、オプション機能であるプロット機能以外では、他の第三者製ライブラリに依存しない。 SymPyは、BSDライセンスを採用しているフリーソフトウェアである。Ondřej ČertíkとAaron Meurerを中心に開発が進められている。
Twisted
Twisted は Python で記述されたイベント駆動型のネットワークプログラミングフレームワークで、MIT License でライセンスされている。 Twisted プロジェクトはTCP、UDP、SSL/TLS、IPマルチキャスト、UNIXドメインソケットをサポートし、また、多数のプロトコル (HTTP、NNTP、IMAP、SSH、IRC、FTP など) をサポートしている。
X64
x64またはx86-64 とは、x86アーキテクチャを64ビットに拡張した命令セットアーキテクチャ。 実際には、AMDが発表したAMD64命令セット、続けてインテルが採用したIntel 64命令セット(かつてIA-32eまたはEM64Tと呼ばれていた)などを含む、各社のAMD64互換命令セットの総称である。x86命令セットと互換性を持っていることから、広義にはx86にx64を含む場合がある。 なお、インテルはIntel 64の他にIA-64の名前で64ビット命令セットアーキテクチャを開発・展開していたが、これは全くの別物であり、x64命令セット、x86命令セットのいずれとも互換性がない。 2023年4月にはIntelが、x64のLegacyモードを切り捨てることによりLongモードのみにしてサブセット化することで回路をシンプルにして性能向上するうえで問題になっているボトルネックを解消することを目標にしたX86-Sの提案の文書を公表した。もっとも、構想が発表されただけで、具体的な製品化に関する情報は発表されていない。
見る SageMathとX64
Zope Object Database
Zope Object Database (ZODB、ぞーぷ・おぶじぇくと・でーたべーす)とは、Pythonによるオブジェクトデータベースである。ウェブアプリケーションサーバであるZopeの中核技術として開発された。Zope の一部であるが、Zope と独立して利用できる。
見る SageMathとZope Object Database
数学
数学(すうがく)とは、数・量・図形などに関する学問であり、理学の一種。「算術・代数学・幾何学・解析学・微分法・積分法などの総称」とされる。 数学は自然科学の一種にも、自然科学ではない「形式科学」の一種にも分類され得る。
見る SageMathと数学
数式処理システム
数式処理システム(すうしきしょりシステム、英文名称:Formula Manipulation System)は、コンピュータを用いて数式を記号的に処理するソフトウェアである。 例えば式の展開として (x + 1)(x + 2)。
数式処理システムの一覧
本項は数式処理システムの一覧(すうしきしょりシステムのいちらん)である。
数値解析
1。
手続き型プログラミング
200x200ピクセル 手続き型プログラミング(てつづきがたプログラミング、procedural programming)は、コンピュータが実行すべき命令や手続き(プロシージャ)を順に記述していくことでプログラムを構成するスタイルのプログラミングパラダイムである。この「手続き」とは分類便宜上の用語であり、プログラミング言語によってはサブルーチン、関数、メソッドとも呼ばれているが、手続き型パラダイムの観点からは概ね同一視される。手続きはプログラム全体を区画した部分プログラムでもあり、一定量の計算ステップまたは命令コードのまとまりを、任意の定義名に結び付けて識別化したコードユニットである。手続き型プログラミングは命令型プログラミングの分類に属しており、厳密には命令型の部分集合だが、同一視されることもある。手続きの定義と呼び出しの機能をサポートし、プログラム全体を組み立てる土台とする言語を手続き型言語と呼ぶ。1958年のFORTRAN II、ALGOL、COBOLといった最も初期の高水準言語から導入されている。
.NET Framework
Microsoft.NET Framework(マイクロソフト ドットネット フレームワーク)は、マイクロソフトが開発していたアプリケーション開発・実行環境である。バージョン4.8をもって.NET Frameworkのメジャーアップデートは終了し、セキュリティとバグ修正のための更新は継続されるが、以降の新規開発における推奨環境は.NETとなった。 Windowsアプリケーションだけでなく、XML WebサービスやウェブアプリケーションなどWebベースのアプリケーションなども包括した環境となっている。一般に.NETという場合、.NET全体の環境を指す。現在はOSS版の.NET CoreやMonoも包括した技術仕様の総称を.NETと呼び、プロプライエタリの初期から存在する従来のWindows専用実装のみを.NET Frameworkと呼んで区別している。
参考情報
Linux向け数式処理システム
- Axiom (数式処理システム)
- GAP (数式処理システム)
- MATLAB
- Macsyma
- Magma (数式処理システム)
- Maple
- Mathematica
- Maxima
- MuPAD
- PARI/GP
- REDUCE (数式処理システム)
- SINGULAR (数式処理システム)
- SageMath
- SymPy
- Yacas
フリー教育ソフトウェア
- Anki
- Asymptote
- Celestia
- CrypTool
- Edubuntu
- Etoys
- Euphoria (プログラミング言語)
- GCompris
- GNU Chess
- GNU Octave
- GNU Smalltalk
- GRASS GIS
- Gnuplot
- KCalc
- KDE Education Project
- KStars
- Kiwix
- LMMS
- LOGO
- Marble (ソフトウェア)
- Maxima
- Mnemosyne
- PSPP
- SageMath
- Sakai Project
- Scilab
- Scratch (プログラミング言語)
- ScratchJr
- Scribus
- Smalltalk
- Squeak
- Stellarium
- Tux Paint
- オープンコースウェア
- ムードル
数学ソフトウェア
- DOT言語
- General Mission Analysis Tool
- Maple
- Mathematica
- Microsoft Mathematics
- SageMath
- Systems Tool Kit
- WIRIS
- ウルフラム・リサーチ
- 数学ソフトウェア
- 計算機 (Apple)
- 電卓 (Windows)
Sage (数式処理システム) 別名。