トップ 2011年 10月 24日 2011年10月24日 言語モデル論第2回 東京大学理学部情報科学科冬学期の言語モデル論の講義まとめ メモ carbon_twelve 1525 0 0 0 0 ツイート 0 いいね!0 関数空間 ネクタイ @carbon_twelve 関数空間の話 #言語モデル論 2011-10-17 10:19:29 ScalaのMapの紹介 ネクタイ @carbon_twelve Scala #言語モデル論 2011-10-17 10:21:44 XENO @xenophobia__ そう言えば落としてないなScala #言語モデル論 2011-10-17 10:21:46 🍣 @nin_ten 便利だなー #言語モデル論 2011-10-17 10:23:58 XENO @xenophobia__ 面白そうだなーScala #言語モデル論 2011-10-17 10:24:00 XENO @xenophobia__ Java臭が #言語モデル論 2011-10-17 10:24:35 ネクタイ @carbon_twelve ここまでは普通の関数型言語 #言語モデル論 2011-10-17 10:24:51 XENO @xenophobia__ ああ、だからMapを引き合いに出してるのか。 #言語モデル論 2011-10-17 10:25:49 ネクタイ @carbon_twelve Mapってコレクションかい #言語モデル論 2011-10-17 10:26:58 XENO @xenophobia__ 楽しそうだ〜 #言語モデル論 2011-10-17 10:27:25 XENO @xenophobia__ 内部実装はどうなってるんだろ。平衡木? #言語モデル論 2011-10-17 10:28:13 関数の定義 ネクタイ @carbon_twelve 関数の定義 #言語モデル論 2011-10-17 10:30:42 多変数関数 ネクタイ @carbon_twelve 1引数以外の関数 #言語モデル論 2011-10-17 10:32:24 XENO @xenophobia__ currying #言語モデル論 2011-10-17 10:32:50 ネクタイ @carbon_twelve あるいは直積のとる1引数関数と同一視するか #言語モデル論 2011-10-17 10:33:11 ネクタイ @carbon_twelve F#から .NETの多変数関数を呼ぶ時は,引数にタプルを渡すねー #言語モデル論 . 2011-10-17 10:35:26 ネクタイ @carbon_twelve 配列なんて使う人いないだろ #言語モデル論 2011-10-17 10:36:16 XENO @xenophobia__ C#とかだとa[1,2]とかの書き方許されますね。 #言語モデル論 2011-10-17 10:36:59 ネクタイ @carbon_twelve 型 A × B → C と A → (B → C) は対等 #言語モデル論 2011-10-17 10:37:14 XENO @xenophobia__ Haskellでもこんな感じだし #言語モデル論 2011-10-17 10:37:17 XENO @xenophobia__ Coqっぽい話になってきた #言語モデル論 2011-10-17 10:37:50 1 2 ・・ 4 次へ