ML勉強会 #2 #ML_study
開催日2017-07-22
オンライン
このエントリーをはてなブックマークに追加
管理者 profile iconkekyo2
セキココ人数 21人
関連ページ https://ml-lang.connpass.com/event/58151/
イベントの説明 SML、OCaml、F#、Coq、IsabelleなどのML?だと思われる言語の勉強会です。
あなたがMLだと思ったものがMLです。

プログラミング言語の基礎理論から応用プログラミング、入門してみたなど 様々な発表を歓迎します!!!

純粋関数型データ構造が発売されましたし読んだ成果の発表なども面白いかもしれません
lion @2015fuj
2017-07-22 22:00:57
数学やCoqに興味があります
うどん @kw_udon_
2017-07-22 14:57:05
UT CS2016 / 関数型プログラムの検証 とか
κeen @blackenedgold
2017-07-22 14:26:34
RustやLisp、MLなどのプログラミング言語が好きです。言語処理系技術のGC、CPS変換、線形型あたりに興味があります。κはギリシャ文字のkappaです。⸜( ¯⌓¯ )⸝ 。DMは相互フォローでなくても受け付けてます https://t.co/uHC2I4tPTh
乃木口 @NogikuchiKBYS
2017-07-22 14:13:11
精密工学科→創造情報 RoboTech(2013-16) Coqができるマンになりたい
gfn\ @bd_gfngfn
2017-07-22 14:10:47
解釈をしたがらず手を動かす
suzuki shingo @giantneco
2017-07-22 13:44:57
人生の迷子 https://t.co/kp5aFbSxLr keep climbing!
2日酔い @dont_ol
2017-07-22 13:40:00
エタノールの逆襲
mzp @mzp
2017-07-22 13:30:16
気づいたらSKKを作ってた。 wish list: https://t.co/4Bpx6bvUJg
Gadagarr @gada_twt
2017-07-22 13:16:03
Hordeで結局Trollキャラを持つことはなかった。AllyでもGnomeキャラを作ることは多分ないだろう。Ultimate Triage(US-Proudmoore(A)) @ World of Warcraft | たまに技術話。Erlang/Elixir,Scala,Elm ymtszw@github
Yoshihiro503 @yoshihiro503
2017-07-22 13:14:52
プログラムを証明してバグをなくす定理証明支援器の技術に興味があります。 Coq/OCaml/Haskell/SML#/Scala/F#/Haxe/トップSE
ゆ一ちき @yuchiki1000yen
2017-07-22 13:11:03
Quem modus severe separavit
ころ @koropicot
2017-07-22 13:10:22
継続は大吉
びしょ〜じょ @Nymphium
2017-07-22 13:09:26
#lualang internal, Typed Racket, macros, lily, aikatsu, ......
熱血挑戦者 @nekketsuuu
2017-07-22 13:08:50
(ω)♪♪ / IS15er・CS17er / NaN
ナゲット・もみあげ @pocketberserker
2017-07-22 13:06:55
MS MVP for Visual Studio and Development Technologies(という名の F#)ぺんぎん。ただのもみあげのようななかやん。
でこれき @dico_leque
2017-07-22 13:06:53
自然言語と計算機言語、ごはん
ろんだ @fetburner
2017-07-22 13:06:36
Idleマスター学振デレラガールズ
ɯsı¯ɹǝʇsɐ @aster_ism
2017-07-22 13:06:20
アマチュア無線と盛岡じゃじゃ麺を愛する技術者.HW設計がお仕事.最近はFPGAを弄ってることが多い.アイコンは@tkotori ちゃん.ふとももが好き.妻が可愛い! 文系妻→@lovelystupid_ 欲しい物→http://t.co/qetkpZjl5b
黒曜@技術書典2 か-13 @kokuyouwind
2017-07-22 13:05:18
世界に関数型言語の光を! Scala/OCaml/RoR/ボドゲ/リアル脱出ゲーム/プラネタリウム https://t.co/7MLrQjnFdX
athos @athos0220
2017-07-22 13:05:03
Scheme/Clojureが好きな人。Clojureコントリビュータ。ニャンパス株式会社所属。Mastodonはじめました @athos@mstdn.jp wishlistはこちら→ https://t.co/TS83N3sztS
Kouji Matsui @kekyo2
2017-07-22 13:04:15
F#, IL, metaprogramming, C#, LINQ. Microsoft MVP for VS and DevTech. CSM, CSPO. Bicycle rider. https://t.co/Svzg8wAlfh https://t.co/kiJNstCT0c
閉じる

みんなのコメント

コメントする
開く