▽ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ Coq
●06/27 14:35
証明駆動開発入門(2) (公開 2011/10/25) (最終回)

▽HMDT
●03/08 11:17
本郷ﾚｺｰﾄﾞ 頑固な店主が誘う
ｸﾗｼｯｸ音楽の世界
ﾊﾞﾛｯｸから現代音楽まで､幅広いｺﾚｸｼｮﾝを揃えているだけでなく､頑固な店主の性格からは想像もつかない検索性を兼ね備えたｸﾗｼｯｸ専門の音楽ｱﾌﾟﾘ

▽J
●03/23 22:33
_ 告知しろと言われたので(1ヶ月ほど前に)
最近 _
こっちに書いてます _
あとこの日記ﾂｰﾙAtomのﾏｼﾝにしてから初めて動かすのだけど､1.5年分の記録を日記にするのに44秒かかるとか酷い _
昔書いたｺｰﾄﾞが読めねｰ｡ _
_ つつついにやってしもうたよ
今日間違えて会社行った｡照明付いてなかったときは何事かと思ったよ｡僕としてはあまり一般人の枠から積極的にはみ出たいとは思っていないのでこれはｼｮｯｸ｡ _
生活するうえで祝日を知るしくみが無いので仕方ないとは言えるが｡むしろ今まで間違えなかったのが奇跡ともいえる｡ _
まあ､今月は今までと違ってちゃんとｽｹｼﾞｭｰﾙ決まってないうえにひとりのﾌﾟﾛｼﾞｪｸﾄやってたから､というのが大きいだろうな｡ _
今月はあと来週の火曜日が休みなので注意すること!!!!! _
_ そういえばﾏｻﾞｰﾎﾞｰﾄﾞかえた
三週間くらいまえ｡なんとなく｡LGA

▽Gaucheでﾒﾀﾌﾟﾛｸﾞﾗﾐﾝｸﾞ − ＠IT
●11/03 08:59
仮想化の検討と導入において考慮すべき
ｼｽﾃﾑ構成 必要ｺｽﾄ 陥りやすい落とし穴