No Such Blog or Diary

A：円柱が立ってるので光源の方向を変えたときの影の幅の最大と最小を求めよ．

やり方はわかっていても実装する時間なし．去年に引き続きサンプル入力だけ正しいプログラムを書いて逃げる．

B：辞書順最小となるように重複要素を取り除け．

アルゴリズムを考えてもらってそれの実装を手伝う，というか隣でタイプすべき文字をしゃべり続ける．結局間違ったアルゴリズムの実装を２回行い時間切れ．

うーん，各セッションで一人一問しか書けないという縛りの上，二人しかチームにいない状況で一人がプログラムを組めないって…　当然のごとく最下位．

最高峰の貴腐ワインであるところのトカイのエッセンシアが売ってるのを発見．見つけたのは99年物で，当然のごとくお値段は高く4万数千円．金に余裕があればその場で買っていただろうけど先週10万円弱を使ってしまったので購入せず．飲む機会も思いつかないので買わなくて正しいのだけど…　やっぱり飲んでみたい．

ところで，トカイにはエッセンシアとアスー・エッセンシアがあってこれらは全く違うものなのだが，Web 上の情報ではこれらがごちゃ混ぜになってしまっているのが残念．Wikipedia のトカイワインのページも間違ってるし…．アスー・エッセンシアはアスー・６プットニョシュなどと同様に普通の葡萄のワインに貴腐葡萄（のペースト）を加える．このときの量が７プットニョシュ以上になるとアスー・エッセンシアになる．とういうことで，アスーが付いた時点で１００％貴腐葡萄で出来てはいない．これに対してエッセンシアは貴腐葡萄のみからできていて，ついでに葡萄の自重でつぶれてでてきたエキスで作られる（絞らない）．ということで貴腐葡萄が良く取れた年しか作られずに非常に貴重になる．ところで2000年以降でエッセンシアを作った年っていつなんだろう？

やっと届いた．土曜の夜には配達店に届いていたというに．おそいんじゃぼけぇ！　ということで，適当に機能の確認を後でしよう．

今日は途中で抜けたのだが，内容はSPIN使ってモデルチェッキングしてみましょうと．とりあえず時相論理は頭がこんがらがることが良くわかった．

UMLでシステムをデザインしましょうねという半分講義半分演習．時間が無いので忙しい講義になってた気がする．道具としては無料で手に入る JUDE/Community を使用．今後のために今作ってるシステムもUMLで記述しといたほうがいいかもしれない．研究者が作る適当デモシステムっぽいのでどうでもいいといえばどうでもいいのだけど…　誰かがやっとけば今後の参考になるだろう．

他人に見せることが確定しているプログラムには javadoc ないし doxygen 用のコメントぐらい入れてほしいものだ．まともなドキュメントが無いのでソースを読まねばならずめんどくさい．ついでに，変数名に全く逆の意味の名前をつけないでほしい．コピーしてきて逆の意味のメソッド書いたからこうなったんだろうけど．ということで，自分くらいは少しはまともなコメントを書いておこう．