A Note on Compactness of Propositional Logic∗ Y. K. 登場人物 まどか — 大学生 ほむら — 大学生 さやか — 大学生 マミ — 大学院生 QB — 謎の生命体 議論 ま「ねえねえ、さやかちゃん。昨日、論理学��
5 users
A Note on Compactness of Propositional Logic∗ Y. K. 登場人物 まどか — 大学生 ほむら — 大学生 さやか — 大学生 マミ — 大学院生 QB — 謎の生命体 議論 ま「ねえねえ、さやかちゃん。昨日、論理学の講義でコンパクト性定理っていうのを教わったんだ... 続きを読む
Twitter調査、フォロー/フォロワー数はともに10未満が最多 | 経営 | マイナビニュース
22 users
ライフメディアは5月16日、Twitterに関する調査結果を発表した。同調査は、5月5日から5月10日にかけて、インターネットリサーチにて10代から60代の全国男女に対して行われ、有効回答数は1,435サンプル。 同調査によると、「Twitterのアカウントを持って、利用し... 続きを読む
115 ● 資 料 校正記号表→ （『編集デザイン入門』荒瀬光治著 2007.4 出版メデイアパル刊より抜粋） 116 117 ● 資 料 □ □ □ □ 生 存 の 危 機 118 119 ● 資 料 121 ● 資 料 120 24 人 類 は 一 ��
5 users
115 ● 資 料 校正記号表→ （『編集デザイン入門』荒瀬光治著 2007.4 出版メデイアパル刊より抜粋） 116 117 ● 資 料 □ □ □ □ 生 存 の 危 機 118 119 ● 資 料 121 ● 資 料 120 24 人 類 は 一 万 年 前 自 ら 作 物 を 植 え る と い う 自 然 管 ... 続きを読む
PhotoshopなどAdobeクリエイティブ製品に脆弱性、有料の最新版「CS6」で修正 -INTERNET Watch
120 users
米Adobe Systemsは8日、同社が提供しているクリエイティブ製品に脆弱性があることを公表した。Windows/Macintosh用のPhotoshop CS5.5以前、Illustrator CS5.5以前、Flash Professional CS5.5（11.5.1.349）以前が影響を受ける。 例えばPhotoshopでは、悪意のあ... 続きを読む
正規表現とNFA・DFA
55 users
「主筆」を作成するにあたって、俺は正規表現ライブラリを自作してみたが、ついでだから正規表現についてもう少しまともな解説をしてみることにしてみる。 状態遷移図 難しい故事来歴はおいておくものとする。 とりあえず、入力文字列が正規表現にマッチするか... 続きを読む
4Clojure
20 users
What is 4Clojure?4Clojure is a resource to help fledgling clojurians learn the language through interactive problems. The first few problems are easy enough that even someone with no prior experience should find the learning curve forgiving. ... 続きを読む
Programming Languages: Principles and Paradigms
1 user
Services Find all our Services for:AdvertisersAuthorsBooksellersBook ReviewersInstructorsLibrariansSocieties & Publishing PartnersSubscription Agencies We are happy to help you!Discounts & SpringerTokenDVD & CD-ROM SupportManage your AccountO... 続きを読む
男友達の家にH無しで泊まる方法！男子の性欲を賢くセーブするには | ハウコレ
72 users
「バイトで遅くなっちゃった」「飲み会帰り、終電がなくなった」 「女友達の家に泊めてもらおうと思ったら、彼氏が来てるからと断られた」 そんな状況ってありますよね。 そんな時、男友達の家にフツーに泊まる女子も増えているでしょう。 最近の男子の草食化は... 続きを読む
静的単一代入 - Wikipedia
16 users
� �}iw W����+*���i��� ��K6vB7$,Lw�=9�^�\��5� ��W�� �d �����t�� �G�,��� �>ﻇ�U�+����jy�� A � � � � �+ � `!�I��L�!�b��VS �.Yb F�"��������ѷ D����E����|�m�^U7H �... 続きを読む
朝日新聞デジタル：グーグル、クラウドの貸し出しサービスを日本で本格展開 - 日刊工業新聞ニュース - デジタル
253 users
印刷 関連トピックスグーグル グーグル（東京都港区、有馬誠代表取締役、０３・６３８４・９０００）は、米グーグルがインターネット経由で世界展開しているクラウド基盤の貸し出しサービス「アップ・エンジン」を日本で本格展開する。企業や自治体を対象とす... 続きを読む
2 RT▼
2 RT
CPS（継続渡し方式）変換をJavaScriptで説明してみるべ、ナーニ、たいしたことねーべよ - 檜山正幸のキマイラ飼育記
82 users
雑記／備忘 | 16:33 | 久々にThe n-Category Cafeを見たら、Mike Stayによる"The Continuation Passing Transform and the Yoneda Embedding"なんて記事がありました。米田埋め込みは圏論ではお馴染み。継続渡しへの変換はコンピュータ・プログラミングではお馴... 続きを読む
数理科学的バグ撲滅方法論のすすめ：ITpro
269 users
筆者 住井 英二郎 「プログラミング言語理論」という研究分野がある。この分野の研究者たちは，「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」（円周率計算のことではない）など，多くのプログラマにとっては聞いたこともない言語やモデルについて，日... 続きを読む
ソフトウェアの基礎
27 users
Benjamin C. Pierce Chris Casinghino Michael Greenberg Vilhelm Sjöberg Brent Yorgey with Andrew W. Appel, Arthur Chargueraud, Anthony Cowley, Jeffrey Foster, Michael Hicks, Ranjit Jhala, Greg Morrisett, Chung-chieh Shan, Leonid Spesivtsev, and... 続きを読む
12歳の文学賞ワロタｗｗｗｗｗｗｗｗｗｗワロタ……。可愛いうえに天才、俺らと次元が違いすぎる:【2ch】ニュー速VIPブログ(`･ω･´)
218 users
2012年03月20日 12歳の文学賞ワロタｗｗｗｗｗｗｗｗｗｗワロタ……。可愛いうえに天才、俺らと次元が違いすぎる 1 ：以下、名無しにかわりましてVIPがお送りします：2012/03/20(火) 02:17:49.62 ID:yZUQu3wc0 一人一人のコメントの次元が違い過ぎて 何もいえね... 続きを読む
Pro Git - Table of Contents
911 users
This is an in-progress translation. To help translate the book, please fork the book at GitHub and push your contributions. 続きを読む
Certified Programming with Dependent Types
24 users
This is the web site for an in-progress textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. This is the text for... 続きを読む
TypeRex
16 users
TypeRex, the OCaml Programming Studio TypeRex is a powerful development environment for OCaml. It is designed to integrate easily in your favorite editor, and to provide all the commands that programmers expect from a modern IDE. 続きを読む
林晋ブログ - my weblog : コミック 数学ガール ゲーデルの不完全性定理 by susumuhayashi
6 users
物語「京都学派」の前日についたコミック「数学ガール ゲーデルの不完全性定理」１，２巻 を繰り返し2度も読んでしまった。内容が正確なのは、原作者の結城浩さんが チェックしたらしいから当然として、解説書の文章では、僕の「ゲーデルの謎を解く」 とか、結... 続きを読む
1 RT▼
1 RT
磯野ー！関数型言語やろうぜー！
236 users
磯野ー！関数型言語やろうぜー！ — Presentation Transcript 磯野ー！関数型言語やろうぜー！ 1/40 中の人@razon ● 角田裕樹id:razon ● 天領倉敷Scala 言いだしっぺ ● 岡山Javaユーザ会 戦闘員A ● TDDBC岡山 戦闘員D（くらい） ● ハッシュタグレイパー ●... 続きを読む
wise9 › 「アンプリファイア」を作りたい — メディアアートサークル「Tonica」を設立した鈴木良平氏に聞いたクリエイティビティへの想い
14 users
今日は、ひとつのメディアアート作品と、それを作ったアーティストを紹介したい。 rhyfLS performance 1 from quolc on Vimeo. スクリーンに投影されている映像は、録画されたものではなく、手元のタッチパネルを使って自在に操ることができる。パネルに並んで... 続きを読む
