情報科学 の Mirandaに関する解説。

株式会社 日立ソリューションズ

HITACHI Inspire the Next

  • ホーム
  • ソリューション・商品
  • 事例紹介
  • セミナー・展示会
  • ビジネスコラム
  • 企業情報
  • お問い合わせ

Miranda

Mirandaとは

Miranda は、遅延評価方式の純粋関数型プログラミング言語である。David Turner が自身が以前に開発したプログラミング言語 SASL や KRC の後継として、ML や Hopeのコンセプトを一部利用して開発した。イギリスの Research Software Ltd. が販売しており、'Miranda' は同社の商標である。研究目的ではない商用を目指した最初の純粋関数型言語であった。

ページトップへ戻る


人材開発

人材開発

課題をトータルに解決する日立ソリューションズのHCMソリューション

勤怠管理

勤怠管理

従業員フロントとして各種申請業務を効率化する勤怠管理システム、リシテア


ページトップへ戻る

話題の用語

クラウドコンピューティング

WWW用語辞典

クラウドコンピューティングとは、コンピュータサービスの利用者が ...

続きを読む 続きを読む

Active Directory

企業情報システム用語辞典

ActiveDirectory(アクティブディレクトリ)とは、Microsoft社が提供するディレクト...

続きを読む 続きを読む

ページトップへ戻る