2012年12月6日（木）に開催されEMCジャパン主催「第2回データサイエンティストワークショップ」での弊社社員の講演資料です。Read less

2011年10月4日、コベリティは、C/C++やJava、C#のソースコード解析ツールの新バージョン「Coverity Static Analysis 5.5」を発表しました。発見が難しく、誤動作の原因となるバグを効率よく検出できる同ツールの新バージョンでは、前バージョンに比べてコード解析速度が向上し、より広範囲な開発環境に対応できるよう強化が施されました。Coverity Static Analysisの特長や新機能から、ソースコード静的解析のメリットについて考えてみましょう。 テストケースの用意は不要。ビルド時に不具合を発見 「Coverity Static Analysis」は、C/C++やJava、C#の各言語で記述されたソースコードに含まれるバグを検出できるソフトウェア開発支援ツールです。大規模・複雑化するソフトウェア開発において、ソースコードの不具合は、出荷遅延や修正対応による

ソフトウェアの静的解析／ソースコード解析ツールを開発・販売するコベリティは2011年10月4日、主力製品の最新版「Coverity 5.5」を発表した。 同社は、オープンソースなどの第三者が介在したソフトウェアの利用（オープンソースソフトウェアの品質責任）、製品投入までの時間的制約、ソフトウェアの複雑化・大規模化といった、昨今の“ソフトウェア品質リスク”の増加を背景に、静的解析をコア技術とした“デベロップメントテスト（注1）”の考え方を導入。同製品を、このデベロップメントテストを実現するプラットフォームとして位置付けている。 ※注1：デベロップメントテストとは、開発サイクルにおける早期段階（コーディング段階）で、より多くの品質問題の検出・修正を容易に行うことを支援するための、ソフトウェア開発プロセス、および静的解析などのソフトウェア技術を含む、ソフトウェアテストにおける新たな概念のこと。

CodeZine編集部では、現場で活躍するデベロッパーをスターにするためのカンファレンス「Developers Summit」や、エンジニアの生きざまをブーストするためのイベント「Developers Boost」など、さまざまなカンファレンスを企画・運営しています。

はじめに C++のソースコードを静的解析して、不具合などを検出したいと思った場合、大抵は有償の製品を使うことになります。代表的なもので、Visual StudioのTeam Editionが静的解析の機能を持っていますが、購入すると数十万くらいかかります。 無料で静的解析できないのかと調べてみたところ、Cppcheckというフリーソフトが見つかりました。この記事では、Visual Studio 2008とCppcheckを連携させて、Visual StudioからC++のソースコードの静的解析ができるようにしてみました。 Cppcheck CppchekはC/C++用の静的解析ツールです。メモリリーク、アロケーション(確保と解放)のミスマッチ、バッファオーバーラン、さらに多くのチェックを行ってくれます。 Cppcheckでは主に以下のチェックを実施してくれます。 範囲外例外のチェック クラ

** doxygen みなさんは「doxygen」というツールをご存知でしょうか？ Javaには「Javadoc」というものがありますが、それのC/C++版とでもいえるスバラシイツールです。 ソースにdoxygenに合わせたコメントを記載しておけば、関数仕様書など作成する必要がありません。 Windows、Linux問わず使用できるので、Saborigineer的には試さずにはいられません。 #contents ** doxygenのインストール doxygenのインストールについてはネット上に既に有用な情報がありますので、 ここでの説明は省略します。 詳しくは以下のサイトで。 ・http://www.doxygen.jp/ ・http://www.google.co.jp/search?hl=ja&q=doxygen&btnG=Google+%E6%A4%9C%E7%B4%A2&lr=l

投稿日：2012/08/26 作成者：TZ 弊社でのC言語で開発を行うプロジェクトでは、ソフトウェア詳細設計書にDoxygenで出力したデータを用いるため、必要な情報を出力するためのコメント記述をしております。 今回は弊社で用いるタグコメントの書き方について紹介させて頂きます。 実際にはDoxygenのオプション設定などにより別の記述もございますので、詳しくはDoxygenのサイトを参照頂ければと思います。 Doxygen設定(doxyfile) 良く使う基本的な設定は以下となります。 OUTPUT_LANGUAGE = Japanese RECURSIVE = YES JAVADOC_AUTOBRIEF = YES OPTIMIZE_OUTPUT_FOR_C = YES はじめに Doxygenのコメントブロックを記述する場合 /** * ...各種コメント記述... */ または //

I'm reading some nginx logs for some rather long-lasting requests (up to 10 seconds). In the log format, we're using the $time_local variable to record the time. But does this mean the time when the request started or when it finished? For a long-running request, these are quite distinct times, and I can't find anything in the ngx_http_log_module documentation to explain this.

誰も知らないメモリ・チューニングの極意を教えよう：Dr. K's SQL Serverチューニング研修（2）（2/3 ページ） 「設定すべきメモリ・パラメータ」を知ることが 無用のCPU負荷を避け、メモリを100％活用する極意 AWEを正しく設定して4Gbytesを超える物理メモリを活用する ちょうどよい機会なので、AWEの設定方法について触れておきましょう。「Enterprise Manager」で「SQL Server 2000のプロパティ」を開くことができますが、実はこのプロパティは「sp_configure」環境設定オプションと連動しています。ただし、このプロパティ画面には「AWEを指定する」というチェックボックスがありません（図4）。従って「awe enabled」を有効にしようとすると、やはり「sp_configure」から設定するしかないのです。面倒と感じるかもしれませんが、

