and so on. de Bruijn notation is a terrible device for humans to use directly, but it is often more convenient when dealing with terms mechanically. When parsing a language it is easy to go from names to nameless, so that we can have the best of both worlds. Thus we will have: infixl 80 _·_ data Syntax : Set where -- A variable, the ℕ being a de Bruijn index. var : ℕ → Syntax -- A number literal.
ここ最近話題に上がることが多い Immutable Infrastracture と、その他仮想環境周りについての雑感。 Immutable Server や Immutable Infrastracture っていう単語がいろんなところで目に入るようになった。とくに Chad Fowler がブログで取り上げたり、Food Fight に出たり して、世間でも関心が高まった感じがある。 プログラムを書く人にはご存じの通り、この Immutable っていうのは状態が変更出来ないことを指している。Immutable な Infrastracture っていうのは、ざっくり言うと「運用中のサーバーに変更を加えない」っていうアプローチでサーバーを管理しているスタイルのこと。 (ファイルシステムを読み取り専用にする、とかそういう話じゃなくて、あくまでそういう方針でやろうっていう話) サーバーの設
Launch4jとは? Launch4jとは、JavaアプリケーションのExeラッパーを作成するツールである。 以下よりダウンロードできる。 http://launch4j.sourceforge.net/ このLaunch4jを使うことで、実行可能JarをExeファイルとして起動できるようにラップすることができる。 しかし、生成されたExeは単純なラッパーにすぎず、Exe化したといってもJavaランタイムが不要になるわけではない。 これは、端的にいえば、「Javaアプリケーションを起動するためのexe」を作るものだと考えてよい。 であれば、単純な「実行可能なjar」と比較して何が嬉しいのか? 機能的には以下のようなアドバンテージがある。 Launch4jでExe化するメリット Exeなので、これがアプリケーションであることが一目でわかる Javaに詳しくない人はjarファイルを見ても扱い
Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.
With leadership transitions at many central banks under way, many of those who were partly responsible for creating the global crisis that erupted in 2008 are departing to mixed reviews. The main question now is the extent to which those reviews influence their successors’ behavior. NEW YORK – With leadership transitions at many central banks either under way or coming soon, many of those who were
Lots of us frontend developers seem to be increasingly concerned with interacting with the DOM lately, during a time when JavaScript engines and browser rendering performance has been faster than ever! In this article I will try to douse a few myths about DOM interaction in foam, whilst giving a few little performance tips to make sure your apps run super fast when you're interacting with the DOM.
スーパーマリオブラザーズ You and I, we live in a Netherworld of Noise. That’s why I’m taking you to Happy Tone Town. Everything that used to make noise, now makes a tone. Except blocks―they’re still noisey. But get this: Money sings! You can hear the coins klup into your pockets. And it’s logical too: Jumping makes a bendy tone. Time still exists though. And Death as well. But karma continues… It’s the 25th A
It's showtime in a terminal near you! Put on your best colours, resize to 80 columns, and let your fingers fly! Termshows are purely text based. This makes them ideal for demoing instructions (as the user can copy-paste), making fail-safe "live-coding" sessions (plain text is very scalable), and sharing all your l33t terminal hacks. Installation instructions have been showtermed for your enjoyment
Hack.me is a FREE, community based project powered by eLearnSecurity. The community can build, host and share vulnerable web application code for educational and research purposes. It aims to be the largest collection of "runnable" vulnerable web applications, code samples and CMS's online. The platform is available without any restriction to any party interested in Web Application Security:
When I spent a summer as a Google intern in 2006, one of the many pleasant surprises was Google’s pprof tool, which makes profiling a C++ program’s CPU and memory usage incredibly easy. It had already been open sourced, and when I returned to grad school, I incorporated pprof into my standard development toolbox when writing C programs. Later, when I was back at Google working on Go, implementing
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く