A Very Brief Introduction to the Pi-Calculus (in Japanese)
π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道を介して値をやりとりしながら、計算を行っていきます。π-calculus にはいろいろな変種があるのですが、ここではとりあえず次のような構成要素からなるものを考えましょう。 new x . P 新しいチャネル x を作ってから、プロセス P を実行する (channel creation) x![v1, ..., vn] チャネル x に値 v1, ..., vn を送る (asynchronous output) x?[v1, ..., vn] . P チャネル x から値 v1, ..., vn を受け取って、P を実行する (input guard) P |
potasiumchの日記 - 一枚の２次元画像から３次元形状を再構成
Compute 3D shape and scene from a single image Feng Han, and Song-Chun Zhu 入力（２次元画像） ↓ ３次元再構成 入力（２次元画像） ↓ ３次元再構成 これはすごい。 ベイズ推定の枠組みで、prior knowledge として物の smoothness とか空間内での stability *1を置いてやって解空間を探索したらそれらしい３次元再構成が出来ましたと。 この論文では prior knowledge は人が与えているようだけど、基本的に自然界で経験しうる感覚入力のデータをがんがん投入して prior knowledge を（データドリブンで）形成できるようにすれば、日常に出てくるような不良設定問題はだいたい解けるようになるのではないか。というか脳がやっていることというのは結局そういうことかな？ もしそうなら
OBB vs AABB - Radium Software Development
This domain may be for sale!
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
