05月24日(Wed) 17:50〜19:30 B会場(ウインクあいち-9F 901会議室)
| 演題番号 | 2B4-OS-07b-2 |
|---|---|
| 題目 | 公理としてのドメインモデルに基づく意味の規定について |
| 著者 | 山田 隆弘(宇宙航空研究開発機構宇宙科学研究所) |
| 時間 | 05月24日(Wed) 18:30〜18:50 |
| 概要 | 言語の意味については様々な理論が存在するが、必要十分な意味規定が行える理論は存在しない。例えば、形式意味論では文の意味を述語論理で表現するが、述語の意味を規定する方法は存在しない。あらゆる言語表現の意味をゼロから規定することは不可能であるので、本稿では、ドメインごとにモデルを規定し、ドメインモデルの意味は定義なしに成立する公理であると考え、ドメインモデルに基づいて意味を規定する方法を提案する。 |
| 論文 | PDFファイル |