JuliaLang Advent Calendar の10日目の記事です。 Julia 言語を使う動機として、開発速度と実行速度を共に向上させたい、 というものがやはり大きくなるのではないでしょうか。 NumericFuns.jl と NumericExtensions.jl は、 Julia の実行速度、特に配列を用いた数値計算の速度を更に向上させる事のできるパッケージです。 予備知識 -- 時間測定 実行速度を向上させる、というためには、実際に実行速度(実行時間)を計測する必要があります。 Julia では@time を使うことで簡単に実行時間を計測できます。 # @time は与えた式を評価して、それと同時に標準出力に計算時間と必要メモリを表示 julia> @time sleep(0.5) elapsed time: 0.501986776 seconds (472 bytes a
A work in progress. There are three recordings of a presentation of A General Theory of Reactivity: OSCON, MediterraneaJS, MidwestJS. The presentation includes figures and animations not presented here. In the context of a computer program, reactivity is the process of receiving external stimuli and propagating events. This is a rather broad definition that covers a wide variety of topics. The ter
Apakah Anda ingin mengetahui lebih lanjut tentang Slot UUS777 dan apa yang membedakannya dari platform perjudian online lainnya? Dalam artikel ini, kami akan mengeksplorasi fitur, aspek unik, dan kesalahpahaman umum seputar Slot UUS777. Dari manfaat bermain hingga kemungkinan kekurangan, kami akan mencakup semua yang perlu Anda ketahui sebelum memulai. Jika Anda penasaran tentang apa yang ditawark
BMV Publications The following is a selection of the papers published by Dr. P. Prusinkiewicz and his students and colleagues. Report any problems to vlab@cpsc.ucalgary.ca. Filter by category: Papers Andrew Owens, Teng Zhang, Philmo Gu, Jeremy Hart, Jarvis Stobbs, Mikolaj Cieslak, Paula Elomaa, and Przemyslaw Prusinkiewicz. The Hidden Diversity of Vascular Patterns in Flower Heads. New Phytologist
Theorem Prover Advent Calendar 2014 の 10 日目の記事です。 Coq で Setoid を作る 我流 の方法を解説しています。 Coq の色んな機能が出て来て解説しきれないので、開き直ります。 載っているコードはそのまま coqc 出来ます。コードを抽出したものは こちら。 Coq のことを少し知っていればなんとなくわかるかもしれません。 A Gentle Introduction to Type Classes and Relations in Coq. タイトルの通り、 Coq の型クラスや(同値)関係を利用した証明などについて解説している文書。Gentle とありますが、本当にわかりやすいです。 Pierre 先生すごい。 @tmiya_ さんの Coq で Setoid を作るスライド 2011 年の資料ですが、そもそも Setoid って何よ
Ordinarily, when we’re programming computations under a monad, we’re limited to forming bindings in the order they appear in a do block. However, there are a class of monads that support extra value recursion through the type class MonadFix. This extra functionality has special syntax support in GHC, and can be useful in a variety of situations. MonadFix and Recursive Bindings First of all, we’ll
経験あるプログラマが初心者に言ってしまいがちだが、初心者のモチベーションに悪影響を与えるパターンを指摘する。言った方、言われた方、あるいは聞いたなど、何らかの形で誰もが身に覚えのある内容。 経験のあるプログラマと、プログラミングを習い始めたばかりの初心者の会話の例。 プログラマ : やあ、プログラミングの勉強を始めたんだって?いいじゃないか、何を勉強してるんだい? 初心者 : PHPとHTMLの基礎をやってるんです。MacでTextMateエディタを使ってます。 プログラマ : ひええ、PHPなんて間抜けな言語かよ。Ruby on Railsを覚えて、Herokuにデプロイ、Vimでコーディングした方がいいよ。TextMateなんて初心者向きじゃないか。それから、Node.jsもやった方がいいな。あれはすっっっごくいいぜ。ノンブロッキングIOだからな。ヒャッハー! 初心者 : うーん、そう
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く