タグ

2019年12月12日のブックマーク (16件)

  • 安心・高速・正確な2019年最新のインターリービング手法 Pairwise Preference Multileaving - Qiita

    安心・高速・正確な2019年最新のインターリービング手法 Pairwise Preference MultileavingABtesting情報検索ランキングABテストインターリービング はじめに この記事は、情報検索・検索エンジン Advent Calendar 2019の11日目の記事です。 この記事では、A/Bテストより10~100倍効率的なランキング評価手法 インターリービング(Interleaving)のまとめと実践に続いて、2019年時点で最新のインターリービング手法である Pairwise Preference Multileaving (PPM) (Oosterhuis and de Rijke 2017) を紹介します。 インターリービングとは、複数のランキングをユーザからのフィードバックによって評価するオンライン評価手法の1つであり、よく用いられているA/Bテストよりも

    安心・高速・正確な2019年最新のインターリービング手法 Pairwise Preference Multileaving - Qiita
    xef
    xef 2019/12/12
  • 僕が体験してきた『アートディンク』の個性派ゲームたち(Switch版『ネオアトラス1469』発売記念) - いつか電池がきれるまで

    ネオアトラス1469 ガイドブックパック 【早期購入特典】「Neo ATLAS 1469 Original Soundtrack」 付 - Switch 出版社/メーカー: スタジオアートディンク発売日: 2018/04/19メディア: Video Gameこの商品を含むブログを見るgame.watch.impress.co.jp 一昨日、2018年4月19日に、『ネオアトラス1469』のSwitch版が発売されました。 僕は前作の『THE ATLAS』は、だいぶ昔に、かなりやりこんだ記憶があるのですが、『1469』は、PS Vitaにダウンロードしたものの、「積みゲー」と化しているんですよね。面白い、つまらないを語れるほどやりこなまいまま、時間だけが過ぎ、Vitaもあまり起動しなくなり……Switch版は、ぜひやってみようと思います。とはいえ、最近ゲーム積みすぎの状況で。 『THE AT

    xef
    xef 2019/12/12
  • Mathematical Logic Advent Calendar 2019 - Adventar

    数理論理学周辺の話題に関するAdvent Calendarです. 数理論理学の話, 証明論, モデル理論, 集合論, 計算理論などの数理論理学周辺の話題であれば何でも大丈夫です!普段から数理論理学の研究やそれを道具に研究をする人, また数理論理学を学び始めたばかりの人, なんでも歓迎しています!

    Mathematical Logic Advent Calendar 2019 - Adventar
    xef
    xef 2019/12/12
  • Splitting Persistent Models

    xef
    xef 2019/12/12
  • SATySFi Advent Calendar 2019 - Adventar

    2017年度未踏事業のひとつとして実装された組版処理システムSATySFi。 昨年に続いて「SATySFi Advent Calendar」が今年も開催です! ハッシュタグは「#satysfiadvent2019」でお願いします 発表から二年弱となるSATySFiですが、少しずつユーザーが増え、様々なサービスが登場してきています。とは言ってもまだまだ情報を集めるのに苦労することが多いでしょう。 この現状を打開すべく、SATySFiに関する記事を書きまくりましょう。 飛び入り参加OK、内容はSATySFiに関係することならなんでもOKです。 過去の様子 2018年

    SATySFi Advent Calendar 2019 - Adventar
    xef
    xef 2019/12/12
  • Rustの `Arc` を読む(1): Arc/Rcの基本 - Qiita

    概要: Rustの Arc 型の実装は宝の宝庫です。そこで、これを隅から隅まで解説してみます。 第1回「Arc/Rcの基」では、実際に Arc のソースを読む前に Arc/Rc の使い方を解説します。 第1回 Arc/Rcの基 第2回 Rcを読む基編 第3回 Rcを読む発展編 第4回 アトミック変数とメモリ順序 第5回 Arcを読む はじめに Arc<T> はRustの基的な型のひとつですが、 Box<T> のようにコンパイラに特別扱いされているわけでもなく、実装も比較的コンパクトです(コメントやテスト、安定性に関する指示などを除いて500LOC程度) その一方で Arc は並行性制御や Deref, ドロップチェッカー, Unpin, Layoutの扱いなどRustをよりよく理解するための題材を多く含んでいます。そこで記事では Arc<T> の実装を読んでいきます。 とはいえ、

    Rustの `Arc` を読む(1): Arc/Rcの基本 - Qiita
    xef
    xef 2019/12/12
  • Go でトランザクションをフルスクラッチで実装した - kawasin73のブログ

    一歩ずつ一歩ずつ前へ進んでいく、確実に。どうも、かわしんです。 到底 1 記事に収まるような内容ではなく長いので、トランザクションの作り方に興味のない方は途中の「なぜ Go なのか」まで読んでいただければ嬉しいです。 この記事は、Go2 Advent Calendar 2019 の 7 日目と セキュリティキャンプ 修了生進捗 #seccamp OB/OG Advent Calendar 2019 の 7 日目を兼用しています。 さて、僕の興味は必要になったライブラリやミドルウェアなどを自作して、作りたいプロダクトを完成させることです。必要なコンポーネントがないからといってプロダクトを作るのを諦めたり妥協したりはしたくありません。 多くのアプリケーションではデータベースは重要なコンポーネントです。大抵のアプリケーションは MySQL や Postgres、Redis など既存のデータベース

    Go でトランザクションをフルスクラッチで実装した - kawasin73のブログ
    xef
    xef 2019/12/12
  • コンパイル時計算完全に理解した - 竹迫の近況報告

    コンパイル時計算完全に理解したリクルートテクノロジーズの竹迫です。 この記事はRecruit Engineers Advent Calendar 2019の4日目(12/4)のエントリーです。先月、社内のTGIFで飛び入り発表したスライドを記事にまとめなおしました。 adventar.org 皆さんは素数を数えることが好きでしょうか?私は大好きです。 問題:MAX以下の素数の個数を数えよ。 与えられた数以下の素数の個数を予測する「ガウスの素数階段」を作る簡単な問題です。素数かどうかを判別するにはどんな数字でも割り切れないことを確認する必要があるため、ナイーブに素数判別を計算するとどうしても時間がかかってしまいます。(※厳密に素数の個数を予測する魔法の「リーマンの素数公式」はとても面白いのですが、今回の記事では解説対象外です。) 引用元:http://tsujimotter.hatenabl

    コンパイル時計算完全に理解した - 竹迫の近況報告
  • itertoolsの紹介 | κeenのHappy Hacκing Blog

    κeenです。このエントリはRust Advent Calendar 2019 - Qiita 6日目のエントリです。 空いてたので飛び入りました。 飛び入りなので軽い小ネタ。便利クレート itertoolsの紹介です。 itertools は標準ライブラリの Iterator を拡張し、今まで痒いところに手が届かなかった部分をサクっと埋めてくれるライブラリです。 使い方 cargo add itertools などしてあとは use itertools::Itertools; するだけです。これだけでイテレータが便利になります。 何ができるの Itertools 「そう、それ!」と言いたくなるようなメソッドが生えてきます。 例えばイテレータの要素をまとめて処理する chunks と、セパレータで文字列を結合する join を組み合わせるとこういうコードが書けます。 for chunk i

    itertoolsの紹介 | κeenのHappy Hacκing Blog
    xef
    xef 2019/12/12
  • Rustのturbofishを理解する | κeenのHappy Hacκing Blog

    このエントリはRustその3 Advent Calendar 20193日目に飛び入り参加しているエントリです。 Rustの型パラメータ指定の構文、通称ターボフィッシュ(turbofish)について。 Rustでジェネリクス関数は以下のように関数名に続いて <パラメータ名> で指定しますよね?

    Rustのturbofishを理解する | κeenのHappy Hacκing Blog
    xef
    xef 2019/12/12
  • 手続き型脳で型推論を実装してみた | κeenのHappy Hacκing Blog

    このエントリは型 Advent Calendar 2019 - Qiita 2日目に遡って投稿しているエントリです。 担当に遅刻した訳ではなくて空いてたので前から詰めて投稿しただけです。 κeenです。世の中に型推論アルゴリズムは色々知られていると思いますが、それを一切無視して型推論を実装してみたので報告します。 型推論の基的理解 式に型変数を割り当てて、既に分かっている型から制約条件をつけてその制約の連立方程式を解けばいいです。 例えば以下のようなSMLの式を考えましょう。

    手続き型脳で型推論を実装してみた | κeenのHappy Hacκing Blog
  • Optics By Example

    Hi! I'm Chris, the author of Optics By Example! Optics By Example is a one-stop comprehensive guide to mastering optics in functional programming languages. It covers everything you need to know to go from complete beginner to advanced. Each topic is accompanied by copious examples and exercises! See the Sample for a complete list of chapters, but here are some highlights: Complete introductions t

    Optics By Example
    xef
    xef 2019/12/12
  • XMLのつぶし方 - golden-luckyの日記

    昨日までの話を整理します。 ドキュメントのXMLによる表現は、プログラムの抽象構文木に相当し、ドキュメントの意味構造を示したものであった なので、XMLの構文をS式で表せた すると、XMLの要素名がLispにおける関数、要素がその関数への引数に見えた そこで、要素を材料としてシリアライズした文字列を返すように、要素名で関数を定義した。その際、要素の中には別の要素名を持つ要素が入れ子になっていることがあるので、それらは再帰的に処理するように定義した。 こうして、ドキュメントのXMLをLispの評価器で直接実行できた そして、そのためのフレームワークとして、xml2texという自作のアプリケーションを紹介しました。 XMLからTeXを生成する専用機に見える名前が付いているけど、これは命名を失敗したと思っていて、xml2texは、いわば、XMLをつぶす機械を作る機械です。 XMLをつぶして好きな

    XMLのつぶし方 - golden-luckyの日記
    xef
    xef 2019/12/12
  • Rust製JVMを作成した話

    rchaser53noMacBook-Pro:rj rchaser53$ javap -v java/io/PrintStream Classfile jar:file:/Library/Java/JavaVirtualMachines/jdk1.8.0_144.jdk/Contents/Home/jre/lib/rt.jar!/java/io/PrintStream.class Last modified 2017/07/21; size 9048 bytes MD5 checksum f62b2b102171bb9cd2cefa5efcf0e487 Compiled from "PrintStream.java" public class java.io.PrintStream extends java.io.FilterOutputStream implements java.lan

    Rust製JVMを作成した話
    xef
    xef 2019/12/12
  • レガシーフリーOSに必要な要素技術 legacy free os

    UEFI BIOSやACPI,APIC,USBなどのレガシーフリーデバイスに対応したレガシーフリーOSを作成するのに必要な要素技術を解説。OpenSource Conference 2019 tokyo fallRead less

    レガシーフリーOSに必要な要素技術 legacy free os
    xef
    xef 2019/12/12
  • dtolnay - Rust

    xef
    xef 2019/12/12