昨日、興味をもった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件) を見るパックマンで「巻きパターン」が通用したので懐かしさのあまり結構やってしまったり。 「完全移植」は無い…

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