頭が痛い。神田。やはり自分は超高級言語が好きだなあ。性格が一転してC++大好き！と言える頭のおかしな人間になれるようになれたらいいですね。というかそのうちC++が超高級言語に思えるようになるのかもしれません。それはないか。むしろ逆か。それにして…

http://www.epics.jp/doc/dsw04_seiki.pdf上の論文のように、モデル検査をゲームのフラグ管理に応用しようという研究は既にあるようですが、ゲームのデータとは別にモデルを作った場合は、ゲームとモデルの一貫性を保つのが困難なため、煩雑さは避けられませ…

これまでの日記の誤解を招く発言ゆえにメーカの方から怒られてしまいました。まったくこの状況はひたすら申し訳ありません…。ああ世の中は難しい。実際のところ、某所の皆様が気にされるようなバグはないと思います。と、プログラマとしてのプライドから言っ…