更新 2011年10月24日作成 2011年10月5日

言語モデル論第1回

東京大学理学部情報科学科冬学期の言語モデル論の講義まとめ

メモ

carbon_twelve
3394
1
0
0
0

ネクタイ @carbon_twelve

板書も入るの #言語モデル論

2011-10-03 10:19:37

ネクタイ @carbon_twelve

先生のウェブページどこー #言語モデル論

2011-10-03 10:21:32

http://www.ueda.info.waseda.ac.jp/oess/LM2011/
スライド等はこちらから

イントロダクション

ネクタイ @carbon_twelve

OCaml既習扱い #言語モデル論

2011-10-03 10:22:48

ネクタイ @carbon_twelve

先週決心してSML# #言語モデル論

2011-10-03 10:23:20

ネクタイ @carbon_twelve

Scala ktkr #言語モデル論

2011-10-03 10:23:46

ネクタイ @carbon_twelve

Scalaは綺麗 #言語モデル論

2011-10-03 10:24:03

ネクタイ @carbon_twelve

マジで？ #言語モデル論

2011-10-03 10:24:07

ネクタイ @carbon_twelve

型型型型型 #言語モデル論

2011-10-03 10:25:48

ネクタイ @carbon_twelve

集合論とデータ型、プログラミング言語の形式的意味記述、ラムダ計算、型体系・型検査・型推論、論理プログラミング、プログラムの正当性検証 #言語モデル論

2011-10-03 10:26:53

ネクタイ @carbon_twelve

これは先学期やったほうがよかったんじゃね #言語モデル論

2011-10-03 10:27:05

ネクタイ @carbon_twelve

OCamlはMLのフランス方言 #言語モデル論

2011-10-03 10:29:52

ネクタイ @carbon_twelve

SML# のインストールは話聞いてね #言語モデル論

2011-10-03 10:31:07

ネクタイ @carbon_twelve

「みなさんが持ってるPrologの処理系は……」「LiLFesという……」「あっそうですか」 #言語モデル論

2011-10-03 10:32:50

ネクタイ @carbon_twelve

SML# もMLの方言だから一緒だよ一緒！！！ #言語モデル論

2011-10-03 10:33:34

ネクタイ @carbon_twelve

チョークを取りに行ったわりに板書が無いとは #言語モデル論

2011-10-03 10:38:46

ネクタイ @carbon_twelve

優秀なハッカーは関数型言語を使う #言語モデル論

2011-10-03 10:39:09

ネクタイ @carbon_twelve

手続き型：状態変化が中心、関数型：それらをできるだけ排除 #言語モデル論

2011-10-03 10:40:03

関数型言語の特徴

ネクタイ @carbon_twelve

関数が第一級オブジェクト #言語モデル論

2011-10-03 10:40:46

ネクタイ @carbon_twelve

強力な型体系 #言語モデル論

2011-10-03 10:41:06

ネクタイ @carbon_twelve

インタラクティブ #言語モデル論

2011-10-03 10:42:14

ネクタイ @carbon_twelve

MLの説明 #言語モデル論

2011-10-03 10:42:31

ネクタイ @carbon_twelve

Meta Language #言語モデル論

2011-10-03 10:42:42

1 2 3 次へ

イントロダクション

いま話題のタグ