X



☆☆形式意味論Formal Semantics☆☆
■ このスレッドは過去ログ倉庫に格納されています
0004名無し象は鼻がウナギだ!垢版2014/08/26(火) 21:23:35.500
それこそが日本語言語研究者が馬鹿者だらけだという証拠なのだよ。
0009名無し象は鼻がウナギだ!垢版2014/10/13(月) 01:42:27.470
>>1
Formal Semanticsってスレタイ見て
てっきりRichard Montague関係のスレかと思っちゃった。
彼の論文集の書名だから。
でもスレの趣旨はMontague限定じゃないってことなのね。
例えばBarwiseらのSituation Theoryとか
Categorial Grammar (Lambek Calculus)とか
その発展みたいなType-theoretical Grammar(例えばMaritin-LoefのITTをベースにしたもの)なんかの話題も
OKって思っていいんだよね?
0011名無し象は鼻がウナギだ!垢版2014/10/13(月) 23:14:04.990
>>10
> そですけどこの話題で伸びますかなぁ

確かにそこは不安だねぇ
なにしろ日本じゃこっちの人は少ないからねぇ
まあスレ落ちない程度にボチボチ投稿があれば良しでいいんじゃないの?

そういえば暫く前(今年に入ってからだったと思うが)に
Lambekさんがお亡くなりになったんだよね
Categoriesメイリング・リストで訃報を見た覚えがある

ところでこっち方面では全くの素人なんですが
現在だとこっち方面(Natural Languagesに対するFormal Semantics)での
世界的なスーパースターって誰になるんですか?

van Benthemはこの分野だと思っていいのかな?
そうならば彼なんか書くものの独創性も生産性も群を抜いてるから
彼がスーパースター(の1人)ってことになるのかな?
00121垢版2014/10/15(水) 09:53:41.140
ぼくも形式意味論にちょっと興味持って少し勉強してたんですが、
この分野についてあんまり情報がすくないので、
なにかないかとスレ建ててみました。

van Benthemの名前は形式意味論、論理学への入門書紹介とかでよく見るような気がしますね。

>>11氏はどのような分野のひとですか?
日本で形式意味論となると、実際言語学でなくて、言語哲学か情報系の学部のほうが近いように思われますが。
僕はまだ身が固まってないようなです。
001311垢版2014/10/19(日) 15:45:27.520
>>12
> >>11氏はどのような分野のひとですか?

情報系ですがアカデミアの人間じゃないです
なので記号論理(型理論や様相論理)とか計算機言語の意味論とかは趣味でやってるって感じです
0015名無し象は鼻がウナギだ!垢版2015/04/09(木) 19:48:55.750
おしえてよ
0017名無し象は鼻がウナギだ!垢版2015/12/19(土) 00:50:48.550
0018名無し象は鼻がウナギだ!垢版2015/12/19(土) 05:12:55.330
ひ〜=
0019名無し象は鼻がウナギだ!垢版2015/12/20(日) 21:50:25.290
もひもひ
0020名無し象は鼻がウナギだ!垢版2015/12/20(日) 23:10:36.980
形式
0021名無し象は鼻がウナギだ!垢版2015/12/21(月) 20:18:23.360
ケーシキ
0022名無し象は鼻がウナギだ!垢版2015/12/27(日) 04:24:44.760
動物園としては優秀ですよ
0023名無し象は鼻がウナギだ!垢版2015/12/28(月) 04:19:31.130
精神的自由権の特殊性
0024名無し象は鼻がウナギだ!垢版2017/09/10(日) 07:00:01.230
age
0025名無し象は鼻がウナギだ!垢版2018/02/19(月) 22:17:59.750
確実にどんな人でも可能な嘘みたいに金の生る木を作れる方法
時間がある方はみてもいいかもしれません
グーグル検索⇒『金持ちになりたい 鎌野介メソッド』

HROR5
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況