lEDfm4UEのブックマーク / 2015年7月2日

lEDfm4UE id:lEDfm4UE

2015年7月2日のブックマーク (24件)

Scalaで型レベル”だけ”でクイックソート | POSTD
Scalaの型システムが先進的であることは、皆さんもご存じのことかと思います。この投稿では、Scalaの型システムのみを使ったクイックソートアルゴリズムの実装方法をご紹介したいと思います。なお、ここで紹介するデモの完全なコードはこちらをご覧ください。自然数まずは準備から。ソートアルゴリズムを実装するには、ソートする対象が必要ですよね。ここでは自然数を用います。もちろん、Scalaの型システムには利用可能な自然数はありません。そんなわけで、全ての自然数の型を作る必要があります。型を無限に作るというのは、恐らく時間の浪費になるでしょうから、ここはもう少し賢い手を考えます。そう、数学を使いましょう。ペアノの公理ペアノの公理とは、自然数を形式的に定義するためのシンプルな方法のことです。 0 は特別なものとする。 0 は自然数である。全ての自然数 n には、それに続くもう1つ別の
lEDfm4UE 2015/07/02
*あとで

development
リンク
ルースクリスステーキハウス（RUTH’S CHRIS STEAK HOUSE） - 虎ノ門/ステーキ [食べログ]
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
ペストリーブティック　オリガミ（ORIGAMI） - 溜池山王/ケーキ [食べログ]
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
赤坂うまや (赤坂見附/居酒屋)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
長野ベーカリー（ナガノベーカリー） - 溜池山王/パン [食べログ]
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
ピエール・ガニェールパン・エ・ガトー - 溜池山王/パン [食べログ]
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food

sweets

tokyo
リンク
オーセンティック (赤坂/ハンバーガー)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
reviews

shops

food

ハンバーガー

tokyo

*done
リンク
Bistro Q （ビストロキュー） - 溜池山王/ビストロ [食べログ]
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food

tokyo
リンク
アクアティコ（acquatico） - 溜池山王/イタリアン [食べログ]
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
まさむね - 赤坂見附/とんかつ [食べログ]
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
reviews

shops

food

とんかつ

tokyo

*done
リンク
個室中華頤和園溜池山王店 (国会議事堂前/中華料理)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
中国料理「花梨」 (六本木一丁目/中華料理)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
こくりこ (六本木一丁目/焼き鳥)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
焼きスパゲッチミスターハングリー (虎ノ門/パスタ)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
東京油組総本店池袋組 (池袋/油そば・まぜそば)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
赤坂ふきぬき（あかさかふきぬき） - 赤坂/うなぎ [食べログ]
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
宮川本廛赤坂店（宮川本店みやがわほんてん） - 赤坂/うなぎ [食べログ]
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
赤坂菊乃井 (赤坂/日本料理)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
支那麺はしご赤坂店 (溜池山王/担々麺)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
reviews

shops

food

ラーメン

tokyo

*done
リンク
かえりやま (溜池山王/フレンチ)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food

tokyo
リンク
松川 (六本木一丁目/日本料理)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food

tokyo
リンク
天丼金子屋赤坂店 (溜池山王/天丼)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food
リンク
ツッカベッカライカヤヌマ (溜池山王/ケーキ)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
*あとで

reviews

shops

food

sweets

tokyo
リンク
きすけ - 溜池山王/親子丼 [食べログ]
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込みご希望の条件を当サイトよりご入力ください。 2 お店からのメールご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店予約が確定した場合、そのままお店へお越しください。
lEDfm4UE 2015/07/02
reviews

shops

food

tokyo

*done
リンク
- 2015年7月3日
- 2015年7月2日
- 2015年7月1日