2007-11-15から1日間の記事一覧

"Analyzing the One Dimensional Ising Model by Probabilistic Model Checking" (関澤俊弦氏)

物理ではシミュレーションはもはや不可欠な道具だが、シミュレーションに関して 定量的な議論はできるが、定性的な議論はできない モデルの妥当性を問うことが難しい(シミュレーションが変な数字を出してきて初めて前提のおかしさに気づく) という問題があ…

今日もよく晴れる。起床は9時。出勤してコード書き。現在悩んでいる問題は、実は既にOさんの手で実装されていたらしい、という噂を聞く。ついでに、来週末もまた出張となった。午後は全体会議と談話会、19時に帰宅しようとしたところちょうど飲んでいたグル…