型安全性とは何か | POSTD
以前書いた（C言語についての） メモリ安全性について定義した記事 について、型安全性について説明する記事も投稿してほしいというコメントがありました。型安全性についてはかなりよく知られてきていると思いますが、ズバリこうだと簡単に定義できるほどにはまだ理解が浸透していません。特に誰かが”Javaは型安全な言語だ”と言った場合、これは厳密に何を意味するのでしょう。全ての型安全な言語はある意味”同じ”と言えるでしょうか。ある特定の言語について、そして一般的な意味で、あなたを悩ませる型安全性とは何でしょうか。 実際のところ、型安全性が何を意味するのかは言語の型システムの定義によります。最もシンプルなケースでは、型安全性はプログラムの動作が正しく定義されるように保証します。もっと一般的な話をすると（この記事ではそのあたりをカバーするつもりですが）、言語の型システムはそのプログラムの正確さと安全性を推論
実践 Selenium WebDriver
本書は、Seleniumの導入と構成の仕方、テストの書き方について、包括的に解説する書籍です。IE、Firefox、Chrome、Safariなどのブラウザに対応するWebDriverの機能から、iOSとAndroidアプリケーションのテスト、さらにUIテストツールのPageObjectパターンまで、サンプルコードを使って具体的に説明します。日本語版では玉川紘子氏による「CI（継続的インテグレーション）ツールの活用」を付録として追加。WebアプリケーションのUIテストを自動化したい技術者必携の一冊です。 訳者まえがき はじめに 1章 WebDriverとWebElementの紹介 1.1 Seleniumの歴史 1.1.1 Selenium 1、別名Selenium Remote Control、別名 Selenium RC 1.1.2 Selenium 2、別名Selenium WebD
会場ネットワークの裏話 ー YAPC::Asia Tokyo 2014 | update.hirochan.org
先日行われた YAPC:Asia 2014 では無線ネットワーク提供が行われましたが､CONBUというネットワークエンジニアの有志グループが協力しました｡ またCONBUの取り組みについては当日のトークでもやってきました｡ちなみにこのトークは当初は私がやる予定ではなかったのですが､前夜に突然お鉢が回ってきたのでスライド作りが結局当日になってしまいトーク開始5分前にようやく形にしました｡それでも会場は満席で話しを聞いて頂いたので(中身の評価はさておき)なによりです｡ 技術的にディープなお話しは別途書く機会があると思いますので､ここでは経緯とか準備とか当日の裏側を書こうと思います｡ [9/6 追記: テクニカルなお話しは CONBUのブログ をどうぞ] YAPC とCONBUの関わり YAPC会場ネットワークへのCONBUの取り組みは昨年のYAPC:Asia 2013につづいて今年で2回めとい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Google Code Archive - Long-term storage for Google Code Project Hosting.
