Spin - Formal Verification
Open Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the standard BSD 3-Clause open source license. Spin is now also part of the latest stable release of Debian Linux, and has made it into the 16.10+ distributions of Ubuntu. The current Spin version is 6.5.1 (July 2020). Symposia: The 30th International Spin Symposium will be held in April 10-11 2023 in
404 Blog Not Found:プロ^2グラマーは社交が8割
2007年02月19日01:30 カテゴリCode プロ^2グラマーは社交が8割 趣味でプログラムをするシュミグラマーや、本職は別にあって、たまにプログラムするタマグラマーはとにかく、プログラミングそのものを職にしているプロプログラマー(以下プロ^2グラマー)の業務の8割は、実はプログラムを書く事ではない。 実感としては、顧客(社内顧客含む)との折衝が4割、学習が4割といったところ。残った2割が実際にコードを書いている時間。計算上は、週5日のうちコードを書いているのは1日しかないことになる。そして本当はそのコードを書いている時間も、コードを書く時間よりコードを読み返したり他のコードを読んでいたり、実のところぼけぇっとしていたりという時間が8割。 このプロ^2グラマーは、さぼっているわけでも無能な訳でもない。むしろ有能だとされるプログラマーほど、「オフタイム」が長い。そしてそのオフタイムの間
2007-01-23 - 大島芳樹のカリフォルニア日記
MI-506をいじっていたころから名前は伺っていたが、今日始めて直接お目にかかることができた。B1マシーンをちょっとだけ一緒に分解したり。 (ちょっとだけ追記しました。その他1/25のあたりも見てみてください。) "Can programming be reinvented?"というタイトルでの発表。東工大と東大で似たような発表をしたのだが、ストーリーラインが比較的新しいため、先にやった東工大での発表には反省点がいろいろあり、それが東大での発表に生かされた形になったのは否めない、かもしれない。以下は、かなり再現性の低いメモ。詳細はさらに聞いてください。「私」はもちろんAlan Kayを指します。 近所の人から、「なんで新しいコンピュータのほうがWindowsの起動やMS Wordの起動が遅いの?」、「大きいディスクがついているはずなのに、なぜ使える容量が少なくなるの?」、「アップデートをし
薄型テレビを制したLinux，開発現場の“守護霊”と“中央線”
改良もカーネルへ統合されなければ保守コストを生む 答えを明かせば，“中央線”とは組み込み向けの機能や改良を，Linuxのカーネルに正式な機能として統合されるようにすることの難しさを表したものだ。Linuxはもともとデスクトップやサーバー向けに開発されており，組み込みへの適用は比較的最近始まっている。そのため「カーネルのメインストリームを山手線とすると，組み込みは中央線。山手線は常に都心を回るが，中央線は毎回高尾から出発しなければならない」（上田氏）。 正式にカーネルに取り込まれなければ，カーネルのバージョンが上がるごとに機能を組み込み直さなければならない。テストもやり直しだ。あるいは，その機能を実現するために使用していた関数の仕様が変更されたりすることもある。 難しいのは，単に優れた機能を実装するだけでは不十分，という点だ。Linuxカーネルに対しては，日々膨大な改善提案やコードが寄せられ
レビューで手を抜く steps to phantasien t(2006-03-25)
2006-03-25 近況 転職後, ソースコードの品質に自信が持てない. ピアレビューをしていないからだ. 一人でコードを書いているとレビュー相手がいない. 自動テストとレビューは一度慣れてしまうとそれが無い状態がかなりストレスフル. デバッガが使えない環境で仕事をするのに似ている. 最近はようやく適応してきたが, "Radium Software" に ピアレビューの話が 載っているのを見て不安がよみがえった. いい機会から, 以前私のいたチームがどんな風に レビュー(ピアレビュー)をしていたかを少し書いてみよう. なお, この方法自体は私や私のいたチームのオリジナルではなく, 社内のエンジニア達の間で広く草の根的に 発生したものだということを先に明らかにしておく. 私達のレビューのやり方は, オープンソースのレビュー様式を 企業内開発の特性に合わせて効率化したものだと考えることができ
OBB vs AABB - Radium Software Development
iPhoneの一般修理店は予約なしでも来店できる？ 基本的には飛び込みで修理に行ってもOK iPhoneを置いていたソファにうっかりと腰かけてしまい、パネルを割ってしまった、こんな時はスマホの一般修理店へ行きましょう。画面割れは、スマホやタブレットの故障原因として非常に多いものです。予約なしで突然お店に行っても平気かしらと、不安に思う方々もいらっしゃるかもしれません。結論としては特に問題はなく、予約なしで訪問しても画面割れの修理はお願いできます。 ただし他のサービス業のお店同様、予約なしの場合、お店が混雑していると順番待ちをしなければいけないです。特に繁盛しているスマホ修理のお店だと、行列が店内で出来ており、予約なしだと、自分の順番が巡ってくるまで長時間待たされる可能性があります。平日の朝、昼なら利用客が少ない場合が多く、飛び込みでも比較スムーズに修理が頼めます。 予約は入れた方が時短に、
Life is beautiful: ソフトウェアの仕様書は料理のレシピに似ている
先日、経済産業省向けの仕事をしている知り合いと食事をしたのだが、彼によると経済産業省の今の悩みは、「IT産業の階層化の弊害によっておこる下流のプログラマーの収入の低下」だそうである。「プライムベンダー」と呼ばれる「上流コンサルタント」たちがインドや中国にも仕事を発注できることを理由に、激しく値切り始めたために、今やわずか一人月３０万円というケースもあるという。 こんな話を聞くと本当に悲しくなる。まず第一に「プログラムを書く」という仕事は簡単な仕事ではない。数学的な頭を持っていないとかなり辛いし、基礎がしっかりと出来ていないとろくなソフトウェアは作れない。物価の安いインドや中国なら許せるが、米国よりも生活費の高い日本で一人月３０万円とはあまりにも低すぎる。 「彼らは下流のエンジニアで、詳細仕様書に従った通りのプログラムを書くだけの簡単な仕事をしているから給料が安い」という説明を聞いたことがあ
Joel on Software - ジョエル・テスト
Joel Spolsky ジョエル・スポルスキ 翻訳: Fukushige Erika 福重 永里香 翻訳チェック: Takeda Toshiyuki 武田俊之 9.8.2000 SEMAについて聞いたことがある？かなり難解なシステムで、ソフトウェアの開発チームがどれくらい良いかを測るためのものだ。ちょっと待った！そのリンクに飛ばない方がいい。きっと書いてあることを理解するだけで6年はかかるだろう。そこで、私は自分で作ることにした。これはソフトウェア開発チームの質を評価するものだが、とっても当てにならないいいかげんなテストだ。このテストの素晴らしいところは、3分程度で終わることだ。節約した時間を使って、医学部に通うことだってできるだろう。 ジョエル・テスト ソース管理システムを使っているか？ １オペレーションでビルドを行えるか？ 毎日ビルドを行うか？ 障害票データベースを持っているか？ 新
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
プログラミン | 文部科学省