このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2010-03-05から1日間の記事一覧

非決定性写像の圏におけるホーア式のモデル

「FIT/FitNesseと多重マークアップ/多重データ構造」にチラッと書いたのですが、カニンガムのFITに似たCaty向けテストシステムを作成中です。基本的な構文要素は、エクスペクテーション、エクスペクテーションの列、ホーア・トリプルです。これらは、次の形…

おやつの時間 その2

父親:「君ら、こんな寒いときになんでアイスクリームばっかり食べるかな?」次男:「アイスクリーム、おいしい」長男:「なんか変ですか?」父親:「変ですよ」次男:「全然変じゃないよねー、おにいちゃん」長男:「変です」次男:「ええーっ」父親:「そ…

おやつの時間

父親:「…(ムシャムシャ)」次男:「おとうさん、そのお饅頭好きなの?」父親:「うん、好きだね、これは」次男:「ほんとに好きなの?」父親:「好きだよ」次男:「好きなのに食べちゃうの。残酷だねー」父親:「… …」