第02回 - m-wakabayashi/reading GitHub Wiki

2013-07-01(月） 国際浜松町ビル 19:30 から 21：00

参加者

• ばみ
• れいら
• まさと
• あゆみ
• ただ

Agenda

• 知識について
• 第3章

担当

内容	担当
「知識」について	まさと
図3.3	くま
図3.4	れいら
図3.5	ばみ
図3.6	かいちょ
図3.7	あゆみ
図3.8	まさと
図3.9	ただ
図3.10	ぶんぶん
図3.11	くま
図3.12	れいら
図3.13	ばみ
図3.14	かいちょ

「知識」について

ばみさんを中心に、諸々議論。

• 知識レベルは、操作レベルを規定するもの。
• 図3.13 や、 図3.14 の連想関数なんかが、例としてわかりやすい
  • XがあればYが候補になる などは「知識」として登録できる
  • 図3.14 のインスタンス図については、会長とちょっと議論したいところ

第3章の持ち寄った図のレビュー

図3.3 と コード

• コードにタイポ発見(おそらくコンパイルエラー)。ちゃんと実行しましょう！

図3.4 と 図3.5

• 図3.4 は 複合単位の多重度が大事 → しかし、ノートで隠れて見えず。要修正(れいらさん)
• 図3.5 は 図3.4 の「単位参照」と「ベキ」を省いたもの(この2つが複雑度を上げている)。ただし、実装上 Bag のような仕組みがサポートされないと、実現可能かどうかは何とも言えない。
  • Bag については、図3.5 のノート参照。

図3.6 図3.7 図3.9

• 図3.6 量の型が、知識として出てきてもよいのでは？単位を表すものとして。体重を測るなら、cmとか
• 図3.7 で、突然「観測」が出てくる。
• 図3.9 で、「カテゴリ」が「現象」に名称変更したのがいまいち分かりにくい印象。そのままカテゴリでもよかったのでは？

図3.8

• "糖尿病:現象型" から下に関連している "頻尿:観測" は、 "存在:観測" かも？
• 体重現象 と 頻尿 の 観測 を 根拠 に、 糖尿病 の 存在 が 診断(観測) されるイメージかな。
• 誤訳？ P.43 15行目 の 「対応づけは多値としてもよい」は「対応づけは単値としてもよい」だと思われる。

図3.10

• インスタンス図の 人 は、 II型糖尿病 が 不在 であっても、糖尿病でないとは言えない。(実は I型)
• 下位の概念が 存在 ならば、上位の概念は 存在。

図3.12

• 「否認された観測」が消せない例
  • 例えば医療で、誤っていた診断を根拠に行ってしまった治療の記録は、必要な情報。

図3.13

• 「観測」にぶら下がるものが増えてきた
  • ここに至る図をあわせて見ないといけない
  • 測定、カテゴリ観測、仮説、予測、暫定観測
• 知識層が何なのかを考えるうえで、わかりやすい

図3.14

• 「ばみ：連想関数と連想観測が1対多で関連しているのはなぜだろう？？」について、会長が不参加だったので、次回議論したい。

次回予定

6章へ

図	担当
図6.1	あゆみ
図6.2	まさと
図6.3	ただ
図6.4	ぶんぶん
図6.5	くま
図6.6	れいら
図6.7	ばみ
図6.8	かいちょ
図6.9	あゆみ
図6.10	まさと
図6.11
図6.12	ただ
図6.13	ぶんぶん

長いので、分けることになりそう。できるところまでいく。