ブラウザよりも高速アクセス！
25 関係: ALGOL、任意精度演算、マサチューセッツ工科大学、フリーソフトウェア、アメリカ合衆国エネルギー省、クロスプラットフォーム、グラフィカルユーザインタフェース、CLISP、CMU Common Lisp、積分法、竹内薫、Emacs、講談社、FORTRAN、GNU General Public License、GNU TeXmacs、LISP、Macsyma、Maple、Mathematica、Project MAC、TeX、Ubuntu、WxWidgets、数式処理システム。
ALGOL
ALGOL（アルゴル）は、命令型プログラミング言語ファミリーの1つファミリー名は大文字/小文字をまじえて表記される場合 と、全て大文字で表記される場合 (ALGOL 68) がある。本項目では ALGOL で統一する。。名前「ALGOL」は「アルゴリズム言語」を意味する英語「algorithmic language」に由来する。1950年代中ごろに開発され、多くの言語に影響を及ぼし、ACMや教科書や学術論文などでアルゴリズム記述のデファクトスタンダードとして30年以上使われた。現代の多くの言語が「ALGOL系」あるいは「ALGOL風」(algol-like) とされているという意味で、ほぼ同世代の高水準言語である FORTRAN、LISP、COBOL に比べて最も成功したと言うこともできる。FORTRANで明らかとなった問題を防ぐよう設計され、BCPL、B、Pascal、Simula、Cといった様々なプログラミング言語に影響を与えた。ALGOLはLisp以外としては「begin と end で囲む」という構文によるブロック構造を導入し、制御構造を自在に入れ子（ネスト）にできる初の広まった言語となったFORTRANにはそのような構造は無い。COBOLではピリオドで全ての入れ子が終端するという仕様だったため（現在はend-ifなどを使う）、入れ子で書ける論理に制限があり、酷いバグの原因にもなりやすかった。。また構文の形式的定義を真剣に検討した最初のプログラミング言語でもあり、"Algol 60 Report" で導入されたバッカス・ナウア記法は、その後のコンピュータ言語等の構文の形式的定義を示す手法として（プログラミング言語だけに限られず）定番の記法となっている。.
新しい！!: MaximaとALGOL · 続きを見る »
任意精度演算
任意精度演算とは、数値の精度を必要ならいくらでも伸ばしたりできるような演算システム（実際上は利用可能なメモリ容量に制限されるが）による演算である。.
新しい！!: Maximaと任意精度演算 · 続きを見る »
マサチューセッツ工科大学
マサチューセッツ工科大学（英語: Massachusetts Institute of Technology）は、アメリカ合衆国マサチューセッツ州ケンブリッジに本部を置く私立工科大学である。1865年に設置された。通称はMIT（エム・アイ・ティー。「ミット」は誤用で主に日本、欧州の極めて一部で用いられる）。 全米屈指のエリート名門校の1つとされ、ノーベル賞受賞者を多数（2014年までの間に1年以上在籍しMITが公式発表したノーベル賞受賞者は81名で、この数はハーバード大学の公式発表受賞者48名を上回る）輩出している。最も古く権威ある世界大学評価機関の英国Quacquarelli Symonds（QS）による世界大学ランキングでは、2012年以来2017年まで、ハーバード大学及びケンブリッジ大学を抑えて6年連続で世界第一位である。 同じくケンブリッジ市にあるハーバード大学とはライバル校であるが、学生達がそれぞれの学校の授業を卒業単位に組み込める単位互換制度（Cross-registration system）が確立されている。このため、ケンブリッジ市は「世界最高の学びのテーマパーク」とさえも称されている。物理学や生物学などの共同研究組織を立ち上げるなど、ハーバード大学との共同研究も盛んである。 MITはランドグラント大学でもある。1865年から1900年の間に約19万4千ドル(これは2008年時点の生活水準でいうところの380万ドルに相当)のグラントを得、また同時期にマサチューセッツ州から更なる約36万ドル（2008年時点の生活水準で換算して700万ドルに相当）の資金を獲得しているD.
新しい！!: Maximaとマサチューセッツ工科大学 · 続きを見る »
フリーソフトウェア
フリーソフトウェア (free software) とは、ソフトウェアのうち、フリーソフトウェア財団が提唱する自由ソフトウェアを指す。大半のフリーソフトウェアは無償（フリー）で配布されているが、定義に従えば、ここでいうフリーソフトウェアについて一次配布が無償である必要は必ずしもない。 フリーソフトウェア財団はフリーソフトウェアの定義を提示している。ソフトウェアライセンスについてはフリーソフトウェアライセンスを参照。 定義に照らして自由ではない、すなわち改造や再配布などに制限が掛かっていたり、ソースコードが開示されていない、無償で利用できるソフトウェアとは異なる概念であり、この場合はフリーウェアもしくは無料ソフトと呼ぶことが望ましいとフリーソフトウェア財団はしている。 逆に定義に従ったソフトウェアであれば、一次的な配布が有償であってもフリーソフトウェアと呼ぶことができる。ただし、前述したように配布が自由であるため、ほとんどのフリーソフトウェアは無償で配布されている。 また、現状強い影響力を持つ定義として、フリーソフトウェア財団の定義の他に、DebianフリーソフトウェアガイドラインとそれをベースにしたOpen Source Initiativeのオープンソースの定義がある。.
新しい！!: Maximaとフリーソフトウェア · 続きを見る »
アメリカ合衆国エネルギー省
アメリカ合衆国エネルギー省（アメリカがっしゅうこくエネルギーしょう、United States Department of Energy、略称：DOE）は、アメリカ合衆国のエネルギー保障と核安全保障を担当する官庁である。その役割は核兵器の製造と管理、原子力技術の開発、エネルギー源の安定確保、及びこれらに関連した先端技術の開発と多岐にわたる。.
新しい！!: Maximaとアメリカ合衆国エネルギー省 · 続きを見る »
クロスプラットフォーム
プラットフォーム（cross-platform）とは、異なるプラットフォーム（例えばPC/AT互換機とMacintosh、あるいはWindows・macOS・FreeBSD・Linuxなどのように、仕様が全く異なる機械（ハードウェア）またはオペレーティングシステム）上で、同じ仕様のものを動かすことが出来るプログラム（ソフトウェア）のことを言う。同様の呼称にマルチプラットフォームがある。 また、家庭用ゲームにおいては「クロスプラットフォーム」と「マルチプラットフォーム」で意味が異なる場合がある。本項ではこのケースについても後述する。.
新しい！!: Maximaとクロスプラットフォーム · 続きを見る »
グラフィカルユーザインタフェース
GUIを提供するソフトウェアの1つ、GNOME グラフィカルユーザインタフェース('''G'''raphical '''U'''ser '''I'''nterface、GUI)は、コンピュータグラフィックスとポインティングデバイスなどを用いる、グラフィカル（ビジュアル）であることを特徴とするユーザインタフェース。キャラクタユーザインタフェース (CUI) やテキストユーザインタフェース (TUI) と対比して語られることが多い。.
新しい！!: Maximaとグラフィカルユーザインタフェース · 続きを見る »
CLISP
CLISPはCommon Lisp実装で、元々はアタリの為にBruno Haibleとミヒャエル・シュトール (Michael Stoll) が開発した。現在はGNUプロジェクトの1つである。CLISPはデバッガや、ソケットインタフェース、高レベル他言語インタフェース、しっかりとした国際化サポート、オブジェクトシステム（CLOSとMOP）と同様にインタプリタとバイトコードコンパイラの両方を含んでいる。C言語とCommon Lispで書かれている。 Bruno Haibleは当初はCLISPをGPL下に置こうとはしなかったが、公表されているリチャード・ストールマンと交わしたEメールにあるように、彼は結局そうする事を決めた。問題となる論点はCLISPがGNU Readline ライブラリの派生物なのかどうかと言う事だった。 CLISPは非常に移植性に優れ、ほぼ全てのUnixベースのオペレーティングシステムおよび、Windowsでも動作する。インタープリタのバイトコードは普通コンパイルされたネイティブバイナリより動作が遅いが、これは大きな問題であるとは限らない（特にI/OがボトルネックとなるWeb開発のようなアプリケーションの場合）。 ポール・グレアムはCLISPをViawebスタートアップのソフトウェアを動作させる為に使った。Viawebは最初のウェブアプリケーションであり、その一部はYahoo! Storesとして未だに存在している。.
新しい！!: MaximaとCLISP · 続きを見る »
CMU Common Lisp
CMU Common Lisp (CMUCL) はカーネギーメロン大学で実装が行われたCommon Lisp処理系のフリーソフトウェアである。 CMUCLはLinuxやBSDなどの多くのUnix系のプラットフォームで実行することができる。Windowsへの試験的な移植版もある。CMUCLからはSteel Bank Common Lispというソフトウェアが派生しており、またScieneer Common Lispという商用版もCMUCLから作られている。.
新しい！!: MaximaとCMU Common Lisp · 続きを見る »
積分法
積分法（せきぶんほう、integral calculus）は、微分法と共に微分積分学で対を成す主要な分野である。 実数直線上の区間 [a, b] 上で定義される実変数 x の関数 f の定積分 (独: bestimmte Integral, 英: definite integral, 仏: intégrale définie) は、略式的に言えば f のグラフと x-軸、および x.
新しい！!: Maximaと積分法 · 続きを見る »
竹内薫
竹内 薫（たけうち かおる、男性、1960年7月2日オフィス・トゥー・ワン - ）は、日本のサイエンスライター、作家。東京都生まれ。横浜市在住。オフィス・トゥー・ワン所属。湯川薫名義で小説も執筆している。.
新しい！!: Maximaと竹内薫 · 続きを見る »
Emacs
Emacs （イーマックス、）は、その拡張性を特徴としたテキストエディタのファミリーである。Emacsの中で最も広く使われている派生物はGNU Emacsであるが、そのマニュアルにはEmacsを「the extensible, customizable, self-documenting, real-time display editor」（拡張およびカスタマイズが可能で、自己文書化を行い、リアルタイム表示を行うエディタ）であると説明されている。最初のEmacs開発が1970年代中盤に開始されてから、その直系の子孫であるGNU Emacsが製作され、その開発がも続いている。 Emacsはユーザインタフェースと10,000を超える組み込みコマンドを持ち、ユーザーは作業自動化のためにこれらのコマンドをマクロと組み合わせることができる。さらに深い拡張性を提供するLISPプログラミング言語の方言であるEmacs Lisp (ELisp) はEmacs実装の主な特徴であり、ELispでユーザーや開発者はEmacs用の新しいコマンドやアプリケーションを書くことができる。Emacsの拡張機能として電子メール、ファイル、アウトライン、およびRSSフィードが書かれており、それ以外にもELIZA、ポン、ライフゲーム、ヘビゲーム、およびテトリスのクローンもある。ユーザーの中にはEmacs内部からテキスト編集だけでなくほとんど全ての作業を行うことができることに気づいた者もいる。 原典であるEMACSは1972年にCarl Mikkelson、、およびガイ・L・スティール・ジュニアらによりTECOエディタ用のEditor MACroSのセットとして書かれたものであり、TECOマクロエディタの概念にインスパイアされている。 最も有名かつ最も移植されたEmacsは、ストールマンによってGNUプロジェクトのために作成されたGNU Emacsである。XEmacsは1991年にGNU Emacsからフォークされた派生物である。GNU EmacsとXEmacsは類似のLISP方言を使い、互いに互換性のある部分が大半である。 Emacsはvi (Vim) と並びUNIX文化における伝統的なエディタ戦争の主要な当事者の2つである。Emacsは未だ開発中であるオープンソースプロジェクトの中で最古のものである。.
新しい！!: MaximaとEmacs · 続きを見る »
講談社
株式会社講談社（こうだんしゃ、英称：Kodansha Ltd.）は、日本の総合出版社。創業者の野間清治の一族が経営する同族企業。.
新しい！!: Maximaと講談社 · 続きを見る »
FORTRAN
FORTRAN（フォートラン）は、1954年にIBMのジョン・バッカスによって考案された、コンピューターにおいて広く使われた世界最初の高級言語である。.
新しい！!: MaximaとFORTRAN · 続きを見る »
GNU General Public License
GNU General Public License(GNU GPLもしくは単にGPLとも)とは、GNUプロジェクトのためにリチャード・ストールマンにより作成されたフリーソフトウェアライセンスである。八田真行の日本語訳ではGNU 一般公衆利用許諾書と呼んでいる。.
新しい！!: MaximaとGNU General Public License · 続きを見る »
GNU TeXmacs
GNU TeXmacsはGNUプロジェクトで開発されている科学技術に特化したワープロまたは組版のフリーソフトウェアである。TeXmacsはその機能にTeXとGNU Emacsの長所を取り入れており、ソースコードはどちらからも独立して書かれているが、のフォントを利用する。TeXmacsはJoris van der Hoevenが開発、メンテナンスを行っている。TeXmacsを使うことで、WYSIWYGなGUIで構造化された文書を作成できる。また文書スタイルを新しく定義することもできる。TeXmacsは高品質な組版アルゴリズムとフォントにより、商用に耐えうる品質の文書を生成することができる。.
新しい！!: MaximaとGNU TeXmacs · 続きを見る »
LISP
LISPは、プログラミング言語である。 によって記述される。-->前置記法などが特徴である。 1958年にはじめて設計されたLISPは、現在広範囲に使用されている高水準プログラミング言語の中でもFORTRANに次いで2番目に古い。ただし、FORTRANと同様に、現在のLISPは初期のものから非常に大きく変化している。 これまでに多数の方言が存在してきたが、今日最も広く知られるLISP方言は、Common LispとSchemeである。 元々、LISPは、アロンゾ・チャーチのラムダ計算表記法に影響を受け、コンピュータープログラムのための実用的かつ数学的な表記法として作られた。そして、すぐに人工知能研究に好まれるプログラミング言語になった。最初期のプログラミング言語として、LISPは計算機科学にて、木構造、ガベージコレクション、動的型付け、条件分岐、高階関数、再帰、セルフホスティング、コンパイラを含む多くのアイディアを切り開いた。 LISPの名前は、「list processor」に由来している。リストはLISPの主要なデータ構造であり、LISPソースコードはそれ自体がリストからできている。その結果、LISPプログラムはソースコードをデータとして操作することができ、プログラマーは、マクロ・システムで新しい構文やLISP埋め込みの新しいDSLを作成できる。 コードとデータの互換性は、LISPにそのすぐに認識できる構文を与える。すべてのプログラム・コードはS式または入れ子のリストとして書かれる。関数呼び出しまたは構文は先頭が関数または演算子の名前で、その続きが引数であるリストとして書かれる。具体的には、3つの引数を取る関数fは、(f arg1 arg2 arg3)として呼び出される。.
新しい！!: MaximaとLISP · 続きを見る »
Macsyma
Macsyma (Project MAC’s SYmbolic MAnipulator) は、1968年から1982年までMITの Project MAC の一環として開発された数式処理システムであり、その後商用化された。世界初の数式処理システムで、初期のエキスパートシステムの1つであり、その様々なアイデアが後の Mathematica や Maple といったシステムに影響を与えた。.
新しい！!: MaximaとMacsyma · 続きを見る »
Maple
Maple（メイプル）とは、数式処理、数値計算、グラフ作成などを行うソフトウェアのひとつである。Mapleは、1980年代前半にカナダのウォータールー大学で開発され（株式会社としてはWaterloo Maple名義。以下Maplesoft）、日本ではサイバネットシステムが販売、翻訳を行っていたが、2009年9月に、Maplesoftをサイバネットシステムが買収した。Mapleを使うと、紙と鉛筆で行う数学の計算や作図をコンピュータで行うことができる。 また、販売方法としては、アカデミックバージョンを出し、学生や、教員、研究者向けに廉価で(1ライセンス2～3万円程度)ほとんどスペックの落ちない製品を販売している。また、小学校、中学校、高校などの初等教育の現場における数学、理科の授業から、大学や企業のR&D部門などの研究機関に至るまで幅広いユーザ層が開拓されつつある。.
新しい！!: MaximaとMaple · 続きを見る »
Mathematica
Mathematica（マセマティカ）は、スティーブン・ウルフラムが考案し広く使われている数式処理システム。ウルフラム・リサーチの、ウルフラムが率いる数学者とプログラマのチームが開発し、同社が販売している。Mathematicaは項書き換えを基本として、複数のパラダイムをエミュレートするプログラミング言語としても強力である。.
新しい！!: MaximaとMathematica · 続きを見る »
Project MAC
Project MAC（MACプロジェクト）は、マサチューセッツ工科大学で行われたプロジェクトであり、オペレーティングシステム、人工知能、計算理論などの先駆的研究成果が生み出された研究機関である。後にMITコンピュータ科学研究所（MIT Laboratory for Computer Science、LCS）となった。同時代に同様な研究を行った組織としては、カリフォルニア大学バークレー校のProject Genie、スタンフォード人工知能研究所、（少し後になるが）南カリフォルニア大学の情報科学研究所がある。 "MAC"は頭字語である。当初は Mathematics and Computation であったが、後から考えられたバクロニムとしては Machine Aided Cognition とか Multiple Access Computer といったものがある（前者は人工知能的応用（認識等）の、後者は多重制御の意味でOS等のシステムを指す）。さらに後年、MITでそれぞれのグループを率いていたリーダーに掛けた冗談として、'''M'''insky Against '''C'''orby の略とも言われた（前者は MIT AIラボ を、後者は Multics を先導した。つまり、先に述べた2つのバクロニムに対応している）。.
新しい！!: MaximaとProject MAC · 続きを見る »
TeX
（TeX; テック、テフ）はアメリカ合衆国の数学者・計算機科学者であるドナルド・クヌース (Donald E. Knuth) により開発されている組版処理システムである。.
新しい！!: MaximaとTeX · 続きを見る »
Ubuntu
Ubuntu（ウブントゥ、国際音声記号; oo-BOON-too）はDebian GNU/Linuxをベースとしたオペレーティングシステム (OS) である。Linuxディストリビューションの1つであり、自由なソフトウェアとして提供されている。カノニカルから支援を受けて開発されている。開発目標は「誰にでも使いやすい最新かつ安定したOS」を提供することである。デスクトップOSとして利用される事が多いLinuxディストリビューションである。.
新しい！!: MaximaとUbuntu · 続きを見る »
WxWidgets
wxWidgetsとはクロスプラットフォームなウィジェット・ツールキットであり、C++で記述されているが、多くのプログラミング言語向けにバインディングが用意されており、Python、Perl、JavaScriptなどから使うことが出来る。 移植性が高くWindowsを初めmacOS、Linuxなど多くのオペレーティングシステム (OS) で動かすことが出来る。 また、単なるウィジェットだけでなく他のOSに移植しやすいように文字列操作やファイル管理、HTTPによる通信を行う機能も用意されている。 他の多くのウィジェット・ツールキットと違い各コンポーネントの描画をOSに行わせているため各々のOSに調和したコンポーネントを表示できる。 さらに、C++で記述されているため高速で、JavaのSwingのように事前にソフトをインストールしなくても利用できる。.
新しい！!: MaximaとWxWidgets · 続きを見る »
数式処理システム
数式処理システム（すうしきしょりシステム、Computer algebra system、CAS，Formula Manipulation System，広義にはSymbolic Computation System）は、コンピュータを用いて数式を記号的に処理するソフトウェアである。コンピュータによる通常の数値計算処理では実数を有限精度の数値（浮動小数点数）で近似し、数値と演算に対して丸め誤差を許容して計算を行なうので数学的に厳密な結果を得ることが困難もしくは不可能であるのに対して、数式処理システムでは主に抽象度の高い記号列を取り扱い，可能な範囲で代数的な規則に基づきながら厳密な記号処理を行う。ただし最近では応用性と実用性の観点から、数値とその演算に対して浮動小数点数も扱える（数値・数式の）融合計算システムとでも呼べるような数式処理システムも増えて来た。 また，数式処理システムに向けた計算アルゴリズムを研究する分野も数式処理（あるいは computer algebra の直訳として計算機代数）と呼ぶ。.
新しい！!: Maximaと数式処理システム · 続きを見る »
