昨日、興味をもったSpin。 Spin - Version 6.4 - December 2018 このへんを読みながらInstallをしていたのですが。 「ui欲しかったらtclが必要なのか。」 「c-compilerが要求されるのか。」 「何度かXPのブルースクリーンを出してくれたcygwinは使いたくない…

・・・model checker?SPIN Model Checker, The: Primer and Reference Manual作者: Gerard J. Holzmann出版社/メーカー: Addison-Wesley Professional発売日: 2003/09/04メディア: ハードカバー クリック: 3回この商品を含むブログ (7件) を見る うーん・・…

http://sankei.jp.msn.com/economy/business/071127/biz0711270023000-n1.htm うーん・・・。 隣国と平行してですか・・・。 これは法則発動で SaaS は終わりますよ、ってフラグですよね？ もったいないなぁ・・・。

なんというか。 FreeBSDでF#ってmono経由で動くことは動くのですね。 先日購入した本の通りですんなりと動いたので驚きました。 (とはいってもHello world出しただけですが) lang/monoは入れなきゃですが。 インストール作業中にpkg-message経由で ipcs(1)や…

昨日の話しなのですが。 自社にBI会社の人たちがやってきてくださいまして、デモをしていただきました。 で、心に残るお言葉は 「いやー、お客さんはExcelでやってるかたが多いんですよ〜」 という言葉でしょうか。 じゃぁやっぱりさ。 http://www.microsoft…

Foundations of F# (Expert's Voice in .NET)作者: Robert Pickering出版社/メーカー: Apress発売日: 2007/06/01メディア: ハードカバー クリック: 20回この商品を含むブログ (14件) を見る今日届きました。 内容的にも値段的にもかなり背伸びしましたががん…

昨日、お寿司屋さんで。 「1時間しかいないのにさっきの店よりも高いよ！」 って文句言って帰った若者たちがいたのですが。 なんつーか。 これほど「10年早いんだよなー」、という言葉がぴったりあう状況はないですなぁ。 それにそんな文句を大声でいうもん…

機動戦士Vガンダム DVDメモリアルボックス出版社/メーカー: バンダイビジュアル発売日: 2004/01/23メディア: DVD クリック: 49回この商品を含むブログ (47件) を見るやっと全話見た・・・。 カテ公の狂いっぷりはホントに素晴らしい。 あと、史上最強のハロ…

最近、SIを推進するような部署に異動したので、勉強がてらBIについて調べていたのですが。 SOA(BPM)とBIとITILとの区別がよくわかりません。 結局、目指すところは一緒なのだろうか。 このあたりの区別がつけば「少しは分かっている」ってことなのだろうか。…

金曜は会社の仲間内で勝手に勉強会らしきものを開催してみたり。 ITILの概要をさらっと説明しようと思ったのですが、もうgdgdでしたね。 そういう場でちゃんと説明するってのは結構大変なのだなぁと痛感しました。 場数をこなして質をあげていきたいなぁと。

ナムコミュージアムDS出版社/メーカー: ナムコ発売日: 2007/10/11メディア: Video Game購入: 1人 クリック: 93回この商品を含むブログ (49件) を見るパックマンで「巻きパターン」が通用したので懐かしさのあまり結構やってしまったり。 「完全移植」は無い…

最近は心が折れそうになると寿司屋に直行→寿司屋近辺で宿泊という日々が続きます。 美味いもの食べないともう心が持たない感じ。 やっぱり食は生物の基本だな、と。 強く感じるわけですが。 まぁそんな感じで。

コダクロームフィルム国内処理終了のお知らせ コダクロームが販売終了になっていたのでいつかはこうなると思っていましたが。 寂しい限りです。 エリートクロームは現像してくれるんでしょうか。 それも心配ですが、もっと心配なのがフジ。 フジに同じことや…

http://www.yomiuri.co.jp/world/news/20071026i417.htm 小さな国でもかまわないので、気分を害した分、謝罪と賠償をいただきたいものです。 まぁそれはともかく。 正直、日本という外国でそれだけ好き勝手やってくれたのだから、 それなりの落とし前をつけ…

昨日は会社の会合があって、今朝はその影響で御徒町から出勤。これで週2日目。 もうこのままホームレス化してくしかないのだろうか・・・。 まぁそれはそれとして。 http://www.asahi.com/culture/update/1023/TKY200710230374.html EPWING版が出たら買いま…

http://www.pgperf.com/techdocs/management

まだ咳が残るけど体調は上向き。長引きますね。隙間風が吹き荒れる自宅に問題があるのか？ まぁそれはそれとして、最近、同じ会社の人から「輪講やりましょ」って言われてます。 で、困ったことに私には「輪講」なるものの経験がありません。 で、Wikipedia…

情報処理学会電子図書館 ここに並んでるドキュメントがよみたくて、入会してしまいました。 1年で1〜2万だったら雑誌を定期購読するよりよっぽどいいかも。 面白いですし。 オススメですね。

風邪引きました。１週間くらい前から。 おとといは発熱。 まだ咳が少し残る感じ。

この間の日曜にネガが現像からあがってきたのでスキャンしてみる。 フィルムスキャナの固体性能にもよるのだろうけど、 ネガだと補正なしでもOKなんだなぁ、ということにいまさらながらに気がついてしまう。 （ちなみに画像は１ヶ月位前の常磐線、神立駅） …

オラクル、「SOAは何をどこから進めればいいか」を示す事前診断サービス − ＠IT

これか。 ポチっと。エンピリカルソフトウェアエンジニアリングの勧め (SEC BOOKS)作者: 独立行政法人情報処理推進機構ソフトウェア・エンジニアリング・センター出版社/メーカー: 翔泳社発売日: 2007/10/12メディア: 単行本（ソフトカバー） クリック: 14回…

バグの量や滞留時間を定量分析する新アプローチ − ＠IT やっぱりこう考えていくのが普通だよなぁ・・・。「定量分析」ってのが重要。 「エンピリカル」ね。よし、覚えた。情報集められるだけ集めよっと。 それにしてもこーゆーキャッチーな煽りタイトルは何…

まぁ前日にあんなこと書いたわけですが。 冷静に考えてみると、 あーゆー運動している人は自国民の子供たちにどう育ってほしいと思ってるんだろうか、 って疑問がわいてきました。 なにされても絶対に戦わない大人？ そんな大人には育ってほしくないなぁ。

「集団自決」検定の撤回を 沖縄、超党派で県民大会（中国新聞ニュース） http://www.chugoku-np.co.jp/News/Sp200709290201.html こういった運動に対して、日本国民の一人として遺憾の意を表します。 日本軍人が民間人に自決を強要するってありえないと思う…

とりあえずお仕事ひと段落。 御徒町のカプセルホテルから徒歩出勤。 仕事の帰りにスーパーによってみたら、こんなんありましたので買って帰りました。 「食パンカットガイドL」 http://www.kodawariyasan.com/skater/sk1.htm これは便利！ ホームベーカリー…

あ、あれ？ お仕事のコードではまった・・・。 今夜、帰れるかなぁ・・・。 まぁそんな感じでまだ会社だったり。 でも今日は (listp nil) => t ってことを学んだので良しとしようか・・・。（仕事と関係ない

上野で御寿司食べて帰る。 彼とはまた会える日が来るのだろうか。 健闘と御多幸を。

麻雀格闘倶楽部。半荘1回。青龍二段になった。

麻雀格闘倶楽部6をやって帰る。 全国半荘リーグで半荘1回。2着で終了。 トップと600点差だったから聴牌-不聴牌でOKだったんですがね。 すべて突っ張られてそれが全部通るとは・・・。