Google/Microsoftにソフトウェアエンジニアとして就職する方法
難関外資系企業の1つ、グローバルIT企業に入社するためには 皆さんは難関外資系企業といえば、まずどのような企業を連想するでしょうか。例えば戦略コンサルや投資銀行、外資系メーカーなどが挙げられると思いますが、近年はそれらだけではなく、Google、Apple、MicrosoftといったグローバルIT企業のエンジニア職の人気も急上昇しており、狭き門と言われています。 そもそもこれらの企業は、東大・京大の大学院の中でも情報系の学生や海外大生など一部の学生にしか採用募集が公開されなかったり、採用人数が非常に少なかったりすることもあり、なかなか選考の実態を知ることができません。 また、他の職種・企業の新卒採用のように「経験不問」というわけにはいかず、 高度なプログラミング能力や経験が選考の時点から求められているのが「外資系IT企業でのエンジニア職」というキャリアです。 今回は、そんな外資系IT企業に
「ラムダ計算」を独学で学習するための，講義ノートやPDFのリンク集 （復習用の問題付き） - 主に言語とシステム開発に関して
講義ノートの目次へ ラムダ計算は，コンピュータ・サイエンスの重要な１分野。 「λ」を使って各種の関数を記述し，λどうしの計算方法を習得すれば・・・ HaskellやF#などの関数型言語を習得するために役立つ。 プログラミングにおいて，関数についての理解を深めることができる。 複雑なアルゴリズムを簡易に記述して，挙動や性質を予測することができる。 計算機科学の，より深い専門的な話題を理解するための足がかりを得られる。 などのメリットがある。 下記に，独学でλ計算を勉強するための， 入門レベルの講義ノートやWebページを掲載する。 読みやすい便利なもの・わかりやすいものから，応用的なものへと並べてある。 質の高いものだけを精選し，わかりづらい資料は除外してある。 ラムダ計算の概要 ラムダ計算の基礎 ラムダ計算の応用 復習のための問題（入門レベル） ※λ計算を利用した計算量・計算複雑性・計算可能
Haskell - Wikibooks
Haskellは関数型言語であり、他のプログラミング言語を触ったことのある読者なら、Haskellのやり方は他の言語とは多少異なっていることが分かるでしょう。 Haskellの独自性は二つあります。一つは、「純粋」関数型言語であることです。純粋関数型言語では、同じ関数を同じ引数で呼び出した場合、必ず同じ戻り値になることが保証されます。二つ目は、Haskellが極めて現代的な型理論を備えていることです。Haskellでは、型クラスや代数的データ型などの型を扱うことができます。これらの難解な概念は、今は全く理解できないかもしれませんが、この本を読み終えた後には、より身近なものに感じられるでしょう。 さて、Haskellerたちはこの言語のどこに魅力を感じているのでしょうか。ユニークで新しい感覚を得られるからでしょうか。しかし、Haskellの最も優れた性質は、純粋関数のみによって書かれているこ
Haskell/Denotational semantics - Wikibooks
導入[編集] この章ではHaskellプログラムの意味がどのように形式化されるかという表示的意味論(denotational semantics)を説明します。「square x = x*x というプログラムの意味は、数をその平方数に写す数学の平方関数だ」ということを形式的に規定することはつまらないことにみえるかもしれませんが、それでは f x = f (x+1) のような無限ループするプログラムの意味はどうでしょうか？ 以下ではまずこの疑問に対するScottとStracheyのアプローチを例示し、概して関数プログラムの、特に再帰的な定義の正しさについて論じる基盤を得ることにしましょう。もちろん、これらのトピックではHaskellプログラムを理解するために必要なものに集中します。[1] この章の他の狙いは、ある関数がその引数を評価する必要があるかどうかというアイディアを捉えた正格と遅延の概
やさしいFunctional reactive programming（概要編） - maoeのブログ
あと、やはりネットワーク周りなどI/Oの多いプログラムの書きにくさが課題になっている印象。関数的なI/OはFRPで解決できそうな気がするんだけど調べてない。そろそろFRPをちゃんと理解したいなー。 Parsec 3活用事例: Keepalived構文チェッカ - maoeのブログ なんて書いてから早1ヶ月半、ようやくFRPが掴めてきたのでわかったことをまとめてみます。 Reactive programmingって何？ FRPの前に、一般的にwikipedia:en:Reactive programmingと呼ばれるパラダイムについて触れておきます。reactive programmingとは疑似言語を使ってかなーり大雑把に説明すると、 var a = 1 var b = a + 1 a = 10 // aを書き換える print b // => 11print bの出力は2ではなく11です
関数型プログラマのための Rx 入門（前編） - Okapies' Archive
概要 『Observable は単なる非同期データストリームにおけるモナドのインスタンスだよ。何か問題でも？』 まともな概要 つまり、Reactive Extensions (Rx) って何だ？ ということでウェブをガサゴソと漁っていたところ、オンライン講義サービス Coursera の Principles of Reactive Programming に行き当たった。この講座では、Rx の主要開発者の一人である「双対おじさん」こと Erik Meijer 氏自らが一部の章を担当し、Rx の理論的側面を講義している。 この講座の大きな特徴は、Rx を（命令型プログラミングではなく）関数型プログラミング (FP) の側から解き明かしていくことにある。 こう書くと奇をてらっているように見えるかもしれないが、実際には Rx は FRP (Functional Reactive Program
Reactive Extensionsのはじめかた - かずきのBlog@hatena
最近Reactive Extensionsがバズってきてて、2年以上前に公開したReactive Extensionsのv1のメソッドを大体網羅したPDFが割と参照されてます。 Reactive extensions入門v0.1 from 一希 大田 www.slideshare.net 個人的な入門は、そこに全部書いたので今更感もありますが、Reactive Extensionsを今から入門する人向けに色々書いてみたいと思います。 Reactive Extensionsとは IObservable<T>とIObserver<T>がコアのインターフェースになります。名前からわかるようにこれは、GoFのデザインパターンの1つ、オブザーバーパターンを表したインターフェースになります。 Observerパターン Observerパターンを簡単に説明すると、IObservableの状態に何かしら変
Reactive Extensionsで非同期処理を簡単に
2. Profile Twitter => @neuecc Blog => http://neue.cc/ HNはneuecc 読むときは“のいえ”と読ませてます ドメイン繋いだだけなので発音するの考えてなかっ た(のでccは抜きで←発音しにくいですから) Microsoft MVP for Visual C#(2011/4-) WP7で作った物 ReactiveOAuth, Utakotoha WP7の好きなtheme light + lime 3. Agenda LINQの概要/LINQとしてのReactive Extensions 非同期処理の面倒さと如何にRxが癒すか .NETにおける非同期パターンの説明 Rxの基本(購読, キャンセル, 例外処理) 非同期処理で使うRxのメソッド概略 作った物紹介
こわくないReactive Extensions超入門 - Qiita
（この記事は、Reactive Extensionsの素晴らしさを伝えるために書かれたものです） Linqはふつーに使ってる、Rxは解説記事を読んでみたことはあるけどなるほどわからんだった人あたりを対象にしています。 Reactive Extensionsとかいうやつ Reactive Extensions！！！（略して、Rx！） C#のサイキョウライブラリの一つであり、C#に革命をもたらしたLinqをさらに発展させてなんだかめちゃくちゃよく分からないものにしてしまったようなもの。 詳しいことは後で書くので、とりあえずはLinqっぽいすごいやつだと思っておけばいいです。 Rxの解説など Rxは時間軸をシーケンスと見なして関数を適用していく関数指向なライブラリである IEnumerable<T>をベースとするLinqに対して、IObservable<T>をベースとした拡張メソッド群 Linq
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
