イベントレポート：「Coqチュートリアル#1」
去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。
InfoQ
InfoQ
トピック・タグ別の表示
プログラミングに関するすべてのコンテンツ
プログラミングに関する最新コンテンツ
プログラミングに関するNews
ReSharper 6.1は、パフォーマンスの改善とAsyncのサポートを追加した
JetBrainsは、Visual Studio 2010のReSharper 6で大量に報告されたパフォーマンス問題を緩和する約束したReSharper 6.1 EAP (Early Access Program:早期アクセスプログラム)をリリースした。これらのバグ修正に加えて、事前リリースには、async/await、更新された設定エンジン、Visual Studio 11の検証用サポートなどの新しい機能が含まれている。
応用心理学はソフトウェア技術者に役立つか
11月１日，ソフトウェア技術者で著作者である John R. Fox 氏が "アナログ世界におけるデジタルワーク (Digital Work in an Analog World)" という著書を出版した。副題の "応用心理学によるソフトウェア工学改善" が示すようにこの書籍は，実はソフトウェア工学を考察したものではない。本書が注目しているのはむしろ，技術者の心理学的側面や実務に関連する部分なのだ。
IBMが新しいPlatform-as-a-Serviceソリューションを発表
10月12日IBMはニューヨークで新しいサービスを発表した。同社によれば、それは、すべて企業クライアントのために設計された業界で最も先進的なクラウドサービスでありソフトウエアであるそうだ。
プログラミングに関するArticle
イベントレポート：「ProofSummit2011」
2011年9月25日「ProofSummit2011」が開催された。本イベントでは、形式手法の一種である定理証明支援系ツールに興味を持つ技術者が集まり、Coq,Agda等のツールのチュートリアル、および応用に関する講演が行われた。
Java と ActionScript 3.0 の違い： 文法編
この記事は、Java に精通した開発者の方に、ActionScript 3.0 （以下 AS3） がどのような言語なのか、どこが Java と異なっているのか （あるいは同じなのか） を一覧できるようまとめたものです。主に AS3 の静的な側面をまとめた、文法編 （文法編） およびクラス宣言編 （クラス宣言編）と、動的な側面をまとめた、属性操作編 （属性操作編） および振舞い編 （振舞い編） の 4 編に分けて、Java 開発者が引っかかりやすいと思われる点を中心に記述しました。厳密な言語解説よりは、まず AS3 の概要が分かること、を目的に書かれています。さらに詳しい言語仕様についてはActionScript 3.0 の学習をご覧ください。
プログラミングに関するInterview
Erich GammaによるJazz、Eclipse、JUnit、そしてデザインパターンに関する議論
このインタビューはQCon ロンドン 2008 でErich Gamma氏と様々なテーマについて議論したものです。議論したテーマは「Jazzプロジェクト」、「Eclipseがなぜ成功しているか」、「Eclipseの厳格なリリーススケジュール」、「JUnit」、「デザインパターン」、「どのようにデザインパターンを見つけるのか」、「デザインパターンとDRY原則について」、「デザインパターンコミュニティ」、「依存性の注入はデザインパターンか、そうではないか」です。（翻訳：近藤 寛喜 - (株)チェンジビジョン）
Kent Beck氏 Implementation Patternsを語る
OOPSLA 2007の会場にて我々InfoQ取材班はKent Beck氏へのインタビューを行った。その中で氏は、彼の新しい本「Implementation Patterns」についてや、その中に登場するパターンとXPとの関わり、そしてアジャイルを適用する際の問題やデザインパターンの現在の状況について語ってくれた。（翻訳：畠山 貴 - (株)永和システムマネジメント）