セッション型は プロトコルを表現する型で， 15年くらい前から π計算の型理論の1つとして研究されてきました(文献リスト(一部))．並行・分散ソフトウェアの普及を鑑みるに，セッション型のような仕組みは次世代の型安全かつ表現力の高いプログラミングのための強力なツールとして役に立つと考えます． しかしその直観的なわかりやすさにも関わらず，セッション型を提供しているプログラミング言語は皆無(おそらく…)です． そこで，今 流行(?)の型レベル計算を駆使して Haskell にセッション型を導入してみました． ダウンロード 晒してみる． まだ α版 full-sessions ダウンロードページへ test.hs を ghci でロードしてください いくつかの関数は 型を見たり runS で走らせたりできます． test.hs の一部で ixdo 記法を使っているので， cabal install
iPhone OS 3.0のSafariでコピーふきだしを無効にするには Tweet 2009/6/22 月曜日 matsui Posted in iPhone, TIPS | No Comments » 先日リリースされたばかりのiPhone OS 3.0絡みのTIPSをご紹介します。 iPhone OS 3.0から待ちに待ったコピペ機能が付きましたが、スクロールすることが多いサイトなどでは、ふきだしが表示されてしまって不便なことがあります。 このふきだしをCSSを使って無効にする方法があるそうです。 → masuidrive on rails – iPhone 3.0のMobileSafariでコピペを無効にする方法 [masuidrive.jp] コピー用のふきだしとは次のようなものです。 画面を少しの間長押ししていると表示されます。 次のようなCSSを指定するだけで、コピーのCSS
您的请求在Web服务器中没有找到对应的站点！ 可能原因： 您没有将此域名或IP绑定到对应站点! 配置文件未生效! 如何解决： 检查是否已经绑定到对应站点，若确认已绑定，请尝试重载Web服务； 检查端口是否正确； 若您使用了CDN产品，请尝试清除CDN缓存； 普通网站访客，请联系网站管理员；
Introduction To accommodate a class of applications that require near-realtime access to Twitter data, we provide several tiers of streaming API methods. This document describes how a client can consume data from these methods. Table of Contents Concepts Authentication HTTP Basic Authentication is required to access the streaming API methods. A client must provide the credentials of a valid Twitt
Scareware attacks spreading to Twitter, Google and legit media websites My USA TODAY cover story on the proliferation of scareware — and the ostentatious profits earned by top scareware affiliates — has struck a nerve. Readers’ comments include musings about why banks and credit card companies don’t do more to police the online payment systems they supply for use by scareware traffickers. Some con
原著者：Unladen Swallowプロジェクト 原文：http://code.google.com/p/unladen-swallow/wiki/ProjectPlan 原文更新：April 23, 2009 ～Python最適化計画～ 注意: 引用している論文はすべて、 "RelevantPapers"のページからリンクを張っている。中国語版もある ゴール 概要 マイルストーン 2009 Q1 2009 Q2 2009 Q3以降 詳細計画 正規表現 起動時間 テストと測定 パフォーマンス 正確さ 複雑さ リスク コミュニケーション ゴール このプロジェクトではPythonを速くしたいと思っている。また、大きくて安定しているアプリケーションをこのプロジェクト"Unladen Swallow"に切り替えて使用してもらえるようにするのもゴールの一つである。 CPythonと比べて、最低でも
Twitterとメディアとイランについての前の記事をたくさんの方に読んでいただき、コメントやフィードバックを頂きました。ありがとうございました！頑張って書いた甲斐があります。。。
dragon曲線と, twindragonのフラクタルの絵は, 関係がありそうでなさそうである. TAOCPには "B. Mandelbrot named S the "twindragon" because he noticed that it is essentially obtained by joining two "dragon curves" belly-to-belly." と書いてあるが(演習問題4.1-18の解答), その意味は, 前回引用したWilliam Gilbertの論文を見て分かった. 前回のtwindragonの絵は, i-1進法の小数であったが, i-1進法の整数でも話はほとんど同じである.(...a3a2a1a0)2は n = &Sigmak=0 ak*(i-1)k を表わす. 整数版のtwindragonの絵を描くには, まず原点に...=a3=a2=a
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く