Open Graph protocol
Introduction The Open Graph protocol enables any web page to become a rich object in a social graph. For instance, this is used on Facebook to allow any web page to have the same functionality as any other object on Facebook. While many different technologies and schemas exist and could be combined together, there isn't a single technology which provides enough information to richly represent any
High Level Concurrency with JRuby and Akka Actors « Metaphysical Developer
Many developers are used to low-level concurrency primitives, such as locks, monitors and semaphores. Java also has higher level concurrency utilities such as Atomic Objects and Fork/Join framework. Such primitives still require a lot of attention to shared variables, and are very easy to get wrong. Ilya Grigorik recently discussed other models of concurrency on his recent post Concurrency with Ac
TechCrunch | Startup and Technology News
The event horizon for when we can expect to end up in (literal) hot water when it comes to climate has come a lot closer. You wanna know how close? The climate deadline is close enough that it is inte NASA has announced Space Act agreements with seven private space companies in the hopes of spurring tech developments the government may invest in down the line, from space stations to human transpor
音楽業界はなぜ縮小したか？ - ハックルベリーに会いに行く
音楽業界はなぜ縮小したか？ を文系的に考察する。 「生活必需品としての価値の下落」音楽業界が産業として最も大きくなったのは（最も売上が高かったのは）1990年代半ばから後半にかけてとのことで、その当時ぼくは20代の若者だった。その頃のぼくの気分というものを振り返ると、CDを買って聞いていないと、ちょっと人間関係的にヤバいなぁみたいな雰囲気があった。というのも、一つには「つき合いのカラオケ」というのがあった。ぼくは特段カラオケが好きというわけではなかったが、仕事のつき合いでも、あるいはプライベートの合コンなどでも、カラオケに行く機会はよくあった。だから、そこで歌うための歌を仕込んでおく必要があった。そしてそれは、できれば流行りの歌が良かった。最新ヒットチャートを賑わしている歌を歌えば、周囲の評価が高かったからだ。だから、カラオケで歌うためのヒット曲のCDをよく買った。その頃に買ったのは、猿岩
カリー＝ハワード同型対応 - Wikipedia
関数型プログラムとして書かれた証明：自然数の加法に関する交換律のCoqによる証明。 カリー＝ハワード同型対応（カリー＝ハワードどうけいたいおう、英語: Curry–Howard correspondence）とは、プログラミング言語理論と証明論において、計算機プログラムと証明との間の直接的な対応関係のことである。「プログラム＝証明」(proofs-as-programs)・「型＝命題」(formulae-as-types)などとしても知られる。これはアメリカの数学者ハスケル・カリーと論理学者ウィリアム・アルヴィン・ハワード（英語版）により最初に発見された形式論理の体系とある種の計算の体系との構文論的なアナロジーを一般化した概念である。通常はこの論理と計算の関連性はカリーとハワードに帰属される。しかしながら、このアイデアはブラウワー、ハイティング、コルモゴロフらが定式化した直観主義論理の操作
CEDEC Digital Library
ヘルプ Tweet 新着情報 2024年2月20日 セッション資料を追加しました。 プロデューサーやディレクターの育成を目指した教育プログラムの取り組みと成果 2024年2月16日 セッション資料を追加しました。 インディーゲーム開発者たちのリアル 2024年2月8日 セッション資料を追加しました。 ２つの地獄は手をつないでやってきた！ ～ファイナルファンタジー XIV / ファイナルファンタジー XVI サウンド開発日誌～ 2024年2月7日 セッション資料を追加しました。 ゲームテストにおける自動化導入の難問をクリアした運用ナレッジ ゲームのバグを効率的に探す「探索的テスト」の初級テスター向けレベルアップ手法の研究 CRIWARE 最新情報をご紹介 ～LipSync VOD 立体音響編～ Unreal Engine 5 の最新グラフィクスを使いこなすための4個の勘所 『カゲマス』＆『ダ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.codecommit.com/blog/ruby/integrating-scala-into-jruby
「その写真コラですよ」→「コラかはどうでもいい」「本物だ、地元をなめるな」
みんなで歌おう！北斗の拳！
Kitten riding tortoise (Music by Henry Mancini)