僕は、ずっと（いつからかは覚えてない）「防衛コードを書くな」と言い続けているのですが、これは受け入れられないことが多いですね。 まず言われることは「それじゃまったくセキュアなシステムにならない」とか「ユーザー（人間）は無謀な操作をするから」とか。そういう事とは関係ないのだけどね。 次に、しばしば責務の放棄と誤解されます。例えば、構文解析で期待してないトークンに出会うとイキナリ例外を投げて終了してしまうプログラムが実際にあったので問い質すと「檜山さんがエラーリカバリーするなと言ったから」と。ここらへんの事は、Erlangに絡めて少し話したことがあります。「Erlang実験室：武士道と云ふは死ぬ事と見付けたり」の「潔さと無責任は違う」のあたり。 実は、僕が推奨したいことは、「××を書くな」よりは「○○を書け」のほうなんです。○○の部分は、ホーア論理に基づくアサーションとか契約（コントラクト）で
แทงบอล UFABET เว็บพนันบอลที่เหล่านักลงทุนให้ความสนใจมากที่สุด แทงบอล UFABET เว็บแทงบอลที่ดีที่สุดในไทย และปฏิเสธไม่ได้ถึงคุณลักษณะอันเยี่ยมยอดของแบบอย่างของการแทงบอลของเราซึ่งสามารถทำเงินทดแทนได้อย่างหลายเท่าตัวที่สุดในทุกๆแบบอย่าง UFABETแทงบอลออนไลน์ไม่มีขั่นต่ำ ก็เลยเป็นที่นิยมค่อนข้างจะสูงในขณะนี้และก็ยังมีการเสนอสูตรต่างๆ มาให้คุณลูกค้าโดยเฉพาะเลยและยังสามารถที่จะประยุกต์ใช้กับการแทงบอลได้อย่า
http://twitter.com/ckuwata/status/4939817655 : 檜山さんとのミーティングは半分〜 1/4ぐらいは計算機科学の講義なのだが、今日は圏論とデータフローダイアグラムと「真のフローチャート」と「真の goto」についてだった。関連する論文を見つけたので読んでるが、 160p 近い英語論文で早くも泣きが入りつつある。 Kuwataさんが謎のような言葉をつぶやいているのだけど …… フローチャートとgotoについては、「イヂメられて石投げられるから人に話しちゃダメだよ」と言っておいたんだけどなぁ。まーいいや、この機会に述べておこう。おおっと、石投げるのはちょっと待ってよね。 内容： 口にしただけで忌み嫌われる フローチャート研究の歴史（断片） フローノミアルとネットワーク gotoと圏論的なオペレータ 僕の動機と根拠 マゾ・テスト 構文の問題とかナニヤラ
Der Transatlantische Wahnsinn und seine fette Beute, CETA, TTIP und TiSA
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
