タグ

2013年12月10日のブックマーク (8件)

  • Metropolis - a K'nex Ball Machine

    Presenting, "METROPOLIS" My tallest K'nex ball tower up to this date. * Building time * Oct '09 - Aug '10 Number of pieces: 29.873 * Dimensions * Width: 1.40 m Depth: 1.15 m Height: 2.40 m Weight: 48 kg Link to picture slideshow: http://www.instructables.com/id/Metropolis-a-Knex-Ball-Machine/ Instructions for most elements used in this ball machine can be found her

    Metropolis - a K'nex Ball Machine
    rydot
    rydot 2013/12/10
  • はっきりわかんだねの元ネタ - 元ネタ・由来を解説するサイト 「タネタン」

    「はっきりわかんだね」は言葉通りはっきりわかる時に使われるフレーズ。 主にニコニコ動画やなんJなどで用いられる。 なにかの事象を指して、そこからはっきりと読み取れる情報に対して「●●、はっきりわかんだね」というふうに使うことが多い。 このフレーズはネットの一部で大人気のゲイビデオ『真夏の夜の淫夢』シリーズ第四章『昏睡レ◯プ!野獣と化した先輩』における野獣先輩のセリフが元ネタ。 この四章では水泳部の後輩を野獣先輩の家に招待するわけだが、家につくと屋上で肌を焼くという展開になる。競泳パンツに着替えオイルを塗り合いしたりなんだかんだした後、「焼けたかな?」と自分の肌をチェックする先輩、そして後輩のパンツをめくり日焼けの跡を確認しながら野獣先輩が言った言葉が「すっげえ白くなってる。はっきりわかんだね。」というものであった。 普通に考えれば日焼けの跡をみたら「黒くなってる」と言うところだと思うが、あ

    はっきりわかんだねの元ネタ - 元ネタ・由来を解説するサイト 「タネタン」
    rydot
    rydot 2013/12/10
  • 【Miku Hatsune】Lolicon is Justice 【VOCALOID-PV】

    Made by: takebo3 【初音ミク】 ろりこんでよかった~ 【フルver.PV】おじりなる(*´ω`*) Uploaded from Nico Nico Douga: http://www.nicovideo.jp/watch/sm17211747 Alt tags: Tsundere Miku Hatsune is Tsundere VOCALOID

    【Miku Hatsune】Lolicon is Justice 【VOCALOID-PV】
    rydot
    rydot 2013/12/10
  • 【初音ミク】Tell Your World (J-Core Remix)

    rydot
    rydot 2013/12/10
  • neue cc - 非同期時代のLINQ

    この記事はC# Advent Calendar 2013の4日目となります。2012年はMemcachedTranscoder - C#のMemcached用シリアライザライブラリというクソニッチな記事で誰得でした(しかもその後、私自身もMemcached使ってないし)。その前、2011年はModern C# Programming Style Guide、うーん、もう2年前ですかぁ、Modernじゃないですねえ。2011年の時点ではC# 5.0はCTPでしたが、もう2013年、当然のようにC# 5.0 async/awaitを使いまくる時代です。変化は非常に大きくプログラミングスタイルも大きく変わりますが、特にコレクションの、LINQの取り扱いに癖があります。今回は、非同期時代においてLINQをどう使いこなしていくかを見ていきましょう。 Selectは非同期時代のForEach これ超大

  • 金融と OCaml - camlspotter’s blog

    関数型言語というと金融で流行っている、特に OCaml と言えば金融御用達関数型言語として語られることも多い。金融業界に関数型言語を持ち込み成功した最初の二社 LexiFi とJane Street Capital は共に OCaml を採用し、そして二社とも今日成功しているからだ。 今回はそのうち LexiFi について話したい。私が Ph.D を取った後、一年間、産業ポスドクとしてお世話になった会社である。 金融派生商品(デリヴァティブ)は様々な日時や条件、依存する別の商品価格によって価値が変化する。デリヴァティブは先物やオプションなどのような一般市場でも流通している簡単な派生商品だけでなく、会社間でだけで取引される非常に複雑な物もある。これらの商品にはそれぞれ業界内で通用する名前が付けられ取引、評価、管理が行われてきた。そしてこれらを扱うプログラムもまた、それぞれの商品ごとに別個の機

    金融と OCaml - camlspotter’s blog
  • 原始再帰関数 - Wikipedia

    原始再帰関数(げんしさいきかんすう、英: Primitive Recursive Function)とは、原始再帰と合成で定義される関数であり、再帰関数(計算可能関数)の部分集合である。原始帰納的関数とも。 再帰理論において原始再帰関数は、計算可能性の完全形式化のための重要な要素となる関数のクラスの1つである。このような関数は証明論においても重要である。 数論が扱う関数の多くや、実数を値とする関数の近似は原始再帰的であり、加法、除法、階乗、指数、n 番目の素数を求める関数などがある (Brainerd and Landweber, 1974年)。実際、原始再帰的でない関数を考案するのは難しいが、いくつかの例が知られている(限界の節を参照)。 計算複雑性理論では、原始再帰関数の集合をPRと呼ぶ。 原始再帰関数のクラスとは、while文を使用せずに計算できる(すなわちfor文のみで計算可能な)

  • 【日本文化】あふれるインスピレーション「おばあちゃんが作った手毬」の宇宙が壮大過ぎて、可能性が広がりまくり:DDN JAPAN

    DDN は 音楽 ・ 映像 に関する デジタル アート を中心に情報ミックスを配信中

    【日本文化】あふれるインスピレーション「おばあちゃんが作った手毬」の宇宙が壮大過ぎて、可能性が広がりまくり:DDN JAPAN