国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(1)
2000年代
(6)
2010年代
(2)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(6)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(5)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(5)
紙
(6)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 11 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
イベント意味論に基づいたテンス・アスペクト体系の日仏語対照研究
イベント意味論に基づいたテンス・アスペクト体系の日仏語対照研究
紙
図書
三藤博, 大阪大学 [著]
[三藤博]
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-08
2015-2016 研究紹介集
p.8-8
全国の図書館
件名
意味論 言語学
形式意味論
中国語
オープンソフトウエアの形式モデルと検証技法に関する基礎的研究
オープンソフトウエアの形式モデルと検証技法に関する基礎的研究
紙
図書
稲垣, 康善, 名古屋大学
1996-1997
<Y151-H08458066>
国立国会図書館
件名
並行プログラミング 通信プロセスモデル
形式意味論
プログラミング環境 デバツグ
Annual Report 2010(ITO Satomi)
Annual Report 2010(ITO Satomi)
デジタル
文書・図像類
ITO, Satomi, 伊藤, さとみ
国立大学法人お茶の水女子大学
2012-01
国立大学法人お茶の水女子大学 Annual Report 2010 -個人別教育研究報告-
p.48-49
全国の図書館
件名
教育・教育学 言語学
形式意味論
中国語 副詞 選言 Linguistics Formal ...
Annual Report 2008(ITO Satomi)
Annual Report 2008(ITO Satomi)
デジタル
文書・図像類
ITO, Satomi, 伊藤, さとみ
国立大学法人お茶の水女子大学
2009-07
国立大学法人お茶の水女子大学 Annual Report 2008 -個人別教育研究報告-
p.88-89
全国の図書館
件名
教育・教育学
形式意味論
類型論 比較構文 副詞修飾 ロバ文 Formal Sema...
最適性理論を用いた
形式意味論
/語用論の研究
最適性理論を用いた形式意味論/語用論の研究
デジタル
文書・図像類
蔵藤, 健雄, Kurafuji, Takeo
蔵藤健雄
インターネットで読める
全国の図書館
件名
最適性理論
形式意味論
形式語用論 中和化 随意性 表現不可能問題 ロバ文 双方向...
検索結果は以上です。
書誌情報を一括出力