2016年6月11日のブックマーク (7件)

  • 乱択アルゴリズム - Wikipedia

    乱択アルゴリズム(らんたくアルゴリズム)、ランダム・アルゴリズム(英: randomized algorithm)または確率的アルゴリズム(かくりつてきアルゴリズム、(英: probabilistic algorithm)は、その論理の一部に無作為性を導入したアルゴリズムである。通常のアルゴリズムでは自然数を順番にあてはめるような決定的な部分で、乱数による非決定的な選択を入れることで、「平均的に」よい性能を実現することを目的とすることがある。形式的には、乱択アルゴリズムの性能はランダムビット列で決定される確率変数となる。その期待値を期待実行時間[1]と呼ぶ。最悪の場合に関して「無視できる」ほどに低い確率であることが、一般に、この類のアルゴリズムが効果的である要件となる。 乱択アルゴリズムが使われる背景[編集] n 個の要素からなる配列から「a」という要素を探す問題を考える。この配列の各要素

  • GitHub - fsharp/fsharp-compiler-docs: Doc build for FSharp.Compiler.Service

    You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

    GitHub - fsharp/fsharp-compiler-docs: Doc build for FSharp.Compiler.Service
  • scomb/SComb.scala at master · kmizu/scomb · GitHub

    case class ParseSuccess [ + T ]( value : T , next : String ) extends ParseResult [ T ]

    scomb/SComb.scala at master · kmizu/scomb · GitHub
    yad-EL
    yad-EL 2016/06/11
  • factorio@jp Wiki*

    Factorio@JP Wiki Factorio(ファクトリオ)は資源を掘って機械をクラフトしてどんどん自動化・巨大化していくゲームです。 新しい技術や武器を開発して、原住生物の脅威に立ち向かうRTSの要素も取り入れられています。 2020年8月14日 正式版がリリースされました! 購入前の方→購入について 初心者の方→チュートリアル Switch版で始める方→Nintendo Switch版について <現在の最新バージョン> 安定版:1.1.107(2024/4/11) テスト版:1.1.109(2024/6/7) zip版・公式サイトインストール版ダウンロード:安定版/安定版headless zip版・公式サイトインストール版ダウンロード:テスト版/テスト版headless Switch版:1.1.107(????/??/??)

    factorio@jp Wiki*
    yad-EL
    yad-EL 2016/06/11
  • 40歳で無職になって1か月経過した、その率直な感想 - あいむあらいぶ

    かるび(@karub_imalive)です。 タイトルの通り、40歳で無職になって、1ヶ月が経過しました。 最初、退職した直後は、「あー、やっとこれで終わりだ!明日からゆっくりするぞ!」なんて多少は開放感を感じていたものですが、なんかバタバタしている間にあっという間に1か月が経過。 ちょうど良い機会なので、「中年のオッサンが気まぐれに退職したらどうなったのか?」退職後1か月経過した時点での、僕の素直な感想をブログに書き残しておきたいと思います。長文となりますが、ご勘弁を。 1.40歳にして会社を辞めようと考えた理由 2.周りの反応は結構厳しかった 3.他では言えないので、ブログで音を書くことにした 4.退職して1か月、無職中に何をやったのか 4-1.読書ざんまい 4-2.新しい趣味 4-3.ブログ 5.40すぎの無職生活のメリットとデメリット 6.40で無職になったらだらけてしまうのか?

    40歳で無職になって1か月経過した、その率直な感想 - あいむあらいぶ
    yad-EL
    yad-EL 2016/06/11
  • chainl と左再帰 - あどけない話

    Parsec などが利用する再帰下降構文解析では、左再帰が無限ループに陥るという問題がある。例えば、以下の BNF で定義される数式を考える。 expr ::= expr '+' term | term term ::= term '*' factor | factor factor :: = '(' expr ')' | nat nat = '0' | '1' | ... expr と term が分かれているのは、足し算と掛け算の結合力の違いを表現するためである。expr と term は、右辺の左端に自分自身が使われているので、これをそのまま実装すると無限ループに陥る。 data Expr = Expr :+ Expr | Expr :* Expr | Nat Int deriving Show expr :: Parser Expr expr = do e <- expr char

    chainl と左再帰 - あどけない話
  • Scala Language Specification

    Table of Contents Lexical Syntax Identifiers, Names & Scopes Types Basic Declarations & Definitions Classes & Objects Expressions Implicits Pattern Matching Top-Level Definitions XML Annotations Standard Library Syntax Summary References Changelog Authors and Contributors Martin Odersky, Philippe Altherr, Vincent Cremet, Gilles Dubochet, Burak Emir, Philipp Haller, Stéphane Micheloud, Nikolay Miha