NHKニュース 速報・最新情報『いまを映す、いまを読み解く』 激動する日本、そして不確実性を増す世界の「いま」。 背景に何があるのか。あすにつながる展望は。 東京や全国各地、海外で、その日のニュースの現場を徹底取材。 多角的な視点から問題を読み解き、深く、わかりやすくお伝えします。
May_Romaさん連続Tweet：「インフラとかシステムとかの問題ではなく、そもそも仕事のやり方がおかしい。」
May_Roma めいろま 谷本真由美 @May_Roma 日本の保守的な会社や団体の問題の一つは人が入れ替わらないこと。外のやり方や状況を知らないから知識や技術が陳腐化する。外を知らないから、成果物の質の良し悪しがわからない。組織内での競争は成果物ではなく、人当たりや気遣いなどになり、成果物の質が低い人でも上になる。 2012-09-22 19:48:51 May_Roma めいろま 谷本真由美 @May_Roma これが致命的になっているのが日本のIT業界。日本では優良と言われている所でも仕事のやり方は独自。業界の流れを無視だから海外に15年は遅れている。効率も悪いから延々デスマーチ。文書一枚すら外の人には意味不明な書き方。最新のやり方を学びたい人は海外の先進国行かないとヤバイ。 2012-09-22 19:53:07 May_Roma めいろま 谷本真由美 @May_Roma 日本の
自動でロゴを作ってくれる無料サービス「Logaster」が便利で使える！ これがかなりデキる子なんです～ッ!!
» 自動でロゴを作ってくれる無料サービス「Logaster」が便利で使える！ これがかなりデキる子なんです～ッ!! 会社や商品をわかりやすく表すためには欠かせないロゴ。企業ではなく個人でも、ちょっとした機会にロゴが欲しくなること、皆さんにはありませんか？ たとえば、自分のブログやフェイスブックに載せるロゴを作りたい、趣味サークルのロゴを作りたい、自分のロゴ入りグッズが作りたい、などなど。 とはいえ、ロゴの制作をデザイン会社などに頼むのってけっこうお高いですよね。1点ン万円かかるようなところもザラ。かといって、デザインセンスのない自分にはイチから考えるなんてできないし……。 そこで今回オススメしたいのが、自動でロゴを作成してくれる「Logaster」というWeb上のサービス。ロゴを作りたいものの名前を入力するだけで、何千パターンものロゴを瞬時に作り出してくれます!! これがなかなかにクール＆
形式仕様記述VDM++を学ぶセミナーに参加してきた - rabbit2goのブログ
昨日は某所で行われた形式仕様記述言語VDM++の基礎を学ぶセミナーに参加してきた。講師は「VDM++によるオブジェクト指向システムの高品質設計と検証」の翻訳者としても著名な酒匂寛氏。VDM++の書籍に目を通して、そのサンプルを動かす程度の経験しか無かったので、演習で色々と試せる機会が得られたのは有難かった。 VDM++の細かい文法は書籍を読めば分かるものの、実際のところは落とし穴が色々あるし、些細な疑問で行き詰まったりすることが珍しくない。今回のセミナーではそのような疑問にも講師の酒匂氏が丁寧に答えてくれたので、参加した甲斐が有った。本を読んだだけでは分からない「実際のところはこう使ったほうが便利」といった細かなノウハウを学べるのはセミナー参加のメリットだと思う。 今回のセミナーの対象範囲は、仕様記述言語としてVDM++の基礎を学び、VDMToolsを用いたモデルの評価を行うところまでだっ
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編）
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編） 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み 厳密な仕様、もらさないテストを目指して」。この記事では、そのダイジェストを紹介しています。 本記事は、前編、中編、後編の3部構成です。お読みのページは後編です。 大規模なテストをどうやって実行しているか 続いて、大規模なテストについて。 1000万件のテストパターンを作っても、それぞれのテスト結果の正解を人手で作っていたら追いつきません。なので、別々に運賃計算ソフトウェアを作って、その答えを突き合わせてチェックしよう、という話です。 例
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（中編） － Publickey
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（中編） 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡山五郎氏の講演「自動改札機ソフトウェアの品質向上の取り組み 厳密な仕様、もらさないテストを目指して」。この記事では、そのダイジェストを紹介しています。 本記事は、前編、中編、後編の3部構成です。いまお読みのページは中編です。 自動改札機の制御は1000件くらいのテスト さて、次は間違えない自動改札機の話です。ここからソフトウェアの話になります。 1つは運賃計算。この切符はこの駅で降りられるのか、というもの。そしてもう1つは自動改札の制御。ランプを光らせるとか、切符を回収するとかです。 まずはその
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編）
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） ふだん何気なく使っている鉄道。改札を降りるときにICカードを自動改札にかざすと、「ピッ」という音と共に一瞬のうちに運賃を計算してくれます。けれど、複数の路線を乗り継いだり、途中で定期券区間が挟まっていたりと、想像しただけでもそこには膨大な組み合わせがあります。それでも運賃計算プログラムはわずか一瞬で正しい運賃計算が求められ、バグがあったら社会的な一大事にもつながりかねません。 爆発的な計算結果の組み合わせがあるはずの運賃計算プログラムは、どうやってデバッグされ、品質を維持しているのでしょうか？ 9月12日から14日のあいだ、東洋大学 白山キャンパスで開催された日本科学技術連盟主催の「ソフトウェア品質シンポジウム 2012」。オムロンソーシアルソリューションズ 幡
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Railsでアプリ作るときに、何回もおんなじこと調べてる気がするので、まとめる。 - Qiita
Expired