階述語論理の形式的言語
知識工学 II ( 第 2 回 ) 二宮崇 ( ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7.1 知識
... 𝑄𝑄と等価であるため、選言的複合文と解釈することができ、この解釈も直感 的には難しい。例えば、「西の空が明るい、ならば、明日は晴れる」ということと「西の空が明る くない、または、明日は晴れる」が等しい命題であることを理解するには時間がかかる。「みかん ならば柑橘類である」と「みかんでない、または、柑橘類である」が等しい命題と解釈するにはか ...
7
他者を要する動詞述語文の研究
... 文の最も中心的な存在である動作主に相対し、動作・事態実現に欠かせないものであり、 言語行為レベルの他者は、文の最も中心的な存在である話者に相対し、これもことがら・ 文の成立にとって欠かせないものである。こうした他者の存在によって生じる、他者とそ ...
3
( 続紙 1 ) 京都大学博士 ( 人間 環境学 ) 氏名中野研一郎 論文題目 言語における 主体化 と 客体化 の認知メカニズム 日本語 の事態把握とその創発 拡張 変容に関わる認知言語類型論的研究 ( 論文内容の要旨 ) 本論文は 日本語が 主体化 の認知メカニズムに基づく やまとことば の論理
... （続紙 ２ ） （論文審査の結果の要旨） 本論文は、個別言語における認知メカニズムの解明によって言語固有の形式・文 法カテゴリが創発する根源的理由の説明を試みた意欲的研究であり、認知言語類型 ...
5
リトアニア語における二項述語の格枠組みと他動性
... なお，すでに拙論（2007, 2012, 2014a）でも言及してきたように，伝統的なリトアニア語 研究においては，他動性は，主に他動詞と自動詞の形態論的な問題に限定して論じられて いる．Hopper & Thompson (1980) が指摘したように，類型論的に見れば，他動性の問題は， ...
43
直観主義線型論理の圏論的意味論について 福田陽介 2018 年 12 月 11 日 1 はじめに 本文書は直観主義線型論理に対する圏論的意味論を概説することを目的とした記事です * 1 線型論理 (Linear Logic) は論理学者 Girard により考案さ
... IMLL の証明論の「意味」は、形式的には論理式や判断の構造をまず決めて、さらに は「それら論理式や判断に対して許される操作」を推論規則によって定めることで与えた。つまり証明そのも ...
14
テイル形式の非アスペクト的意味:テイル形式の否定形を中心として
... 接的に時間指示性が与えられていく」のであれば、く肯定的想定＞が先行発話で言語 化されている ( 3 ) において、応答形式の時間指示性は一致する。すなわち、シナカッタ・ シテイナイ・シナイはアスペクト・テンス形式（形態論的形式）でないことを意味し、これ らの説明には時間的側面とは別の観点からの分析が求められる。 アスペクト・テンス形式と対立する概念に尾上圭介 (2001[r] ...
15
近代日本言語創製のアジア的意味
... 世紀後半） 的語言與 20 世紀日本的語言在其實質上無論有如何的不同，但是我們的意 識仍然被某種東西引導，以相信它們就是‘同一個日本語的姿態’，那只能 説，這並不是直接來自於純粹意義上的語言學的影響，而是在某種先入為 主的固定觀念影響之下的一個武斷。這個武斷的結論不過是在潛意識裏把 ...
13
本講義のすすめかた n 情報検索 n Semantic Web コンピュータが Web ページの意味 (Semantic) を理解し 組み合わせて問題解決にあたれるようにするための方法論 Description Logic 概念の定義 表現に優れた論理 オントロジーの記述言語への論理的な裏づけ 標準
... DL言語による概念定義 n 定義の例 – Female ⊓ Human 「女の人」 – Human ⊓ （∃has-child.Human) 「人間の親：人間の子 供がいる（ has-childという関係を持つ人間）が存在す る人間」 ...
46
場の観点から言語の主観性を再考する 岡智之 ( 東京学芸大学 ) 1. はじめに本稿では 日本語の 主観性 の指標とされている現象 - 特に内的状態述語の 人称制限 が 主観性 の指標というより 場内在的 か 場外在的 かという場の観点から説明できることを主張する また 3 人称述語や現象描写文にお
... 場の言語学の展開 ―西洋のパラダイムを超えて― 岡 智之（東京学芸大学） 本ワークショップは、西洋で作られた言語学のパラダイムを超えた、日本から発出する場の観点 からの言語学のパラダイムを提起し、最近の具体的な展開、実証的研究を明らかにするものである。 ...
7
日本言語科学会(JSLS)チュートリアル講演会 平成13年12月16日（日）午前10時30分から午後4時30分 慶應義塾大学三田キャンパス東館6階G-SEC Lab 言語研究のための統計解析 「論理」学としての思考法，「美」学としての提示法
... 56 潜在変数の「文法の知識」に， もっとも貢献しているは，パス 係数が.73の形態素変化で， 次に.71の構造の複雑性であ る．局所依存は，.60でやや弱 い．しかし，テキストの出力を 見ると，これらの数値はすべて 有意に高い． ...
74
河正一 徐明煥断り表現に関する日韓対照研究の動向 2. 断り表現に関する日韓対照研究のアプローチ これまでの断り表現に対するアプローチの特徴を分類すると 以下の通りとなる (Ⅰ) 言語形式的アプローチ (Ⅱ) 社会言語学的アプローチ (1) 負担の度合いとしてのアプローチ (2) 意味公式もしくはス
... 1 のようにまとめることができる。しかし、こ こには 2 つの問題点が見られる。1 つは、相互行為としての言語行為の分析では、話し 手の言語ストラテジーだけでなく、語用論的効果として現れる聞き手の判断や印象も重 ...
12
群馬県立女子 文 美学美術史 総合問題 論理的読解力を中心に文化的方面の理解力を問う 埼玉 教育 中学 - 社会 総合問題 世界史 B 日本史 B 地理 B 倫理 政治 経済 の各科目別の論述形式の問題から受験時に2 科目選択 解答は 主として長文の論述形式で行うが グラフ化 地図化 模式図描画等の
... 工 生命工学 後 総合問題 科学的な事柄に関する課題を与えて、理解力、思考力及び表現力を評価する 都市デザイン 都市・交通デザイ ン 前 総合問題 都市、交通、まちづくり、環境、自然災害、防災等に関する図表・資料などを提示し、そ れらの読解を通じて、情報分析力、問題発見力、問題解決力及び表現力を評価する 材料デザイン工 後 総合問題 ...
6
り明確に説明することができる 他言語の概念や論理を持ち込むことで 別の視点からあるいは異なる原理によってその形式の意味を記述することが可能となるからである そこで本稿は対訳コーパスを利用して タイ語の を含む表現とその日本語の対応部分を照合し の意味体系についての明示的説明を試みる しかし注意しなけ
... 件と目的の関係は 単独では明確に表し難く、条件や目的を表す他の形式が必要である。 ４つの意味関係に共通していることは、後続節の意味内容が先行節の意味内容のいわば「結果」であ る（先行節の意味内容と後続節の意味内容が非対称の因果関係にある）と捉えられ、さらにその後続節 ...
26
44 8 Sie lebt gesund. gesund 述語内容語 A ist B. B Prädikativ B A 1994 S.739 Prädikativadjektiv 主語の述語内容語 Subjektsprädikativ Kopula sein
... ４．まとめ 本論文では、述語内容語的付加語が用いられている文の統語構造につい て考察してきた。その結果、述語内容語的付加語が用いられている文は、 二つの文が統合されて生起した文と考えることができることが明らかに なった。そして、この二つの文のうちの一方には、言語表現には実際には 現れていない動詞 ...
22
情報処理学会研究報告 IPSJ SIG Technical Report Vol.2013-DCC-3 No /1/21 デジタルコミュニケーション論による SNS の情報フロー 高橋光輝 概要 シャノンの情報理論 (Shannon 1949) 1), 伝統的な命題論理や述語論理を応用し
... 指導部の目指す反日思想を明確な国家理念の前提としておくという政治体制のもとより始まる．こ の関係を拒否することは中国建国自体を拒否するというリスクが存在することから，政府の掲げる 情報戦略として日本に対する情報フローは明確に定めていなければならないのである．結果として， ...
8
論文審査委員 博士学位論文 動詞述語文の脱時間的表現 向坂卓也 論文審査委員 主査 : 副査 : 副査 : 副査 : i
... 。そ の 理 由 と し て 、 「 シ ハ ジ メ ル 」 や「 シ テ ク ル 」と い っ た ア ク チ オ ン ス ア ル ト 2 の 形 式 を 付 加 す る こ と で 事 態 発 生 の 端 緒 を 表 す こ と が で き る こ と（ 仁 田 2012：196-197）、直後に起こる事態の兆 候 が な け れ ば「 ソ ウ ダ 」を 付 加 で き な ...
175
20 中世思想研究 44 号エッセの思想に対してこのような批判を投げかけるのは, 主として, í 分析的トミストjと呼ばれる人々である. 彼らの批判の背景にあるのは, í 存在 に関する現代の知見, 特に, 一階述語論理 (first order predicate logic) の存在量化 (ex
... 以上が. Daviesによる「エツセ」の解釈の骨組みであるが， その内容は， 細部 まで十分に明断になっているとは言い難い. しかし. Daviesの解釈のポ イン トは， 対象たる個物について何事かを語るエッセを. í単なる言葉の意味 以上のものであるん端的には. í 虚構でないj non-fictionalという意味に理 解する点にある17) ...
17
HOKUGA: CMC(Computer-Mediated-Communication)における言語形式への気づき
... 30 の中で行われた発言回数が一人当たり８回から 10回と時間の割 には非常に少なかった。しかし，この回数は，印刷されたログ・データの回数であり，CMC の利 点である，自 のペースで えながら作業ができるといった思 過程についての効果は知ること ができない。これについては，Smith & Gorsuch（2004）と ...
10
論理設計の基礎
... また、本実験での回路の設計には、VHDL と呼ばれるハードウェア記述言語を使用する．今まではディジタル 回路の設計には、設計する回路の論理式などから and や or などのゲートを並べてそれらの間を結線することに より設計されてきた．しかし近年では、VHDL や Verilog-HDL ...
12
論理学の形式証明に対する学習支援システムの試作と評価
... した結果が追加される（図 3）． 3.4 推論支援 証明系列に推論規則を適用する機能について述べる． 本機能の目的は，手書きで証明をする上で，頻繁に起こ りうるコピー＆ペーストに相当する操作を削減すること にある．なぜなら，推論規則や演繹定理の概念を理解し ている者が手書きで演習するにあたって，コピー＆ペー スとの操作はただ時間を浪費するだけだからである．ま ...
8