Vellvm: Verified LLVM
Vellvm: Verifying the LLVM The Vellvm project is building a (verified LLVM), a framework for reasoning about programs expressed in LLVM's intermediate representation and transformations that operate on it. Vellvm provides a mechanized formal semantics of LLVM's intermediate representation, its type system, and properties of its SSA form. The framework is built using the Coq interactive theorem pro
青空文庫形態素解析データ集
概要 青空文庫の作品に対し、textsearch_jaで形態素解析を行ったCSVデータを無料で公開しています。 CCライセンスの範囲内であれば、登録・報告作業の必要なしに、営利目的であっても ご自由に本データをダウンロードしてご利用いただけます。 データ形式はCSV形式で下記のようなイメージになります。詳しくは解析データ説明をご覧ください。 解析対象データ 2012年12月時点で青空文庫で公開されている作品中で、作品著作権フラグがない作品のうち 11,176件分のデータを解析しています。 解析対象データ一覧をこちらからCSV形式でダウンロードできます。 ※1作品に複数人の著者等が登録されているケースがあるため、レコード数は11,176件ではありません。 解析データダウンロード 解析データを作品別にダウンロードしたい場合は、 解析データ一覧から検索してダウンロードしてください。 文字コードが
No One Tweets Like the Japanese, and That Was a Huge Problem for Twitter
Twitter engineer Mazdak Hashemi says the Japanese tweet like no one else on earth. When the New Year arrives or even as they watch certain moments in shows and movies broadcast on national television, tens of thousands of Japanese will tweet at practically the same instant. "Everyone tweets at the New Year, but the Japanese are more in-sync," says Hashemi, who, as Twitter's director of site reliab
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
サービス終了のお知らせ
