「"形式意味論"」の検索結果 | NDLサーチ

検索結果 11 件

タイトルでまとめる

イベント意味論に基づいたテンス・アスペクト体系の日仏語対照研究

紙図書

三藤博, 大阪大学 [著][三藤博]2005-2007<Y151-H17520261>

国立国会図書館

件名テンス / アスペクト / フランス語学 / 形式意味論 / イベント意味論

前提に関する計算論理学的研究

紙図書

中澤恒子, 東京大学 [著][中澤恒子]2002-2004<Y151-H14580406>

国立国会図書館

件名前提 / 形式意味論 / 語用論 / 推論 / アブダクション

最適性理論を用いた形式意味論/語用論の研究

紙図書

蔵藤健雄, 琉球大学 [著][蔵藤健雄]2004-2006<Y151-H16520247>

国立国会図書館

件名最適性理論 / 形式意味論 / 形式語用論 / 表現不可能問題 / 多重wh疑問文 /...

談話の解釈のモデル化と解釈可能性に基づく日本語文法の構築

紙図書

白井英俊, 中京大学 [著][白井英俊]2003-2006<Y151-H15300090>

国立国会図書館

件名日本語文法 / 談話構造 / 累加的構造解析 / 未確定記述 / 分節化談話表示理論 / 解釈のモデル / 形式意味論 / 動的統語論

日本語形式名詞の統語論的・意味論的研究

紙図書

笹栗淳子, 長崎純心大学 [著][笹栗淳子]2001-2003<Y151-H13610671>

国立国会図書館

件名形式名詞 / 名詞の定性 / 属性の (集合) / ECM構造 / 文法化 / 形式意味論 / 「～のこと」 / 守護と目的語の非対称性

証明論と図形論理の手法に基づく自然言語推論の統合的分析

デジタル規格・テクニカルリポート類

峯島, 宏次2020科学研究費補助金研究成果報告書

全国の図書館

件名形式意味論,論理学,証明論,自然言語推論,図形推論
一般注記...16 研究分野 : 言語哲学・形式意味論

選言と連言の作用域の研究

デジタルその他

伊藤, さとみ, ITO, Satomi国立大学法人お茶の水女子大学2016-082015-2016　研究紹介集p.8-8

全国の図書館

件名意味論言語学形式意味論中国語

オープンソフトウエアの形式モデルと検証技法に関する基礎的研究

紙図書

稲垣, 康善, 名古屋大学1996-1997<Y151-H08458066>

国立国会図書館

件名並行プログラミング通信プロセスモデル形式意味論プログラミング環境デバツグ

Annual Report 2010(ITO Satomi)

デジタルその他

ITO, Satomi, 伊藤, さとみ国立大学法人お茶の水女子大学2012-01国立大学法人お茶の水女子大学 Annual Report 2010 -個人別教育研究報告-p.48-49

全国の図書館

件名教育・教育学言語学形式意味論中国語副詞選言 Linguistics Formal ...

Annual Report 2008(ITO Satomi)

デジタルその他

ITO, Satomi, 伊藤, さとみ国立大学法人お茶の水女子大学2009-07国立大学法人お茶の水女子大学 Annual Report 2008 -個人別教育研究報告-p.88-89

全国の図書館

件名教育・教育学形式意味論類型論比較構文副詞修飾ロバ文 Formal Sema...

最適性理論を用いた形式意味論／語用論の研究

デジタル規格・テクニカルリポート類

蔵藤, 健雄, Kurafuji, Takeo蔵藤健雄

インターネットで読める全国の図書館

件名最適性理論形式意味論形式語用論中和化随意性表現不可能問題ロバ文双方向...

検索結果は以上です。

RSS