、jelinek mercer smoothing - Google 検索For long queries, the Jelinek-Mercer smoothing performs better than the Dirichlet smoothing. • For short queries, the Dirichlet smoothing performs better ...
GpuScan + SSD-to-GPU Direct DMA - KaiGaiの俺メモ
前回の動いた！SSD-to-GPU Direct DMA - KaiGaiの俺メモの記事では、Intel SSD 750とNVIDIA Quadro K1200を使って、Raw-I/OでのSSD-to-GPU Direct DMAが動くところまでを紹介した。 この時点で測定できたSSD-to-GPU Direct DMAのスループットは概ね1400MB/s程度で、VFS経由のスループット1100MB/sを約20%程度上回るものであった。 ただ、Quadro K1200のスペックは以下のようなもので、お世辞にもハイパフォーマンスを期待して使用するタイプのカードではない。*1 チップ GM107GL (CC5.0) CUDAコア数 512コア, 1000MHz メモリ容量 4GB GDDR5 メモリ帯域 80GB/s, 128bit という事で、同じくGPUDirect RDMAに対応した T
ProofCafe - 名古屋を中心に活動する定理証明器・関数型言語のコミュニティ
開催勉強会 ProofCafeではいくつかの勉強会を定期開催しています。 詳細は個別のページをご覧ください。 Coqを用いたプログラムの証明について勉強する勉強会です。 コーヒーを飲みながら楽しく証明しましょう。 TAPL-nagoya Types and Programming Laungages(通称TAPL)の読書会です。 ScalaやF#などの静的型付け言語の基礎になっている型理論について学びます。 休日カフェタイム, KCTNagoya 圏論に関する勉強会です。 どえりゃあ Haskell Haskellに関する勉強会です。 サービス Software Foundations(和訳) Benjamin C. Pierce氏による同名のテキストの和訳です。関数プ ログラミグやラムダ計算についてCoqによる実例を交えながら丁寧 に説明されています。 Cochin Coqの定理検索サー
【シェル芸人への道】Bash on Windowsを探検する - Qiita
知っている人は知っていますが、Windows 10に今夏のアップデートで Bash が入るなんていうシェル芸人を目指す人間としては聞き逃せないニュースが入ってきました。 少し出遅れましたが、探検してみたいと思います。 インストール Insider Previewを有効にしてもなかなか落ちてこないという焦らしプレイ以外には特に困った点もないです。 ここで丁寧に解説するようなものでもないので他記事のリンクで割愛します。 Windows 10のbash on Windowsを試す Bash on Windows 10を使い始めてみた。 ( @kmry2045 ) 初回起動の使用許諾的なところまでは進んでから探検を開始します。 (備考) 上で紹介した記事は Windows 10 build 14316 ベースで書かれています。 この記事を書き始めてから妙にPCが重かったので再起動したところ、 Wi
PHP7調査(2)コンパイル時にASTを構築するようになった - Qiita
PHP7から内部的にAST（抽象構文木）が実装されるよ！とのこと。反対票ゼロでPHP7への採用が決まっています。 構文解析とコンパイルの分離 PHPでは構文解析にYACCを利用しています。YACCでの構文解析は、概念的には構文木を辿るような処理なのですが、これまでのPHPでは実装として木構造を構築することはせず、構文解析をしながら即座にopcodeを作り出すような処理をしていました。 このようなつくりが原因で、これまでのPHPではYACCレベルの文法が冗長になったり、PHP文法に一見無意味な制約ができたりしていました。 PHP7からは一度ASTを作りあげてからopcodeの生成を行うため、パーサーや最適化の実装がシンプルになって保守性が上がったり、これまで技術的な理由で不可能だったスマートな文法が導入しやすくなると期待できます。 ソースコードを見たい方のために実装箇所も紹介しておきます。現
NLP若手の会 (YANS) 第11回シンポジウム 開催報告 - YANS
8月28日（日）〜8/30（火）、和歌山県白浜にて NLP 若手の会第11回シンポジウムを開催しました。約150人の参加者と23社のスポンサーの皆様をむかえ、今年も大盛況でした。ご参加いただいた皆様、どうもありがとうございました。 最終日には、参加者による投票に基づいて受賞者を選定し、奨励賞として4件、デモ賞として2件を閉会式にて表彰しました。本奨励賞はこれから始まる，または始まったばかりの研究を奨励することを主旨とするものであり，現時点の研究の完成度よりもアイディアの面白さおよび新規性，発展性への期待を重視しています。 受賞者 奨励賞 P11「論文のテキストと引用グラフを考慮した分散表現学習」小林雄太, 新保仁, 松本裕治（NAIST） P16「 共参照関係に基づく分散表現の共有と動的更新」小林颯介, 岡崎直観, 乾健太郎（東北大） P28「二値符号予測によるニューラルネット翻訳」小田悠
PHP の JIT 実装を試す - y_uti のブログ
PHP の開発者向けメーリングリストに、JIT の開発を始めたという投稿がありました。PHP 8.0 への搭載を目標として開発を進めるそうです。 php.internals: JIT for PHP project そこで、投稿に書かれているベンチマークテストを私の環境*1でも実行してみました。結果は以下のとおりでした。それぞれ 10 回の実行時間を平均したものです。実行したベンチマークプログラムは PHP のソースコードに含まれているマイクロベンチマークです。Zend/bench.php (GitHub リポジトリ) でソースコードを確認できます。 左端の青色の系列は、次期マイナーリリースの PHP 7.1.0 RC1 で実行したものです。これは JIT なしでの実行になります。これ以外の 2 系列は JIT を有効にして実行したものです。中央の薄橙色の系列は、メーリングリストに投稿され
JIT for PHP project - Externals
Hi @internals, I'm glad to say that we have started a new JIT for PHP project and hope to deliver some useful results for the next PHP version (probably 8.0). We are very early in the process and for now there isn't any real performance improvement yet. So far we spent just 2 weeks mainly working on JIT infrastructure for x86/x86_64 Linux (machine code generation, disassembling, debugging, profili
PHP's OPCache extension review
Reminder on OPCodes caches # PHP is a scripting language, that by default will compile any file you ask it to run, obtain OPCodes from compilation, run them, and trash them away immediately. PHP has been designed like that : it "forgets" everything it's done in request R-1, when it comes to run request R. On production servers, the PHP code is very unlikely to change between several requests, thus
JavaScriptをOCamlから生成するトランスパイラ「BuckleScript 1.0」、米ブルームバーグがオープンソースで公開。TypeScriptよりタイプセーフかつ効率的で高速と
JavaScriptをOCamlから生成するトランスパイラ「BuckleScript 1.0」、米ブルームバーグがオープンソースで公開。TypeScriptよりタイプセーフかつ効率的で高速と 金融情報などの提供を行っている米ブルームバーグは、OCamlのコードからJavaScriptのコードを生成するトランスパイラ「BuckleScript 1.0」をオープンソースで公開しました。 BuckleScriptはTypeScriptやBabelJSなどからインスパイヤを得て開発されたと説明されていますが、最大の特徴はTypeScriptなどが独自の構文を備えているのに対し、BuckleScriptは既存の言語であるOCamlを採用しているところです。 OCamlはオブジェクト指向型と関数型の両方の特長を備え、特に海外では金融系システムの開発でよく使われているプログラミング言語です。 Buckl
JSON Schema And Go
It has been about 7 months since I started writing a JSON Schema library, named go-jsschema, and other associated libraries for Go. In this article, I will try to describe these libraries that I wrote. All features are those as of September 2016. ParsingBefore doing anything with a JSON Schema, you need to parse it. This is simple: go-jsschema provides a ReadFile() method as well as a Read() metho
Amazonが「全員が時短勤務のエンジニアチームを作る」実験を開始
シアトルのテレビ局King5の報道によると、シアトル発の巨大IT企業アマゾンが、新たに週30時間勤務の社員だけで構成した「時短チーム」を作る計画を進めているということです。 この特別チームは、エンジニア、他の技術職、そし […] シアトルのテレビ局King5の報道によると、シアトル発の巨大IT企業アマゾンが、新たに週30時間勤務の社員だけで構成した「時短チーム」を作る計画を進めているということです。 この特別チームは、エンジニア、他の技術職、そしてマネージャーまで含めた全員が、週30時間働く時短社員となります。月曜～木曜の午前10時から午後2時までがコアタイムとなり、それ以外の勤務時間は各自が決めるフレックスタイム。 給与は30時間に合わせて減りますが、保険等のベネフィットは週40時間勤務のフルタイム社員とまったく同じものが得られます。 このプロジェクトにあわせた新規採用の募集イベントも開
The Metaobject Protocol of the Common Lisp Object System
This is my attempt at an HTML version of chapters 5 and 6 of the book "The Art of the Metaobject Protocol". There is already an HTML version available, created by Howard R. Stearns. However, while the original text is freely available, that HTML version is copyright 1997 by Elwood Corporation, and permission is granted to make and distribute copies, but only as long as the copies are complete and
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Reddit - Dive into anything
各種契約書類 - ピーシーデポ契約書類確認
Reddit - Dive into anything
Conal Elliott - Generic FFT - Silicon Valley Haskell
Improve Your English Communication Skills
Details Emerge On China's 64-Core ARM Chip
