言語モデル論第10回

東京大学理学部情報科学科冬学期の言語モデル論の講義まとめ
0
前へ 1 2 3 次へ
ネクタイ @carbon_twelve

新たな(if)型付け規則 #言語モデル論

2012-01-16 11:06:02
ネクタイ @carbon_twelve

(if)Γ⊦L:bool, Γ⊦M:τ_1,Γ⊦N:τ_2 | Γ⊦(if L then M else N):τ_1∐τ_2 #言語モデル論

2012-01-16 11:08:12
amylase伯爵 @pepsin_amylase

meet はなんでいるのかなと思ったが join の定義に必要になるのか。 #言語モデル論

2012-01-16 11:09:01
🍣 @nin_ten

Scalaキトァ #言語モデル論

2012-01-16 11:10:16
🍣 @nin_ten

小文字にしろよ #言語モデル論

2012-01-16 11:11:18
XENO @xenophobia__

スカラの話 #言語モデル論

2012-01-16 11:12:01
ネクタイ @carbon_twelve

ﾇﾙﾇﾙ #言語モデル論

2012-01-16 11:15:31
ネクタイ @carbon_twelve

確かにoption型微妙い気もする #言語モデル論

2012-01-16 11:18:16

論理型プログラミングとProlog

イントロダクション

ネクタイ @carbon_twelve

論理プログラミングとProlog #言語モデル論

2012-01-16 11:20:56
ネクタイ @carbon_twelve

Li**eSなんて無かったんや！！！！ #言語モデル論

2012-01-16 11:21:15
🍣 @nin_ten

Prologの話 #言語モデル論

2012-01-16 11:21:37
ネクタイ @carbon_twelve

どの辺が一階だったのか全く分からなかったんだけど #言語モデル論

2012-01-16 11:21:54
🍣 @nin_ten

二回ちょっとってことは次回とその次も講義ってことか #言語モデル論

2012-01-16 11:22:14
🍣 @nin_ten

大学2年生にPrologを教えると吸収が早い #言語モデル論

2012-01-16 11:24:37
amylase伯爵 @pepsin_amylase

先生が「頭が」を連呼していて嬉しくて完動で。 #言語モデル論

2012-01-16 11:24:46
ネクタイ @carbon_twelve

だから演習は早めに詰めてたのか #言語モデル論

2012-01-16 11:24:52
🍣 @nin_ten

教養課程なんて無くせばいいんだよ #言語モデル論

2012-01-16 11:25:24
🍣 @nin_ten

超高級言語（ #言語モデル論

2012-01-16 11:26:37
ネクタイ @carbon_twelve

知識のいろいろ #言語モデル論

2012-01-16 11:27:47
🍣 @nin_ten

料理も突き詰めれば #言語モデル論

2012-01-16 11:29:22
ネクタイ @carbon_twelve

宣言型のプログラムは基本的に構成的でない知識("what")を記述している #言語モデル論

2012-01-16 11:29:41
ネクタイ @carbon_twelve

宣言的平叙文は一階述語論理式で書ける #言語モデル論

2012-01-16 11:30:36
🍣 @nin_ten

懐かしいな #言語モデル論

2012-01-16 11:31:46
前へ 1 2 3 次へ

いま話題のタグ

お嬢様102 社会17044 ラーメン評論家18 自力救済16 ドカ食いダイスキ!もちづきさん7 自炊461 ストーカー382 著作権2126 猫6097 逃げ上手の若君95 アーマード・コア122 新型コロナウイルス9159 VTuber1848 インプレゾンビ49 大学2960