ML勉強会 #2 #ML_study

SML、OCaml、F#、Coq、IsabelleなどのML?だと思われる言語の勉強会です。 あなたがMLだと思ったものがMLです。 プログラミング言語の基礎理論から応用プログラミング、入門してみたなど 様々な発表を歓迎します!!! 続きを読む
0
前へ 1 ・・ 22 23
立派プログラマ @no_maddo

#ML_study 今日は司会をやって(後半忘れてた)発表やって懇親会のあれそれをやって働いたぞー、第三回必ずやります

2017-07-22 22:57:55
画力・博士号・油田 @bd_gfngfn

お疲れ様でした,お世話になりました #ML_study

2017-07-22 23:00:14
ゆーちき @yuchiki1000yen

Java界隈、倫理界隈の公然部門だという本質情報を得た #ML_study

2017-07-22 23:01:07
立派プログラマ @no_maddo

#ML_study なにげに8件も発表が集まって懇親会参加者も30人とMLユーザが沢山集まる良い会だと思ったので維持していきたいです、、、

2017-07-22 23:08:38
akabe @ackey_65535

#ML_study 発表全部面白かった! 分野的にウケないのではと心配していたけど、OCaml で数値解析したい勢が結構いたみたいでよかったです。

2017-07-22 23:10:35
ねっけつ @nekketsuuu

@yuchiki1000yen Go でのソートはこんな感じです。 golang.org/pkg/sort/ 昔こういう議論があった。 mattn.kaoriya.net/software/lang/… #ML_study

2017-07-22 23:18:29
立派プログラマ @no_maddo

これ、最後に口走ったんですがocamlのfloat arrayはflatになってて、それは関数型言語としてはすごい事です。素直に実装するとCでいうdouble * []になっちゃいます。#ML_study

2017-07-22 23:45:27
でこれき @dico_leque

そういえば何かアレしました: OCaml4.05.0の変更点 - OCaml.jp ocaml.jp/?OCaml4.05.0%E… #ML_study

2017-07-22 23:45:40
でこれき @dico_leque

Array data types by lpw25 · Pull Request #616 · ocaml/ocaml github.com/ocaml/ocaml/pu… みたいな話もあるんです #ML_study

2017-07-23 00:02:51
Kouji Matsui @kekyo2

昨日の戦利品。これはとても良いものだ #ML_study pic.twitter.com/ijhbUMBoYx

2017-07-23 07:54:12
拡大
前へ 1 ・・ 22 23