フリーのJavaScriptの統合開発環境「Aptana 1.0」正式版がリリース | コリス
AptanaはフリーのJavaScriptの統合開発環境で、Aptana 1.0 正式版が2007年10月29日にリリースされました。 Aptana Studio Aptanaは、JavaScript開発の他にも、HTML・CSSの編集やレビュー機能、FTP機能なども備えており、ウェブオーサリングツールとしても充分な機能を備えています。 Aptanaには、フリーの「Comunity Edition」と有償の「Professional Edition」があります。 動作環境は、Win、Mac、Linuxの各OSにインストールする版と、Eclipseのプラグインとして動作する版があります。 Download: Aptana 有償のProfeessional版では、JSON Editor、IEのデバッグ拡張、リモートプロジェクト機能、FTPS・SFTPの対応があります。 現在、$199が$99に
えぷりくす
http://portal.acm.org/citation.cfm?id=1040305.1040313 今年のPOPLにこんなのがあったそうで、まさしく今 quantitative な analysis をテーマにしてる身としてはちょっと読んでみようかなと思ったり。 それはそうとすみいさんもほそやさんも POPL 通ってて自分はさっぱりうだつがあがらんなあとちょっとがっくり http://www.excite.co.jp/News/odd/00081108087433.html ジョーンズさんの友人の手元に渡るまでの経緯が激しく気になる http://www.nikkansports.com/ns/general/f-so-tp0-050111-0019.html 「鈴木亜美で妻子３人殺害」に見えた。 処方されたリタリンを試してみた。さすが「合法覚醒剤」の別名を持つだけあって、他の薬が
にわとり小屋でのプログラミング
この記事はTppMark11の問題をCoqでやってみたという内容である。 問題はこちら: docs.google.com 命題論理式と同値であることの定義 命題論理式の定義 Inductive Term := | Var(v : Var.T) | Neg(t : Term) | And(t1: Term)(t2: Term) | Or(t1: Term)(t2: Term) | Impl(t1: Term)(t2: Term) | TRUE | FALSE . 同値であることの定義 変数環境を表すctxを Var.T -> bool の関数で表現し、命題論理式のevalを次で定義した。 Fixpoint eval ctx t : bool := match t with | Var v => ctx v | Neg t => negb (eval ctx t) | And t1 t2 =>
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
データ解析言語Rによる統計的プログラミング: 第3回
データ解析言語Rによる統計的プログラミング: 第2回
データ解析言語Rによる統計的プログラミング: 第1回 
