原始再帰関数 - Wikipedia
原始再帰関数（げんしさいきかんすう、英: Primitive Recursive Function）とは、原始再帰と合成で定義される関数であり、再帰関数（計算可能関数）の部分集合である。原始帰納的関数とも。 再帰理論において原始再帰関数は、計算可能性の完全形式化のための重要な要素となる関数のクラスの1つである。このような関数は証明論においても重要である。 数論が扱う関数の多くや、実数を値とする関数の近似は原始再帰的であり、加法、除法、階乗、指数、n 番目の素数を求める関数などがある (Brainerd and Landweber, 1974年)。実際、原始再帰的でない関数を考案するのは難しいが、いくつかの例が知られている（限界の節を参照）。 計算複雑性理論では、原始再帰関数の集合をPRと呼ぶ。 原始再帰関数のクラスとは、while文を使用せずに計算できる（すなわちfor文のみで計算可能な）
HTTPステータスコード - Wikipedia
HTTPステータスコードは、HTTPにおいてWebサーバからのレスポンスの意味を表現する3桁の数字からなるコードである。RFC 7231等によって定義され、IANAがHTTP Status Code Registryとして管理している。以下に一覧を示す。 1xx Informational 情報[編集] リクエストは受け取られた。処理は継続される。 100 Continue 継続。クライアントはリクエストを継続できる。サーバがリクエストの最初の部分を受け取り、まだ拒否していないことを示す。 例として、クライアントがExpect: 100-continueヘッダをつけたリクエストを行い、それをサーバが受理した場合に返される。 101 Switching Protocols プロトコル切替。サーバはリクエストを理解し、遂行のためにプロトコルの切り替えを要求している。 102 Processin
[他]SQLServerの排他制御
GDDとは「Gut's Driven Development」の略です。簡単にいうとガッツ駆動方式のシステム開発です。 えぇまぁ、私の開発スタイルです。このBlogでは、そんなシステム開発の作業で発見したことを記録していきます。 (Google Developer Daysとはなんの関係ありません。) SQLServerはトランザクションをかけると、共有ロックになります。 更新ロック：他のトランザクションからUPDATE, DELETE不可排他ロック：他のトランザクションからSELECT,UPDATE, DELETE不可 先日、SQLServerで排他制御の実験をしてみました。実施すると、まさしく共有ロックの動作をしていました。 その方法は、SQL文にヒントをつける方法です。以下の組み合わせで実現します。 ■ロックの範囲 ROWLOCK：行単位のロックPAGLOCK：ページ単位のロックTA
開発(等)の日記 » Blog Archive » Microsoft SQL Serverでのlimit句
MS SQL Serverは避けて通ってきたのだが、仕事の関係でそうも言ってられなくなり しかし、方言がきつい。 関数の名称や引数が異なるという程度ならまぁ納得もするのだが1、limitはそもそも標準に入っていなかったのだっけ？ということでlimit。 MS SQL Serverでは「TOP」で表現するとのこと。 位置にも注意。 SELECT * FROM hogehoge limit 1; については、 SELECT TOP 1 * FROM hogehoge; と書くよう。 他にはまったのは、 比較演算子「<=」はダメ、「=<」と書く 日付の加減算は「DATEADD」 JOINで「USING」句が使えない？ 調べていないが「ON」を使用 といった感じ。はまったと言うほどのものでもないけれど まぁ、驚き最小じゃないのはTOPくらいか。 midなんていうとんでもないのもあるにはある
川o・-・）＜2nd life
Perl での print debug の方法の紹介がブーム(?)だったので、自分がよく行ってる Ruby での debug 方法7つについて書いてみます。 p ご存じの人も多い Kernel#p メソッド。これを使うとオブジェクトの内容を見やすい形で出力してくれます。 >> p ({:foobar => :baz}) {:foobar=>:baz}Object#inspect を使うと、p で出力するときと同じ文字列を String として取得できます。 >> puts ({:foobar => :baz}).inspect {:foobar=>:baz}初心者の頃この p での出力を使う方法がわからなくて困った記憶が…。 pp pp というライブラリを使うと、p より、より見やすい形式で出力してくれます。たとえば >> a = Array.new(10) { {:foobar => :
RubyForge: ruby-prof: Project Info
ruby-prof is a fast profiler for Ruby. Development Status: 4 - Beta Environment: Console (Text Based), Win32 (MS Windows) Intended Audience: Developers, System Administrators License: BSD License Natural Language: English Operating System: Microsoft, Linux Programming Language: C, Ruby Topic: Software DevelopmentRegistered: 2006-06-14 22:35 Activity Percentile: 93.38% View project activity statis
トピックモデルシリーズ 7 DTM （Dynamic Topic Model） の一種
最後はおまけでLDAに時系列を組み合わせた実装を試してみたので紹介します。 今まで「文書」と呼んできたものを「ユーザー」、「単語」と呼んできたものを「アクセスしたWebページ（≒アクション）」と考えます。ユーザーが1日目～31日目までV種類のWebページにアクセスしたデータがあるとします。そしてユーザーの興味のあるトピックの分布（トピック混合比）が時間によって変化すると考えます。ある人は興味が移りやすく、またある人は移りにくいでしょう。そんな状況をモデリングします。 この記事の表記は以下です。1人あたり1時刻あたり150アクションぐらいというデータです（記事の最後にデータを生成したRコードを載せてあります）。 グラフィカルモデルは以下になります。 トピックごとの単語分布に比べて個々人のトピック混合比の方が移り変わるスピードが速いと考えられますので、今回は単語分布はどのタイムポイントでも同じ
GitベースのWiki gollumを使い始めた - Gaishimo
よさげなWikiを求めて 技術Tipsとかをまとめておきたいけど公開まではしたくない..みたいなプライベートWikiが欲しくてよさげなものを探してみた。 dokuwikiとかも試してみたけど、デザインがシンプルなgollumがよさげだったのでこれにした。Githubっぽいし。 データベース等は使わずにGitに保存され管理される仕組みらしい。 環境 CentOS 5.9 (さくらVPS) Webサーバ: nginx 1.2.3 インストール ruby-gemでインストール可能 # gem install gollum この時rubyのバージョンが1.8.7以上でないとエラーになる(1.8.5だとエラーになった) リポジトリの作成 保存用のgitリポジトリを作成 # git init /var/git/wiki/gollumn.git 起動 ベースとなるgitリポジトリを指定して実行する。 $
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://github.com/rack/rack/blob/master/lib/rack/utils.rb
GitHub - deivid-rodriguez/pry-byebug: Step-by-step debugging and stack navigation in Pry
