TechCrunch | Startup and Technology News
Meta will soon officially permit users as young as 10 to use its Meta Quest 2 and 3 VR headsets — if their parents say it’s okay, anyway. In a blog post, the tech giant says that there’s Nikola Corp. is laying off 270 employees, or about 23% of its workforce, and restricting its electric truck efforts to North America as it seeks to preserve cash. The company said Friday it will lay o
「バグ無し」は可能、ソフトの先頭走る
ソフトウエア開発の先端技術を現場に広める伝道師。酒匂寛氏はこの呼び名にふさわしい。オブジェクト指向技術を日本にいち早く紹介し、多数の導入プロジェクトに参加。現在は「形式手法」の定着を目指す。オープン系の最初期から30年、あくまで現場にこだわり、「バグ無し」開発への理想を追い続ける。 オブジェクト指向、形式手法とソフト開発技術の最前線にいち早く取り組んできました。 自分の中では問題意識は一貫しています。ソフトを開発する上で、ソフトの論理的な振る舞いを表現した「仕様（スペック）」がいかに大切か、ということです。 仕様は、要求を出す人と物（プログラム）を作る人が合意する接点となります。ここがいい加減だと、どうにもならないわけですよ。オブジェクト指向も形式手法も、仕様を正しく作り、信頼性の高いソフトを実現する手段として注目しました。 ソフト開発では仕様書を書くのは当たり前ですが、それでは不十分であ
米国：警察のせいでセックス・ワーカーのHIV感染 増加
（ワシントンDC）－ニューヨーク、ロサンゼルス、ワシントンDC、サンフランシスコの警察が、セックス・ワーカーとトランスジェンダー女性からコンドームを証拠として押収。結果、HIV感染を減らす保健所の活動の障害となっている、とヒューマン・ライツ・ウォッチは本日発表の報告書内で述べた。 報告書「危険にさらされるセックス・ワーカーたち：売春証拠にコンドームを押収する米4都市」（全112ページ）は、前述の各都市で警察と検察が、買春容疑立証のためにコンドームを証拠とする実態を調査し、取りまとめた。こうした警察の行動により、セックス・ワーカーやトランスジェンダー女性が逮捕を恐れてコンドーム携帯に消極的になった結果、プロテクションなしの性行為により、HIVほか性感染症の危険にさらされている。本報告書は、2012年7月22日にワシントンDCで開幕する第19回国際エイズ会議に先立って発表。世界中から集まる2万
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
settingslogicで定数を管理する - Qiita
