実務家のための形式手法シリーズ、教材及び副読本の公開：IPA 独立行政法人 情報処理推進機構
2013年4月1日更新 2013年3月28日公開 独立行政法人情報処理推進機構 技術本部 ソフトウェア・エンジニアリング・センター 概要 日常生活で使用する様々なサービスや製品にはソフトウェアが密接に関係しています。サービスや製品の規模や利用形態の複雑さが増すにつれ、ソフトウェアの品質に問題が生じた場合の原因究明には時間がかかり、サービスや製品を利用する国民に及ぼす経済的損失や社会的影響などの発生リスクは増えていきます。このようなリスクを抑制するためには、ソフトウェアの品質向上を図る必要があり、様々な取組みがされてきました。その中でもとりわけ形式手法(*1)は、数学的に厳密な仕様を記述し検証することができるため、曖昧さや抜けを防ぐ、実装の間違いを見つけ出す、といった利点があり、高い安全性を要求される製品に関連する国際規格である、IEC 61508(*2) 及び自動車業界に対するISO 26
Apple Watchアプリを作るべきかUIUX評価雑感 | fladdict
事前レビュー「UI考（番外編） AppleWatchについて、あまり語られてない視点」の続き、週末に使ってみた雑感。 通知マシーンとしての素晴らしさ 通知マシーンとしては文句なく素晴らしい。手首に対する自然なノックからはじまる通知と確認のプロセスは、ミニマルで合理的に設計されている。Facebookのメッセンジャーやカレンダーなどとの相性は抜群だった。 全てをぶちこわす致命傷 いっぽうアプリのプラットフォームとして考えた場合、これはまだ実用に達していないと判断した。おそらく一番致命的な問題はレスポンスの遅さだ。 Apple Watchの謳う最大の価値は、「携帯を取り出すより楽」なことと「グランサビリティ（一目瞭然性）」だった。ところが実際触ってみると圧倒的に遅い。これはiPhone本体とのBT通信が全てを台無しにしているためだ。 例えばグランスやアプリを使用する場合を考えてみよう。アプリ利
「筆談ホステス」斉藤さん当選 音使わぬ選挙戦に法の壁：朝日新聞デジタル
「筆談ホステス」として話題になった斉藤里恵さん（３１）＝日本を元気にする会＝が、２６日投開票の東京都北区議選（定数４０）で、初当選した。１歳で聴覚を失い、うまく話せない。選挙運動を細かく規制する公職選挙法が立ちはだかる中、候補者５０人中トップの６６３０票を集めた。 青森県出身で２００７年に上京。銀座のクラブでホステスとして働き、筆談での接客が人気を集めて自叙伝も出版された。知人の前区議から誘われ、「障害者の声を政治の世界に届けたい」と立候補した。 斉藤さんは２７日未明、同区の選挙事務所で、筆記ボードに「まだ信じられない」と感想を書いた。「バリアフリー社会の実現」に力を注ぐという。 公選法上、区議選では選挙用ビラを配れない。斉藤さんは街頭演説の代わりに、ボードに文章を書いて見せようと考えたが、公選法が禁じる「文書図画の掲示」にあたる可能性があるとして断念。告示後は有権者一人ひとりに名刺を渡し
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://theblindgeek.net/firefox-nvdasr-being-sluggish-heres-the-fix/
