Overview Type-level programming has many similarities with traditional, value-level programming. However, unlike value-level programming, where the computation occurs at runtime, in type-level programming, the computation occurs at compile time. I will try to draw parallels between programming at the value-level and programming at the type-level. Paradigms There are two main paradigms in type-leve
ブログ移転のお知らせ! ▼当ブログは移転しました!新しいサイトは以下となります!! http://bamka.info ▼お手数おかけしますが、RSSの再登録もお願いします!! http://feeds.feedburner.com/bamka 外でパソコン作業をしていると、どうしても問題になるのがバッテリーの問題。 外付けのバッテリーを常備していても、切れるときは切れるものです。私も外で作業をするのが好きなので、よく悩まされる問題であります。 これを解決するために、電源が使えるカフェをすぐに探せる状態にしておきたい。 そこで大変重宝したのが、「電源が使える喫茶店」というサイト。 このサイトでは、その名のとおり電源が使えるカフェをまとめてあります。しかも、エリア毎でGoogleMapsに登録してあるので、これを活用しない手はない! GoogleMapsのマイプレイスをiPhoneのマップア
Shiro(2012/01/03 08:43:15 UTC): 昨年のSIGGRAPHで見たこの論文が気になってたので、 2012年の書き初めとして、勉強のために大筋のところを実装してみた。 Jerry O. Talton, et al., Metropolis Procedural Modeling, ACM Trans. Graph. 30(2). 論文pdfは著者のウェブページ http://www.jerrytalton.net/research/ からもダウンロードできる。 著者はソフトウェアも公開しているので、論文に載っているような美麗なグラフィクスを作りたければそちらを使うのが手っ取り早いだろう。ここのメモはあくまで、段階を追って理解することが目的。 この論文の要点は、Reversible Jump Markov chain Monte Carlo (RJMCMC) を「確率
Haskell で ソケットを使ったクライアント-サーバ通信をやってみる。 Haskell を使ったネットワーク・プログラミングの入り口が分かればいいので、クライアントから受け取った文字列をひっくり返して返すだけの、簡単なお題とする。 まず、サーバはこんな感じ。 import Network import System.IO main :: IO () main = withSocketsDo $ do hSetBuffering stdout NoBuffering server `catch` (const $ putStrLn "Exception caught.") putStrLn "Connection closed." server :: IO () server = do sock <- listenOn (PortNumber 8001) repeats (receive
Install nginx if it’s not already installed: sudo apt-get install nginx You must have the SSL module installed. The nginx docs say this is not standard. However, it does come installed on Ubuntu. You can verify by running nginx -V and looking for --with-http_ssl_module. Next up is generating the SSL certs. Follow the Slicehost docs for this step. Now you’ll need to update your /etc/nginx/nginx.con
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く