サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
●はてなブックマークって？
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
akanehara
id:akanehara
●
11,899
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
.deb
(2)
●
3D
(4)
●
3DCG
(2)
●
40代
(2)
●
6502
(2)
●
ADHD
(5)
●
AI(4)
●
API
(12)
●
AWS
(23)
●
Amazon
(7)
●
Android
(8)
●
Ansible
(5)
●
AnyEvent
(8)
●
Apple
(3)
●
AppleScript
(2)
●
Azure
(2)
●
B-CAS
(3)
●
BSD
(5)
●
Bootstrap
(2)
●
BuzzFeed
(2)
●
CCC
(2)
●
CDN
(10)
●
CG(4)
●
CI(5)
●
CLI
(18)
●
CPAN
(3)
●
CPU
(10)
●
CSP
(2)
●
CVE-2014-6271
(2)
●
CVE-2014-7169
(2)
●
Cache
(3)
●
CentOS
(8)
●
Chef
(3)
●
Chrome
(3)
●
Concourse
(3)
●
Concourse Ci
(2)
●
Consistent Hashing
(3)
●
Coro
(5)
●
Cowboy
(6)
●
Crazy G
(7)
●
C言語
(30)
●
DB(5)
●
DBI
(3)
●
DBMS
(2)
●
DIY
(5)
●
DNS
(7)
●
DTM
(2)
●
Debian
(2)
●
Deep Learning
(2)
●
Docker
(35)
●
EC2
(3)
●
ECS
(2)
●
ELB
(2)
●
EXPLAIN
(2)
●
Emscripten
(2)
●
Erlang
(87)
●
FD(6)
●
FEM
(2)
●
FG(2)
●
FHS
(2)
●
FORTH
(9)
●
FRP
(3)
●
Fluentd
(4)
●
Foveated Rendering
(2)
●
GPU
(5)
●
Gamepad
(3)
●
Go(31)
●
Google
(10)
●
Gradle
(2)
●
Grunt
(4)
●
HLS
(3)
●
HTML5
(14)
●
HTTP
(14)
●
Hadoop
(6)
●
Haskell
(15)
●
IPv6
(2)
●
IPアドレス
(2)
●
IRC
(2)
●
IT(2)
●
ImageMagick
(2)
●
IntelliJ
(3)
●
JMeter
(2)
●
JSON
(4)
●
Java
(8)
●
JavaScript
(13)
●
Jenkins
(5)
●
KVS
(2)
●
LLVM
(3)
●
LaTeX
(2)
●
Larabel
(2)
●
Linus Torvalds
(3)
●
Lisp
(2)
●
Lua
(8)
●
MBO
(2)
●
MQ(3)
●
MQTT
(11)
●
Mac
(15)
●
Makefile
(11)
●
MapReduce
(2)
●
Markdown
(3)
●
Mesos
(2)
●
MogileFS
(8)
●
MongoDB
(5)
●
MySQL
(31)
●
MySQL Cluster
(3)
●
NES
(21)
●
NHK
(4)
●
NoSQL
(3)
●
Node.js
(21)
●
NumPy
(5)
●
OCaml
(9)
●
OO(3)
●
OOP
(4)
●
OS(13)
●
OS X
(8)
●
OTP
(2)
●
Oculus Rift
(2)
●
OpenResty
(5)
●
OpenSSL
(6)
●
PC(3)
●
PDF
(4)
●
PDP-11
(2)
●
PEG
(3)
●
PHP
(11)
●
POSIX原理主義
(4)
●
PR(3)
●
PS4
(6)
●
PSGI
(8)
●
PSVR
(9)
●
Perl
(109)
●
Photoshop
(2)
●
PlayStation VR
(8)
●
Prolog
(4)
●
Promise
(3)
●
Queue
(2)
●
RDBMS
(7)
●
REST
(3)
●
RFC
(7)
●
RHEL
(3)
●
RabbitMQ
(10)
●
Raspberry Pi
(13)
●
Raspbian
(2)
●
RedHat
(2)
●
Redis
(4)
●
Remi
(2)
●
Ruby
(3)
●
Rust
(5)
●
Rx(2)
●
SIGALRM
(2)
●
SIGPIPE
(2)
●
SQL
(4)
●
SQS
(3)
●
SSD
(2)
●
Scala
(3)
●
Shellshock
(4)
●
Slack
(4)
●
Socket.IO
(5)
●
Sphinx
(3)
●
Starman
(8)
●
Steam
(2)
●
T-LGL
(3)
●
TAB譜
(3)
●
TCP
(37)
●
TCP_DEFER_ACCEPT
(3)
●
TeX
(2)
●
Three.js
(6)
●
Tips
(4)
●
Tsung
(8)
●
TypeScript
(6)
●
UDP
(3)
●
URLエンコード
(3)
●
Ubuntu
(9)
●
Unity
(20)
●
V6
(3)
●
VR(47)
●
Vagrant
(8)
●
Vim
(7)
●
Web API
(4)
●
Web Audio API
(4)
●
WebGL
(8)
●
WebSocket
(19)
●
Webサービス
(3)
●
YAMAHA
(3)
●
Yum
(4)
●
alexa
(4)
●
autoconf
(3)
●
automake
(3)
●
awk
(18)
●
bash
(51)
●
boot2docker
(5)
●
bot
(3)
●
c(45)
●
c++
(21)
●
cURL
(6)
●
cc65
(16)
●
concurrency
(8)
●
concurrent
(5)
●
coreutils
(7)
●
daydream
(4)
●
diff
(3)
●
exec
(5)
●
fabric
(5)
●
ffmpeg
(4)
●
fifo
(4)
●
flock
(4)
●
fork
(12)
●
gdb
(3)
●
git
(18)
●
github
(6)
●
gnu
(11)
●
gnu parallel
(5)
●
golang
(24)
●
goroutine
(3)
●
grep
(5)
●
history
(3)
●
homebrew
(3)
●
iOS
(5)
●
index
(3)
●
io(10)
●
ipc
(3)
●
iptables
(10)
●
jq(5)
●
kernel
(19)
●
linux
(254)
●
make
(13)
●
man
(3)
●
memcached
(4)
●
mmap
(4)
●
nc(7)
●
ndb
(3)
●
netcat
(5)
●
network
(13)
●
nginx
(25)
●
nmap
(5)
●
parallel
(9)
●
parallelism
(3)
●
pipe
(5)
●
pm2
(3)
●
posix
(19)
●
powershell
(5)
●
process
(3)
●
programming
(9)
●
protocol
(6)
●
python
(32)
●
reactive
(7)
●
rebar
(6)
●
rpm
(6)
●
security
(4)
●
sed
(7)
●
select(2)
(3)
●
sh(27)
●
shader
(3)
●
shell
(30)
●
signal
(3)
●
simh
(3)
●
socket
(19)
●
sort
(3)
●
spec
(4)
●
ssl
(5)
●
stdio
(3)
●
swift
(3)
●
systemd
(13)
●
tc(3)
●
tcpdump
(4)
●
tmux
(3)
●
tool
(3)
●
top
(3)
●
tty
(6)
●
tutorial
(38)
●
twitter
(4)
●
unix
(150)
●
unix哲学
(5)
●
usp
(3)
●
xmllint
(3)
●
zookeeper
(9)
●
zsh
(5)
●
あとで読む
(35)
●
おかあさんといっしょ
(6)
●
おつまみ
(3)
●
おもしろ
(13)
●
お理工さん
(3)
●
お菓子
(7)
●
お酒
(3)
●
ねこ
(8)
●
はてな
(5)
●
まとめ
(5)
●
アクターモデル
(3)
●
アニメ
(3)
●
アニメーション
(4)
●
アルゴリズム
(29)
●
アーキテクチャ
(8)
●
アート
(11)
●
インタビュー
(3)
●
インターネット
(6)
●
インデックス
(4)
●
インフラ
(7)
●
ウィスキー
(3)
●
ウクレレ
(56)
●
ウディ・ガスリー
(3)
●
エラーハンドリング
(4)
●
エンジニア
(11)
●
エンジニアライフ
(3)
●
エンタメ
(3)
●
オンラインゲーム
(3)
●
カメラ
(6)
●
カルト
(4)
●
カーターファミリーピ
(7)
●
カーネル
(17)
●
カーネルパラメータ
(3)
●
ガレッガ
(3)
●
キャッシュ
(11)
●
キャリア
(6)
●
ギター
(107)
●
ゲーム
(47)
●
ゲームパッド
(4)
●
ゲーム開発
(6)
●
コトハジメ
(4)
●
コネクションプーリン
(3)
●
コマンド
(32)
●
コミュニケーション
(3)
●
コンパイラ
(10)
●
コード
(17)
●
コードチェンジ
(7)
●
サイレントギター
(3)
●
サーバ
(14)
●
サービス
(3)
●
シェル
(146)
●
シェルスクリプト
(81)
●
シェル芸
(23)
●
シグナル
(8)
●
システム
(8)
●
システムコール
(15)
●
システム管理
(4)
●
スクレイピング
(4)
●
スケジューラ
(5)
●
ストレージ
(3)
●
スリーフィンガー
(4)
●
スレッド
(9)
●
セキュリティ
(26)
●
ソケット
(6)
●
ソビエト
(3)
●
ソフトウェアテスト
(6)
●
ソフトウェアドキュメ
(3)
●
ソースコード
(7)
●
チューニング
(10)
●
チーム
(4)
●
ツール
(4)
●
テスト
(4)
●
テレビ
(4)
●
デザイン
(5)
●
デバッグ
(7)
●
デプロイ
(4)
●
デマ
(8)
●
データ
(3)
●
データベース
(6)
●
デーモン
(5)
●
トランザクション
(3)
●
ドキュメント
(10)
●
ネット
(3)
●
ネットワーク
(41)
●
ネトウヨ
(8)
●
ネーミング
(4)
●
ハッシュ
(3)
●
バッファリング
(4)
●
パイプ
(5)
●
パイプライン
(8)
●
パフォーマンス
(4)
●
ビジネス
(14)
●
ビルド
(5)
●
ビルドツール
(5)
●
ファイル
(5)
●
ファイルシステム
(3)
●
ファミコン
(5)
●
フォーク
(32)
●
フーリエ変換
(5)
●
ブルース
(4)
●
ブロックチェーン
(3)
●
プログラマ
(6)
●
プログラミング
(47)
●
プロセス
(36)
●
プロトコル
(10)
●
プロパガンダ
(3)
●
ヘイト
(8)
●
ヘイトスピーチ
(5)
●
ベストプラクティス
(10)
●
ボブ・ディラン
(5)
●
マクロ
(3)
●
マネジメント
(8)
●
メモリ
(17)
●
リダイレクト
(5)
●
リバースプロキシ
(3)
●
ルーター
(3)
●
レイシスト
(3)
●
レイトレーシング
(3)
●
レシピ
(18)
●
ロギング
(7)
●
ロシア
(4)
●
ロック
(7)
●
ワイン
(4)
●
ワンライナー
(8)
●
並行
(12)
●
並行処理
(4)
●
並行性
(9)
●
事件
(8)
●
仕事
(52)
●
仕様
(3)
●
信号処理
(4)
●
写真
(15)
●
分散
(9)
●
創作実話
(3)
●
勉強
(5)
●
勉強法
(3)
●
動画
(4)
●
医療
(3)
●
原子力
(5)
●
命名
(4)
●
和音
(3)
●
図書館
(7)
●
地震
(4)
●
大規模サービス
(8)
●
子育て
(14)
●
安倍晋三
(5)
●
岡林信康
(4)
●
差別
(11)
●
弾き語り
(6)
●
性能
(3)
●
情報セキュリティ
(4)
●
憲法
(5)
●
戦争
(7)
●
技術書
(3)
●
排他制御
(4)
●
政治
(11)
●
教育
(10)
●
数学
(17)
●
文章
(4)
●
料理
(53)
●
日付
(3)
●
日本会議
(9)
●
日本語
(3)
●
映像
(4)
●
映画
(9)
●
暗号
(5)
●
最適化
(3)
●
未定義
(6)
●
本
(12)
●
森友学園
(3)
●
森田童子
(4)
●
楽器
(12)
●
機械学習
(16)
●
正規表現
(9)
●
歴史
(17)
●
災害
(6)
●
理論
(3)
●
生活
(11)
●
用語
(4)
●
画像処理
(6)
●
発達障害
(3)
●
監視
(7)
●
知見
(10)
●
社会
(9)
●
端末
(5)
●
竹原ピストル
(3)
●
管理
(3)
●
統計
(3)
●
維新
(12)
●
考え方
(4)
●
育児
(4)
●
脆弱性
(4)
●
自民党
(15)
●
英単語
(3)
●
英語
(12)
●
虚言
(3)
●
行政
(7)
●
表現
(3)
●
言語
(4)
●
設計
(33)
●
読み物
(4)
●
負荷
(4)
●
負荷テスト
(5)
●
負荷分散
(5)
●
負荷試験
(4)
●
運用
(12)
●
酒
(3)
●
長谷川豊
(4)
●
開発
(7)
●
障害
(3)
●
非同期
(5)
●
音楽
(44)
●
食
(4)
●
linux
(254)
●
unix
(150)
●
シェル
(146)
●
Perl
(109)
●
ギター
(107)
●
Erlang
(87)
●
シェルスクリプト
(81)
●
ウクレレ
(56)
●
料理
(53)
●
仕事
(52)
関連タグで絞り込む (2)
●
アクターモデル
●
並行性
タグの絞り込みを解除
CSPに関するakaneharaのブックマーク (2)
●
8 users
●
www.csp-consortium.org
●暮らし
並行処理の統一モデルへの動向 松井和人 NPO法人 CSPコンソーシアム matsui@csp-consortium.org 24th/Nov/2012 第10回 CSP 研究会 Kazuto MATSUI はじめに コンピュータ業界はオブジェクト指向を基に関数型言語に移行する動きにあります。 更に並行処理はマルチスレッドから、Actorモデルに移行しようとしています。 Actorの利点だけがクローズアップされて、全て解決のような風潮があります。 そこで、Actor, Agent, CSPについて調べてみました。 CSP/occam コミュニティ(http://www.wotug.org/) が目指しているのは並行処理の Unification[1]であり、何処まで達成できているのか探ってみました。 第10回 CSP 研究会 Kazuto MATSUI1日経コンピュータ 業務系
akanehara
2015/03/03
●CSP
●アクターモデル
●並行性
●
13 users
●
staff.aist.go.jp
●テクノロジー
CSPモデルの優位性 産業技術総合研究所 情報技術研究部門 磯部祥尚1第9回CSP研究会︵2012年3月17日︶ 0:40 講演内容 2 1. CSPモデルの特徴 CSPモデルとは？ 同期型メッセージパッシング通信 イベント駆動 通信相手︵チャネル︶の自動選択 2. CSPモデルの実装 ライブラリ/言語 CSPモデルの実装例 ローカル/ネットワークチャネル 3. CSPモデルの検証 CSPモデルの記述例 検証ツール 振舞いの等しさ 4. CSPモデルベース開発 並列プログラミングの難しさ CSPによるモデル化、検証、実装 まとめ 理論 CSP 検証 FDR 実装 JCSP 1:20 CSPモデルの特徴 3 CSPモデルとは？ 同期型メッセージパッシング通信 イベント駆動 通信相手︵チャネル︶の自動選択 1:20 P1
akanehara
2015/03/03
●CSP
●並行性
1
お知らせ
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第2週︶
お知らせ
はてなブックマーク透明性レポート︵2024年2月-2024年4月︶
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第1週︶
もっと読む
公式Twitter
●@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
●@hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
●総合
●一般
●世の中
●政治と経済
●暮らし
●学び
●テクノロジー
●エンタメ
●アニメとゲーム
●おもしろ
●アプリ・拡張機能
●開発ブログ
●ヘルプ
●お問い合わせ
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●公式アカウント
●ホットエントリー
●はてなブログ
●はてなブログPro
●人力検索はてな
●はてなブログ タグ
●はてなニュース
●ソレドコ
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しましたx
.pdf)
並行処理の統一モデルへの動向 松井和人 NPO法人 CSPコンソーシアム matsui@csp-consortium.org 24th/Nov/2012 第10回 CSP 研究会 Kazuto MATSUI はじめに コンピュータ業界はオブジェクト指向を基に関数型��
CSPの紹介