Javaプログラムを網羅的に検証する技術を開発 : 富士通
2010年1月12日 Fujitsu Laboratories of America, Inc. 株式会社富士通研究所 Fujitsu Laboratories of America, Inc.（注1） と株式会社富士通研究所（注2）（以下、富士通研究所）は、Javaプログラムで入力されるさまざまなデータに対して、プログラムの動作が仕様に合っているかを人手を介さず自動的に検証する技術を開発し、Webアプリケーション数万行を検証することに成功しました。 本技術は、米国National Aeronautics and Space Administration（注3）（以下、NASA）が開発したJavaプログラム向け検証ツールのJava PathFinderを、数値型の入力データだけでなく文字列型の入力データを効率良く扱えるように拡張したものです。 開発した技術の一部はNASAに採用され、オープ
さらば、わがチャイナ:クロサカタツヤの情報通信インサイト
Google先生と中国様が突如ガチンコ勝負をはじめたのだが、これは日本にとっても他人事ではない話なので、ちょいと触れておこうと思う。 まずは概要の確認 概要はCNETの記事を…と引こうと思ったら、こんな重要なニュースなのにまだ記事になってない。ヘーイ、大丈夫かい、CNET編集部！ユーたち、チャイナ大好き朝日たんの悪影響でも受けちゃったんじゃないの？という軽口はさておき。仕方ないので断腸の思いでITmediaの記事を引用…（1/14 16:40追記）と思ったらCNETにも記事があった！ごめんなさい翻訳者の方＋ながいたんをはじめとする編集部の皆さま。というわけでそちらを引用。 「彼らがあらわにしてきたこれらの攻撃と監視、そして、ウェブでの言論の自由をさらに制限しようとするこの1年間の企てを総合的に考慮した結果、われわれは中国における弊社事業の実現可能性を精査すべきだという結論に達した。われわれ
ブロードバンドルーター接続方法｜サービス情報サイト（IPv4）｜フレッツ公式｜NTT東日本
※DNSサーバアドレスは手動でも設定できます。 DNSサーバアドレス一覧 ■NTT東日本ADSLモデムを利用した場合 NTT東日本「ADSLモデム-NV(ファームウェアバージョン1.14)」と「ADSLモデム-MNV(ファームウェアバージョン1.16)」のルーター機能を利用した場合のサービス情報サイト（IPv4）接続設定手順は同じですので、共通の手順とさせていただきます。 1. WEBブラウザを起動し、「http://192.168.1.1」と入力し、WEB設定ページを開く。 2. WEB設定ページ用の管理者パスワードの初期設定を行なう。 (既に設定済みの方は、[手順5]へ進んでください) (例)管理者パスワード入力欄に「password」と入力します。 ※実際の画面では、「password」と表示されず「●●●●●●●●」と表示されます。 3. 設定ウィザードでインターネット接続の設定を
ApacheのアクセスログをMessagePack形式で出力するためのモジュールを作りました : DSAS開発者の部屋
Apacheモジュールのログ出力、こんどはMessagePack版を作成しました。続いてはこちらをご紹介します。 Apacheのアクセスログを使い、ユーザアクセスの集計やパターン解析などというのは一般にどこでもやられていることだと思います。通常のアクセスログはテキストファイルなので、集計を行うためにスクリプト上で扱える変数・オブジェクト化が必要になりますね。1行ごとの各ログ項目を取り出すのに正規表現を使ったり、cutやawkなどを使い空白で分割するなど、色々工夫されていることと思います。 今回、MessagePack版のアクセスログ出力をやってみようと思い立ったのは、アクセスログをあらかじめ構造化済みの状態で保存しておければ、読み込みの際の解析する手間を省くことで解析処理の高速化が期待できるのではないか、そう考えたためです。MessagePackであれば、PythonやRubyはじめ様々な
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
