国立情報学研究所17階のクラウド、通称「17階クラウド」を使って、 DeVinEという分散モデル検証ツールを動かす。 冗談だと思っていたが本当に演習があった。 実際には17階クラウド(4コア＊9台)のキャパシティによると思われる不具合で、 分散モデル検証を各…

Enumerationのサンプルに WeekDay.iterator filter isWorkingDay foreach println とあるが、Enumeration.iteratorはdeprecated。values.iteratorを使う。 object Main extends Application { object WeekDay extends Enumeration { type WeekDay = Value va…

val lines = input.getLines.collect は2.8では使えない。 import scala.io._ def toInt(in:String):Option[Int] = try { Some(Integer.parseInt(in.trim)) } catch { case e: NumberFormatException => None } def sum(in:Seq[String]) = { val ints = in.f…

http://atnd.org/events/3687 再三、実施会場が変更されてますが、大久保で決定。 今回プロジェクターを借りられない。今回は、前回と引き続きのCoq、およびAlloyの問題を実施することになりそう。形式手法は単一手法で問題解決するものではないから、 各自…

行ってきた。 研究はXMOSでの実装ネタが多く、組込みの話が中心だった。 もうちょっと組込み業界の人が事例を出すようになればもっと面白くなりそう。 ロボットとか、制御系のネタで腰をすえてやりたいところ。懇親会でAlloyの講習会やりませんか、というお…

http://www2.gsis.kumamoto-u.ac.jp/~idportal/?page_id=7私のお客様は同業の方だという気持ちを忘れないように。 本当にお客様のために時間をかけることができるように。 教授法を真剣に追求せねば。

GAE/Scalaを本気で調査しようかな。 単にＷebアプリを作りたいだけならGAEの方が楽だ。id:hidemon:20091016:1255668728 id:hidemon:20100110:1263124777すでに先行してる人いるし。

開催情報 日時：2010-03-10 19:00〜21:00 場所：銀座ルノアール新宿３丁目ビッグスビル店 2号室 定員：5名でとったけど10名まではいけまっせー。 http://atnd.org/events/3421 会場代はみんなで割り勘です。