GitHub - bacam/coqjvm: Coq executable semantics and resource verifier
This repository contains: An executable semantics for a substantial fragment of the JVM in Coq [1]; a verifier for simple resource properties where the specifications and proofs are embedded in class files, written in Coq; an OCaml library for dealing with JVM classfiles; and a slightly modified copy of extlib 1.5 (see below). At the time of writing, I was able to build it with OCaml 4.02.3 and Co
JYaml - Yaml library for the Java language
Notice: I am no longer maintaining JYaml. See this this Q&A for a list of alternatives. YAML4DbUnit YAML4DbUnit integrates JYaml with DbUnit so that you can write your data set files in YAML rather than XML. Here is an example: customer: - id: 1 name: "John McEnroe" login: jMAC - id: 2 name: "Larry Bird" login: larryB transactions: - id: 1 customer_id: 1 item_id: 1 purchase_date: "2007-05-15 15:40
Services
ServicesEclipseSource offers the following services to support your development project. Looking for a service provider to develop custom tools and IDEs? EclipseSource offers expert consulting, development, and support for creating domain-specific tools, IDEs, and modeling tools for both web and desktop platforms.
SAStrutsã®ç’°å¢ƒåˆ¥è¨å®šãƒ•ã‚¡ã‚¤ãƒ«ã‚’ build.xmlã§åˆ‡ã‚Šæ›¿ãˆã‚‹ - DISã£ã¦HONEY♪ @gungnir_odin
今回ã¯ã€WARファイルを作æˆã™ã‚‹æ‰‹é †ã‚’ Ant を利用ã—ã¦ãƒãƒƒãƒåŒ–ã—ã¾ã™ã€‚ 掲載ã™ã‚‹ build.xmlを基ã«ã—ã¦è‡ªåˆ†ã®ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã«é©ç”¨ã—ã¦ã¿ã¦ã¯ã©ã†ã§ã—ょã†ã‹ã€‚ よãã‚るケース SAStrutsを利用ã—ãŸãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã§ã€æœ¬ç•ªç’°å¢ƒã«ãƒ‡ãƒ—ãƒã‚¤ã™ã‚‹WARファイルを作æˆã™ã‚‹éš›ã«ã€ 本番環境用ã®è¨å®šãƒ•ã‚¡ã‚¤ãƒ«ã‚’手動ã§ä¸Šæ›¸ãã—ã¦ã€Eclipseã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆæ©Ÿèƒ½ã‚„ã€Tomcatプラグインã§å‡ºåŠ›ã—ã¦ã„るケースãŒã‚ã‚Šã¾ã™ã€‚ ã“ã®æ–¹æ³•ã ã¨æ‰‹å‹•ã®éƒ¨åˆ†ã§ãƒŸã‚¹ã™ã‚‹å¯èƒ½æ€§ãŒã‚ã‚Šã¾ã™ã€‚ ã•ã‚‰ã«ã€å†ã³é–‹ç™ºã‚’è¡Œã†å ´åˆã«ã¯ã€è¨å®šãƒ•ã‚¡ã‚¤ãƒ«ã‚’開発用ã«æˆ»ã™å¿…è¦ãŒã‚ã‚Šé¢å€’ã§ã™ã€‚ ã¾ãŸã€Tomcatプラグインã§å‡ºåŠ›ã—ãŸå ´åˆã«ã€ WARファイルã®ä¸ã«ä¸å¿…è¦ãªãƒ•ã‚¡ã‚¤ãƒ«ï¼ˆãƒ©ã‚¤ãƒ–ラリã®ã‚½ãƒ¼ã‚¹ãƒ•ã‚¡ã‚¤ãƒ«ç‰ï¼‰ã‚‚混在ã—ã¦ã„ã‚‹ãŸã‚〠本番環境ã«ãƒ‡ãƒ—ãƒã‚¤ã—ãŸå¾Œã€ã‚µãƒ¼ãƒ“スãŒèµ·å‹•ã™ã‚‹ã¾ã§æ™‚é–“ãŒã‹ã‹ã‚Šã¾ã™ã€‚ 本番環境用ã®è¨å®šãƒ•ã‚¡ã‚¤ãƒ«ã‚’準備 ã¾ãšã€æœ¬ç•ªç’°å¢ƒç”¨
åŒåƒšã®å¤–国人プãƒã‚°ãƒ©ãƒžè¦³å¯Ÿè¨˜éŒ² - rinu's blog
æ¦‚è¦ 1ヶ月ãらã„一緒ã«ãŠä»•äº‹ã—ã¦ã„る外国人プãƒã‚°ãƒ©ãƒžã•ã‚“を観察ã—ãŸè¨˜éŒ²ã§ã™ã€‚ スペック 性別: 男性 仕事内容: ã†ã¡ã®ä¼šç¤¾ã®ãƒ—ãƒã‚°ãƒ©ãƒžã¯ã€ã–ã£ãã‚Š JS ç‰ã®ãƒ•ãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ã¨ã€ Java ç‰ã®ãƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ã«ã‚ã‹ã‚Œã¦ã„ã‚‹ã®ã§ã™ãŒã€å½¼ã¯ã©ã¡ã‚‰ã‚‚ã‚„ã£ã¦ã„るよã†ã§ã™ã€‚ 好ããªé£Ÿã¹ç‰©: ã¯ã¡ã¿ã¤ ãŸã¾ã«ã€ãã¾ã•ã‚“ã®ã‚ˆã†ã«ã¯ã¡ã¿ã¤ã‚’èˆã‚ã¦ã„ã¾ã—ãŸã€‚ æ€§æ ¼ å½¼ã¯ã‚ã‚“ã©ãã•ãŒã‚Šå±‹ã§ã™ã€‚ åŒåƒšã® Windows ユーザã®æ‰‹ä¼ã„ã‚’ã—ã¦ã„る時〠"C:Â¥Program FilesÂ¥..." ã¿ãŸã„ãªãƒ‘スを打ã¡ãªãŒã‚‰ã€ã€Œã‚ã‚“ã©ãã•ã„。 ã‚ã‚ ã‚ã‚“ã©ãã•ã„〠㨠100回ãらã„ã¤ã¶ã‚„ã„ã¦ã„ã¾ã—ãŸã€‚ (普段ã®å½¼ã®ç’°å¢ƒã¯ mac ãªã®ã§ /usr/local/bin) パスワードを覚ãˆã‚‹ã®ã‚‚ã‚ã‚“ã©ãã•ã„ã®ã§ 1Password ã§ç®¡ç†ã—ã¦ã„るよã†ã§ã™ã€‚ PC スペック マシン: Macbook Pro メ
Tomcat7ã§WebSocketを使ã£ã¦ã¿ãŸ - chitan's blog
※Tomcat7.0.52対応サンプルプãƒã‚°ãƒ©ãƒ ã¯ã“ã¡ã‚‰ã€‚ 今更感もã‚ã‚Šã¾ã™ãŒã€Tomcat7ã§WebSocketãŒã‚µãƒãƒ¼ãƒˆã•ã‚Œã¾ã—ãŸã®ã§ã€ç°¡å˜ãªã‚µãƒ³ãƒ—ル（ãƒãƒ£ãƒƒãƒˆã‚¢ãƒ—リ）を書ã„ã¦ã¿ã¾ã—ãŸã€‚WebSocketを使ãˆã°ã‚‚ã£ã¨è‰²ã€…ãªã“ã¨ãŒã§ããã†ãªã®ã§ã™ãŒã€å‹•ä½œç¢ºèªã‚’å«ã‚ãŸã‚µãƒ³ãƒ—ルã¨ã„ã†ã“ã¨ã§... ã¾ãšã¯ã‚½ãƒ¼ã‚¹ã§ã™ã€‚３ã¤ã‚ã‚Šã¾ã™ãŒã€ä¸Šã‹ã‚‰HTMLã€web.xmlã€Javaã§ã™ã€‚ HTML 7行目ã§WebSocketオブジェクトを作æˆã—ã¾ã™ã€‚スã‚ームã¯wsã§ã™ã€‚ 8行目ã®onopenã¯æŽ¥ç¶šãŒå®Œäº†ã—ãŸã‚¿ã‚¤ãƒŸãƒ³ã‚°ã§å®Ÿè¡Œã•ã‚Œã¾ã™ã€‚今回ã¯ä½•ã‚‚書ã„ã¦ã„ã¾ã›ã‚“。 10行目ã®onmessageã¯ãƒ¡ãƒƒã‚»ãƒ¼ã‚¸ã‚’å—ä¿¡ã—ãŸã‚¿ã‚¤ãƒ”ングã§å®Ÿè¡Œã•ã‚Œã¾ã™ã€‚今回ã¯ãƒãƒ£ãƒƒãƒˆãƒ¡ãƒƒã‚»ãƒ¼ã‚¸ãŒé€ã‚‰ã‚Œã¦ãã¾ã™ã®ã§ã€document.getElementById()を使ã£ã¦ç”»é¢ã‚’æ›´æ–°ã—ã¾ã™ã€‚ 14行目ã®sendã§ã‚µãƒ¼ãƒã«ãƒ¡ãƒƒã‚»ãƒ¼ã‚¸ã‚’é€ä¿¡ã—
JavaDoc ã‚’ Doclava ã§ç”Ÿæˆã™ã‚‹ã‚ˆã†ã«ã—ãŸã‚‰æ—ã£ãŸ - mallowlabsã®å‚™å¿˜éŒ²
Java ã®ãƒ‰ã‚ュメントã¨è¨€ãˆã° JavaDoc ã§ã™ãŒ 見ãŸç›®ãŒã‚ã¾ã‚Šã«ã‚‚ダサéŽãŽã‚„ã—ã¾ã›ã‚“ã‹ã？ ã“ã‚“ãªã‚“ã˜ã‚ƒ JavaDoc を書ãモãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³ãŒä¸‹ãŒã£ã¦ã—ã¾ã„ã¾ã™ã€‚ ãã“㧠JavaDoc ã‚’ Doclava ã§ç”Ÿæˆã™ã‚‹ã‚ˆã†ã«ã—ã¾ã—ãŸã€‚ Google Code Archive - Long-term storage for Google Code Project Hosting. ã™ã‚‹ã¨ã“ã‚“ãªé¢¨ã«ä»Šæ™‚ã®ã‹ã£ã“ã„ã„デザインã§å‡ºåŠ›ã•ã‚Œã¾ã™ã€‚ 検索ボックスã¯ã€ãƒ‘ッケージåã¨ã‚¯ãƒ©ã‚¹åã‚’ インクリメンタル検索ãŒã§ãã¦æ©Ÿèƒ½çš„ã«ã‚‚便利ã§ã™ã€‚ 使ã„æ–¹ Maven ã§ä½¿ã†å ´åˆã«ã¯ reporting è¦ç´ ã®ä¸‹ã«ä»¥ä¸‹ã®ã‚ˆã†ã«æ›¸ãã¾ã™ã€‚ <reporting> <plugins> <plugin> <groupId>org.apache.maven.plugins</groupId> <artifac
Java port of Mozilla's Automatic Charset Detection algorithm.
What is jchardet ? jchardet is a java port of the source from mozilla's automatic charset detection algorithm. The original author is Frank Tang. What is available here is the java port of that code. The original source in C++ can be found from http://lxr.mozilla.org/mozilla/source/intl/chardet/ More information can be found at http://www.mozilla.org/projects/intl/chardet.html ^Top Where can I dow
KariyaSiesta | C 言語å‘ã‘ã®ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ãƒã‚§ãƒƒã‚«
CX-Checker ã®ç‰¹å¾´ CX-Checker ã¯ä»¥ä¸‹ã®ç‰¹å¾´ã‚’æŒã¤ C 言語å‘ã‘ã®ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ãƒã‚§ãƒƒã‚«ã§ã™ã€‚ Eclipse プラグインã¨ã—ã¦å‹•ä½œã™ã‚‹ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ãƒã‚§ãƒƒã‚« XPath ã«ã‚ˆã‚‹è¿…速ãªãƒ«ãƒ¼ãƒ«è¨˜è¿° Java ã«ã‚ˆã‚‹ãƒ‘ワフルãªãƒ«ãƒ¼ãƒ«è¨˜è¿° XPath ã«ã‚ˆã‚‹ãƒ«ãƒ¼ãƒ«è¨˜è¿°ã‚’補助ã™ã‚‹ã‚¤ãƒ³ã‚¿ãƒ•ã‚§ãƒ¼ã‚¹
Eclipse用C言語コーディングスタイルãƒã‚§ãƒƒã‚¯ãƒ—ラグイン『KariyaSiestaã€ã‚’リリースã—ã¾ã—㟠- ã¿ãšã´ãƒ¼æ—¥è¨˜
伊æ±ã¾ã§é–‹ç™ºåˆå®¿ã«è¡Œã£ã¦ã€ã¿ã‚“ãªã§C言語ã®ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ã‚¹ã‚¿ã‚¤ãƒ«ãƒã‚§ãƒƒã‚«ãƒ¼ã‚’作ã£ã¦ã¾ã—ãŸã€‚ => KariyaSiesta | C 言語å‘ã‘ã®ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ãƒã‚§ãƒƒã‚« é…布サイトも作りã¾ã—ãŸã€‚ ルールを簡å˜ã«ã‚«ã‚¹ã‚¿ãƒžã‚¤ã‚ºã§ãるよã†ã«ãªã£ã¦ã‚‹ã®ã§ã€ã¿ã‚“ãªä½¿ã†ã¨ã„ã„ã§ã‚²ã‚½ã€‚ 特徴 Eclipseã®ãƒ—ラグインã¨ã—ã¦ä½¿ãˆã‚‹ Eclipseプラグインã¨ã—ã¦å®Ÿè£…ã•ã‚Œã¦ã„ã‚‹ã®ã§ã€IDEã§ä½¿ãˆã¾ã™ã€‚ ã‚‚ã¡ã‚ã‚“CDTã¨ã‚‚組åˆã›ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ ç°¡å˜ã‚¤ãƒ³ãƒˆãƒ¼ãƒ« 更新サイトã‹ã‚‰ç°¡å˜ã«ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã§ãã¾ã™ã€‚ ã‚‚ã¡ã‚ん自動アップデートã«ã‚‚対応ã—ã¦ã¾ã™ã€‚ XPathã§ãƒ«ãƒ¼ãƒ«ã§æ›¸ã‘ã‚‹ ルールã¯XPathã§æ›¸ãã“ã¨ãŒã§ãã¾ã™ã€‚ 例ãˆã°ã€Žwhileã®å†…ã§breakを使ã£ã¦ã¯ã„ã‘ãªã„ã€ã¨ã„ã†ãƒ«ãƒ¼ãƒ«ã¯ä»¥ä¸‹ã®ã‚ˆã†ã«ãªã‚Šã¾ã™ã€‚ ã“ã¾ã‹ã„書ãæ–¹ã¯ãƒžãƒ‹ãƒ¥ã‚¢ãƒ«ã‚’å‚考ã«ã—ã¦ãã ã•ã„。 //Stmt[@sort="While" and .//k
EclEmma (Java Code Coverage for Eclipse)
Overview EclEmma is a free Java code coverage tool for Eclipse, available under the Eclipse Public License. It brings code coverage analysis directly into the Eclipse workbench: Fast develop/test cycle: Launches from within the workbench like JUnit test runs can directly be analyzed for code coverage. Rich coverage analysis: Coverage results are immediately summarized and highlighted in the Java s
Polyglot extensible compiler framework
Polyglot An open compiler front end framework for building Java language extensions Polyglot is a highly extensible compiler front end for the Java programming language. It is implemented as a Java class framework using design patterns to promote extensibility. Using Polyglot, language extensions can be implemented without duplicating code from the framework itself. Polyglot has been used to imple
joal: Home
Welcome to the Java Bindings for OpenAL / Sound3D Toolkit Project! The JOAL Project hosts a reference implementation of the Java bindings for OpenAL API, and is designed to provide hardware-supported 3D spatialized audio for games written in Java. It is part of a suite of open-source technologies initiated by the Game Technology Group at Sun Microsystems, with intention of making the develo
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
https://dl.acm.org/citation.cfm?id=1786136
Redgate Flyway - Automate database deployments across teams and technologies
Google Code Archive - Long-term storage for Google Code Project Hosting.
How can I create a servlet with jruby (running with jetty)?
Writing Comet Applications Using JRuby and the Atmosphere Framework | 6312
GitHub - Atmosphere/atmosphere: Event Driven WebSockets Framework with Cross-Browser Fallbacks
Google Code Archive - Long-term storage for Google Code Project Hosting.
{{#tags}}- {{label}}
{{/tags}}