型安全性とは何か | POSTD
以前書いた（C言語についての） メモリ安全性について定義した記事 について、型安全性について説明する記事も投稿してほしいというコメントがありました。型安全性についてはかなりよく知られてきていると思いますが、ズバリこうだと簡単に定義できるほどにはまだ理解が浸透していません。特に誰かが”Javaは型安全な言語だ”と言った場合、これは厳密に何を意味するのでしょう。全ての型安全な言語はある意味”同じ”と言えるでしょうか。ある特定の言語について、そして一般的な意味で、あなたを悩ませる型安全性とは何でしょうか。 実際のところ、型安全性が何を意味するのかは言語の型システムの定義によります。最もシンプルなケースでは、型安全性はプログラムの動作が正しく定義されるように保証します。もっと一般的な話をすると（この記事ではそのあたりをカバーするつもりですが）、言語の型システムはそのプログラムの正確さと安全性を推論
父が小説を出したいと言い出した
自費出版である。webでも悪名高いところの名前が飛び出して来た。 こちらとしては問答無用で却下したいところであるが、 だが待て、頭ごなしに反対するのも駄目であろう、ということで 父以外の家族全員で読んだ。 内容はチャラい男の半生であり、いろんな女との恋愛話だった。 ぶっちゃけた話、欠片も面白くもなく、文章もあまりいいとは思えなかった。 で、これを読み終わった後で母が切れた。 これ名前変えてあるだけでほとんどアンタの自伝じゃないか と 生まれて数十年経つが、父が女たらしだったとか初めて知ったよ… マジですか母上。 何でその息子の俺はコミュ障なの。 追記：本人的には電子書籍は却下らしい 書店に実際の本を置いてもらうのが夢なんだそうな
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
テストエンジニアの品格 #automatornight
JaSST Tokyo 2022 「アジャイルソフトウェア開発への統計的品質管理の応用」の発表資料です。（2022/03/10） http://jasst.jp/symposium/jasst22tokyo/details.html#C4 もはやふつうとなったアジャイル開発ですが、定量的な品質説明の方法が未だ確立されていないために、アジャイル開発の導入を見送る場面もたびたびみかけます。 そこで、ウォーターフォール開発で用いられてきた統計的品質管理の技法を再確認し、アジャイル開発への応用と検証を試みました。 ウォーターフォールとは異なるアジャイル開発の品質管理や品質メトリクスについて、試したことやその結果から考えたことをお話しします。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
商用利用無料！ごつごつした感じがいい味をだしてる日本語の極太フリーフォント -鉄瓶ゴシック
