* 研究会 1日目

[[:_研究]] [[:_イベント]]

（研究会なだけで研究とは関係ない話題満載

** plain? contract

趣味的興味対象。

研究会で Java + Design by Contractな話でてて来た。~
requires(precondition), ensures(postcondition)とセットで出てきたが説明が省略されてた
modifiesに対応する契約、らしい。~
plainって聞こえたんだけど検索に当たらない・・・はて。~
また後で聞いてください、といわれたけどその後は懇親会への移動やらで聞くタイミングなし。~
で、その人いないし。次の日いないし。~
いろいろお話ししたかったのだけどなぁ・・・残念。~
（Dも言語レベルでDbC付きですよ・・・とか（これはどうでも良い

requires, ensures, modifiesで検索するとEiffel？なコードが出てくるので、~
（DbCを言語レベルで持っている言語として紹介もされていたので）そこから構文とってきてそう。~
サンプルコードから推測されるものとしては「その変数を変更する」or「その変数以外は変更しない」~
ってところかと思われる。~
C++的constなもの+αなのかなぁ・・・とか。~
（でもconstって事後条件で ∀member == old(member) で書けるのか・・・（参照は中までたどらないとダメだけど

後で調べよう。


** 懇親会

万博会場にて。~
万博には行くつもりがなかっただけに予定外。~
遅い時間なので全然回れてませんが・・・。~
ついでに混んでるところは行く気力なし・・・泊まりの荷物持ったままだし。~

イタリア館のチョコレートコーティングされたFIAT500が一番記憶に残りました。~
FIAT500とそれをいじれる時間がある人生を送りたい今日この頃（万博無関係。

** リニモ

万博会場 → ホテルの移動経路上なのでリニモに乗ってみる。~
30分以上並ぶ羽目になったけど（帰る時間が悪い。~

リニアモーターカー = 宙に浮いて滑るように ・・・というのをイメージしていたけど、~
実際はレール？（ガイド？）に従って（実際は何が原因かは知らないが）ゴトゴト揺れていた。~
あと、加速減速時に車のギアチェンジのようなガクッとなるのが多少。~
違うには違うけどなんだか普通。

それはそうと、切符を買わずに改札を通れるから、と言ってY森さんがくれた残高130円のユリカは、~
改札を通れないトラップでした（160円以上必要。~
スルッと関西じゃなくて大阪市営地下鉄の回数券と同類なシステムか・・・。~
あの列をまた並ぶのは死ねるので、列の誘導+解説をしてくれた駅員相手に切符買いに行かせました（すみません。~
トップ   一覧 単語検索 最終更新   ヘルプ   最終更新のRSS