2004-12-27
λ. bmcall()でのsvalue_to_avalue()
Method#to_procで作るProcの実体であるbmcall()は、引数をsvalue_to_avalue()で単値から多値へと変換してるけど、最初から多値で受け取ればいいのにと思った(bmcall.diff)。でも、こうなってるのにはきっと何か理由があるんだろうなぁ。
λ. Banshee - A toolkit for building constraint-based analyses
BANSHEE is a toolkit that simplfies the task of building
constraint-based program analyses. Program analyses are widely used in
compilers and software engineering tools for discovering or verifying
specific properties of software systems, such as type safety and
opportunities for program optimization. To use BANSHEE, the analysis
designer provides a short specification file describing the kinds of
constraints used in the analysis. From this specification, BANSHEE
builds a customized constraint resolution engine which solves those
constraints very efficiently. BANSHEE also builds a customized
interface for that engine which is easy to use.
BANSHEE is the successor to BANE, the Berkeley ANalysis Engine, which
can be found here.
メモ。バンシーっていうと北欧の方の女の妖精だったっけ。
2009-12-27
λ. 海洋実習2日目
昨日に続いて、海洋実習二日目。今日も二本潜った。 今日は耳抜きもあまり問題なく、一回目のダイブ15mくらい潜った。 これくらい潜ると、だいぶ潜った感じがするなぁ。 という訳で、オープンウォーター・ダイバー・コース修了。
三本目
- ダイブNo
- 3
- 潜水地
- 大瀬崎湾内
- IN時間
- 12:10
- OUT時間
- 12:34
- 開始時タンク圧
- 180
- 終了時タンク圧
- 80
- 深度
- 15.1m
- 安全停止
- 3
- 潜水時間
- 24分
- ウェイト量
- 7kg + アンクル1kg = 計8kg
- 温度
- 気温14℃、水温17℃、水底17℃
- 透明度
- 5~8m
- コンディション
- 海水, 浜から
- コメント
- マスククリア、フィンピボット(オーラル)、緊急スイミングアセント、BCD・ウェイトベルト脱着
- 前回までの合計実際潜水時間
- 46
- 今回の実際潜水時間
- 24
- 合計実際潜水時間
- 70
四本目
- ダイブNo
- 4
- 潜水地
- 大瀬崎湾内
- IN時間
- 14:20
- OUT時間
- 14:44
- 開始時タンク圧
- 180
- 終了時タンク圧
- 90
- 深度
- 8.8m
- 潜水時間
- 24分
- ウェイト量
- 7kg + アンクル1kg = 計8kg
- 温度
- 気温14℃、水温17℃、水底17℃
- 透明度
- 5~8m
- コンディション
- 海水, 浜から
- コメント
- マスク脱着、ホバリング、水面・水中でのコンパスナビゲーション
- 前回までの合計実際潜水時間
- 70
- 今回の実際潜水時間
- 24
- 合計実際潜水時間
- 94