タグ

言語に関するkataのブックマーク (3)

  • ほぼりスクリプト言語Scalaの情報源 - HHa(H派)メモ

    言語Scalaは、EPFL大(仏ローザンヌ)のMartin Odersky教授により開発された、強い型付けをもつ純粋なオブジェクト指向と関数型が理論的にほぼ完全に融合したプログラミング言語です。Scalaは、JVM上で実行されるため、言語内からすべてのJavaクラスが普通に利用可能であり、簡潔で高い表現力とJavaとほぼ同等の実行性能をもっています。 強い型付け言語でありながら型推論機能のおかげで冗長な型宣言が不要であり、Ruby以上にコンパクトなコード記述を許し、GenericやMixin(Trait)等の抽象クラス管理機能、パターンマッチング機能などの簡潔で豊かな表現力と相まって、新世代の実用スクリプト言語としての高い可能性も秘めています。 ○言語Scalaの基サイト The Scala Programming Language(ダウンロード、ドキュメント充実) http://www

    ほぼりスクリプト言語Scalaの情報源 - HHa(H派)メモ
  • twitterブームの陰で注目を集める“Erlang” - @IT

    2007/04/27 “twitter”がブームだ。140バイト以内の短いメッセージで“現在進行形”の自分のステータスをほかのユーザーとシェアするだけのオンラインサービスだが、国の米国はもとより、日でも非常な人気を集めている。Alexaでアクセス数の推移を調べると、今年に入ってから格的にブレークしている様子が分かる。4月22日にはニューヨークタイムズもtwitterと、サンフランシスコ在住の創業者2人を記事で取り上げている。 twitterのコミュニケーションツールとしての新しさ twitterに参加してみると、チャットやメール、SNSといった、既存のコミュニケーションツールのいずれとも異なる、不思議なつながり方が新鮮で楽しい。熱心にメッセージを更新するユーザーを見ていると、CUSeeMe、ICQ、mixiなどが登場したときに人々が示した熱狂に近いものを感じる。 twitterでは、

  • 組み込み開発フォーラム - MONOist

    世界各国でAI関連規制の整備が進む中で、AIシステムの開発に求められるのが「検証(Verification)」と「妥当性確認(Validation)」から成る「V&Vプロセス」である。特に、自動車や航空宇宙の分野を中心に高い安全性や高い信頼性が重視されるセーフティクリティカルなシステムにAIを導入する際に重要な役割を果たすとみられている。

  • 1