新卒は勝ち組
グリー株式会社学部卒：4,000,000円（月額285,715円) 院卒：4,250,000円（月額303,572円) 短卒・専卒：3,000,000円（月額：214,286円） http://job.rikunabi.com/2011/company/employ/r669210063/ 株式会社ミクシィ月給28万円（大卒、短大卒、専門卒） 月給29万円（大学院卒） http://job.rikunabi.com/2011/company/employ/r428210055/ 株式会社ディー・エヌ・エー（DeNA）学部卒：400万円（月額33万3,334円) 修士了：420万円（月額35万円) http://job.rikunabi.com/2011/company/employ/r776010013/ 楽天株式会社4年制大卒／ 月次給与：300,000円 大学院卒／ 月次給与：310,
PASSPORT_初めての申請
初めてパスポートを申請するときの手続についてご案内します。 東京都でパスポートを申請できる方は、東京都内に住民登録をしている方です。 ただし、都内に住所がなくても、外国からの一時帰国者、船員、学生・生徒、長期出張・単身赴任者等で都内に一時的に居住している方は、例外的に東京都で申請できる場合があります。詳しくは下記「居所での申請」をご覧下さい。
人材獲得作戦・３ - 人生を書き換える者すらいた。
求人サイトに広告を出して３週間。 実に応募者はたくさん来たものです。40～50人はいました。ゾンビのごとくわらわらと集まってきたよ。 今回は、手っ取り早くふるいにかけるために、最初にプログラミングの実技試験をやりました。都合のよい日時を申告してもらい、その時刻になったら問題を送信(それも僕はcronで仕込むだけ)、応募者は時間内に回答のソースコードをメールで提出、という形式。 これなら定型的なメールのやりとりでほとんどの作業が済むし、僕の時間の節約になる。 これから試験を受ける人もいるので問題の内容は非公開だけども、ちょっとしたパズルを解くアルゴリズムを考えて実装する、というタイプの問題です。 プログラム言語は自由（受験者が得意なものを使ってよい）、標準入出力を使うだけなのでOSも自由、制限時間３時間としました。 ちなみに僕がこれを自分で解いてみたときは、C#を使って25分でできた。 とこ
The GraphML File Format
graphdrawing.org - home of graph drawing GD 2010 - 18th Intl. Symp. Graph Drawing, 21-24 Sep 2010, Konstanz, Germany What is GraphML? GraphML is a comprehensive and easy-to-use file format for graphs. It consists of a language core to describe the structural properties of a graph and a flexible extension mechanism to add application-specific data. Its main features include support of directed, und
dependent type - ラシウラ
ちょっとわかりにくかった http://en.wikipedia.org/wiki/Dependent_type このというのは、 function make_size_n_vector(n) { return new Array(n); }のような関数の型を表すもの。 単に「型Nの引数を受け取って、『要素型RのVec』を返す関数」じゃなく、「型Nの引数nを受け取って、『そのn個の要素型RのVec』を返す関数」という型が表現できるようにするものをdependent type（拡張した型システム）という感じ。型そのものはΠ型とかともいうらしい。 Curry–Howard(対応/同型)では、プログラム(コード)＝証明(手順)であり、型＝命題である。普通の型システムの型チェックは命題論理の証明チェックと同等ということになるのかな。その型システムで使う論理を一階述語論理と同じ表現ができるよう拡張し
オイラー法 - Wikipedia
オイラー法（オイラーほう、英: Euler method）とは、常微分方程式の数値解法の一つである。この方法は、数学的に理解しやすく、プログラム的にも簡単なので、数値解析の初歩的な学習問題としてよく取りあげられる。 常微分方程式とその初期値問題を次のように定める。 時間の刻み幅を h とする。TF 時間後の数値解を求めるために、まずは時間を離散化し、tn = t0 + nh とすると、オイラー法は次の公式で定義される。 ここで、yn は tn での数値解である。この公式を導出するために、解の存在性と滑らかさはピカール・リンデレフの定理より保証されると想定する（特に、f(t, y) はリプシッツ連続である）。上記の初期値問題の厳密解（ときには解析解）を y にし、y(t + h) のテイラー展開を考える： ここで y′(t) を微分方程式により f(t, y) に変換すると上記式が となる。
)
Chord (peer-to-peer) - Wikipedia
In computing, Chord is a protocol and algorithm for a peer-to-peer distributed hash table. A distributed hash table stores key-value pairs by assigning keys to different computers (known as "nodes"); a node will store the values for all the keys for which it is responsible. Chord specifies how keys are assigned to nodes, and how a node can discover the value for a given key by first locating the n
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
認証がかかっています
cache:zm2uBluQxtgJ:isg.cs.tcd.ie/spheretree/ sphere tree - Google 検索