CoqによるMsgPackの証明ProofSummit2011 http://partake.in/events/ac41261d-6026-4d09-8814-5ad3e58446e8 における発表
Satellite CCRMA
Satellite CCRMA is a platform for building embedded musical instruments and embedded art installations. Used by artists and engineers alike, Satellite CCRMA integrates together open-source software and hardware components including some novel software. Most importantly, Satellite CCRMA comes with examples that make it possible for new users to get up and running within a matter of minutes. How To
Introducing libpd -Pdをアプリのサウンドエンジンに-
ビジュアルプログラミング言語であるPure Data(Pd)を、別のプログラム内で動作させるライブラリ"libpd"の説明です。Read less
Pure Data — PD Community Site
Welcome to the Pure Data site! This site is a contribution of the IEM to the Pure Data community. Every Pure Data user who wants to contribute is welcome to join this portal and write/contribute some documentation, reports, news, comments and announcing events. The site is run on a Linux server with Zope / plone and administrated and driven by the Pure Data community. About Pure Data (aka "Pd" / "
tokyobike
速く走ることや移動することだけが目的ではなく、なんでもない日常にささやかな変化を加える“きっかけ“としての自転車を作っています。 「街は楽しい」というトーキョーバイクが大切にしているメッセージは、世界中どこでも同じ価値観として共有されています。
ocaml-ormはオブジェクトをどのようにRDBに格納するのか？（その２） - Qiita
type t = { foo: string; bar: int64; xyz: char; } and x = { first: t; second: t; third: int; } with orm ( unique: t<xyz>, t<bar>; index: x<first,second> ) let s1 = { foo="hello"; bar=100L; xyz='a' } let s2 = { foo="world"; bar=200L; xyz='z' } let x = { first=s1; second=s2; third=111 } sqlite> .tables __links__ __types__ t x sqlite> .schema CREATE TABLE __links__ (parent TEXT, field TEXT, child TEXT
ocaml-ormはオブジェクトをどのようにRDBに格納するのか？（その１） - Qiita
環境 MacOS X 10.9.3 Xcode 5.1.1 OCaml 4.01.0 opam 1.1.1 ocaml-orm 0.7.0 sqlite3-ocaml 2.0.5 ounit 2.0.0 type_conv 109.60.01 dyntype 0.9.0 インストール $ cd lib_test $ make ocamlfind ocamldep -syntax camlp4o -package unix,sqlite3,oUnit,dyntype,orm.syntax,orm suite.ml > ._d/suite.d ocamlfind ocamldep -syntax camlp4o -package unix,sqlite3,oUnit,dyntype,orm.syntax,orm option_rec.ml > ._d/option_rec.d ocamlfin
イーターブル (恵比寿/イタリアン)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込み ご希望の条件を当サイトよりご入力ください。 2 お店からのメール ご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店 予約が確定した場合、そのままお店へお越しください。
React / Erratique
React is an OCaml module for functional reactive programming (FRP). It provides support to program with time varying values: declarative events and signals. React is made of a single, independent, module and distributed under the ISC license. Given an absolute notion of time the Rtime module helps you to manage a timeline and provides time stamp events, delayed events and delayed signals. Talk abo
Why OCaml, why now?
OCaml first hit my radar in November 2013. I had just learnt SML, a similar but older language, in the excellent Programming Languages Coursera course. Dan Grossman is one of the best lecturers I’ve ever seen, I found his explanations hit all the right notes and made learning easy. The simplicity of the SML syntax, and the power of the language while still producing code that is readable with mini
なぜアーセナルは今もロンドン最大のクラブなのか | Goal.com
これまでの１２７年間を通して、ロンドンにおけるサッカーの勢力図は原型をとどめないほど変化してきたが、ひとつ変わらないものがある。首都の王者としてのアーセナルの不動の地位だ。 ウーリッチに拠点を置く軍需品工場のチームという慎ましやかなスタートから世界的なビッグクラブとなるまで、常に革新を重ねてきただけでなく、１９３０年代にハーバート・チャップマンが植えつけたモラルと価値観の厳格な順守も、クラブがその名声を維持し拡大するのを助けてきた。 大理石のホールも備えつけたアールデコ様式の本拠地ハイバリーは壮麗な威容を誇ったが、クラブがピッチ上で成功を収め始めたのは１９２５年にチャップマンが監督に任命されてからだ。彼の指揮下でサッカー界の支配的な存在となったアーセナルは、１９３０年代に７つのメジャータイトルを獲得。うち３つは、５５歳の若さで亡くなる前にチャップマンが自ら獲得したものだった。 定期的にタイ
いきなり！ステーキ 渋谷桜丘店 (渋谷/ステーキ)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込み ご希望の条件を当サイトよりご入力ください。 2 お店からのメール ご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店 予約が確定した場合、そのままお店へお越しください。
GitHub - facebookarchive/pfff: Tools for code analysis, visualizations, or style-preserving source transformation.
pfff is a set of tools and APIs to perform static analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code. There is good support for C, Java, Javascript and PHP. There is also preliminary support for other languages such as C++, Rust, C#, Html, CSS, Erlang, Lisp, Haskell, Python, OPA and SQL. There is also very good
unagi-chan
unagi-chan: Fast concurrent queues with a Chan-like API, and more This library provides implementations of concurrent FIFO queues (for both general boxed and primitive unboxed values) that are fast, perform well under contention, and offer a Chan-like interface. The library may be of limited usefulness outside of x86 architectures where the fetch-and-add instruction is not available. We export sev
Docker コンテナで MySQL を使ったテストの高速化 - stfuawsc
全国1億2000万の Docker ファンの皆さんこんにちは。 MySQL の起動がとてつもなく遅いのは有名な話。 ところが Docker コンテナの起動はなかなか早いので、 MySQL を使っているようなテストを高速化するケースで有用性が認められるのではないかと思って PoC を書いてみた。 （宣伝）こういった話も含めて YAPC でトークしたいので SNS 等で upvote お願いします： ( ✌'ω')✌ 楽しいモデル層開発 - YAPC::Asia Tokyo 2014 （宣伝おわり） MySQL を使ったテスト MySQL を使ったテストをする場合、だいたい次の 2 パターンになる。 MySQL をテストのたびに起動してクリーンな状態で使う ローカルにデーモンとして起動した MySQL に接続して DROP TABLE や TRUNCATE でクリーンな状態にして使う だけど、
LaTeX で「部分的な縦書き」 - Qiita
この文書の目的 本記事では、(u)pLaTeX／LuaLaTeX+LuaTeX-jaにおいて「横組みの文書中で部分的に和文縦書きを入れる」方法について説明する。 旧版の前口上 この小節は、本記事の初版における“前口上”の文章であり、古い情報を含む。特に、現在では、まともな和文縦組み文書を作ることを目的とした「jlreq文書クラス」1の開発が進んでいて既に実用できる段階に達していることを補足しておきたい。 現在、日本語対応のTeXとして最も広く用いられているpTeX（upTeXも含む；以下同様）は高品位の日本語縦組みの組版を行う能力を持っているが、残念ながら現状でその力が十分には活かされていない状態である。これにはもっともな理由があって、一般のLaTeX利用者がそれを利用できる環境が整っていないからである。 日本語の伝統的な組版の慣習への準拠が求められる度合いは横組みに比べて縦組みの方が高い
RHEL互換の「CentOS 7」公開。インストール不要で起動するDockerイメージやクラウド用イメージでの提供も予定
Red Hat Enterprise Linuxと互換性を持つオープンソースOSとしてクラウドやホスティングサービスなどで広く使われているCentOSの最新版「CentOS 7」が公開されました。 CentOS 7は先月リリースされたばかりのRed Hat Enterprise Linux 7からわずか1カ月遅れでの公開。今年1月から開始されたRed Hatとの共同開発体制の成果といえそうです。 CentOS 7の主な特長は、カーネル3.10の採用、Linuxコンテナ機能の搭載、標準のJDKがOpenJDK7に変更、デフォルトのファイルシステムがXFSに変更、40Gbイーサネットカードのサポートなどです。 クラウド用の仮想イメージやDockerイメージでの配布も予定 興味深いのは、今後の予定としてDockerイメージでの配布が表明されていることです。また、AmazonクラウドやGoogle
東京馬焼肉 三馬力 (池袋/馬肉料理)
リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込み ご希望の条件を当サイトよりご入力ください。 2 お店からのメール ご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店 予約が確定した場合、そのままお店へお越しください。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Multicore OCaml
Home
bitbucketの使い方
Try OCaml
https://qiita.com/tomykaira/items/0b7c4a0637dcbe9d0596
Gagallium : Introduction to Mezzo, continued
Gagallium : Introduction to Mezzo