このエントリーをはてなブックマークに追加
ML勉強会 #2

終了 2017/07/22（土） 13:00〜

ML勉強会 #2

SML、OCaml、F#、Coq、Isabelleなど

インターネットの闇 インターネットの闇 他

東京都中央区築地１丁目１３−１ ＡＤＫ松竹スクエア

グループ情報

ML勉強会

このグループのイメージ画像
メンバー数 193人
イベント数 5回

イベント資料一覧

スライド

Kiwamu Okabe Kiwamu Okabe

ATS2 updates 2017

投稿者:Kiwamu Okabe

投稿日:2017年7月15日 20時24分

あっきー あっきー

OCamlでデータ分析

投稿者:あっきー

投稿日:2017年7月22日 16時58分

Kouji Matsui Kouji Matsui

Nespのコード生成

投稿者:Kouji Matsui

投稿日:2017年7月22日 17時40分

インターネットの闇 インターネットの闇

OCamlのアセンブラを読む話

投稿者:インターネットの闇

投稿日:2017年7月25日 02時19分

mzp mzp

The reason for using REASON

投稿者:インターネットの闇

投稿日:2017年7月25日 02時20分

動画

動画はありません。

ブログなど

fetburner fetburner

MLでAtCoderに参加した話

MLstudy2 - ML勉強会#2 (https://ml-lang.connpass.com/event/58151/) のスライド

Read more >>

投稿者:fetburner

投稿日:2017年7月22日 15時53分

(未設定)(未設定)

最近のSML#の話題

Read more >>

投稿者:κeen

投稿日:2017年7月22日 17時52分

(未設定)(未設定)

Togetter

SML、OCaml、F#、Coq、IsabelleなどのML?だと思われる言語の勉強会です。あなたがMLだと思ったものがMLです。プログラミング言語の基礎理論から応用プログラミング、入門してみたな..

Read more >>

投稿者:κeen

投稿日:2017年7月23日 16時06分

pocketberserker pocketberserker

呪文詠唱！F#

ML勉強会 #2 - connpass 発表してきました。 要約 F#のコンピュテーション式を使うと呪文詠唱できます。 呪文詠唱自体に実用性はありませんが、やっていることは応用が効くかもしれませ...

Read more >>

投稿者:インターネットの闇

投稿日:2017年7月25日 02時21分

pocketberserker pocketberserker

呪文詠唱！ FSharp

Read more >>

投稿者:インターネットの闇

投稿日:2017年7月25日 02時23分