お勧めしない理由は、表記が煩雑なので、書くのも読むのもバカバカしくめんどくさいからです。内容的には“多相の型付き...2006-04-13僕がGenericsに興味があるってどうしてわかったの?日常メールが来ました。確かに、最近Genericsを話題にしてたもんね。英辞郎引くまで、genericsがノーブランド薬品だって知らなかった。昨日の「プログラマのための述語論理」で、暗黙的に“総称的な高階関数”が出現してしまいました。結論を先に言えば、ちょっとシンドい。関数オブジェクトまずは、関数オブジェ...2006-04-11述語論理はJavaScriptを使うべきだった雑記/備忘あー、失敗。コンピューティング・サイエンスとJavaScript」も参照)。技巧的なJavaコードじゃ、分かるものも分からなくなる。雑記/備忘たまにやっている「プログラマのための××○○」モノでがんす。表題どおり、述語論理の入り口を説明する目的があります。いやっ、ザッと目は通しましたよ、ザッと。新刊書の棚で、ひさびさにピピッときましたよ。このタイトルだもんね。「デュアルプログラミングとエクソシストゲーム」において、自分で「俺のターン」とかのセリフを書いておきながら、duel(デュエル)のオチに気付かなかった僕、t_tradさんに突っこまれてしまったよ。それはそうと、なんで悪魔が登場するの...2006-04-07デュアルプログラミングとエクソシストゲーム雑記/備忘ここ何年か考えているテーマのひとつが「カジュアルなフォーマルメソッド(語義矛盾は承知)」なんですよ。振る舞い(Behaviour/Behavior)}駆動開発なんて動きは、カジュアルなフォーマルメソッドなんだと僕は捉え...2006-04-07ピエールさん日常NHK教育、朝の新番組「ぜんまいざむらい」はシュールですよ。設定がすでに尋常じゃないのだけど、キャラクタもまたイッちゃってる、つうかキッちゃってる。フランス人の町人ピエールさん、金髪碧眼で「イエース、ソーリー、ワンダフルでがんす」とか言う。driven)は防衛的プログラミングとは全然違いますよ。僕がそう思っているのは確かだが、しかし、事の発端は単に僕の見間違いだった。driven)は防衛的プログラミングとは全然違いますよ。僕は、防衛コードや性悪説(人を見たら泥棒と思え)を嫌っている(それは近所にいる人は知っているでしょう)。子供達が「エビバリ・ファッション、エビバリ・ファッション」と踊っています。僕は、エビちゃん気取りの服装の婦女子を賞賛(または揶揄)する歌でもあろうか?と思っていたのですが、違いました。これ、レイザーラモン...2006-04-05契約とホーア式をプログラムコードに翻訳する雑記/備忘メイヤー流契約に限らず、一般のホーア式もプログラムコードに翻訳する方法を考えてみました。全称限量子(「すべての...に関して...」を意味する)の扱いを工夫してみます。(これは、「AspectJによる契約駆動開発」に関連したエントリーです。前回触れたiContractやJMLでは、クラスやメソッドの定義の直前にドキュメンテーション・コメントと同じようにして契約を書けます。ところが、アスペクトを使う場合には、ソースコード内に直接契約を埋め込むことはできません。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。