「絶対にバグのないプログラムの書き方」という副題に釣られ、ググりながら、読んでみた。 プログラミング Coq プログラマのための圏論の基礎 http://www.brl.ntt.co.jp/people/tsukada/lecture/hosei2013s-index.html が、実践的なuse caseが浮かばない。セ…

OSGiと言えば、java(例:eclipseのプラグイン)環境で利用可能なモジュールシステム(基盤)ですが... http://www.osgi.orgEclipseやSpringで使われている基盤技術OSGiとは (1/3) - ＠IT http://kompiro.org/osgi/ Welcome to WikisJavaScriptやC/C++によるOSGi…