id:sumii 経由で知りましたが、日本ソフトウェア科学会による、モデル検査がらみの以下のレクチャーがあるそうです。 「モデル検査ツールUPPAALを使った時間制約の検証」 2007年11月16日(金) 午前10時30分〜午後5時（受付開始：午前10時） 国立情報学研究所 …

表題のようなものが立命館大学の衣笠キャンパスでありましたので見てきました。理系なもので知らなかったのですが、文系の学問領域では大学の学部ごとの学会というものもあるんですね。立命館大学の映像学部は今年の4月に発足ですが、立命館大学映像学会が先…

すっかり油断していたら、もう ACM 大学対抗プログラミングコンテスト (ICPC) の地区予選の季節でした。11/2〜3にアジア地区予選東京大会があったようです。ACM ICPCアジア地区予選 - sumiiの日記 経由で知ったところによると、なんと1〜3位を日本チームが独…

日本テレビとNECが、ブログ連動型のテレビドラマを制作するとのこと。とはいえ、どうも番組内の特別企画のミニドラマ程度の規模っぽいんですが。記事やプレスリリースなどを斜めに読んだだけなので、詳しいことは分かってないのですが: http://www.otoko-nig…