一番最初に言っておく。 構ってちゃんだと思われても構わない。 ここにアプリ一覧があるじゃろ？（らくがき８は名前予約だけ） pic.twitter.com/7w04mTnqfy — 無色澤@大湊警備府 (@kurosawa0626) 2014, 10月 2 これらをな・・・ pic.twitter.com/1I8Z2fjvLE — 無色澤@大湊警備府 (@kurosawa0626) 2014, 10月 2 こうじゃ！ pic.twitter.com/6fxwz6OiSp — 無色澤@大湊警備府 (@kurosawa0626) 2014, 10月 2 という訳でタイトル通り、数は少ないですが公開中のアプリをすべて取り下げました。 本来は年末までにWPが出なかったら完全に撤退するつもりでしたが前倒しです。 理由は簡単で、日本でWPが出る見込みがない以前の問題で、MS本社の態度にいい加減限界

今度こそ帰ってくるスタートメニュー、そして…。 Windows 8は、辛い思いをしてきました。それは未完成のポストデスクトップ時代のために生まれ、新しく風変わりなものを求めない多くの人たちに冷たく迎えられました。それと比べると退化のようにも見えるWindows 10は、一歩引くことで本来Windows 8が目指していたものになろうとしているのです。 良いところを残して 多くの人は、Windows 8が嫌いです。本当に嫌いです。それは誰もが知るところで、嫌われるのも仕方ないです。Windows 8はわかりにくく、ぎこちなく、まるっきり矛盾していることもありました。でも、ちゃんとできていることだってあったんです。 まず｢タブレットとデスクトップの融合｣というWindows 8のねらいはスマートで、今はさらにスマートになっています。キーボードを取り外せるラップトップとかキーボードを付けられるタブ

最近H2OというHTTPサーバを書いているのですが、プロファイルを取ってみるとsprintfが結構な時間を食っていて不満に感じていました。実際、sprintfは数値や文字列をフォーマットするのに十徳ナイフ的に便利なので、HTTPサーバに限らず良く使われる（そしてCPU時間を消費しがちな）関数です。 では、sprintfを最適化すれば、様々なプログラムが より高速に動作するようになるのではないでしょうか。ということで作ったのが、qrintfです。 qrintfは、Cプリプロセッサのラッパーとしてソースコードに含まれるsprintfの呼出フォーマットを解析し、フォーマットにあわせたコードに書き換えることで、sprintfを高速化します。 たとえば、以下のようなIPv4アドレスを文字列化するコード片を sprintf( buf, "%d.%d.%d.%d", (addr >> 24) & 0xf

Why $\lambda$‽ A research blog about programming languages, databases, provenance, and other randomly-selected topics. Dijkstra monads in monadic computation Bart Jacobs CMCS 2014 This paper discusses a monad for predicate transformers (dubbed the Dijkstra monad in an earlier paper by Swamy et al. that is now also on my reading list). This post is an attempt to express a very, very small part of t

ブライダルフォト、写真、生活/暮らし これから結婚式を挙げる方へ これから結婚式を挙げる方に […] ブライダルフォト、写真、生活/暮らし 結婚式の準備、まずはここから 結婚が決まったら、次は早速 […] ブライダルフォト、写真、生活/暮らし 自分好みの結婚式を挙げるには 女性にとって結婚式は憧れで […] ブライダルフォト、写真、生活/暮らし 今、人気のあるカフェで結婚式 近年は様々な結婚式のスタイ […] ブライダルフォト、写真、生活/暮らし 結婚式にお呼ばれしたら 人生の中で何度か友人の結婚 […] ブライダルフォト、写真、生活/暮らし 結婚式をお得に行う方法 結婚式は人生の中でも重要な […] ブライダルフォト、写真、生活/暮らし 結婚式とハネムーンを楽しめる国内リゾート 女性なら誰でも海外リゾート […] ブライダルフォト、写真、生活/暮らし 結婚式に招待された時の相応しい服装