ゲームや日記を公開中。 --- a blog about games, life. my handle is 'd_of_i'.
数学基礎論サマースクール 2009は終了しました。 講演資料を掲載しました。(10 月 23 日) テーマ：非古典論理の代数的セマンティクス 更新日：2009年10月23日 数学基礎論サマースクールは年一回夏に開催されています． 毎年テーマを決めて，その道の専門家の方を講師としてお招きして，入門的な内容から最新の話題までさまざまな講義をしていただいています． 数学基礎論サマースクール 2009 は、非古典論理の代数的セマンティクスをテーマに以下の要領で開催します。 実施計画 テーマ 非古典論理の代数的セマンティクス 日時 2009 年 8 月 10 日 (月) 〜 8 月 12 日 (水) 会場 東京工業大学 大岡山キャンパス 西８号館(E棟) W833講義室 会費 無料 世話人 志村立矢(日本大学)、鈴木信行(静岡大学)、鹿島亮(東京工業大学) 講師、講演題目、プログラム等の情報は、確定
Willkommen auf monoceres.uberspace.de! Welcome on monoceres.uberspace.de! Diese Domain kennen wir leider nicht. Sadly, we do not have this domain in our records. Sollte sie dir gehören, kannst du die Domain, wie im Manual beschrieben, auf deinen Uberspace aufschalten. In case it is yours, take a look at the manual to add it to your account.
ドキュメント指向データベース CouchDB 株式会社リコー グループ技術開発本部 山本陽平 諸君、私は CouchDB が好きだ 3 • 諸君、私は CouchDB が好きだ • 諸君、私は CouchDB が好きだ • 諸君、私は CouchDB が大好きだ 4 アンケート • CouchDBを知っている • CouchDBをインストールした • CouchDBを使ってみた • CouchDBのソースを読んだ • CouchDBを作っている(コミッタだ) 5 • ドキュメント指向が好きだ • Erlangが好きだ • スキーマレスが好きだ • Map/Reduceが好きだ • 半構造データが好きだ 6 CouchDB のリソース • データベース – http://couchdb:5984/{db_name} – 0個以上のドキュメントを格納 – 実体は .couch ファ
UMLet 15.1 Free UML Tool for Fast UML Diagrams UMLet is a free, open-source UML tool with a simple user interface: draw UML diagrams fast, create sequence and activity diagrams from plain text, share via exports to eps, pdf, jpg, svg, and clipboard, and develop new, custom UML elements. Find below the full-featured UMLet as stand-alone app for Windows, macOS, and Linux, or as Eclipse plugin. It is
Create diagrams quickly No wasting hours mucking about with fiddly diagram layout. yUML allows you to create diagrams quickly by simply typing plain text. See Sample Diagrams Draw UML with code Because yUML diagrams are based on text, you can easily create them from your CI scripts or code. Simply request an image programatically using a GET or a PUT. Tool vendors are using this to integrate yUML
渋谷区立松濤美術館で開催中の 「江戸の幟旗(のぼりばた) 庶民の願い・絵師の技」展に行って来ました。 毎年何か「アッと」驚くような展覧会を企画開催してくれる松濤美術館さん。今年の夏もまたまたやってくれました。まだ7月28日から始まったばかりです。すぐスケジュール表に「松濤美術館◎」とメモメモ。そして今週末にでもすぐさま渋谷へ。 何も戸惑うことはありません。見逃すと泣きます。絶対に。 たった300円でこれだけ楽しむことこのご時世そうそうできませんって。 百聞は一見に如かず。この展覧会の凄さ素晴らしさは、百万言尽くすよりも展示風景数枚の写真があれば簡単楽勝。刮目せよ！ 地下1階展示室風景 注：画像は美術館の許可を得て撮影したものです。 長さ3m、4mは当たり前。中には10mを越す幟旗まで展示されてます。この展覧会の為に誂えたかのように、松濤美術館の地下1階と地上1階は吹き抜けになっています。
Edsger Wybe Dijkstra was one of the most influential members of computing science’s founding generation. Among the domains in which his scientific contributions are fundamental are algorithm design programming languages program design operating systems distributed processing formal specification and verification design of mathematical arguments In addition, Dijkstra was intensely interested in tea
Twitterが悪意あるURLのフィルタリングを開始 2009年08月03日19:37 ツイート mikko_hypponen ヘルシンキ発 by：ミッコ・ヒッポネン Twitterの人気がますます高まるにつれ、ワームやスパム、アカウント・ハイジャックの標的にされるケースも増えている。 我々はTwitterに、こうした動きに対抗するため、フィルタリングを開始することを勧めてきた。それは簡単にできることだ。何しろすべてのメッセージはTwitterを通過するのだから。 Twitterはこの件をアナウンスしていないが、我々はがTwitterが、既知のマルウェア・サイトへのリンクを含むメッセージのフィルタリングを開始したことを確認した。 以下は、不正なURLを含むメッセージを送ろうとすると現れる画面だ： 追記：情報筋によれば、TwitterのURLフィルタリングはGoogleのAPIを使用してい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く