GitHub - concurrent-programming-in-scala/learning-examples: Code examples for the book Learning Concurrent Programming in ScalaYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
米澤明憲 - Wikipedia
米澤 明憲（よねざわ あきのり、1947年6月17日 - ）は、日本の計算機科学者。東京大学名誉教授[1][2]。マサチューセッツ工科大学 (MIT)Ph.D.[3]。現在、情報・システム研究機構（大学共同利用機関法人）機構長顧問[4]、国立情報学研究所(NII)所長特別補佐[5]、及び千葉工業大学人工知能・ソフトウェア技術研究センターシニアフェロー[6]。日本学術会議元会員[7]。専門はオブジェクト指向プログラミング言語、分散コンピューティング、情報セキュリティ[8]。現在最もよく使われるプログラミング言語(Python, Java, C++等)の基本方式であるオブジェクト指向プログラミングの推進・発展に初期から貢献し、その中心的な国際会議OOPSLA・ECOOPのプログラム委員及び委員長を歴任すると共に、「並列オブジェクト」概念・モデルの先駆者としても国際的に知られている[9][10]
アクターモデル - Wikipedia
アクターモデル（英: actor model）は、並行計算の数学的モデルの一種[1]。1973年、カール・ヒューイット、Peter Bishop、Richard Steiger が発表した。並行性の理論的理解のフレームワークとして使われるほか、並行システムの実装の理論的基礎としても利用される。 アクターモデルはそれ以前の計算モデルとは異なり物理法則を発想の基本としている。他にも、LISP言語、Simula言語、ケーパビリティ・システム、パケット通信、初期のSmalltalkなどの影響を受けている。 アクターモデルは、近い将来に「数百・数千のマイクロプロセッサから構成され、個々にローカルメモリを持ち、高性能通信ネットワークで通信を行う並列コンピュータ」が登場するとの予測に基づいて開発されされた[2]。その後、Webサービスやメニイコアアーキテクチャを活用した超並行性を想定して研究された。 ヒ
『Programming Elixir』より "Think Different(ly)" - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? あの Dave Thomas が書いた『Programming Elixir』を買ったのでぼちぼち読んでいる。 Chapter 1. に Elixir の特徴を巧みに表現した文章があってカッとなったので、引用しておきたい。 Think Different(ly) Object orientation is not the only way to design code Functional Programming need not be complex or mathematical. The foundations of progra
)
メッセージ (コンピュータ) - Wikipedia
原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。 (2019年8月) 計算機科学におけるメッセージ (英: message) とは、情報の伝達を目的とする、順序付けられた文字列である。JISでは、情報理論および通信理論におけるmessageの訳語として通報[1]という用語が割り当てられている[注釈 1]。 メッセージパッシング (英: message passing) とは、並行計算・並列計算、オブジェクト指向、プロセス間通信で使われる通信方式である。プロセスもしくはオブジェクトといったモデルではメッセージ（ゼロ以上のバイト、複雑なデータ構造、プログラムコードも含む）を送ったり受けたりできる。メッセージを待つことによって同期することもできる。メッセージパッシングに基
カール・ヒューイット - Wikipedia
ヒューイットは世界初の人工知能向けプログラミング言語 Planner の設計で知られている。Planner は手続き的計画に基づいた言語であり、表明とゴールからパターンに基づいて手続きを呼び出す。ヒューイットは1971年、マービン・ミンスキー、シーモア・パパート、Mike Peterson の指導の下で数学の学位を取得した。彼の高レベルな手続き的計画という形式の「手続き的知識の埋め込み」という方法論は、ジョン・マッカーシーの提唱した論理学的手法（数理論理学による宣言的知識表現）とは一線を画していた。Planner のサブセット Micro Planner は Gerry Sussman、Eugene Charniak、テリー・ウィノグラードが実装した。これはウィノグラードの有名な SHRDLU プログラムに使われ、Eugine Charniak の自然言語ストーリー理解や他のいくつかのプロ
JythonでActor modelプログラミング - DiaryException
ScalaのActorライブラリを使えば、Actor modelに基づく簡単に並行処理プログラムを書くことが出来る。ところで、Wikipedia日本語版のアクターモデルの項は英語版の古い版の訳のようだが、ところどころおかしい。 試しに、2つのActorが数字をカウントするプログラムを書いて実行してみた。 $ scalac ActorTest.scala $ scala ActorTest c1: 1 c2: 1 c2: 2 c1: 2 c2: 3 c2: 4 c2: 5 c2: 6 c2: 7 c2: 8 c2: 9 c2: 10 c1: 3 c1: 4 c1: 5 c1: 6 c1: 7 c1: 8 c1: 9 c1: 10 2つのActorの出力が混ざっている。MacBookPro5,5 (Intel Core 2 Duo)で動かしたので、それぞれのActorが各CPUに配置されて実行
How do Functional Reactive Programming and the Actor model relate to each other?
Neither actors nor FRP are about streaming. Actors don't even support external configuration of an output stream. FRP is strongly characterized by its modeling signals and events on a linear timeline, which enables FRP behaviors to compose in a deterministic manner. Actors are strongly characterized by processing messages in non-deterministic order, and have scarcely any compositional properties (
ミューテックス - Wikipedia
ミューテックス (英: mutex) とは、コンピュータプログラミングにおける技術用語。クリティカルセクションでアトミック性を確保するための排他制御や同期機構の一種である。「mutex」という語は「mutual exclusion」 (相互排他、排他制御) の省略形である。ここでは、狭義の排他制御について述べる。 セマフォをクリティカルセクションの排他制御に用いる時、セマフォでは（初期値が1でなければ）複数のタスクがクリティカルセクションに入ることを許可するのに対し、ミューテックスでは同時に一つのタスクのみがクリティカルセクションに入ることを許可する（ここで言うタスクとは、スレッドまたはプロセスを指す）。挙動はセマフォ変数の初期値を1にする事と等価。このようなタスク優先度とリンクしないミューテックスを、バイナリセマフォと呼ぶ場合もある。 狭義には、ミューテックスの場合にそれをロック（P操作
フューチャー - Wikipedia
FUTURE - ICEのファーストシングル。1993年発売。 Future - 三重野瞳のシングル。1996年発売。 Future - 小林恵（現：meg）のシングル。1998年発売。 FUTURE - 中島ちあきのシングル。1999年発売。 Future - 嵐のシングル、「We can make it!」c/w曲。2007年発売。 FUTURE - Small Circle of Friendsのアルバム。2008年発売。 FUTURE (ステファニーの曲) - ステファニーのシングル。2009年発売。 Future - AILIのアルバム。2010年発売。 FUTURE (Sound Scheduleのアルバム) - Sound Scheduleのアルバム。 Future - TOKIOのシングル、「ホントんとこ/Future」収録曲。2013年発売。 FUTURE (三代目 J
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: Reactive Messaging Patterns with the Actor Model: Applications and Integration in Scala and Akka (English Edition): Vernon, Vaughn: Digital Ebook Purchas
Actor model - Wikipedia