ruiccのブックマーク / 2014年8月7日 - はてなブックマーク

ruicc id:ruicc

2014年8月7日のブックマーク (6件)

[Vagrant]２つのゲストOSを同時に立ち上げる（※別のVagrantfile） - Qiita
別々のVagrantfileで管理しているゲストOSを同時にvagrant upしようとしたら、sshポート(hostにforwardする方)が重複して失敗した。（デフォルトはhost: 2222） Vagrantはデフォルトだと、ホストの2222番にゲストの22番をフォワードするらしい。（1.4.3時点）このホストのポート番号を2222番以外にする事で、２つのゲストOSを起動する事に成功した。前提 Mac Vagrant 1.4.3 現象フォルダ構成は以下。名前は気にしないでください。 /path/to/vagrant-elasticsearch /path/to/vagrant-elasticsearch/Vagrantfile /path/to/vagrant-fluent /path/to/vagrant-fluent/Vagrantfile /path/to/vagran
ruicc 2014/08/07
host側のport指定、何やらバージョン毎に揺れているらしいのでコメント参照

vagrant

ssh
リンク
WebRTCの技術解説公開版
第1回NTT-WEST学生向けアプリ開発コンテスト（WebRTC）の勉強会資料です。 ※コンテスト情報はFacebookページよりご覧ください！ https://www.facebook.com/nttw.w.con Read less
ruicc 2014/08/07
webrtc
リンク
DMM inside
日本アニメ初の快挙！海外アニメ賞を受賞した『スキップとローファー』海外ライセンス部長&プロデューサーが語る、奮闘の舞台裏
ruicc 2014/08/07
リンク
How to make Vagrant and Puppet to clone private github repo
ruicc 2014/08/07
Guest上でgit-cloneするために。.ssh/known_hosts設定する。

vagrant

ssh
リンク
CPL
CPL: An interpreter of Hagino's Categorical Programming Language (CPL). CPL is a functional programming language based on category theory. Data types are declared in a categorical manner by adjunctions. Data types that can be handled include the terminal object, the initial object, the binary product functor, the binary coproduct functor, the exponential functor, the natural number object, the fun
ruicc 2014/08/07
CPL: Categorical Programming Language
リンク
System F - Wikipedia
System F (also polymorphic lambda calculus or second-order lambda calculus) is a typed lambda calculus that introduces, to simply typed lambda calculus, a mechanism of universal quantification over types. System F formalizes parametric polymorphism in programming languages, thus forming a theoretical basis for languages such as Haskell and ML. It was discovered independently by logician Jean-Yves
ruicc 2014/08/07
System F and System Fω

type-system
リンク
- 2014年8月8日
- 2014年8月7日
- 2014年8月6日