はじめに 基準線：代数的データ型に対する演算 符号化された代数的データ型に対する演算 符号化を始代数として見る 関数的ストリームで tail を取る方法 はじめに 1985年、コラド＝ベーム (Corrado Böhm) とアレッサンドロ＝ベラルドゥッチ (Alessandro Berarducci) が、狭義の正 (strictly positive) の代数的データ型を多相ラムダ計算 (System F) において符号化する方法を発表した。 彼らはデータ型に対する演算 ―― 構成 (construction) と特にパターンマッチ ―― を体系的に、あるいは自動的に、適用と抽象［関数適用とラムダ抽象にくわえて、全称量化型についての適用と抽象］のみを持つ対象言語へと翻訳する方法を示した。 彼らはこの符号化が一対一対応であることを証明した。 この方法を使えば、全ての狭義の正の代数的データ型
[PR]上記の広告は3ヶ月以上新規記事投稿のないブログに表示されています。新しい記事を書く事で広告が消えます。 ＣＥＤＥＣの講演 「ゲーム世界を動かすサイコロの正体 ～ 往年のナムコタイトルから学ぶ乱数の進化と応用」 より、 乱数を使った ドルアーガの塔の 迷路生成のアリゴリズムについて紹介です。 講演内容は、こちらです http://sekigames.gg-blog.com/Entry/288/ 講演者の方も、 「ナムコの乱数を取り上げるなら、ドルアーガの塔をせざるえない」 という程、外せない内容との事です 「このテーマだけで講演時間を全て使っても説明しきれない」 （講演では、時間の関係で 触りのみでしたので ある程度、せっき～の解釈で補完しています） -------------------------------------------------------------------
V8 の最適化について 色々(主にVyacheslav Egorovさんの記事やスライド)読んでたのでそれのメモ。 この文章は2014年9月13日に書かれて最適化されていないため、この文章を元に最適化をすると失敗すると思います。 参考まとめ V8に関するリソースまとめ V8 Resources - Vyacheslav Egorovさんによる thlorenz/v8-perf - Thorsten Lorenzさんによる Understanding V8 and JIT compilation basics - Google スライド - 概要分かりやすい Hidden Class V8がリリースされた時から特徴としてあげられている最適化 V8: an open source JavaScript engine - YouTube V8 祭り - Backnumbers: Steps to
このブラウザ バージョンのサポートは終了しました。サポートされているブラウザにアップグレードしてください。
Collaborative filtering (CF) is a successful approach commonly used by many recommender systems. Conventional CF-based methods use the ratings given to items by users as the sole source of information for learning to make recommendation. However, the ratings are often very sparse in many applications, causing CF-based methods to degrade significantly in their recommendation performance. To address
Танцы с бубном Наши админы уже зажгли благовония и начали ритуальный танец вокруг сервера. Обычно это помогает быстрее любого кода. Улучшайзинг Мы решили добавить пару фич, которые сделают вашу жизнь проще, а наш код — запутаннее. Мы почти разобрались, честное слово! Кофе-кризис Мы бы закончили быстрее, но кофемашина тоже ушла на техобслуживание. Поймите нашу боль и дайте нам еще пару минут.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
