Index Haskell Communities and Activities Report http://tinyurl.com/haskcar pdf version Twenty-Fifth Edition – November 2013 Mihai Maruseac, Janis Voigtländer (eds.) Andreas Abel Heinrich Apfelmus Daniel Austin Emil Axelsson Doug Beardsley Jean-Philippe Bernardy Jeroen Bransen Joachim Breitner Erik de Castro Lopo Roman Cheplyaka Olaf Chitil Alberto Gomez Corona Duncan Coutts Atze Dijkstra Péter Div
The Haskell Pdf Presenter (hpdfp) is a tool for presenting PDF-based slide shows. For example, as a presenter, I like to see the next slide before it is shown to the audience as well as how much allotted time remains. I was never quite satisfied with the existing tools for this, so I wrote my own and hpdfp is the result. Though I originally wrote it for my own use, the tool has matured over time,
Hoare論理入門 プログラムの動作を検証する 東京大学情報理工学系研究科コンピュータ科学専攻 片岡 俊基 (tos) JOI春合宿 2013/3/22 Hoare論理 is 何 • プログラムの動作を証明したい Hoare論理 is 何 • プログラムの動作を証明したい • 例: – 実行すると,1 が表示されてほしい. x := 1 print x Hoare論理 is 何 • プログラムの動作を証明したい • 例: – 実行すると,3 が表示されてほしい. x := 1 y := x+2
Here are the top 10+2 conferences for Natural Language Processing: ACL: Association for Computational Linguistics EMNLP: Empirical Methods in Natural Language Processing NAACL: North American Chapter of the Association for Computational Linguistics EACL: European Chapter of the Association for Computational Linguistics COLING: International Conference on Computational Linguistics CoNLL: Conference
GitHub トレーニングチームから学ぶ Git の内部構造のノートです。 曖昧なところもあるので、間違いがあったら教えてください! http://connpass.com/event/3808/ Graphs, Hashe, and Compression, Oh My! 登壇者:@matthewmccull Hashesについて 従来の CVCS (集中バージョン管理システム)のリビジョン番号は連番。 SVN はサーバーにデプロイした時点でリビジョン番号1と設定される。 Git は SHA1 をつかっている。40桁の16進数のフィンガープリントがついてる。これは理論上は重複しない大きさ。こうすることで単純で強固な DVCS (分散バージョン管理システム)がつくれる。 新しいファイルを追加すると、.git/objects/55/7db03de...(SHA1 finger print)
『過去に類を見ないほど猛烈』(*1)と形容された台風30号(国際名:Haiyan ハイエン、フィリピン名:Yolanda ヨランダ)。 2013年11月8日(金曜日)現地時間午前4時40分(日本時間午前5時40分)、サマール島南端(東サマール州)のギワン町に上陸、そこから時速33キロで西へ進み、レイテ島、セブ島北部、パナイ島、そしてパラワン州北部へと次々と上陸し、翌9日午後3時30分に南シナ海のフィリピン担当地域外へと抜けた。 (*1)「台風30号の接近に伴う注意喚起(その3)」在フィリピン日本大使館 台風30号進路図 【出典】 “Typhoon Haiyan (Yolanda) Landfall” UN Office for the Coordination of Humanitarian Affairs 気象庁(日本)によると、台風の勢力は上陸時点で中心気圧895hPa、最大風速65m
scalacheckでバグ見つかる https://github.com/rickynils/scalacheck/issues/75 内容を一言でいうと 「OpitonのArbitraryの質が悪い」 もう少し詳しく説明すると 以下のテスト forAll { (x: Option[Int], y: Option[Int]) => x.isDefined == y.isDefined } が、必ず成功してしまう。というものです。 ここで絶妙なのが「すべてSome、またはすべてNoneしか発生しない」のではなく「SomeもNoneも発生するけど、発生する場合に必ず両方Someか両方Noneになる」*1というバグり方をしているということです。 そして、Scalazはかなり多くの部分でScalacheckを使っているので 「このScalacheckのバグ、Scalazに影響あるかな?」 と思って
Android 4.4 KitKat 冬コミ原稿リレーの 11月15日分です。 ここではKitKat(Android 4.4)から追加された新しいAndroidランタイムであるART(Android RunTimeの意味?)の話をします(ランタイムとはソフトウェアを動作させる基盤となるライブラリのこと)これまで利用されていたDalvikVMにかわるランタイムとして2年間かけて開発されてきたようです。 ARTの最大の特徴は、ソフトウェアをネイティブコード(CPUが直接実行できるコード)で実行することを前提に設計されている点です。 ARTを有効化することで、アプリケーションはAOTコンパイラによって事前にネイティブコード化され、実行時にはネイティブコード化されたアプリケーションを実行しています。そのためパフォーマンスが向上が期待できます。 ARTはKitKatで初めて公開されたコードであり開発
Write behavioral tests in your editor. Get live results in your browser. Uses go test GoConvey supports Go's native testing package. Neither the web UI nor the DSL are required; you can use either one independently. Terminal or browser Since GoConvey integrates with go test, you can keep running tests in the terminal or use the auto-updating web UI for test results. Tell your program's story Thoug
JJUG ナイトセミナー 「メッセージングミドルウェア特集」のRabbitMQの発表資料です。 https://jjug.doorkeeper.jp/events/65028
フィボナッチ数とは、 \begin{eqnarray*} \begin{cases} F_{0} &=& 0 \\ F_{1} &=& 1 \\ F_{n+2} &=& F_{n+1} + F_{n} \end{cases} \end{eqnarray*} という式で定義される数ですが、次のような一般項を表わす式もわかっています。 \[ F_{n} = \frac{1}{\sqrt{5}} \left\{ \left( \frac{1 + \sqrt{5}}{2} \right) ^ n - \left( \frac{1 - \sqrt{5}}{2} \right) ^ n \right\} \] 今回はこの一般項の式を用いてフィボナッチ数を求める方法を考えてみました。 「一般項の式があるのなら、それをそのまま使えばいいのでは…」と考える方もいると思います。 では、試してみましょう。 ph
Rubyにはgem、Node.jsにはnpmがあるが、元々Pythonにはパッケージマネージャは無かった。 それがいつの頃からか、easy_installなるものが現れ、さらにpipが作られた。今ではpipがほぼデファクトとなりつつあるけど、後付でインストールするパッケージの一つという位置づけは変わらない。箱を開けたら直ぐに使えるという意味で "Batteries included" を標榜しているPythonとしてはちょっと寂しい。 その状況をなんとかしようということでPEP-453 Explicit bootstrapping of pip in Python installationsが提案されている。「pipをPython 2.7, 3.3 及び3.4の公式推奨デフォルトインストーラとしよう」という提案で、3.4から実際に標準搭載されるらしい。Pythonをインストールするとpip
目下手を入れているコードも相当古く、ビギナさんにオブジェクト指向を教えるべく継承と多態を"わざと"多用したサンプルです。C++での動的束縛(dynamic-binding)を説明するため、あちこちにポインタが現れあちこちでnew/deleteしています。多態を使いまくるコードでポインタの利用が増えてしまうのはある程度仕方のないことなのですが、決してnew/deleteしまくりたいわけじゃありません。ガベージ・コレクションをサポートしたC#/Javaの類ならnewしっぱなしで構わんけれど、C++ではnewしたものは必ず/明示的に/ただ一度だけ/確実にdeleteしてやらにゃなりません。ヒトは間違う生きもの、忘れる生きものなんだから、できることならnew/deleteしたくない。特にdeleteはやらずに済むならそれに越したことはないわけで...マクラが長くなりました、unique_ptrのお
Overtone is an open source audio environment designed to explore new musical ideas from synthesis and sampling to instrument building, live-coding and collaborative jamming. We combine the powerful SuperCollider audio engine, with Clojure, a state of-the-art lisp, to create an intoxicating interactive sonic experience. VJ Ready Synchronise your visuals and noise with ease. Overtone features seamle
__ __ __ __ __ | \ / \ | \ | \ | \ | $$\ / $$ ______ _| $$_ ______ ______ | $$ | $$ | $$$\ / $$$ / \| $$ \ | \ ______ / \ \$$\/ $$ | $$$$\ $$$$| $$$$$$\\$$$$$$ \$$$$$$\| \| $$$$$$\ >$$ $$ | $$\$$ $$ $$| $$ $$ | $$ __ / $$ \$$$$$$| $$ $$ / $$$$\ | $$ \$$$| $$| $$$$$$$$ | $$| \| $$$$$$$ | $$$$$$$$| $$ \$$\ | $$ \$ | $$ \$$ \ \$$ $$ \$$ $$ \$$ \| $$ | $$ \$$ \$$ \$$$$$$$ \$$$$ \$$$$$$$ \$$$$$$$ \$$ \
While quite old fashioned, SNMP is still a ubiquitous protocol supported by most network equipments. It comes handy to expose various metrics, like network interface counters, to be gathered for the purpose of monitoring. It can also be used to retrieve and modify equipments’ configuration. Variables exposed by SNMP agents (servers) are organized inside a Management Information Base (MIB) which is
If you haven't seen it yet, check out the JS1K demo contest. The goal is to do something neat in 1 kilobyte of JavaScript code. I couldn't resist making one myself, so I pulled out my bag of tricks from my Winamp music visualization days and started coding. I'm really happy with how it turned out. And no, it won't work in Internet Explorer 8 or less. Edit: OH SNAP! I just rewrote the demo to inclu
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く