You 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
WhileyCreating high integrity software at scale.Get Started!! function max(int x, int y) -> (int r) // Ensure return not smaller than parameters ensures (r >= x) && (r >= y) // Ensure a parameter returned ensures (r == x) || (r == y): if x >= y: return x else: return y ReliabilityWhiley employs state-of-the-art techniques for ensuring your software is correct. You can specify functions using preco
今週発売予定のWEB+DB PRESSに、「もっと知りたい! Markdown ついに標準化が始まった軽量記法」という原稿を書きました。WEB+DB PRESSに書くのは久しぶりです。 WEB+DB PRESS Vol.83 作者: 原田騎郎,吉羽龍太郎,山口陽平,青木雅弥,松下誠太,三宅英明,高橋征義,南川毅文,伊藤直也,海野弘成,高安洋輝,佐藤歩,泉水翔吾,佐藤太一,横江直輔,舘野祐一,橋本翔,渡邊恵太,中島聡,はまちや2,小沢邦雄,長沢智治,WEB+DB PRESS編集部出版社/メーカー: 技術評論社発売日: 2014/10/24メディア: 大型本この商品を含むブログを見る 記事のタイトルと内容ですが、当初はMarkdownを使ってると何より気になるMarkdownの方言について、その現状と対策みたいなことを書こうとしたのでした。が、今回担当していただいた稲尾さんと相談しいろいろ書い
GitLaw: Law Factory がフランス国会のプロセスを300のバージョン管理されたオープンデータの視覚化に変えた方法 2014年7月22日 in Featured, News これはフランスのNGOであるRegards Citoyens によるゲスト投稿です。彼らは2009年以来、フランスで積極的に公共のオープンデータ原則を促進し、また2010年以来透明性に関わるロビー活動をしています。彼らは、市民と代表の間のよりよい対話用ツールを提供するために公共データを利用して、ウェブ・プロジェクトを作成しています。その最も名高いイニシアチブは国会のモニタリング・ウェブサイト: NosDeputes.fr です。 法律はコードである! 過去数年にわたって、多くの人々は、ローレンス・レッシグのメタファー「コードは法律である」を逆にする考えを調査しました。コーディング・ツールのレンズを通して法
Fastsocket is a highly scalable socket and its underlying networking implementation of Linux kernel. With the straight linear scalability, Fastsocket can provide extremely good performance in multicore machines. In addition, it is very easy to use and maintain. As a result, it has been deployed in the production environment of SINA. License
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く