PRINCIPIA Limited
セミナー 形式手法に関するセミナーを開催しています． 詳細につきましてはセミナーのページをご覧ください． SyncStitch: A Model Checker based on the Process Algebra CSP SyncStitch is a model checker based on the process algebra CSP (Communicating Sequential Processes). By using SyncStitch, you can check six types of properties of the system you are developping: Deadlocks Divergences (also known as livelocks) Refinement relation on traces semantics (sa
ぶいてく: 【EC開発体験記 -リソース志向-】 APIをやめデータ構造に着目する
あらかじめ断っておくが、ここで説明するリソース志向は、私自身の開発の経験から必然的にたどり着いた解であって、一般的に説明されているROAとは多くの部分で異なる。ここでは、正確なROAの説明をするつもりはないし、本当のROAとは？などと、不毛な議論もやりたくない。ROAもしくはリソース志向という言葉を便宜上使わせていただいているが、それは、自分の解に一番近いと思われるからである。したがって、私の説明をそのまま世間で使うと痛い思いをするかもしれないので気をつけていただきたい。 まず、リソース（以下Resource）の定義から説明したい。Resourceとは、分析クラスから導き出されるEntityを具現化したものである。噛み砕いていうと、モデリングにより定義された自己完結したデータの集合という感じだ。前記事で、分析クラスのBoundary、Control、EntityをStrutsのMVCモデル
iPhoneアプリ | 講義情報 | 清水健太郎
iPhoneアプリ（iOSアプリ）とは iPhone / iPadアプリの開発は、アップル社から専用の開発キットが無償で提供されているため、それ程難しいものではありません。しかし、作成したアプリをApp Storeで販売/配信するまでが、非常に大変です。手続き自体が煩雑なことに加え、アップルのバグ等も加わり、たくさんの方が大変な苦労をされています。先駆者の方々が実体験を元にブログ等で申請方法をまとめても下さっていますが、残念な事に情報が散在しており、情報を収集するまでが大変です。 そこで、自分の経験やWEB上の情報等を整理し、アプリの開発環境構築から、実際にアプリを販売するまでの流れを、体系的にまとめてみました。全体的な流れは、画面左側のメニューにもありますが、以下のようになっています。 開発環境を作る iOS Developer Program登録 アプリを実機で動かす EIN取得（取得
真面目にエロサイトを作ってみた【プログラマ編】 - BLOG｜ASTRODEO
東京都台東区で黙々とウェブでサービスを開発している株式会社アストロデオのホームページです。
C#と諸々 「テスト駆動開発」から 「ビヘイビア駆動開発」へ
C#がメインで他もまぁ諸々なブログです おかしなこと書いてたら指摘してくれると嬉しいです(´･∀･`) つーかコメント欲しい(´･ω･｀) BDD (Behavior Driven Development) というものを今更ながら知りました。 言葉だけはたまに見かけてましたが、どんなものか全く知ろうとせず、ずっとどうでもいいやと思っていました。 ところがこれ、TDD を進化させたようなものだったんですね。 「テスト駆動開発」ではどうしても「品質のため」と誤解されがちで、「設計のため」って言っても中々信じてもらえません。でも「ビヘイビア駆動開発」ならきっと大丈夫。 これからは TDD を捨てて BDD へ移行していきたいと思います。 ただ、.NET 界隈だと残念ながら BDD はあまり浸透してない感じですね。具体的にどういう方法で実践していくのが良いか悩みどころです。 [Web 上で見つけた
プログラマー面接時の技術的な質問事項(アプレッソ版) : 小野和俊のブログ
技術者・SE・プログラマ面接時の技術的な質問事項というエントリをはてブで見かけたのだが、私もjavaプログラマーの面接を割とよくやっているので、よく質問する内容をまとめてみた。 (ちなみに、基本的にコーディング面接の形態を取っている) プロジェクトの性質にもよると思うが、私の場合には、情報処理技術者試験的に基礎が満遍なく抑えられているかどうかよりも、 すぐ答えが見つからないような課題に対して、きちんと自分でやり方を考え、対応することができるか 「変な」コードをコミットしたりしないか(見つけにくいバグを混入させるとか、汚いとか、遅いとか)といった点を重視している。 まず、何を知っているかよりも、どんなものを作れるか、どんなことができるか、という質問。 ここで強烈な回答が来る人は、たいていここより下の質問は「あー、はいはい」という感じでサラッと答えてくることが多い。 これまでに携わってきた開発
A5:SQL Mk-2 - フリーの汎用SQL開発ツール/ER図ツール
A5:SQL Mk-2は複雑化するデータベース開発を支援するために開発されたフリーのSQL開発ツールです。 高機能かつ軽量で、使い方が分かりやすいことを目標に開発されています。 SQLを実行したり、テーブルを編集するほかに、SQLの実行計画を取得したり、ER図を作成したりすることが出来ます。 特徴・機能 OCI接続・直接接続・ADOまたはODBCを介したDBへの接続 Oracle DatabaseはOCI経由の接続・直接接続が出来ます。 PostgreSQLとMySQLは直接接続が出来ます。 Microsoft SQL Serverは、OLE DBプロバイダを直接呼び出した接続ができます。 IBM DB2は、ODBCドライバを直接呼び出した接続ができます。 その他のデータベースは、ADOまたはODBCを利用して接続します。 Oracle, PostgreSQL, MySQLは、A5:SQL
pthread_mutexはプロセスを越える - sdyuki-devel
futex(2) を使ってせっせとmutexとconditionを実装していたら、意外なところに盲点が。 Linux では pthread_mutex と pthread_cond がプロセスを越えられる。移植性は無いようで、Mac OS Xでは動かなかった。 やり方は mmap(2) に MAP_SHARED フラグを渡して２つのプロセス間でメモリ空間を共有しておき、そのメモリを pthread_mutex_t や pthread_cond_t にキャストして使う。ただしアドレスはページサイズの倍数でないとうまくいかない。（※動くかも？） ※追記：pthread_mutex/condはfutexで実装されていたのでした ※追記：これは linux-2.6.22.9 + glibc-2.6.1 での挙動ですが、おそらくバグです。少なくとも linux-2.6.27 + glibc-2.8
実開発で分かったGoogle App Engine for Javaの“すごさ”
ゴールデンウィークに特に予定のなかった筆者は，「ちまたで噂のGoogle App Engine for Java（GAE/J）とFlexでスケジュール共有ツールでも作ってみよう」と思い立ちました。およそ5日間かけて開発を進めたのち，2009年5月6日に「ご都合.com（画面1）」を公開しました。その後，はてなブックマークやニュースサイトなどでご紹介いただいたおかげで，公開後6日で約2000人の方にご利用いただいています。 そこで本稿では，この「ご都合.com」の開発で実際に筆者が得た経験を通じて，GAE/JによるWebアプリケーション開発の実際とそのポテンシャルについて紹介します。 米Googleが2008年4月に発表したGoogle App Engine（画面2）は，「自分が開発したWebアプリケーションをGoogleのデータセンターで運用できるクラウドコンピューティング・サービス」です
良いタイトルが思いつかない日記ブログ C言語からWindowsのバージョンを判別する(Vistaまで)
ググったらVBとかC#のサンプルばかりで、 やっと見つけたと思ったら.NETのOperatingSystemクラスを使用とかね。 C/C++のもあるにはあるけど短かったり古い記事だったりする。 この話題人気ないのかな。。。 Windowsのバージョンをメッセージボックスで表示するプログラム。 COMとか使ってない。 BCC55、VS2005でコンパイルできる。 ……関数部分だけで250行あるので、 最悪C言語のダメなコーディングの例としてもどうぞ。 ///////////////////////////////// // ↓main.c // ＊コンパイル時のWindowsバージョン指定についてはWINVERマクロなどを参照 #include <tchar.h> #include <windows.h> #include <stdlib.h> // bcc55では定義されてない定数(BCC
2008夏バイナリエディタ徹底比較@windows - 西岡Blog
夏真っ盛りですね。皆さんもう海は行かれましたか？僕はバイナリの海でイカレてしまいそうです。 そんなわけで、僕は組込セキュリティエンジニアです。その都合上バイナリエディタの使用頻度は多いです。バイナリエディタとして、 僕は主に定番バイナリエディタであるStirlingを使ってきました。 しかしStirlingの最終更新日は1999年。 もうそこから十年が経とうとしているのだから、そろそろ便利なバイナリエディタが出てきてもいい頃です。なので、 他のバイナリエディタとの比較を行ってみました。 ただし、僕個人の業務範囲における価値基準でつけているので、偏っていますが、その点はご容赦ください 表全体を見たい人はこちらから。 で、所感は以下の通り Starlingはカスタマイズ機能が充実。 BinaryGrepなど検索に強い。印刷したいときは特に便利。 Bz Editorは検索ボックスが特徴的。 使い
JavaScript でテトリスみたいなゲームを作ろう！ - セキュリティ＆プログラミングキャンプ JavaScript 入門講座資料
HTML とは HTML とは、誤解を恐れずに言ってしまうとウェブページ（ホームページ）を作るために使われている言語です。 例えば、以下のようなものが HTML です。 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html lang="ja"> <head> <title>タイトル</title> </head> <body> <h1>見出し</h1> <p> 本文本文本文本文本文本文本文本文本文本文本文本文本文本文 本文本文<a href="hoge.html">ハイパーリンク</a>本文 本文本文本文本文本文本文本文本文本文本文本文本文本文本文 </p> </body> </html> サンプル イメージ湧きましたか？ では、何故 HTML という
Microsoft – クラウド、コンピューター、アプリ & ゲーム
期間限定で Surface Pro 8 ご購入で対象のキーボードが無料になり、本体にも特別価格が適用されます。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ウェブパフォーマンスの基礎とこれから
http://devsummary.miukoba.net/
ぶいてく: 【EC開発体験記-Entity-】 自己完結したデータの集合
病院情報システムに関する過去の資料（日本赤十字社愛知医療センター名古屋第二病院）
「事業計画作成とベンチャー経営の手引き」及び「事業計画作成支援コースの 運営とベンチャー支援上のポイント」の公表
サービス終了のお知らせ
第６章 セキュアC/C++ プログラミング