Proof Summit 2017
開催日2017-07-23
オンライン
このエントリーをはてなブックマークに追加
管理者 profile icony_taka_23
セキココ人数 24人
関連ページ https://proof-summit.connpass.com/event/58803/
イベントの説明 定理証明系に関するユーザイベントです。
Yoshihiro503 @yoshihiro503
2017-07-23 13:48:00
プログラムを証明してバグをなくす定理証明支援器の技術に興味があります。 Coq/OCaml/Haskell/SML#/Scala/F#/Haxe/トップSE
nsk @_type2
2017-07-23 13:40:23
SUHARA Hiromichi @suharahiromichi
2017-07-23 13:34:49
「リアルタイムだけど組込みじゃない」システムを仕事とする制御系アプリケーションのプログラマです。計算の理論的な側面にも興味があり、Coq、Agda、Prolog、それにPostscriptでコードを書いています。時々書く航空宇宙ねたは、ニュースサイトの情報に基づきます。
lion @2015fuj
2017-07-23 12:03:04
数学やCoqに興味があります
Akira Sugiura @urasandesu
2017-07-23 11:58:50
ソフトウェアエンジニアです。Microsoft Fakes/Typemock Isolator/Telerik JustMockライクな.NET向けテストダブル生成フレームワーク、Prig(http://t.co/O4PXnU1qXc)を開発してます。Follow/Removeご自由にどうぞ!
さかばー @saka_bar
2017-07-23 11:57:52
Python, Haskell, 自然言語処理
suzuki shingo @giantneco
2017-07-23 11:57:38
人生の迷子 https://t.co/kp5aFbSxLr keep climbing!
きけんぴん @kikenpin
2017-07-23 11:57:29
λの国からやってきた研究員Lv.1。あんまり研究関連のことはつぶやかないけどね。
ELD-R-ESH-2 @eldesh
2017-07-23 11:56:27
アレゲを目指すMLプログラマ
でこれき @dico_leque
2017-07-23 11:54:04
自然言語と計算機言語、ごはん
おく @OKU_K
2017-07-23 11:40:03
熊本/京都/神奈川/Coq/SSReflect/
Hisabumi Hatsugai @hatsugai
2017-07-23 11:32:49
プログラムの正しさを検査するSSGというツールを開発しました.マルチコアを生かしクラウドの物量を使って並列に大規模な検査ができます.CSPを基礎にしており,安全性,活性(liveness)検査の他,デッドロック・ライブロックの検査もできます.CSP+型付き関数型言語(型付き Lisp)でモデルを記述します.
ナゲット・もみあげ @pocketberserker
2017-07-23 11:26:05
MS MVP for Visual Studio and Development Technologies(という名の F#)ぺんぎん。ただのもみあげのようななかやん。
Masahiro Sakai @masahiro_sakai
2017-07-23 11:25:01
Engineer at @PreferredNet.『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。https://t.co/8EmH3SyUru や https://t.co/vlB20UF7sE などにも書いています。 Ingress(緑)はmsakai。
κeen @blackenedgold
2017-07-23 11:24:06
RustやLisp、MLなどのプログラミング言語が好きです。言語処理系技術のGC、CPS変換、線形型あたりに興味があります。κはギリシャ文字のkappaです。⸜( ¯⌓¯ )⸝ 。DMは相互フォローでなくても受け付けてます https://t.co/uHC2I4tPTh
Takashi Miyamoto @tmiya_
2017-07-23 11:22:58
関数型言語/定理証明、機械学習、自然言語処理に興味があります。発言は所属する組織とは関係のない個人の見解です --- って書いておけばいいんだよね?
Sosuke MORIGUCHI @chiguri
2017-07-23 11:22:42
関西学院大学の契約助手 本アカウントの発言は個人の意見であり、所属する機関の意見を反映したものではありません。
Kouji Matsui @kekyo2
2017-07-23 11:21:45
F#, IL, metaprogramming, C#, LINQ. Microsoft MVP for VS and DevTech. CSM, CSPO. Bicycle rider. https://t.co/Svzg8wAlfh https://t.co/kiJNstCT0c
mzp @mzp
2017-07-23 11:21:21
気づいたらSKKを作ってた。 wish list: https://t.co/4Bpx6bvUJg
keiichiro shikano λ♪ @golden_lucky
2017-07-23 11:21:06
鹿野桂一郎。抽象的なものが好き。計算機とネットワークと数学の本を作って売るお手伝いをする仕事。ラムダノート株式会社代表取締役。
よんた無 @keita44_f4
2017-07-23 11:21:02
よんたったー。からあげからから からあげのうか、です。プログラミング言語を学んだ金属・樹脂・回路・マイコン系社会人。気づいたら色々学んでる。SML# ちょっとできる。気胸3度もうやだ。宮城→愛知に生息。訳あって製麺機男子。RO:Iris→Olrun https://t.co/P4ekKSvFfS
Nobuo Yamashita @nobsun
2017-07-23 11:20:17
I enjoy functional programming in Haskell. I love purely functional lazy programming. Haskellプログラミング大好き。フルートの練習中。バスフルートの音色大好き。
Noriyuki OHKAWA @notogawa
2017-07-23 11:19:29
Agdaつらい
チェシャ猫 @y_taka_23
2017-07-23 11:18:04
形式手法に興味があったりなかったり。同人誌『入門 LiquidHaskell』販売中です。https://t.co/l6mbUpbqRP
閉じる

みんなのコメント

コメントする
開く