3 Tips on Improving Sleep Quality for Mothers Working in Software Development Working as a software developer is a highly demanding career, and since more and more people are entering the job market as developers and programmers, it has become more important for new parents to find a balance between work and family life. Software developers may need to spend a minimum of 40 hours a week in front o
メインページ > 数学 > 理論計算機科学 > ラムダ計算 ラムダ計算 (lambda calculus) は、1930年代にアロンゾ・チャーチが関数による数学の基礎づけを目的として導入した形式的体系である。 ほどなくしてラムダ計算で表現できる関数のクラスは再帰的関数のクラスと一致することが示され(チャーチ=チューリングのテーゼ、ラムダ計算はチューリングマシンと等価な計算モデルである)、数学全体の基礎づけには表現力が不十分であることがわかったが、1960年代に入ってプログラミング言語の理論的基盤として脚光を浴びる。Lisp、Scheme、OCaml、ML、Haskellなどの関数型プログラミング言語はラムダ計算を実装している。 基本的な定義[編集] 公理[編集] 最初の概念は「抽象化」である。これは関数の定義に類似している。 λx.M は引数 x を受け取り項 M を返す関数を定義する。
Twostrokeはpure Rubyで実装されたJavaScript実行環境およびコンパイラです。 Twostrokeはpure Rubyで実装されたJavaScript環境です。Ruby、JavaScriptともに愛する方はぜひ見てください。 インストールです。Rubygemsを使って簡単にできます。 一通りJavaScriptの評価ができます。無名関数を作ったりもできます。 Objectを作ることもできます。そのままJavaScriptです。 Twostrokeはインタプリタの他に、コンパイラーも用意されています。*.tsというファイルが生成されるのですが、ここからの実行がよく分かりませんでした…。TwostrokeではUnderscore.jsのテストは通過しているとのことです。 TwostrokeはRuby製、MIT Licenseのオープンソース・ソフトウェアです。 MOONG
sstephenson/execjs - GitHubrubymaverick/execjs-async - GitHubできることと起動方法とエンジンの違いRubyスクリプトからJavaScriptコードを実行できるV8, node, spidermonkey, rhino などの中からそのとき利用できるエンジンを autodetect して実行してくれる環境変数からエンジンを指定できる ExecJS::Runtimes の中で定義されている RubyRacer や Node の名前で export EXECJS_RUNTIME=Node などと指定する例えば Rhino は therubyrhino gem に依存する。こうした依存 gem は自動では入らないので注意が必要何の gem も準備していなければ execjs 1.2.4 の段階では node.js, JavaScriptC
0-1. 前書き この世にはたくさんのプログラミング言語が存在します。Wikiepdiaのプログラミング言語一覧を見ると、実に200個以上というわけの分からない数の言語が並んでいたりします。 【参考URL】プログラミング言語一覧 - Wikipedia http://ja.wikipedia.org/wiki/%E3%83%97%E3%83%AD%E3%82%B0%... 200の中にはほとんど使われてない言語も混じってるので、実際に仕事でざくざく使われている言語は20とか30とかそういうオーダーなのですが、それでも1人の人間が把握するにはちょっと多過ぎる数です。 本記事では、そうした有り余るプログラミング言語の海の中で「どれを勉強したらいいの?」とか「どれを採用するのが適切?」という悩みをお持ちの方が「よし、この言語に決めた!」と自信を持って決断できるように背中を押すことを目的として書か
ASE (Android Scripting Environment)を使って簡単にPython, Perl, JRuby, Lua, BeanShell, JavaScript (Rhino), それにシェル(将来的にはさらにたくさんのスクリプト言語)をAndroid上で実行できるのはご存じだろうか。ASEのインストールからスクリプトの作成、実行まで、すべてAndroid単体でできる。もちろん、PC上でコーディングしたい場合は、USBで繋げてPC上のスクリプトをAndroid端末上で実行することもできるし、PC上のコードをAndroid端末にコピーすることもコマンド一発だ。さらに、各種センサー、位置情報、SMS、テキストの読み上げなどもスクリプト上で操作できるというのだからこれを使わない手はない。 そこで、試しにPythonスクリプトを書いてみた。Android端末のGPS機能で緯度経度
Jeremy Ashkenas氏がRuby/Pythonライクな文法でJavaScriptを記述する、興味深い試みをおこなっている。同氏が開発した「CoffeeScript」と呼ばれる簡易言語は、"a little language that compiles into JavaScript"の名のとおり、コンパイルするとJavaScriptコードを出力するというものだ。Ruby製のコンパイラが用意されており、デベロッパはCoffeeScriptで書かれたファイルをコンパイラに通すことでJavaScriptコードを得られる。 CoffeeScriptで記述されたソースをコンパイルした結果。左側にCoffeeScript、右側にコンパイル後のJavaScriptが表示されている - Mini Overviewより引用 現在のバージョンは1月10日(米国時間)にリリースされた0.2.3で、Th
☕ CoffeeScript CoffeeScript is a little language that compiles into JavaScript. Think of it as JavaScript's less ostentatious kid brother — the same genes, roughly the same height, but a different sense of style. Apart from a handful of bonus goodies, statements in CoffeeScript correspond one-to-one with their equivalent in JavaScript, it's just another way of saying it. Disclaimer: CoffeeScript i
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く