トップ «前の日記(2008-04-05) 最新 次の日記(2008-04-07)» 月表示 編集

日々の流転


2008-04-06 [長年日記]

λ. 記号モデル検査の並行ソフトウェアシステムへの応用について by 土屋達弘

を読んだ。記号モデル検査の非常に分かりやすい紹介と、並行ソフトウェアシステムへの応用についての話。

T よりも T^ を使ったほうが高速なのは何でだろう。

λ. 京都 (2)

お茶の入ったお風呂。
[「京都福寿園 (茶) 伊右衛門 男湯」と書かれた暖簾]

八坂神社と円山公園。
[円山公園のしだれ桜]

知恩院
[知恩院の灯篭と桜]

野宮神社
[野宮神社]

落柿舎

竹林と嵯峨野トロッコ列車
[竹林と嵯峨野トロッコ列車]

天竜寺

渡月橋でお花見舟。
[お花見舟1] [お花見舟2]

金閣寺
[金閣寺]