The TLA+ Home Page
You'll miss a lot on this web site unless you enable Javascript in your browser. This is the home page of the TLA+ web site. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design e
（ ﾟ毒ﾟ）< しんどい。
異星人が見たら この 空中で起こした 爆発を 皆で見上げる行為は 特異に映る かもしれないな と思いながら 見上げ。 爆発から拡散して消える までの短い時間 でも ﾌﾞﾚて幽霊みたい になる人の像の 緩さ にｽﾄﾚｽ無いような心地よさ 感じる。 タグ ：#花火#写真 気づいた時には 後光を背負い すぐ近く に 浮かぶ巨塊は 音もなく迫り。圧迫感の所為 か 気圧の変化の所為か 心身が ざわつく。 見る間に 何かの均衡が破れ 足元から豪雨 と なって崩れ出し 漏れる日は警告灯 めいて 制御不能な怪獣感が すごい。 タグ ：#雲#写真 町なか に設置された祭り装置の効果 で 家々の合間に 独特の空気が流れ込み 外部と 隔絶された ような雰囲気が 立ち籠める。 その空気は 浸透圧的な感じ で日常の中では 抜けきらない何か が体の中からｽｯと排出 されるような 脱力感ある心地よさ 帯びる。 タグ ：
著作権と「作者」の起源（はじまり）：ロジェ・シャルチエ『書物の秩序』
「作者」は、今日では、名声を得るため、カネを得るため、自分の考えの影響を増すため、就職するため、敵対する考えの影響を減らすためなどの他に、さまざまな「読者の利害とは一致しない」理由から書物を著す。結局のところ、「作者」は作者自身のために執筆し出版するのであって、それは本来的には読者のためではない。 本当のところ、独創性のために「作者」が費やす苦労によって、どれほど読者が悩まされ、余計な時間を費やすはめになっているか。 とりわけ「作者」が伝えなければならない新情報や重要情報の欠如が、この「独創性への労苦」をかけあわせることによって、しばしば多大な損害を読者にもたらす。 ただ新奇にみせかけられた考えや表現を受け取るために費やされる時間を少しでも減らせるのであれば、人はその分を、たとえば自ら思考することにあてることができるばかりか、泳ぎにだって出掛けられるというのに、である。 （もちろん、同じよ
【レビュー】ついに登場! FreeBSD 8.0の新機能をさっそくチェックしてみました (1) 高度なルータ環境を提供するVimage | エンタープライズ | マイコミジャーナル
FreeBSD 8.0-RELEASE 本稿が掲載されるころにはメジャーバージョンアップとなるFreeBSD 8.0-RELEASEが公開されているか、遅れても数日中にはリリースされる見通しになっている。8.0はタイムスケジュール的にはそれほど注目に値するリリースになる予定ではなかったが、最終的に重要な機能が追加された注目すべきメジャーアップブレードバージョンとなった。 本稿では、特にユーザが違いを実感しやすいところに焦点をあてて、FreeBSD 8.0で注目される新機能と、現在の取り組み、アップグレード時の注意事項を紹介する。なお執筆時点ではRELEASE版がでていないため、RC版で動作を確認している。RELEASE版と違いがある可能性もある。 ネットワークスタックの仮想化"Vimage Jail" FreeBSD 8.0で導入された機能のうちもっとも注目に値するものがVimageだ。F
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
