「拒否反応」がなくなり実用段階に入った「フォーマルメソッド」
フォーマルメソッド（形式手法）をご存じだろうか。これは，ほとんどの場合日本語で記述される「要求仕様」を，プログラミング言語によるコーディングと同じように，厳密に「仕様記述言語」で定義する手法のことである。 要求仕様を仕様記述言語で厳密に定義（モデリング）することで，要求仕様のあいまいさがなくなるほか，ライブラリを作成しておけば「要求仕様の再利用」も可能になる。構文チェックや型チェック，インタプリタによる動的テストにより，要求仕様の正しさもツールで検証できる。結果的に，要求定義フェーズの欠陥を大幅に減らせる。 言うまでもないが，システム全体の品質を高めるためには，要求定義などの上流工程の欠陥をどれだけ減らすかが大きなカギとなる。そういう意味で，「フォーマルメソッド」は高品質なシステムを作るための重要な武器になり得ると，記者は思っている。 ただし，「仕様記述言語を学ぶのが難しい」という理由で，
「神ツール」――初音ミク踊らせるソフト「MikuMikuDance」大人気
「神ツール」「本当に無料でいいの？」「振り込めない詐欺（笑）」――「初音ミク」の3Dモデルを自由に踊らせることができるソフト「MikuMikuDance」がネットユーザーを驚かせている。初心者でも簡単に、本格的な3Dアニメを作成可能。2月24日の公開直後からネット上で話題になり、ダウンロードページは3月10日までに11万を超えるページビューを記録。同ソフトで作成した動画が「ニコニコ動画」に300件以上投稿されている。 開発したのは、趣味でプログラミングを楽しんでいるという樋口優さん（ハンドルネーム）。大反響に驚きつつ、今後も無償公開を続け、寄付を受け取る気もないと話す。 「もともと無料のツールと素材だけで作ったソフト。『お金を払ってもいい』と思うくらい気に入っていただけたら、ぜひこのソフトですばらしい動画を作って公開してもらい、私をニコニコさせてほしい」 マウス操作だけで3Dダンス動画を
報道発表資料 : iモードメールをパソコンから利用できる「iモード.net」を提供開始 | お知らせ | NTTドコモ
iモードメールをパソコンから利用できる「iモード.net」を提供開始 -iモードメールのアドレスそのままでパソコンからケータイメールの送受信が可能に- ＜2008年3月10日＞ NTTドコモグループ9社（以下ドコモ）は、お客様がより便利にiモード®メールをご利用いただけるよう、iモードメールをパソコンでも送受信できる付加サービス「iモード.net（アイモード・ドット・ネット）」を2008年3月11日より提供いたします。 本サービスにより、現在ご利用中のiモードメールのアドレスそのままで、パソコンからもiモードメールの送受信が可能になります。パソコンからでも絵文字やデコメ®などのiモードメールを送信でき、長文作成やパソコン上の写真添付が簡単にできるなど、iモードメールがより便利にご利用いただけます。また、インターネットに接続できるパソコンがあれば1、携帯電話が近くにない場合や圏外の状態でも、
北川景子 外見より中身…今秋公開「ハンサム★スーツ」ヒロイン：芸能：スポーツ報知
北川景子 外見より中身…今秋公開「ハンサム★スーツ」ヒロイン 劇中の衣装のワンピース姿で「自分を排除して一から役になりきれるよう心がけている」と北川景子 女優の北川景子（２１）が、谷原章介（３５）の初主演映画「ハンサム★スーツ」（今秋公開、英勉監督）でヒロインを務めることになった。一昨年にハリウッド映画デビューし、昨年は連続ドラマ初主演など伸び盛りの北川が演じるのは、美しさをコンプレックスに感じる美女。スポーツ報知のインタビューに「外見にコンプレックスを持つのは私も同じ。役に共感します」と語っている。 北川は映画を中心に活躍し、昨年１０月期のテレビ朝日系「モップガール」で連ドラにも初主演。ＮＴＴドコモなど話題のＣＭに出演する旬な若手女優だ。 ２１歳。視線をそらさず落ち着いて話す姿は度胸の良さと芯の強さを感じさせる。モデル出身で目鼻立ちのはっきりした美人だが、意外なことに本人は否定する。 「
「政府機関の情報システムにおいて使用されている暗号アルゴリズムSHA-1及びRSA1024に係る移行指針」（案）に関する意見の募集
ＨＯＭＥ > 活動内容 > 政府機関総合対策促進グループ > 「政府機関の情報システムにおいて使用されている暗号アルゴリズムSHA-1及びRSA1024に係る移行指針」（案）に関する意見の募集 「政府機関の情報システムにおいて使用されている暗号アルゴリズムSHA-1及びRSA1024に係る移行指針」（案）に関する意見の募集 （終了しました） 平成２０年２月４日 内閣官房情報セキュリティセンター（ＮＩＳＣ） 政府機関の情報システムにおいて広く使用されている暗号アルゴリズムSHA-1及びRSA1024については、現在、安全性の低下が指摘されているところです。このため、これらをより安全な暗号アルゴリズムへ移行させる必要があるところ、その際には、情報システムの相互運用性を確保するなどの観点から、政府統一的な対応をとる必要があるため、今般、「政府機関の情報システムにおいて使用されている暗号アルゴリズ
日経「ソニー、ドコモ向け撤退だってよｗ」ソニー「ちげーよバーカｗ」 - やまもといちろうBLOG（ブログ）
久しぶりにいい漫才を見た。しかもどちらも日経のサイトで楽しめるという。とりあえずリークした馬鹿は責任とって死ねばいいと思います。 ソニー、ドコモ向け撤退――開発・生産中止、国内事業を縮小 http://it.nikkei.co.jp/mobile/news/index.aspx?n=AS1D0900N%2009032008 ソニー、「携帯電話 ドコモ向け撤退」報道で「商品化計画を一部見直し中」とコメント発表 http://release.nikkei.co.jp/detail.cfm?relID=184020&lindID=4 まあ、ソニエリとしても「もうやってられん」というのは事実だと思う。国内の中の人、大変そうだもの。じゃあソニエリだけが厳しいかというとそうでもなくて、この前の三菱電機の撤退みたいに骨を拾う奴も現れなくても止めざるを得ないような抜き差しならない事情が国内にはあるんだろう
パチンコを法律で禁止した韓国とその事実の報道を拒絶している日本の - わんわんらっぱー
○パチンコを法律で禁止した韓国とその事実の報道を拒絶している日本のマスコミというトピックがあります。 http://mixi.jp/view_bbs.pl?id=25882814&comment_count=8&comm_id=189071 写真は、若宮健氏撮影「ソウルで見たパチンコ屋の残骸」 韓国はパチンコ禁止なのに、なんで日本はパチンコが許されているのですか？韓国の民度が高いからですか？それとも、日本の民度が高いからですか？ ***************************************************** 日本人が馬鹿だからパチンコが許されているだけでしょう(^-^; ***************************************************** ○環境問題を描いた「地球少女アルジュナ」の製作会社株式会社サテライトの大株主はパチンコ
iPhone SDKとObjective-C：ニートは社会のメモリーリーク?!
飛行機の中に９時間ほどネットもテレビもない環境に閉じ込められていたおかげでObjective-CとiPhone SDKの勉強もとても良くはかどり、簡単なアニメーションぐらいアプリなら作れる様になったし、Objective-Cでプログラムを書くことにもだんだん違和感がなくなってきた。 しかし理解が進めば進むほど分かってくるのがiPhoneがいかに他の携帯電話と比べて進化しているかということ。OS Xの不要な部分はばっさりと切り捨てつつ、Objective-Cの拡張性を最大限に利用したとても完成度の高いものとなっている。 特に良くできているのが、iPhone特有のユーザーインターフェイスを実現するために仕組みと、メモリ消費と電力消費を抑えるための仕組み。特に、バーチャルメモリの仕組み、リードオンリーリソースの扱い、ハードウェアアクセラレータの活用、アプリケーションプロセスの扱いなど、それぞれが
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
