並び順

ブックマーク数

期間指定

  • から
  • まで

561 - 600 件 / 913件

新着順 人気順

検証ツールの検索結果561 - 600 件 / 913件

  • PDF/UA 規格による PDF アクセシビリティ

    GdPicture.NET Document Imaging SDK を使用してタグ付き PDF を作成する 皆さん、こんにちは アクセシビリティは、マテリアルにアクセスする能力に関係なく、ビジネスにおいて、さまざまな人々の間で分かりやすい文書を共有する必要がある場合に重要です。 障害を持つ人々がスクリーン リーダーのような支援技術を使用するだけでなく、 今日では、モバイル デバイスを使用する人々もカバーしています。 アクセシビリティはすべての人のためでもあります。 このソリューションは、タグ付き PDF ドキュメントを呼ばれます。 タグとは? GdPicture.NET の最近のリリース (2018年 6月 21日以降) では、タグ付き PDF UA ドキュメントを作成できるように機能が拡張されました。これは何を意味するのでしょうか? PDF ドキュメントは一般的なページ コンテンツに加

      PDF/UA 規格による PDF アクセシビリティ
    • バグ・ゼロめざし脚光浴びる「形式手法」 -- 日経コンピュータ

      「形式手法」を、システムの開発に活用するベンダーやユーザー企業が増えている。仕様の記述で漏れをなくす、従来型のテストでは発見しにくいバグを見つける、などが狙いだ。経済産業省が6月に公開した信頼性ガイドラインにも、推奨手法として掲載された。古くからある形式手法が注目され始めたのは、普及を阻んでいた“扱いにくさ”をカバーするツールが登場し、活用のノウハウが蓄積されたからである。 本記事は日経コンピュータ7月24日号からの抜粋です。そのため図や表が一部割愛されていることをあらかじめご了承ください。本「特集2」の全文をお読みいただける【無料】サンプル版を差し上げます。お申込みはこちらでお受けしています。なお本号のご購入はバックナンバーをご利用ください。 「キャッシュ・メモリーの制御に関する処理で、いくらテストしても原因が特定できなかったバグを形式手法で取り除くことができた」。富士通研究所 ITコア

        バグ・ゼロめざし脚光浴びる「形式手法」 -- 日経コンピュータ
      • 宣言します: Configuration as Data を使用したインフラストラクチャの自動化 | Google Cloud 公式ブログ

        ※この投稿は米国時間 2020 年 11 月 19 日に、Google Cloud blog に投稿されたものの抄訳です。 近年、「クラウド ネイティブ」の基盤となるインフラストラクチャ プラットフォームとアプリケーション フレームワークが急増しています。最新のインフラストラクチャ プラットフォーム各種は、迅速なアプリケーション開発を目的とする Kubernetes などのコンテナ オーケストレータからサーバーレス プラットフォームまで、多岐にわたります。同時に、管理者がこれらのプラットフォームのデプロイ、構成、管理に使用していたシェル スクリプトは、現在ではいわゆる Infrastructure as Code(IaC)に発展し、Python や Ruby などの上位レベルのプログラム言語や、Terraform で使われる HashiCorp の HCL などの特定用途向け言語の使用を定

          宣言します: Configuration as Data を使用したインフラストラクチャの自動化 | Google Cloud 公式ブログ
        • リアルタイムに正規表現をテストできる REGex TESTER | WIRED VISION

          リアルタイムに正規表現をテストできる REGex TESTER 2008年8月26日 IT コメント: トラックバック (0) 正規表現を使ったことあるなら、難解なコードを組み立てるのがどれだけ難しく退屈なことかわかるだろう。しかしあらゆる状況でオンライン正規表現検証ツールである REGex TESTER は痛みをやわらげてくれる。 このツールは JavaScript を利用しその場で validate して正規表現のテストをすることができる。もちろん検索したいテキストを準備して、正規表現を変更した結果をその場で見ることが可能だ。 REGex TESTER は JavaScript、Perl(PCRE)、POSIX(PHPその他)の3種の正規表現をサポートするが、ほとんど言語が POSIX もしくは PCRE 互換モードがあるので問題ないだろう。 ■REGex TESTER v1.5.3

          • 開発環境の構築とソフトウェアエンジニア考(続) - torutkのブログ

            開発環境の構築とソフトウェアエンジニア考 - torutkの日記の続編です。 前回書いたことと内容は重なりますが、まずソフトウェア開発環境に予算を付ける(投資をする)組織、予算を付けない組織の違いを考察してみます。そして、予算を付けない組織において、現実的に対処する方法としてのオープンソースツールを組み合わせたソフトウェア開発環境の構築を具体化します。 ソフトウェア開発チームの運用 組織的なソフトウェア開発をするのであれば、プロジェクト毎に集散離合するチームではなく、いったん形成されたチームを継続して使用することが品質/生産性/組織能力の維持向上に望ましいです。 しかし、数値化しにくいこれらの要素に対し、数値化しやすい人件費でしか評価できない組織は、仕事がないときは人件費ゼロ、仕事があるとその量に応じた人件費という集散離合するチームでの開発しか選択しないのでしょう、きっと・・・。 組織論の

              開発環境の構築とソフトウェアエンジニア考(続) - torutkのブログ
            • Apache Tomcatに不正Cookieの脆弱性

              IPAとJPCERT/CCは、オープンソースソフトウェア「Apache Tomcat」で、不正なCookieが送信される脆弱性が見つかったと発表した。 情報処理推進機構(IPA)セキュリティセンターとJPCERTコーディネーションセンター(JPCERT/CC)は2月12日、Webアプリケーションサーバに脆弱性が発見されたと発表した。 サーバ上でJavaアプリケーションを動作させるためのオープンソースソフトウェア「Apache Tomcat」で、不正なCookieが送信される脆弱性が見つかった。Apache Tomcatは、HTTPリクエストに基づくCookie情報の生成過程で特定の文字を適切に処理しないため、遠隔からユーザーのWebブラウザに不正なCookieが送信される可能性がある。 影響を受けるシステムは「Apache Tomcat 4.1.0から4.1.36」「同5.5.0から5.5

                Apache Tomcatに不正Cookieの脆弱性
              • Twitterカードの画像キャッシュをクリアする方法

                @kasumiiです。こんにちは。 Twitterのタイムライン上に画像付きでURLツイートを流すことができる「Twitterカード」の機能はとても便利です。 でも、Twitterカードの内容をあとで変更しようとしても、キャッシュが効いているせいなのか、なかなか新しい情報に書き換わらないことがあります。そんなときに、すぐにTwitterカードの情報を最新にできる方法があったのでメモメモ。 わたしの場合は、Twitterカードの画像を変更したのにずっと古いものが表示されていてなかなか反映されませんでした。 そんなときは、Twitterカードの検証ツール(Card validator)を使えばOK! Card Validator | Twitter Developers 上記のページでURLを入力し、「Preview card」ボタンを押して、右側に最新のTwitterカードが表示されていれば

                  Twitterカードの画像キャッシュをクリアする方法
                • ChromeデベロッパーツールでCSSをチェックする方法

                  Webサイトのデザインやレイアウトを変更する際には、追加するCSSが正しく作用するか検証ツールを使ってテストを行う必要があります。 テストを行わないままCSSの追加を行うと、既に記述されているCSSとの競合が起こり、追加したCSSが全く効かなかったり、またWebサイトの表示が崩れたりすることがあります。 今回はCSSの確認でよく使用される、ChromeデベロッパーツールでのCSS追加テストの手順を解説します。 1.CSS追加・編集時における検証の必要性 2.Chromeデベロッパーツールとは 3.デベロッパーツールでのCSSテスト手順 3-1.テストしたいタグを選択する 3-2.適用されているCSSを確認する 3-3.テストしたいCSSを追加する 4まとめ 1.CSS追加・編集時における検証の必要性 CSSの追加・編集時、やみくもにCSSを記述することはおすすめできません。 他への影響を考

                    ChromeデベロッパーツールでCSSをチェックする方法
                  • 形式検証の視点から再確認したいMaybe型/Option型からnull許容データベースへのデータ変換 - Qiita

                    はじめに 本記事は第一回関数型プログラミング(仮)の会における発表内容の詳細です。 関数型言語において、Maybe/Option型データを外部データベースに保存する際やJSONに変換する際、NULL許容データに変換して扱われることが多いです。 しかしながら、Maybe/Option型とNULL許容データは細かい点で異なるため、注意してデータ変換を実装しないと思わぬバグを生むことになります。 そこで本記事では、Maybe/Option型をNULL許容データに変換することに対して、形式検証の視点から考察していきます。 また、Haskellによる実装例もありますので、コードを確認したい方はそちらも参考にしていただけると幸いです。 形式検証による視点 形式検証を考える際に必要なのは、プログラムの仕様を論理式で形式的に記述することです。 今回は、まずデータ変換自体の数学的なモデルを考えて、その後、H

                      形式検証の視点から再確認したいMaybe型/Option型からnull許容データベースへのデータ変換 - Qiita
                    • Webデザインやコーディングでよく使っている便利ツール10選 - Qiita

                      どうも。Web系メンターのれもん🍋です!Life is Tech! アドベントカレンダー8日目です。 今回どんなお題で書こうかなと迷っていて3日前まで、「CSSでクリスマスっぽいロゴを作るだとかCSSで絵を描く」という無駄な内容でいこうと思っていたのですが、無駄すぎたので、役立ちそうな記事を書きます。いきなりですが、 コーディングやWebデザインってめんどくさいこともある・・・ タグを一つずつ打ったり、デザイン画と照らし合わせたり、割とめんどくさい作業が沢山あります。 Webデザインやコーディングをするときに、ツールを使ったり、Googleの拡張機能を使ったりすると、そのめんどくさいや無駄を省いて効率化したり、便利になったりします。日頃よく使っているものを紹介します。 Emmet Markup Validation Service Mapture Can I use Webフォント ti

                        Webデザインやコーディングでよく使っている便利ツール10選 - Qiita
                      • Tumblrに投稿した画像をTwitterから直接見られるように設定してみた - 日刊そらまち

                        自分で描いた絵をTwitterに直接上げずに、Tumblrに投稿するようになって2ヶ月くらい経ちました。 楽です。jpg劣化とかもないし。 あと他人がやってくれると公式よりも遡りが楽なので、絵師さんにはどんどんTumblr使って欲しいです。個人的欲望です。 ただTLに直接サムネイル出ないのは不便だなぁと感じていて、色々調べて、 Twitter Cardsを導入してみました。 ちょっとhtml弄ったりしなきゃいけませんが、基本的なコードはデフォルトで入ってるみたいなので大丈夫です。たぶん。 すっごいくだらない事で躓いて1週間くらいかかりましたが、やり方分かってればそんなに時間掛からないと思うので、備忘録的に書いておこうと思います。 頻繁にアップデートしてるみたいで、検索かけても古い記事があてにならなかったりしたので、とりあえず自分も書いておけば誰かの役に立つかも、という魂胆です。 そもそもT

                          Tumblrに投稿した画像をTwitterから直接見られるように設定してみた - 日刊そらまち
                        • Ryu-na SANNET

                          Information 20200301 - 【重要なお知らせ】今まで利用してきたプロバイダサービス(SANNET)が 2020年3月31日 で終了するため、ウェブサイトを @nifty へ移行しました。作業に伴い、閲覧できないページが発生するかもしれませんが、移行完了までお待ちいただければ幸いです。 20191023 - SOLIDWORKS 2017 の環境設定ファイルを更新しました。 20191020 - Creo(Pro/E)の環境設定ファイル一式(setup_creo_and_proe_20191020.zip)を更新しました。 20191213 - 日刊工業新聞社の技術セミナ「手戻りを撲滅する!超実践的3DCAD活用法」で講師を担当します。書籍の内容を元に「設計機能を見える化する」という視点から、設計検証ツールとして3DCADを有効に活用する考え方を講義と演習で学びます。※都合

                          • テキストブラウザを使ってみよう | Accessible & Usable

                            公開日 : 2009年11月21日 (2011年3月22日 更新) カテゴリー : アクセシビリティ 皆さんは、「テキストブラウザ」をご存知でしょうか?名前の通り、Webページをテキスト(文字)のみで表示するブラウザのことです。画像や、Flashなどのオブジェクトは表示せず、CSSやJavaScriptも扱わないので、一般的なブラウザ(IE、Firefox、Opera、Safariなど)に比べると表示されるページの見栄えやインタラクションのリッチさという点では劣るものの、その分、軽快でサクサク動くという利点があります。 テキストブラウザの代表と言えるのが、Lynx(リンクス)です。無料で入手でき、Windowsパソコンにインストールしてお使いいただけます。 ネットの回線が遅い(細い)環境や、グラフィック表示機能が十分でない端末でも使うことができるブラウザなので、アクセシビリティ対応(Web

                              テキストブラウザを使ってみよう | Accessible & Usable
                            • Facebook、モバイルアプリプラットフォーム強化目的でコード検証ツール「INFER」の英Monoidicsを買収

                              Facebook、モバイルアプリプラットフォーム強化目的でコード検証ツール「INFER」の英Monoidicsを買収 米Facebookは7月18日(現地時間)、アプリ開発者向けのコード検証ツールを手掛ける英Monoidicsを買収することで合意に達したと発表した。買収総額などの詳細は公表されていない。 モバイルアプリプラットフォームの強化と優秀な人材の獲得、いわゆる“Acqui-hiring”が目的という。Monoidicsのエンジニアリングチームは買収完了後、Facebookのロンドンのエンジニアリングオフィスに参加する。 Monoidicsは2009年創業の英ロンドンに拠点を置く非公開企業。プログラムのメモリリークなどの問題を検出するツール「INFER」を提供しており、三菱電機や米ARM、米Airbusなどが採用している。INFERは、同社アドバイザーを務めるピーター・オハーン博士が

                                Facebook、モバイルアプリプラットフォーム強化目的でコード検証ツール「INFER」の英Monoidicsを買収
                              • RDF語彙記述言語1.0: RDFスキーマ

                                【注意】 このドキュメントは、W3CのRDF Vocabulary Description Language 1.0: RDF Schema W3C Recommendation 10 February 2004の和訳です。 このドキュメントの正式版はW3Cのサイト上にある英語版であり、このドキュメントには翻訳に起因する誤りがありえます。誤訳、誤植などのご指摘は、訳者までお願い致します。 First Update: 2005年11月23日 RDF語彙記述言語1.0: RDFスキーマ W3C 勧告 2004年2月10日 本バージョン: http://www.w3.org/TR/2004/REC-rdf-schema-20040210/ 最新バージョン: http://www.w3.org/TR/rdf-schema/ 旧バージョン: http://www.w3.org/TR/2003/PR-

                                • Ajax » XML->DOM生成->HTML出力 » AjaxでRSSフィードをHTML出力 | PHP & JavaScript Room

                                  PHP、JavaScript、CSS、Webページ埋め込みによる音声・動画配信方法など、実用的なプログラミング・テクニックを解説RSSフィードを読み込んで表示してみよう XML形式のRSSフィードを使ってサイトの更新情報を表示してみましょう。 XML形式のRSSフィードといっても、XML構造はブログによってことなったりと様々です。 例では、XMLを自動生成するフリーソフトHeadline-Editor(Lite版)で出力したXMLファイルを使用することにします。 うじゃうじゃと要素が並んでいますが、記事情報は<item>~</item>で囲まれた部分です。 これを抜き出していけばOKです。 XMLファイル、出力ページの文字エンコードをShift_JIS以外の文字エンコードにする場合は、XML宣言およびmeta要素の文字コードの指定を変更してください。でないと文字化けします。 X

                                  • はじめての正規表現 まとめ - digital 千里眼 @abp_jp

                                    正規表現は難しい という感想は誰もが持ったことがあると思います コンピュータ技術をいろいろ調べていくと必ず出てくるこの「正規表現」 英語だと Regular Expression と書く 頭文字をとって RE と略されることもある Unix, Linux, Perl では日常的に使われる Windows では必ずしも一般的とは言えねぇ〜 でも... 「便利だから(はてな記法同様に)知っておいた方がいいよ」 確かに、フリーウェア(今まで紹介してきた polipo や Privoxy etc)の設定でも頻繁に出てくるので知っておくと便利です(秀丸エディタ等の検索でも幅が広がります) ですが、身構える必要はありません 出てきた正規表現から習得していけばいいです (知らなかったら...そのときになってから調べる!!) 偉そうに書いてる私も未だに知らない記法があって「奥が深いな〜」なんて... Au

                                      はじめての正規表現 まとめ - digital 千里眼 @abp_jp
                                    • AMPの公式WordPressプラグインが2.0にバージョンアップ、多数の機能改善あり

                                      [レベル: 中級] AMP の WordPress 公式プラグインのバージョン 2.0 がリリースされています。 メジャー バージョンアップであり、大きな機能改善が図られています。 AMP プラグイン 改良点 v2.0 の改良点をいくつか紹介します。 3 タイプのテンプレート モード Template Mode(テンプレート モード)として、AMP ページの配信方法を次の 3 タイプから選択できます。 Standard(スタンダード) Transitional(トランジショナル) Reader(リーダー) Standard は、AMP だけで配信するモードです。 サイトを完全 AMP 化します。 URL は 1 つです。 そのため、以前は Canonical AMP とも呼んでいました。 Transitional は、通常のモバイルページと AMP ページを配信します。 通常ページで利用し

                                        AMPの公式WordPressプラグインが2.0にバージョンアップ、多数の機能改善あり
                                      • IPA、SIP脆弱性検証ツール新版--検証可能な脆弱性を5つ追加

                                        印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます 情報処理推進機構(IPA)は11月30日、SIPの脆弱性検証ツールの新版となる「SIPに係る既知の脆弱性検証ツール V2.0」の貸し出しを開始したと発表した。前版から検証項目を拡充している。 SIPは、マルチメディアデータを端末間でリアルタイムに双方向通信するための通信開始プロトコルとして、情報家電や携帯端末などの組み込み機器にも使用が広がる一方で、SIPを実装した製品については、これまで多くの脆弱性が公表されている。 IPAでは、SIP実装製品開発者が出荷前に脆弱性を作りこまないように「SIPに係る既知の脆弱性検証ツール」を開発し、2009年4月から貸し出している。今回の機能強化では、新たに「SIP認証パスワードの解読」「DoS攻撃に

                                          IPA、SIP脆弱性検証ツール新版--検証可能な脆弱性を5つ追加
                                        • うわっ…あんたのEPUB、ダメすぎ…? 検証とその対処

                                          電子書籍の難しい話題になるとどこからともなく現れて、ユーモアたっぷりに分かりやすく解説してくれる「電書ちゃんねる」。今回は、EPUBファイルを制作する際に習慣づけたい検証ツールの利用について、超絶分かりやすく紹介していきます。

                                            うわっ…あんたのEPUB、ダメすぎ…? 検証とその対処
                                          • JavaとJML

                                            この記事は「JavaWorld」誌の「私が感動したJavaソースコード」というコー ナーに掲載されたエッセイの原稿です。雑誌掲載後かなり時間がたったので公 開します(掲載記事とは若干の違いがあります)。記事内のURLのなかには、 現在ではアクセス不可能であったり、移転したものがあるかもしれません。 キレイに書かれたコードを見ると“感心”します。ですが、それはどうも “感動”とは違うような気がします。例えば、Perlの作者であるラリー・ウォー ルが(Perlより前に)書いたニュースリーダー「rn」のC言語ソースコードは かなりトンデモナイものです。感心しません。が、そのえぐさは感動ものでし た。 CやC++では、言語処理系やOSに関する知識に基づきトリッキーなワザを使っ たヤバいコードをよく見かけました。一方、Javaはというと、プラットフォー ムに依存しない行儀がよいコードを書きやすいプロ

                                            • Webデザイナーおすすめ【2024年度版】GoogleChromeプラグイン9選 | ITキャピタル

                                              みなさん、Webブラウザは何を使っていますか? 大半の方はGoogle Chromeをお使いなのではないでしょうか。 今回の記事は、弊社の技術者たちも使っているGoogle Chromeの便利な無料プラグインを10件ご紹介します。 GoFullPage – Full Page Screen Capture Webサイトを閲覧していて、そのサイトのスクリーンショットを取る場面というのはよくあると思います。 しかしながら、Windowsの標準アプリ「切り取り&スケッチ」やプリントスクリーンボタンでは、画面上に表示されている画像しか取得できません。 このGoFullPageというプラグインはchromeにインストールするとワンクリックでページの上から下までスクリーンショットを取ってくれます。 画像はpng形式でPDFで保存することも可能です。 GoFullPage – Full Page Scr

                                                Webデザイナーおすすめ【2024年度版】GoogleChromeプラグイン9選 | ITキャピタル
                                              • Japan Accessibility Conference vol.1 開催レポート #ja11yc | CyberAgent Developers Blog

                                                こんにちは、FRESH! のフロントエンドを担当しているますぴー(masuP9)です。今回は2017年11月11日(土)に開催した、「Japan Accessibility Conference(JAC)」〜アクセシビリティのこれまでとこれから〜のレポートをお届けいたします。 今回のカンファレンスは当社と、ヤフー株式会社、サイボウズ株式会社、freee株式会社の4社共催で開催し、当社からは私とアメブロのフロントエンドエンジニアtokimariが登壇致しました。 Japan Accessibility Conference(JAC)とは 国内最大級、最大規模のアクセシビリティカンファレンスと題して行われた本カンファレンスは、(Web)アクセシビリティに関する様々なテーマのセッションを集めたカンファレンスです。当日のセッションについては、資料と共に動画でもFRESH!で公開しています。気になる

                                                  Japan Accessibility Conference vol.1 開催レポート #ja11yc | CyberAgent Developers Blog
                                                • 静的解析 単体テスト IEC61508, ISO26262, DO-178C 国際スタンダード準拠を支援

                                                  国際スタンダード認証に最も実績のあるLDRA社テストツールは、ソフトウエア開発ライフサイクルの全般にわたって検証作業の自動化を支援します。FAA(連邦航空局)のDO-178スタンダード認証に初めて採用されたツールであり、その後、200以上のプロジェクトに採用されました。それらの多くは、最も高い安全性が要求される Level A 対象システムです。そして、TÜV等の認証機関によるツール認定はもとより、DO-178の要件を満たすツール認定サポートパックも提供しています。また MISRA の議長を輩出するなど、各種スタンダード委員会にも貢献し、最高峰の検証ツールとして他に類を見ない進化を続けています。 LDRA tool suite® LDRA ツールスイートは、LDRA の主力プラットフォームであり、要件トレーサビリティ、テスト管理、コーディング規約への準拠、コード品質レビュー、コード カバレ

                                                    静的解析 単体テスト IEC61508, ISO26262, DO-178C 国際スタンダード準拠を支援
                                                  • ヒビルテ(2006-09-12)

                                                    λ. PPL Summer School 2006 今日は PPL Summer School に行ってくる。 色々な人に会えるであろうから楽しみ。 行ってきた。昨日のSLACSはほとんど宇宙語の世界だったが、今日はこころある人間の言語のようで、気楽に聴いていられた。色々な人にお会いできたが、あまり話すことが出来ず残念だった。 以下色々書くが、これらは講演内容をまとめたわけではなく、私の単なるメモであり、偏っており間違いを含む可能性も高いのでご注意を。まあ、真に受ける人はいないと思うが。 他の方の感想など λ. 圏論の諸相 講師 木下 佳樹 先生(産業技術総合研究所) 概要 圏論は、圏の構造についての理論ではあるが、その利用者にとっては、ものの見方を与え、いい定義を探すための道具であるという面がある。定理の証明よりいい定義を見つけるのが難しい、というのは、圏論や型理論に共通の特徴で、同じ数

                                                    • Vistaは順調に進んでいる? 検証ツールとロゴプログラムに進捗

                                                      2006年のWinHECの参加者が持ち帰ったもので、最も価値のあるアイテムは、Longhorn ServerおよびVistaのβ版を収めたDVDだった。同社は、今後2年をかけて両プラットフォームを支援するよう強く呼びかけている。 Microsoftが2006年5月にシアトルで開催したパートナー、メーカー、ISVを対象とする年次イベントWindows Hardware Engineering Conference(WinHEC)では、今後2年をかけて同社のプラットフォームを支援するよう強く呼びかけた。また、同イベントに合わせてWindows Server、WindowsデスクトップOS、Officeのβ2がリリースされている。 Longhorn Serverは仮想化技術に注目 次世代のMicrosoftのWindowsサーバには、デスクトップクライアントのVistaを取り巻くニュースや議論に

                                                        Vistaは順調に進んでいる? 検証ツールとロゴプログラムに進捗
                                                      • InfoWorldの年次オープンソース賞「Bossies 2012」が発表、Hadoopが引き続き台風の目 | OSDN Magazine

                                                        IT情報サイトのInfoWorldは9月18日、優秀なオープンソースソフトウェアを7つのカテゴリで選ぶ年次アワード「Best of Open Source Software(Bossies) 2012」受賞プロジェクトを発表した。モバイル、クラウド、ビックデータなどの傾向を反映し、計100のオープンソースプロジェクトが受賞した。 InfoWorldは有望でコスト効果の高いソフトウェアを調べるという「Test Center」を持っており、Bossiesはそこで調査されたオープンソースソフトウェアの中でも優秀なものを選ぶというもの。選定はTest Centerの編集者とレビュー担当者が行う。6回目となる今年度はゲーム・エンターテインメントカテゴリが新設され、アプリケーション、アプリケーション開発ツール、データセンターとクラウド、データベース、デスクトップアプリケーション、ネットワークとセキュリ

                                                          InfoWorldの年次オープンソース賞「Bossies 2012」が発表、Hadoopが引き続き台風の目 | OSDN Magazine
                                                        • キャリアグレードNATが導入されてもオンラインゲームは出来ますか?

                                                          キャリアグレードNATが導入されても オンラインゲームは出来ますか? 株式会社コナミデジタルエンタテインメント プロジェクトソリューションセンター R&D推進グループ 佐藤 良 目次 1. 弊社のNAT越えへの取り組み 2. NAT越え手順 3. キャリアグレードNAT導入の影響 2008/7/10 JANOG22 1 自己紹介 • 仕事 – オンラインゲームのネットワーク 技術開発 • 2004~ NAT越え • 2006~ BitTorrent • 趣味 • 趣味 – 習い事 • ギターとか – (最近行ってないですが) パラグライダー 2008/7/10 JANOG22 2 1. 弊社のNAT越えへの取り組み(1) • 他社と比較して、NATを越えてP2P対 戦するゲームに強い • NAT越え技術の自社実装 – UPnP + 拡張STUN – 200機種以上のブロードバンドルータ ロ

                                                          • Oracle 10gの未解決の脆弱性情報、研究者が公開

                                                            Oracleは11.xのパッチを公開したが、10gまでのバージョンについては、サポートが終了していることを理由にパッチは公開していないという。 米セキュリティ機関のSANS Internet Storm Centerは1月30日、「Oracle 10g」に存在する未解決の脆弱性情報が公開され、脆弱性検証ツールMetasploitにこの脆弱性を突くモジュールが追加される見通しだと伝えた。 脆弱性を発見したのは米ペンシルベニア大学の研究者ダナ・テイラー氏。同氏のブログによると、2011年4月から10月にかけて、10.xと11.xの「Oracle Forms and Reports」に2件の脆弱性が見つかった。 同氏の情報をもとに、テキサス大学はこの脆弱性を使ってサーバ上にファイルを挿入する方法を発見。「これでこの脆弱性は恐ろしく危険なものになった」(テイラー氏)という。 テイラー氏の報告を受け

                                                              Oracle 10gの未解決の脆弱性情報、研究者が公開
                                                            • 第1章 ゼロからデプロイまで - Railsチュートリアル

                                                              前書き 私が前にいた会社 (CD Baby) は、かなり早い段階で Ruby on Rails に一度乗り換えたのですが、残念ながらまた PHP に戻ってしまいました (詳細は私の名前を Google で検索してみてください)。そんな私ですが、Michael Hartl 氏の本を強く勧められたので、その本を使ってもう一度試してみた結果、今度は無事に Rails に乗り換えることができました。それがこの Ruby on Rails チュートリアルという本です。 私は多くの Rails 関連の本を参考にしてきましたが、真の決定版と呼べるものは本書をおいて他にありません。本書では、あらゆる手順が Rails 流で行われています。最初のうちは慣れるまでに時間がかかりましたが、この本を終えた今、ついにこれこそが自然な方式だと感じられるまでになりました。また、本書は Rails 関連の本の中で唯一、多

                                                                第1章 ゼロからデプロイまで - Railsチュートリアル
                                                              • 何度もやりたいRailsチュートリアル

                                                                こんにちは。akiinyoです。 今日は私がとってもお世話になっている「Ruby on Rails チュートリアル」をご紹介します。 すでにご存知の方も多いと思いますが、お付き合いください!特に初学者の方へおすすめな取り組み方をご紹介しようと思います。 Rails チュートリアル とは?Michael Hartl (マイケル・ハートル) 氏によって書かれた、Ruby on Rails のチュートリアルです。 原著は英語ですが、安川 要平氏、八田 昌三氏を中心に翻訳作業が進められ、 HTML・電子書籍ともに日本語版が提供されています。 第1章のはじめに「本書の目的は、単に Rails を教えることではではなく、Rails を使った Web アプリケーションの開発を教えることです。」とあるようにRailsの知識だけでなく、バージョン管理や「テスト駆動開発」という開発手法まで幅広くカバーされてい

                                                                • 商用導入前にチェックしておきたい、IPv6のセキュリティチェック項目:ASSIOMA:オルタナティブ・ブログ

                                                                  ICT業界動向やICT関連政策を基に「未来はこんな感じ?」を自分なりの目線で「主張(Assioma)」します。 2011年2月3日にIPv4アドレスがIANAで枯渇し、その対策案として期待されているIPv6について、導入を検討開始された方々も多いのでは無いかと思います。 しかし、まず検討すべきは、いきなりIPv6導入という方向に進むよりは、IPv4アドレス枯渇とはどういったものなのか?それが及ぼす影響と、対策方法について正しく理解しておく必要があります。なぜなら、IPv4アドレスが即座に無くなるわけではなく、これから長い時間をかけて、IPv4とIPv6の共存環境に移行していくからです。 そういった内容を私の書籍に記載していたのですが、版元のリックテレコム様と相談し、IPv4アドレス枯渇の影響と、現在検討されている対策案をまとめた1章から2章について、無償公開させて頂く許可を頂きました。ご理

                                                                    商用導入前にチェックしておきたい、IPv6のセキュリティチェック項目:ASSIOMA:オルタナティブ・ブログ
                                                                  • はてなブログからワードプレスへ移転、SSL化した全手順&PV推移データ等まとめ

                                                                    先日、このブログをはてなブログPro(独自ドメイン運営)からワードプレスへ移転しました。 移転作業はスムーズに進んだものの、かなり忙しい1ヶ月でした… 準備から移転、移転後のメンテナンスまで、めちゃくちゃな作業量! 実は、前にもサブブログをはてなブログからワードプレスに移転しています。 その時は作業を全て任せ、僕は見守るだけ…。 今回はサーバーやサイト移転のノウハウを少し覚えておきたいと思い、アドバイザーとなる人を探した上で、移転作業は自分の手で行いました。 さて、はてなブログからワードプレスに移転する人も増えてきています。 この記事では、移転準備から移転作業、サイトリニューアル、SSL化、アクセス傾向など… ノウハウというよりも、リアルな作業日記としてまとめましたので、移転を考えているはぜひ1度お読みください。 ※この記事は筆者の作業記録としてまとめています。移転作業に生じたトラブルは負

                                                                      はてなブログからワードプレスへ移転、SSL化した全手順&PV推移データ等まとめ
                                                                    • Webアプリを自動的にテスト、Canoo WebTest 2.0 登場 | エンタープライズ | マイコミジャーナル

                                                                      Canoo Engineeringは14日(ドイツ時間)、Canoo WebTestの最新版となるCanoo WebTest 2.0を公開したことを発表した。Canoo WebTest 2.0はJavaで作成されたWebアプリケーション用の自動機能試験ツール。 Canoo WebTest 2.0はThe BSD Licenseによく似たライセンスのもとで公開されているオープンソースソフトウェア。The BSD LicenseのNeither the name ofからはじまる第3項の記述が少々異なっており、エンドユーザドキュメントに関する条項が追加されているが、本質的にThe BSD Licenseと同じ。詳しくはCanoo WebTest Software Licenseを参照のこと。 Canoo WebTest 2.0における主な新機能は次の通り。 精巧なJavaScriptのサポート

                                                                      • アジャイルな制度設計の可能性とか - 雑種路線でいこう

                                                                        衆議院議員の早川忠孝氏がブログで政治資金規正法の問題と絡めて議員立法の課題を指摘されており非常に興味深い。世論の注目が集まっている課題では検討に時間をかけられない上、法制局が起草とレビューの両方をやるのでチェックが甘くなりがち。あと法文の詰めが国会の委員会ではなく党の部会やら与野党協議といった非公式の場で行われるので、もともとの立法者意思が委員会の議事録に残らないことも大きいのではないか。 政治資金規正法がどうだったか分からないが、青少年系の法律でよくあるように部会での議論から与野党協議まで非公式にやった上で委員長提案・即日採決という流れだと、法文についての委員会審議は実質1日しかできなかったり。委員会では民間参考人召致にばかり時間を使って法文の詰めは水面下で行う流れだと、条文の細部に宿る立法者意思を公式な国会の議事録に残すことが難しい。 粗々の議員立法が通った場合、施行規則は所管省庁でつ

                                                                          アジャイルな制度設計の可能性とか - 雑種路線でいこう
                                                                        • 第84回 Windows 7移行時の注意点

                                                                          by Gartner マイケル・シルバー VP兼最上級アナリスト 針生 恵理 シニアアナリスト Windows XPのサポートは2014年4月8日まで続くが、独立ソフトウエアベンダー(ISV)によるXPのサポートはそれよりも早く終わる可能性がある。Windows 7への移行プロジェクトはサービスパック1(SP1)を待たずに開始すべきだ。以下、移行時に考慮すべき点を解説する。 UAC(ユーザーアカウント制御)に備える UACはWindows 7の利点の一つであり、Windows Vistaに比べて改善されているが、「管理者権限を常用する」という従来のパソコン文化の変更をユーザーに迫る。教育は必須で、ユーザーにとってのメリットについて理解を促す必要がある。 ブラウザーアプリケーションを検証する 現在多くの企業がInternet Explorer 6(IE6)に特化したアプリケ ーションを使用し

                                                                            第84回 Windows 7移行時の注意点
                                                                          • FacebookがOSS化した静的プログラム解析ツールinferを試してみた - def yasuharu519(self):

                                                                            はじめに Facebookがまた新しいツールをオープンソースにしたらしい。 Facebookがモバイルコード用のデバッガInferをオープンソース化 infer inferは、Android, iOSなどに使用できる、スタティックなプログラムアナライザで、プログラムの静的解析が可能なものらしい。 NULLポインタアクセスや、メモリリークなどを検知できるらしい。 もともとは、イギリスのMonoidicsという会社が作っていた検証ツールで、2013年にFacebookが買収していたみたい。 Monodicsが作っていた「INFER」は、三菱電機やアメリカのARM, Airbusなどで使われていたみたい。以下のページが詳しい。 Facebook、モバイルアプリプラットフォーム強化目的でコード検証ツール「INFER」の英Monoidicsを買収 インストール Getting started wit

                                                                              FacebookがOSS化した静的プログラム解析ツールinferを試してみた - def yasuharu519(self):
                                                                            • Java 7に未パッチの脆弱性、MacやLinuxにも影響 - @IT

                                                                              2012/08/28 Java 7に、任意のコード実行につながる恐れのある深刻な脆弱性が報告された。すでにこの脆弱性を利用した攻撃が報告されている一方で、開発元のオラクルからは、パッチなどの修正方法はまだ提供されていない。セキュリティ組織では、WebブラウザのJavaプラグインを無効にするといった回避策を推奨している。 IPAとJPCERT/CCが運営している脆弱性情報サイト、JVNによると、この脆弱性が存在するのは、Java SE Development Kit(JDK 7)やJava SE Runtime Environment(JRE 7)を含む、Java Platform Standard Edition 7(1.7、1.7.0)。これらのJavaがインストールされたWebブラウザで、攻撃者が細工を施したWebページにアクセスすると、脆弱性が悪用される。この結果、サンドボックスを回

                                                                              • TDD ⇒ PDD

                                                                                ダイクストラは、テストでバグの存在は示せるがバグのないことは示せないと言っていた。一方で、TDDはテストを重ねながらプログラミングをおこない、用意したテストが全部通ったらプログラム完成と言うアプローチだ。と誤解しやすいが実は単なる開発プロセスに対する提案である(10/2)。 欲しいのはバグはあるかも知れないが取りあえず動作する綺麗なコードではなく、まずバグのないコードだ。 この点を改善するにはどうするか。実は良いアイディアが浮かんだ。自動テストツールではなく、プログラム検証ツールを使用して正しいことを証明しながらプログラミングをおこなうPDD(Proof driven development)だ。 プログラムSの証明とは、Qを事前条件、Rを事後条件として、{Q} S {P}が恒真であることを示すことだ。たとえば、二つの整数x, yを与えられてxが大きい値になるように、値を入れ替えるプログラ

                                                                                • RedLine Magazine : CSSとうまく付き合う予備知識

                                                                                  CSSとうまく付き合う予備知識 ●ブロックとインラインの違いを知る この違いを知らないとどっかでcssレイアウトがうまくいかない時がある。以前別ブログで関連記事を書いたので参考までに。 >>RED LINE:ブロックレベルとインライン ●W3Cの検証ツールで文法エラーがないか確認する これはすごく大切。 よくいろんなサイトやブログで(x)html、CSSともに「バリデータ通ってない」とか「Validな文書です」とか書いてあるのはこのサービスでチェックしてクリアしてるかどうかというのを指している。 cssソースに問題がなくても(x)htmlソースの記述におかしな点があればcssがうまく反映されず意図したデザインにならないこともある。その逆も然り。ただ、必ずしもこれらの検証サービスが100%正しいわけではない。意図ある部分でエラーが出ていたとしても制作者の目線でそれでもこれはこのケースでは正し