彼女が居ない友達に、女友達を紹介してみた。すっげーイライラした。 俺が、友達の長所が女友達に伝わるように話を振ってるのに、 そういう話題を謙遜で全部潰して、逆に自分の短所のアピールを始めるわけ。 キャバやスナックならそれでいいかもしれないけど、初対面の女の子にいきなり甘えるのはやめろよ。 短所ばかりアピールして好かれると思うなよ。何なんだよ。 終わったあと説教したら、「短所はあらかじめわかってもらわないと不誠実だと思って」。 なんで付き合うのが前提なんだよ。向こうは考え中なんだよ。 お前は考え中の相手に対して「俺はこんなにダメです！こんなにもダメなんです！」って言い続けたんだよ。 そしてダメな部分を受け入れるよう、暗に強要してたわけ。 それは甘えてるってことなんだよ。初対面の人を相手に甘えるな。彼女や嫁だけにやれ。 この友達、男同士で話しているときには普通に面白いやつなのに、 今回初めて初

こんにちは、ARuFaです。 本日は3月14日・・・そう、『ホワイトデー』です。 この日は、バレンタインデーにて女性からチョコをもらった男性が、女性にお返しをする日。 女性にモテモテの男性は、さぞかし忙しい一日になることでしょうね。 しかし僕の場合、今年のバレンタインデーも例年通り家族からしかチョコをもらえませんでした。 ・・・そう、モテない男性にとってのホワイトデーというのは、悲しみに溢れた最悪の一日なのです。 自分がモテないことは、バレンタインデーの結果にて十分わかっています。 しかし何故、ホワイトデーにてそれを再確認しなくてはいけないのでしょうか。 もはやこれは国の陰謀と言っても過言ではありませんね。僕のようにモテない男性を、国をあげて笑っているのでしょう。 ちなみに、本日僕が目覚めた際の第一声は「ガッデム」でした。こんな日なかなかありません。 ・・・しかし、先程も書きましたが、確か

子供の学校の古本市をちらちらみていたら、電子立国日本の自叙伝が全巻セットでたった１＄で売られていたので、買ってきました。 NHK 電子立国日本の自叙伝〈上〉 作者: 相田洋出版社/メーカー: 日本放送出版協会発売日: 1991/08メディア: ハードカバー購入: 1人 クリック: 40回この商品を含むブログ (8件) を見る 僕はソフトウェアの人なのですが、中学校の頃ちょっとだけ電子工作をやっていたこともあって半導体の話は少しはわかるし、何よりもここに登場する技術者達の生き様があまりに格好良くて、毎晩深夜になるまで読みふけっています。DVD全巻セットも２万円くらいで買えるみたいなので、買おうか悩んでいるところです。プロジェクトXも嫌いではないけれど、ちょっとドラマ仕立てが過ぎることもなくはありません。その点、この本は本当に素晴らしい。 NHKスペシャル 電子立国 日本の自叙伝 DVD- B

http://rubygems.org/gems/cosmicrawler ソースは、https://github.com/bash0C7/cosmicrawler gem install cosmicrawlerするとか、Gemfileにgem 'cosmicrawler'と書いてbundle installするとかした後、 require 'cosmicrawler' Cosmicrawler.http_crawl(%w(http://example.com/1 http://example.com/2)) {|request| get = request.get puts get.response if get.response_header.status == 200 } という感じにブロックを渡すだけで、デフォルトでは８並行でババッとクロールすることができます。 もしもっと平行数

1. 組合せ最適化⼊入⾨門 線形計画から整数計画まで ⼤大阪⼤大学  ⼤大学院情報科学研究科 科学技術振興機構 梅⾕谷 　俊治 2013年年3⽉月12⽇日 ⾔言語処理理学会第19回年年次⼤大会(NLP2013) 2. 講演の⽬目的 •  産業や学術の幅広い分野における多くの現実問題が整数計画問題と して定式化できます． •  近年年では分枝限定法に様々なアイデアを盛り込んだ⾼高性能な整数計 画ソルバーがいくつか公開されています． •  最適化の専⾨門家でない利利⽤用者にとって現実問題を整数計画問題に定 式化することは決して容易易な作業ではありません． •  多くの利利⽤用者が現実問題を整数計画問題に定式化できるようになる ことを⽬目指して，線形計画法と整数計画法の基本から始めて，定式 化のテクニック，整数計画ソルバーの利利⽤用法までを解説します． 利利⽤用法と定式化が中⼼心で解法や原理理に

Starletのヘッダとボディを合わせて出力する閾値を変更してみる - Hateburo: kazeburo hatenablog この手の記事の話でコンテキストスイッチについて出てくることが あるけど、あまり数値が併記されているものがないように思えます。 その手のプロの人が言っているので、確かな情報だと思うのですが、 やはり数字を一緒に載せていただけるとより真実味が増すと思います。 プロセスのコンテキストスイッチ回数の確認方法(Linux) procfsから確認することができます % cat /proc/{目的のプロセスのPID}/status | grep ctxt voluntary_ctxt_switches: 145031 nonvoluntary_ctxt_switches: 13452自発的(voluntary)なコンテキストスイッチは、sched_yieldを呼び出した場合