hasegawayosukeのブックマーク - はてなブックマーク

こめんと(2010-05-23)
hasegawayosuke 2010/05/26
＞自分にとって正しいのは「自分の得意分野で世の中に、具体的に今は計算機の安全性に貢献するために自分はいて、その目的のために今の職場にいるんだ」、ということ。
リンク
こめんと(2008-04-22) - MutualTestFox 公開
■ [Misc] 怒涛うわー、なんか無茶苦茶忙しかった……。とりあえず2件の発表を終えました。やること溜りまくりですねぇ。 ■ [Work] Fail-Safe C release 1 公開というわけで、1つ目の発表は Fail-Safe C の正式版公開です。最初に函館で発表したのが2001年のJSSST大会*1 で、かれこれもう7年もかかってしまいましたので、プレスリリースは自分なりの1つの纏めとケジメのつもりです。協力して頂いた皆様、本当にありがとうございました。 Slashdot をはじめいろいろ連絡とかバグレポとかフィードバックを頂いた皆様、対応が遅れていてすみません。有難く早急に取り組ませて頂きたいと思います。 Fail-Safe C の研究を始めるに当たって「C言語を対象にする」と決めた時点で、実用に供するというのは大前提の1つです。これからも Fail-Sa
hasegawayosuke 2008/04/23
security

password

mutual
リンク
1

はてなブックマーク